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-3741251-1339250008/watcher-3741251-1339250008 -o /tmp/evaluation-result-3741251-1339250008/solver-3741251-1339250008 -C 1800 -W 1900 -M 15500 run HOME/instance-3741251-1339250008.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: 1.92 2.76 3.87 3/175 17479
/proc/meminfo: memFree=28748616/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[startup+0.0878781 s]
/proc/loadavg: 1.92 2.76 3.87 3/175 17479
/proc/meminfo: memFree=28748616/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100205 s]
/proc/loadavg: 1.92 2.76 3.87 3/175 17479
/proc/meminfo: memFree=28748616/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300178 s]
/proc/loadavg: 1.92 2.76 3.87 3/175 17479
/proc/meminfo: memFree=28748616/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700173 s]
/proc/loadavg: 1.92 2.76 3.87 3/175 17479
/proc/meminfo: memFree=28748616/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 1.92 2.76 3.87 3/177 17481
/proc/meminfo: memFree=28740748/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=20800 CPUtime=1.48 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 4641 0 0 0 148 0 0 0 20 0 1 0 391126260 21299200 2849 33554432000 134512640 146736320 4291721232 4291715836 138666342 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/17480/statm: 5200 2849 919 2985 0 2134 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29948
[startup+3.10035 s]
/proc/loadavg: 1.92 2.76 3.87 5/184 17488
/proc/meminfo: memFree=28722960/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=118032 CPUtime=6.4 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 9473 0 0 0 637 3 0 0 20 0 8 0 391126260 120864768 7529 33554432000 134512640 146736320 4291721232 4291714856 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17480/statm: 29508 7529 954 2985 0 26442 0
[pid=17480/tid=17482] ppid=17479 vsize=118032 CPUtime=0.39 cores=1,3,5,7
/proc/17480/task/17482/stat : 17482 (pb_cplex) R 17479 17479 16516 0 -1 4202560 342 0 0 0 39 0 0 0 20 0 8 0 391126414 120864768 7529 33554432000 134512640 146736320 4291721232 4150952152 136009197 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17483] ppid=17479 vsize=118032 CPUtime=0.82 cores=1,3,5,7
/proc/17480/task/17483/stat : 17483 (pb_cplex) R 17479 17479 16516 0 -1 4202560 311 0 0 0 82 0 0 0 20 0 8 0 391126414 120864768 7529 33554432000 134512640 146736320 4291721232 4140466384 136008168 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17484] ppid=17479 vsize=118032 CPUtime=0.59 cores=1,3,5,7
/proc/17480/task/17484/stat : 17484 (pb_cplex) R 17479 17479 16516 0 -1 4202560 342 0 0 0 59 0 0 0 20 0 8 0 391126414 120864768 7529 33554432000 134512640 146736320 4291721232 4129980480 136382629 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17485] ppid=17479 vsize=118032 CPUtime=0.53 cores=1,3,5,7
/proc/17480/task/17485/stat : 17485 (pb_cplex) R 17479 17479 16516 0 -1 4202560 330 0 0 0 53 0 0 0 20 0 8 0 391126414 120864768 7529 33554432000 134512640 146736320 4291721232 4119493820 135526877 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17486] ppid=17479 vsize=118032 CPUtime=0.77 cores=1,3,5,7
/proc/17480/task/17486/stat : 17486 (pb_cplex) R 17479 17479 16516 0 -1 4202560 340 0 0 0 77 0 0 0 20 0 8 0 391126414 120864768 7529 33554432000 134512640 146736320 4291721232 4109008964 136385179 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17487] ppid=17479 vsize=118032 CPUtime=0.37 cores=1,3,5,7
/proc/17480/task/17487/stat : 17487 (pb_cplex) R 17479 17479 16516 0 -1 4202560 279 0 0 0 37 0 0 0 20 0 8 0 391126414 120864768 7529 33554432000 134512640 146736320 4291721232 4098522284 135454118 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17488] ppid=17479 vsize=118032 CPUtime=0.51 cores=1,3,5,7
/proc/17480/task/17488/stat : 17488 (pb_cplex) R 17479 17479 16516 0 -1 4202560 295 0 0 0 51 0 0 0 20 0 8 0 391126414 120864768 7529 33554432000 134512640 146736320 4291721232 4088037592 136009199 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 127180
[startup+6.30024 s]
/proc/loadavg: 2.17 2.80 3.88 3/177 17488
/proc/meminfo: memFree=28728008/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=81616 CPUtime=14.35 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 9953 0 0 0 1426 9 0 0 20 0 1 0 391126260 83574784 6256 33554432000 134512640 146736320 4291721232 4291713836 135456843 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/17480/statm: 20404 6256 957 2985 0 17338 0
Current children cumulated CPU time (s) 14.35
Current children cumulated vsize (KiB) 90764
[startup+12.7004 s]
/proc/loadavg: 2.63 2.89 3.90 4/184 17502
/proc/meminfo: memFree=28689612/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=155664 CPUtime=30.64 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 26279 0 0 0 3048 16 0 0 20 0 8 0 391126260 159399936 15594 33554432000 134512640 146736320 4291721232 4291714856 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17480/statm: 38916 15594 965 2985 0 35850 0
[pid=17480/tid=17496] ppid=17479 vsize=155664 CPUtime=0.5 cores=1,3,5,7
/proc/17480/task/17496/stat : 17496 (pb_cplex) S 17479 17479 16516 0 -1 4202560 446 0 0 0 50 0 0 0 20 0 8 0 391126936 159399936 15594 33554432000 134512640 146736320 4291721232 4130762384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17497] ppid=17479 vsize=155664 CPUtime=1.71 cores=1,3,5,7
/proc/17480/task/17497/stat : 17497 (pb_cplex) S 17479 17479 16516 0 -1 4202560 1015 0 0 0 171 0 0 0 20 0 8 0 391126936 159399936 15594 33554432000 134512640 146736320 4291721232 4141248144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17498] ppid=17479 vsize=155664 CPUtime=1.16 cores=1,3,5,7
/proc/17480/task/17498/stat : 17498 (pb_cplex) S 17479 17479 16516 0 -1 4202560 611 0 0 0 116 0 0 0 20 0 8 0 391126936 159399936 15594 33554432000 134512640 146736320 4291721232 4151733904 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17499] ppid=17479 vsize=155664 CPUtime=1.05 cores=1,3,5,7
/proc/17480/task/17499/stat : 17499 (pb_cplex) S 17479 17479 16516 0 -1 4202560 16 0 0 0 105 0 0 0 20 0 8 0 391126936 159399936 15594 33554432000 134512640 146736320 4291721232 4119498384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17500] ppid=17479 vsize=155664 CPUtime=2.97 cores=1,3,5,7
/proc/17480/task/17500/stat : 17500 (pb_cplex) S 17479 17479 16516 0 -1 4202560 429 0 0 0 297 0 0 0 20 0 8 0 391126936 159399936 15594 33554432000 134512640 146736320 4291721232 4065472144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17501] ppid=17479 vsize=155664 CPUtime=1.84 cores=1,3,5,7
/proc/17480/task/17501/stat : 17501 (pb_cplex) S 17479 17479 16516 0 -1 4202560 725 0 0 0 184 0 0 0 20 0 8 0 391126936 159399936 15594 33554432000 134512640 146736320 4291721232 4054986384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17502] ppid=17479 vsize=155664 CPUtime=1.46 cores=1,3,5,7
/proc/17480/task/17502/stat : 17502 (pb_cplex) S 17479 17479 16516 0 -1 4202560 1461 0 0 0 146 0 0 0 20 0 8 0 391126936 159399936 15594 33554432000 134512640 146736320 4291721232 4044500624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 30.64
Current children cumulated vsize (KiB) 164812
[startup+25.5064 s]
/proc/loadavg: 3.20 2.99 3.92 10/184 17502
/proc/meminfo: memFree=28689260/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=156688 CPUtime=64.36 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 29237 0 0 0 6415 21 0 0 20 0 8 0 391126260 160448512 15836 33554432000 134512640 146736320 4291721232 4291712824 136475808 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17480/statm: 39172 15836 965 2985 0 36106 0
[pid=17480/tid=17496] ppid=17479 vsize=156688 CPUtime=3.78 cores=1,3,5,7
/proc/17480/task/17496/stat : 17496 (pb_cplex) R 17479 17479 16516 0 -1 4202560 578 0 0 0 378 0 0 0 20 0 8 0 391126936 160448512 15836 33554432000 134512640 146736320 4291721232 4130757832 135468255 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17497] ppid=17479 vsize=156688 CPUtime=5.55 cores=1,3,5,7
/proc/17480/task/17497/stat : 17497 (pb_cplex) R 17479 17479 16516 0 -1 4202560 1172 0 0 0 554 1 0 0 20 0 8 0 391126936 160448512 15836 33554432000 134512640 146736320 4291721232 4141244488 136474955 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17498] ppid=17479 vsize=156688 CPUtime=4.42 cores=1,3,5,7
/proc/17480/task/17498/stat : 17498 (pb_cplex) R 17479 17479 16516 0 -1 4202560 805 0 0 0 442 0 0 0 20 0 8 0 391126936 160448512 15836 33554432000 134512640 146736320 4291721232 4151730384 136008178 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17499] ppid=17479 vsize=156688 CPUtime=4.54 cores=1,3,5,7
/proc/17480/task/17499/stat : 17499 (pb_cplex) R 17479 17479 16516 0 -1 4202560 29 0 0 0 454 0 0 0 20 0 8 0 391126936 160448512 15836 33554432000 134512640 146736320 4291721232 4119493624 136475780 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17500] ppid=17479 vsize=156688 CPUtime=6.7 cores=1,3,5,7
/proc/17480/task/17500/stat : 17500 (pb_cplex) R 17479 17479 16516 0 -1 4202560 652 0 0 0 670 0 0 0 20 0 8 0 391126936 160448512 15836 33554432000 134512640 146736320 4291721232 4065467384 136475859 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17501] ppid=17479 vsize=156688 CPUtime=5.67 cores=1,3,5,7
/proc/17480/task/17501/stat : 17501 (pb_cplex) R 17479 17479 16516 0 -1 4202560 832 0 0 0 566 1 0 0 20 0 8 0 391126936 160448512 15836 33554432000 134512640 146736320 4291721232 4054983112 136000326 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17502] ppid=17479 vsize=156688 CPUtime=5.08 cores=1,3,5,7
/proc/17480/task/17502/stat : 17502 (pb_cplex) R 17479 17479 16516 0 -1 4202560 3516 0 0 0 508 0 0 0 20 0 8 0 391126936 160448512 15836 33554432000 134512640 146736320 4291721232 4044497340 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 64.36
Current children cumulated vsize (KiB) 165836
[startup+51.1003 s]
/proc/loadavg: 4.38 3.28 3.99 3/184 17502
/proc/meminfo: memFree=28688520/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=156688 CPUtime=160.82 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 42925 0 0 0 16049 33 0 0 20 0 8 0 391126260 160448512 16011 33554432000 134512640 146736320 4291721232 4291714132 136003486 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17480/statm: 39172 16011 986 2985 0 36106 0
[pid=17480/tid=17496] ppid=17479 vsize=156688 CPUtime=15.64 cores=1,3,5,7
/proc/17480/task/17496/stat : 17496 (pb_cplex) R 17479 17479 16516 0 -1 4202560 2559 0 0 0 1561 3 0 0 20 0 8 0 391126936 160448512 16011 33554432000 134512640 146736320 4291721232 4130757004 135465358 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17497] ppid=17479 vsize=156688 CPUtime=17.84 cores=1,3,5,7
/proc/17480/task/17497/stat : 17497 (pb_cplex) R 17479 17479 16516 0 -1 4202560 2921 0 0 0 1782 2 0 0 20 0 8 0 391126936 160448512 16011 33554432000 134512640 146736320 4291721232 4141245416 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17498] ppid=17479 vsize=156688 CPUtime=16.15 cores=1,3,5,7
/proc/17480/task/17498/stat : 17498 (pb_cplex) R 17479 17479 16516 0 -1 4202560 2014 0 0 0 1613 2 0 0 20 0 8 0 391126936 160448512 16011 33554432000 134512640 146736320 4291721232 4151730384 136007963 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17499] ppid=17479 vsize=156688 CPUtime=16.77 cores=1,3,5,7
/proc/17480/task/17499/stat : 17499 (pb_cplex) R 17479 17479 16516 0 -1 4202560 33 0 0 0 1676 1 0 0 20 0 8 0 391126936 160448512 16007 33554432000 134512640 146736320 4291721232 4119494864 136008176 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17500] ppid=17479 vsize=155664 CPUtime=18.65 cores=1,3,5,7
/proc/17480/task/17500/stat : 17500 (pb_cplex) R 17479 17479 16516 0 -1 4202560 2350 0 0 0 1864 1 0 0 20 0 8 0 391126936 159399936 15994 33554432000 134512640 146736320 4291721232 4065468416 136018936 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17501] ppid=17479 vsize=155664 CPUtime=18.18 cores=1,3,5,7
/proc/17480/task/17501/stat : 17501 (pb_cplex) R 17479 17479 16516 0 -1 4202560 1943 0 0 0 1816 2 0 0 20 0 8 0 391126936 159399936 15915 33554432000 134512640 146736320 4291721232 4054982864 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17502] ppid=17479 vsize=155664 CPUtime=16.99 cores=1,3,5,7
/proc/17480/task/17502/stat : 17502 (pb_cplex) R 17479 17479 16516 0 -1 4202560 7540 0 0 0 1696 3 0 0 20 0 8 0 391126936 159399936 15839 33554432000 134512640 146736320 4291721232 4044497232 144797937 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 165836
[startup+102.3 s]
/proc/loadavg: 6.97 4.16 4.25 3/184 17502
/proc/meminfo: memFree=28682892/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=156688 CPUtime=354.69 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 62680 0 0 0 35417 52 0 0 20 0 8 0 391126260 160448512 16468 33554432000 134512640 146736320 4291721232 4291714072 136009170 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 86099 0 0 0 93931 108 0 0 20 0 8 0 391126260 160448512 16916 33554432000 134512640 146736320 4291721232 4291713928 139042904 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17480/statm: 39172 16916 997 2985 0 36106 0
[pid=17480/tid=17496] ppid=17479 vsize=156688 CPUtime=106.84 cores=1,3,5,7
/proc/17480/task/17496/stat : 17496 (pb_cplex) R 17479 17479 16516 0 -1 4202560 3865 0 0 0 10672 12 0 0 20 0 8 0 391126936 160448512 16916 33554432000 134512640 146736320 4291721232 4130758864 136008116 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17497] ppid=17479 vsize=156688 CPUtime=109.77 cores=1,3,5,7
/proc/17480/task/17497/stat : 17497 (pb_cplex) R 17479 17479 16516 0 -1 4202560 5596 0 0 0 10964 13 0 0 20 0 8 0 391126936 160448512 16916 33554432000 134512640 146736320 4291721232 4141244484 136385185 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17498] ppid=17479 vsize=156688 CPUtime=110.27 cores=1,3,5,7
/proc/17480/task/17498/stat : 17498 (pb_cplex) R 17479 17479 16516 0 -1 4202560 9282 0 0 0 11013 14 0 0 20 0 8 0 391126936 160448512 16916 33554432000 134512640 146736320 4291721232 4151730392 136009170 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17499] ppid=17479 vsize=156688 CPUtime=109.94 cores=1,3,5,7
/proc/17480/task/17499/stat : 17499 (pb_cplex) R 17479 17479 16516 0 -1 4202560 45 0 0 0 10983 11 0 0 20 0 8 0 391126936 160448512 16916 33554432000 134512640 146736320 4291721232 4119495656 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17500] ppid=17479 vsize=156688 CPUtime=110.32 cores=1,3,5,7
/proc/17480/task/17500/stat : 17500 (pb_cplex) R 17479 17479 16516 0 -1 4202560 4587 0 0 0 11022 10 0 0 20 0 8 0 391126936 160448512 16916 33554432000 134512640 146736320 4291721232 4065468608 136471173 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17501] ppid=17479 vsize=156688 CPUtime=111.27 cores=1,3,5,7
/proc/17480/task/17501/stat : 17501 (pb_cplex) R 17479 17479 16516 0 -1 4202560 8247 0 0 0 11115 12 0 0 20 0 8 0 391126936 160448512 16916 33554432000 134512640 146736320 4291721232 4054983112 136000360 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17502] ppid=17479 vsize=156688 CPUtime=111.36 cores=1,3,5,7
/proc/17480/task/17502/stat : 17502 (pb_cplex) R 17479 17479 16516 0 -1 4202560 16814 0 0 0 11122 14 0 0 20 0 8 0 391126936 160448512 16916 33554432000 134512640 146736320 4291721232 4044497488 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 940.39
Current children cumulated vsize (KiB) 165836
[startup+342.306 s]
/proc/loadavg: 7.60 5.78 4.86 10/184 17503
/proc/meminfo: memFree=28691600/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=156688 CPUtime=1162.05 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 91349 0 0 0 116078 127 0 0 20 0 8 0 391126260 160448512 16963 33554432000 134512640 146736320 4291721232 4291714496 139046508 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17480/statm: 39172 16963 997 2985 0 36106 0
[pid=17480/tid=17496] ppid=17479 vsize=156688 CPUtime=134.16 cores=1,3,5,7
/proc/17480/task/17496/stat : 17496 (pb_cplex) R 17479 17479 16516 0 -1 4202560 4233 0 0 0 13401 15 0 0 20 0 8 0 391126936 160448512 16963 33554432000 134512640 146736320 4291721232 4130758864 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17497] ppid=17479 vsize=156688 CPUtime=137.45 cores=1,3,5,7
/proc/17480/task/17497/stat : 17497 (pb_cplex) R 17479 17479 16516 0 -1 4202560 6751 0 0 0 13729 16 0 0 20 0 8 0 391126936 160448512 16963 33554432000 134512640 146736320 4291721232 4141245008 136403103 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17498] ppid=17479 vsize=156688 CPUtime=137.87 cores=1,3,5,7
/proc/17480/task/17498/stat : 17498 (pb_cplex) R 17479 17479 16516 0 -1 4202560 9856 0 0 0 13770 17 0 0 20 0 8 0 391126936 160448512 16963 33554432000 134512640 146736320 4291721232 4151730268 135855174 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17499] ppid=17479 vsize=156688 CPUtime=138.05 cores=1,3,5,7
/proc/17480/task/17499/stat : 17499 (pb_cplex) R 17479 17479 16516 0 -1 4202560 50 0 0 0 13791 14 0 0 20 0 8 0 391126936 160448512 16963 33554432000 134512640 146736320 4291721232 4119495704 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17500] ppid=17479 vsize=156688 CPUtime=138.71 cores=1,3,5,7
/proc/17480/task/17500/stat : 17500 (pb_cplex) R 17479 17479 16516 0 -1 4202560 5241 0 0 0 13858 13 0 0 20 0 8 0 391126936 160448512 16963 33554432000 134512640 146736320 4291721232 4065468484 136385175 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17501] ppid=17479 vsize=156688 CPUtime=138.26 cores=1,3,5,7
/proc/17480/task/17501/stat : 17501 (pb_cplex) R 17479 17479 16516 0 -1 4202560 8252 0 0 0 13811 15 0 0 20 0 8 0 391126936 160448512 16963 33554432000 134512640 146736320 4291721232 4054982528 136400577 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17502] ppid=17479 vsize=156688 CPUtime=139.12 cores=1,3,5,7
/proc/17480/task/17502/stat : 17502 (pb_cplex) R 17479 17479 16516 0 -1 4202560 18243 0 0 0 13896 16 0 0 20 0 8 0 391126936 160448512 16963 33554432000 134512640 146736320 4291721232 4044495312 135459535 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1162.05
Current children cumulated vsize (KiB) 165836
[startup+402.3 s]
/proc/loadavg: 8.38 6.33 5.11 10/185 17506
/proc/meminfo: memFree=28688780/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=156688 CPUtime=1386.43 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 104462 0 0 0 138497 146 0 0 20 0 8 0 391126260 160448512 16999 33554432000 134512640 146736320 4291721232 4291714240 136366838 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17480/statm: 39172 16999 997 2985 0 36106 0
[pid=17480/tid=17496] ppid=17479 vsize=156688 CPUtime=161.96 cores=1,3,5,7
/proc/17480/task/17496/stat : 17496 (pb_cplex) R 17479 17479 16516 0 -1 4202560 4234 0 0 0 16179 17 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4130758656 136019052 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17497] ppid=17479 vsize=156688 CPUtime=165.67 cores=1,3,5,7
/proc/17480/task/17497/stat : 17497 (pb_cplex) R 17479 17479 16516 0 -1 4202560 9478 0 0 0 16548 19 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4141244608 136471158 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17498] ppid=17479 vsize=156688 CPUtime=165.9 cores=1,3,5,7
/proc/17480/task/17498/stat : 17498 (pb_cplex) R 17479 17479 16516 0 -1 4202560 10561 0 0 0 16571 19 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4151731128 138424466 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17499] ppid=17479 vsize=156688 CPUtime=165.73 cores=1,3,5,7
/proc/17480/task/17499/stat : 17499 (pb_cplex) R 17479 17479 16516 0 -1 4202560 51 0 0 0 16557 16 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4119495656 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17500] ppid=17479 vsize=156688 CPUtime=166.47 cores=1,3,5,7
/proc/17480/task/17500/stat : 17500 (pb_cplex) R 17479 17479 16516 0 -1 4202560 5508 0 0 0 16631 16 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4065468488 139042888 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17501] ppid=17479 vsize=156688 CPUtime=166.35 cores=1,3,5,7
/proc/17480/task/17501/stat : 17501 (pb_cplex) R 17479 17479 16516 0 -1 4202560 8567 0 0 0 16618 17 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4054982712 136475795 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17502] ppid=17479 vsize=156688 CPUtime=167.4 cores=1,3,5,7
/proc/17480/task/17502/stat : 17502 (pb_cplex) R 17479 17479 16516 0 -1 4202560 18244 0 0 0 16722 18 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4044497536 139046528 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1386.43
Current children cumulated vsize (KiB) 165836
[startup+462.3 s]
/proc/loadavg: 8.12 6.63 5.29 10/185 17529
/proc/meminfo: memFree=28683868/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=156688 CPUtime=1611.55 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 108061 0 0 0 160985 170 0 0 20 0 8 0 391126260 160448512 16999 33554432000 134512640 146736320 4291721232 4291714096 136493316 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17480/statm: 39172 16999 997 2985 0 36106 0
[pid=17480/tid=17496] ppid=17479 vsize=156688 CPUtime=189.77 cores=1,3,5,7
/proc/17480/task/17496/stat : 17496 (pb_cplex) R 17479 17479 16516 0 -1 4202560 4453 0 0 0 18956 21 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4130758724 136385184 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17497] ppid=17479 vsize=156688 CPUtime=194.04 cores=1,3,5,7
/proc/17480/task/17497/stat : 17497 (pb_cplex) R 17479 17479 16516 0 -1 4202560 9480 0 0 0 19382 22 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4141244992 136001193 0 2 4096 16387 0 0 0 -1 7 0 0 1 0 0
[pid=17480/tid=17498] ppid=17479 vsize=156688 CPUtime=193.44 cores=1,3,5,7
/proc/17480/task/17498/stat : 17498 (pb_cplex) R 17479 17479 16516 0 -1 4202560 11240 0 0 0 19321 23 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4151729268 135450457 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17499] ppid=17479 vsize=156688 CPUtime=193.83 cores=1,3,5,7
/proc/17480/task/17499/stat : 17499 (pb_cplex) R 17479 17479 16516 0 -1 4202560 53 0 0 0 19364 19 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4119494724 136385177 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17500] ppid=17479 vsize=156688 CPUtime=194.11 cores=1,3,5,7
/proc/17480/task/17500/stat : 17500 (pb_cplex) R 17479 17479 16516 0 -1 4202560 5791 0 0 0 19392 19 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4065468620 136388881 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17480/tid=17501] ppid=17479 vsize=156688 CPUtime=194.25 cores=1,3,5,7
/proc/17480/task/17501/stat : 17501 (pb_cplex) R 17479 17479 16516 0 -1 4202560 8719 0 0 0 19405 20 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4054982864 136008234 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17502] ppid=17479 vsize=156688 CPUtime=195.92 cores=1,3,5,7
/proc/17480/task/17502/stat : 17502 (pb_cplex) R 17479 17479 16516 0 -1 4202560 18246 0 0 0 19571 21 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4044497096 136388603 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1611.55
Current children cumulated vsize (KiB) 165836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+513.1 s]
/proc/loadavg: 7.31 6.66 5.37 10/184 17530
/proc/meminfo: memFree=28680684/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=156688 CPUtime=1800.22 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 114771 0 0 0 179835 187 0 0 20 0 8 0 391126260 160448512 16999 33554432000 134512640 146736320 4291721232 4291714064 136008056 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17480/statm: 39172 16999 997 2985 0 36106 0
[pid=17480/tid=17496] ppid=17479 vsize=156688 CPUtime=212.99 cores=1,3,5,7
/proc/17480/task/17496/stat : 17496 (pb_cplex) R 17479 17479 16516 0 -1 4202560 4723 0 0 0 21275 24 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4130758704 136384861 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17497] ppid=17479 vsize=156688 CPUtime=216.99 cores=1,3,5,7
/proc/17480/task/17497/stat : 17497 (pb_cplex) R 17479 17479 16516 0 -1 4202560 9480 0 0 0 21674 25 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4141245464 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 1 0 0
[pid=17480/tid=17498] ppid=17479 vsize=156688 CPUtime=217.15 cores=1,3,5,7
/proc/17480/task/17498/stat : 17498 (pb_cplex) R 17479 17479 16516 0 -1 4202560 11317 0 0 0 21690 25 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4151730392 136008642 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17499] ppid=17479 vsize=156688 CPUtime=216.88 cores=1,3,5,7
/proc/17480/task/17499/stat : 17499 (pb_cplex) R 17479 17479 16516 0 -1 4202560 150 0 0 0 21666 22 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4119495296 139046468 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17500] ppid=17479 vsize=156688 CPUtime=217.92 cores=1,3,5,7
/proc/17480/task/17500/stat : 17500 (pb_cplex) R 17479 17479 16516 0 -1 4202560 5879 0 0 0 21770 22 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4065468472 136475824 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17501] ppid=17479 vsize=156688 CPUtime=217.17 cores=1,3,5,7
/proc/17480/task/17501/stat : 17501 (pb_cplex) R 17479 17479 16516 0 -1 4202560 14005 0 0 0 21693 24 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4054982696 139044507 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17502] ppid=17479 vsize=156688 CPUtime=219.93 cores=1,3,5,7
/proc/17480/task/17502/stat : 17502 (pb_cplex) R 17479 17479 16516 0 -1 4202560 18870 0 0 0 21968 25 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4044496896 136019067 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 165836
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+513.1 s]
/proc/loadavg: 7.31 6.66 5.37 10/184 17530
/proc/meminfo: memFree=28680684/32873624 swapFree=7112/7112
[pid=17479] ppid=17477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17479/stat : 17479 (run) S 17477 17479 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391126260 9367552 270 33554432000 4194304 5064252 140733691347120 140733691346032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17479/statm: 2287 270 229 213 0 72 0
[pid=17480] ppid=17479 vsize=156688 CPUtime=1800.22 cores=1,3,5,7
/proc/17480/stat : 17480 (pb_cplex) R 17479 17479 16516 0 -1 4202496 114771 0 0 0 179835 187 0 0 20 0 8 0 391126260 160448512 16999 33554432000 134512640 146736320 4291721232 4291714064 136008056 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17480/statm: 39172 16999 997 2985 0 36106 0
[pid=17480/tid=17496] ppid=17479 vsize=156688 CPUtime=212.99 cores=1,3,5,7
/proc/17480/task/17496/stat : 17496 (pb_cplex) R 17479 17479 16516 0 -1 4202560 4723 0 0 0 21275 24 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4130758704 136384861 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17497] ppid=17479 vsize=156688 CPUtime=216.99 cores=1,3,5,7
/proc/17480/task/17497/stat : 17497 (pb_cplex) R 17479 17479 16516 0 -1 4202560 9480 0 0 0 21674 25 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4141245464 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 1 0 0
[pid=17480/tid=17498] ppid=17479 vsize=156688 CPUtime=217.15 cores=1,3,5,7
/proc/17480/task/17498/stat : 17498 (pb_cplex) R 17479 17479 16516 0 -1 4202560 11317 0 0 0 21690 25 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4151730392 136008642 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17480/tid=17499] ppid=17479 vsize=156688 CPUtime=216.88 cores=1,3,5,7
/proc/17480/task/17499/stat : 17499 (pb_cplex) R 17479 17479 16516 0 -1 4202560 150 0 0 0 21666 22 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4119495296 139046468 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17480/tid=17500] ppid=17479 vsize=156688 CPUtime=217.92 cores=1,3,5,7
/proc/17480/task/17500/stat : 17500 (pb_cplex) R 17479 17479 16516 0 -1 4202560 5879 0 0 0 21770 22 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4065468472 136475824 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17501] ppid=17479 vsize=156688 CPUtime=217.17 cores=1,3,5,7
/proc/17480/task/17501/stat : 17501 (pb_cplex) R 17479 17479 16516 0 -1 4202560 14005 0 0 0 21693 24 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4054982696 139044507 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17480/tid=17502] ppid=17479 vsize=156688 CPUtime=219.93 cores=1,3,5,7
/proc/17480/task/17502/stat : 17502 (pb_cplex) R 17479 17479 16516 0 -1 4202560 18870 0 0 0 21968 25 0 0 20 0 8 0 391126936 160448512 16999 33554432000 134512640 146736320 4291721232 4044496896 136019067 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 165836
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17479 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=559337
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=113678
# CPU time returned by wait4() is 1795.67
# while last known CPU time is 1800.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 513.115
CPU time (s): 1800.22
CPU user time (s): 1798.35
CPU system time (s): 1.87
CPU usage (%): 350.841
Max. virtual memory (cumulated for all children) (KiB): 174028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.56
system time used= 2.11368
maximum resident set size= 73152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115136
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= 59982
involuntary context switches= 99179
runsolver used 1.37179 second user time and 3.06353 second system time
The end