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-3736842-1339248366/watcher-3736842-1339248366 -o /tmp/evaluation-result-3736842-1339248366/solver-3736842-1339248366 -C 1800 -W 1900 -M 15500 run HOME/instance-3736842-1339248366.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: 14.63 12.93 9.03 10/184 29698
/proc/meminfo: memFree=29284628/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[startup+0.0399911 s]
/proc/loadavg: 14.63 12.93 9.03 10/184 29698
/proc/meminfo: memFree=29284628/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100214 s]
/proc/loadavg: 14.63 12.93 9.03 10/184 29698
/proc/meminfo: memFree=29284628/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300216 s]
/proc/loadavg: 14.63 12.93 9.03 10/184 29698
/proc/meminfo: memFree=29284628/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700339 s]
/proc/loadavg: 14.63 12.93 9.03 10/184 29698
/proc/meminfo: memFree=29284628/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 14.63 12.93 9.03 10/186 29700
/proc/meminfo: memFree=29220076/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=195940 CPUtime=1.49 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 39230 0 0 0 140 9 0 0 20 0 1 0 390965297 200642560 27699 33554432000 134512640 146736320 4293787440 4293783152 135982855 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29699/statm: 48985 27699 802 2985 0 45919 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 205088
[startup+3.10022 s]
/proc/loadavg: 14.63 12.93 9.03 10/186 29700
/proc/meminfo: memFree=29176040/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=195940 CPUtime=3.09 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 39238 0 0 0 300 9 0 0 20 0 1 0 390965297 200642560 27707 33554432000 134512640 146736320 4293787440 4293783152 135982866 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29699/statm: 48985 27707 802 2985 0 45919 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 205088
[startup+6.30023 s]
/proc/loadavg: 14.18 12.86 9.03 10/186 29700
/proc/meminfo: memFree=29174672/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=196280 CPUtime=6.28 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 40043 0 0 0 619 9 0 0 20 0 1 0 390965297 200990720 27877 33554432000 134512640 146736320 4293787440 4293783152 135983319 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29699/statm: 49070 27877 802 2985 0 46004 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 205428
[startup+12.7003 s]
/proc/loadavg: 13.76 12.80 9.02 10/186 29700
/proc/meminfo: memFree=29170288/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=194532 CPUtime=12.68 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 78043 0 0 0 1248 20 0 0 20 0 1 0 390965297 199200768 29057 33554432000 134512640 146736320 4293787440 4293780540 135446530 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/29699/statm: 48633 29057 895 2985 0 45567 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 203680
[startup+25.5008 s]
/proc/loadavg: 13.27 12.73 9.06 16/193 29707
/proc/meminfo: memFree=28652348/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=942760 CPUtime=32.87 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) S 29698 29698 29010 0 -1 4202496 275758 0 0 0 3199 88 0 0 20 0 8 0 390965297 965386240 158982 33554432000 134512640 146736320 4293787440 4293783824 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29699/statm: 235690 158982 928 2985 0 232624 0
[pid=29699/tid=29701] ppid=29698 vsize=942760 CPUtime=1.12 cores=1,3,5,7
/proc/29699/task/29701/stat : 29701 (pb_cplex) R 29698 29698 29010 0 -1 4202560 11014 0 0 0 107 5 0 0 20 0 8 0 390967514 965386240 158982 33554432000 134512640 146736320 4293787440 3883849336 139023073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29702] ppid=29698 vsize=942760 CPUtime=1.3 cores=1,3,5,7
/proc/29699/task/29702/stat : 29702 (pb_cplex) R 29698 29698 29010 0 -1 4202560 11950 0 0 0 125 5 0 0 20 0 8 0 390967514 965386240 158982 33554432000 134512640 146736320 4293787440 3873362568 135982683 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=29699/tid=29703] ppid=29698 vsize=942760 CPUtime=1.28 cores=1,3,5,7
/proc/29699/task/29703/stat : 29703 (pb_cplex) R 29698 29698 29010 0 -1 4202560 11480 0 0 0 122 6 0 0 20 0 8 0 390967514 965386240 158982 33554432000 134512640 146736320 4293787440 3862878532 136852988 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29699/tid=29704] ppid=29698 vsize=942760 CPUtime=1.18 cores=1,3,5,7
/proc/29699/task/29704/stat : 29704 (pb_cplex) R 29698 29698 29010 0 -1 4202560 11697 0 0 0 112 6 0 0 20 0 8 0 390967514 965386240 158982 33554432000 134512640 146736320 4293787440 3852391072 139023073 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29705] ppid=29698 vsize=942760 CPUtime=1.18 cores=1,3,5,7
/proc/29699/task/29705/stat : 29705 (pb_cplex) R 29698 29698 29010 0 -1 4202560 10851 0 0 0 113 5 0 0 20 0 8 0 390967514 965386240 158982 33554432000 134512640 146736320 4293787440 3841905656 136363992 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=29699/tid=29706] ppid=29698 vsize=942760 CPUtime=1.33 cores=1,3,5,7
/proc/29699/task/29706/stat : 29706 (pb_cplex) S 29698 29698 29010 0 -1 4202560 12031 0 0 0 126 7 0 0 20 0 8 0 390967514 965386240 158982 33554432000 134512640 146736320 4293787440 3831422608 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29699/tid=29707] ppid=29698 vsize=942760 CPUtime=1.26 cores=1,3,5,7
/proc/29699/task/29707/stat : 29707 (pb_cplex) S 29698 29698 29010 0 -1 4202560 11455 0 0 0 120 6 0 0 20 0 8 0 390967514 965386240 158982 33554432000 134512640 146736320 4293787440 3820936848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 32.87
Current children cumulated vsize (KiB) 951908
[startup+51.1005 s]
/proc/loadavg: 13.57 12.86 9.20 10/186 29707
/proc/meminfo: memFree=29082916/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=121.55 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 668174 0 0 0 11797 358 0 0 20 0 1 0 390965297 301019136 51539 33554432000 134512640 146736320 4293787440 4293781440 135969520 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 51539 939 2985 0 70425 0
Current children cumulated CPU time (s) 121.55
Current children cumulated vsize (KiB) 303112
[startup+102.3 s]
/proc/loadavg: 8.24 11.54 8.95 8/186 29845
/proc/meminfo: memFree=29832784/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=172.74 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 673676 0 0 0 16914 360 0 0 20 0 1 0 390965297 301019136 57129 33554432000 134512640 146736320 4293787440 4293781696 136400753 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 57129 940 2985 0 70425 0
Current children cumulated CPU time (s) 172.74
Current children cumulated vsize (KiB) 303112
[startup+162.3 s]
/proc/loadavg: 7.80 10.77 8.84 4/186 29845
/proc/meminfo: memFree=29788296/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=232.71 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674834 0 0 0 22911 360 0 0 20 0 1 0 390965297 301019136 59623 33554432000 134512640 146736320 4293787440 4293780608 135468700 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59623 940 2985 0 70425 0
Current children cumulated CPU time (s) 232.71
Current children cumulated vsize (KiB) 303112
[startup+222.307 s]
/proc/loadavg: 7.82 10.27 8.79 6/186 29845
/proc/meminfo: memFree=29782504/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=292.7 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674850 0 0 0 28909 361 0 0 20 0 1 0 390965297 301019136 59822 33554432000 134512640 146736320 4293787440 4293782132 136400669 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59822 940 2985 0 70425 0
Current children cumulated CPU time (s) 292.7
Current children cumulated vsize (KiB) 303112
[startup+282.3 s]
/proc/loadavg: 7.45 9.74 8.70 3/180 29899
/proc/meminfo: memFree=29708616/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=352.69 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674850 0 0 0 34908 361 0 0 20 0 1 0 390965297 301019136 59822 33554432000 134512640 146736320 4293787440 4293781376 136403494 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59822 940 2985 0 70425 0
Current children cumulated CPU time (s) 352.69
Current children cumulated vsize (KiB) 303112
[startup+342.3 s]
/proc/loadavg: 4.00 8.33 8.27 3/179 29900
################
# More data... #
################
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1072.57 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 106895 362 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293781648 136008335 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1072.57
Current children cumulated vsize (KiB) 303112
[startup+1062.3 s]
/proc/loadavg: 2.00 2.56 4.87 3/179 29905
/proc/meminfo: memFree=29648928/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1132.57 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 112894 363 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293781648 136008441 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1132.57
Current children cumulated vsize (KiB) 303112
[startup+1122.3 s]
/proc/loadavg: 2.00 2.45 4.69 3/180 29906
/proc/meminfo: memFree=29648796/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1192.56 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 118893 363 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293781648 136008416 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1192.56
Current children cumulated vsize (KiB) 303112
[startup+1182.3 s]
/proc/loadavg: 2.06 2.38 4.52 3/179 29906
/proc/meminfo: memFree=29648432/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1252.55 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 124892 363 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293781648 136008450 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1252.55
Current children cumulated vsize (KiB) 303112
[startup+1242.3 s]
/proc/loadavg: 2.02 2.31 4.36 3/179 29907
/proc/meminfo: memFree=29648060/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1312.54 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 130891 363 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293781896 135999691 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1312.54
Current children cumulated vsize (KiB) 303112
[startup+1302.3 s]
/proc/loadavg: 2.00 2.25 4.21 3/179 29907
/proc/meminfo: memFree=29647812/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1372.53 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 136890 363 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293781532 135854509 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1372.53
Current children cumulated vsize (KiB) 303112
[startup+1362.3 s]
/proc/loadavg: 2.00 2.20 4.07 3/179 29907
/proc/meminfo: memFree=29647564/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1432.52 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 142889 363 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293781656 136008653 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1432.52
Current children cumulated vsize (KiB) 303112
[startup+1422.3 s]
/proc/loadavg: 2.00 2.16 3.94 3/179 29907
/proc/meminfo: memFree=29646696/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1492.51 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 148888 363 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293783840 136206786 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1492.51
Current children cumulated vsize (KiB) 303112
[startup+1482.3 s]
/proc/loadavg: 2.06 2.15 3.82 3/180 29910
/proc/meminfo: memFree=29645820/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1552.51 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 154887 364 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293781896 136000437 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1552.51
Current children cumulated vsize (KiB) 303112
[startup+1542.31 s]
/proc/loadavg: 2.02 2.12 3.70 3/179 29911
/proc/meminfo: memFree=29645828/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1612.5 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 160886 364 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293781648 136008416 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1612.5
Current children cumulated vsize (KiB) 303112
[startup+1602.3 s]
/proc/loadavg: 2.01 2.09 3.59 3/179 29911
/proc/meminfo: memFree=29645580/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1672.48 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 674853 0 0 0 166884 364 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293783260 136406059 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1672.48
Current children cumulated vsize (KiB) 303112
[startup+1662.3 s]
/proc/loadavg: 2.06 2.09 3.49 3/179 29911
/proc/meminfo: memFree=29636332/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=305380 CPUtime=1732.47 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 675208 0 0 0 172883 364 0 0 20 0 1 0 390965297 312709120 62224 33554432000 134512640 146736320 4293787440 4293783248 137698804 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 76345 62224 943 2985 0 73279 0
Current children cumulated CPU time (s) 1732.47
Current children cumulated vsize (KiB) 314528
[startup+1722.3 s]
/proc/loadavg: 2.02 2.07 3.40 3/179 29911
/proc/meminfo: memFree=29645516/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1792.46 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 675208 0 0 0 178882 364 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293782032 136403112 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1792.46
Current children cumulated vsize (KiB) 303112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1729.9 s]
/proc/loadavg: 2.02 2.07 3.38 3/179 29911
/proc/meminfo: memFree=29645516/32873844 swapFree=7636/7636
[pid=29698] ppid=29696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (run) S 29696 29698 29010 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390965297 9367552 270 33554432000 4194304 5064252 140733358060784 140733358059696 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29698/statm: 2287 270 229 213 0 72 0
[pid=29699] ppid=29698 vsize=293964 CPUtime=1800.07 cores=1,3,5,7
/proc/29699/stat : 29699 (pb_cplex) R 29698 29698 29010 0 -1 4202496 675208 0 0 0 179643 364 0 0 20 0 1 0 390965297 301019136 59825 33554432000 134512640 146736320 4293787440 4293781644 136388877 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/29699/statm: 73491 59825 943 2985 0 70425 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 303112
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1729.91
CPU time (s): 1800.08
CPU user time (s): 1796.43
CPU system time (s): 3.65144
CPU usage (%): 104.057
Max. virtual memory (cumulated for all children) (KiB): 1048952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.43
system time used= 3.65144
maximum resident set size= 725964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 675574
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= 8234
involuntary context switches= 8233
runsolver used 2.95855 second user time and 8.37273 second system time
The end