runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706131-1338194651/watcher-3706131-1338194651 -o /tmp/evaluation-result-3706131-1338194651/solver-3706131-1338194651 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706131-1338194651.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.84 1.97 1.97 2/171 27977
/proc/meminfo: memFree=27151752/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 808 0 0 0 0 0 0 0 20 0 1 0 285593636 6356992 729 33554432000 4194304 8973514 140735780596912 140733806749736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 1552 729 415 1167 0 333 0
[startup+0.035342 s]
/proc/loadavg: 1.84 1.97 1.97 2/171 27977
/proc/meminfo: memFree=27151752/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=8256 CPUtime=0.03 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 1230 0 0 0 3 0 0 0 20 0 1 0 285593636 8454144 1151 33554432000 4194304 8973514 140735780596912 140733806749736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 2064 1151 417 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256
[startup+0.100221 s]
/proc/loadavg: 1.84 1.97 1.97 2/171 27977
/proc/meminfo: memFree=27151752/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 2099 0 0 0 9 0 0 0 20 0 1 0 285593636 11599872 2020 33554432000 4194304 8973514 140735780596912 140733806749736 4204374 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 2832 2020 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.300231 s]
/proc/loadavg: 1.84 1.97 1.97 2/171 27977
/proc/meminfo: memFree=27151752/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=21568 CPUtime=0.29 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 4691 0 0 0 29 0 0 0 20 0 1 0 285593636 22085632 4612 33554432000 4194304 8973514 140735780596912 140733806749736 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 5392 4612 444 1167 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21568
[startup+0.700226 s]
/proc/loadavg: 1.84 1.97 1.97 2/171 27977
/proc/meminfo: memFree=27151752/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=21568 CPUtime=0.68 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 4691 0 0 0 68 0 0 0 20 0 1 0 285593636 22085632 4612 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 5392 4612 444 1167 0 4173 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21568
[startup+1.50023 s]
/proc/loadavg: 1.84 1.97 1.97 3/177 27992
/proc/meminfo: memFree=27110792/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=24640 CPUtime=1.49 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 5239 0 0 0 148 1 0 0 20 0 1 0 285593636 25231360 5160 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 6160 5160 444 1167 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24640
[startup+3.10023 s]
/proc/loadavg: 1.84 1.97 1.97 3/177 27992
/proc/meminfo: memFree=27104228/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=27712 CPUtime=3.09 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 6227 0 0 0 307 2 0 0 20 0 1 0 285593636 28377088 6148 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 6928 6148 444 1167 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27712
[startup+6.3002 s]
/proc/loadavg: 1.85 1.97 1.97 3/177 27992
/proc/meminfo: memFree=27086744/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=36928 CPUtime=6.29 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 8349 0 0 0 626 3 0 0 20 0 1 0 285593636 37814272 8270 33554432000 4194304 8973514 140735780596912 140735780594880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 9232 8270 444 1167 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36928
[startup+12.7002 s]
/proc/loadavg: 1.86 1.97 1.97 3/177 27992
/proc/meminfo: memFree=27053560/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=52288 CPUtime=12.69 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 12182 0 0 0 1263 6 0 0 20 0 1 0 285593636 53542912 12103 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 13072 12103 444 1167 0 11853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52288
[startup+25.5003 s]
/proc/loadavg: 1.89 1.97 1.97 3/177 27992
/proc/meminfo: memFree=27013600/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=72768 CPUtime=25.47 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 17505 0 0 0 2536 11 0 0 20 0 1 0 285593636 74514432 17418 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 18192 17418 445 1167 0 16973 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 72768
[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.97 3/177 27992
/proc/meminfo: memFree=26968308/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=83008 CPUtime=51.05 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 20080 0 0 0 5085 20 0 0 20 0 1 0 285593636 85000192 19978 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 20752 19978 445 1167 0 19533 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 83008
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.97 3/177 27992
/proc/meminfo: memFree=26963828/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=92224 CPUtime=102.24 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 22389 0 0 0 10183 41 0 0 20 0 1 0 285593636 94437376 22282 33554432000 4194304 8973514 140735780596912 140735780596408 4204690 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 23056 22282 445 1167 0 21837 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 92224
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.97 3/177 27992
/proc/meminfo: memFree=26966160/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=107584 CPUtime=162.23 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 27765 0 0 0 16158 65 0 0 20 0 1 0 285593636 110166016 26122 33554432000 4194304 8973514 140735780596912 140735780594880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 26896 26122 445 1167 0 25677 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 107584
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.97 3/177 27993
/proc/meminfo: memFree=26913344/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=131136 CPUtime=222.2 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 33677 0 0 0 22134 86 0 0 20 0 1 0 285593636 134283264 32010 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 32784 32010 445 1167 0 31565 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 131136
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.97 3/177 27993
/proc/meminfo: memFree=26927760/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=111680 CPUtime=282.18 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 33677 0 0 0 28112 106 0 0 20 0 1 0 285593636 114360320 27146 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 27920 27146 445 1167 0 26701 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 111680
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.97 3/177 27993
/proc/meminfo: memFree=26964600/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=95296 CPUtime=342.18 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 35469 0 0 0 34091 127 0 0 20 0 1 0 285593636 97583104 23050 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 23824 23050 445 1167 0 22605 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 95296
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.97 3/178 27996
/proc/meminfo: memFree=26941584/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=130112 CPUtime=402.17 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 43950 0 0 0 40068 149 0 0 20 0 1 0 285593636 133234688 31531 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 32528 31531 445 1167 0 31309 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 130112
[startup+462.3 s]
/proc/loadavg: 2.10 2.00 1.98 3/177 27996
/proc/meminfo: memFree=26933500/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=131136 CPUtime=462.16 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 50551 0 0 0 46047 169 0 0 20 0 1 0 285593636 134283264 31988 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 32784 31988 445 1167 0 31565 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 131136
[startup+522.3 s]
/proc/loadavg: 2.03 2.00 1.98 3/177 27997
/proc/meminfo: memFree=26932952/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=115776 CPUtime=522.15 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 54925 0 0 0 52026 189 0 0 20 0 1 0 285593636 118554624 28170 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 28944 28170 445 1167 0 27725 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 115776
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 27997
/proc/meminfo: memFree=26875116/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=153664 CPUtime=582.14 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 64403 0 0 0 58007 207 0 0 20 0 1 0 285593636 157351936 37642 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 38416 37642 445 1167 0 37197 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 153664
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27998
/proc/meminfo: memFree=26904440/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=142400 CPUtime=882.07 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 82348 0 0 0 87917 290 0 0 20 0 1 0 285593636 145817600 34826 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 35600 34826 445 1167 0 34381 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 142400
[startup+942.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/177 27998
/proc/meminfo: memFree=26898580/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=140352 CPUtime=942.06 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 82348 0 0 0 93898 308 0 0 20 0 1 0 285593636 143720448 34314 33554432000 4194304 8973514 140735780596912 140735780596408 4209142 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 35088 34314 445 1167 0 33869 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 140352
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 28001
/proc/meminfo: memFree=26833780/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=168000 CPUtime=1002.05 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 89037 0 0 0 99881 324 0 0 20 0 1 0 285593636 172032000 41003 33554432000 4194304 8973514 140735780596912 140735780596176 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 42000 41003 445 1167 0 40781 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 168000
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 28023
/proc/meminfo: memFree=26903944/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=142400 CPUtime=1062.03 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 92598 0 0 0 105860 343 0 0 20 0 1 0 285593636 145817600 34826 33554432000 4194304 8973514 140735780596912 140735780596176 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 35600 34826 445 1167 0 34381 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 142400
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28024
/proc/meminfo: memFree=26856644/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=166976 CPUtime=1122.02 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 98501 0 0 0 111841 361 0 0 20 0 1 0 285593636 170983424 40728 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 41744 40728 445 1167 0 40525 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 166976
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28024
/proc/meminfo: memFree=26898964/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=173120 CPUtime=1182 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 100542 0 0 0 117822 378 0 0 20 0 1 0 285593636 177274880 42506 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 43280 42506 445 1167 0 42061 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 173120
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28024
/proc/meminfo: memFree=26891088/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=177216 CPUtime=1241.99 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 101395 0 0 0 123806 393 0 0 20 0 1 0 285593636 181469184 43358 33554432000 4194304 8973514 140735780596912 140735780596176 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 44304 43358 445 1167 0 43085 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 177216
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28024
/proc/meminfo: memFree=26876944/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=189504 CPUtime=1301.99 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 106175 0 0 0 129789 410 0 0 20 0 1 0 285593636 194052096 46602 33554432000 4194304 8973514 140735780596912 140735780596176 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 47376 46602 445 1167 0 46157 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 189504
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28024
/proc/meminfo: memFree=26903408/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=150592 CPUtime=1361.98 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 106176 0 0 0 135765 433 0 0 20 0 1 0 285593636 154206208 36874 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 37648 36874 445 1167 0 36429 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 150592
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28025
/proc/meminfo: memFree=26900804/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=150592 CPUtime=1421.97 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 106176 0 0 0 141745 452 0 0 20 0 1 0 285593636 154206208 36874 33554432000 4194304 8973514 140735780596912 140735780596408 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 37648 36874 445 1167 0 36429 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 150592
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28025
/proc/meminfo: memFree=26889012/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=161856 CPUtime=1481.96 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 108812 0 0 0 147727 469 0 0 20 0 1 0 285593636 165740544 39510 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 40464 39510 445 1167 0 39245 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 161856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28025
/proc/meminfo: memFree=26902624/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=151616 CPUtime=1541.94 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 115148 0 0 0 153711 483 0 0 20 0 1 0 285593636 155254784 37130 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 37904 37130 445 1167 0 36685 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 151616
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 28028
/proc/meminfo: memFree=26905716/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=149568 CPUtime=1601.92 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 115148 0 0 0 159691 501 0 0 20 0 1 0 285593636 153157632 36618 33554432000 4194304 8973514 140735780596912 140735780596176 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 37392 36618 445 1167 0 36173 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 149568
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28028
/proc/meminfo: memFree=26896904/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=155712 CPUtime=1661.92 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 116449 0 0 0 165674 518 0 0 20 0 1 0 285593636 159449088 37919 33554432000 4194304 8973514 140735780596912 140735780596408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 38928 37919 445 1167 0 37709 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 155712
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28029
/proc/meminfo: memFree=26903780/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=147520 CPUtime=1721.91 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 121037 0 0 0 171655 536 0 0 20 0 1 0 285593636 151060480 36106 33554432000 4194304 8973514 140735780596912 140735780596408 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 36880 36106 445 1167 0 35661 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 147520
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28029
/proc/meminfo: memFree=26879668/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=154688 CPUtime=1781.9 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 122829 0 0 0 177635 555 0 0 20 0 1 0 285593636 158400512 37898 33554432000 4194304 8973514 140735780596912 140735780596408 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 38672 37898 445 1167 0 37453 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 154688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28029
/proc/meminfo: memFree=26903968/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=146496 CPUtime=1800.1 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 123342 0 0 0 179451 559 0 0 20 0 1 0 285593636 150011904 35850 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 36624 35850 445 1167 0 35405 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 146496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 28029
/proc/meminfo: memFree=26903968/32873844 swapFree=6088/6088
[pid=27977] ppid=27975 vsize=146496 CPUtime=1800.1 cores=1,3,5,7
/proc/27977/stat : 27977 (toysat) R 27975 27977 27853 0 -1 4202496 123342 0 0 0 179451 559 0 0 20 0 1 0 285593636 150011904 35850 33554432000 4194304 8973514 140735780596912 140735780596176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27977/statm: 36624 35850 445 1167 0 35405 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 146496
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.12
CPU user time (s): 1794.52
CPU system time (s): 5.60215
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 196672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.52
system time used= 5.60215
maximum resident set size= 193576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123342
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= 125
involuntary context switches= 1845
runsolver used 3.3105 second user time and 9.62454 second system time
The end