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-3706372-1338150919/watcher-3706372-1338150919 -o /tmp/evaluation-result-3706372-1338150919/solver-3706372-1338150919 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706372-1338150919.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 17923
/proc/meminfo: memFree=31271612/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 787 0 0 0 0 0 0 0 20 0 1 0 281216681 6356992 709 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 1552 709 413 1167 0 333 0
[startup+0.031502 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 17923
/proc/meminfo: memFree=31271612/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 1250 0 0 0 2 0 0 0 20 0 1 0 281216681 8454144 1172 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 2064 1172 416 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256
[startup+0.100264 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 17923
/proc/meminfo: memFree=31271612/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 2526 0 0 0 9 0 0 0 20 0 1 0 281216681 13697024 2448 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 3344 2448 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300299 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 17923
/proc/meminfo: memFree=31271612/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=24640 CPUtime=0.29 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 5426 0 0 0 28 1 0 0 20 0 1 0 281216681 25231360 5348 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 6160 5348 418 1167 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24640
[startup+0.700293 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 17923
/proc/meminfo: memFree=31271612/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=47168 CPUtime=0.69 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 11074 0 0 0 67 2 0 0 20 0 1 0 281216681 48300032 10996 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 11792 10996 428 1167 0 10573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47168
[startup+1.50026 s]
/proc/loadavg: 2.13 2.03 2.01 3/179 17924
/proc/meminfo: memFree=31229436/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=47168 CPUtime=1.48 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 11101 0 0 0 146 2 0 0 20 0 1 0 281216681 48300032 11023 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 11792 11023 455 1167 0 10573 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 47168
[startup+3.10027 s]
/proc/loadavg: 2.13 2.03 2.01 3/179 17924
/proc/meminfo: memFree=31229056/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=47168 CPUtime=3.09 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 11101 0 0 0 306 3 0 0 20 0 1 0 281216681 48300032 11023 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 11792 11023 455 1167 0 10573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47168
[startup+6.30029 s]
/proc/loadavg: 2.13 2.03 2.01 3/179 17924
/proc/meminfo: memFree=31227692/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=49216 CPUtime=6.29 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 11613 0 0 0 624 5 0 0 20 0 1 0 281216681 50397184 11535 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 12304 11535 455 1167 0 11085 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49216
[startup+12.7002 s]
/proc/loadavg: 2.26 2.06 2.02 3/179 17924
/proc/meminfo: memFree=31223360/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=52288 CPUtime=12.68 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 12381 0 0 0 1260 8 0 0 20 0 1 0 281216681 53542912 12303 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 13072 12303 455 1167 0 11853 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52288
[startup+25.5003 s]
/proc/loadavg: 2.22 2.06 2.02 3/179 17924
/proc/meminfo: memFree=31220152/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=56384 CPUtime=25.49 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 13405 0 0 0 2535 14 0 0 20 0 1 0 281216681 57737216 13327 33554432000 4194304 8973514 140733497773216 140733497772480 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 14096 13327 455 1167 0 12877 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56384
[startup+51.1003 s]
/proc/loadavg: 2.14 2.05 2.01 3/179 17924
/proc/meminfo: memFree=31214944/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=61504 CPUtime=51.08 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 14685 0 0 0 5084 24 0 0 20 0 1 0 281216681 62980096 14607 33554432000 4194304 8973514 140733497773216 140733497772480 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 15376 14607 455 1167 0 14157 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61504
[startup+102.307 s]
/proc/loadavg: 2.11 2.06 2.01 3/179 17924
/proc/meminfo: memFree=31211540/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=63552 CPUtime=102.27 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 15209 0 0 0 10185 42 0 0 20 0 1 0 281216681 65077248 15124 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 15888 15124 455 1167 0 14669 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 63552
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/179 17924
/proc/meminfo: memFree=31206084/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=65600 CPUtime=162.25 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 15566 0 0 0 16164 61 0 0 20 0 1 0 281216681 67174400 15481 33554432000 4194304 8973514 140733497773216 140733497772712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 16400 15481 455 1167 0 15181 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 65600
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 17925
/proc/meminfo: memFree=31192688/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=222.25 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18793 0 0 0 22142 83 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 77888
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 17925
/proc/meminfo: memFree=31192488/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=282.24 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 28120 104 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 77888
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 17928
/proc/meminfo: memFree=31192604/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=342.22 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 34096 126 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 77888
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17928
/proc/meminfo: memFree=31192736/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=402.21 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 40073 148 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772480 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 77888
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17928
/proc/meminfo: memFree=31193108/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=462.21 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 46051 170 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 77888
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17928
/proc/meminfo: memFree=31193356/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=522.2 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 52029 191 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772480 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 77888
[startup+582.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 17968
/proc/meminfo: memFree=31015580/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=582.19 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 58007 212 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772480 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 77888
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 17972
/proc/meminfo: memFree=30977352/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=882.14 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 87887 327 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 77888
[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 17972
/proc/meminfo: memFree=30977516/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=942.13 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 93864 349 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772480 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 77888
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17972
/proc/meminfo: memFree=30966364/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1002.12 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 99839 373 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772480 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 77888
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17972
/proc/meminfo: memFree=30945904/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1062.11 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 105815 396 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772480 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 77888
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17972
/proc/meminfo: memFree=30849072/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1122.11 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 111794 417 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497771136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 77888
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17973
/proc/meminfo: memFree=30712080/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1182.09 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 117771 438 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772480 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 77888
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17973
/proc/meminfo: memFree=30575584/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1242.08 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 123747 461 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772480 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 77888
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17973
/proc/meminfo: memFree=30467732/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1302.08 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 129725 483 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772480 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 77888
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17973
/proc/meminfo: memFree=30359136/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1362.07 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 135702 505 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 77888
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17973
/proc/meminfo: memFree=30264800/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1422.07 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 141677 530 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772480 7732879 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 77888
[startup+1482.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 17974
/proc/meminfo: memFree=30156948/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1482.05 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 147653 552 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 77888
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 18000
/proc/meminfo: memFree=30041784/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1542.04 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 153627 577 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 77888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18000
/proc/meminfo: memFree=29957224/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1602.03 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 159605 598 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 77888
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18000
/proc/meminfo: memFree=29890424/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1662.03 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 165584 619 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 77888
[startup+1722.3 s]
/proc/loadavg: 1.43 1.84 1.95 2/173 18024
/proc/meminfo: memFree=31320056/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1722.01 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 171559 642 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 77888
[startup+1782.3 s]
/proc/loadavg: 1.16 1.69 1.88 2/172 18025
/proc/meminfo: memFree=31320560/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1782 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 177538 662 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 77888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.12 1.65 1.87 2/173 18026
/proc/meminfo: memFree=31320304/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1800 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 179333 667 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7716799 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 77888
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: 1.12 1.65 1.87 2/173 18026
/proc/meminfo: memFree=31320304/32873844 swapFree=7616/7616
[pid=17923] ppid=17921 vsize=77888 CPUtime=1800 cores=1,3,5,7
/proc/17923/stat : 17923 (toysat) R 17921 17923 15420 0 -1 4202496 18794 0 0 0 179333 667 0 0 20 0 1 0 281216681 79757312 18708 33554432000 4194304 8973514 140733497773216 140733497772712 7716799 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17923/statm: 19472 18708 455 1167 0 18253 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 77888
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1793.34
CPU system time (s): 6.67998
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 77888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.34
system time used= 6.67998
maximum resident set size= 74832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18794
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= 16
involuntary context switches= 1855
runsolver used 3.53146 second user time and 10.1635 second system time
The end