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-3738310-1339249013/watcher-3738310-1339249013 -o /tmp/evaluation-result-3738310-1339249013/solver-3738310-1339249013 -C 1800 -W 1900 -M 15500 run HOME/instance-3738310-1339249013.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: 7.21 7.85 6.23 3/177 17553
/proc/meminfo: memFree=26839908/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[startup+0.080911 s]
/proc/loadavg: 7.21 7.85 6.23 3/177 17553
/proc/meminfo: memFree=26839908/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100221 s]
/proc/loadavg: 7.21 7.85 6.23 3/177 17553
/proc/meminfo: memFree=26839908/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300187 s]
/proc/loadavg: 7.21 7.85 6.23 3/177 17553
/proc/meminfo: memFree=26839908/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700183 s]
/proc/loadavg: 7.21 7.85 6.23 3/177 17553
/proc/meminfo: memFree=26839908/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 7.21 7.85 6.23 9/186 17569
/proc/meminfo: memFree=26743488/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=144232 CPUtime=2.93 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) S 17553 17553 15880 0 -1 4202496 15824 0 0 0 289 4 0 0 20 0 8 0 391026768 147693568 12631 33554432000 134512640 146736320 4294372544 4294368912 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17561/statm: 36058 12631 940 2985 0 32992 0
[pid=17561/tid=17563] ppid=17553 vsize=144232 CPUtime=0.31 cores=1,3,5,7
/proc/17561/task/17563/stat : 17563 (pb_cplex) S 17553 17553 15880 0 -1 4202560 614 0 0 0 31 0 0 0 20 0 8 0 391026856 147693568 12631 33554432000 134512640 146736320 4294372544 4147101328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17564] ppid=17553 vsize=144232 CPUtime=0.18 cores=1,3,5,7
/proc/17561/task/17564/stat : 17564 (pb_cplex) S 17553 17553 15880 0 -1 4202560 535 0 0 0 18 0 0 0 20 0 8 0 391026856 147693568 12631 33554432000 134512640 146736320 4294372544 4136615568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17565] ppid=17553 vsize=144232 CPUtime=0.21 cores=1,3,5,7
/proc/17561/task/17565/stat : 17565 (pb_cplex) S 17553 17553 15880 0 -1 4202560 603 0 0 0 21 0 0 0 20 0 8 0 391026856 147693568 12631 33554432000 134512640 146736320 4294372544 4126129808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17566] ppid=17553 vsize=144232 CPUtime=0.25 cores=1,3,5,7
/proc/17561/task/17566/stat : 17566 (pb_cplex) R 17553 17553 15880 0 -1 4202560 743 0 0 0 25 0 0 0 20 0 8 0 391026856 147693568 12631 33554432000 134512640 146736320 4294372544 4115641220 135850301 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17567] ppid=17553 vsize=144232 CPUtime=0.27 cores=1,3,5,7
/proc/17561/task/17567/stat : 17567 (pb_cplex) S 17553 17553 15880 0 -1 4202560 728 0 0 0 27 0 0 0 20 0 8 0 391026856 147693568 12631 33554432000 134512640 146736320 4294372544 4105158288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17568] ppid=17553 vsize=144232 CPUtime=0.25 cores=1,3,5,7
/proc/17561/task/17568/stat : 17568 (pb_cplex) S 17553 17553 15880 0 -1 4202560 778 0 0 0 25 0 0 0 20 0 8 0 391026856 147693568 12631 33554432000 134512640 146736320 4294372544 4094672528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17569] ppid=17553 vsize=144232 CPUtime=0.22 cores=1,3,5,7
/proc/17561/task/17569/stat : 17569 (pb_cplex) S 17553 17553 15880 0 -1 4202560 670 0 0 0 22 0 0 0 20 0 8 0 391026856 147693568 12631 33554432000 134512640 146736320 4294372544 4084186768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 153380
[startup+3.1003 s]
/proc/loadavg: 7.21 7.85 6.23 3/186 17576
/proc/meminfo: memFree=26696236/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=99912 CPUtime=5.09 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) R 17553 17553 15880 0 -1 4202496 18681 0 0 0 500 9 0 0 20 0 1 0 391026768 102309888 10830 33554432000 134512640 146736320 4294372544 4294368136 135812006 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/17561/statm: 24978 10830 942 2985 0 21912 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 109060
[startup+6.3004 s]
/proc/loadavg: 7.27 7.85 6.24 9/193 17590
/proc/meminfo: memFree=26605680/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=244648 CPUtime=14.26 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) R 17553 17553 15880 0 -1 4202496 55656 0 0 0 1407 19 0 0 20 0 8 0 391026768 250519552 33827 33554432000 134512640 146736320 4294372544 4294363912 135526140 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17561/statm: 61162 33827 950 2985 0 58096 0
[pid=17561/tid=17584] ppid=17553 vsize=244648 CPUtime=0.92 cores=1,3,5,7
/proc/17561/task/17584/stat : 17584 (pb_cplex) R 17553 17553 15880 0 -1 4202560 2000 0 0 0 92 0 0 0 20 0 8 0 391027139 250519552 33827 33554432000 134512640 146736320 4294372544 4065321308 139023078 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17585] ppid=17553 vsize=244648 CPUtime=1.06 cores=1,3,5,7
/proc/17561/task/17585/stat : 17585 (pb_cplex) R 17553 17553 15880 0 -1 4202560 2317 0 0 0 106 0 0 0 20 0 8 0 391027139 250519552 33827 33554432000 134512640 146736320 4294372544 4133846544 136403117 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17586] ppid=17553 vsize=244648 CPUtime=1.01 cores=1,3,5,7
/proc/17561/task/17586/stat : 17586 (pb_cplex) R 17553 17553 15880 0 -1 4202560 1464 0 0 0 101 0 0 0 20 0 8 0 391027139 250519552 33827 33554432000 134512640 146736320 4294372544 4144333008 136007990 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17587] ppid=17553 vsize=244648 CPUtime=1.08 cores=1,3,5,7
/proc/17561/task/17587/stat : 17587 (pb_cplex) R 17553 17553 15880 0 -1 4202560 723 0 0 0 108 0 0 0 20 0 8 0 391027139 250519552 33827 33554432000 134512640 146736320 4294372544 4115641880 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17588] ppid=17553 vsize=244648 CPUtime=1.21 cores=1,3,5,7
/proc/17561/task/17588/stat : 17588 (pb_cplex) R 17553 17553 15880 0 -1 4202560 2806 0 0 0 119 2 0 0 20 0 8 0 391027139 250519552 33827 33554432000 134512640 146736320 4294372544 4007998440 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17589] ppid=17553 vsize=244648 CPUtime=1.03 cores=1,3,5,7
/proc/17561/task/17589/stat : 17589 (pb_cplex) R 17553 17553 15880 0 -1 4202560 2684 0 0 0 101 2 0 0 20 0 8 0 391027139 250519552 33827 33554432000 134512640 146736320 4294372544 3997511352 136360718 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17590] ppid=17553 vsize=244648 CPUtime=1.03 cores=1,3,5,7
/proc/17561/task/17590/stat : 17590 (pb_cplex) R 17553 17553 15880 0 -1 4202560 2615 0 0 0 103 0 0 0 20 0 8 0 391027139 250519552 33827 33554432000 134512640 146736320 4294372544 3987026820 135850322 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.26
Current children cumulated vsize (KiB) 253796
[startup+12.7004 s]
/proc/loadavg: 7.49 7.89 6.26 11/193 17590
/proc/meminfo: memFree=26573044/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=270484 CPUtime=36.78 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) R 17553 17553 15880 0 -1 4202496 101843 0 0 0 3642 36 0 0 20 0 8 0 391026768 276975616 39821 33554432000 134512640 146736320 4294372544 4294365392 136008042 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17561/statm: 67621 39821 972 2985 0 64555 0
[pid=17561/tid=17584] ppid=17553 vsize=270484 CPUtime=3.68 cores=1,3,5,7
/proc/17561/task/17584/stat : 17584 (pb_cplex) S 17553 17553 15880 0 -1 4202560 7575 0 0 0 365 3 0 0 20 0 8 0 391027139 276975616 39821 33554432000 134512640 146736320 4294372544 4065324688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17585] ppid=17553 vsize=270484 CPUtime=3.48 cores=1,3,5,7
/proc/17561/task/17585/stat : 17585 (pb_cplex) R 17553 17553 15880 0 -1 4202560 7020 0 0 0 344 4 0 0 20 0 8 0 391027139 276975616 39821 33554432000 134512640 146736320 4294372544 4133847132 135855174 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17586] ppid=17553 vsize=270484 CPUtime=3.87 cores=1,3,5,7
/proc/17561/task/17586/stat : 17586 (pb_cplex) S 17553 17553 15880 0 -1 4202560 6277 0 0 0 383 4 0 0 20 0 8 0 391027139 276975616 39821 33554432000 134512640 146736320 4294372544 4144336528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17587] ppid=17553 vsize=270484 CPUtime=4.05 cores=1,3,5,7
/proc/17561/task/17587/stat : 17587 (pb_cplex) S 17553 17553 15880 0 -1 4202560 7632 0 0 0 402 3 0 0 20 0 8 0 391027139 276975616 39821 33554432000 134512640 146736320 4294372544 4115644048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17588] ppid=17553 vsize=270484 CPUtime=4.21 cores=1,3,5,7
/proc/17561/task/17588/stat : 17588 (pb_cplex) S 17553 17553 15880 0 -1 4202560 8978 0 0 0 418 3 0 0 20 0 8 0 391027139 276975616 39821 33554432000 134512640 146736320 4294372544 4008001168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17589] ppid=17553 vsize=270484 CPUtime=4.13 cores=1,3,5,7
/proc/17561/task/17589/stat : 17589 (pb_cplex) S 17553 17553 15880 0 -1 4202560 11526 0 0 0 409 4 0 0 20 0 8 0 391027139 276975616 39821 33554432000 134512640 146736320 4294372544 3997515408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17590] ppid=17553 vsize=270484 CPUtime=3.52 cores=1,3,5,7
/proc/17561/task/17590/stat : 17590 (pb_cplex) S 17553 17553 15880 0 -1 4202560 9173 0 0 0 350 2 0 0 20 0 8 0 391027139 276975616 39821 33554432000 134512640 146736320 4294372544 3987029648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 36.78
Current children cumulated vsize (KiB) 279632
[startup+25.5004 s]
/proc/loadavg: 7.47 7.86 6.28 9/193 17590
/proc/meminfo: memFree=26548680/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=289968 CPUtime=82.09 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) R 17553 17553 15880 0 -1 4202496 230463 0 0 0 8140 69 0 0 20 0 8 0 391026768 296927232 44371 33554432000 134512640 146736320 4294372544 4294366184 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17561/statm: 72492 44371 972 2985 0 69426 0
[pid=17561/tid=17584] ppid=17553 vsize=289968 CPUtime=9.5 cores=1,3,5,7
/proc/17561/task/17584/stat : 17584 (pb_cplex) R 17553 17553 15880 0 -1 4202560 26314 0 0 0 942 8 0 0 20 0 8 0 391027139 296927232 44371 33554432000 134512640 146736320 4294372544 4065320868 136016558 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17585] ppid=17553 vsize=289968 CPUtime=9.1 cores=1,3,5,7
/proc/17561/task/17585/stat : 17585 (pb_cplex) S 17553 17553 15880 0 -1 4202560 23735 0 0 0 902 8 0 0 20 0 8 0 391027139 296927232 44371 33554432000 134512640 146736320 4294372544 4133850768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17586] ppid=17553 vsize=289968 CPUtime=9.12 cores=1,3,5,7
/proc/17561/task/17586/stat : 17586 (pb_cplex) R 17553 17553 15880 0 -1 4202560 21051 0 0 0 904 8 0 0 20 0 8 0 391027139 296927232 44371 33554432000 134512640 146736320 4294372544 4144332672 136365649 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17587] ppid=17553 vsize=289968 CPUtime=9.69 cores=1,3,5,7
/proc/17561/task/17587/stat : 17587 (pb_cplex) R 17553 17553 15880 0 -1 4202560 25198 0 0 0 962 7 0 0 20 0 8 0 391027139 296927232 44371 33554432000 134512640 146736320 4294372544 4115640912 136403103 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17588] ppid=17553 vsize=289968 CPUtime=9.1 cores=1,3,5,7
/proc/17561/task/17588/stat : 17588 (pb_cplex) R 17553 17553 15880 0 -1 4202560 30702 0 0 0 902 8 0 0 20 0 8 0 391027139 296927232 44371 33554432000 134512640 146736320 4294372544 4007997868 136400474 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17589] ppid=17553 vsize=289968 CPUtime=9.65 cores=1,3,5,7
/proc/17561/task/17589/stat : 17589 (pb_cplex) R 17553 17553 15880 0 -1 4202560 28300 0 0 0 956 9 0 0 20 0 8 0 391027139 296927232 44371 33554432000 134512640 146736320 4294372544 3997512580 135850319 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17590] ppid=17553 vsize=289968 CPUtime=9.32 cores=1,3,5,7
/proc/17561/task/17590/stat : 17590 (pb_cplex) R 17553 17553 15880 0 -1 4202560 27172 0 0 0 925 7 0 0 20 0 8 0 391027139 296927232 44371 33554432000 134512640 146736320 4294372544 3987026820 135850315 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 82.09
Current children cumulated vsize (KiB) 299116
[startup+51.1004 s]
/proc/loadavg: 9.53 8.30 6.47 17/193 17590
/proc/meminfo: memFree=26498132/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=288972 CPUtime=173.71 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) S 17553 17553 15880 0 -1 4202496 430804 0 0 0 17242 129 0 0 20 0 8 0 391026768 295907328 44169 33554432000 134512640 146736320 4294372544 4294368912 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17561/statm: 72243 44169 972 2985 0 69177 0
[pid=17561/tid=17584] ppid=17553 vsize=288972 CPUtime=20.89 cores=1,3,5,7
/proc/17561/task/17584/stat : 17584 (pb_cplex) R 17553 17553 15880 0 -1 4202560 57761 0 0 0 2072 17 0 0 20 0 8 0 391027139 295907328 44169 33554432000 134512640 146736320 4294372544 4065321028 136385183 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17585] ppid=17553 vsize=288972 CPUtime=20.04 cores=1,3,5,7
/proc/17561/task/17585/stat : 17585 (pb_cplex) R 17553 17553 15880 0 -1 4202560 53220 0 0 0 1988 16 0 0 20 0 8 0 391027139 295907328 44169 33554432000 134512640 146736320 4294372544 4133847632 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17586] ppid=17553 vsize=288972 CPUtime=20.66 cores=1,3,5,7
/proc/17561/task/17586/stat : 17586 (pb_cplex) R 17553 17553 15880 0 -1 4202560 52457 0 0 0 2050 16 0 0 20 0 8 0 391027139 295907328 44169 33554432000 134512640 146736320 4294372544 4144332872 139042910 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17587] ppid=17553 vsize=288972 CPUtime=20.99 cores=1,3,5,7
/proc/17561/task/17587/stat : 17587 (pb_cplex) R 17553 17553 15880 0 -1 4202560 55456 0 0 0 2084 15 0 0 20 0 8 0 391027139 295907328 44169 33554432000 134512640 146736320 4294372544 4115640360 139044581 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17588] ppid=17553 vsize=288972 CPUtime=20.62 cores=1,3,5,7
/proc/17561/task/17588/stat : 17588 (pb_cplex) R 17553 17553 15880 0 -1 4202560 43066 0 0 0 2048 14 0 0 20 0 8 0 391027139 295907328 44169 33554432000 134512640 146736320 4294372544 4007998032 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17589] ppid=17553 vsize=288972 CPUtime=21.15 cores=1,3,5,7
################
# More data... #
################
/proc/17561/statm: 73523 47578 983 2985 0 70457 0
[pid=17561/tid=17584] ppid=17553 vsize=294092 CPUtime=123.53 cores=1,3,5,7
/proc/17561/task/17584/stat : 17584 (pb_cplex) S 17553 17553 15880 0 -1 4202560 153251 0 0 0 12291 62 0 0 20 0 8 0 391027139 301150208 47578 33554432000 134512640 146736320 4294372544 4065324688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17585] ppid=17553 vsize=294092 CPUtime=122.29 cores=1,3,5,7
/proc/17561/task/17585/stat : 17585 (pb_cplex) S 17553 17553 15880 0 -1 4202560 158877 0 0 0 12168 61 0 0 20 0 8 0 391027139 301150208 47578 33554432000 134512640 146736320 4294372544 4133850768 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17586] ppid=17553 vsize=294092 CPUtime=120.97 cores=1,3,5,7
/proc/17561/task/17586/stat : 17586 (pb_cplex) S 17553 17553 15880 0 -1 4202560 161297 0 0 0 12037 60 0 0 20 0 8 0 391027139 301150208 47578 33554432000 134512640 146736320 4294372544 4144336528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17587] ppid=17553 vsize=294092 CPUtime=122.68 cores=1,3,5,7
/proc/17561/task/17587/stat : 17587 (pb_cplex) R 17553 17553 15880 0 -1 4202560 143400 0 0 0 12207 61 0 0 20 0 8 0 391027139 301150208 47578 33554432000 134512640 146736320 4294372544 4115641320 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17588] ppid=17553 vsize=294092 CPUtime=123.03 cores=1,3,5,7
/proc/17561/task/17588/stat : 17588 (pb_cplex) R 17553 17553 15880 0 -1 4202560 112706 0 0 0 12250 53 0 0 20 0 8 0 391027139 301150208 47578 33554432000 134512640 146736320 4294372544 4007997508 136385179 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17589] ppid=17553 vsize=294092 CPUtime=123.02 cores=1,3,5,7
/proc/17561/task/17589/stat : 17589 (pb_cplex) S 17553 17553 15880 0 -1 4202560 174372 0 0 0 12230 72 0 0 20 0 8 0 391027139 301150208 47578 33554432000 134512640 146736320 4294372544 3997515408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17590] ppid=17553 vsize=294092 CPUtime=122.59 cores=1,3,5,7
/proc/17561/task/17590/stat : 17590 (pb_cplex) S 17553 17553 15880 0 -1 4202560 195307 0 0 0 12189 70 0 0 20 0 8 0 391027139 301150208 47578 33554432000 134512640 146736320 4294372544 3987029648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 997.56
Current children cumulated vsize (KiB) 303240
[startup+342.3 s]
/proc/loadavg: 11.65 11.02 8.17 10/186 17644
/proc/meminfo: memFree=26451684/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=295648 CPUtime=1217.19 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) R 17553 17553 15880 0 -1 4202496 1383080 0 0 0 121143 576 0 0 20 0 8 0 391026768 302743552 47850 33554432000 134512640 146736320 4294372544 4294366184 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17561/statm: 73912 47850 983 2985 0 70846 0
[pid=17561/tid=17584] ppid=17553 vsize=295648 CPUtime=150.4 cores=1,3,5,7
/proc/17561/task/17584/stat : 17584 (pb_cplex) R 17553 17553 15880 0 -1 4202560 153251 0 0 0 14970 70 0 0 20 0 8 0 391027139 302743552 47850 33554432000 134512640 146736320 4294372544 4065321960 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17585] ppid=17553 vsize=295648 CPUtime=149.88 cores=1,3,5,7
/proc/17561/task/17585/stat : 17585 (pb_cplex) R 17553 17553 15880 0 -1 4202560 159130 0 0 0 14921 67 0 0 20 0 8 0 391027139 302743552 47850 33554432000 134512640 146736320 4294372544 4133845456 135460530 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17586] ppid=17553 vsize=295648 CPUtime=148.31 cores=1,3,5,7
/proc/17561/task/17586/stat : 17586 (pb_cplex) R 17553 17553 15880 0 -1 4202560 201036 0 0 0 14755 76 0 0 20 0 8 0 391027139 302743552 47850 33554432000 134512640 146736320 4294372544 4144333228 136400672 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17587] ppid=17553 vsize=295648 CPUtime=149.85 cores=1,3,5,7
/proc/17561/task/17587/stat : 17587 (pb_cplex) R 17553 17553 15880 0 -1 4202560 170642 0 0 0 14911 74 0 0 20 0 8 0 391027139 302743552 47850 33554432000 134512640 146736320 4294372544 4115641220 135850322 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17588] ppid=17553 vsize=295648 CPUtime=150.62 cores=1,3,5,7
/proc/17561/task/17588/stat : 17588 (pb_cplex) R 17553 17553 15880 0 -1 4202560 134378 0 0 0 14997 65 0 0 20 0 8 0 391027139 302743552 47850 33554432000 134512640 146736320 4294372544 4007997648 136008230 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17589] ppid=17553 vsize=295648 CPUtime=150.6 cores=1,3,5,7
/proc/17561/task/17589/stat : 17589 (pb_cplex) R 17553 17553 15880 0 -1 4202560 218937 0 0 0 14970 90 0 0 20 0 8 0 391027139 302743552 47850 33554432000 134512640 146736320 4294372544 3997512580 135850319 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17590] ppid=17553 vsize=295648 CPUtime=150.13 cores=1,3,5,7
/proc/17561/task/17590/stat : 17590 (pb_cplex) R 17553 17553 15880 0 -1 4202560 219765 0 0 0 14931 82 0 0 20 0 8 0 391027139 302743552 47850 33554432000 134512640 146736320 4294372544 3987026108 135526874 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1217.19
Current children cumulated vsize (KiB) 304796
[startup+402.3 s]
/proc/loadavg: 9.18 10.40 8.13 5/186 17644
/proc/meminfo: memFree=26443128/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=299212 CPUtime=1438.55 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) R 17553 17553 15880 0 -1 4202496 1526738 0 0 0 143194 661 0 0 20 0 8 0 391026768 306393088 48817 33554432000 134512640 146736320 4294372544 4294365776 136403116 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17561/statm: 74803 48817 983 2985 0 71737 0
[pid=17561/tid=17584] ppid=17553 vsize=299212 CPUtime=177.81 cores=1,3,5,7
/proc/17561/task/17584/stat : 17584 (pb_cplex) R 17553 17553 15880 0 -1 4202560 153251 0 0 0 17705 76 0 0 20 0 8 0 391027139 306393088 48817 33554432000 134512640 146736320 4294372544 4065321960 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17585] ppid=17553 vsize=299212 CPUtime=177.08 cores=1,3,5,7
/proc/17561/task/17585/stat : 17585 (pb_cplex) R 17553 17553 15880 0 -1 4202560 164661 0 0 0 17631 77 0 0 20 0 8 0 391027139 306393088 48817 33554432000 134512640 146736320 4294372544 4133847036 135526859 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17586] ppid=17553 vsize=299212 CPUtime=175.6 cores=1,3,5,7
/proc/17561/task/17586/stat : 17586 (pb_cplex) R 17553 17553 15880 0 -1 4202560 229062 0 0 0 17473 87 0 0 20 0 8 0 391027139 306393088 48817 33554432000 134512640 146736320 4294372544 4144333008 136008356 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17587] ppid=17553 vsize=299212 CPUtime=177.81 cores=1,3,5,7
/proc/17561/task/17587/stat : 17587 (pb_cplex) R 17553 17553 15880 0 -1 4202560 191537 0 0 0 17697 84 0 0 20 0 8 0 391027139 306393088 48817 33554432000 134512640 146736320 4294372544 4115640528 136008450 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17588] ppid=17553 vsize=299212 CPUtime=178.29 cores=1,3,5,7
/proc/17561/task/17588/stat : 17588 (pb_cplex) R 17553 17553 15880 0 -1 4202560 151514 0 0 0 17754 75 0 0 20 0 8 0 391027139 306393088 48817 33554432000 134512640 146736320 4294372544 4007997648 136008176 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17589] ppid=17553 vsize=299212 CPUtime=178.32 cores=1,3,5,7
/proc/17561/task/17589/stat : 17589 (pb_cplex) R 17553 17553 15880 0 -1 4202560 251594 0 0 0 17729 103 0 0 20 0 8 0 391027139 306393088 48817 33554432000 134512640 146736320 4294372544 3997511604 135450751 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17590] ppid=17553 vsize=299212 CPUtime=177.94 cores=1,3,5,7
/proc/17561/task/17590/stat : 17590 (pb_cplex) R 17553 17553 15880 0 -1 4202560 241133 0 0 0 17701 93 0 0 20 0 8 0 391027139 306393088 48817 33554432000 134512640 146736320 4294372544 3987025960 139044542 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1438.55
Current children cumulated vsize (KiB) 308360
[startup+462.3 s]
/proc/loadavg: 8.86 10.08 8.16 9/186 17644
/proc/meminfo: memFree=26437788/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=299212 CPUtime=1661.56 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) R 17553 17553 15880 0 -1 4202496 1665669 0 0 0 165407 749 0 0 20 0 8 0 391026768 306393088 48827 33554432000 134512640 146736320 4294372544 4294365184 136019064 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17561/statm: 74803 48827 983 2985 0 71737 0
[pid=17561/tid=17584] ppid=17553 vsize=299212 CPUtime=205.73 cores=1,3,5,7
/proc/17561/task/17584/stat : 17584 (pb_cplex) R 17553 17553 15880 0 -1 4202560 153251 0 0 0 20487 86 0 0 20 0 8 0 391027139 306393088 48827 33554432000 134512640 146736320 4294372544 4065321184 139028313 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17585] ppid=17553 vsize=299212 CPUtime=204.61 cores=1,3,5,7
/proc/17561/task/17585/stat : 17585 (pb_cplex) R 17553 17553 15880 0 -1 4202560 188792 0 0 0 20370 91 0 0 20 0 8 0 391027139 306393088 48827 33554432000 134512640 146736320 4294372544 4133848040 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17586] ppid=17553 vsize=299212 CPUtime=203.43 cores=1,3,5,7
/proc/17561/task/17586/stat : 17586 (pb_cplex) R 17553 17553 15880 0 -1 4202560 242236 0 0 0 20242 101 0 0 20 0 8 0 391027139 306393088 48827 33554432000 134512640 146736320 4294372544 4144333076 136004401 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17587] ppid=17553 vsize=299212 CPUtime=205.51 cores=1,3,5,7
/proc/17561/task/17587/stat : 17587 (pb_cplex) R 17553 17553 15880 0 -1 4202560 207565 0 0 0 20455 96 0 0 20 0 8 0 391027139 306393088 48827 33554432000 134512640 146736320 4294372544 4115640912 136403103 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17561/tid=17588] ppid=17553 vsize=299212 CPUtime=206.32 cores=1,3,5,7
/proc/17561/task/17588/stat : 17588 (pb_cplex) R 17553 17553 15880 0 -1 4202560 172934 0 0 0 20543 89 0 0 20 0 8 0 391027139 306393088 48827 33554432000 134512640 146736320 4294372544 4007997716 136004582 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17589] ppid=17553 vsize=299212 CPUtime=206.56 cores=1,3,5,7
/proc/17561/task/17589/stat : 17589 (pb_cplex) R 17553 17553 15880 0 -1 4202560 280914 0 0 0 20539 117 0 0 20 0 8 0 391027139 306393088 48827 33554432000 134512640 146736320 4294372544 3997512680 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17590] ppid=17553 vsize=299212 CPUtime=205.4 cores=1,3,5,7
/proc/17561/task/17590/stat : 17590 (pb_cplex) R 17553 17553 15880 0 -1 4202560 264385 0 0 0 20436 104 0 0 20 0 8 0 391027139 306393088 48827 33554432000 134512640 146736320 4294372544 3987025988 136385175 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 308360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+499.5 s]
/proc/loadavg: 7.72 9.65 8.10 9/186 17644
/proc/meminfo: memFree=26425964/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=299212 CPUtime=1800.21 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) S 17553 17553 15880 0 -1 4202496 1732047 0 0 0 179226 795 0 0 20 0 8 0 391026768 306393088 48829 33554432000 134512640 146736320 4294372544 4294368912 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17561/statm: 74803 48829 983 2985 0 71737 0
[pid=17561/tid=17584] ppid=17553 vsize=299212 CPUtime=222.91 cores=1,3,5,7
/proc/17561/task/17584/stat : 17584 (pb_cplex) R 17553 17553 15880 0 -1 4202560 153251 0 0 0 22201 90 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 4065321016 136475778 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17585] ppid=17553 vsize=299212 CPUtime=221.89 cores=1,3,5,7
/proc/17561/task/17585/stat : 17585 (pb_cplex) R 17553 17553 15880 0 -1 4202560 196718 0 0 0 22092 97 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 4133847248 136008230 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17586] ppid=17553 vsize=299212 CPUtime=220.58 cores=1,3,5,7
/proc/17561/task/17586/stat : 17586 (pb_cplex) R 17553 17553 15880 0 -1 4202560 242236 0 0 0 21952 106 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 4144332912 136384883 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17587] ppid=17553 vsize=299212 CPUtime=222.74 cores=1,3,5,7
/proc/17561/task/17587/stat : 17587 (pb_cplex) R 17553 17553 15880 0 -1 4202560 207565 0 0 0 22174 100 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 4115641320 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17588] ppid=17553 vsize=299212 CPUtime=223.77 cores=1,3,5,7
/proc/17561/task/17588/stat : 17588 (pb_cplex) R 17553 17553 15880 0 -1 4202560 186542 0 0 0 22282 95 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 4007997648 136008266 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17589] ppid=17553 vsize=299212 CPUtime=223.81 cores=1,3,5,7
/proc/17561/task/17589/stat : 17589 (pb_cplex) R 17553 17553 15880 0 -1 4202560 296109 0 0 0 22257 124 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 3997511752 139042876 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17590] ppid=17553 vsize=299212 CPUtime=222.94 cores=1,3,5,7
/proc/17561/task/17590/stat : 17590 (pb_cplex) R 17553 17553 15880 0 -1 4202560 278927 0 0 0 22182 112 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 3987026092 135454090 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 308360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+499.5 s]
/proc/loadavg: 7.72 9.65 8.10 9/186 17644
/proc/meminfo: memFree=26425964/32873648 swapFree=7376/7376
[pid=17553] ppid=17551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17553/stat : 17553 (run) S 17551 17553 15880 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391026768 9367552 270 33554432000 4194304 5064252 140734813159024 140734813157936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17553/statm: 2287 270 229 213 0 72 0
[pid=17561] ppid=17553 vsize=299212 CPUtime=1800.21 cores=1,3,5,7
/proc/17561/stat : 17561 (pb_cplex) S 17553 17553 15880 0 -1 4202496 1732047 0 0 0 179226 795 0 0 20 0 8 0 391026768 306393088 48829 33554432000 134512640 146736320 4294372544 4294368912 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17561/statm: 74803 48829 983 2985 0 71737 0
[pid=17561/tid=17584] ppid=17553 vsize=299212 CPUtime=222.91 cores=1,3,5,7
/proc/17561/task/17584/stat : 17584 (pb_cplex) R 17553 17553 15880 0 -1 4202560 153251 0 0 0 22201 90 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 4065321016 136475778 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17585] ppid=17553 vsize=299212 CPUtime=221.89 cores=1,3,5,7
/proc/17561/task/17585/stat : 17585 (pb_cplex) R 17553 17553 15880 0 -1 4202560 196718 0 0 0 22092 97 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 4133847248 136008230 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17586] ppid=17553 vsize=299212 CPUtime=220.58 cores=1,3,5,7
/proc/17561/task/17586/stat : 17586 (pb_cplex) R 17553 17553 15880 0 -1 4202560 242236 0 0 0 21952 106 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 4144332912 136384883 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17587] ppid=17553 vsize=299212 CPUtime=222.74 cores=1,3,5,7
/proc/17561/task/17587/stat : 17587 (pb_cplex) R 17553 17553 15880 0 -1 4202560 207565 0 0 0 22174 100 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 4115641320 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17561/tid=17588] ppid=17553 vsize=299212 CPUtime=223.77 cores=1,3,5,7
/proc/17561/task/17588/stat : 17588 (pb_cplex) R 17553 17553 15880 0 -1 4202560 186542 0 0 0 22282 95 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 4007997648 136008266 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17561/tid=17589] ppid=17553 vsize=299212 CPUtime=223.81 cores=1,3,5,7
/proc/17561/task/17589/stat : 17589 (pb_cplex) R 17553 17553 15880 0 -1 4202560 296109 0 0 0 22257 124 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 3997511752 139042876 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17561/tid=17590] ppid=17553 vsize=299212 CPUtime=222.94 cores=1,3,5,7
/proc/17561/task/17590/stat : 17590 (pb_cplex) R 17553 17553 15880 0 -1 4202560 278927 0 0 0 22182 112 0 0 20 0 8 0 391027139 306393088 48829 33554432000 134512640 146736320 4294372544 3987026092 135454090 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 308360
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17553 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 499.516
CPU time (s): 1800.21
CPU user time (s): 1792.26
CPU system time (s): 7.95
CPU usage (%): 360.391
Max. virtual memory (cumulated for all children) (KiB): 312476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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= 1
involuntary context switches= 1
runsolver used 1.35979 second user time and 3.35549 second system time
The end