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-3733886-1339247487/watcher-3733886-1339247487 -o /tmp/evaluation-result-3733886-1339247487/solver-3733886-1339247487 -C 1800 -W 1900 -M 15500 run HOME/instance-3733886-1339247487.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: 12.89 10.96 5.93 10/184 20332
/proc/meminfo: memFree=31054716/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[startup+0.0695151 s]
/proc/loadavg: 12.89 10.96 5.93 10/184 20332
/proc/meminfo: memFree=31054716/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/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: 12.89 10.96 5.93 10/184 20332
/proc/meminfo: memFree=31054716/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30017 s]
/proc/loadavg: 12.89 10.96 5.93 10/184 20332
/proc/meminfo: memFree=31054716/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700195 s]
/proc/loadavg: 12.89 10.96 5.93 10/184 20332
/proc/meminfo: memFree=31054716/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 12.89 10.96 5.93 9/186 20334
/proc/meminfo: memFree=31037356/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=45428 CPUtime=1.49 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) R 20332 20332 20024 0 -1 4202496 14969 0 0 0 147 2 0 0 20 0 1 0 390874735 46518272 7329 33554432000 134512640 146736320 4294735632 4294731520 137085000 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20333/statm: 11357 7329 846 2985 0 8291 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54576
[startup+3.10029 s]
/proc/loadavg: 12.89 10.96 5.93 3/186 20334
/proc/meminfo: memFree=31027272/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=53788 CPUtime=3.09 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) R 20332 20332 20024 0 -1 4202496 32780 0 0 0 304 5 0 0 20 0 1 0 390874735 55078912 9274 33554432000 134512640 146736320 4294735632 4294731488 136730176 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20333/statm: 13447 9274 899 2985 0 10381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62936
[startup+6.30029 s]
/proc/loadavg: 12.58 10.92 5.95 10/186 20334
/proc/meminfo: memFree=31018460/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=55360 CPUtime=6.29 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) R 20332 20332 20024 0 -1 4202496 38558 0 0 0 623 6 0 0 20 0 1 0 390874735 56688640 9924 33554432000 134512640 146736320 4294735632 4294730088 136015579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20333/statm: 13840 9924 914 2985 0 10774 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64508
[startup+12.7004 s]
/proc/loadavg: 12.61 10.96 5.99 17/193 20341
/proc/meminfo: memFree=30792968/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=392468 CPUtime=27.14 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) R 20332 20332 20024 0 -1 4202496 125507 0 0 0 2685 29 0 0 20 0 8 0 390874735 401887232 66610 33554432000 134512640 146736320 4294735632 4294728464 136008044 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20333/statm: 98117 66610 948 2985 0 95051 0
[pid=20333/tid=20335] ppid=20332 vsize=392468 CPUtime=3.38 cores=1,3,5,7
/proc/20333/task/20335/stat : 20335 (pb_cplex) R 20332 20332 20024 0 -1 4202560 8264 0 0 0 335 3 0 0 20 0 8 0 390875474 401887232 66610 33554432000 134512640 146736320 4294735632 4067348688 136008443 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20336] ppid=20332 vsize=392468 CPUtime=1.73 cores=1,3,5,7
/proc/20333/task/20336/stat : 20336 (pb_cplex) R 20332 20332 20024 0 -1 4202560 7580 0 0 0 170 3 0 0 20 0 8 0 390875474 401887232 66610 33554432000 134512640 146736320 4294735632 4056862224 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20337] ppid=20332 vsize=392468 CPUtime=3.53 cores=1,3,5,7
/proc/20333/task/20337/stat : 20337 (pb_cplex) R 20332 20332 20024 0 -1 4202560 8027 0 0 0 350 3 0 0 20 0 8 0 390875474 401887232 66610 33554432000 134512640 146736320 4294735632 4046378032 135983229 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20338] ppid=20332 vsize=392468 CPUtime=1.79 cores=1,3,5,7
/proc/20333/task/20338/stat : 20338 (pb_cplex) R 20332 20332 20024 0 -1 4202560 8433 0 0 0 176 3 0 0 20 0 8 0 390875474 401887232 66610 33554432000 134512640 146736320 4294735632 4035889844 135450603 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20339] ppid=20332 vsize=392468 CPUtime=1.97 cores=1,3,5,7
/proc/20333/task/20339/stat : 20339 (pb_cplex) R 20332 20332 20024 0 -1 4202560 9010 0 0 0 194 3 0 0 20 0 8 0 390875474 401887232 66610 33554432000 134512640 146736320 4294735632 4025405512 139042980 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20340] ppid=20332 vsize=392468 CPUtime=3.07 cores=1,3,5,7
/proc/20333/task/20340/stat : 20340 (pb_cplex) R 20332 20332 20024 0 -1 4202560 6129 0 0 0 305 2 0 0 20 0 8 0 390875474 401887232 66610 33554432000 134512640 146736320 4294735632 4014919876 135844439 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20341] ppid=20332 vsize=392468 CPUtime=2.91 cores=1,3,5,7
/proc/20333/task/20341/stat : 20341 (pb_cplex) R 20332 20332 20024 0 -1 4202560 6776 0 0 0 289 2 0 0 20 0 8 0 390875474 401887232 66610 33554432000 134512640 146736320 4294735632 4004434128 136008017 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 27.14
Current children cumulated vsize (KiB) 401616
[startup+25.5005 s]
/proc/loadavg: 12.73 11.07 6.11 4/193 20341
/proc/meminfo: memFree=30778728/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=406296 CPUtime=75.15 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) S 20332 20332 20024 0 -1 4202496 135351 0 0 0 7482 33 0 0 20 0 8 0 390874735 416047104 69735 33554432000 134512640 146736320 4294735632 4294731984 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20333/statm: 101574 69735 948 2985 0 98508 0
[pid=20333/tid=20335] ppid=20332 vsize=406296 CPUtime=10.91 cores=1,3,5,7
/proc/20333/task/20335/stat : 20335 (pb_cplex) S 20332 20332 20024 0 -1 4202560 10530 0 0 0 1087 4 0 0 20 0 8 0 390875474 416047104 69735 33554432000 134512640 146736320 4294735632 4067352208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20336] ppid=20332 vsize=406296 CPUtime=9.68 cores=1,3,5,7
/proc/20333/task/20336/stat : 20336 (pb_cplex) S 20332 20332 20024 0 -1 4202560 8855 0 0 0 965 3 0 0 20 0 8 0 390875474 416047104 69735 33554432000 134512640 146736320 4294735632 4056866448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20337] ppid=20332 vsize=406296 CPUtime=12.19 cores=1,3,5,7
/proc/20333/task/20337/stat : 20337 (pb_cplex) R 20332 20332 20024 0 -1 4202560 9748 0 0 0 1215 4 0 0 20 0 8 0 390875474 416047104 69735 33554432000 134512640 146736320 4294735632 4046377168 136008065 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20338] ppid=20332 vsize=406296 CPUtime=4.38 cores=1,3,5,7
/proc/20333/task/20338/stat : 20338 (pb_cplex) S 20332 20332 20024 0 -1 4202560 9685 0 0 0 435 3 0 0 20 0 8 0 390875474 416047104 69735 33554432000 134512640 146736320 4294735632 4035894928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20339] ppid=20332 vsize=406296 CPUtime=3.74 cores=1,3,5,7
/proc/20333/task/20339/stat : 20339 (pb_cplex) S 20332 20332 20024 0 -1 4202560 10236 0 0 0 371 3 0 0 20 0 8 0 390875474 416047104 69735 33554432000 134512640 146736320 4294735632 4025409168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20340] ppid=20332 vsize=406296 CPUtime=10.32 cores=1,3,5,7
/proc/20333/task/20340/stat : 20340 (pb_cplex) S 20332 20332 20024 0 -1 4202560 6712 0 0 0 1028 4 0 0 20 0 8 0 390875474 416047104 69735 33554432000 134512640 146736320 4294735632 4014923408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20341] ppid=20332 vsize=406296 CPUtime=8.69 cores=1,3,5,7
/proc/20333/task/20341/stat : 20341 (pb_cplex) S 20332 20332 20024 0 -1 4202560 8042 0 0 0 866 3 0 0 20 0 8 0 390875474 416047104 69735 33554432000 134512640 146736320 4294735632 4004437648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 75.15
Current children cumulated vsize (KiB) 415444
[startup+51.1006 s]
/proc/loadavg: 12.83 11.24 6.29 11/193 20341
/proc/meminfo: memFree=30761784/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=426496 CPUtime=162.05 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) S 20332 20332 20024 0 -1 4202496 181542 0 0 0 16154 51 0 0 20 0 8 0 390874735 436731904 73683 33554432000 134512640 146736320 4294735632 4294731984 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 106624 73683 948 2985 0 103558 0
[pid=20333/tid=20335] ppid=20332 vsize=426496 CPUtime=19.82 cores=1,3,5,7
/proc/20333/task/20335/stat : 20335 (pb_cplex) S 20332 20332 20024 0 -1 4202560 17276 0 0 0 1976 6 0 0 20 0 8 0 390875474 436731904 73683 33554432000 134512640 146736320 4294735632 4067352208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20336] ppid=20332 vsize=426496 CPUtime=14.77 cores=1,3,5,7
/proc/20333/task/20336/stat : 20336 (pb_cplex) S 20332 20332 20024 0 -1 4202560 11463 0 0 0 1472 5 0 0 20 0 8 0 390875474 436731904 73683 33554432000 134512640 146736320 4294735632 4056866448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20337] ppid=20332 vsize=426496 CPUtime=30.33 cores=1,3,5,7
/proc/20333/task/20337/stat : 20337 (pb_cplex) R 20332 20332 20024 0 -1 4202560 12378 0 0 0 3027 6 0 0 20 0 8 0 390875474 436731904 73683 33554432000 134512640 146736320 4294735632 4046377168 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20338] ppid=20332 vsize=426496 CPUtime=20.24 cores=1,3,5,7
/proc/20333/task/20338/stat : 20338 (pb_cplex) R 20332 20332 20024 0 -1 4202560 18332 0 0 0 2018 6 0 0 20 0 8 0 390875474 436731904 73683 33554432000 134512640 146736320 4294735632 4035890364 135526881 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20339] ppid=20332 vsize=426496 CPUtime=13.86 cores=1,3,5,7
/proc/20333/task/20339/stat : 20339 (pb_cplex) S 20332 20332 20024 0 -1 4202560 18976 0 0 0 1379 7 0 0 20 0 8 0 390875474 436731904 73683 33554432000 134512640 146736320 4294735632 4025409168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20340] ppid=20332 vsize=426496 CPUtime=14.74 cores=1,3,5,7
/proc/20333/task/20340/stat : 20340 (pb_cplex) S 20332 20332 20024 0 -1 4202560 12351 0 0 0 1469 5 0 0 20 0 8 0 390875474 436731904 73683 33554432000 134512640 146736320 4294735632 4014923408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20341] ppid=20332 vsize=426496 CPUtime=19.26 cores=1,3,5,7
/proc/20333/task/20341/stat : 20341 (pb_cplex) S 20332 20332 20024 0 -1 4202560 10786 0 0 0 1922 4 0 0 20 0 8 0 390875474 436731904 73683 33554432000 134512640 146736320 4294735632 4004437648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 435644
[startup+102.301 s]
/proc/loadavg: 12.21 11.40 6.61 17/193 20341
/proc/meminfo: memFree=30728376/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=448224 CPUtime=331.61 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) R 20332 20332 20024 0 -1 4202496 279653 0 0 0 33071 90 0 0 20 0 8 0 390874735 458981376 80290 33554432000 134512640 146736320 4294735632 4294728464 136008065 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20333/statm: 112056 80290 948 2985 0 108990 0
[pid=20333/tid=20335] ppid=20332 vsize=448224 CPUtime=35.15 cores=1,3,5,7
/proc/20333/task/20335/stat : 20335 (pb_cplex) R 20332 20332 20024 0 -1 4202560 25858 0 0 0 3505 10 0 0 20 0 8 0 390875474 458981376 80290 33554432000 134512640 146736320 4294735632 4067348688 136008039 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20336] ppid=20332 vsize=448224 CPUtime=37.97 cores=1,3,5,7
/proc/20333/task/20336/stat : 20336 (pb_cplex) R 20332 20332 20024 0 -1 4202560 24398 0 0 0 3786 11 0 0 20 0 8 0 390875474 458981376 80290 33554432000 134512640 146736320 4294735632 4056862928 136008017 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20337] ppid=20332 vsize=448224 CPUtime=51.01 cores=1,3,5,7
/proc/20333/task/20337/stat : 20337 (pb_cplex) R 20332 20332 20024 0 -1 4202560 19257 0 0 0 5092 9 0 0 20 0 8 0 390875474 458981376 80290 33554432000 134512640 146736320 4294735632 4046377236 136004854 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20338] ppid=20332 vsize=448224 CPUtime=45.91 cores=1,3,5,7
/proc/20333/task/20338/stat : 20338 (pb_cplex) R 20332 20332 20024 0 -1 4202560 31759 0 0 0 4581 10 0 0 20 0 8 0 390875474 458981376 80290 33554432000 134512640 146736320 4294735632 4035891408 136008234 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20339] ppid=20332 vsize=448224 CPUtime=30.22 cores=1,3,5,7
/proc/20333/task/20339/stat : 20339 (pb_cplex) R 20332 20332 20024 0 -1 4202560 30852 0 0 0 3010 12 0 0 20 0 8 0 390875474 458981376 80290 33554432000 134512640 146736320 4294735632 4025406032 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20340] ppid=20332 vsize=448224 CPUtime=43.91 cores=1,3,5,7
/proc/20333/task/20340/stat : 20340 (pb_cplex) R 20332 20332 20024 0 -1 4202560 30233 0 0 0 4379 12 0 0 20 0 8 0 390875474 458981376 80290 33554432000 134512640 146736320 4294735632 4014918828 135454096 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20341] ppid=20332 vsize=448224 CPUtime=38.04 cores=1,3,5,7
################
# More data... #
################
/proc/20333/statm: 95032 63798 990 2985 0 91966 0
[pid=20333/tid=20483] ppid=20332 vsize=380128 CPUtime=41.23 cores=1,3,5,7
/proc/20333/task/20483/stat : 20483 (pb_cplex) R 20332 20332 20024 0 -1 4202560 30001 0 0 0 4113 10 0 0 20 0 8 0 390898802 389251072 63798 33554432000 134512640 146736320 4294735632 4121940240 136005142 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20484] ppid=20332 vsize=380128 CPUtime=53.05 cores=1,3,5,7
/proc/20333/task/20484/stat : 20484 (pb_cplex) R 20332 20332 20024 0 -1 4202560 21841 0 0 0 5299 6 0 0 20 0 8 0 390898802 389251072 63798 33554432000 134512640 146736320 4294735632 4132426076 139023058 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20485] ppid=20332 vsize=380128 CPUtime=39.52 cores=1,3,5,7
/proc/20333/task/20485/stat : 20485 (pb_cplex) R 20332 20332 20024 0 -1 4202560 43700 0 0 0 3939 13 0 0 20 0 8 0 390898802 389251072 63798 33554432000 134512640 146736320 4294735632 4142910608 136008339 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20486] ppid=20332 vsize=380128 CPUtime=43.59 cores=1,3,5,7
/proc/20333/task/20486/stat : 20486 (pb_cplex) R 20332 20332 20024 0 -1 4202560 29041 0 0 0 4350 9 0 0 20 0 8 0 390898802 389251072 63798 33554432000 134512640 146736320 4294735632 4035890320 136008438 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20487] ppid=20332 vsize=380128 CPUtime=37.85 cores=1,3,5,7
/proc/20333/task/20487/stat : 20487 (pb_cplex) R 20332 20332 20024 0 -1 4202560 26715 0 0 0 3776 9 0 0 20 0 8 0 390898802 389251072 63798 33554432000 134512640 146736320 4294735632 4005626312 136001985 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20488] ppid=20332 vsize=380128 CPUtime=46.54 cores=1,3,5,7
/proc/20333/task/20488/stat : 20488 (pb_cplex) R 20332 20332 20024 0 -1 4202560 60287 0 0 0 4637 17 0 0 20 0 8 0 390898802 389251072 63798 33554432000 134512640 146736320 4294735632 3965706352 136384895 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20489] ppid=20332 vsize=380128 CPUtime=50.24 cores=1,3,5,7
/proc/20333/task/20489/stat : 20489 (pb_cplex) R 20332 20332 20024 0 -1 4202560 13875 0 0 0 5018 6 0 0 20 0 8 0 390898803 389251072 63798 33554432000 134512640 146736320 4294735632 3955220736 136400586 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1111.17
Current children cumulated vsize (KiB) 389276
[startup+402.3 s]
/proc/loadavg: 7.72 9.41 7.14 11/193 20490
/proc/meminfo: memFree=30827048/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=362660 CPUtime=1321.26 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) R 20332 20332 20024 0 -1 4202496 1105230 0 0 0 131763 363 0 0 20 0 8 0 390874735 371363840 63853 33554432000 134512640 146736320 4294735632 4294728848 136403116 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20333/statm: 90665 63853 991 2985 0 87599 0
[pid=20333/tid=20483] ppid=20332 vsize=362660 CPUtime=63.1 cores=1,3,5,7
/proc/20333/task/20483/stat : 20483 (pb_cplex) R 20332 20332 20024 0 -1 4202560 79174 0 0 0 6286 24 0 0 20 0 8 0 390898802 371363840 63853 33554432000 134512640 146736320 4294735632 4121939784 135526127 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20484] ppid=20332 vsize=362660 CPUtime=82.24 cores=1,3,5,7
/proc/20333/task/20484/stat : 20484 (pb_cplex) R 20332 20332 20024 0 -1 4202560 67481 0 0 0 8203 21 0 0 20 0 8 0 390898802 371363840 63853 33554432000 134512640 146736320 4294735632 4132426184 136002064 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20485] ppid=20332 vsize=362660 CPUtime=68.27 cores=1,3,5,7
/proc/20333/task/20485/stat : 20485 (pb_cplex) R 20332 20332 20024 0 -1 4202560 91990 0 0 0 6799 28 0 0 20 0 8 0 390898802 371363840 63853 33554432000 134512640 146736320 4294735632 4142911944 136001981 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20486] ppid=20332 vsize=362660 CPUtime=71.11 cores=1,3,5,7
/proc/20333/task/20486/stat : 20486 (pb_cplex) R 20332 20332 20024 0 -1 4202560 61621 0 0 0 7092 19 0 0 20 0 8 0 390898802 371363840 63853 33554432000 134512640 146736320 4294735632 4035891140 135523438 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20487] ppid=20332 vsize=362660 CPUtime=64 cores=1,3,5,7
/proc/20333/task/20487/stat : 20487 (pb_cplex) R 20332 20332 20024 0 -1 4202560 48144 0 0 0 6384 16 0 0 20 0 8 0 390898802 371363840 63853 33554432000 134512640 146736320 4294735632 4005625360 136403117 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20488] ppid=20332 vsize=362660 CPUtime=73.95 cores=1,3,5,7
/proc/20333/task/20488/stat : 20488 (pb_cplex) R 20332 20332 20024 0 -1 4202560 120453 0 0 0 7364 31 0 0 20 0 8 0 390898802 371363840 63853 33554432000 134512640 146736320 4294735632 3965706440 136388550 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20489] ppid=20332 vsize=362660 CPUtime=77.3 cores=1,3,5,7
/proc/20333/task/20489/stat : 20489 (pb_cplex) R 20332 20332 20024 0 -1 4202560 65832 0 0 0 7710 20 0 0 20 0 8 0 390898803 371363840 63853 33554432000 134512640 146736320 4294735632 3955220688 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1321.26
Current children cumulated vsize (KiB) 371808
[startup+462.3 s]
/proc/loadavg: 8.66 9.37 7.27 10/193 20490
/proc/meminfo: memFree=30805360/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=372288 CPUtime=1552.51 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) R 20332 20332 20024 0 -1 4202496 1343655 0 0 0 154824 427 0 0 20 0 8 0 390874735 381222912 65949 33554432000 134512640 146736320 4294735632 4294728464 136008053 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20333/statm: 93072 65949 991 2985 0 90006 0
[pid=20333/tid=20483] ppid=20332 vsize=372288 CPUtime=90.86 cores=1,3,5,7
/proc/20333/task/20483/stat : 20483 (pb_cplex) R 20332 20332 20024 0 -1 4202560 85825 0 0 0 9058 28 0 0 20 0 8 0 390898802 381222912 65949 33554432000 134512640 146736320 4294735632 4121940176 136008039 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20484] ppid=20332 vsize=372288 CPUtime=113.63 cores=1,3,5,7
/proc/20333/task/20484/stat : 20484 (pb_cplex) R 20332 20332 20024 0 -1 4202560 120784 0 0 0 11328 35 0 0 20 0 8 0 390898802 381222912 65949 33554432000 134512640 146736320 4294735632 4132425936 136008042 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20485] ppid=20332 vsize=372288 CPUtime=98.65 cores=1,3,5,7
/proc/20333/task/20485/stat : 20485 (pb_cplex) R 20332 20332 20024 0 -1 4202560 144011 0 0 0 9825 40 0 0 20 0 8 0 390898802 381222912 65949 33554432000 134512640 146736320 4294735632 4142912080 136403114 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20486] ppid=20332 vsize=372288 CPUtime=97.62 cores=1,3,5,7
/proc/20333/task/20486/stat : 20486 (pb_cplex) R 20332 20332 20024 0 -1 4202560 77936 0 0 0 9738 24 0 0 20 0 8 0 390898802 381222912 65949 33554432000 134512640 146736320 4294735632 4035891408 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20487] ppid=20332 vsize=372288 CPUtime=90.26 cores=1,3,5,7
/proc/20333/task/20487/stat : 20487 (pb_cplex) R 20332 20332 20024 0 -1 4202560 75882 0 0 0 9002 24 0 0 20 0 8 0 390898802 381222912 65949 33554432000 134512640 146736320 4294735632 4005625856 136019030 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20488] ppid=20332 vsize=372288 CPUtime=105.04 cores=1,3,5,7
/proc/20333/task/20488/stat : 20488 (pb_cplex) R 20332 20332 20024 0 -1 4202560 169675 0 0 0 10460 44 0 0 20 0 8 0 390898802 381222912 65949 33554432000 134512640 146736320 4294735632 3965706448 136008165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20489] ppid=20332 vsize=372288 CPUtime=105.66 cores=1,3,5,7
/proc/20333/task/20489/stat : 20489 (pb_cplex) R 20332 20332 20024 0 -1 4202560 73749 0 0 0 10542 24 0 0 20 0 8 0 390898803 381222912 65949 33554432000 134512640 146736320 4294735632 3955220688 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1552.51
Current children cumulated vsize (KiB) 381436
[startup+522.3 s]
/proc/loadavg: 9.36 9.46 7.43 8/194 20528
/proc/meminfo: memFree=30932964/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=384036 CPUtime=1778.03 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) R 20332 20332 20024 0 -1 4202496 1494840 0 0 0 177323 480 0 0 20 0 8 0 390874735 393252864 68614 33554432000 134512640 146736320 4294735632 4294727036 135526884 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 96009 68614 991 2985 0 92943 0
[pid=20333/tid=20483] ppid=20332 vsize=384036 CPUtime=118.76 cores=1,3,5,7
/proc/20333/task/20483/stat : 20483 (pb_cplex) R 20332 20332 20024 0 -1 4202560 97276 0 0 0 11844 32 0 0 20 0 8 0 390898802 393252864 68614 33554432000 134512640 146736320 4294735632 4121940176 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20484] ppid=20332 vsize=384036 CPUtime=138.69 cores=1,3,5,7
/proc/20333/task/20484/stat : 20484 (pb_cplex) S 20332 20332 20024 0 -1 4202560 141059 0 0 0 13826 43 0 0 20 0 8 0 390898802 393252864 68614 33554432000 134512640 146736320 4294735632 4132429456 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20485] ppid=20332 vsize=384036 CPUtime=127.17 cores=1,3,5,7
/proc/20333/task/20485/stat : 20485 (pb_cplex) S 20332 20332 20024 0 -1 4202560 155790 0 0 0 12671 46 0 0 20 0 8 0 390898802 393252864 68614 33554432000 134512640 146736320 4294735632 4142915216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20486] ppid=20332 vsize=384036 CPUtime=123.64 cores=1,3,5,7
/proc/20333/task/20486/stat : 20486 (pb_cplex) S 20332 20332 20024 0 -1 4202560 91637 0 0 0 12335 29 0 0 20 0 8 0 390898802 393252864 68614 33554432000 134512640 146736320 4294735632 4035894928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20487] ppid=20332 vsize=384036 CPUtime=117 cores=1,3,5,7
/proc/20333/task/20487/stat : 20487 (pb_cplex) S 20332 20332 20024 0 -1 4202560 103993 0 0 0 11669 31 0 0 20 0 8 0 390898802 393252864 68614 33554432000 134512640 146736320 4294735632 4005629584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20488] ppid=20332 vsize=384036 CPUtime=134.25 cores=1,3,5,7
/proc/20333/task/20488/stat : 20488 (pb_cplex) S 20332 20332 20024 0 -1 4202560 196257 0 0 0 13373 52 0 0 20 0 8 0 390898802 393252864 68614 33554432000 134512640 146736320 4294735632 3965709968 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20489] ppid=20332 vsize=384036 CPUtime=140.62 cores=1,3,5,7
/proc/20333/task/20489/stat : 20489 (pb_cplex) R 20332 20332 20024 0 -1 4202560 91925 0 0 0 14029 33 0 0 20 0 8 0 390898803 393252864 68614 33554432000 134512640 146736320 4294735632 3955220688 136008303 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1778.03
Current children cumulated vsize (KiB) 393184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+529.8 s]
/proc/loadavg: 8.86 9.35 7.41 10/194 20528
/proc/meminfo: memFree=30927392/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=384584 CPUtime=1800.11 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) R 20332 20332 20024 0 -1 4202496 1515022 0 0 0 179525 486 0 0 20 0 8 0 390874735 393814016 69036 33554432000 134512640 146736320 4294735632 4294728464 136008042 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 96146 69036 991 2985 0 93080 0
[pid=20333/tid=20483] ppid=20332 vsize=384584 CPUtime=122.94 cores=1,3,5,7
/proc/20333/task/20483/stat : 20483 (pb_cplex) R 20332 20332 20024 0 -1 4202560 106081 0 0 0 12260 34 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 4121940176 136008299 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20484] ppid=20332 vsize=384584 CPUtime=140.71 cores=1,3,5,7
/proc/20333/task/20484/stat : 20484 (pb_cplex) R 20332 20332 20024 0 -1 4202560 141100 0 0 0 14028 43 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 4132425936 136008069 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20485] ppid=20332 vsize=384584 CPUtime=129.15 cores=1,3,5,7
/proc/20333/task/20485/stat : 20485 (pb_cplex) R 20332 20332 20024 0 -1 4202560 155921 0 0 0 12869 46 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 4142911944 136001936 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20486] ppid=20332 vsize=384584 CPUtime=125.45 cores=1,3,5,7
/proc/20333/task/20486/stat : 20486 (pb_cplex) R 20332 20332 20024 0 -1 4202560 91727 0 0 0 12515 30 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 4035891408 136008245 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20487] ppid=20332 vsize=384584 CPUtime=119.02 cores=1,3,5,7
/proc/20333/task/20487/stat : 20487 (pb_cplex) R 20332 20332 20024 0 -1 4202560 108173 0 0 0 11869 33 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 4005625928 139042883 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20488] ppid=20332 vsize=384584 CPUtime=136.32 cores=1,3,5,7
/proc/20333/task/20488/stat : 20488 (pb_cplex) R 20332 20332 20024 0 -1 4202560 197998 0 0 0 13579 53 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 3965706312 139042910 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20489] ppid=20332 vsize=384584 CPUtime=146.2 cores=1,3,5,7
/proc/20333/task/20489/stat : 20489 (pb_cplex) R 20332 20332 20024 0 -1 4202560 93008 0 0 0 14587 33 0 0 20 0 8 0 390898803 393814016 69036 33554432000 134512640 146736320 4294735632 3955220688 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 393732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+529.8 s]
/proc/loadavg: 8.86 9.35 7.41 10/194 20528
/proc/meminfo: memFree=30927392/32873648 swapFree=7376/7376
[pid=20332] ppid=20330 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20332/stat : 20332 (run) S 20330 20332 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390874735 9367552 270 33554432000 4194304 5064252 140734749777552 140734749776464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20332/statm: 2287 270 229 213 0 72 0
[pid=20333] ppid=20332 vsize=384584 CPUtime=1800.11 cores=1,3,5,7
/proc/20333/stat : 20333 (pb_cplex) R 20332 20332 20024 0 -1 4202496 1515022 0 0 0 179525 486 0 0 20 0 8 0 390874735 393814016 69036 33554432000 134512640 146736320 4294735632 4294728464 136008042 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 96146 69036 991 2985 0 93080 0
[pid=20333/tid=20483] ppid=20332 vsize=384584 CPUtime=122.94 cores=1,3,5,7
/proc/20333/task/20483/stat : 20483 (pb_cplex) R 20332 20332 20024 0 -1 4202560 106081 0 0 0 12260 34 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 4121940176 136008299 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20484] ppid=20332 vsize=384584 CPUtime=140.71 cores=1,3,5,7
/proc/20333/task/20484/stat : 20484 (pb_cplex) R 20332 20332 20024 0 -1 4202560 141100 0 0 0 14028 43 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 4132425936 136008069 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20485] ppid=20332 vsize=384584 CPUtime=129.15 cores=1,3,5,7
/proc/20333/task/20485/stat : 20485 (pb_cplex) R 20332 20332 20024 0 -1 4202560 155921 0 0 0 12869 46 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 4142911944 136001936 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20333/tid=20486] ppid=20332 vsize=384584 CPUtime=125.45 cores=1,3,5,7
/proc/20333/task/20486/stat : 20486 (pb_cplex) R 20332 20332 20024 0 -1 4202560 91727 0 0 0 12515 30 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 4035891408 136008245 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=20333/tid=20487] ppid=20332 vsize=384584 CPUtime=119.02 cores=1,3,5,7
/proc/20333/task/20487/stat : 20487 (pb_cplex) R 20332 20332 20024 0 -1 4202560 108173 0 0 0 11869 33 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 4005625928 139042883 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20333/tid=20488] ppid=20332 vsize=384584 CPUtime=136.32 cores=1,3,5,7
/proc/20333/task/20488/stat : 20488 (pb_cplex) R 20332 20332 20024 0 -1 4202560 197998 0 0 0 13579 53 0 0 20 0 8 0 390898802 393814016 69036 33554432000 134512640 146736320 4294735632 3965706312 139042910 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20333/tid=20489] ppid=20332 vsize=384584 CPUtime=146.2 cores=1,3,5,7
/proc/20333/task/20489/stat : 20489 (pb_cplex) R 20332 20332 20024 0 -1 4202560 93008 0 0 0 14587 33 0 0 20 0 8 0 390898803 393814016 69036 33554432000 134512640 146736320 4294735632 3955220688 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 393732
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20332 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=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 529.817
CPU time (s): 1800.11
CPU user time (s): 1795.25
CPU system time (s): 4.86
CPU usage (%): 339.761
Max. virtual memory (cumulated for all children) (KiB): 504072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
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.2898 second user time and 3.89641 second system time
The end