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-3733952-1339247493/watcher-3733952-1339247493 -o /tmp/evaluation-result-3733952-1339247493/solver-3733952-1339247493 -C 1800 -W 1900 -M 15500 run HOME/instance-3733952-1339247493.opb
running on 4 cores: 1,3,5,7
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: 11.26 10.38 5.77 8/184 31641
/proc/meminfo: memFree=31690504/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[startup+0.101087 s]
/proc/loadavg: 11.26 10.38 5.77 8/184 31641
/proc/meminfo: memFree=31690504/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200218 s]
/proc/loadavg: 11.26 10.38 5.77 8/184 31641
/proc/meminfo: memFree=31690504/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300256 s]
/proc/loadavg: 11.26 10.38 5.77 8/184 31641
/proc/meminfo: memFree=31690504/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700213 s]
/proc/loadavg: 11.26 10.38 5.77 8/184 31641
/proc/meminfo: memFree=31690504/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50017 s]
/proc/loadavg: 11.26 10.38 5.77 10/186 31643
/proc/meminfo: memFree=31678756/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=140104 CPUtime=1.52 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 22186 0 0 0 148 4 0 0 20 0 8 0 390874344 143466496 11440 33554432000 134512640 146736320 4294846400 4294839832 139023039 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31642/statm: 35026 11440 955 2985 0 31960 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 149252
[startup+3.10046 s]
/proc/loadavg: 11.26 10.38 5.77 17/193 31650
/proc/meminfo: memFree=31610864/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=196872 CPUtime=6.89 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 43876 0 0 0 678 11 0 0 20 0 8 0 390874344 201596928 24896 33554432000 134512640 146736320 4294846400 4294840040 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31642/statm: 49218 24896 962 2985 0 46152 0
[pid=31642/tid=31644] ppid=31641 vsize=196872 CPUtime=0.94 cores=1,3,5,7
/proc/31642/task/31644/stat : 31644 (pb_cplex) R 31641 31641 31228 0 -1 4202560 2436 0 0 0 94 0 0 0 20 0 8 0 390874489 201596928 24896 33554432000 134512640 146736320 4294846400 4144344252 135526778 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31645] ppid=31641 vsize=196872 CPUtime=0.64 cores=1,3,5,7
/proc/31642/task/31645/stat : 31645 (pb_cplex) R 31641 31641 31228 0 -1 4202560 3124 0 0 0 62 2 0 0 20 0 8 0 390874489 201596928 24896 33554432000 134512640 146736320 4294846400 4133859920 136403112 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31646] ppid=31641 vsize=196872 CPUtime=0.78 cores=1,3,5,7
/proc/31642/task/31646/stat : 31646 (pb_cplex) R 31641 31641 31228 0 -1 4202560 3375 0 0 0 78 0 0 0 20 0 8 0 390874489 201596928 24896 33554432000 134512640 146736320 4294846400 4123373720 136007073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31647] ppid=31641 vsize=196872 CPUtime=0.66 cores=1,3,5,7
/proc/31642/task/31647/stat : 31647 (pb_cplex) R 31641 31641 31228 0 -1 4202560 3594 0 0 0 65 1 0 0 20 0 8 0 390874489 201596928 24896 33554432000 134512640 146736320 4294846400 4112887880 139042902 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31648] ppid=31641 vsize=196872 CPUtime=0.49 cores=1,3,5,7
/proc/31642/task/31648/stat : 31648 (pb_cplex) R 31641 31641 31228 0 -1 4202560 2705 0 0 0 49 0 0 0 20 0 8 0 390874489 201596928 24896 33554432000 134512640 146736320 4294846400 4102402088 139044499 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31649] ppid=31641 vsize=196872 CPUtime=0.55 cores=1,3,5,7
/proc/31642/task/31649/stat : 31649 (pb_cplex) R 31641 31641 31228 0 -1 4202560 3635 0 0 0 53 2 0 0 20 0 8 0 390874489 201596928 24896 33554432000 134512640 146736320 4294846400 4091916496 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31650] ppid=31641 vsize=196872 CPUtime=0.63 cores=1,3,5,7
/proc/31642/task/31650/stat : 31650 (pb_cplex) R 31641 31641 31228 0 -1 4202560 3180 0 0 0 62 1 0 0 20 0 8 0 390874489 201596928 24896 33554432000 134512640 146736320 4294846400 4081430736 136008065 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 206020
[startup+6.30045 s]
/proc/loadavg: 11.80 10.51 5.84 16/193 31650
/proc/meminfo: memFree=31579376/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=223188 CPUtime=18.36 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 66688 0 0 0 1816 20 0 0 20 0 8 0 390874344 228544512 30032 33554432000 134512640 146736320 4294846400 4294839248 136008167 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31642/statm: 55797 30032 962 2985 0 52731 0
[pid=31642/tid=31644] ppid=31641 vsize=223188 CPUtime=2.14 cores=1,3,5,7
/proc/31642/task/31644/stat : 31644 (pb_cplex) R 31641 31641 31228 0 -1 4202560 4105 0 0 0 213 1 0 0 20 0 8 0 390874489 228544512 30032 33554432000 134512640 146736320 4294846400 4144344252 135526881 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31645] ppid=31641 vsize=223188 CPUtime=2.33 cores=1,3,5,7
/proc/31642/task/31645/stat : 31645 (pb_cplex) R 31641 31641 31228 0 -1 4202560 6388 0 0 0 230 3 0 0 20 0 8 0 390874489 228544512 30032 33554432000 134512640 146736320 4294846400 4133859400 139042981 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31646] ppid=31641 vsize=223188 CPUtime=2.07 cores=1,3,5,7
/proc/31642/task/31646/stat : 31646 (pb_cplex) R 31641 31641 31228 0 -1 4202560 6340 0 0 0 205 2 0 0 20 0 8 0 390874489 228544512 30032 33554432000 134512640 146736320 4294846400 4123373776 136008167 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31647] ppid=31641 vsize=223188 CPUtime=2.17 cores=1,3,5,7
/proc/31642/task/31647/stat : 31647 (pb_cplex) R 31641 31641 31228 0 -1 4202560 6098 0 0 0 215 2 0 0 20 0 8 0 390874489 228544512 30032 33554432000 134512640 146736320 4294846400 4112888400 136403117 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31648] ppid=31641 vsize=223188 CPUtime=2.14 cores=1,3,5,7
/proc/31642/task/31648/stat : 31648 (pb_cplex) R 31641 31641 31228 0 -1 4202560 4904 0 0 0 212 2 0 0 20 0 8 0 390874489 228544512 30032 33554432000 134512640 146736320 4294846400 4102402256 136008309 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31649] ppid=31641 vsize=223188 CPUtime=1.92 cores=1,3,5,7
/proc/31642/task/31649/stat : 31649 (pb_cplex) R 31641 31641 31228 0 -1 4202560 6738 0 0 0 190 2 0 0 20 0 8 0 390874489 228544512 30032 33554432000 134512640 146736320 4294846400 4091916496 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31650] ppid=31641 vsize=223188 CPUtime=2.02 cores=1,3,5,7
/proc/31642/task/31650/stat : 31650 (pb_cplex) R 31641 31641 31228 0 -1 4202560 6571 0 0 0 199 3 0 0 20 0 8 0 390874489 228544512 30032 33554432000 134512640 146736320 4294846400 4081430680 136007277 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 18.36
Current children cumulated vsize (KiB) 232336
[startup+12.7003 s]
/proc/loadavg: 12.14 10.60 5.89 11/186 31650
/proc/meminfo: memFree=31644556/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=105556 CPUtime=38.09 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 69967 0 0 0 3777 32 0 0 20 0 1 0 390874344 108089344 12432 33554432000 134512640 146736320 4294846400 4294840456 139042897 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/31642/statm: 26389 12432 964 2985 0 23323 0
Current children cumulated CPU time (s) 38.09
Current children cumulated vsize (KiB) 114704
[startup+25.507 s]
/proc/loadavg: 12.06 10.65 5.99 4/193 31664
/proc/meminfo: memFree=31578332/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=207300 CPUtime=78.58 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 133800 0 0 0 7792 66 0 0 20 0 8 0 390874344 212275200 28351 33554432000 134512640 146736320 4294846400 4294839484 135526785 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31642/statm: 51825 28351 999 2985 0 48759 0
[pid=31642/tid=31658] ppid=31641 vsize=207300 CPUtime=4.54 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (pb_cplex) R 31641 31641 31228 0 -1 4202560 4661 0 0 0 450 4 0 0 20 0 8 0 390875774 212275200 28351 33554432000 134512640 146736320 4294846400 4128835268 135850322 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31659] ppid=31641 vsize=207300 CPUtime=4.18 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (pb_cplex) R 31641 31641 31228 0 -1 4202560 2975 0 0 0 416 2 0 0 20 0 8 0 390875774 212275200 28351 33554432000 134512640 146736320 4294846400 4139318672 136008172 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31660] ppid=31641 vsize=207300 CPUtime=4.45 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (pb_cplex) R 31641 31641 31228 0 -1 4202560 7756 0 0 0 442 3 0 0 20 0 8 0 390875774 212275200 28351 33554432000 134512640 146736320 4294846400 4149805264 136008234 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31661] ppid=31641 vsize=207300 CPUtime=4.72 cores=1,3,5,7
/proc/31642/task/31661/stat : 31661 (pb_cplex) R 31641 31641 31228 0 -1 4202560 13748 0 0 0 467 5 0 0 20 0 8 0 390875774 212275200 28351 33554432000 134512640 146736320 4294846400 4112888016 136008056 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31662] ppid=31641 vsize=207300 CPUtime=5.35 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (pb_cplex) R 31641 31641 31228 0 -1 4202560 11381 0 0 0 531 4 0 0 20 0 8 0 390875774 212275200 28351 33554432000 134512640 146736320 4294846400 4063223932 135526874 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31663] ppid=31641 vsize=207300 CPUtime=3.77 cores=1,3,5,7
/proc/31642/task/31663/stat : 31663 (pb_cplex) R 31641 31641 31228 0 -1 4202560 4367 0 0 0 375 2 0 0 20 0 8 0 390875774 212275200 28351 33554432000 134512640 146736320 4294846400 4052739956 135963982 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31664] ppid=31641 vsize=207300 CPUtime=5.18 cores=1,3,5,7
/proc/31642/task/31664/stat : 31664 (pb_cplex) R 31641 31641 31228 0 -1 4202560 370 0 0 0 518 0 0 0 20 0 8 0 390875774 212275200 28351 33554432000 134512640 146736320 4294846400 4042253288 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 78.58
Current children cumulated vsize (KiB) 216448
[startup+51.1004 s]
/proc/loadavg: 12.24 10.81 6.16 11/193 31664
/proc/meminfo: memFree=31556624/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=224680 CPUtime=164.97 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 191660 0 0 0 16399 98 0 0 20 0 8 0 390874344 230072320 32059 33554432000 134512640 146736320 4294846400 4294838160 136008454 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31642/statm: 56170 32059 999 2985 0 53104 0
[pid=31642/tid=31658] ppid=31641 vsize=224680 CPUtime=15.5 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (pb_cplex) R 31641 31641 31228 0 -1 4202560 9226 0 0 0 1544 6 0 0 20 0 8 0 390875774 230072320 32059 33554432000 134512640 146736320 4294846400 4128832704 135468690 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31659] ppid=31641 vsize=224680 CPUtime=14.85 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (pb_cplex) R 31641 31641 31228 0 -1 4202560 5042 0 0 0 1481 4 0 0 20 0 8 0 390875774 230072320 32059 33554432000 134512640 146736320 4294846400 4139318416 136008356 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31660] ppid=31641 vsize=224680 CPUtime=15.42 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (pb_cplex) R 31641 31641 31228 0 -1 4202560 15710 0 0 0 1536 6 0 0 20 0 8 0 390875774 230072320 32059 33554432000 134512640 146736320 4294846400 4149805264 136008069 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31661] ppid=31641 vsize=224680 CPUtime=14.08 cores=1,3,5,7
/proc/31642/task/31661/stat : 31661 (pb_cplex) R 31641 31641 31228 0 -1 4202560 17969 0 0 0 1400 8 0 0 20 0 8 0 390875774 230072320 32059 33554432000 134512640 146736320 4294846400 4112886924 135846789 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31662] ppid=31641 vsize=224680 CPUtime=15.7 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (pb_cplex) R 31641 31641 31228 0 -1 4202560 23166 0 0 0 1560 10 0 0 20 0 8 0 390875774 230072320 32059 33554432000 134512640 146736320 4294846400 4063222928 136008176 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31663] ppid=31641 vsize=224680 CPUtime=16.47 cores=1,3,5,7
/proc/31642/task/31663/stat : 31663 (pb_cplex) R 31641 31641 31228 0 -1 4202560 7495 0 0 0 1642 5 0 0 20 0 8 0 390875774 230072320 32059 33554432000 134512640 146736320 4294846400 4052738172 135526874 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31664] ppid=31641 vsize=224680 CPUtime=16.24 cores=1,3,5,7
/proc/31642/task/31664/stat : 31664 (pb_cplex) R 31641 31641 31228 0 -1 4202560 16969 0 0 0 1617 7 0 0 20 0 8 0 390875774 230072320 32059 33554432000 134512640 146736320 4294846400 4042252412 135526874 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 164.97
Current children cumulated vsize (KiB) 233828
[startup+102.301 s]
/proc/loadavg: 12.78 11.12 6.51 18/193 31664
/proc/meminfo: memFree=31528088/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=251616 CPUtime=339.91 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) S 31641 31641 31228 0 -1 4202496 371383 0 0 0 33814 177 0 0 20 0 8 0 390874344 257654784 38231 33554432000 134512640 146736320 4294846400 4294842768 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
/proc/31642/statm: 68663 44343 1000 2985 0 65597 0
[pid=31642/tid=31658] ppid=31641 vsize=274652 CPUtime=125.02 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (pb_cplex) S 31641 31641 31228 0 -1 4202560 112528 0 0 0 12446 56 0 0 20 0 8 0 390875774 281243648 44343 33554432000 134512640 146736320 4294846400 4128837264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31659] ppid=31641 vsize=274652 CPUtime=117.64 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (pb_cplex) R 31641 31641 31228 0 -1 4202560 95180 0 0 0 11714 50 0 0 20 0 8 0 390875774 281243648 44343 33554432000 134512640 146736320 4294846400 4139320296 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31660] ppid=31641 vsize=274652 CPUtime=108.43 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (pb_cplex) S 31641 31641 31228 0 -1 4202560 41137 0 0 0 10818 25 0 0 20 0 8 0 390875774 281243648 44343 33554432000 134512640 146736320 4294846400 4149808784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31661] ppid=31641 vsize=274652 CPUtime=114.27 cores=1,3,5,7
/proc/31642/task/31661/stat : 31661 (pb_cplex) S 31641 31641 31228 0 -1 4202560 134428 0 0 0 11371 56 0 0 20 0 8 0 390875774 281243648 44343 33554432000 134512640 146736320 4294846400 4112891536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31662] ppid=31641 vsize=274652 CPUtime=153.29 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (pb_cplex) S 31641 31641 31228 0 -1 4202560 122745 0 0 0 15273 56 0 0 20 0 8 0 390875774 281243648 44343 33554432000 134512640 146736320 4294846400 4063227536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31663] ppid=31641 vsize=274652 CPUtime=146.21 cores=1,3,5,7
/proc/31642/task/31663/stat : 31663 (pb_cplex) S 31641 31641 31228 0 -1 4202560 114930 0 0 0 14566 55 0 0 20 0 8 0 390875774 281243648 44343 33554432000 134512640 146736320 4294846400 4052741776 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31664] ppid=31641 vsize=274652 CPUtime=111.67 cores=1,3,5,7
/proc/31642/task/31664/stat : 31664 (pb_cplex) S 31641 31641 31228 0 -1 4202560 98400 0 0 0 11120 47 0 0 20 0 8 0 390875774 281243648 44343 33554432000 134512640 146736320 4294846400 4042256016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1030.86
Current children cumulated vsize (KiB) 283800
[startup+402.3 s]
/proc/loadavg: 5.91 7.41 6.14 10/193 31735
/proc/meminfo: memFree=31631528/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=273384 CPUtime=1235.25 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 993212 0 0 0 123044 481 0 0 20 0 8 0 390874344 279945216 44204 33554432000 134512640 146736320 4294846400 4294839632 136403109 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31642/statm: 68346 44204 1000 2985 0 65280 0
[pid=31642/tid=31658] ppid=31641 vsize=273384 CPUtime=152.76 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (pb_cplex) R 31641 31641 31228 0 -1 4202560 126857 0 0 0 15212 64 0 0 20 0 8 0 390875774 279945216 44204 33554432000 134512640 146736320 4294846400 4128833744 136008167 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31659] ppid=31641 vsize=273384 CPUtime=141.37 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (pb_cplex) R 31641 31641 31228 0 -1 4202560 98842 0 0 0 14081 56 0 0 20 0 8 0 390875774 279945216 44204 33554432000 134512640 146736320 4294846400 4139319504 136008363 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31660] ppid=31641 vsize=273384 CPUtime=134.24 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (pb_cplex) R 31641 31641 31228 0 -1 4202560 53770 0 0 0 13390 34 0 0 20 0 8 0 390875774 279945216 44204 33554432000 134512640 146736320 4294846400 4149805648 136403112 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31661] ppid=31641 vsize=273384 CPUtime=139.22 cores=1,3,5,7
/proc/31642/task/31661/stat : 31661 (pb_cplex) R 31641 31641 31228 0 -1 4202560 153016 0 0 0 13854 68 0 0 20 0 8 0 390875774 279945216 44204 33554432000 134512640 146736320 4294846400 4112887880 139042904 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31662] ppid=31641 vsize=273384 CPUtime=177.3 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (pb_cplex) R 31641 31641 31228 0 -1 4202560 130978 0 0 0 17667 63 0 0 20 0 8 0 390875774 279945216 44204 33554432000 134512640 146736320 4294846400 4063224400 136403114 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31663] ppid=31641 vsize=273384 CPUtime=173.24 cores=1,3,5,7
/proc/31642/task/31663/stat : 31663 (pb_cplex) R 31641 31641 31228 0 -1 4202560 123836 0 0 0 17263 61 0 0 20 0 8 0 390875774 279945216 44204 33554432000 134512640 146736320 4294846400 4052738256 136008256 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31664] ppid=31641 vsize=273384 CPUtime=136.79 cores=1,3,5,7
/proc/31642/task/31664/stat : 31664 (pb_cplex) R 31641 31641 31228 0 -1 4202560 121199 0 0 0 13621 58 0 0 20 0 8 0 390875774 279945216 44204 33554432000 134512640 146736320 4294846400 4042252496 136008455 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1235.25
Current children cumulated vsize (KiB) 282532
[startup+462.3 s]
/proc/loadavg: 5.75 7.09 6.11 11/193 31735
/proc/meminfo: memFree=31623520/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=283724 CPUtime=1442.02 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 1107030 0 0 0 143654 548 0 0 20 0 8 0 390874344 290533376 46196 33554432000 134512640 146736320 4294846400 4294839248 136008050 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31642/statm: 70931 46196 1000 2985 0 67865 0
[pid=31642/tid=31658] ppid=31641 vsize=283724 CPUtime=181.07 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (pb_cplex) R 31641 31641 31228 0 -1 4202560 154592 0 0 0 18030 77 0 0 20 0 8 0 390875774 290533376 46196 33554432000 134512640 146736320 4294846400 4128833744 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31659] ppid=31641 vsize=283724 CPUtime=168.21 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (pb_cplex) R 31641 31641 31228 0 -1 4202560 104538 0 0 0 16760 61 0 0 20 0 8 0 390875774 290533376 46196 33554432000 134512640 146736320 4294846400 4139318460 135526881 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31660] ppid=31641 vsize=283724 CPUtime=158.91 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (pb_cplex) R 31641 31641 31228 0 -1 4202560 71042 0 0 0 15846 45 0 0 20 0 8 0 390875774 290533376 46196 33554432000 134512640 146736320 4294846400 4149805264 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31661] ppid=31641 vsize=283724 CPUtime=165.28 cores=1,3,5,7
/proc/31642/task/31661/stat : 31661 (pb_cplex) R 31641 31641 31228 0 -1 4202560 173347 0 0 0 16449 79 0 0 20 0 8 0 390875774 290533376 46196 33554432000 134512640 146736320 4294846400 4112887880 139042980 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31662] ppid=31641 vsize=283724 CPUtime=201.09 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (pb_cplex) R 31641 31641 31228 0 -1 4202560 139632 0 0 0 20038 71 0 0 20 0 8 0 390875774 290533376 46196 33554432000 134512640 146736320 4294846400 4063224400 136403103 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31663] ppid=31641 vsize=283724 CPUtime=199.16 cores=1,3,5,7
/proc/31642/task/31663/stat : 31663 (pb_cplex) R 31641 31641 31228 0 -1 4202560 135725 0 0 0 19848 68 0 0 20 0 8 0 390875774 290533376 46196 33554432000 134512640 146736320 4294846400 4052738640 136403112 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31664] ppid=31641 vsize=283724 CPUtime=163.9 cores=1,3,5,7
/proc/31642/task/31664/stat : 31664 (pb_cplex) R 31641 31641 31228 0 -1 4202560 137080 0 0 0 16323 67 0 0 20 0 8 0 390875774 290533376 46196 33554432000 134512640 146736320 4294846400 4042252496 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1442.02
Current children cumulated vsize (KiB) 292872
[startup+522.3 s]
/proc/loadavg: 6.21 6.96 6.13 7/194 31738
/proc/meminfo: memFree=31617280/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=278700 CPUtime=1652.16 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 1231801 0 0 0 164596 620 0 0 20 0 8 0 390874344 285388800 44795 33554432000 134512640 146736320 4294846400 4294839248 136008065 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31642/statm: 69675 44795 1000 2985 0 66609 0
[pid=31642/tid=31658] ppid=31641 vsize=278700 CPUtime=207.48 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (pb_cplex) R 31641 31641 31228 0 -1 4202560 173727 0 0 0 20660 88 0 0 20 0 8 0 390875774 285388800 44795 33554432000 134512640 146736320 4294846400 4128833744 136008061 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31659] ppid=31641 vsize=278700 CPUtime=197.55 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (pb_cplex) R 31641 31641 31228 0 -1 4202560 117805 0 0 0 19685 70 0 0 20 0 8 0 390875774 285388800 44795 33554432000 134512640 146736320 4294846400 4139321128 135234473 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31660] ppid=31641 vsize=278700 CPUtime=187.16 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (pb_cplex) R 31641 31641 31228 0 -1 4202560 75764 0 0 0 18668 48 0 0 20 0 8 0 390875774 285388800 44795 33554432000 134512640 146736320 4294846400 4149806056 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31661] ppid=31641 vsize=278700 CPUtime=189.5 cores=1,3,5,7
/proc/31642/task/31661/stat : 31661 (pb_cplex) R 31641 31641 31228 0 -1 4202560 192152 0 0 0 18860 90 0 0 20 0 8 0 390875774 285388800 44795 33554432000 134512640 146736320 4294846400 4112888808 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31662] ppid=31641 vsize=278700 CPUtime=226.45 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (pb_cplex) R 31641 31641 31228 0 -1 4202560 156852 0 0 0 22564 81 0 0 20 0 8 0 390875774 285388800 44796 33554432000 134512640 146736320 4294846400 4063225504 139028313 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31663] ppid=31641 vsize=278700 CPUtime=225 cores=1,3,5,7
/proc/31642/task/31663/stat : 31663 (pb_cplex) R 31641 31641 31228 0 -1 4202560 156190 0 0 0 22421 79 0 0 20 0 8 0 390875774 285388800 44796 33554432000 134512640 146736320 4294846400 4052739780 135850735 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=31642/tid=31664] ppid=31641 vsize=278700 CPUtime=190.01 cores=1,3,5,7
/proc/31642/task/31664/stat : 31664 (pb_cplex) R 31641 31641 31228 0 -1 4202560 158554 0 0 0 18922 79 0 0 20 0 8 0 390875774 285388800 44796 33554432000 134512640 146736320 4294846400 4042252496 136008039 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1652.16
Current children cumulated vsize (KiB) 287848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+564.507 s]
/proc/loadavg: 6.74 7.02 6.18 13/194 31739
/proc/meminfo: memFree=31624448/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=281092 CPUtime=1800.09 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 1305353 0 0 0 179342 667 0 0 20 0 8 0 390874344 287838208 45541 33554432000 134512640 146736320 4294846400 4294839240 135468229 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31642/statm: 70273 45541 1000 2985 0 67207 0
[pid=31642/tid=31658] ppid=31641 vsize=281092 CPUtime=227.6 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (pb_cplex) R 31641 31641 31228 0 -1 4202560 183235 0 0 0 22667 93 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4128833648 136384892 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31659] ppid=31641 vsize=281092 CPUtime=217.53 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (pb_cplex) R 31641 31641 31228 0 -1 4202560 124877 0 0 0 21677 76 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4139319504 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31660] ppid=31641 vsize=281092 CPUtime=206.11 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (pb_cplex) R 31641 31641 31228 0 -1 4202560 83732 0 0 0 20557 54 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4149805264 136008065 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31661] ppid=31641 vsize=281092 CPUtime=206.55 cores=1,3,5,7
/proc/31642/task/31661/stat : 31661 (pb_cplex) R 31641 31641 31228 0 -1 4202560 200794 0 0 0 20557 98 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4112888016 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31662] ppid=31641 vsize=281092 CPUtime=243.84 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (pb_cplex) R 31641 31641 31228 0 -1 4202560 164784 0 0 0 24298 86 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4063224016 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31663] ppid=31641 vsize=281092 CPUtime=243.25 cores=1,3,5,7
/proc/31642/task/31663/stat : 31663 (pb_cplex) R 31641 31641 31228 0 -1 4202560 169398 0 0 0 24239 86 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4052738120 139042883 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31664] ppid=31641 vsize=281092 CPUtime=208.33 cores=1,3,5,7
/proc/31642/task/31664/stat : 31664 (pb_cplex) R 31641 31641 31228 0 -1 4202560 165785 0 0 0 20748 85 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4042252496 136008256 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 290240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+564.507 s]
/proc/loadavg: 6.74 7.02 6.18 13/194 31739
/proc/meminfo: memFree=31624448/32873844 swapFree=7124/7124
[pid=31641] ppid=31639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31641/stat : 31641 (run) S 31639 31641 31228 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390874344 9367552 270 33554432000 4194304 5064252 140734776555984 140734776554896 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31641/statm: 2287 270 229 213 0 72 0
[pid=31642] ppid=31641 vsize=281092 CPUtime=1800.09 cores=1,3,5,7
/proc/31642/stat : 31642 (pb_cplex) R 31641 31641 31228 0 -1 4202496 1305353 0 0 0 179342 667 0 0 20 0 8 0 390874344 287838208 45541 33554432000 134512640 146736320 4294846400 4294839240 135468229 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31642/statm: 70273 45541 1000 2985 0 67207 0
[pid=31642/tid=31658] ppid=31641 vsize=281092 CPUtime=227.6 cores=1,3,5,7
/proc/31642/task/31658/stat : 31658 (pb_cplex) R 31641 31641 31228 0 -1 4202560 183235 0 0 0 22667 93 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4128833648 136384892 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31659] ppid=31641 vsize=281092 CPUtime=217.53 cores=1,3,5,7
/proc/31642/task/31659/stat : 31659 (pb_cplex) R 31641 31641 31228 0 -1 4202560 124877 0 0 0 21677 76 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4139319504 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31660] ppid=31641 vsize=281092 CPUtime=206.11 cores=1,3,5,7
/proc/31642/task/31660/stat : 31660 (pb_cplex) R 31641 31641 31228 0 -1 4202560 83732 0 0 0 20557 54 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4149805264 136008065 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=31642/tid=31661] ppid=31641 vsize=281092 CPUtime=206.55 cores=1,3,5,7
/proc/31642/task/31661/stat : 31661 (pb_cplex) R 31641 31641 31228 0 -1 4202560 200794 0 0 0 20557 98 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4112888016 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31662] ppid=31641 vsize=281092 CPUtime=243.84 cores=1,3,5,7
/proc/31642/task/31662/stat : 31662 (pb_cplex) R 31641 31641 31228 0 -1 4202560 164784 0 0 0 24298 86 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4063224016 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=31642/tid=31663] ppid=31641 vsize=281092 CPUtime=243.25 cores=1,3,5,7
/proc/31642/task/31663/stat : 31663 (pb_cplex) R 31641 31641 31228 0 -1 4202560 169398 0 0 0 24239 86 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4052738120 139042883 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=31642/tid=31664] ppid=31641 vsize=281092 CPUtime=208.33 cores=1,3,5,7
/proc/31642/task/31664/stat : 31664 (pb_cplex) R 31641 31641 31228 0 -1 4202560 165785 0 0 0 20748 85 0 0 20 0 8 0 390875774 287838208 45541 33554432000 134512640 146736320 4294846400 4042252496 136008256 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 290240
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31641 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 564.524
CPU time (s): 1800.09
CPU user time (s): 1793.42
CPU system time (s): 6.67
CPU usage (%): 318.869
Max. virtual memory (cumulated for all children) (KiB): 318928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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= 2
involuntary context switches= 1
runsolver used 1.51077 second user time and 4.16437 second system time
The end