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-3461327-1307072553/watcher-3461327-1307072553 -o /tmp/evaluation-result-3461327-1307072553/solver-3461327-1307072553 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461327-1307072553.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.01 2.04 2.00 2/535 8045
/proc/meminfo: memFree=24945608/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=4036 CPUtime=0 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 522 0 0 0 0 0 0 0 18 0 1 0 799671535 4132864 475 33554432000 4194304 5714214 140733902967216 18446744073709551615 4315538 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 1009 475 180 372 0 366 0
[startup+0.0682551 s]
/proc/loadavg: 2.01 2.04 2.00 2/535 8045
/proc/meminfo: memFree=24945608/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=6868 CPUtime=0.06 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 1444 0 0 0 6 0 0 0 18 0 1 0 799671535 7032832 1397 33554432000 4194304 5714214 140733902967216 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 1717 1397 412 372 0 1074 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6868
[startup+0.100251 s]
/proc/loadavg: 2.01 2.04 2.00 2/535 8045
/proc/meminfo: memFree=24945608/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=10096 CPUtime=0.09 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 2673 0 0 0 9 0 0 0 18 0 1 0 799671535 10338304 2219 33554432000 4194304 5714214 140733902967216 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 2524 2219 180 372 0 2149 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10096
[startup+0.300212 s]
/proc/loadavg: 2.01 2.04 2.00 2/535 8045
/proc/meminfo: memFree=24945608/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=10228 CPUtime=0.29 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 2734 0 0 0 28 1 0 0 18 0 1 0 799671535 10473472 2280 33554432000 4194304 5714214 140733902967216 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 2557 2280 180 372 0 2182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10228
[startup+0.70014 s]
/proc/loadavg: 2.01 2.04 2.00 2/535 8045
/proc/meminfo: memFree=24945608/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=13688 CPUtime=0.69 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 3568 0 0 0 67 2 0 0 18 0 1 0 799671535 14016512 3114 33554432000 4194304 5714214 140733902967216 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 3422 3114 180 372 0 3047 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13688
[startup+1.501 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 8046
/proc/meminfo: memFree=24930844/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=19144 CPUtime=1.49 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 4929 0 0 0 146 3 0 0 20 0 1 0 799671535 19603456 4475 33554432000 4194304 5714214 140733902967216 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 4786 4476 180 372 0 4411 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19144
[startup+3.10072 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 8046
/proc/meminfo: memFree=24923032/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=24980 CPUtime=3.09 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 6375 0 0 0 305 4 0 0 19 0 1 0 799671535 25579520 5921 33554432000 4194304 5714214 140733902967216 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 6245 5921 180 372 0 5870 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24980
[startup+6.30114 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 8046
/proc/meminfo: memFree=24918632/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=29312 CPUtime=6.29 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 7455 0 0 0 620 9 0 0 18 0 1 0 799671535 30015488 7001 33554432000 4194304 5714214 140733902967216 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 7328 7001 180 372 0 6953 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29312
[startup+12.701 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 8046
/proc/meminfo: memFree=24911888/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=35956 CPUtime=12.69 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 9066 0 0 0 1256 13 0 0 25 0 1 0 799671535 36818944 8612 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 8989 8612 180 372 0 8614 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35956
[startup+25.5007 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 8046
/proc/meminfo: memFree=24877540/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=68980 CPUtime=25.49 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 17272 0 0 0 2526 23 0 0 25 0 1 0 799671535 70635520 16818 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 17245 16818 180 372 0 16870 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68980
[startup+51.1011 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 8102
/proc/meminfo: memFree=25193232/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=87524 CPUtime=51.09 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 21877 0 0 0 5064 45 0 0 25 0 1 0 799671535 89624576 21423 33554432000 4194304 5714214 140733902967216 18446744073709551615 4300080 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 21881 21423 180 372 0 21506 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87524
[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 8103
/proc/meminfo: memFree=25138476/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=115916 CPUtime=102.31 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 28880 0 0 0 10156 75 0 0 25 0 1 0 799671535 118697984 28426 33554432000 4194304 5714214 140733902967216 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 28979 28426 180 372 0 28604 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 115916
[startup+162.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/536 8105
/proc/meminfo: memFree=25092028/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=149316 CPUtime=162.29 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 37005 0 0 0 16129 100 0 0 25 0 1 0 799671535 152899584 36551 33554432000 4194304 5714214 140733902967216 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 37329 36551 180 372 0 36954 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 149316
[startup+222.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/536 8107
/proc/meminfo: memFree=25007164/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=167260 CPUtime=222.3 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 41435 0 0 0 22109 121 0 0 25 0 1 0 799671535 171274240 40981 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 41815 40981 180 372 0 41440 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 167260
[startup+282.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 8108
/proc/meminfo: memFree=24922904/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=190044 CPUtime=282.3 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 47063 0 0 0 28070 160 0 0 25 0 1 0 799671535 194605056 46609 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 47511 46609 180 372 0 47136 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 190044
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 8110
/proc/meminfo: memFree=24861340/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=222332 CPUtime=342.3 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 55104 0 0 0 34049 181 0 0 25 0 1 0 799671535 227667968 54650 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 55583 54650 180 372 0 55208 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 222332
[startup+402.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 8111
/proc/meminfo: memFree=24855084/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=228780 CPUtime=402.3 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 56667 0 0 0 40022 208 0 0 25 0 1 0 799671535 234270720 56213 33554432000 4194304 5714214 140733902967216 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 57195 56213 180 372 0 56820 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 228780
[startup+462.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 8113
/proc/meminfo: memFree=24833456/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=251428 CPUtime=462.3 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 62151 0 0 0 45997 233 0 0 25 0 1 0 799671535 257462272 61697 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 62857 61697 180 372 0 62482 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 251428
[startup+522.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 8115
/proc/meminfo: memFree=24797320/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=269804 CPUtime=522.31 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 66733 0 0 0 51974 257 0 0 25 0 1 0 799671535 276279296 66279 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 67451 66279 180 372 0 67076 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 269804
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 8116
/proc/meminfo: memFree=24792312/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=274996 CPUtime=582.31 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 68040 0 0 0 57953 278 0 0 25 0 1 0 799671535 281595904 67586 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 68749 67586 180 372 0 68374 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 274996
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 8123
/proc/meminfo: memFree=24666100/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=334732 CPUtime=822.31 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 82800 0 0 0 81880 351 0 0 25 0 1 0 799671535 342765568 82346 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 83683 82346 180 372 0 83308 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 334732
[startup+882.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 8124
/proc/meminfo: memFree=24596248/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=348840 CPUtime=882.32 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 86245 0 0 0 87864 368 0 0 25 0 1 0 799671535 357212160 85791 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 87210 85791 180 372 0 86835 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 348840
[startup+942.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 8126
/proc/meminfo: memFree=24546352/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=348840 CPUtime=942.31 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 86289 0 0 0 93846 385 0 0 25 0 1 0 799671535 357212160 85835 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 87210 85835 180 372 0 86835 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 348840
[startup+1002.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/536 8127
/proc/meminfo: memFree=24476368/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=365736 CPUtime=1002.32 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 90420 0 0 0 99828 404 0 0 25 0 1 0 799671535 374513664 89966 33554432000 4194304 5714214 140733902967216 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 91434 89966 180 372 0 91059 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 365736
[startup+1062.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 8129
/proc/meminfo: memFree=24393604/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=385504 CPUtime=1062.32 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 95318 0 0 0 105809 423 0 0 25 0 1 0 799671535 394756096 94864 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 96376 94864 180 372 0 96001 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 385504
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 8140
/proc/meminfo: memFree=24377960/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=401700 CPUtime=1122.32 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 99260 0 0 0 111783 449 0 0 25 0 1 0 799671535 411340800 98806 33554432000 4194304 5714214 140733902967216 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 100425 98806 180 372 0 100050 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 401700
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 8141
/proc/meminfo: memFree=24351860/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=426620 CPUtime=1182.33 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 105334 0 0 0 117767 466 0 0 25 0 1 0 799671535 436858880 104880 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 106655 104880 180 372 0 106280 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 426620
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 8143
/proc/meminfo: memFree=24348344/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=429716 CPUtime=1242.32 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 106111 0 0 0 123754 478 0 0 25 0 1 0 799671535 440029184 105657 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 107429 105657 180 372 0 107054 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 429716
[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 8144
/proc/meminfo: memFree=24339604/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=438896 CPUtime=1302.34 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 108420 0 0 0 129742 492 0 0 25 0 1 0 799671535 449429504 107966 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 109724 107966 180 372 0 109349 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 438896
[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 8146
/proc/meminfo: memFree=24336580/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=441788 CPUtime=1362.32 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 109111 0 0 0 135726 506 0 0 25 0 1 0 799671535 452390912 108657 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 110447 108657 180 372 0 110072 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 441788
[startup+1422.32 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 8148
/proc/meminfo: memFree=24333180/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=445844 CPUtime=1422.35 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 110059 0 0 0 141716 519 0 0 25 0 1 0 799671535 456544256 109605 33554432000 4194304 5714214 140733902967216 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 111461 109605 180 372 0 111086 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 445844
[startup+1482.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/536 8149
/proc/meminfo: memFree=24325544/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=452672 CPUtime=1482.33 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 111759 0 0 0 147699 534 0 0 25 0 1 0 799671535 463536128 111305 33554432000 4194304 5714214 140733902967216 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 113168 111305 180 372 0 112793 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 452672
[startup+1542.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/536 8151
/proc/meminfo: memFree=24316948/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=462336 CPUtime=1542.33 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 114060 0 0 0 153676 557 0 0 25 0 1 0 799671535 473432064 113606 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 115584 113606 180 372 0 115209 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 462336
[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/536 8152
/proc/meminfo: memFree=24304488/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=474784 CPUtime=1602.34 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 117152 0 0 0 159662 572 0 0 25 0 1 0 799671535 486178816 116698 33554432000 4194304 5714214 140733902967216 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 118696 116698 180 372 0 118321 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 474784
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 8154
/proc/meminfo: memFree=24302812/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=476632 CPUtime=1662.34 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 117619 0 0 0 165646 588 0 0 25 0 1 0 799671535 488071168 117165 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 119158 117165 180 372 0 118783 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 476632
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 8156
/proc/meminfo: memFree=24268284/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=489568 CPUtime=1722.34 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 120837 0 0 0 171632 602 0 0 25 0 1 0 799671535 501317632 120383 33554432000 4194304 5714214 140733902967216 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 122392 120383 180 372 0 122017 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 489568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 8157
/proc/meminfo: memFree=24216044/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=499588 CPUtime=1782.34 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 123289 0 0 0 177618 616 0 0 25 0 1 0 799671535 511578112 122835 33554432000 4194304 5714214 140733902967216 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 124897 122835 180 372 0 124522 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 499588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 8158
/proc/meminfo: memFree=24190100/32951124 swapFree=46970528/67111528
[pid=8045] ppid=8043 vsize=511856 CPUtime=1800.05 cores=1,3,5,7
/proc/8045/stat : 8045 (wbo1.6) R 8043 8045 6615 0 -1 4202496 126328 0 0 0 179385 620 0 0 25 0 1 0 799671535 524140544 125874 33554432000 4194304 5714214 140733902967216 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8045/statm: 127964 125874 180 372 0 127589 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 511856
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)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1793.86
CPU system time (s): 6.22405
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 511856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.86
system time used= 6.22405
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126329
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= 10
involuntary context switches= 2126
runsolver used 8.98463 second user time and 22.1396 second system time
The end