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-3737337-1339248641/watcher-3737337-1339248641 -o /tmp/evaluation-result-3737337-1339248641/solver-3737337-1339248641 -C 1800 -W 1900 -M 15500 run HOME/instance-3737337-1339248641.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: 2.01 1.93 2.00 4/178 30308
/proc/meminfo: memFree=29212788/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[startup+0.00997505 s]
/proc/loadavg: 2.01 1.93 2.00 4/178 30308
/proc/meminfo: memFree=29212788/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10027 s]
/proc/loadavg: 2.01 1.93 2.00 4/178 30308
/proc/meminfo: memFree=29212788/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300239 s]
/proc/loadavg: 2.01 1.93 2.00 4/178 30308
/proc/meminfo: memFree=29212788/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700239 s]
/proc/loadavg: 2.01 1.93 2.00 4/178 30308
/proc/meminfo: memFree=29212788/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.01 1.93 2.00 3/180 30310
/proc/meminfo: memFree=29202596/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=23344 CPUtime=1.49 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 5860 0 0 0 146 3 0 0 20 0 1 0 390988483 23904256 3176 33554432000 134512640 146736320 4294775776 4294769884 135854505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/30309/statm: 5836 3176 910 2985 0 2770 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32492
[startup+3.10028 s]
/proc/loadavg: 2.01 1.93 2.00 3/180 30310
/proc/meminfo: memFree=29202340/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=23556 CPUtime=3.09 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 7442 0 0 0 305 4 0 0 20 0 1 0 390988483 24121344 3204 33554432000 134512640 146736320 4294775776 4294770248 136000532 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/30309/statm: 5889 3204 910 2985 0 2823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32704
[startup+6.30027 s]
/proc/loadavg: 2.01 1.93 2.00 3/179 30310
/proc/meminfo: memFree=29200612/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=25892 CPUtime=6.29 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 12309 0 0 0 624 5 0 0 20 0 1 0 390988483 26513408 3660 33554432000 134512640 146736320 4294775776 4294771612 136406491 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/30309/statm: 6473 3660 910 2985 0 3407 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35040
[startup+12.7004 s]
/proc/loadavg: 2.01 1.93 2.00 3/187 30318
/proc/meminfo: memFree=29193140/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=108016 CPUtime=12.68 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 19571 0 0 0 1258 10 0 0 20 0 8 0 390988483 110608384 5540 33554432000 134512640 146736320 4294775776 4294769040 136403117 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30309/statm: 27004 5540 941 2985 0 23938 0
[pid=30309/tid=30312] ppid=30308 vsize=108016 CPUtime=0 cores=0,2,4,6
/proc/30309/task/30312/stat : 30312 (pb_cplex) S 30308 30308 29579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390989608 110608384 5540 33554432000 134512640 146736320 4294775776 4149354128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30313] ppid=30308 vsize=108016 CPUtime=0 cores=0,2,4,6
/proc/30309/task/30313/stat : 30313 (pb_cplex) S 30308 30308 29579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390989608 110608384 5540 33554432000 134512640 146736320 4294775776 4138868368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30314] ppid=30308 vsize=108016 CPUtime=0 cores=0,2,4,6
/proc/30309/task/30314/stat : 30314 (pb_cplex) S 30308 30308 29579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390989608 110608384 5540 33554432000 134512640 146736320 4294775776 4128382608 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30309/tid=30315] ppid=30308 vsize=108016 CPUtime=0 cores=0,2,4,6
/proc/30309/task/30315/stat : 30315 (pb_cplex) S 30308 30308 29579 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390989608 110608384 5540 33554432000 134512640 146736320 4294775776 4117896848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30316] ppid=30308 vsize=108016 CPUtime=0 cores=0,2,4,6
/proc/30309/task/30316/stat : 30316 (pb_cplex) S 30308 30308 29579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390989608 110608384 5540 33554432000 134512640 146736320 4294775776 4107411088 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30317] ppid=30308 vsize=108016 CPUtime=0 cores=0,2,4,6
/proc/30309/task/30317/stat : 30317 (pb_cplex) S 30308 30308 29579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390989608 110608384 5540 33554432000 134512640 146736320 4294775776 4096925328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30318] ppid=30308 vsize=108016 CPUtime=0 cores=0,2,4,6
/proc/30309/task/30318/stat : 30318 (pb_cplex) S 30308 30308 29579 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390989608 110608384 5540 33554432000 134512640 146736320 4294775776 4086439568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 117164
############
# WARNING:
# current cumulated CPU time (55.96 s) is less than in the last sample (55.96 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.8147e-06 s) to the 'lost time'.
[startup+25.2005 s]
/proc/loadavg: 2.93 2.14 2.06 3/186 30318
/proc/meminfo: memFree=29177216/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=129256 CPUtime=55.96 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) S 30308 30308 29579 0 -1 4202496 24786 0 0 0 5574 22 0 0 20 0 8 0 390988483 132358144 9334 33554432000 134512640 146736320 4294775776 4294772176 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30309/statm: 32314 9334 958 2985 0 29248 0
[pid=30309/tid=30312] ppid=30308 vsize=129256 CPUtime=6.26 cores=0,2,4,6
/proc/30309/task/30312/stat : 30312 (pb_cplex) S 30308 30308 29579 0 -1 4202560 582 0 0 0 626 0 0 0 20 0 8 0 390989608 132358144 9334 33554432000 134512640 146736320 4294775776 4149354128 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30309/tid=30313] ppid=30308 vsize=129256 CPUtime=5.51 cores=0,2,4,6
/proc/30309/task/30313/stat : 30313 (pb_cplex) S 30308 30308 29579 0 -1 4202560 463 0 0 0 551 0 0 0 20 0 8 0 390989608 132358144 9334 33554432000 134512640 146736320 4294775776 4138868368 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30314] ppid=30308 vsize=129256 CPUtime=4.85 cores=0,2,4,6
/proc/30309/task/30314/stat : 30314 (pb_cplex) S 30308 30308 29579 0 -1 4202560 444 0 0 0 484 1 0 0 20 0 8 0 390989608 132358144 9334 33554432000 134512640 146736320 4294775776 4128382608 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30315] ppid=30308 vsize=129256 CPUtime=5.43 cores=0,2,4,6
/proc/30309/task/30315/stat : 30315 (pb_cplex) S 30308 30308 29579 0 -1 4202560 513 0 0 0 542 1 0 0 20 0 8 0 390989608 132358144 9334 33554432000 134512640 146736320 4294775776 4117896848 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30316] ppid=30308 vsize=129256 CPUtime=5.21 cores=0,2,4,6
/proc/30309/task/30316/stat : 30316 (pb_cplex) R 30308 30308 29579 0 -1 4202560 2007 0 0 0 519 2 0 0 20 0 8 0 390989608 132358144 9334 33554432000 134512640 146736320 4294775776 4107407816 136001996 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30309/tid=30317] ppid=30308 vsize=129256 CPUtime=4.62 cores=0,2,4,6
/proc/30309/task/30317/stat : 30317 (pb_cplex) S 30308 30308 29579 0 -1 4202560 505 0 0 0 462 0 0 0 20 0 8 0 390989608 132358144 9334 33554432000 134512640 146736320 4294775776 4096925328 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30318] ppid=30308 vsize=129256 CPUtime=5.25 cores=0,2,4,6
/proc/30309/task/30318/stat : 30318 (pb_cplex) S 30308 30308 29579 0 -1 4202560 608 0 0 0 523 2 0 0 20 0 8 0 390989608 132358144 9334 33554432000 134512640 146736320 4294775776 4086439568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 55.96
Current children cumulated vsize (KiB) 138404
[startup+25.3066 s]
/proc/loadavg: 2.93 2.14 2.06 3/186 30318
/proc/meminfo: memFree=29177216/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=81452 CPUtime=55.96 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 24825 0 0 0 5570 26 0 0 20 0 1 0 390988483 83406848 6182 33554432000 134512640 146736320 4294775776 4294770436 136385179 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30309/statm: 20363 6182 960 2985 0 17297 0
Current children cumulated CPU time (s) 55.96
Current children cumulated vsize (KiB) 90600
#
############
[startup+25.5002 s]
/proc/loadavg: 2.93 2.14 2.06 3/186 30318
/proc/meminfo: memFree=29177216/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=81452 CPUtime=56.15 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 24825 0 0 0 5589 26 0 0 20 0 1 0 390988483 83406848 6182 33554432000 134512640 146736320 4294775776 4294770408 139044538 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30309/statm: 20363 6182 960 2985 0 17297 0
Current children cumulated CPU time (s) 56.15
Current children cumulated vsize (KiB) 90600
[startup+51.1004 s]
/proc/loadavg: 3.69 2.35 2.14 8/186 30332
/proc/meminfo: memFree=29089792/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=219044 CPUtime=118.75 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 52665 0 0 0 11829 46 0 0 20 0 8 0 390988483 224301056 31013 33554432000 134512640 146736320 4294775776 4294768840 136388081 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30309/statm: 54761 31013 970 2985 0 51695 0
[pid=30309/tid=30326] ppid=30308 vsize=219044 CPUtime=7.59 cores=0,2,4,6
/proc/30309/task/30326/stat : 30326 (pb_cplex) S 30308 30308 29579 0 -1 4202560 40 0 0 0 759 0 0 0 20 0 8 0 390991862 224301056 31013 33554432000 134512640 146736320 4294775776 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30327] ppid=30308 vsize=219044 CPUtime=5.96 cores=0,2,4,6
/proc/30309/task/30327/stat : 30327 (pb_cplex) R 30308 30308 29579 0 -1 4202560 1758 0 0 0 595 1 0 0 20 0 8 0 390991862 224301056 31013 33554432000 134512640 146736320 4294775776 4066369544 135468212 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30328] ppid=30308 vsize=219044 CPUtime=6.71 cores=0,2,4,6
################
# More data... #
################
[pid=30309/tid=30330] ppid=30308 vsize=262860 CPUtime=82.79 cores=0,2,4,6
/proc/30309/task/30330/stat : 30330 (pb_cplex) R 30308 30308 29579 0 -1 4202560 14558 0 0 0 8251 28 0 0 20 0 8 0 390991862 269168640 43241 33554432000 134512640 146736320 4294775776 4004574280 139043478 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30309/tid=30331] ppid=30308 vsize=262860 CPUtime=83.4 cores=0,2,4,6
/proc/30309/task/30331/stat : 30331 (pb_cplex) R 30308 30308 29579 0 -1 4202560 18040 0 0 0 8316 24 0 0 20 0 8 0 390991862 269168640 43241 33554432000 134512640 146736320 4294775776 3994085904 136008050 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30332] ppid=30308 vsize=262860 CPUtime=84.11 cores=0,2,4,6
/proc/30309/task/30332/stat : 30332 (pb_cplex) R 30308 30308 29579 0 -1 4202560 23789 0 0 0 8370 41 0 0 20 0 8 0 390991862 269168640 43241 33554432000 134512640 146736320 4294775776 3983602768 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 744.74
Current children cumulated vsize (KiB) 272008
[startup+282.3 s]
/proc/loadavg: 8.33 5.42 3.41 8/186 30332
/proc/meminfo: memFree=29040644/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=264692 CPUtime=984.32 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) S 30308 30308 29579 0 -1 4202496 168744 0 0 0 98168 264 0 0 20 0 8 0 390988483 271044608 43298 33554432000 134512640 146736320 4294775776 4294772176 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30309/statm: 66173 43298 982 2985 0 63107 0
[pid=30309/tid=30326] ppid=30308 vsize=264692 CPUtime=118.98 cores=0,2,4,6
/proc/30309/task/30326/stat : 30326 (pb_cplex) S 30308 30308 29579 0 -1 4202560 8449 0 0 0 11870 28 0 0 20 0 8 0 390991862 271044608 43298 33554432000 134512640 146736320 4294775776 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30327] ppid=30308 vsize=264692 CPUtime=114.35 cores=0,2,4,6
/proc/30309/task/30327/stat : 30327 (pb_cplex) R 30308 30308 29579 0 -1 4202560 10489 0 0 0 11414 21 0 0 20 0 8 0 390991862 271044608 43298 33554432000 134512640 146736320 4294775776 4066365520 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30328] ppid=30308 vsize=264692 CPUtime=115.67 cores=0,2,4,6
/proc/30309/task/30328/stat : 30328 (pb_cplex) R 30308 30308 29579 0 -1 4202560 22425 0 0 0 11540 27 0 0 20 0 8 0 390991862 271044608 43298 33554432000 134512640 146736320 4294775776 4138811336 139042890 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30329] ppid=30308 vsize=264692 CPUtime=116.28 cores=0,2,4,6
/proc/30309/task/30329/stat : 30329 (pb_cplex) R 30308 30308 29579 0 -1 4202560 5127 0 0 0 11608 20 0 0 20 0 8 0 390991862 271044608 43298 33554432000 134512640 146736320 4294775776 4117889488 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30330] ppid=30308 vsize=264692 CPUtime=100.28 cores=0,2,4,6
/proc/30309/task/30330/stat : 30330 (pb_cplex) S 30308 30308 29579 0 -1 4202560 18751 0 0 0 9997 31 0 0 20 0 8 0 390991862 271044608 43298 33554432000 134512640 146736320 4294775776 4004581008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30309/tid=30331] ppid=30308 vsize=264692 CPUtime=115.59 cores=0,2,4,6
/proc/30309/task/30331/stat : 30331 (pb_cplex) R 30308 30308 29579 0 -1 4202560 32839 0 0 0 11528 31 0 0 20 0 8 0 390991862 271044608 43298 33554432000 134512640 146736320 4294775776 3994086152 136001608 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30309/tid=30332] ppid=30308 vsize=264692 CPUtime=115.63 cores=0,2,4,6
/proc/30309/task/30332/stat : 30332 (pb_cplex) R 30308 30308 29579 0 -1 4202560 23881 0 0 0 11519 44 0 0 20 0 8 0 390991862 271044608 43298 33554432000 134512640 146736320 4294775776 3983600560 136384892 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 984.32
Current children cumulated vsize (KiB) 273840
[startup+342.3 s]
/proc/loadavg: 6.49 5.38 3.52 10/186 30333
/proc/meminfo: memFree=29047340/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=251920 CPUtime=1165.93 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 169880 0 0 0 116250 343 0 0 20 0 8 0 390988483 257966080 41421 33554432000 134512640 146736320 4294775776 4294768656 136008167 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 62980 41421 982 2985 0 59914 0
[pid=30309/tid=30326] ppid=30308 vsize=251920 CPUtime=134.66 cores=0,2,4,6
/proc/30309/task/30326/stat : 30326 (pb_cplex) R 30308 30308 29579 0 -1 4202560 8450 0 0 0 13429 37 0 0 20 0 8 0 390991862 257966080 41421 33554432000 134512640 146736320 4294775776 4053787016 136388065 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30309/tid=30327] ppid=30308 vsize=251920 CPUtime=153.07 cores=0,2,4,6
/proc/30309/task/30327/stat : 30327 (pb_cplex) R 30308 30308 29579 0 -1 4202560 10544 0 0 0 15273 34 0 0 20 0 8 0 390991862 257966080 41421 33554432000 134512640 146736320 4294775776 4066369628 135854513 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30309/tid=30328] ppid=30308 vsize=251920 CPUtime=151.14 cores=0,2,4,6
/proc/30309/task/30328/stat : 30328 (pb_cplex) R 30308 30308 29579 0 -1 4202560 23351 0 0 0 15073 41 0 0 20 0 8 0 390991862 257966080 41421 33554432000 134512640 146736320 4294775776 4138815696 136008172 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30329] ppid=30308 vsize=251920 CPUtime=142.75 cores=0,2,4,6
/proc/30309/task/30329/stat : 30329 (pb_cplex) R 30308 30308 29579 0 -1 4202560 5179 0 0 0 14241 34 0 0 20 0 8 0 390991862 257966080 41421 33554432000 134512640 146736320 4294775776 4117894168 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30309/tid=30330] ppid=30308 vsize=251920 CPUtime=114.91 cores=0,2,4,6
/proc/30309/task/30330/stat : 30330 (pb_cplex) R 30308 30308 29579 0 -1 4202560 18752 0 0 0 11454 37 0 0 20 0 8 0 390991862 257966080 41421 33554432000 134512640 146736320 4294775776 4004577872 136403116 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30309/tid=30331] ppid=30308 vsize=251920 CPUtime=133.46 cores=0,2,4,6
/proc/30309/task/30331/stat : 30331 (pb_cplex) R 30308 30308 29579 0 -1 4202560 32881 0 0 0 13306 40 0 0 20 0 8 0 390991862 257966080 41421 33554432000 134512640 146736320 4294775776 3994092112 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30332] ppid=30308 vsize=251920 CPUtime=132.99 cores=0,2,4,6
/proc/30309/task/30332/stat : 30332 (pb_cplex) R 30308 30308 29579 0 -1 4202560 23939 0 0 0 13244 55 0 0 20 0 8 0 390991862 257966080 41421 33554432000 134512640 146736320 4294775776 3983605852 135854543 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1165.93
Current children cumulated vsize (KiB) 261068
[startup+402.3 s]
/proc/loadavg: 6.92 5.69 3.74 9/186 30333
/proc/meminfo: memFree=29047216/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=252944 CPUtime=1375.87 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 171170 0 0 0 137156 431 0 0 20 0 8 0 390988483 259014656 41526 33554432000 134512640 146736320 4294775776 4294769448 144757825 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30309/statm: 63236 41526 982 2985 0 60170 0
[pid=30309/tid=30326] ppid=30308 vsize=252944 CPUtime=160.15 cores=0,2,4,6
/proc/30309/task/30326/stat : 30326 (pb_cplex) R 30308 30308 29579 0 -1 4202560 8450 0 0 0 15969 46 0 0 20 0 8 0 390991862 259014656 41526 33554432000 134512640 146736320 4294775776 4053787216 136403129 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30309/tid=30327] ppid=30308 vsize=252944 CPUtime=179.07 cores=0,2,4,6
/proc/30309/task/30327/stat : 30327 (pb_cplex) R 30308 30308 29579 0 -1 4202560 10544 0 0 0 17863 44 0 0 20 0 8 0 390991862 259014656 41526 33554432000 134512640 146736320 4294775776 4066370128 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30328] ppid=30308 vsize=252944 CPUtime=177.04 cores=0,2,4,6
/proc/30309/task/30328/stat : 30328 (pb_cplex) R 30308 30308 29579 0 -1 4202560 23583 0 0 0 17654 50 0 0 20 0 8 0 390991862 259014656 41526 33554432000 134512640 146736320 4294775776 4138815696 136008266 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30329] ppid=30308 vsize=252944 CPUtime=169.4 cores=0,2,4,6
/proc/30309/task/30329/stat : 30329 (pb_cplex) R 30308 30308 29579 0 -1 4202560 5190 0 0 0 16894 46 0 0 20 0 8 0 390991862 259014656 41526 33554432000 134512640 146736320 4294775776 4117893328 136008364 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30330] ppid=30308 vsize=252944 CPUtime=142.04 cores=0,2,4,6
/proc/30309/task/30330/stat : 30330 (pb_cplex) R 30308 30308 29579 0 -1 4202560 18752 0 0 0 14155 49 0 0 20 0 8 0 390991862 259014656 41526 33554432000 134512640 146736320 4294775776 4004577488 136008065 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30309/tid=30331] ppid=30308 vsize=252944 CPUtime=160.01 cores=0,2,4,6
/proc/30309/task/30331/stat : 30331 (pb_cplex) R 30308 30308 29579 0 -1 4202560 33422 0 0 0 15947 54 0 0 20 0 8 0 390991862 259014656 41526 33554432000 134512640 146736320 4294775776 3994091728 136008245 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30332] ppid=30308 vsize=252944 CPUtime=158.21 cores=0,2,4,6
/proc/30309/task/30332/stat : 30332 (pb_cplex) R 30308 30308 29579 0 -1 4202560 24445 0 0 0 15752 69 0 0 20 0 8 0 390991862 259014656 41526 33554432000 134512640 146736320 4294775776 3983606352 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1375.87
Current children cumulated vsize (KiB) 262092
[startup+462.3 s]
/proc/loadavg: 7.24 5.99 3.96 9/186 30333
/proc/meminfo: memFree=29044488/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=256016 CPUtime=1594.79 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 174275 0 0 0 158939 540 0 0 20 0 8 0 390988483 262160384 42196 33554432000 134512640 146736320 4294775776 4294768656 136008450 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30309/statm: 64004 42196 982 2985 0 60938 0
[pid=30309/tid=30326] ppid=30308 vsize=256016 CPUtime=187.69 cores=0,2,4,6
/proc/30309/task/30326/stat : 30326 (pb_cplex) R 30308 30308 29579 0 -1 4202560 8450 0 0 0 18712 57 0 0 20 0 8 0 390991862 262160384 42196 33554432000 134512640 146736320 4294775776 4053786812 135526884 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30309/tid=30327] ppid=30308 vsize=256016 CPUtime=206.03 cores=0,2,4,6
/proc/30309/task/30327/stat : 30327 (pb_cplex) R 30308 30308 29579 0 -1 4202560 10544 0 0 0 20542 61 0 0 20 0 8 0 390991862 262160384 42196 33554432000 134512640 146736320 4294775776 4066370536 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30328] ppid=30308 vsize=256016 CPUtime=205.16 cores=0,2,4,6
/proc/30309/task/30328/stat : 30328 (pb_cplex) R 30308 30308 29579 0 -1 4202560 23818 0 0 0 20451 65 0 0 20 0 8 0 390991862 262160384 42196 33554432000 134512640 146736320 4294775776 4138815528 139044591 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30329] ppid=30308 vsize=256016 CPUtime=196.9 cores=0,2,4,6
/proc/30309/task/30329/stat : 30329 (pb_cplex) R 30308 30308 29579 0 -1 4202560 5760 0 0 0 19629 61 0 0 20 0 8 0 390991862 262160384 42196 33554432000 134512640 146736320 4294775776 4117893328 136008245 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30330] ppid=30308 vsize=256016 CPUtime=169.4 cores=0,2,4,6
/proc/30309/task/30330/stat : 30330 (pb_cplex) R 30308 30308 29579 0 -1 4202560 18752 0 0 0 16879 61 0 0 20 0 8 0 390991862 262160384 42196 33554432000 134512640 146736320 4294775776 4004577320 139044581 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30331] ppid=30308 vsize=256016 CPUtime=186.93 cores=0,2,4,6
/proc/30309/task/30331/stat : 30331 (pb_cplex) R 30308 30308 29579 0 -1 4202560 35249 0 0 0 18628 65 0 0 20 0 8 0 390991862 262160384 42196 33554432000 134512640 146736320 4294775776 3994091728 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30309/tid=30332] ppid=30308 vsize=256016 CPUtime=184.99 cores=0,2,4,6
/proc/30309/task/30332/stat : 30332 (pb_cplex) R 30308 30308 29579 0 -1 4202560 24918 0 0 0 18414 85 0 0 20 0 8 0 390991862 262160384 42196 33554432000 134512640 146736320 4294775776 3983605968 136008042 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1594.79
Current children cumulated vsize (KiB) 265164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+519.207 s]
/proc/loadavg: 8.27 6.51 4.27 10/186 30333
/proc/meminfo: memFree=29042504/32873844 swapFree=7628/7628
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (run) S 30306 30308 29579 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390988483 9367552 270 33554432000 4194304 5064252 140733904279376 140733904278288 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30308/statm: 2287 270 229 213 0 72 0
[pid=30309] ppid=30308 vsize=259632 CPUtime=1800.08 cores=0,2,4,6
/proc/30309/stat : 30309 (pb_cplex) R 30308 30308 29579 0 -1 4202496 179161 0 0 0 179365 643 0 0 20 0 8 0 390988483 265863168 42782 33554432000 134512640 146736320 4294775776 4294768656 136008178 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30309/statm: 64908 42782 982 2985 0 61842 0
[pid=30309/tid=30326] ppid=30308 vsize=259632 CPUtime=213.09 cores=0,2,4,6
/proc/30309/task/30326/stat : 30326 (pb_cplex) R 30308 30308 29579 0 -1 4202560 8450 0 0 0 21239 70 0 0 20 0 8 0 390991862 265863168 42782 33554432000 134512640 146736320 4294775776 4053786832 136008266 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30327] ppid=30308 vsize=259632 CPUtime=231.4 cores=0,2,4,6
/proc/30309/task/30327/stat : 30327 (pb_cplex) R 30308 30308 29579 0 -1 4202560 10544 0 0 0 23071 69 0 0 20 0 8 0 390991862 265863168 42782 33554432000 134512640 146736320 4294775776 4066369608 139042864 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30309/tid=30328] ppid=30308 vsize=259632 CPUtime=230.47 cores=0,2,4,6
/proc/30309/task/30328/stat : 30328 (pb_cplex) R 30308 30308 29579 0 -1 4202560 24194 0 0 0 22969 78 0 0 20 0 8 0 390991862 265863168 42782 33554432000 134512640 146736320 4294775776 4138816080 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30329] ppid=30308 vsize=259632 CPUtime=221.87 cores=0,2,4,6
/proc/30309/task/30329/stat : 30329 (pb_cplex) R 30308 30308 29579 0 -1 4202560 6479 0 0 0 22113 74 0 0 20 0 8 0 390991862 265863168 42782 33554432000 134512640 146736320 4294775776 4117894120 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30309/tid=30330] ppid=30308 vsize=259632 CPUtime=196.05 cores=0,2,4,6
/proc/30309/task/30330/stat : 30330 (pb_cplex) R 30308 30308 29579 0 -1 4202560 18752 0 0 0 19524 81 0 0 20 0 8 0 390991862 265863168 42782 33554432000 134512640 146736320 4294775776 4004577372 135854535 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30309/tid=30331] ppid=30308 vsize=259632 CPUtime=212.35 cores=0,2,4,6
/proc/30309/task/30331/stat : 30331 (pb_cplex) R 30308 30308 29579 0 -1 4202560 36978 0 0 0 21152 83 0 0 20 0 8 0 390991862 265863168 42782 33554432000 134512640 146736320 4294775776 3994092520 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30309/tid=30332] ppid=30308 vsize=259632 CPUtime=210.63 cores=0,2,4,6
/proc/30309/task/30332/stat : 30332 (pb_cplex) R 30308 30308 29579 0 -1 4202560 26980 0 0 0 20964 99 0 0 20 0 8 0 390991862 265863168 42782 33554432000 134512640 146736320 4294775776 3983605968 136008266 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 268780
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 30308 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 3.8147e-06
# lost CPU user time (s): 0.0400009
# lost CPU system time (s): -0.04
Real time (s): 519.223
CPU time (s): 1800.08
CPU user time (s): 1793.69
CPU system time (s): 6.39
CPU usage (%): 346.688
Max. virtual memory (cumulated for all children) (KiB): 282668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2
runsolver used 1.25381 second user time and 3.33249 second system time
The end