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-3707182-1338202891/watcher-3707182-1338202891 -o /tmp/evaluation-result-3707182-1338202891/solver-3707182-1338202891 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707182-1338202891.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.01 2.06 2.03 2/174 22158
/proc/meminfo: memFree=31357864/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 286413869 6356992 729 33554432000 4194304 8973514 140734790719120 140736478344680 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22158/statm: 1552 729 416 1167 0 333 0
[startup+0.0381059 s]
/proc/loadavg: 2.01 2.06 2.03 2/174 22158
/proc/meminfo: memFree=31357864/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=8256 CPUtime=0.03 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 1331 0 0 0 3 0 0 0 20 0 1 0 286413869 8454144 1253 33554432000 4194304 8973514 140734790719120 140736478344680 4209328 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22158/statm: 2064 1253 418 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256
[startup+0.204953 s]
/proc/loadavg: 2.01 2.06 2.03 2/174 22158
/proc/meminfo: memFree=31357864/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=18496 CPUtime=0.19 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 3891 0 0 0 19 0 0 0 20 0 1 0 286413869 18939904 3813 33554432000 4194304 8973514 140734790719120 140736478344680 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22158/statm: 4624 3813 418 1167 0 3405 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18496
[startup+0.310469 s]
/proc/loadavg: 2.01 2.06 2.03 2/174 22158
/proc/meminfo: memFree=31357864/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=27712 CPUtime=0.3 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 5992 0 0 0 29 1 0 0 20 0 1 0 286413869 28377088 5914 33554432000 4194304 8973514 140734790719120 140734790718384 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22158/statm: 6928 5914 418 1167 0 5709 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 27712
[startup+2.26943 s]
/proc/loadavg: 2.01 2.06 2.03 2/174 22158
/proc/meminfo: memFree=31357864/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=108608 CPUtime=2.26 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26455 0 0 0 221 5 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790718384 4211946 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 108608
[startup+2.30826 s]
/proc/loadavg: 2.01 2.06 2.03 2/174 22158
/proc/meminfo: memFree=31357864/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=108608 CPUtime=2.29 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26455 0 0 0 224 5 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790717056 4205050 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 108608
[startup+5.5102 s]
/proc/loadavg: 2.01 2.06 2.03 2/174 22158
/proc/meminfo: memFree=31357864/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=108608 CPUtime=5.5 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26455 0 0 0 544 6 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790718616 7692360 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 108608
[startup+13.6907 s]
/proc/loadavg: 2.01 2.06 2.03 2/174 22158
/proc/meminfo: memFree=31357864/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=108608 CPUtime=13.67 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26455 0 0 0 1360 7 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790718384 4209212 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 13.67
Current children cumulated vsize (KiB) 108608
[startup+13.7021 s]
/proc/loadavg: 2.01 2.06 2.03 2/174 22158
/proc/meminfo: memFree=31357864/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=108608 CPUtime=13.68 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26455 0 0 0 1361 7 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790718384 4415744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 13.68
Current children cumulated vsize (KiB) 108608
[startup+25.7044 s]
/proc/loadavg: 2.34 2.13 2.05 6/180 22171
/proc/meminfo: memFree=31126036/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=108608 CPUtime=25.69 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26455 0 0 0 2560 9 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790718384 7672539 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 25.69
Current children cumulated vsize (KiB) 108608
[startup+53.0072 s]
/proc/loadavg: 2.29 2.14 2.05 6/179 22172
/proc/meminfo: memFree=31126316/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=108608 CPUtime=52.99 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26456 0 0 0 5285 14 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790718384 4204672 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 52.99
Current children cumulated vsize (KiB) 108608
[startup+115.735 s]
/proc/loadavg: 2.29 2.14 2.05 6/179 22172
/proc/meminfo: memFree=31126316/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=108608 CPUtime=115.7 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26464 0 0 0 11545 25 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790718616 4208816 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 115.7
Current children cumulated vsize (KiB) 108608
[startup+176.075 s]
/proc/loadavg: 3.94 2.78 2.29 5/179 22172
/proc/meminfo: memFree=31109388/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=108608 CPUtime=176.03 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26464 0 0 0 17569 34 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790717056 4209234 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 176.03
Current children cumulated vsize (KiB) 108608
[startup+227.616 s]
/proc/loadavg: 3.94 2.78 2.29 5/179 22172
/proc/meminfo: memFree=31109388/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=108608 CPUtime=227.56 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26464 0 0 0 22714 42 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790718384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 227.56
Current children cumulated vsize (KiB) 108608
[startup+294.433 s]
/proc/loadavg: 4.18 3.15 2.46 5/179 22172
/proc/meminfo: memFree=31064080/32873844 swapFree=7620/7620
[pid=22158] ppid=22156 vsize=108608 CPUtime=294.36 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26464 0 0 0 29382 54 0 0 20 0 1 0 286413869 111214592 26377 33554432000 4194304 8973514 140734790719120 140734790718384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 27152 26377 447 1167 0 25933 0
Current children cumulated CPU time (s) 294.36
Current children cumulated vsize (KiB) 108608
[startup+342.3 s]
/proc/loadavg: 2.94 3.09 2.52 3/178 22172
/proc/meminfo: memFree=31062404/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=110656 CPUtime=342.22 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 26976 0 0 0 34158 64 0 0 20 0 1 0 286413869 113311744 26889 33554432000 4194304 8973514 140734790719120 140734790718384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 27664 26889 447 1167 0 26445 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 110656
[startup+402.3 s]
/proc/loadavg: 2.39 2.90 2.49 3/179 22173
/proc/meminfo: memFree=31058436/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=113728 CPUtime=402.22 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 27744 0 0 0 40146 76 0 0 20 0 1 0 286413869 116457472 27657 33554432000 4194304 8973514 140734790719120 140734790717120 4208879 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 28432 27657 447 1167 0 27213 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 113728
[startup+462.3 s]
/proc/loadavg: 2.14 2.74 2.45 3/179 22173
/proc/meminfo: memFree=31058432/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=113728 CPUtime=462.21 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 27745 0 0 0 46134 87 0 0 20 0 1 0 286413869 116457472 27657 33554432000 4194304 8973514 140734790719120 140734790717056 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 28432 27657 447 1167 0 27213 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 113728
[startup+522.3 s]
/proc/loadavg: 2.05 2.60 2.42 3/180 22176
/proc/meminfo: memFree=31054456/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=117824 CPUtime=522.19 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 28769 0 0 0 52120 99 0 0 20 0 1 0 286413869 120651776 28681 33554432000 4194304 8973514 140734790719120 140734790718616 4209136 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 29456 28681 447 1167 0 28237 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 117824
[startup+582.3 s]
/proc/loadavg: 2.02 2.49 2.39 3/179 22176
/proc/meminfo: memFree=31054588/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=117824 CPUtime=582.19 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 28769 0 0 0 58102 117 0 0 20 0 1 0 286413869 120651776 28681 33554432000 4194304 8973514 140734790719120 140734790717056 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 29456 28681 447 1167 0 28237 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 117824
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.18 2.27 3/179 22177
/proc/meminfo: memFree=31045588/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=124992 CPUtime=882.14 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 30564 0 0 0 88011 203 0 0 20 0 1 0 286413869 127991808 30473 33554432000 4194304 8973514 140734790719120 140734790718616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 31248 30473 447 1167 0 30029 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 124992
[startup+942.3 s]
/proc/loadavg: 2.00 2.14 2.26 3/179 22177
/proc/meminfo: memFree=31043292/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=127040 CPUtime=942.14 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 31076 0 0 0 93991 223 0 0 20 0 1 0 286413869 130088960 30985 33554432000 4194304 8973514 140734790719120 140734790718616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 31760 30985 447 1167 0 30541 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 127040
[startup+1002.3 s]
/proc/loadavg: 2.00 2.11 2.24 3/179 22178
/proc/meminfo: memFree=31039444/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=128064 CPUtime=1002.12 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 31332 0 0 0 99971 241 0 0 20 0 1 0 286413869 131137536 31241 33554432000 4194304 8973514 140734790719120 140734790718616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 32016 31241 447 1167 0 30797 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 128064
[startup+1062.3 s]
/proc/loadavg: 2.00 2.09 2.22 3/179 22178
/proc/meminfo: memFree=31027168/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=131136 CPUtime=1062.12 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 32100 0 0 0 105950 262 0 0 20 0 1 0 286413869 134283264 32009 33554432000 4194304 8973514 140734790719120 140734790718384 4208833 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 32784 32009 447 1167 0 31565 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 131136
[startup+1122.3 s]
/proc/loadavg: 2.00 2.07 2.20 3/180 22181
/proc/meminfo: memFree=31024232/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=132160 CPUtime=1122.11 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 32356 0 0 0 111930 281 0 0 20 0 1 0 286413869 135331840 32265 33554432000 4194304 8973514 140734790719120 140734790717056 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 33040 32265 447 1167 0 31821 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 132160
[startup+1182.3 s]
/proc/loadavg: 2.00 2.06 2.18 3/179 22181
/proc/meminfo: memFree=31022256/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=134208 CPUtime=1182.1 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 32868 0 0 0 117911 299 0 0 20 0 1 0 286413869 137428992 32777 33554432000 4194304 8973514 140734790719120 140734790717056 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 33552 32777 447 1167 0 32333 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 134208
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.17 3/179 22181
/proc/meminfo: memFree=31021444/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=134208 CPUtime=1242.08 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 32868 0 0 0 123893 315 0 0 20 0 1 0 286413869 137428992 32777 33554432000 4194304 8973514 140734790719120 140734790718616 4204359 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 33552 32777 447 1167 0 32333 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 134208
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.16 3/179 22182
/proc/meminfo: memFree=31014376/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=135232 CPUtime=1302.08 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 33124 0 0 0 129874 334 0 0 20 0 1 0 286413869 138477568 33033 33554432000 4194304 8973514 140734790719120 140734790718384 4213815 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 33808 33033 447 1167 0 32589 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 135232
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.15 3/179 22182
/proc/meminfo: memFree=31005748/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=137280 CPUtime=1362.07 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 33636 0 0 0 135857 350 0 0 20 0 1 0 286413869 140574720 33545 33554432000 4194304 8973514 140734790719120 140734790716992 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 34320 33545 447 1167 0 33101 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 137280
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.14 3/179 22182
/proc/meminfo: memFree=31002896/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=138304 CPUtime=1422.06 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 33892 0 0 0 141838 368 0 0 20 0 1 0 286413869 141623296 33801 33554432000 4194304 8973514 140734790719120 140734790718616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 34576 33801 447 1167 0 33357 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 138304
[startup+1482.31 s]
/proc/loadavg: 2.00 2.01 2.12 3/179 22182
/proc/meminfo: memFree=30999728/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=141376 CPUtime=1482.06 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 34663 0 0 0 147818 388 0 0 20 0 1 0 286413869 144769024 34569 33554432000 4194304 8973514 140734790719120 140734790718616 4213376 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 35344 34569 447 1167 0 34125 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 141376
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/179 22182
/proc/meminfo: memFree=30997496/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=143424 CPUtime=1542.05 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 35175 0 0 0 153796 409 0 0 20 0 1 0 286413869 146866176 35081 33554432000 4194304 8973514 140734790719120 140734790718224 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 35856 35081 447 1167 0 34637 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 143424
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 22183
/proc/meminfo: memFree=30995384/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=145472 CPUtime=1602.03 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 35687 0 0 0 159775 428 0 0 20 0 1 0 286413869 148963328 35593 33554432000 4194304 8973514 140734790719120 140734790718384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 36368 35593 447 1167 0 35149 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 145472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 22183
/proc/meminfo: memFree=30988560/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=148544 CPUtime=1662.02 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 36457 0 0 0 165755 447 0 0 20 0 1 0 286413869 152109056 36361 33554432000 4194304 8973514 140734790719120 140734790718616 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 37136 36361 447 1167 0 35917 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 148544
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/180 22186
/proc/meminfo: memFree=30982100/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=148544 CPUtime=1722.01 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 36457 0 0 0 171735 466 0 0 20 0 1 0 286413869 152109056 36361 33554432000 4194304 8973514 140734790719120 140734790718616 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 37136 36361 447 1167 0 35917 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 148544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 22186
/proc/meminfo: memFree=30978140/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=148544 CPUtime=1782 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 36457 0 0 0 177716 484 0 0 20 0 1 0 286413869 152109056 36361 33554432000 4194304 8973514 140734790719120 140734790718384 6571896 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 37136 36361 447 1167 0 35917 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 148544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 22186
/proc/meminfo: memFree=30976080/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=150592 CPUtime=1800 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 36969 0 0 0 179510 490 0 0 20 0 1 0 286413869 154206208 36873 33554432000 4194304 8973514 140734790719120 140734790718384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 37648 36873 447 1167 0 36429 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 150592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 22186
/proc/meminfo: memFree=30976080/32873844 swapFree=7616/7616
[pid=22158] ppid=22156 vsize=150592 CPUtime=1800 cores=0,2,4,6
/proc/22158/stat : 22158 (toysat) R 22156 22158 21285 0 -1 4202496 36969 0 0 0 179510 490 0 0 20 0 1 0 286413869 154206208 36873 33554432000 4194304 8973514 140734790719120 140734790718384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22158/statm: 37648 36873 447 1167 0 36429 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 150592
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1795.11
CPU system time (s): 4.90925
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 150592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.11
system time used= 4.90925
maximum resident set size= 147492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36969
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= 21
involuntary context switches= 1829
runsolver used 3.05054 second user time and 7.85881 second system time
The end