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-3461491-1307100250/watcher-3461491-1307100250 -o /tmp/evaluation-result-3461491-1307100250/solver-3461491-1307100250 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461491-1307100250.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.14 2.05 2.01 2/455 16946
/proc/meminfo: memFree=24658448/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=3092 CPUtime=0 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 576 0 0 0 0 0 0 0 25 0 1 0 802440950 3166208 522 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 773 522 179 372 0 398 0
[startup+0.0965371 s]
/proc/loadavg: 2.14 2.05 2.01 2/455 16946
/proc/meminfo: memFree=24658448/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=4016 CPUtime=0.09 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 800 0 0 0 9 0 0 0 25 0 1 0 802440950 4112384 746 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 1004 746 180 372 0 629 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016
[startup+0.100539 s]
/proc/loadavg: 2.14 2.05 2.01 2/455 16946
/proc/meminfo: memFree=24658448/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=4016 CPUtime=0.1 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 811 0 0 0 10 0 0 0 25 0 1 0 802440950 4112384 757 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 1004 757 180 372 0 629 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4016
[startup+0.300506 s]
/proc/loadavg: 2.14 2.05 2.01 2/455 16946
/proc/meminfo: memFree=24658448/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=5996 CPUtime=0.29 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 1295 0 0 0 29 0 0 0 25 0 1 0 802440950 6139904 1241 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 1499 1241 180 372 0 1124 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5996
[startup+0.700428 s]
/proc/loadavg: 2.14 2.05 2.01 2/455 16946
/proc/meminfo: memFree=24658448/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=9332 CPUtime=0.69 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 2152 0 0 0 69 0 0 0 25 0 1 0 802440950 9555968 2098 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319405 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 2333 2098 180 372 0 1958 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9332
[startup+1.50028 s]
/proc/loadavg: 2.13 2.05 2.01 3/456 16947
/proc/meminfo: memFree=24643436/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=14488 CPUtime=1.49 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 3433 0 0 0 148 1 0 0 25 0 1 0 802440950 14835712 3379 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 3622 3379 180 372 0 3247 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14488
[startup+3.10099 s]
/proc/loadavg: 2.13 2.05 2.01 3/456 16947
/proc/meminfo: memFree=24634672/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=19788 CPUtime=3.09 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 4737 0 0 0 308 1 0 0 25 0 1 0 802440950 20262912 4683 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 4947 4683 180 372 0 4572 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19788
[startup+6.30041 s]
/proc/loadavg: 2.13 2.05 2.01 3/456 16947
/proc/meminfo: memFree=24622536/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=26960 CPUtime=6.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 6541 0 0 0 627 3 0 0 25 0 1 0 802440950 27607040 6487 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 6740 6487 180 372 0 6365 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 26960
[startup+12.7002 s]
/proc/loadavg: 2.11 2.05 2.01 3/456 16947
/proc/meminfo: memFree=24611484/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=30632 CPUtime=12.69 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 7444 0 0 0 1265 4 0 0 25 0 1 0 802440950 31367168 7390 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 7658 7390 180 372 0 7283 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30632
[startup+25.5009 s]
/proc/loadavg: 2.09 2.05 2.01 3/456 16947
/proc/meminfo: memFree=24581352/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=53156 CPUtime=25.49 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 13006 0 0 0 2542 7 0 0 25 0 1 0 802440950 54431744 12952 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 13289 12952 180 372 0 12914 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53156
[startup+51.1011 s]
/proc/loadavg: 2.06 2.04 2.01 3/456 16950
/proc/meminfo: memFree=24540000/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=79392 CPUtime=51.1 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 19581 0 0 0 5098 12 0 0 25 0 1 0 802440950 81297408 19527 33554432000 4194304 5714214 140735182053744 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 19848 19527 180 372 0 19473 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 79392
[startup+102.317 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 16952
/proc/meminfo: memFree=24513764/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=79128 CPUtime=102.31 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 19592 0 0 0 10212 19 0 0 25 0 1 0 802440950 81027072 19472 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 19782 19472 180 372 0 19407 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 79128
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 16954
/proc/meminfo: memFree=24473796/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=94300 CPUtime=162.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 23295 0 0 0 16204 26 0 0 25 0 1 0 802440950 96563200 23175 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 23575 23175 180 372 0 23200 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 94300
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16956
/proc/meminfo: memFree=24418212/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=125932 CPUtime=222.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 31145 0 0 0 22194 36 0 0 25 0 1 0 802440950 128954368 31025 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 31483 31025 180 372 0 31108 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 125932
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/456 16984
/proc/meminfo: memFree=24477832/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=134864 CPUtime=282.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 33393 0 0 0 28186 44 0 0 25 0 1 0 802440950 138100736 33273 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 33716 33273 180 372 0 33341 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 134864
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 16986
/proc/meminfo: memFree=24468960/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=140780 CPUtime=342.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 34870 0 0 0 34179 51 0 0 25 0 1 0 802440950 144158720 34676 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 35195 34676 180 372 0 34820 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 140780
[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/456 16987
/proc/meminfo: memFree=24453140/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=153040 CPUtime=402.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 37894 0 0 0 40172 58 0 0 25 0 1 0 802440950 156712960 37700 33554432000 4194304 5714214 140735182053744 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/16946/statm: 38260 37700 180 372 0 37885 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 153040
[startup+462.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/456 16989
/proc/meminfo: memFree=24429304/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=171944 CPUtime=462.29 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 42535 0 0 0 46163 66 0 0 25 0 1 0 802440950 176070656 42341 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 42986 42341 180 372 0 42611 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 171944
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/456 16991
/proc/meminfo: memFree=24420228/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=180576 CPUtime=522.29 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 44650 0 0 0 52155 74 0 0 25 0 1 0 802440950 184909824 44456 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 45144 44456 180 372 0 44769 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 180576
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 16992
/proc/meminfo: memFree=24414104/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=187152 CPUtime=582.29 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 46265 0 0 0 58149 80 0 0 25 0 1 0 802440950 191643648 46071 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 46788 46071 180 372 0 46413 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 187152
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/456 16999
/proc/meminfo: memFree=24333864/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=235884 CPUtime=822.29 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 58940 0 0 0 82123 106 0 0 25 0 1 0 802440950 241545216 58167 33554432000 4194304 5714214 140735182053744 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 58971 58167 180 372 0 58596 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 235884
[startup+882.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/456 17000
/proc/meminfo: memFree=24313992/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=247880 CPUtime=882.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 62049 0 0 0 88117 113 0 0 25 0 1 0 802440950 253829120 61176 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 61970 61176 180 372 0 61595 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 247880
[startup+942.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/456 17002
/proc/meminfo: memFree=24304280/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=250820 CPUtime=942.29 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 63165 0 0 0 94109 120 0 0 25 0 1 0 802440950 256839680 61904 33554432000 4194304 5714214 140735182053744 18446744073709551615 4309542 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 62705 61904 180 372 0 62330 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 250820
[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/456 17003
/proc/meminfo: memFree=24286272/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=261744 CPUtime=1002.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 65839 0 0 0 100102 128 0 0 25 0 1 0 802440950 268025856 64578 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 65436 64578 180 372 0 65061 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 261744
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/456 17005
/proc/meminfo: memFree=24271224/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=269084 CPUtime=1062.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 67631 0 0 0 106096 134 0 0 25 0 1 0 802440950 275542016 66370 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 67271 66370 180 372 0 66896 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 269084
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 17007
/proc/meminfo: memFree=24254688/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=275568 CPUtime=1122.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 69152 0 0 0 112089 141 0 0 25 0 1 0 802440950 282181632 67891 33554432000 4194304 5714214 140735182053744 18446744073709551615 4311026 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 68892 67891 180 372 0 68517 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 275568
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17008
/proc/meminfo: memFree=24249824/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=281468 CPUtime=1182.31 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 70568 0 0 0 118083 148 0 0 25 0 1 0 802440950 288223232 69307 33554432000 4194304 5714214 140735182053744 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 70367 69307 180 372 0 69992 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 281468
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17010
/proc/meminfo: memFree=24225604/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=305812 CPUtime=1242.3 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 76623 0 0 0 124074 156 0 0 25 0 1 0 802440950 313151488 75362 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 76453 75362 180 372 0 76078 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 305812
[startup+1302.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/456 17011
/proc/meminfo: memFree=24222844/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=307616 CPUtime=1302.32 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 77608 0 0 0 130068 164 0 0 25 0 1 0 802440950 314998784 75816 33554432000 4194304 5714214 140735182053744 18446744073709551615 4309542 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 76904 75816 180 372 0 76529 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 307616
[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/456 17013
/proc/meminfo: memFree=24217484/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=313868 CPUtime=1362.32 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 79151 0 0 0 136062 170 0 0 25 0 1 0 802440950 321400832 77359 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 78467 77359 180 372 0 78092 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 313868
[startup+1422.32 s]
/proc/loadavg: 2.03 2.04 2.00 3/456 17015
/proc/meminfo: memFree=24210632/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=319984 CPUtime=1422.34 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 80656 0 0 0 142057 177 0 0 25 0 1 0 802440950 327663616 78864 33554432000 4194304 5714214 140735182053744 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 79996 78864 180 372 0 79621 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 319984
[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/456 17016
/proc/meminfo: memFree=24200928/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=328744 CPUtime=1482.32 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 82980 0 0 0 148048 184 0 0 25 0 1 0 802440950 336633856 81054 33554432000 4194304 5714214 140735182053744 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 82186 81054 180 372 0 81811 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 328744
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/456 17018
/proc/meminfo: memFree=24191464/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=338604 CPUtime=1542.32 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 86141 0 0 0 154040 192 0 0 25 0 1 0 802440950 346730496 83510 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 84651 83510 180 372 0 84276 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 338604
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 17019
/proc/meminfo: memFree=24185852/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=344784 CPUtime=1602.32 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 87649 0 0 0 160035 197 0 0 25 0 1 0 802440950 353058816 85018 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 86196 85018 180 372 0 85821 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 344784
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17021
/proc/meminfo: memFree=24173172/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=357628 CPUtime=1662.32 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 90854 0 0 0 166030 202 0 0 25 0 1 0 802440950 366211072 88223 33554432000 4194304 5714214 140735182053744 18446744073709551615 4313932 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 89407 88223 180 372 0 89032 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 357628
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 17023
/proc/meminfo: memFree=24137788/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=393844 CPUtime=1722.32 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 99923 0 0 0 172022 210 0 0 25 0 1 0 802440950 403296256 97232 33554432000 4194304 5714214 140735182053744 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 98461 97232 180 372 0 98086 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 393844
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 17024
/proc/meminfo: memFree=24108484/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=419412 CPUtime=1782.32 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 106226 0 0 0 178015 217 0 0 25 0 1 0 802440950 429477888 103535 33554432000 4194304 5714214 140735182053744 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 104853 103535 180 372 0 104478 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 419412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 17025
/proc/meminfo: memFree=24100796/32951124 swapFree=60476376/67111528
[pid=16946] ppid=16944 vsize=424932 CPUtime=1800.04 cores=0,2,4,6
/proc/16946/stat : 16946 (wbo1.6) R 16944 16946 16547 0 -1 4202496 107626 0 0 0 179785 219 0 0 25 0 1 0 802440950 435130368 104935 33554432000 4194304 5714214 140735182053744 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/16946/statm: 106233 104935 180 372 0 105858 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 424932
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.07
CPU user time (s): 1797.86
CPU system time (s): 2.21066
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 424932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.86
system time used= 2.21066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107626
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= 5
involuntary context switches= 3769
runsolver used 8.48971 second user time and 17.7173 second system time
The end