runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734722-1339247534/watcher-3734722-1339247534 -o /tmp/evaluation-result-3734722-1339247534/solver-3734722-1339247534 -C 1800 -W 1900 -M 15500 run HOME/instance-3734722-1339247534.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 9.37 10.45 6.27 10/184 11405
/proc/meminfo: memFree=31217288/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
[startup+0.0744119 s]
/proc/loadavg: 9.37 10.45 6.27 10/184 11405
/proc/meminfo: memFree=31217288/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100184 s]
/proc/loadavg: 9.37 10.45 6.27 10/184 11405
/proc/meminfo: memFree=31217288/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300115 s]
/proc/loadavg: 9.37 10.45 6.27 10/184 11405
/proc/meminfo: memFree=31217288/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700112 s]
/proc/loadavg: 9.37 10.45 6.27 10/184 11405
/proc/meminfo: memFree=31217288/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50077 s]
/proc/loadavg: 9.37 10.45 6.27 13/193 11428
/proc/meminfo: memFree=31204832/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
[pid=11406] ppid=11405 vsize=93440 CPUtime=3.35 cores=0,2,4,6
/proc/11406/stat : 11406 (pb_cplex) R 11405 11405 10216 0 -1 4202496 3200 0 0 0 263 72 0 0 20 0 8 0 390878901 95682560 2283 33554432000 134512640 146736320 4290567408 4290562504 137016852 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11406/statm: 23360 2283 950 2985 0 20294 0
[pid=11406/tid=11422] ppid=11405 vsize=93440 CPUtime=0.4 cores=0,2,4,6
/proc/11406/task/11422/stat : 11422 (pb_cplex) R 11405 11405 10216 0 -1 4202560 10 0 0 0 31 9 0 0 20 0 8 0 390878906 95682560 2283 33554432000 134512640 146736320 4290567408 4131314332 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11423] ppid=11405 vsize=93440 CPUtime=0.4 cores=0,2,4,6
/proc/11406/task/11423/stat : 11423 (pb_cplex) R 11405 11405 10216 0 -1 4202560 19 0 0 0 30 10 0 0 20 0 8 0 390878906 95682560 2283 33554432000 134512640 146736320 4290567408 4141798376 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11424] ppid=11405 vsize=93440 CPUtime=0.38 cores=0,2,4,6
/proc/11406/task/11424/stat : 11424 (pb_cplex) S 11405 11405 10216 0 -1 4202560 9 0 0 0 31 7 0 0 20 0 8 0 390878906 95682560 2283 33554432000 134512640 146736320 4290567408 4152286864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11425] ppid=11405 vsize=93440 CPUtime=0.38 cores=0,2,4,6
/proc/11406/task/11425/stat : 11425 (pb_cplex) S 11405 11405 10216 0 -1 4202560 13 0 0 0 29 9 0 0 20 0 8 0 390878906 95682560 2283 33554432000 134512640 146736320 4290567408 4120829584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11426] ppid=11405 vsize=93440 CPUtime=0.38 cores=0,2,4,6
/proc/11406/task/11426/stat : 11426 (pb_cplex) S 11405 11405 10216 0 -1 4202560 10 0 0 0 28 10 0 0 20 0 8 0 390878906 95682560 2283 33554432000 134512640 146736320 4290567408 4110343824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11427] ppid=11405 vsize=93440 CPUtime=0.39 cores=0,2,4,6
/proc/11406/task/11427/stat : 11427 (pb_cplex) S 11405 11405 10216 0 -1 4202560 3 0 0 0 31 8 0 0 20 0 8 0 390878906 95682560 2283 33554432000 134512640 146736320 4290567408 4099858064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11428] ppid=11405 vsize=93440 CPUtime=0.38 cores=0,2,4,6
/proc/11406/task/11428/stat : 11428 (pb_cplex) S 11405 11405 10216 0 -1 4202560 5 0 0 0 29 9 0 0 20 0 8 0 390878906 95682560 2283 33554432000 134512640 146736320 4290567408 4089372304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 102588
[startup+3.10032 s]
/proc/loadavg: 9.37 10.45 6.27 10/193 11428
/proc/meminfo: memFree=31201732/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
[pid=11406] ppid=11405 vsize=93440 CPUtime=7.11 cores=0,2,4,6
/proc/11406/stat : 11406 (pb_cplex) S 11405 11405 10216 0 -1 4202496 3202 0 0 0 559 152 0 0 20 0 8 0 390878901 95682560 2285 33554432000 134512640 146736320 4290567408 4290563792 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11406/statm: 23360 2285 950 2985 0 20294 0
[pid=11406/tid=11422] ppid=11405 vsize=93440 CPUtime=0.87 cores=0,2,4,6
/proc/11406/task/11422/stat : 11422 (pb_cplex) S 11405 11405 10216 0 -1 4202560 10 0 0 0 66 21 0 0 20 0 8 0 390878906 95682560 2285 33554432000 134512640 146736320 4290567408 4131315344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11423] ppid=11405 vsize=93440 CPUtime=0.88 cores=0,2,4,6
/proc/11406/task/11423/stat : 11423 (pb_cplex) S 11405 11405 10216 0 -1 4202560 19 0 0 0 68 20 0 0 20 0 8 0 390878906 95682560 2285 33554432000 134512640 146736320 4290567408 4141801104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11424] ppid=11405 vsize=93440 CPUtime=0.83 cores=0,2,4,6
/proc/11406/task/11424/stat : 11424 (pb_cplex) R 11405 11405 10216 0 -1 4202560 10 0 0 0 66 17 0 0 20 0 8 0 390878906 95682560 2285 33554432000 134512640 146736320 4290567408 4152286864 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11406/tid=11425] ppid=11405 vsize=93440 CPUtime=0.84 cores=0,2,4,6
/proc/11406/task/11425/stat : 11425 (pb_cplex) S 11405 11405 10216 0 -1 4202560 13 0 0 0 64 20 0 0 20 0 8 0 390878906 95682560 2285 33554432000 134512640 146736320 4290567408 4120829584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11426] ppid=11405 vsize=93440 CPUtime=0.83 cores=0,2,4,6
/proc/11406/task/11426/stat : 11426 (pb_cplex) S 11405 11405 10216 0 -1 4202560 10 0 0 0 66 17 0 0 20 0 8 0 390878906 95682560 2285 33554432000 134512640 146736320 4290567408 4110343824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11427] ppid=11405 vsize=93440 CPUtime=0.85 cores=0,2,4,6
/proc/11406/task/11427/stat : 11427 (pb_cplex) S 11405 11405 10216 0 -1 4202560 4 0 0 0 66 19 0 0 20 0 8 0 390878906 95682560 2285 33554432000 134512640 146736320 4290567408 4099858064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11428] ppid=11405 vsize=93440 CPUtime=0.83 cores=0,2,4,6
/proc/11406/task/11428/stat : 11428 (pb_cplex) S 11405 11405 10216 0 -1 4202560 5 0 0 0 66 17 0 0 20 0 8 0 390878906 95682560 2285 33554432000 134512640 146736320 4290567408 4089372304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 102588
[startup+6.30032 s]
/proc/loadavg: 9.26 10.41 6.27 13/193 11428
/proc/meminfo: memFree=31196832/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
[pid=11406] ppid=11405 vsize=93440 CPUtime=14.7 cores=0,2,4,6
/proc/11406/stat : 11406 (pb_cplex) R 11405 11405 10216 0 -1 4202496 3215 0 0 0 1156 314 0 0 20 0 8 0 390878901 95682560 2293 33554432000 134512640 146736320 4290567408 4290563792 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11406/statm: 23360 2293 950 2985 0 20294 0
[pid=11406/tid=11422] ppid=11405 vsize=93440 CPUtime=1.81 cores=0,2,4,6
/proc/11406/task/11422/stat : 11422 (pb_cplex) S 11405 11405 10216 0 -1 4202560 11 0 0 0 140 41 0 0 20 0 8 0 390878906 95682560 2293 33554432000 134512640 146736320 4290567408 4131315344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11406/tid=11423] ppid=11405 vsize=93440 CPUtime=1.83 cores=0,2,4,6
/proc/11406/task/11423/stat : 11423 (pb_cplex) S 11405 11405 10216 0 -1 4202560 19 0 0 0 141 42 0 0 20 0 8 0 390878906 95682560 2293 33554432000 134512640 146736320 4290567408 4141801104 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11424] ppid=11405 vsize=93440 CPUtime=1.74 cores=0,2,4,6
/proc/11406/task/11424/stat : 11424 (pb_cplex) S 11405 11405 10216 0 -1 4202560 10 0 0 0 139 35 0 0 20 0 8 0 390878906 95682560 2293 33554432000 134512640 146736320 4290567408 4152286864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11425] ppid=11405 vsize=93440 CPUtime=1.77 cores=0,2,4,6
/proc/11406/task/11425/stat : 11425 (pb_cplex) S 11405 11405 10216 0 -1 4202560 15 0 0 0 136 41 0 0 20 0 8 0 390878906 95682560 2293 33554432000 134512640 146736320 4290567408 4120829584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11426] ppid=11405 vsize=93440 CPUtime=1.75 cores=0,2,4,6
/proc/11406/task/11426/stat : 11426 (pb_cplex) S 11405 11405 10216 0 -1 4202560 16 0 0 0 138 37 0 0 20 0 8 0 390878906 95682560 2293 33554432000 134512640 146736320 4290567408 4110343824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11427] ppid=11405 vsize=93440 CPUtime=1.78 cores=0,2,4,6
/proc/11406/task/11427/stat : 11427 (pb_cplex) S 11405 11405 10216 0 -1 4202560 4 0 0 0 136 42 0 0 20 0 8 0 390878906 95682560 2293 33554432000 134512640 146736320 4290567408 4099858064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11428] ppid=11405 vsize=93440 CPUtime=1.75 cores=0,2,4,6
/proc/11406/task/11428/stat : 11428 (pb_cplex) S 11405 11405 10216 0 -1 4202560 7 0 0 0 139 36 0 0 20 0 8 0 390878906 95682560 2293 33554432000 134512640 146736320 4290567408 4089372304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 14.7
Current children cumulated vsize (KiB) 102588
Solver just ended. Dumping a history of the last processes samples
[startup+9.50052 s]
/proc/loadavg: 9.16 10.37 6.28 10/193 11428
/proc/meminfo: memFree=31195912/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
[pid=11406] ppid=11405 vsize=93440 CPUtime=22.84 cores=0,2,4,6
/proc/11406/stat : 11406 (pb_cplex) R 11405 11405 10216 0 -1 4202496 3218 0 0 0 1796 488 0 0 20 0 8 0 390878901 95682560 2296 33554432000 134512640 146736320 4290567408 4290563820 144580332 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11406/statm: 23360 2296 950 2985 0 20294 0
[pid=11406/tid=11422] ppid=11405 vsize=93440 CPUtime=2.76 cores=0,2,4,6
/proc/11406/task/11422/stat : 11422 (pb_cplex) S 11405 11405 10216 0 -1 4202560 11 0 0 0 218 58 0 0 20 0 8 0 390878906 95682560 2296 33554432000 134512640 146736320 4290567408 4131315344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11406/tid=11423] ppid=11405 vsize=93440 CPUtime=2.85 cores=0,2,4,6
/proc/11406/task/11423/stat : 11423 (pb_cplex) R 11405 11405 10216 0 -1 4202560 20 0 0 0 221 64 0 0 20 0 8 0 390878906 95682560 2296 33554432000 134512640 146736320 4290567408 4141798376 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11424] ppid=11405 vsize=93440 CPUtime=2.7 cores=0,2,4,6
/proc/11406/task/11424/stat : 11424 (pb_cplex) R 11405 11405 10216 0 -1 4202560 10 0 0 0 217 53 0 0 20 0 8 0 390878906 95682560 2296 33554432000 134512640 146736320 4290567408 4152284136 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11425] ppid=11405 vsize=93440 CPUtime=2.78 cores=0,2,4,6
/proc/11406/task/11425/stat : 11425 (pb_cplex) R 11405 11405 10216 0 -1 4202560 15 0 0 0 212 66 0 0 20 0 8 0 390878906 95682560 2296 33554432000 134512640 146736320 4290567408 4120828572 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11426] ppid=11405 vsize=93440 CPUtime=2.74 cores=0,2,4,6
/proc/11406/task/11426/stat : 11426 (pb_cplex) S 11405 11405 10216 0 -1 4202560 17 0 0 0 216 58 0 0 20 0 8 0 390878906 95682560 2296 33554432000 134512640 146736320 4290567408 4110343824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11427] ppid=11405 vsize=93440 CPUtime=2.76 cores=0,2,4,6
/proc/11406/task/11427/stat : 11427 (pb_cplex) S 11405 11405 10216 0 -1 4202560 5 0 0 0 214 62 0 0 20 0 8 0 390878906 95682560 2296 33554432000 134512640 146736320 4290567408 4099858064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11428] ppid=11405 vsize=93440 CPUtime=2.71 cores=0,2,4,6
/proc/11406/task/11428/stat : 11428 (pb_cplex) S 11405 11405 10216 0 -1 4202560 7 0 0 0 212 59 0 0 20 0 8 0 390878906 95682560 2296 33554432000 134512640 146736320 4290567408 4089372304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 22.84
Current children cumulated vsize (KiB) 102588
[startup+11.1008 s]
/proc/loadavg: 9.16 10.37 6.28 12/193 11428
/proc/meminfo: memFree=31198060/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
[pid=11406] ppid=11405 vsize=93440 CPUtime=26.79 cores=0,2,4,6
/proc/11406/stat : 11406 (pb_cplex) R 11405 11405 10216 0 -1 4202496 3220 0 0 0 2106 573 0 0 20 0 8 0 390878901 95682560 2298 33554432000 134512640 146736320 4290567408 4290561624 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11406/statm: 23360 2298 950 2985 0 20294 0
[pid=11406/tid=11422] ppid=11405 vsize=93440 CPUtime=3.23 cores=0,2,4,6
/proc/11406/task/11422/stat : 11422 (pb_cplex) S 11405 11405 10216 0 -1 4202560 12 0 0 0 257 66 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4131315344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11423] ppid=11405 vsize=93440 CPUtime=3.35 cores=0,2,4,6
/proc/11406/task/11423/stat : 11423 (pb_cplex) R 11405 11405 10216 0 -1 4202560 20 0 0 0 260 75 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4141797192 135526287 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11406/tid=11424] ppid=11405 vsize=93440 CPUtime=3.19 cores=0,2,4,6
/proc/11406/task/11424/stat : 11424 (pb_cplex) S 11405 11405 10216 0 -1 4202560 11 0 0 0 256 63 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4152286864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11425] ppid=11405 vsize=93440 CPUtime=3.28 cores=0,2,4,6
/proc/11406/task/11425/stat : 11425 (pb_cplex) R 11405 11405 10216 0 -1 4202560 15 0 0 0 252 76 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4120826856 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11426] ppid=11405 vsize=93440 CPUtime=3.22 cores=0,2,4,6
/proc/11406/task/11426/stat : 11426 (pb_cplex) S 11405 11405 10216 0 -1 4202560 17 0 0 0 253 69 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4110343824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11427] ppid=11405 vsize=93440 CPUtime=3.23 cores=0,2,4,6
/proc/11406/task/11427/stat : 11427 (pb_cplex) S 11405 11405 10216 0 -1 4202560 5 0 0 0 250 73 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4099858064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11428] ppid=11405 vsize=93440 CPUtime=3.18 cores=0,2,4,6
/proc/11406/task/11428/stat : 11428 (pb_cplex) S 11405 11405 10216 0 -1 4202560 7 0 0 0 248 70 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4089372304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 26.79
Current children cumulated vsize (KiB) 102588
[startup+11.9005 s]
/proc/loadavg: 9.16 10.37 6.28 12/193 11428
/proc/meminfo: memFree=31198060/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
[pid=11406] ppid=11405 vsize=93440 CPUtime=28.79 cores=0,2,4,6
/proc/11406/stat : 11406 (pb_cplex) R 11405 11405 10216 0 -1 4202496 3220 0 0 0 2265 614 0 0 20 0 8 0 390878901 95682560 2298 33554432000 134512640 146736320 4290567408 4290561064 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11406/statm: 23360 2298 950 2985 0 20294 0
[pid=11406/tid=11422] ppid=11405 vsize=93440 CPUtime=3.47 cores=0,2,4,6
/proc/11406/task/11422/stat : 11422 (pb_cplex) S 11405 11405 10216 0 -1 4202560 12 0 0 0 278 69 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4131315344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11423] ppid=11405 vsize=93440 CPUtime=3.6 cores=0,2,4,6
/proc/11406/task/11423/stat : 11423 (pb_cplex) R 11405 11405 10216 0 -1 4202560 20 0 0 0 279 81 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4141798080 138373442 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11406/tid=11424] ppid=11405 vsize=93440 CPUtime=3.45 cores=0,2,4,6
/proc/11406/task/11424/stat : 11424 (pb_cplex) R 11405 11405 10216 0 -1 4202560 11 0 0 0 276 69 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4152284136 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11425] ppid=11405 vsize=93440 CPUtime=3.53 cores=0,2,4,6
/proc/11406/task/11425/stat : 11425 (pb_cplex) R 11405 11405 10216 0 -1 4202560 15 0 0 0 271 82 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4120826856 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11426] ppid=11405 vsize=93440 CPUtime=3.46 cores=0,2,4,6
/proc/11406/task/11426/stat : 11426 (pb_cplex) S 11405 11405 10216 0 -1 4202560 17 0 0 0 271 75 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4110343824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11427] ppid=11405 vsize=93440 CPUtime=3.48 cores=0,2,4,6
/proc/11406/task/11427/stat : 11427 (pb_cplex) S 11405 11405 10216 0 -1 4202560 5 0 0 0 270 78 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4099858064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11428] ppid=11405 vsize=93440 CPUtime=3.43 cores=0,2,4,6
/proc/11406/task/11428/stat : 11428 (pb_cplex) S 11405 11405 10216 0 -1 4202560 7 0 0 0 268 75 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4089372304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 102588
[startup+12.3003 s]
/proc/loadavg: 9.16 10.37 6.28 9/193 11428
/proc/meminfo: memFree=31197992/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
[pid=11406] ppid=11405 vsize=93440 CPUtime=29.83 cores=0,2,4,6
/proc/11406/stat : 11406 (pb_cplex) S 11405 11405 10216 0 -1 4202496 3220 0 0 0 2348 635 0 0 20 0 8 0 390878901 95682560 2298 33554432000 134512640 146736320 4290567408 4290563792 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11406/statm: 23360 2298 950 2985 0 20294 0
[pid=11406/tid=11422] ppid=11405 vsize=93440 CPUtime=3.59 cores=0,2,4,6
/proc/11406/task/11422/stat : 11422 (pb_cplex) S 11405 11405 10216 0 -1 4202560 12 0 0 0 288 71 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4131315344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11423] ppid=11405 vsize=93440 CPUtime=3.73 cores=0,2,4,6
/proc/11406/task/11423/stat : 11423 (pb_cplex) R 11405 11405 10216 0 -1 4202560 20 0 0 0 289 84 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4141798936 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11406/tid=11424] ppid=11405 vsize=93440 CPUtime=3.58 cores=0,2,4,6
/proc/11406/task/11424/stat : 11424 (pb_cplex) S 11405 11405 10216 0 -1 4202560 11 0 0 0 287 71 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4152286864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11425] ppid=11405 vsize=93440 CPUtime=3.66 cores=0,2,4,6
/proc/11406/task/11425/stat : 11425 (pb_cplex) R 11405 11405 10216 0 -1 4202560 15 0 0 0 281 85 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4120828504 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11426] ppid=11405 vsize=93440 CPUtime=3.58 cores=0,2,4,6
/proc/11406/task/11426/stat : 11426 (pb_cplex) S 11405 11405 10216 0 -1 4202560 17 0 0 0 281 77 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4110343824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11427] ppid=11405 vsize=93440 CPUtime=3.6 cores=0,2,4,6
/proc/11406/task/11427/stat : 11427 (pb_cplex) S 11405 11405 10216 0 -1 4202560 5 0 0 0 279 81 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4099858064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11428] ppid=11405 vsize=93440 CPUtime=3.55 cores=0,2,4,6
/proc/11406/task/11428/stat : 11428 (pb_cplex) S 11405 11405 10216 0 -1 4202560 7 0 0 0 278 77 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4089372304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (KiB) 102588
[startup+12.5003 s]
/proc/loadavg: 9.16 10.37 6.28 9/193 11428
/proc/meminfo: memFree=31197992/32873648 swapFree=7116/7116
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (run) S 11403 11405 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878900 9367552 269 33554432000 4194304 5064252 140734782684224 140734782683136 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11405/statm: 2287 269 229 213 0 72 0
[pid=11406] ppid=11405 vsize=93440 CPUtime=30.35 cores=0,2,4,6
/proc/11406/stat : 11406 (pb_cplex) S 11405 11405 10216 0 -1 4202496 3220 0 0 0 2388 647 0 0 20 0 8 0 390878901 95682560 2298 33554432000 134512640 146736320 4290567408 4290563792 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11406/statm: 23360 2298 950 2985 0 20294 0
[pid=11406/tid=11422] ppid=11405 vsize=93440 CPUtime=3.65 cores=0,2,4,6
/proc/11406/task/11422/stat : 11422 (pb_cplex) S 11405 11405 10216 0 -1 4202560 12 0 0 0 293 72 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4131315344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11406/tid=11423] ppid=11405 vsize=93440 CPUtime=3.79 cores=0,2,4,6
/proc/11406/task/11423/stat : 11423 (pb_cplex) R 11405 11405 10216 0 -1 4202560 20 0 0 0 294 85 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4141801104 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11406/tid=11424] ppid=11405 vsize=93440 CPUtime=3.64 cores=0,2,4,6
/proc/11406/task/11424/stat : 11424 (pb_cplex) S 11405 11405 10216 0 -1 4202560 11 0 0 0 291 73 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4152286864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11425] ppid=11405 vsize=93440 CPUtime=3.72 cores=0,2,4,6
/proc/11406/task/11425/stat : 11425 (pb_cplex) S 11405 11405 10216 0 -1 4202560 15 0 0 0 285 87 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4120829584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11426] ppid=11405 vsize=93440 CPUtime=3.64 cores=0,2,4,6
/proc/11406/task/11426/stat : 11426 (pb_cplex) S 11405 11405 10216 0 -1 4202560 17 0 0 0 286 78 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4110343824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11406/tid=11427] ppid=11405 vsize=93440 CPUtime=3.67 cores=0,2,4,6
/proc/11406/task/11427/stat : 11427 (pb_cplex) S 11405 11405 10216 0 -1 4202560 5 0 0 0 285 82 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4099858064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11406/tid=11428] ppid=11405 vsize=93440 CPUtime=3.61 cores=0,2,4,6
/proc/11406/task/11428/stat : 11428 (pb_cplex) S 11405 11405 10216 0 -1 4202560 7 0 0 0 282 79 0 0 20 0 8 0 390878906 95682560 2298 33554432000 134512640 146736320 4290567408 4089372304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 30.35
Current children cumulated vsize (KiB) 102588
Child status: 0
Real time (s): 12.5826
CPU time (s): 30.5963
CPU user time (s): 24.0233
CPU system time (s): 6.573
CPU usage (%): 243.164
Max. virtual memory (cumulated for all children) (KiB): 102588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.0233
system time used= 6.573
maximum resident set size= 9668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1008812
involuntary context switches= 229620
runsolver used 0.031995 second user time and 0.074988 second system time
The end