runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460709-1307108814/watcher-3460709-1307108814 -o /tmp/evaluation-result-3460709-1307108814/solver-3460709-1307108814 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460709-1307108814.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.10 2.04 2.01 2/535 10444
/proc/meminfo: memFree=25002920/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=5468 CPUtime=0 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 570 0 0 0 0 0 0 0 25 0 1 0 803297722 5599232 524 33554432000 4194304 5714214 140735535832928 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 1367 524 188 372 0 402 0
[startup+0.0382461 s]
/proc/loadavg: 2.10 2.04 2.01 2/535 10444
/proc/meminfo: memFree=25002920/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=7720 CPUtime=0.03 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 1176 0 0 0 3 0 0 0 25 0 1 0 803297722 7905280 1130 33554432000 4194304 5714214 140735535832928 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 1930 1132 294 372 0 965 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7720
[startup+0.100251 s]
/proc/loadavg: 2.10 2.04 2.01 2/535 10444
/proc/meminfo: memFree=25002920/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=12268 CPUtime=0.09 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 2493 0 0 0 9 0 0 0 25 0 1 0 803297722 12562432 2414 33554432000 4194304 5714214 140735535832928 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 3067 2415 523 372 0 2102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12268
[startup+0.301218 s]
/proc/loadavg: 2.10 2.04 2.01 2/535 10444
/proc/meminfo: memFree=25002920/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=36952 CPUtime=0.29 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 10542 0 0 0 28 1 0 0 18 0 1 0 803297722 37838848 8699 33554432000 4194304 5714214 140735535832928 18446744073709551615 4345930 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 9238 8699 176 372 0 8863 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36952
[startup+0.701153 s]
/proc/loadavg: 2.10 2.04 2.01 2/535 10444
/proc/meminfo: memFree=25002920/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=38312 CPUtime=0.69 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 11232 0 0 0 67 2 0 0 18 0 1 0 803297722 39231488 9079 33554432000 4194304 5714214 140735535832928 18446744073709551615 4327563 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 9578 9079 179 372 0 9203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38312
[startup+1.501 s]
/proc/loadavg: 2.10 2.04 2.01 3/536 10445
/proc/meminfo: memFree=24965092/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=39288 CPUtime=1.49 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 11574 0 0 0 144 5 0 0 19 0 1 0 803297722 40230912 9421 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 9822 9421 180 372 0 9447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39288
[startup+3.10071 s]
/proc/loadavg: 2.10 2.04 2.00 3/536 10445
/proc/meminfo: memFree=24963976/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=39288 CPUtime=3.09 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 11574 0 0 0 302 7 0 0 24 0 1 0 803297722 40230912 9421 33554432000 4194304 5714214 140735535832928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 9822 9421 180 372 0 9447 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39288
[startup+6.30114 s]
/proc/loadavg: 2.10 2.04 2.00 4/536 10445
/proc/meminfo: memFree=24951124/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=51020 CPUtime=6.29 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 14387 0 0 0 616 13 0 0 25 0 1 0 803297722 52244480 12234 33554432000 4194304 5714214 140735535832928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 12755 12234 180 372 0 12380 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51020
[startup+12.701 s]
/proc/loadavg: 2.08 2.04 2.00 4/536 10445
/proc/meminfo: memFree=24936876/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=61892 CPUtime=12.69 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 17163 0 0 0 1249 20 0 0 25 0 1 0 803297722 63377408 15010 33554432000 4194304 5714214 140735535832928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 15473 15010 180 372 0 15098 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61892
[startup+25.5007 s]
/proc/loadavg: 2.07 2.04 2.00 4/536 10445
/proc/meminfo: memFree=24847444/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=145420 CPUtime=25.49 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 38042 0 0 0 2523 26 0 0 25 0 1 0 803297722 148910080 35889 33554432000 4194304 5714214 140735535832928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 36355 35889 180 372 0 35980 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 145420
[startup+51.1011 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 10446
/proc/meminfo: memFree=24711384/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=281600 CPUtime=51.09 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 72095 0 0 0 5068 41 0 0 25 0 1 0 803297722 288358400 69942 33554432000 4194304 5714214 140735535832928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 70400 69942 180 372 0 70025 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 281600
[startup+102.32 s]
/proc/loadavg: 2.04 2.04 2.00 4/536 10447
/proc/meminfo: memFree=24521944/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=460948 CPUtime=102.31 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 116883 0 0 0 10171 60 0 0 25 0 1 0 803297722 472010752 114730 33554432000 4194304 5714214 140735535832928 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 115237 114730 180 372 0 114862 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 460948
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 10449
/proc/meminfo: memFree=24295720/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=673368 CPUtime=162.29 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 169863 0 0 0 16150 79 0 0 25 0 1 0 803297722 689528832 167710 33554432000 4194304 5714214 140735535832928 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 168342 167710 180 372 0 167967 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 673368
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10451
/proc/meminfo: memFree=24046316/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=877884 CPUtime=222.3 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 220778 0 0 0 22132 98 0 0 25 0 1 0 803297722 898953216 218625 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 219471 218625 180 372 0 219096 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 877884
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 10452
/proc/meminfo: memFree=23900448/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1002696 CPUtime=282.3 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 251901 0 0 0 28118 112 0 0 25 0 1 0 803297722 1026760704 249748 33554432000 4194304 5714214 140735535832928 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250674 249748 180 372 0 250299 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1002696
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/536 10454
/proc/meminfo: memFree=23845596/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1002696 CPUtime=342.3 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 251907 0 0 0 34105 125 0 0 25 0 1 0 803297722 1026760704 249754 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250674 249754 180 372 0 250299 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1002696
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 10455
/proc/meminfo: memFree=23842212/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1002696 CPUtime=402.3 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 251954 0 0 0 40097 133 0 0 25 0 1 0 803297722 1026760704 249801 33554432000 4194304 5714214 140735535832928 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250674 249801 180 372 0 250299 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1002696
[startup+462.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/536 10457
/proc/meminfo: memFree=23840284/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1002696 CPUtime=462.3 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 251960 0 0 0 46091 139 0 0 25 0 1 0 803297722 1026760704 249807 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250674 249807 180 372 0 250299 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1002696
[startup+522.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/536 10458
/proc/meminfo: memFree=23840004/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1002696 CPUtime=522.3 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 252018 0 0 0 52081 149 0 0 25 0 1 0 803297722 1026760704 249865 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250674 249865 180 372 0 250299 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1002696
[startup+582.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 10460
/proc/meminfo: memFree=23840820/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1001612 CPUtime=582.3 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 252061 0 0 0 58063 167 0 0 25 0 1 0 803297722 1025650688 249639 33554432000 4194304 5714214 140735535832928 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250403 249639 180 372 0 250028 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1001612
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10477
/proc/meminfo: memFree=23789472/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1001612 CPUtime=882.32 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 252398 0 0 0 88022 210 0 0 25 0 1 0 803297722 1025650688 249976 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250403 249976 180 372 0 250028 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1001612
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10479
/proc/meminfo: memFree=23754216/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1001612 CPUtime=942.32 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 252398 0 0 0 94015 217 0 0 25 0 1 0 803297722 1025650688 249976 33554432000 4194304 5714214 140735535832928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250403 249976 180 372 0 250028 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1001612
[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.01 4/536 10480
/proc/meminfo: memFree=23734588/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1001612 CPUtime=1002.31 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 252398 0 0 0 100007 224 0 0 25 0 1 0 803297722 1025650688 249976 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250403 249976 180 372 0 250028 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1001612
[startup+1062.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/536 10482
/proc/meminfo: memFree=23713596/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1001612 CPUtime=1062.31 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 252399 0 0 0 106002 229 0 0 25 0 1 0 803297722 1025650688 249977 33554432000 4194304 5714214 140735535832928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250403 249977 180 372 0 250028 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1001612
[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/536 10484
/proc/meminfo: memFree=23712192/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1001612 CPUtime=1122.32 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 252399 0 0 0 111998 234 0 0 25 0 1 0 803297722 1025650688 249977 33554432000 4194304 5714214 140735535832928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/10444/statm: 250403 249977 180 372 0 250028 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1001612
[startup+1182.3 s]
/proc/loadavg: 2.08 2.04 2.00 4/536 10485
/proc/meminfo: memFree=23712264/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1001612 CPUtime=1182.28 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 252399 0 0 0 117987 241 0 0 25 0 1 0 803297722 1025650688 249977 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/10444/statm: 250403 249977 180 372 0 250028 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 1001612
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 10487
/proc/meminfo: memFree=23648232/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1001612 CPUtime=1242.26 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 252399 0 0 0 123979 247 0 0 25 0 1 0 803297722 1025650688 249977 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 250403 249977 180 372 0 250028 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 1001612
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 10488
/proc/meminfo: memFree=23549856/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1100620 CPUtime=1302.27 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 277174 0 0 0 129970 257 0 0 25 0 1 0 803297722 1127034880 274752 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 275155 274752 180 372 0 274780 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 1100620
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10490
/proc/meminfo: memFree=23411296/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1214404 CPUtime=1362.27 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 305497 0 0 0 135959 268 0 0 25 0 1 0 803297722 1243549696 303075 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 303601 303075 180 372 0 303226 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 1214404
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10492
/proc/meminfo: memFree=23278816/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1304564 CPUtime=1422.29 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 327967 0 0 0 141953 276 0 0 25 0 1 0 803297722 1335873536 325545 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 326141 325545 180 372 0 325766 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 1304564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10493
/proc/meminfo: memFree=23252356/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1304564 CPUtime=1482.27 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 327969 0 0 0 147948 279 0 0 25 0 1 0 803297722 1335873536 325547 33554432000 4194304 5714214 140735535832928 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 326141 325547 180 372 0 325766 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 1304564
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 10495
/proc/meminfo: memFree=23211264/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1304564 CPUtime=1542.27 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 327979 0 0 0 153942 285 0 0 25 0 1 0 803297722 1335873536 325557 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 326141 325557 180 372 0 325766 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 1304564
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/536 10496
/proc/meminfo: memFree=23154800/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1304564 CPUtime=1602.27 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 327984 0 0 0 159936 291 0 0 25 0 1 0 803297722 1335873536 325562 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 326141 325562 180 372 0 325766 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 1304564
[startup+1662.3 s]
/proc/loadavg: 1.45 1.85 1.95 2/530 10517
/proc/meminfo: memFree=23952660/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1304564 CPUtime=1662.28 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 327989 0 0 0 165932 296 0 0 25 0 1 0 803297722 1335873536 325567 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 326141 325567 180 372 0 325766 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 1304564
[startup+1722.3 s]
/proc/loadavg: 1.16 1.69 1.88 2/530 10518
/proc/meminfo: memFree=23952628/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1304564 CPUtime=1722.27 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 327990 0 0 0 171928 299 0 0 25 0 1 0 803297722 1335873536 325568 33554432000 4194304 5714214 140735535832928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 326141 325568 180 372 0 325766 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 1304564
[startup+1782.3 s]
/proc/loadavg: 1.06 1.57 1.83 2/530 10521
/proc/meminfo: memFree=23951456/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1304564 CPUtime=1782.28 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 327994 0 0 0 177925 303 0 0 25 0 1 0 803297722 1335873536 325572 33554432000 4194304 5714214 140735535832928 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 326141 325572 180 372 0 325766 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 1304564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.04 1.54 1.81 2/530 10523
/proc/meminfo: memFree=23952172/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1304564 CPUtime=1800.09 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 327998 0 0 0 179705 304 0 0 25 0 1 0 803297722 1335873536 325576 33554432000 4194304 5714214 140735535832928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 326141 325576 180 372 0 325766 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1304564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 1.04 1.54 1.81 2/530 10523
/proc/meminfo: memFree=23952172/32951124 swapFree=46970528/67111528
[pid=10444] ppid=10442 vsize=1304564 CPUtime=1800.09 cores=0,2,4,6
/proc/10444/stat : 10444 (wbo1.6) R 10442 10444 9437 0 -1 4202496 327998 0 0 0 179705 304 0 0 25 0 1 0 803297722 1335873536 325576 33554432000 4194304 5714214 140735535832928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10444/statm: 326141 325576 180 372 0 325766 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1304564
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.18
CPU time (s): 1800.17
CPU user time (s): 1797.06
CPU system time (s): 3.10253
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 1304564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.06
system time used= 3.10253
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327998
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= 6
involuntary context switches= 3497
runsolver used 9.8725 second user time and 21.3718 second system time
The end