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-3705942-1338111194/watcher-3705942-1338111194 -o /tmp/evaluation-result-3705942-1338111194/solver-3705942-1338111194 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3705942-1338111194.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: 1.99 1.97 1.91 3/176 27053
/proc/meminfo: memFree=30038448/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 827 0 0 0 0 0 0 0 20 0 1 0 277245131 7405568 748 33554432000 4194304 8973514 140733751035776 140733751035272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 1808 748 415 1167 0 589 0
[startup+0.090596 s]
/proc/loadavg: 1.99 1.97 1.91 3/176 27053
/proc/meminfo: memFree=30038448/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=12352 CPUtime=0.08 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 2290 0 0 0 8 0 0 0 20 0 1 0 277245131 12648448 2211 33554432000 4194304 8973514 140733751035776 140733751035272 7937344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 3088 2211 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12352
[startup+0.100325 s]
/proc/loadavg: 1.99 1.97 1.91 3/176 27053
/proc/meminfo: memFree=30038448/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 277245131 12648448 2277 33554432000 4194304 8973514 140733751035776 140733751035272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 3088 2277 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300315 s]
/proc/loadavg: 1.99 1.97 1.91 3/176 27053
/proc/meminfo: memFree=30038448/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=25664 CPUtime=0.29 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 5459 0 0 0 28 1 0 0 20 0 1 0 277245131 26279936 5380 33554432000 4194304 8973514 140733751035776 140733751035272 4213859 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 6416 5386 418 1167 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25664
[startup+0.700313 s]
/proc/loadavg: 1.99 1.97 1.91 3/176 27053
/proc/meminfo: memFree=30038448/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=49216 CPUtime=0.69 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 11606 0 0 0 67 2 0 0 20 0 1 0 277245131 50397184 11527 33554432000 4194304 8973514 140733751035776 140733751035272 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 12304 11527 446 1167 0 11085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49216
[startup+1.5003 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27054
/proc/meminfo: memFree=29993180/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=50240 CPUtime=1.49 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 11862 0 0 0 146 3 0 0 20 0 1 0 277245131 51445760 11783 33554432000 4194304 8973514 140733751035776 140733751035272 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 12560 11783 446 1167 0 11341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50240
[startup+3.10025 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27054
/proc/meminfo: memFree=29992684/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=50240 CPUtime=3.08 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 11862 0 0 0 305 3 0 0 20 0 1 0 277245131 51445760 11783 33554432000 4194304 8973514 140733751035776 140733751035272 4415788 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 12560 11783 446 1167 0 11341 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50240
[startup+6.30029 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27054
/proc/meminfo: memFree=29987228/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=60480 CPUtime=6.29 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 14422 0 0 0 623 6 0 0 20 0 1 0 277245131 61931520 14343 33554432000 4194304 8973514 140733751035776 140733751035272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 15120 14343 446 1167 0 13901 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60480
[startup+12.7003 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27054
/proc/meminfo: memFree=29960072/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=85056 CPUtime=12.69 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 20567 0 0 0 1258 11 0 0 20 0 1 0 277245131 87097344 20492 33554432000 4194304 8973514 140733751035776 140733751035040 7400774 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 21264 20492 446 1167 0 20045 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85056
[startup+25.5003 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27054
/proc/meminfo: memFree=29902404/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=139328 CPUtime=25.48 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 34143 0 0 0 2528 20 0 0 20 0 1 0 277245131 142671872 34060 33554432000 4194304 8973514 140733751035776 140733751035040 7732382 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 34832 34060 446 1167 0 33613 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 139328
[startup+51.1003 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27055
/proc/meminfo: memFree=29820268/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=217152 CPUtime=51.07 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 53623 0 0 0 5072 35 0 0 20 0 1 0 277245131 222363648 53517 33554432000 4194304 8973514 140733751035776 140733751035272 4447417 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 54288 53517 447 1167 0 53069 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 217152
[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27055
/proc/meminfo: memFree=29692840/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=321600 CPUtime=102.25 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 79697 0 0 0 10165 60 0 0 20 0 1 0 277245131 329318400 79578 33554432000 4194304 8973514 140733751035776 140733751035272 7659779 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 80400 79578 447 1167 0 79181 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 321600
[startup+162.3 s]
/proc/loadavg: 1.76 1.92 1.90 2/171 27080
/proc/meminfo: memFree=30993268/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=474176 CPUtime=162.23 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 117900 0 0 0 16139 84 0 0 20 0 1 0 277245131 485556224 117773 33554432000 4194304 8973514 140733751035776 140733751035272 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 118544 117773 447 1167 0 117325 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 474176
[startup+222.3 s]
/proc/loadavg: 1.32 1.77 1.85 2/171 27080
/proc/meminfo: memFree=30833336/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=634944 CPUtime=222.21 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 157902 0 0 0 22112 109 0 0 20 0 1 0 277245131 650182656 157751 33554432000 4194304 8973514 140733751035776 140733751035272 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 158736 157751 447 1167 0 157517 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 634944
[startup+282.3 s]
/proc/loadavg: 1.11 1.63 1.79 2/171 27080
/proc/meminfo: memFree=30708372/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=758848 CPUtime=282.17 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 189114 0 0 0 28090 127 0 0 20 0 1 0 277245131 777060352 188941 33554432000 4194304 8973514 140733751035776 140733751035040 4214460 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 189712 188941 447 1167 0 188493 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 758848
[startup+342.3 s]
/proc/loadavg: 1.04 1.51 1.74 2/171 27081
/proc/meminfo: memFree=30708400/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=758848 CPUtime=342.14 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 189144 0 0 0 34074 140 0 0 20 0 1 0 277245131 777060352 188941 33554432000 4194304 8973514 140733751035776 140733751035272 4441556 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 189712 188941 447 1167 0 188493 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 758848
[startup+402.3 s]
/proc/loadavg: 1.01 1.41 1.69 2/171 27081
/proc/meminfo: memFree=30708428/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=758848 CPUtime=402.11 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 189173 0 0 0 40053 158 0 0 20 0 1 0 277245131 777060352 188941 33554432000 4194304 8973514 140733751035776 140733751035040 4441953 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 189712 188941 447 1167 0 188493 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 758848
[startup+462.3 s]
/proc/loadavg: 1.00 1.34 1.64 2/172 27084
/proc/meminfo: memFree=30675712/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=792640 CPUtime=462.07 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 197440 0 0 0 46031 176 0 0 20 0 1 0 277245131 811663360 197192 33554432000 4194304 8973514 140733751035776 140733751017792 4427744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 198160 197192 447 1167 0 196941 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 792640
[startup+522.3 s]
/proc/loadavg: 1.00 1.27 1.60 2/171 27084
/proc/meminfo: memFree=30637832/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=829504 CPUtime=522.06 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 206866 0 0 0 52011 195 0 0 20 0 1 0 277245131 849412096 206605 33554432000 4194304 8973514 140733751035776 140733751035272 4427816 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 207376 206605 447 1167 0 206157 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 829504
[startup+582.3 s]
/proc/loadavg: 1.00 1.22 1.56 2/171 27084
/proc/meminfo: memFree=30638080/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=829504 CPUtime=582.04 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 206866 0 0 0 57994 210 0 0 20 0 1 0 277245131 849412096 206605 33554432000 4194304 8973514 140733751035776 140733751035272 6576209 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 207376 206605 447 1167 0 206157 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 829504
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 1.00 1.08 1.40 2/171 27085
/proc/meminfo: memFree=30559092/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=908352 CPUtime=882 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 226578 0 0 0 87905 295 0 0 20 0 1 0 277245131 930152448 226317 33554432000 4194304 8973514 140733751035776 140733751035040 4424744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 227088 226317 447 1167 0 225869 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 908352
[startup+942.3 s]
/proc/loadavg: 1.00 1.06 1.37 2/171 27085
/proc/meminfo: memFree=30535532/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=931904 CPUtime=941.98 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 232466 0 0 0 93888 310 0 0 20 0 1 0 277245131 954269696 232205 33554432000 4194304 8973514 140733751035776 140733751035040 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 232976 232205 447 1167 0 231757 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 931904
[startup+1002.3 s]
/proc/loadavg: 1.00 1.05 1.34 2/171 27086
/proc/meminfo: memFree=30511972/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=955456 CPUtime=1001.98 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 238354 0 0 0 99871 327 0 0 20 0 1 0 277245131 978386944 238093 33554432000 4194304 8973514 140733751035776 140733751035040 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 238864 238093 447 1167 0 237645 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 955456
[startup+1062.3 s]
/proc/loadavg: 1.00 1.04 1.32 2/172 27089
/proc/meminfo: memFree=30507128/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=960576 CPUtime=1061.96 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 239643 0 0 0 105854 342 0 0 20 0 1 0 277245131 983629824 239373 33554432000 4194304 8973514 140733751035776 140733751035272 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 240144 239373 447 1167 0 238925 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 960576
[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/171 27089
/proc/meminfo: memFree=30499748/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=967744 CPUtime=1121.94 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 241449 0 0 0 111836 358 0 0 20 0 1 0 277245131 990969856 241165 33554432000 4194304 8973514 140733751035776 140733751035040 7729695 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 241936 241165 447 1167 0 240717 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 967744
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/171 27089
/proc/meminfo: memFree=30489580/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=977984 CPUtime=1181.93 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 244009 0 0 0 117820 373 0 0 20 0 1 0 277245131 1001455616 243725 33554432000 4194304 8973514 140733751035776 140733751035272 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 244496 243725 447 1167 0 243277 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 977984
[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/171 27089
/proc/meminfo: memFree=30471352/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=996416 CPUtime=1241.93 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 248617 0 0 0 123803 390 0 0 20 0 1 0 277245131 1020329984 248333 33554432000 4194304 8973514 140733751035776 140733751035040 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 249104 248333 447 1167 0 247885 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 996416
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/171 27090
/proc/meminfo: memFree=30347724/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1120320 CPUtime=1301.91 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 279418 0 0 0 129781 410 0 0 20 0 1 0 277245131 1147207680 279134 33554432000 4194304 8973514 140733751035776 140733751035272 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 280080 279134 447 1167 0 278861 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1120320
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/171 27090
/proc/meminfo: memFree=30280640/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1186880 CPUtime=1361.9 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 296233 0 0 0 135766 424 0 0 20 0 1 0 277245131 1215365120 295949 33554432000 4194304 8973514 140733751035776 140733751017792 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 296720 295949 447 1167 0 295501 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1186880
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.20 2/171 27090
/proc/meminfo: memFree=30215168/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1252416 CPUtime=1421.9 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 312617 0 0 0 141751 439 0 0 20 0 1 0 277245131 1282473984 312333 33554432000 4194304 8973514 140733751035776 140733751017792 4213713 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 313104 312333 447 1167 0 311885 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1252416
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 27090
/proc/meminfo: memFree=30121300/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1346624 CPUtime=1481.89 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 335987 0 0 0 147734 455 0 0 20 0 1 0 277245131 1378942976 335703 33554432000 4194304 8973514 140733751035776 140733751035040 4427236 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 336656 335703 447 1167 0 335437 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1346624
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/171 27090
/proc/meminfo: memFree=30065376/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1401920 CPUtime=1541.87 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 349993 0 0 0 153719 468 0 0 20 0 1 0 277245131 1435566080 349709 33554432000 4194304 8973514 140733751035776 140733751035040 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 350480 349709 447 1167 0 349261 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1401920
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/171 27091
/proc/meminfo: memFree=30065128/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1401920 CPUtime=1601.86 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 349993 0 0 0 159706 480 0 0 20 0 1 0 277245131 1435566080 349709 33554432000 4194304 8973514 140733751035776 140733751035040 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 350480 349709 447 1167 0 349261 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1401920
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/172 27094
/proc/meminfo: memFree=30030524/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1436736 CPUtime=1661.86 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 358600 0 0 0 165695 491 0 0 20 0 1 0 277245131 1471217664 358316 33554432000 4194304 8973514 140733751035776 140733751035040 4209220 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 359184 358316 447 1167 0 357965 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1436736
[startup+1722.3 s]
/proc/loadavg: 1.08 1.02 1.14 2/172 27117
/proc/meminfo: memFree=29941908/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1524800 CPUtime=1721.84 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 380716 0 0 0 171681 503 0 0 20 0 1 0 277245131 1561395200 380429 33554432000 4194304 8973514 140733751035776 140733751035040 4215065 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 381200 380429 447 1167 0 379981 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1524800
[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.13 2/171 27117
/proc/meminfo: memFree=29941448/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1524800 CPUtime=1781.82 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 380737 0 0 0 177666 516 0 0 20 0 1 0 277245131 1561395200 380429 33554432000 4194304 8973514 140733751035776 140733751035040 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 381200 380429 447 1167 0 379981 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1524800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.02 1.01 1.13 2/171 27117
/proc/meminfo: memFree=29941540/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1524800 CPUtime=1800.02 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 380749 0 0 0 179483 519 0 0 20 0 1 0 277245131 1561395200 380429 33554432000 4194304 8973514 140733751035776 140733751035272 4441393 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 381200 380429 447 1167 0 379981 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1524800
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: 1.02 1.01 1.13 2/171 27117
/proc/meminfo: memFree=29941540/32873844 swapFree=7112/7112
[pid=27053] ppid=27051 vsize=1524800 CPUtime=1800.02 cores=0,2,4,6
/proc/27053/stat : 27053 (toysat) R 27051 27053 19605 0 -1 4202496 380749 0 0 0 179483 519 0 0 20 0 1 0 277245131 1561395200 380429 33554432000 4194304 8973514 140733751035776 140733751035272 4441393 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/27053/statm: 381200 380429 447 1167 0 379981 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1524800
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.05
CPU user time (s): 1794.83
CPU system time (s): 5.22021
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1524800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.83
system time used= 5.22021
maximum resident set size= 1521716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380749
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= 257
involuntary context switches= 2021
runsolver used 4.02139 second user time and 7.93279 second system time
The end