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-3461014-1307066711/watcher-3461014-1307066711 -o /tmp/evaluation-result-3461014-1307066711/solver-3461014-1307066711 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461014-1307066711.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.07 1.02 1.00 2/558 28404
/proc/meminfo: memFree=28807496/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=2500 CPUtime=0.01 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 440 0 0 0 1 0 0 0 25 0 1 0 896901780 2560000 381 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 625 381 180 372 0 250 0
[startup+0.109536 s]
/proc/loadavg: 1.07 1.02 1.00 2/558 28404
/proc/meminfo: memFree=28807496/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=3660 CPUtime=0.09 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 715 0 0 0 9 0 0 0 25 0 1 0 896901780 3747840 656 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 915 656 180 372 0 540 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3660
[startup+0.200521 s]
/proc/loadavg: 1.07 1.02 1.00 2/558 28404
/proc/meminfo: memFree=28807496/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=4440 CPUtime=0.19 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 932 0 0 0 18 1 0 0 25 0 1 0 896901780 4546560 873 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 1110 873 180 372 0 735 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4440
[startup+0.300504 s]
/proc/loadavg: 1.07 1.02 1.00 2/558 28404
/proc/meminfo: memFree=28807496/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=5356 CPUtime=0.29 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 1144 0 0 0 28 1 0 0 25 0 1 0 896901780 5484544 1085 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 1339 1085 180 372 0 964 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5356
[startup+0.700448 s]
/proc/loadavg: 1.07 1.02 1.00 2/558 28404
/proc/meminfo: memFree=28807496/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=7308 CPUtime=0.69 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 1640 0 0 0 68 1 0 0 25 0 1 0 896901780 7483392 1581 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 1827 1581 180 372 0 1452 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7308
[startup+1.50031 s]
/proc/loadavg: 1.07 1.02 1.00 3/559 28405
/proc/meminfo: memFree=28797432/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=11024 CPUtime=1.49 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 2536 0 0 0 147 2 0 0 25 0 1 0 896901780 11288576 2477 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 2756 2477 180 372 0 2381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11024
[startup+3.10103 s]
/proc/loadavg: 1.07 1.02 1.00 3/559 28405
/proc/meminfo: memFree=28792892/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=13312 CPUtime=3.09 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 3101 0 0 0 305 4 0 0 25 0 1 0 896901780 13631488 3042 33554432000 4194304 5714214 140736048545648 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 3328 3042 180 372 0 2953 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13312
[startup+6.3005 s]
/proc/loadavg: 1.14 1.04 1.01 3/559 28405
/proc/meminfo: memFree=28784736/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=16272 CPUtime=6.29 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 3823 0 0 0 622 7 0 0 25 0 1 0 896901780 16662528 3764 33554432000 4194304 5714214 140736048545648 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 4068 3764 180 372 0 3693 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16272
[startup+12.7004 s]
/proc/loadavg: 1.21 1.05 1.01 3/559 28405
/proc/meminfo: memFree=28771832/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=21248 CPUtime=12.69 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 5036 0 0 0 1256 13 0 0 25 0 1 0 896901780 21757952 4977 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 5312 4977 180 372 0 4937 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21248
[startup+25.5003 s]
/proc/loadavg: 1.38 1.10 1.03 3/559 28405
/proc/meminfo: memFree=28752752/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=28940 CPUtime=25.5 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 6934 0 0 0 2528 22 0 0 25 0 1 0 896901780 29634560 6875 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 7235 6875 180 372 0 6860 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 28940
[startup+51.101 s]
/proc/loadavg: 1.59 1.17 1.05 3/559 28407
/proc/meminfo: memFree=28726156/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=42716 CPUtime=51.09 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 10355 0 0 0 5070 39 0 0 25 0 1 0 896901780 43741184 10296 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 10679 10296 180 372 0 10304 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 42716
[startup+102.3 s]
/proc/loadavg: 1.84 1.31 1.11 3/559 28407
/proc/meminfo: memFree=28680140/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=64316 CPUtime=102.31 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 15589 0 0 0 10156 75 0 0 25 0 1 0 896901780 65859584 15530 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 16079 15530 180 372 0 15704 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 64316
[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.15 3/559 28409
/proc/meminfo: memFree=28625796/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=90740 CPUtime=162.29 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 22143 0 0 0 16120 109 0 0 25 0 1 0 896901780 92917760 22084 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 22685 22084 180 372 0 22310 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 90740
[startup+222.321 s]
/proc/loadavg: 1.97 1.52 1.20 3/559 28411
/proc/meminfo: memFree=28579280/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=115268 CPUtime=222.31 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 28173 0 0 0 22083 148 0 0 25 0 1 0 896901780 118034432 28114 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 28817 28114 180 372 0 28442 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 115268
[startup+282.3 s]
/proc/loadavg: 2.15 1.64 1.26 3/559 28413
/proc/meminfo: memFree=28536588/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=134844 CPUtime=282.3 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 33089 0 0 0 28042 188 0 0 25 0 1 0 896901780 138080256 33030 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 33711 33030 180 372 0 33336 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 134844
[startup+342.3 s]
/proc/loadavg: 2.13 1.72 1.31 3/559 28415
/proc/meminfo: memFree=28497132/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=153148 CPUtime=342.29 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 37615 0 0 0 34005 224 0 0 25 0 1 0 896901780 156823552 37556 33554432000 4194304 5714214 140736048545648 18446744073709551615 4320159 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 38287 37556 180 372 0 37912 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 153148
[startup+402.3 s]
/proc/loadavg: 2.11 1.78 1.36 3/559 28415
/proc/meminfo: memFree=28461868/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=169156 CPUtime=402.3 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 41569 0 0 0 39979 251 0 0 25 0 1 0 896901780 173215744 41510 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 42289 41510 180 372 0 41914 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 169156
[startup+462.3 s]
/proc/loadavg: 2.04 1.82 1.39 3/559 28417
/proc/meminfo: memFree=28428128/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=182332 CPUtime=462.3 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 44848 0 0 0 45955 275 0 0 19 0 1 0 896901780 186707968 44789 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 45583 44789 180 372 0 45208 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 182332
[startup+522.3 s]
/proc/loadavg: 2.16 1.88 1.44 3/559 28419
/proc/meminfo: memFree=28391880/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=199804 CPUtime=522.3 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 49079 0 0 0 51924 306 0 0 25 0 1 0 896901780 204599296 49020 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 49951 49020 180 372 0 49576 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 199804
[startup+582.3 s]
/proc/loadavg: 2.12 1.92 1.48 3/559 28421
/proc/meminfo: memFree=28356752/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=217872 CPUtime=582.3 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 53541 0 0 0 57896 334 0 0 25 0 1 0 896901780 223100928 53482 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 54468 53482 180 372 0 54093 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 217872
[startup+642.3 s]
################
# More data... #
################
[startup+882.322 s]
/proc/loadavg: 2.00 1.96 1.61 3/559 28429
/proc/meminfo: memFree=28183704/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=304992 CPUtime=882.33 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 75303 0 0 0 87740 493 0 0 25 0 1 0 896901780 312311808 75244 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 76248 75244 180 372 0 75873 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 304992
[startup+942.301 s]
/proc/loadavg: 2.07 1.99 1.64 3/559 28431
/proc/meminfo: memFree=28152416/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=320284 CPUtime=942.31 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 79112 0 0 0 93710 521 0 0 25 0 1 0 896901780 327970816 79053 33554432000 4194304 5714214 140736048545648 18446744073709551615 4347361 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 80071 79053 180 372 0 79696 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 320284
[startup+1002.3 s]
/proc/loadavg: 2.06 2.00 1.67 3/559 28431
/proc/meminfo: memFree=28123608/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=334304 CPUtime=1002.31 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 82633 0 0 0 99682 549 0 0 25 0 1 0 896901780 342327296 82574 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 83576 82574 180 372 0 83201 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 334304
[startup+1062.3 s]
/proc/loadavg: 2.02 2.00 1.68 3/559 28433
/proc/meminfo: memFree=28089840/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=348824 CPUtime=1062.31 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 86236 0 0 0 105655 576 0 0 25 0 1 0 896901780 357195776 86177 33554432000 4194304 5714214 140736048545648 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 87206 86177 180 372 0 86831 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 348824
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 1.71 3/559 28435
/proc/meminfo: memFree=28060544/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=361420 CPUtime=1122.31 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 89372 0 0 0 111634 597 0 0 25 0 1 0 896901780 370094080 89313 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 90355 89313 180 372 0 89980 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 361420
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 1.73 3/559 28437
/proc/meminfo: memFree=28031108/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=376860 CPUtime=1182.31 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 93222 0 0 0 117604 627 0 0 25 0 1 0 896901780 385904640 93163 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 94215 93163 180 372 0 93840 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 376860
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.74 3/559 28439
/proc/meminfo: memFree=27999460/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=391700 CPUtime=1242.31 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 96867 0 0 0 123574 657 0 0 25 0 1 0 896901780 401100800 96808 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 97925 96808 180 372 0 97550 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 391700
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.75 3/559 28439
/proc/meminfo: memFree=27973624/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=407216 CPUtime=1302.31 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 100715 0 0 0 129545 686 0 0 25 0 1 0 896901780 416989184 100656 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 101804 100656 180 372 0 101429 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 407216
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/559 28441
/proc/meminfo: memFree=27944564/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=424248 CPUtime=1362.31 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 104934 0 0 0 135516 715 0 0 25 0 1 0 896901780 434429952 104875 33554432000 4194304 5714214 140736048545648 18446744073709551615 4320112 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 106062 104875 180 372 0 105687 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 424248
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/559 28443
/proc/meminfo: memFree=27915764/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=439564 CPUtime=1422.33 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 108743 0 0 0 141485 748 0 0 25 0 1 0 896901780 450113536 108684 33554432000 4194304 5714214 140736048545648 18446744073709551615 4320112 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 109891 108684 180 372 0 109516 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 439564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/559 28445
/proc/meminfo: memFree=27886828/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=455420 CPUtime=1482.32 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 112696 0 0 0 147457 775 0 0 25 0 1 0 896901780 466350080 112637 33554432000 4194304 5714214 140736048545648 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 113855 112637 180 372 0 113480 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 455420
[startup+1542.32 s]
/proc/loadavg: 2.09 2.03 1.81 3/559 28447
/proc/meminfo: memFree=27854672/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=469324 CPUtime=1542.33 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 116148 0 0 0 153432 801 0 0 25 0 1 0 896901780 480587776 116089 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 117331 116089 180 372 0 116956 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 469324
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 1.83 3/559 28447
/proc/meminfo: memFree=27825856/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=483972 CPUtime=1602.32 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 119786 0 0 0 159401 831 0 0 25 0 1 0 896901780 495587328 119727 33554432000 4194304 5714214 140736048545648 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 120993 119727 180 372 0 120618 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 483972
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.83 3/559 28449
/proc/meminfo: memFree=27796180/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=497656 CPUtime=1662.32 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 123203 0 0 0 165376 856 0 0 25 0 1 0 896901780 509599744 123144 33554432000 4194304 5714214 140736048545648 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 124414 123144 180 372 0 124039 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 497656
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 1.85 3/559 28451
/proc/meminfo: memFree=27761540/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=512620 CPUtime=1722.32 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 126942 0 0 0 171347 885 0 0 25 0 1 0 896901780 524922880 126883 33554432000 4194304 5714214 140736048545648 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 128155 126883 180 372 0 127780 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 512620
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 1.86 3/559 28453
/proc/meminfo: memFree=27728272/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=527940 CPUtime=1782.32 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 130721 0 0 0 177322 910 0 0 25 0 1 0 896901780 540610560 130662 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 131985 130662 180 372 0 131610 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 527940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.05 1.86 2/557 28454
/proc/meminfo: memFree=28286768/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=529996 CPUtime=1800.04 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 131215 0 0 0 179087 917 0 0 25 0 1 0 896901780 542715904 131156 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 132499 131156 180 372 0 132124 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 529996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.06 2.05 1.86 2/557 28454
/proc/meminfo: memFree=28286768/32951124 swapFree=34426104/67111528
[pid=28404] ppid=28402 vsize=529996 CPUtime=1800.04 cores=1,3,5,7
/proc/28404/stat : 28404 (wbo1.6) R 28402 28404 27313 0 -1 4202496 131215 0 0 0 179087 917 0 0 25 0 1 0 896901780 542715904 131156 33554432000 4194304 5714214 140736048545648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/28404/statm: 132499 131156 180 372 0 132124 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 529996
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.07
CPU user time (s): 1790.88
CPU system time (s): 9.1956
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 529996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.88
system time used= 9.1956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131215
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= 20433
runsolver used 9.8285 second user time and 23.5514 second system time
The end