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-3735118-1339247819/watcher-3735118-1339247819 -o /tmp/evaluation-result-3735118-1339247819/solver-3735118-1339247819 -C 1800 -W 1900 -M 15500 run HOME/instance-3735118-1339247819.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: 8.44 9.80 6.07 8/186 22480
/proc/meminfo: memFree=31367804/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[startup+0.0696199 s]
/proc/loadavg: 8.44 9.80 6.07 8/186 22480
/proc/meminfo: memFree=31367804/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100249 s]
/proc/loadavg: 8.44 9.80 6.07 8/186 22480
/proc/meminfo: memFree=31367804/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300217 s]
/proc/loadavg: 8.44 9.80 6.07 8/186 22480
/proc/meminfo: memFree=31367804/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 8.44 9.80 6.07 8/186 22480
/proc/meminfo: memFree=31367804/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 8.16 9.72 6.07 10/188 22482
/proc/meminfo: memFree=31350560/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=44948 CPUtime=1.49 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 13900 0 0 0 148 1 0 0 20 0 1 0 34748914 46026752 6816 33554432000 134512640 146736320 4287792256 4287787952 135983222 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22481/statm: 11237 6816 808 2985 0 8171 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54096
[startup+3.10031 s]
/proc/loadavg: 8.16 9.72 6.07 10/188 22482
/proc/meminfo: memFree=31333820/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=57240 CPUtime=3.09 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 29029 0 0 0 305 4 0 0 20 0 1 0 34748914 58613760 9873 33554432000 134512640 146736320 4287792256 4287786832 136403112 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22481/statm: 14310 9873 895 2985 0 11244 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66388
[startup+6.30031 s]
/proc/loadavg: 8.23 9.71 6.08 10/188 22482
/proc/meminfo: memFree=31331152/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=58236 CPUtime=6.28 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 33670 0 0 0 623 5 0 0 20 0 1 0 34748914 59633664 10142 33554432000 134512640 146736320 4287792256 4287786552 136015584 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22481/statm: 14559 10142 896 2985 0 11493 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 67384
[startup+12.7005 s]
/proc/loadavg: 8.21 9.68 6.09 10/195 22489
/proc/meminfo: memFree=31257684/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=212256 CPUtime=12.68 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 69568 0 0 0 1256 12 0 0 20 0 8 0 34748914 217350144 28239 33554432000 134512640 146736320 4287792256 4287785488 136403109 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22481/statm: 53064 28239 945 2985 0 49998 0
[pid=22481/tid=22483] ppid=22480 vsize=212256 CPUtime=0 cores=0,2,4,6
/proc/22481/task/22483/stat : 22483 (pb_cplex) S 22480 22480 21745 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 34750026 217350144 28239 33554432000 134512640 146736320 4287792256 4077829776 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22484] ppid=22480 vsize=212256 CPUtime=0 cores=0,2,4,6
/proc/22481/task/22484/stat : 22484 (pb_cplex) S 22480 22480 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34750026 217350144 28239 33554432000 134512640 146736320 4287792256 4067344016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22485] ppid=22480 vsize=212256 CPUtime=0 cores=0,2,4,6
/proc/22481/task/22485/stat : 22485 (pb_cplex) S 22480 22480 21745 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 34750026 217350144 28239 33554432000 134512640 146736320 4287792256 4056858256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22486] ppid=22480 vsize=212256 CPUtime=0 cores=0,2,4,6
/proc/22481/task/22486/stat : 22486 (pb_cplex) S 22480 22480 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34750026 217350144 28239 33554432000 134512640 146736320 4287792256 4046372496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22487] ppid=22480 vsize=212256 CPUtime=0 cores=0,2,4,6
/proc/22481/task/22487/stat : 22487 (pb_cplex) S 22480 22480 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34750026 217350144 28239 33554432000 134512640 146736320 4287792256 4035886736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22488] ppid=22480 vsize=212256 CPUtime=0 cores=0,2,4,6
/proc/22481/task/22488/stat : 22488 (pb_cplex) S 22480 22480 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34750026 217350144 28239 33554432000 134512640 146736320 4287792256 4025400976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22489] ppid=22480 vsize=212256 CPUtime=0 cores=0,2,4,6
/proc/22481/task/22489/stat : 22489 (pb_cplex) S 22480 22480 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34750026 217350144 28239 33554432000 134512640 146736320 4287792256 4014915216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 221404
[startup+25.5004 s]
/proc/loadavg: 9.33 9.87 6.19 17/195 22489
/proc/meminfo: memFree=31067396/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=438868 CPUtime=53.09 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 150237 0 0 0 5270 39 0 0 20 0 8 0 34748914 449400832 75752 33554432000 134512640 146736320 4287792256 4287785104 136008266 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22481/statm: 109717 75752 968 2985 0 106651 0
[pid=22481/tid=22483] ppid=22480 vsize=438868 CPUtime=4.57 cores=0,2,4,6
/proc/22481/task/22483/stat : 22483 (pb_cplex) R 22480 22480 21745 0 -1 4202560 8175 0 0 0 454 3 0 0 20 0 8 0 34750026 449400832 75752 33554432000 134512640 146736320 4287792256 4077825864 135525737 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22484] ppid=22480 vsize=438868 CPUtime=7.55 cores=0,2,4,6
/proc/22481/task/22484/stat : 22484 (pb_cplex) R 22480 22480 21745 0 -1 4202560 11579 0 0 0 751 4 0 0 20 0 8 0 34750026 449400832 75752 33554432000 134512640 146736320 4287792256 4067340288 136018896 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22485] ppid=22480 vsize=438868 CPUtime=6.64 cores=0,2,4,6
/proc/22481/task/22485/stat : 22485 (pb_cplex) R 22480 22480 21745 0 -1 4202560 8699 0 0 0 661 3 0 0 20 0 8 0 34750026 449400832 75752 33554432000 134512640 146736320 4287792256 4056854736 136008065 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22486] ppid=22480 vsize=438868 CPUtime=3.99 cores=0,2,4,6
/proc/22481/task/22486/stat : 22486 (pb_cplex) R 22480 22480 21745 0 -1 4202560 10301 0 0 0 395 4 0 0 20 0 8 0 34750026 449400832 75752 33554432000 134512640 146736320 4287792256 4046368976 136008328 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22487] ppid=22480 vsize=438868 CPUtime=4.94 cores=0,2,4,6
/proc/22481/task/22487/stat : 22487 (pb_cplex) R 22480 22480 21745 0 -1 4202560 9058 0 0 0 491 3 0 0 20 0 8 0 34750026 449400832 75752 33554432000 134512640 146736320 4287792256 4035883168 136006508 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22488] ppid=22480 vsize=438868 CPUtime=3.81 cores=0,2,4,6
/proc/22481/task/22488/stat : 22488 (pb_cplex) R 22480 22480 21745 0 -1 4202560 14861 0 0 0 375 6 0 0 20 0 8 0 34750026 449400832 75752 33554432000 134512640 146736320 4287792256 4025397840 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22489] ppid=22480 vsize=438868 CPUtime=3.28 cores=0,2,4,6
/proc/22481/task/22489/stat : 22489 (pb_cplex) R 22480 22480 21745 0 -1 4202560 10977 0 0 0 325 3 0 0 20 0 8 0 34750026 449400832 75752 33554432000 134512640 146736320 4287792256 4014911696 136008450 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 53.09
Current children cumulated vsize (KiB) 448016
[startup+51.1004 s]
/proc/loadavg: 9.05 9.79 6.28 10/195 22489
/proc/meminfo: memFree=31026728/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=466224 CPUtime=145.86 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 209903 0 0 0 14520 66 0 0 20 0 8 0 34748914 477413376 84149 33554432000 134512640 146736320 4287792256 4287785104 136008069 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22481/statm: 116556 84149 968 2985 0 113490 0
[pid=22481/tid=22483] ppid=22480 vsize=466224 CPUtime=11.89 cores=0,2,4,6
/proc/22481/task/22483/stat : 22483 (pb_cplex) R 22480 22480 21745 0 -1 4202560 16569 0 0 0 1183 6 0 0 20 0 8 0 34750026 477413376 84149 33554432000 134512640 146736320 4287792256 4077827048 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22484] ppid=22480 vsize=466224 CPUtime=16.19 cores=0,2,4,6
/proc/22481/task/22484/stat : 22484 (pb_cplex) R 22480 22480 21745 0 -1 4202560 18514 0 0 0 1612 7 0 0 20 0 8 0 34750026 477413376 84149 33554432000 134512640 146736320 4287792256 4067342400 137461002 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22485] ppid=22480 vsize=466224 CPUtime=16.77 cores=0,2,4,6
/proc/22481/task/22485/stat : 22485 (pb_cplex) R 22480 22480 21745 0 -1 4202560 16002 0 0 0 1672 5 0 0 20 0 8 0 34750026 477413376 84149 33554432000 134512640 146736320 4287792256 4056855120 136403117 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22486] ppid=22480 vsize=466224 CPUtime=18.34 cores=0,2,4,6
/proc/22481/task/22486/stat : 22486 (pb_cplex) R 22480 22480 21745 0 -1 4202560 19390 0 0 0 1827 7 0 0 20 0 8 0 34750026 477413376 84149 33554432000 134512640 146736320 4287792256 4046368956 135526874 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22487] ppid=22480 vsize=466224 CPUtime=12.9 cores=0,2,4,6
/proc/22481/task/22487/stat : 22487 (pb_cplex) R 22480 22480 21745 0 -1 4202560 14968 0 0 0 1284 6 0 0 20 0 8 0 34750026 477413376 84149 33554432000 134512640 146736320 4287792256 4035883464 135999265 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22488] ppid=22480 vsize=466224 CPUtime=20.82 cores=0,2,4,6
/proc/22481/task/22488/stat : 22488 (pb_cplex) R 22480 22480 21745 0 -1 4202560 17823 0 0 0 2075 7 0 0 20 0 8 0 34750026 477413376 84149 33554432000 134512640 146736320 4287792256 4025397888 139046501 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22489] ppid=22480 vsize=466224 CPUtime=14.53 cores=0,2,4,6
/proc/22481/task/22489/stat : 22489 (pb_cplex) R 22480 22480 21745 0 -1 4202560 21343 0 0 0 1445 8 0 0 20 0 8 0 34750026 477413376 84149 33554432000 134512640 146736320 4287792256 4014911696 136008065 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 145.86
Current children cumulated vsize (KiB) 475372
[startup+102.307 s]
/proc/loadavg: 8.35 9.48 6.36 7/195 22489
/proc/meminfo: memFree=31004516/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=484156 CPUtime=343.35 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 304049 0 0 0 34234 101 0 0 20 0 8 0 34748914 495775744 88747 33554432000 134512640 146736320 4287792256 4287785984 138433393 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22481/statm: 121039 88747 968 2985 0 117973 0
[pid=22481/tid=22483] ppid=22480 vsize=484156 CPUtime=35.01 cores=0,2,4,6
/proc/22481/task/22483/stat : 22483 (pb_cplex) R 22480 22480 21745 0 -1 4202560 30804 0 0 0 3490 11 0 0 20 0 8 0 34750026 495775744 88747 33554432000 134512640 146736320 4287792256 4077826256 136008065 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22484] ppid=22480 vsize=484156 CPUtime=38.52 cores=0,2,4,6
/proc/22481/task/22484/stat : 22484 (pb_cplex) S 22480 22480 21745 0 -1 4202560 33715 0 0 0 3840 12 0 0 20 0 8 0 34750026 495775744 88747 33554432000 134512640 146736320 4287792256 4067344016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22485] ppid=22480 vsize=484156 CPUtime=40.27 cores=0,2,4,6
/proc/22481/task/22485/stat : 22485 (pb_cplex) S 22480 22480 21745 0 -1 4202560 27498 0 0 0 4019 8 0 0 20 0 8 0 34750026 495775744 88747 33554432000 134512640 146736320 4287792256 4056858256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22486] ppid=22480 vsize=484156 CPUtime=37.5 cores=0,2,4,6
/proc/22481/task/22486/stat : 22486 (pb_cplex) S 22480 22480 21745 0 -1 4202560 33467 0 0 0 3738 12 0 0 20 0 8 0 34750026 495775744 88747 33554432000 134512640 146736320 4287792256 4046372496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22487] ppid=22480 vsize=484156 CPUtime=35.91 cores=0,2,4,6
/proc/22481/task/22487/stat : 22487 (pb_cplex) R 22480 22480 21745 0 -1 4202560 25752 0 0 0 3580 11 0 0 20 0 8 0 34750026 495775744 88747 33554432000 134512640 146736320 4287792256 4035883216 136008047 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22488] ppid=22480 vsize=484156 CPUtime=49.6 cores=0,2,4,6
/proc/22481/task/22488/stat : 22488 (pb_cplex) R 22480 22480 21745 0 -1 4202560 29100 0 0 0 4948 12 0 0 20 0 8 0 34750026 495775744 88747 33554432000 134512640 146736320 4287792256 4025397456 136008335 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22489] ppid=22480 vsize=484156 CPUtime=44.11 cores=0,2,4,6
################
# More data... #
################
/proc/22481/statm: 107723 75787 981 2985 0 104657 0
[pid=22481/tid=22497] ppid=22480 vsize=430892 CPUtime=63.16 cores=0,2,4,6
/proc/22481/task/22497/stat : 22497 (pb_cplex) S 22480 22480 21745 0 -1 4202560 56620 0 0 0 6299 17 0 0 20 0 8 0 34764094 441233408 75787 33554432000 134512640 146736320 4287792256 4121935504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22498] ppid=22480 vsize=430892 CPUtime=54.45 cores=0,2,4,6
/proc/22481/task/22498/stat : 22498 (pb_cplex) S 22480 22480 21745 0 -1 4202560 68503 0 0 0 5424 21 0 0 20 0 8 0 34764094 441233408 75787 33554432000 134512640 146736320 4287792256 4132421264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22499] ppid=22480 vsize=430892 CPUtime=66.07 cores=0,2,4,6
/proc/22481/task/22499/stat : 22499 (pb_cplex) S 22480 22480 21745 0 -1 4202560 36445 0 0 0 6593 14 0 0 20 0 8 0 34764094 441233408 75787 33554432000 134512640 146736320 4287792256 4142907024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22500] ppid=22480 vsize=430892 CPUtime=67.43 cores=0,2,4,6
/proc/22481/task/22500/stat : 22500 (pb_cplex) S 22480 22480 21745 0 -1 4202560 43978 0 0 0 6728 15 0 0 20 0 8 0 34764094 441233408 75787 33554432000 134512640 146736320 4287792256 4046372496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22501] ppid=22480 vsize=430892 CPUtime=61.75 cores=0,2,4,6
/proc/22481/task/22501/stat : 22501 (pb_cplex) R 22480 22480 21745 0 -1 4202560 45767 0 0 0 6158 17 0 0 20 0 8 0 34764094 441233408 75787 33554432000 134512640 146736320 4287792256 4035883208 136064127 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22502] ppid=22480 vsize=430892 CPUtime=61.6 cores=0,2,4,6
/proc/22481/task/22502/stat : 22502 (pb_cplex) R 22480 22480 21745 0 -1 4202560 54638 0 0 0 6143 17 0 0 20 0 8 0 34764094 441233408 75787 33554432000 134512640 146736320 4287792256 4025397372 136400447 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22503] ppid=22480 vsize=430892 CPUtime=58.03 cores=0,2,4,6
/proc/22481/task/22503/stat : 22503 (pb_cplex) S 22480 22480 21745 0 -1 4202560 40711 0 0 0 5789 14 0 0 20 0 8 0 34764094 441233408 75787 33554432000 134512640 146736320 4287792256 4014915216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 958.09
Current children cumulated vsize (KiB) 440040
[startup+342.301 s]
/proc/loadavg: 6.59 8.11 6.50 3/188 22557
/proc/meminfo: memFree=31033620/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=439028 CPUtime=1150.28 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 891906 0 0 0 114713 315 0 0 20 0 8 0 34748914 449564672 79456 33554432000 134512640 146736320 4287792256 4287785096 136064050 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22481/statm: 109757 79456 981 2985 0 106691 0
[pid=22481/tid=22497] ppid=22480 vsize=439028 CPUtime=90.07 cores=0,2,4,6
/proc/22481/task/22497/stat : 22497 (pb_cplex) S 22480 22480 21745 0 -1 4202560 72483 0 0 0 8983 24 0 0 20 0 8 0 34764094 449564672 79456 33554432000 134512640 146736320 4287792256 4121935504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22498] ppid=22480 vsize=439028 CPUtime=70.63 cores=0,2,4,6
/proc/22481/task/22498/stat : 22498 (pb_cplex) S 22480 22480 21745 0 -1 4202560 78732 0 0 0 7037 26 0 0 20 0 8 0 34764094 449564672 79456 33554432000 134512640 146736320 4287792256 4132421264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22499] ppid=22480 vsize=439028 CPUtime=88.49 cores=0,2,4,6
/proc/22481/task/22499/stat : 22499 (pb_cplex) S 22480 22480 21745 0 -1 4202560 40438 0 0 0 8833 16 0 0 20 0 8 0 34764094 449564672 79456 33554432000 134512640 146736320 4287792256 4142907024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22500] ppid=22480 vsize=439028 CPUtime=85.88 cores=0,2,4,6
/proc/22481/task/22500/stat : 22500 (pb_cplex) S 22480 22480 21745 0 -1 4202560 59260 0 0 0 8566 22 0 0 20 0 8 0 34764094 449564672 79456 33554432000 134512640 146736320 4287792256 4046372496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22501] ppid=22480 vsize=439028 CPUtime=83.95 cores=0,2,4,6
/proc/22481/task/22501/stat : 22501 (pb_cplex) S 22480 22480 21745 0 -1 4202560 50808 0 0 0 8374 21 0 0 20 0 8 0 34764094 449564672 79456 33554432000 134512640 146736320 4287792256 4035886736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22502] ppid=22480 vsize=439028 CPUtime=90.59 cores=0,2,4,6
/proc/22481/task/22502/stat : 22502 (pb_cplex) S 22480 22480 21745 0 -1 4202560 66920 0 0 0 9035 24 0 0 20 0 8 0 34764094 449564672 79456 33554432000 134512640 146736320 4287792256 4025400976 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22503] ppid=22480 vsize=439028 CPUtime=76.21 cores=0,2,4,6
/proc/22481/task/22503/stat : 22503 (pb_cplex) S 22480 22480 21745 0 -1 4202560 42937 0 0 0 7603 18 0 0 20 0 8 0 34764094 449564672 79456 33554432000 134512640 146736320 4287792256 4014915216 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1150.28
Current children cumulated vsize (KiB) 448176
[startup+402.3 s]
/proc/loadavg: 7.06 7.96 6.55 10/188 22557
/proc/meminfo: memFree=31069360/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=435548 CPUtime=1365.86 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 964114 0 0 0 136235 351 0 0 20 0 8 0 34748914 446001152 80248 33554432000 134512640 146736320 4287792256 4287785288 136388073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22481/statm: 108887 80248 982 2985 0 105821 0
[pid=22481/tid=22497] ppid=22480 vsize=435548 CPUtime=116.99 cores=0,2,4,6
/proc/22481/task/22497/stat : 22497 (pb_cplex) R 22480 22480 21745 0 -1 4202560 84478 0 0 0 11668 31 0 0 20 0 8 0 34764094 446001152 80248 33554432000 134512640 146736320 4287792256 4121931984 136008039 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22498] ppid=22480 vsize=435548 CPUtime=93.46 cores=0,2,4,6
/proc/22481/task/22498/stat : 22498 (pb_cplex) R 22480 22480 21745 0 -1 4202560 89495 0 0 0 9315 31 0 0 20 0 8 0 34764094 446001152 80248 33554432000 134512640 146736320 4287792256 4132418128 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22499] ppid=22480 vsize=435548 CPUtime=121.5 cores=0,2,4,6
/proc/22481/task/22499/stat : 22499 (pb_cplex) R 22480 22480 21745 0 -1 4202560 49718 0 0 0 12131 19 0 0 20 0 8 0 34764094 446001152 80248 33554432000 134512640 146736320 4287792256 4142903504 136008039 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22500] ppid=22480 vsize=435548 CPUtime=112.26 cores=0,2,4,6
/proc/22481/task/22500/stat : 22500 (pb_cplex) R 22480 22480 21745 0 -1 4202560 66423 0 0 0 11199 27 0 0 20 0 8 0 34764094 446001152 80248 33554432000 134512640 146736320 4287792256 4046368976 136008259 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22501] ppid=22480 vsize=435548 CPUtime=103.12 cores=0,2,4,6
/proc/22481/task/22501/stat : 22501 (pb_cplex) R 22480 22480 21745 0 -1 4202560 60488 0 0 0 10287 25 0 0 20 0 8 0 34764094 446001152 80248 33554432000 134512640 146736320 4287792256 4035883216 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22502] ppid=22480 vsize=435548 CPUtime=124.48 cores=0,2,4,6
/proc/22481/task/22502/stat : 22502 (pb_cplex) R 22480 22480 21745 0 -1 4202560 72076 0 0 0 12421 27 0 0 20 0 8 0 34764094 446001152 80248 33554432000 134512640 146736320 4287792256 4025397320 139042885 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22503] ppid=22480 vsize=435548 CPUtime=102.15 cores=0,2,4,6
/proc/22481/task/22503/stat : 22503 (pb_cplex) R 22480 22480 21745 0 -1 4202560 45796 0 0 0 10194 21 0 0 20 0 8 0 34764094 446001152 80248 33554432000 134512640 146736320 4287792256 4014911528 139044564 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1365.86
Current children cumulated vsize (KiB) 444696
[startup+462.3 s]
/proc/loadavg: 5.67 7.46 6.46 10/187 22557
/proc/meminfo: memFree=31040068/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=459664 CPUtime=1518.21 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 1072031 0 0 0 151432 389 0 0 20 0 8 0 34748914 470695936 84564 33554432000 134512640 146736320 4287792256 4287785104 136008042 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22481/statm: 114916 84564 982 2985 0 111850 0
[pid=22481/tid=22497] ppid=22480 vsize=459664 CPUtime=131.5 cores=0,2,4,6
/proc/22481/task/22497/stat : 22497 (pb_cplex) R 22480 22480 21745 0 -1 4202560 107629 0 0 0 13111 39 0 0 20 0 8 0 34764094 470695936 84564 33554432000 134512640 146736320 4287792256 4121931984 136008266 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22498] ppid=22480 vsize=459664 CPUtime=106.44 cores=0,2,4,6
/proc/22481/task/22498/stat : 22498 (pb_cplex) R 22480 22480 21745 0 -1 4202560 99351 0 0 0 10610 34 0 0 20 0 8 0 34764094 470695936 84564 33554432000 134512640 146736320 4287792256 4132418128 136403103 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22499] ppid=22480 vsize=459664 CPUtime=140.82 cores=0,2,4,6
/proc/22481/task/22499/stat : 22499 (pb_cplex) R 22480 22480 21745 0 -1 4202560 62973 0 0 0 14058 24 0 0 20 0 8 0 34764094 470695936 84564 33554432000 134512640 146736320 4287792256 4142903688 136388081 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22500] ppid=22480 vsize=459664 CPUtime=124.43 cores=0,2,4,6
/proc/22481/task/22500/stat : 22500 (pb_cplex) R 22480 22480 21745 0 -1 4202560 89432 0 0 0 12410 33 0 0 20 0 8 0 34764094 470695936 84564 33554432000 134512640 146736320 4287792256 4046367888 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22501] ppid=22480 vsize=459664 CPUtime=115 cores=0,2,4,6
/proc/22481/task/22501/stat : 22501 (pb_cplex) R 22480 22480 21745 0 -1 4202560 67512 0 0 0 11472 28 0 0 20 0 8 0 34764094 470695936 84564 33554432000 134512640 146736320 4287792256 4035882128 136008050 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22502] ppid=22480 vsize=459664 CPUtime=171.91 cores=0,2,4,6
/proc/22481/task/22502/stat : 22502 (pb_cplex) R 22480 22480 21745 0 -1 4202560 84140 0 0 0 17157 34 0 0 20 0 8 0 34764094 470695936 84564 33554432000 134512640 146736320 4287792256 4025397248 136018931 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22503] ppid=22480 vsize=459664 CPUtime=124.17 cores=0,2,4,6
/proc/22481/task/22503/stat : 22503 (pb_cplex) R 22480 22480 21745 0 -1 4202560 51065 0 0 0 12393 24 0 0 20 0 8 0 34764094 470695936 84564 33554432000 134512640 146736320 4287792256 4014911696 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1518.21
Current children cumulated vsize (KiB) 468812
[startup+522.3 s]
/proc/loadavg: 7.17 7.58 6.57 10/187 22558
/proc/meminfo: memFree=31047412/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=440344 CPUtime=1748.58 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 1217759 0 0 0 174420 438 0 0 20 0 8 0 34748914 450912256 81506 33554432000 134512640 146736320 4287792256 4287785092 136395552 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22481/statm: 110086 81506 982 2985 0 107020 0
[pid=22481/tid=22497] ppid=22480 vsize=440344 CPUtime=160.95 cores=0,2,4,6
/proc/22481/task/22497/stat : 22497 (pb_cplex) R 22480 22480 21745 0 -1 4202560 119234 0 0 0 16051 44 0 0 20 0 8 0 34764094 450912256 81506 33554432000 134512640 146736320 4287792256 4121931936 136006328 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22498] ppid=22480 vsize=440344 CPUtime=137.9 cores=0,2,4,6
/proc/22481/task/22498/stat : 22498 (pb_cplex) R 22480 22480 21745 0 -1 4202560 113603 0 0 0 13749 41 0 0 20 0 8 0 34764094 450912256 81506 33554432000 134512640 146736320 4287792256 4132417744 136008042 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22499] ppid=22480 vsize=440344 CPUtime=166.3 cores=0,2,4,6
/proc/22481/task/22499/stat : 22499 (pb_cplex) R 22480 22480 21745 0 -1 4202560 88344 0 0 0 16599 31 0 0 20 0 8 0 34764094 450912256 81506 33554432000 134512640 146736320 4287792256 4142903496 136064440 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22500] ppid=22480 vsize=440344 CPUtime=146.78 cores=0,2,4,6
/proc/22481/task/22500/stat : 22500 (pb_cplex) R 22480 22480 21745 0 -1 4202560 123811 0 0 0 14634 44 0 0 20 0 8 0 34764094 450912256 81506 33554432000 134512640 146736320 4287792256 4046368976 136008061 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22501] ppid=22480 vsize=440344 CPUtime=148.64 cores=0,2,4,6
/proc/22481/task/22501/stat : 22501 (pb_cplex) R 22480 22480 21745 0 -1 4202560 90998 0 0 0 14827 37 0 0 20 0 8 0 34764094 450912256 81506 33554432000 134512640 146736320 4287792256 4035883048 139044525 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22502] ppid=22480 vsize=440344 CPUtime=199.5 cores=0,2,4,6
/proc/22481/task/22502/stat : 22502 (pb_cplex) R 22480 22480 21745 0 -1 4202560 103998 0 0 0 19908 42 0 0 20 0 8 0 34764094 450912256 81506 33554432000 134512640 146736320 4287792256 4025397840 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22503] ppid=22480 vsize=440344 CPUtime=155.06 cores=0,2,4,6
/proc/22481/task/22503/stat : 22503 (pb_cplex) R 22480 22480 21745 0 -1 4202560 57380 0 0 0 15479 27 0 0 20 0 8 0 34764094 450912256 81506 33554432000 134512640 146736320 4287792256 4014911488 136018931 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1748.58
Current children cumulated vsize (KiB) 449492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+535.2 s]
/proc/loadavg: 7.45 7.63 6.59 10/188 22559
/proc/meminfo: memFree=31044496/32873844 swapFree=7132/7132
[pid=22480] ppid=22478 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22480/stat : 22480 (run) S 22478 22480 21745 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34748914 9367552 269 33554432000 4194304 5064252 140733721217760 140733721216672 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22480/statm: 2287 269 229 213 0 72 0
[pid=22481] ppid=22480 vsize=445356 CPUtime=1800.1 cores=0,2,4,6
/proc/22481/stat : 22481 (pb_cplex) R 22480 22480 21745 0 -1 4202496 1224135 0 0 0 179567 443 0 0 20 0 8 0 34748914 456044544 82013 33554432000 134512640 146736320 4287792256 4287785104 136008223 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22481/statm: 111339 82013 982 2985 0 108273 0
[pid=22481/tid=22497] ppid=22480 vsize=445356 CPUtime=167.4 cores=0,2,4,6
/proc/22481/task/22497/stat : 22497 (pb_cplex) R 22480 22480 21745 0 -1 4202560 119234 0 0 0 16696 44 0 0 20 0 8 0 34764094 456044544 82013 33554432000 134512640 146736320 4287792256 4121931984 136008259 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22481/tid=22498] ppid=22480 vsize=445356 CPUtime=144.45 cores=0,2,4,6
/proc/22481/task/22498/stat : 22498 (pb_cplex) R 22480 22480 21745 0 -1 4202560 113603 0 0 0 14404 41 0 0 20 0 8 0 34764094 456044544 82013 33554432000 134512640 146736320 4287792256 4132418552 138420870 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22499] ppid=22480 vsize=445356 CPUtime=172.92 cores=0,2,4,6
/proc/22481/task/22499/stat : 22499 (pb_cplex) R 22480 22480 21745 0 -1 4202560 90398 0 0 0 17260 32 0 0 20 0 8 0 34764094 456044544 82013 33554432000 134512640 146736320 4287792256 4142903496 136063879 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22500] ppid=22480 vsize=445356 CPUtime=152.99 cores=0,2,4,6
/proc/22481/task/22500/stat : 22500 (pb_cplex) R 22480 22480 21745 0 -1 4202560 123812 0 0 0 15255 44 0 0 20 0 8 0 34764094 456044544 82013 33554432000 134512640 146736320 4287792256 4046368976 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=22481/tid=22501] ppid=22480 vsize=445356 CPUtime=155 cores=0,2,4,6
/proc/22481/task/22501/stat : 22501 (pb_cplex) R 22480 22480 21745 0 -1 4202560 91013 0 0 0 15463 37 0 0 20 0 8 0 34764094 456044544 82013 33554432000 134512640 146736320 4287792256 4035883216 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22481/tid=22502] ppid=22480 vsize=445356 CPUtime=205.83 cores=0,2,4,6
/proc/22481/task/22502/stat : 22502 (pb_cplex) R 22480 22480 21745 0 -1 4202560 105003 0 0 0 20540 43 0 0 20 0 8 0 34764094 456044544 82013 33554432000 134512640 146736320 4287792256 4025397840 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22481/tid=22503] ppid=22480 vsize=445356 CPUtime=161.51 cores=0,2,4,6
/proc/22481/task/22503/stat : 22503 (pb_cplex) R 22480 22480 21745 0 -1 4202560 57753 0 0 0 16123 28 0 0 20 0 8 0 34764094 456044544 82013 33554432000 134512640 146736320 4287792256 4014912080 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 454504
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22480 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.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 535.216
CPU time (s): 1800.1
CPU user time (s): 1795.67
CPU system time (s): 4.43
CPU usage (%): 336.331
Max. virtual memory (cumulated for all children) (KiB): 523764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
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= 2
involuntary context switches= 1
runsolver used 1.53177 second user time and 3.52446 second system time
The end