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-3741776-1339250541/watcher-3741776-1339250541 -o /tmp/evaluation-result-3741776-1339250541/solver-3741776-1339250541 -C 1800 -W 1900 -M 15500 run HOME/instance-3741776-1339250541.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: 2.00 2.00 2.18 3/175 361
/proc/meminfo: memFree=31397612/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[startup+0.087724 s]
/proc/loadavg: 2.00 2.00 2.18 3/175 361
/proc/meminfo: memFree=31397612/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 2.18 3/175 361
/proc/meminfo: memFree=31397612/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.18 3/175 361
/proc/meminfo: memFree=31397612/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 2.18 3/175 361
/proc/meminfo: memFree=31397612/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.52626 s]
/proc/loadavg: 2.00 2.00 2.18 3/175 361
/proc/meminfo: memFree=31397612/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+3.10026 s]
/proc/loadavg: 2.16 2.04 2.19 3/177 363
/proc/meminfo: memFree=31394744/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=62220 CPUtime=3.09 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 1246 0 0 0 309 0 0 0 20 0 1 0 391180114 63713280 1200 33554432000 134512640 146736320 4286985328 4286925948 134814122 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/362/statm: 15555 1200 317 2985 0 1019 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71368
[startup+6.30028 s]
/proc/loadavg: 2.15 2.03 2.19 3/177 363
/proc/meminfo: memFree=31394496/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=62508 CPUtime=6.29 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 1298 0 0 0 629 0 0 0 20 0 1 0 391180114 64008192 1252 33554432000 134512640 146736320 4286985328 4286925940 134814122 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/362/statm: 15627 1252 317 2985 0 1091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71656
[startup+12.7003 s]
/proc/loadavg: 2.14 2.03 2.19 3/177 363
/proc/meminfo: memFree=31393660/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=62640 CPUtime=12.69 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 1343 0 0 0 1269 0 0 0 20 0 1 0 391180114 64143360 1297 33554432000 134512640 146736320 4286985328 4286926192 140714084 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/362/statm: 15660 1297 317 2985 0 1124 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71788
[startup+25.5003 s]
/proc/loadavg: 2.12 2.03 2.18 3/177 363
/proc/meminfo: memFree=31381568/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=75900 CPUtime=25.48 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 6349 0 0 0 2548 0 0 0 20 0 1 0 391180114 77721600 6279 33554432000 134512640 146736320 4286985328 4286983128 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/362/statm: 18975 6279 1981 2985 0 4439 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85048
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.18 3/177 363
/proc/meminfo: memFree=31326960/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=128956 CPUtime=51.07 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 26518 0 0 0 5101 6 0 0 20 0 1 0 391180114 132050944 26388 33554432000 134512640 146736320 4286985328 4286983184 140528792 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/362/statm: 32239 26388 8799 2985 0 17703 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 138104
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.17 3/177 363
/proc/meminfo: memFree=30882676/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=602380 CPUtime=102.26 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 83347 0 0 0 10192 34 0 0 20 0 1 0 391180114 616837120 127714 33554432000 134512640 146736320 4286985328 4286978488 136015579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/362/statm: 150595 127714 840 2985 0 147529 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 611528
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.16 3/177 363
/proc/meminfo: memFree=30873580/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=605436 CPUtime=162.25 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 153259 0 0 0 16160 65 0 0 20 0 1 0 391180114 619966464 129011 33554432000 134512640 146736320 4286985328 4286979536 136403117 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/362/statm: 151359 129011 904 2985 0 148293 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 614584
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.15 3/177 363
/proc/meminfo: memFree=30869856/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=605436 CPUtime=222.24 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 164210 0 0 0 22155 69 0 0 20 0 1 0 391180114 619966464 129011 33554432000 134512640 146736320 4286985328 4286979256 136015570 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/362/statm: 151359 129011 904 2985 0 148293 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 614584
[startup+282.307 s]
/proc/loadavg: 2.01 2.02 2.14 3/177 364
/proc/meminfo: memFree=30861896/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=605436 CPUtime=282.24 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 176072 0 0 0 28152 72 0 0 20 0 1 0 391180114 619966464 129998 33554432000 134512640 146736320 4286985328 4286979036 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/362/statm: 151359 129998 904 2985 0 148293 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 614584
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/177 364
/proc/meminfo: memFree=30853204/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=605436 CPUtime=342.21 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 190279 0 0 0 34146 75 0 0 20 0 1 0 391180114 619966464 131188 33554432000 134512640 146736320 4286985328 4286979336 136388073 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/362/statm: 151359 131188 904 2985 0 148293 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 614584
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/177 364
/proc/meminfo: memFree=30845300/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=605436 CPUtime=402.21 cores=1,3,5,7
################
# More data... #
################
/proc/362/statm: 310046 242825 968 2985 0 306980 0
[pid=362/tid=459] ppid=361 vsize=1240184 CPUtime=93.73 cores=1,3,5,7
/proc/362/task/459/stat : 459 (pb_cplex) R 361 361 32044 0 -1 4202560 9466 0 0 0 9364 9 0 0 20 0 8 0 391242510 1269948416 242825 33554432000 134512640 146736320 4286985328 3502674144 139028313 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=362/tid=460] ppid=361 vsize=1240184 CPUtime=89.33 cores=1,3,5,7
/proc/362/task/460/stat : 460 (pb_cplex) R 361 361 32044 0 -1 4202560 10229 0 0 0 8924 9 0 0 20 0 8 0 391242510 1269948416 242825 33554432000 134512640 146736320 4286985328 3513159888 136008446 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=362/tid=461] ppid=361 vsize=1240184 CPUtime=90.95 cores=1,3,5,7
/proc/362/task/461/stat : 461 (pb_cplex) R 361 361 32044 0 -1 4202560 19401 0 0 0 9081 14 0 0 20 0 8 0 391242510 1269948416 242825 33554432000 134512640 146736320 4286985328 3523644604 135526874 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=362/tid=462] ppid=361 vsize=1240184 CPUtime=91.62 cores=1,3,5,7
/proc/362/task/462/stat : 462 (pb_cplex) R 361 361 32044 0 -1 4202560 9432 0 0 0 9153 9 0 0 20 0 8 0 391242510 1269948416 242825 33554432000 134512640 146736320 4286985328 3534131408 136008226 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=362/tid=463] ppid=361 vsize=1240184 CPUtime=79 cores=1,3,5,7
/proc/362/task/463/stat : 463 (pb_cplex) R 361 361 32044 0 -1 4202560 21591 0 0 0 7888 12 0 0 20 0 8 0 391242510 1269948416 242825 33554432000 134512640 146736320 4286985328 3447333072 136008047 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=362/tid=464] ppid=361 vsize=1240184 CPUtime=82.32 cores=1,3,5,7
/proc/362/task/464/stat : 464 (pb_cplex) R 361 361 32044 0 -1 4202560 15598 0 0 0 8221 11 0 0 20 0 8 0 391242510 1269948416 242825 33554432000 134512640 146736320 4286985328 3436847264 136006005 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=362/tid=465] ppid=361 vsize=1240184 CPUtime=91.25 cores=1,3,5,7
/proc/362/task/465/stat : 465 (pb_cplex) R 361 361 32044 0 -1 4202560 20852 0 0 0 9112 13 0 0 20 0 8 0 391242510 1269948416 242825 33554432000 134512640 146736320 4286985328 3418350160 136403103 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1249332
[startup+882.301 s]
/proc/loadavg: 6.79 5.22 3.42 3/184 473
/proc/meminfo: memFree=29635660/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=1941564 CPUtime=1561.91 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 784670 0 0 0 155848 343 0 0 20 0 8 0 391180114 1988161536 433287 33554432000 134512640 146736320 4286985328 4286978576 136403129 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/362/statm: 485391 433287 970 2985 0 482325 0
[pid=362/tid=467] ppid=361 vsize=1941564 CPUtime=0 cores=1,3,5,7
/proc/362/task/467/stat : 467 (pb_cplex) S 361 361 32044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391267867 1988161536 433287 33554432000 134512640 146736320 4286985328 3418353296 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=468] ppid=361 vsize=1941564 CPUtime=0 cores=1,3,5,7
/proc/362/task/468/stat : 468 (pb_cplex) S 361 361 32044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391267867 1988161536 433287 33554432000 134512640 146736320 4286985328 3436850832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=362/tid=469] ppid=361 vsize=1941564 CPUtime=0 cores=1,3,5,7
/proc/362/task/469/stat : 469 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1988161536 433287 33554432000 134512640 146736320 4286985328 3447336592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=470] ppid=361 vsize=1941564 CPUtime=0 cores=1,3,5,7
/proc/362/task/470/stat : 470 (pb_cplex) S 361 361 32044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391267867 1988161536 433287 33554432000 134512640 146736320 4286985328 3534134928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=362/tid=471] ppid=361 vsize=1941564 CPUtime=0 cores=1,3,5,7
/proc/362/task/471/stat : 471 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1988161536 433287 33554432000 134512640 146736320 4286985328 2538426000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=472] ppid=361 vsize=1941564 CPUtime=0 cores=1,3,5,7
/proc/362/task/472/stat : 472 (pb_cplex) S 361 361 32044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391267867 1988161536 433287 33554432000 134512640 146736320 4286985328 2527940240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=473] ppid=361 vsize=1941564 CPUtime=0 cores=1,3,5,7
/proc/362/task/473/stat : 473 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1988161536 433287 33554432000 134512640 146736320 4286985328 2517454480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1561.91
Current children cumulated vsize (KiB) 1950712
[startup+942.307 s]
/proc/loadavg: 3.76 4.63 3.33 3/184 473
/proc/meminfo: memFree=29618884/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=1946520 CPUtime=1621.9 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 795546 0 0 0 161843 347 0 0 20 0 8 0 391180114 1993236480 437371 33554432000 134512640 146736320 4286985328 4286978184 136388563 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/362/statm: 486630 437371 970 2985 0 483564 0
[pid=362/tid=467] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/467/stat : 467 (pb_cplex) S 361 361 32044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 437371 33554432000 134512640 146736320 4286985328 3418353296 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=468] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/468/stat : 468 (pb_cplex) S 361 361 32044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 437371 33554432000 134512640 146736320 4286985328 3436850832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=362/tid=469] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/469/stat : 469 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 437371 33554432000 134512640 146736320 4286985328 3447336592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=470] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/470/stat : 470 (pb_cplex) S 361 361 32044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 437371 33554432000 134512640 146736320 4286985328 3534134928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=362/tid=471] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/471/stat : 471 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 437371 33554432000 134512640 146736320 4286985328 2538426000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=472] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/472/stat : 472 (pb_cplex) S 361 361 32044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 437371 33554432000 134512640 146736320 4286985328 2527940240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=473] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/473/stat : 473 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 437371 33554432000 134512640 146736320 4286985328 2517454480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1621.9
Current children cumulated vsize (KiB) 1955668
[startup+1002.3 s]
/proc/loadavg: 2.64 4.15 3.25 3/184 473
/proc/meminfo: memFree=29611756/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=1946520 CPUtime=1681.87 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 805570 0 0 0 167838 349 0 0 20 0 8 0 391180114 1993236480 439130 33554432000 134512640 146736320 4286985328 4286978192 136008065 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/362/statm: 486630 439130 970 2985 0 483564 0
[pid=362/tid=467] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/467/stat : 467 (pb_cplex) S 361 361 32044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439130 33554432000 134512640 146736320 4286985328 3418353296 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=468] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/468/stat : 468 (pb_cplex) S 361 361 32044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439130 33554432000 134512640 146736320 4286985328 3436850832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=362/tid=469] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/469/stat : 469 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439130 33554432000 134512640 146736320 4286985328 3447336592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=470] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/470/stat : 470 (pb_cplex) S 361 361 32044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439130 33554432000 134512640 146736320 4286985328 3534134928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=362/tid=471] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/471/stat : 471 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439130 33554432000 134512640 146736320 4286985328 2538426000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=472] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/472/stat : 472 (pb_cplex) S 361 361 32044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439130 33554432000 134512640 146736320 4286985328 2527940240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=473] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/473/stat : 473 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439130 33554432000 134512640 146736320 4286985328 2517454480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1681.87
Current children cumulated vsize (KiB) 1955668
[startup+1062.3 s]
/proc/loadavg: 2.23 3.75 3.16 3/185 476
/proc/meminfo: memFree=29611056/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=1946520 CPUtime=1741.85 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 815952 0 0 0 173833 352 0 0 20 0 8 0 391180114 1993236480 439285 33554432000 134512640 146736320 4286985328 4286978056 139042910 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/362/statm: 486630 439285 970 2985 0 483564 0
[pid=362/tid=467] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/467/stat : 467 (pb_cplex) S 361 361 32044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439285 33554432000 134512640 146736320 4286985328 3418353296 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=468] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/468/stat : 468 (pb_cplex) S 361 361 32044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439285 33554432000 134512640 146736320 4286985328 3436850832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=362/tid=469] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/469/stat : 469 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439285 33554432000 134512640 146736320 4286985328 3447336592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=470] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/470/stat : 470 (pb_cplex) S 361 361 32044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439285 33554432000 134512640 146736320 4286985328 3534134928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=362/tid=471] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/471/stat : 471 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439285 33554432000 134512640 146736320 4286985328 2538426000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=472] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/472/stat : 472 (pb_cplex) S 361 361 32044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439285 33554432000 134512640 146736320 4286985328 2527940240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=473] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/473/stat : 473 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 439285 33554432000 134512640 146736320 4286985328 2517454480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1741.85
Current children cumulated vsize (KiB) 1955668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1120.51 s]
/proc/loadavg: 2.14 3.47 3.10 3/184 476
/proc/meminfo: memFree=29606220/32873852 swapFree=6860/6860
[pid=361] ppid=359 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/361/stat : 361 (run) S 359 361 32044 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391180114 9367552 269 33554432000 4194304 5064252 140734791553872 140734791552784 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/361/statm: 2287 269 229 213 0 72 0
[pid=362] ppid=361 vsize=1946520 CPUtime=1800.04 cores=1,3,5,7
/proc/362/stat : 362 (pb_cplex) R 361 361 32044 0 -1 4202496 825451 0 0 0 179649 355 0 0 20 0 8 0 391180114 1993236480 440481 33554432000 134512640 146736320 4286985328 4286978440 135999628 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/362/statm: 486630 440481 970 2985 0 483564 0
[pid=362/tid=467] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/467/stat : 467 (pb_cplex) S 361 361 32044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 440481 33554432000 134512640 146736320 4286985328 3418353296 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=468] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/468/stat : 468 (pb_cplex) S 361 361 32044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 440481 33554432000 134512640 146736320 4286985328 3436850832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=362/tid=469] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/469/stat : 469 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 440481 33554432000 134512640 146736320 4286985328 3447336592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=470] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/470/stat : 470 (pb_cplex) S 361 361 32044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 440481 33554432000 134512640 146736320 4286985328 3534134928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=362/tid=471] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/471/stat : 471 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 440481 33554432000 134512640 146736320 4286985328 2538426000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=472] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/472/stat : 472 (pb_cplex) S 361 361 32044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 440481 33554432000 134512640 146736320 4286985328 2527940240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=362/tid=473] ppid=361 vsize=1946520 CPUtime=0 cores=1,3,5,7
/proc/362/task/473/stat : 473 (pb_cplex) S 361 361 32044 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391267867 1993236480 440481 33554432000 134512640 146736320 4286985328 2517454480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1955668
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 361 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.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1120.53
CPU time (s): 1800.04
CPU user time (s): 1796.49
CPU system time (s): 3.55
CPU usage (%): 160.642
Max. virtual memory (cumulated for all children) (KiB): 1957964
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= 355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1
runsolver used 2.43163 second user time and 7.77582 second system time
The end