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-3736776-1339248337/watcher-3736776-1339248337 -o /tmp/evaluation-result-3736776-1339248337/solver-3736776-1339248337 -C 1800 -W 1900 -M 15500 run HOME/instance-3736776-1339248337.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.72 3.26 3/184 18445
/proc/meminfo: memFree=26400896/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[startup+0.0688441 s]
/proc/loadavg: 1.03 1.72 3.26 3/184 18445
/proc/meminfo: memFree=26400896/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100288 s]
/proc/loadavg: 1.03 1.72 3.26 3/184 18445
/proc/meminfo: memFree=26400896/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300249 s]
/proc/loadavg: 1.03 1.72 3.26 3/184 18445
/proc/meminfo: memFree=26400896/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700169 s]
/proc/loadavg: 1.03 1.72 3.26 3/184 18445
/proc/meminfo: memFree=26400896/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50049 s]
/proc/loadavg: 1.03 1.72 3.26 8/193 18454
/proc/meminfo: memFree=26312668/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=198244 CPUtime=4.12 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) S 18445 18445 17869 0 -1 4202496 33629 0 0 0 404 8 0 0 20 0 8 0 390958199 203001856 23482 33554432000 134512640 146736320 4289385024 4289381392 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18446/statm: 49561 23482 930 2985 0 46495 0
[pid=18446/tid=18448] ppid=18445 vsize=198244 CPUtime=0.25 cores=0,2,4,6
/proc/18446/task/18448/stat : 18448 (pb_cplex) S 18445 18445 17869 0 -1 4202560 2394 0 0 0 25 0 0 0 20 0 8 0 390958243 203001856 23482 33554432000 134512640 146736320 4289385024 4142665360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18449] ppid=18445 vsize=198244 CPUtime=0.13 cores=0,2,4,6
/proc/18446/task/18449/stat : 18449 (pb_cplex) S 18445 18445 17869 0 -1 4202560 2135 0 0 0 13 0 0 0 20 0 8 0 390958243 203001856 23482 33554432000 134512640 146736320 4289385024 4132179600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18450] ppid=18445 vsize=198244 CPUtime=0.62 cores=0,2,4,6
/proc/18446/task/18450/stat : 18450 (pb_cplex) S 18445 18445 17869 0 -1 4202560 2835 0 0 0 62 0 0 0 20 0 8 0 390958243 203001856 23482 33554432000 134512640 146736320 4289385024 4121693840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18451] ppid=18445 vsize=198244 CPUtime=0.7 cores=0,2,4,6
/proc/18446/task/18451/stat : 18451 (pb_cplex) R 18445 18445 17869 0 -1 4202560 2923 0 0 0 70 0 0 0 20 0 8 0 390958243 203001856 23482 33554432000 134512640 146736320 4289385024 4111203204 135523415 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18452] ppid=18445 vsize=198244 CPUtime=0.6 cores=0,2,4,6
/proc/18446/task/18452/stat : 18452 (pb_cplex) S 18445 18445 17869 0 -1 4202560 3852 0 0 0 60 0 0 0 20 0 8 0 390958243 203001856 23482 33554432000 134512640 146736320 4289385024 4100722320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18453] ppid=18445 vsize=198244 CPUtime=0.43 cores=0,2,4,6
/proc/18446/task/18453/stat : 18453 (pb_cplex) S 18445 18445 17869 0 -1 4202560 2237 0 0 0 43 0 0 0 20 0 8 0 390958243 203001856 23482 33554432000 134512640 146736320 4289385024 4090236560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18454] ppid=18445 vsize=198244 CPUtime=0.71 cores=0,2,4,6
/proc/18446/task/18454/stat : 18454 (pb_cplex) S 18445 18445 17869 0 -1 4202560 2375 0 0 0 71 0 0 0 20 0 8 0 390958243 203001856 23482 33554432000 134512640 146736320 4289385024 4079750800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 207392
[startup+3.10022 s]
/proc/loadavg: 1.03 1.72 3.26 3/186 18454
/proc/meminfo: memFree=26352008/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=109844 CPUtime=5.92 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 33883 0 0 0 581 11 0 0 20 0 1 0 390958199 112480256 13247 33554432000 134512640 146736320 4289385024 4289379600 136403109 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18446/statm: 27461 13247 952 2985 0 24395 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 118992
[startup+6.30024 s]
/proc/loadavg: 1.11 1.72 3.25 3/186 18454
/proc/meminfo: memFree=26350544/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=109844 CPUtime=9.12 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 33957 0 0 0 901 11 0 0 20 0 1 0 390958199 112480256 13321 33554432000 134512640 146736320 4289385024 4289380056 144757825 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18446/statm: 27461 13321 953 2985 0 24395 0
Current children cumulated CPU time (s) 9.12
Current children cumulated vsize (KiB) 118992
[startup+12.7003 s]
/proc/loadavg: 1.18 1.73 3.24 3/186 18454
/proc/meminfo: memFree=26351124/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=109844 CPUtime=15.52 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 34015 0 0 0 1540 12 0 0 20 0 1 0 390958199 112480256 13591 33554432000 134512640 146736320 4289385024 4289378832 136008339 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18446/statm: 27461 13591 955 2985 0 24395 0
Current children cumulated CPU time (s) 15.52
Current children cumulated vsize (KiB) 118992
[startup+25.5004 s]
/proc/loadavg: 1.36 1.74 3.22 3/193 18468
/proc/meminfo: memFree=26307420/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=190896 CPUtime=29.41 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 64108 0 0 0 2918 23 0 0 20 0 8 0 390958199 195477504 24202 33554432000 134512640 146736320 4289385024 4289377032 135999608 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18446/statm: 47724 24202 969 2985 0 44658 0
[pid=18446/tid=18462] ppid=18445 vsize=190896 CPUtime=0 cores=0,2,4,6
/proc/18446/task/18462/stat : 18462 (pb_cplex) S 18445 18445 17869 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390959994 195477504 24202 33554432000 134512640 146736320 4289385024 4130475664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18463] ppid=18445 vsize=190896 CPUtime=0 cores=0,2,4,6
/proc/18446/task/18463/stat : 18463 (pb_cplex) S 18445 18445 17869 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390959994 195477504 24202 33554432000 134512640 146736320 4289385024 4140961424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18464] ppid=18445 vsize=190896 CPUtime=0 cores=0,2,4,6
/proc/18446/task/18464/stat : 18464 (pb_cplex) S 18445 18445 17869 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390959994 195477504 24202 33554432000 134512640 146736320 4289385024 4151447184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18465] ppid=18445 vsize=190896 CPUtime=0 cores=0,2,4,6
/proc/18446/task/18465/stat : 18465 (pb_cplex) S 18445 18445 17869 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390959994 195477504 24202 33554432000 134512640 146736320 4289385024 4111208080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18466] ppid=18445 vsize=190896 CPUtime=0 cores=0,2,4,6
/proc/18446/task/18466/stat : 18466 (pb_cplex) S 18445 18445 17869 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390959994 195477504 24202 33554432000 134512640 146736320 4289385024 4049596048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18467] ppid=18445 vsize=190896 CPUtime=0 cores=0,2,4,6
/proc/18446/task/18467/stat : 18467 (pb_cplex) S 18445 18445 17869 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390959994 195477504 24202 33554432000 134512640 146736320 4289385024 4039110288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18468] ppid=18445 vsize=190896 CPUtime=0 cores=0,2,4,6
/proc/18446/task/18468/stat : 18468 (pb_cplex) S 18445 18445 17869 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390959994 195477504 24202 33554432000 134512640 146736320 4289385024 4028624528 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 29.41
Current children cumulated vsize (KiB) 200044
[startup+51.1004 s]
/proc/loadavg: 3.97 2.32 3.37 10/193 18468
/proc/meminfo: memFree=26257880/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=250760 CPUtime=119 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 100238 0 0 0 11864 36 0 0 20 0 8 0 390958199 256778240 36755 33554432000 134512640 146736320 4289385024 4289376576 136018854 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18446/statm: 62690 36755 969 2985 0 59624 0
[pid=18446/tid=18462] ppid=18445 vsize=250760 CPUtime=10.66 cores=0,2,4,6
/proc/18446/task/18462/stat : 18462 (pb_cplex) R 18445 18445 17869 0 -1 4202560 4833 0 0 0 1064 2 0 0 20 0 8 0 390959994 256778240 36755 33554432000 134512640 146736320 4289385024 4130470940 135855165 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18463] ppid=18445 vsize=250760 CPUtime=10.59 cores=0,2,4,6
/proc/18446/task/18463/stat : 18463 (pb_cplex) R 18445 18445 17869 0 -1 4202560 7353 0 0 0 1057 2 0 0 20 0 8 0 390959994 256778240 36755 33554432000 134512640 146736320 4289385024 4140956816 136008065 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18464] ppid=18445 vsize=250760 CPUtime=10.65 cores=0,2,4,6
/proc/18446/task/18464/stat : 18464 (pb_cplex) R 18445 18445 17869 0 -1 4202560 2230 0 0 0 1065 0 0 0 20 0 8 0 390959994 256778240 36755 33554432000 134512640 146736320 4289385024 4151443816 139023034 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18465] ppid=18445 vsize=250760 CPUtime=10.63 cores=0,2,4,6
/proc/18446/task/18465/stat : 18465 (pb_cplex) R 18445 18445 17869 0 -1 4202560 3580 0 0 0 1062 1 0 0 20 0 8 0 390959994 256778240 36755 33554432000 134512640 146736320 4289385024 4111203856 136403112 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18466] ppid=18445 vsize=250760 CPUtime=10.5 cores=0,2,4,6
/proc/18446/task/18466/stat : 18466 (pb_cplex) R 18445 18445 17869 0 -1 4202560 5398 0 0 0 1049 1 0 0 20 0 8 0 390959994 256778240 36755 33554432000 134512640 146736320 4289385024 4049591232 136018922 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18467] ppid=18445 vsize=250760 CPUtime=10.66 cores=0,2,4,6
/proc/18446/task/18467/stat : 18467 (pb_cplex) R 18445 18445 17869 0 -1 4202560 7482 0 0 0 1064 2 0 0 20 0 8 0 390959994 256778240 36755 33554432000 134512640 146736320 4289385024 4039106968 139023034 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18468] ppid=18445 vsize=250760 CPUtime=10.67 cores=0,2,4,6
/proc/18446/task/18468/stat : 18468 (pb_cplex) R 18445 18445 17869 0 -1 4202560 1094 0 0 0 1067 0 0 0 20 0 8 0 390959994 256778240 36755 33554432000 134512640 146736320 4289385024 4028619804 135855167 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 119
Current children cumulated vsize (KiB) 259908
[startup+102.307 s]
/proc/loadavg: 6.43 3.23 3.62 10/193 18468
/proc/meminfo: memFree=26243808/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=261744 CPUtime=314.68 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 162800 0 0 0 31403 65 0 0 20 0 8 0 390958199 268025856 39880 33554432000 134512640 146736320 4289385024 4289377776 136384854 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18446/statm: 65436 39880 969 2985 0 62370 0
[pid=18446/tid=18462] ppid=18445 vsize=261744 CPUtime=36.39 cores=0,2,4,6
/proc/18446/task/18462/stat : 18462 (pb_cplex) R 18445 18445 17869 0 -1 4202560 10054 0 0 0 3634 5 0 0 20 0 8 0 390959994 268025856 39880 33554432000 134512640 146736320 4289385024 4130471848 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18463] ppid=18445 vsize=261744 CPUtime=39.35 cores=0,2,4,6
/proc/18446/task/18463/stat : 18463 (pb_cplex) R 18445 18445 17869 0 -1 4202560 20062 0 0 0 3928 7 0 0 20 0 8 0 390959994 268025856 39880 33554432000 134512640 146736320 4289385024 4140956816 136008328 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18464] ppid=18445 vsize=261744 CPUtime=32.96 cores=0,2,4,6
/proc/18446/task/18464/stat : 18464 (pb_cplex) R 18445 18445 17869 0 -1 4202560 8847 0 0 0 3293 3 0 0 20 0 8 0 390959994 268025856 39880 33554432000 134512640 146736320 4289385024 4151443548 135854505 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18465] ppid=18445 vsize=261744 CPUtime=35.9 cores=0,2,4,6
/proc/18446/task/18465/stat : 18465 (pb_cplex) R 18445 18445 17869 0 -1 4202560 12193 0 0 0 3585 5 0 0 20 0 8 0 390959994 268025856 39880 33554432000 134512640 146736320 4289385024 4111204560 136008450 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18466] ppid=18445 vsize=261744 CPUtime=30.67 cores=0,2,4,6
/proc/18446/task/18466/stat : 18466 (pb_cplex) R 18445 18445 17869 0 -1 4202560 8230 0 0 0 3064 3 0 0 20 0 8 0 390959994 268025856 39880 33554432000 134512640 146736320 4289385024 4049590396 135526870 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18467] ppid=18445 vsize=261744 CPUtime=36.69 cores=0,2,4,6
/proc/18446/task/18467/stat : 18467 (pb_cplex) R 18445 18445 17869 0 -1 4202560 19899 0 0 0 3663 6 0 0 20 0 8 0 390959994 268025856 39880 33554432000 134512640 146736320 4289385024 4039105544 139042981 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18468] ppid=18445 vsize=261744 CPUtime=34.2 cores=0,2,4,6
################
# More data... #
################
/proc/18446/statm: 64294 40612 969 2985 0 61228 0
[pid=18446/tid=18462] ppid=18445 vsize=257176 CPUtime=137.11 cores=0,2,4,6
/proc/18446/task/18462/stat : 18462 (pb_cplex) S 18445 18445 17869 0 -1 4202560 27008 0 0 0 13692 19 0 0 20 0 8 0 390959994 263348224 40612 33554432000 134512640 146736320 4289385024 4130475664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18463] ppid=18445 vsize=257176 CPUtime=136.32 cores=0,2,4,6
/proc/18446/task/18463/stat : 18463 (pb_cplex) S 18445 18445 17869 0 -1 4202560 81922 0 0 0 13602 30 0 0 20 0 8 0 390959994 263348224 40612 33554432000 134512640 146736320 4289385024 4140961424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18464] ppid=18445 vsize=257176 CPUtime=137.7 cores=0,2,4,6
/proc/18446/task/18464/stat : 18464 (pb_cplex) S 18445 18445 17869 0 -1 4202560 29824 0 0 0 13752 18 0 0 20 0 8 0 390959994 263348224 40612 33554432000 134512640 146736320 4289385024 4151447184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18465] ppid=18445 vsize=257176 CPUtime=140.56 cores=0,2,4,6
/proc/18446/task/18465/stat : 18465 (pb_cplex) S 18445 18445 17869 0 -1 4202560 38709 0 0 0 14034 22 0 0 20 0 8 0 390959994 263348224 40612 33554432000 134512640 146736320 4289385024 4111208080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18466] ppid=18445 vsize=257176 CPUtime=133.68 cores=0,2,4,6
/proc/18446/task/18466/stat : 18466 (pb_cplex) S 18445 18445 17869 0 -1 4202560 39191 0 0 0 13348 20 0 0 20 0 8 0 390959994 263348224 40612 33554432000 134512640 146736320 4289385024 4049596048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18467] ppid=18445 vsize=257176 CPUtime=136.43 cores=0,2,4,6
/proc/18446/task/18467/stat : 18467 (pb_cplex) S 18445 18445 17869 0 -1 4202560 68147 0 0 0 13615 28 0 0 20 0 8 0 390959994 263348224 40612 33554432000 134512640 146736320 4289385024 4039110288 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18468] ppid=18445 vsize=257176 CPUtime=135.53 cores=0,2,4,6
/proc/18446/task/18468/stat : 18468 (pb_cplex) R 18445 18445 17869 0 -1 4202560 19063 0 0 0 13533 20 0 0 20 0 8 0 390959994 263348224 40612 33554432000 134512640 146736320 4289385024 4028619920 136008438 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1129.38
Current children cumulated vsize (KiB) 266324
[startup+402.3 s]
/proc/loadavg: 11.98 9.05 6.01 17/194 18560
/proc/meminfo: memFree=26461068/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=260600 CPUtime=1327.11 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 405127 0 0 0 132507 204 0 0 20 0 8 0 390958199 266854400 41325 33554432000 134512640 146736320 4289385024 4289377756 135854535 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18446/statm: 65150 41325 969 2985 0 62084 0
[pid=18446/tid=18462] ppid=18445 vsize=260600 CPUtime=161.61 cores=0,2,4,6
/proc/18446/task/18462/stat : 18462 (pb_cplex) R 18445 18445 17869 0 -1 4202560 28173 0 0 0 16140 21 0 0 20 0 8 0 390959994 266854400 41325 33554432000 134512640 146736320 4289385024 4130470740 136017769 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18463] ppid=18445 vsize=260600 CPUtime=161.94 cores=0,2,4,6
/proc/18446/task/18463/stat : 18463 (pb_cplex) R 18445 18445 17869 0 -1 4202560 83662 0 0 0 16162 32 0 0 20 0 8 0 390959994 266854400 41325 33554432000 134512640 146736320 4289385024 4140957764 136385175 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18464] ppid=18445 vsize=260600 CPUtime=164.93 cores=0,2,4,6
/proc/18446/task/18464/stat : 18464 (pb_cplex) R 18445 18445 17869 0 -1 4202560 32051 0 0 0 16472 21 0 0 20 0 8 0 390959994 266854400 41325 33554432000 134512640 146736320 4289385024 4151443912 136000487 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18465] ppid=18445 vsize=260600 CPUtime=163.73 cores=0,2,4,6
/proc/18446/task/18465/stat : 18465 (pb_cplex) R 18445 18445 17869 0 -1 4202560 39748 0 0 0 16349 24 0 0 20 0 8 0 390959994 266854400 41325 33554432000 134512640 146736320 4289385024 4111204420 136385172 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18466] ppid=18445 vsize=260600 CPUtime=155.71 cores=0,2,4,6
/proc/18446/task/18466/stat : 18466 (pb_cplex) R 18445 18445 17869 0 -1 4202560 41260 0 0 0 15549 22 0 0 20 0 8 0 390959994 266854400 41325 33554432000 134512640 146736320 4289385024 4049591304 139042916 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18467] ppid=18445 vsize=260600 CPUtime=159.17 cores=0,2,4,6
/proc/18446/task/18467/stat : 18467 (pb_cplex) R 18445 18445 17869 0 -1 4202560 71287 0 0 0 15887 30 0 0 20 0 8 0 390959994 266854400 41325 33554432000 134512640 146736320 4289385024 4039107560 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18468] ppid=18445 vsize=260600 CPUtime=161.07 cores=0,2,4,6
/proc/18446/task/18468/stat : 18468 (pb_cplex) R 18445 18445 17869 0 -1 4202560 19452 0 0 0 16085 22 0 0 20 0 8 0 390959994 266854400 41325 33554432000 134512640 146736320 4289385024 4028621392 136403116 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1327.11
Current children cumulated vsize (KiB) 269748
[startup+462.3 s]
/proc/loadavg: 12.57 9.75 6.44 15/193 18561
/proc/meminfo: memFree=26436032/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=267648 CPUtime=1535.98 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 452711 0 0 0 153367 231 0 0 20 0 8 0 390958199 274071552 42824 33554432000 134512640 146736320 4289385024 4289377576 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18446/statm: 66912 42824 969 2985 0 63846 0
[pid=18446/tid=18462] ppid=18445 vsize=267648 CPUtime=187.5 cores=0,2,4,6
/proc/18446/task/18462/stat : 18462 (pb_cplex) R 18445 18445 17869 0 -1 4202560 31669 0 0 0 18726 24 0 0 20 0 8 0 390959994 274071552 42824 33554432000 134512640 146736320 4289385024 4130472392 136000488 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18463] ppid=18445 vsize=267648 CPUtime=186.48 cores=0,2,4,6
/proc/18446/task/18463/stat : 18463 (pb_cplex) R 18445 18445 17869 0 -1 4202560 89906 0 0 0 18612 36 0 0 20 0 8 0 390959994 274071552 42824 33554432000 134512640 146736320 4289385024 4140956844 135454063 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18464] ppid=18445 vsize=267648 CPUtime=195.21 cores=0,2,4,6
/proc/18446/task/18464/stat : 18464 (pb_cplex) R 18445 18445 17869 0 -1 4202560 42666 0 0 0 19495 26 0 0 20 0 8 0 390959994 274071552 42824 33554432000 134512640 146736320 4289385024 4151443660 136388921 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18465] ppid=18445 vsize=267648 CPUtime=189.05 cores=0,2,4,6
/proc/18446/task/18465/stat : 18465 (pb_cplex) R 18445 18445 17869 0 -1 4202560 47300 0 0 0 18877 28 0 0 20 0 8 0 390959994 274071552 42824 33554432000 134512640 146736320 4289385024 4111204944 136403129 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18466] ppid=18445 vsize=267648 CPUtime=182.15 cores=0,2,4,6
/proc/18446/task/18466/stat : 18466 (pb_cplex) R 18445 18445 17869 0 -1 4202560 48411 0 0 0 18189 26 0 0 20 0 8 0 390959994 274071552 42824 33554432000 134512640 146736320 4289385024 4049591824 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18467] ppid=18445 vsize=267648 CPUtime=184.12 cores=0,2,4,6
/proc/18446/task/18467/stat : 18467 (pb_cplex) R 18445 18445 17869 0 -1 4202560 79610 0 0 0 18378 34 0 0 20 0 8 0 390959994 274071552 42824 33554432000 134512640 146736320 4289385024 4039106720 136006328 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=18446/tid=18468] ppid=18445 vsize=267648 CPUtime=187.18 cores=0,2,4,6
/proc/18446/task/18468/stat : 18468 (pb_cplex) R 18445 18445 17869 0 -1 4202560 21530 0 0 0 18693 25 0 0 20 0 8 0 390959994 274071552 42824 33554432000 134512640 146736320 4289385024 4028621008 136008356 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1535.98
Current children cumulated vsize (KiB) 276796
[startup+522.3 s]
/proc/loadavg: 12.94 10.39 6.86 9/193 18561
/proc/meminfo: memFree=26430460/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=268716 CPUtime=1737.63 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 473815 0 0 0 173512 251 0 0 20 0 8 0 390958199 275165184 43126 33554432000 134512640 146736320 4289385024 4289378256 136403116 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18446/statm: 67179 43126 969 2985 0 64113 0
[pid=18446/tid=18462] ppid=18445 vsize=268716 CPUtime=213.57 cores=0,2,4,6
/proc/18446/task/18462/stat : 18462 (pb_cplex) R 18445 18445 17869 0 -1 4202560 33999 0 0 0 21330 27 0 0 20 0 8 0 390959994 275165184 43126 33554432000 134512640 146736320 4289385024 4130472392 136001126 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18463] ppid=18445 vsize=268716 CPUtime=210.57 cores=0,2,4,6
/proc/18446/task/18463/stat : 18463 (pb_cplex) R 18445 18445 17869 0 -1 4202560 92516 0 0 0 21018 39 0 0 20 0 8 0 390959994 275165184 43126 33554432000 134512640 146736320 4289385024 4140958696 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18464] ppid=18445 vsize=268716 CPUtime=218.62 cores=0,2,4,6
/proc/18446/task/18464/stat : 18464 (pb_cplex) R 18445 18445 17869 0 -1 4202560 45269 0 0 0 21832 30 0 0 20 0 8 0 390959994 275165184 43126 33554432000 134512640 146736320 4289385024 4151443892 136400570 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18465] ppid=18445 vsize=268716 CPUtime=215.95 cores=0,2,4,6
/proc/18446/task/18465/stat : 18465 (pb_cplex) R 18445 18445 17869 0 -1 4202560 50074 0 0 0 21563 32 0 0 20 0 8 0 390959994 275165184 43126 33554432000 134512640 146736320 4289385024 4111204424 139042910 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18466] ppid=18445 vsize=268716 CPUtime=206.89 cores=0,2,4,6
/proc/18446/task/18466/stat : 18466 (pb_cplex) R 18445 18445 17869 0 -1 4202560 52151 0 0 0 20659 30 0 0 20 0 8 0 390959994 275165184 43126 33554432000 134512640 146736320 4289385024 4049593320 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18467] ppid=18445 vsize=268716 CPUtime=208.28 cores=0,2,4,6
/proc/18446/task/18467/stat : 18467 (pb_cplex) R 18445 18445 17869 0 -1 4202560 82719 0 0 0 20791 37 0 0 20 0 8 0 390959994 275165184 43126 33554432000 134512640 146736320 4289385024 4039106600 139044572 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18468] ppid=18445 vsize=268716 CPUtime=212.54 cores=0,2,4,6
/proc/18446/task/18468/stat : 18468 (pb_cplex) R 18445 18445 17869 0 -1 4202560 25139 0 0 0 21226 28 0 0 20 0 8 0 390959994 275165184 43126 33554432000 134512640 146736320 4289385024 4028620892 135854179 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1737.63
Current children cumulated vsize (KiB) 277864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+538.9 s]
/proc/loadavg: 13.54 10.65 7.00 17/193 18561
/proc/meminfo: memFree=26424636/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=271884 CPUtime=1800.05 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 493380 0 0 0 179743 262 0 0 20 0 8 0 390958199 278409216 43840 33554432000 134512640 146736320 4289385024 4289377880 136009208 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18446/statm: 67971 43840 969 2985 0 64905 0
[pid=18446/tid=18462] ppid=18445 vsize=271884 CPUtime=220.68 cores=0,2,4,6
/proc/18446/task/18462/stat : 18462 (pb_cplex) R 18445 18445 17869 0 -1 4202560 35863 0 0 0 22040 28 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4130471752 135525531 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18463] ppid=18445 vsize=271884 CPUtime=218.88 cores=0,2,4,6
/proc/18446/task/18463/stat : 18463 (pb_cplex) R 18445 18445 17869 0 -1 4202560 94788 0 0 0 21847 41 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4140956816 136008309 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18464] ppid=18445 vsize=271884 CPUtime=226.75 cores=0,2,4,6
/proc/18446/task/18464/stat : 18464 (pb_cplex) R 18445 18445 17869 0 -1 4202560 47879 0 0 0 22643 32 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4151443040 139023043 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18465] ppid=18445 vsize=271884 CPUtime=223.42 cores=0,2,4,6
/proc/18446/task/18465/stat : 18465 (pb_cplex) R 18445 18445 17869 0 -1 4202560 52836 0 0 0 22309 33 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4111204168 135525914 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18466] ppid=18445 vsize=271884 CPUtime=214.93 cores=0,2,4,6
/proc/18446/task/18466/stat : 18466 (pb_cplex) R 18445 18445 17869 0 -1 4202560 56008 0 0 0 21461 32 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4049592360 139044555 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18467] ppid=18445 vsize=271884 CPUtime=215.99 cores=0,2,4,6
/proc/18446/task/18467/stat : 18467 (pb_cplex) R 18445 18445 17869 0 -1 4202560 85507 0 0 0 21561 38 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4039105564 135855174 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18468] ppid=18445 vsize=271884 CPUtime=220.54 cores=0,2,4,6
/proc/18446/task/18468/stat : 18468 (pb_cplex) R 18445 18445 17869 0 -1 4202560 26849 0 0 0 22025 29 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4028621008 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 281032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+538.9 s]
/proc/loadavg: 13.54 10.65 7.00 17/193 18561
/proc/meminfo: memFree=26424636/32873648 swapFree=7388/7388
[pid=18445] ppid=18443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18445/stat : 18445 (run) S 18443 18445 17869 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390958199 9367552 270 33554432000 4194304 5064252 140733428289712 140733428288624 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18445/statm: 2287 270 229 213 0 72 0
[pid=18446] ppid=18445 vsize=271884 CPUtime=1800.05 cores=0,2,4,6
/proc/18446/stat : 18446 (pb_cplex) R 18445 18445 17869 0 -1 4202496 493380 0 0 0 179743 262 0 0 20 0 8 0 390958199 278409216 43840 33554432000 134512640 146736320 4289385024 4289377880 136009208 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18446/statm: 67971 43840 969 2985 0 64905 0
[pid=18446/tid=18462] ppid=18445 vsize=271884 CPUtime=220.68 cores=0,2,4,6
/proc/18446/task/18462/stat : 18462 (pb_cplex) R 18445 18445 17869 0 -1 4202560 35863 0 0 0 22040 28 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4130471752 135525531 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18463] ppid=18445 vsize=271884 CPUtime=218.88 cores=0,2,4,6
/proc/18446/task/18463/stat : 18463 (pb_cplex) R 18445 18445 17869 0 -1 4202560 94788 0 0 0 21847 41 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4140956816 136008309 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18464] ppid=18445 vsize=271884 CPUtime=226.75 cores=0,2,4,6
/proc/18446/task/18464/stat : 18464 (pb_cplex) R 18445 18445 17869 0 -1 4202560 47879 0 0 0 22643 32 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4151443040 139023043 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18465] ppid=18445 vsize=271884 CPUtime=223.42 cores=0,2,4,6
/proc/18446/task/18465/stat : 18465 (pb_cplex) R 18445 18445 17869 0 -1 4202560 52836 0 0 0 22309 33 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4111204168 135525914 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18446/tid=18466] ppid=18445 vsize=271884 CPUtime=214.93 cores=0,2,4,6
/proc/18446/task/18466/stat : 18466 (pb_cplex) R 18445 18445 17869 0 -1 4202560 56008 0 0 0 21461 32 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4049592360 139044555 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=18446/tid=18467] ppid=18445 vsize=271884 CPUtime=215.99 cores=0,2,4,6
/proc/18446/task/18467/stat : 18467 (pb_cplex) R 18445 18445 17869 0 -1 4202560 85507 0 0 0 21561 38 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4039105564 135855174 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18446/tid=18468] ppid=18445 vsize=271884 CPUtime=220.54 cores=0,2,4,6
/proc/18446/task/18468/stat : 18468 (pb_cplex) R 18445 18445 17869 0 -1 4202560 26849 0 0 0 22025 29 0 0 20 0 8 0 390959994 278409216 43840 33554432000 134512640 146736320 4289385024 4028621008 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 281032
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18445 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.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 538.939
CPU time (s): 1800.05
CPU user time (s): 1797.43
CPU system time (s): 2.62
CPU usage (%): 333.999
Max. virtual memory (cumulated for all children) (KiB): 293384
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.49377 second user time and 3.52246 second system time
The end