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-3724997-1338631536/watcher-3724997-1338631536 -o /tmp/evaluation-result-3724997-1338631536/solver-3724997-1338631536 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724997-1338631536.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: 0.67 0.16 0.05 3/176 30743
/proc/meminfo: memFree=29167912/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 839 0 0 0 0 0 0 0 20 0 1 0 329278049 7421952 759 33554432000 4194304 8989770 140734822579568 140735474433720 4626286 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 1812 759 425 1171 0 589 0
[startup+0.069505 s]
/proc/loadavg: 0.67 0.16 0.05 3/176 30743
/proc/meminfo: memFree=29167912/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=11344 CPUtime=0.06 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 1999 0 0 0 6 0 0 0 20 0 1 0 329278049 11616256 1919 33554432000 4194304 8989770 140734822579568 140735474433720 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 2836 1919 430 1171 0 1613 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11344
[startup+0.100285 s]
/proc/loadavg: 0.67 0.16 0.05 3/176 30743
/proc/meminfo: memFree=29167912/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 2431 0 0 0 9 0 0 0 20 0 1 0 329278049 13713408 2351 33554432000 4194304 8989770 140734822579568 140735474433720 7750296 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 3348 2351 430 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300279 s]
/proc/loadavg: 0.67 0.16 0.05 3/176 30743
/proc/meminfo: memFree=29167912/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=24656 CPUtime=0.29 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 5464 0 0 0 28 1 0 0 20 0 1 0 329278049 25247744 5384 33554432000 4194304 8989770 140734822579568 140734822579064 4214368 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 6164 5384 447 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656
[startup+0.700233 s]
/proc/loadavg: 0.67 0.16 0.05 3/176 30743
/proc/meminfo: memFree=29167912/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=24656 CPUtime=0.69 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 5464 0 0 0 68 1 0 0 20 0 1 0 329278049 25247744 5384 33554432000 4194304 8989770 140734822579568 140734822579064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 6164 5384 447 1171 0 4941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24656
[startup+1.50023 s]
/proc/loadavg: 0.67 0.16 0.05 3/177 30744
/proc/meminfo: memFree=29148436/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=24656 CPUtime=1.49 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 5464 0 0 0 148 1 0 0 20 0 1 0 329278049 25247744 5384 33554432000 4194304 8989770 140734822579568 140734822578832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 6164 5384 447 1171 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24656
[startup+3.10025 s]
/proc/loadavg: 0.67 0.16 0.05 3/177 30744
/proc/meminfo: memFree=29147692/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=27728 CPUtime=3.09 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 6232 0 0 0 307 2 0 0 20 0 1 0 329278049 28393472 6152 33554432000 4194304 8989770 140734822579568 140734822579064 4493760 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 6932 6152 447 1171 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27728
[startup+6.30027 s]
/proc/loadavg: 0.77 0.19 0.06 3/177 30744
/proc/meminfo: memFree=29144220/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=27728 CPUtime=6.29 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 6232 0 0 0 625 4 0 0 20 0 1 0 329278049 28393472 6152 33554432000 4194304 8989770 140734822579568 140734822579064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 6932 6152 447 1171 0 5709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27728
[startup+12.7003 s]
/proc/loadavg: 0.87 0.22 0.07 3/177 30744
/proc/meminfo: memFree=29139820/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=30800 CPUtime=12.68 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 7015 0 0 0 1261 7 0 0 20 0 1 0 329278049 31539200 6935 33554432000 4194304 8989770 140734822579568 140734822579064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 7700 6935 462 1171 0 6477 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30800
[startup+25.5003 s]
/proc/loadavg: 1.12 0.31 0.10 3/177 30744
/proc/meminfo: memFree=29117608/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=53328 CPUtime=25.49 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 12665 0 0 0 2530 19 0 0 20 0 1 0 329278049 54607872 12586 33554432000 4194304 8989770 140734822579568 140734822579064 4426496 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 13332 12586 475 1171 0 12109 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53328
[startup+51.1003 s]
/proc/loadavg: 1.42 0.44 0.15 3/177 30744
/proc/meminfo: memFree=29101256/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=66640 CPUtime=51.07 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 16007 0 0 0 5078 29 0 0 20 0 1 0 329278049 68239360 15914 33554432000 4194304 8989770 140734822579568 140734822578832 7732708 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 16660 15914 475 1171 0 15437 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66640
[startup+102.307 s]
/proc/loadavg: 1.75 0.68 0.25 3/177 30744
/proc/meminfo: memFree=29077996/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=83024 CPUtime=102.26 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 20103 0 0 0 10179 47 0 0 20 0 1 0 329278049 85016576 20010 33554432000 4194304 8989770 140734822579568 140734822579064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 20756 20010 475 1171 0 19533 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 83024
[startup+162.3 s]
/proc/loadavg: 1.90 0.92 0.35 3/177 30745
/proc/meminfo: memFree=29066008/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=91216 CPUtime=162.24 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 22155 0 0 0 16160 64 0 0 20 0 1 0 329278049 93405184 22058 33554432000 4194304 8989770 140734822579568 140734822578832 4204276 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 22804 22058 475 1171 0 21581 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 91216
[startup+222.3 s]
/proc/loadavg: 1.96 1.11 0.45 3/177 30745
/proc/meminfo: memFree=29056696/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=99408 CPUtime=222.24 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 24207 0 0 0 22140 84 0 0 20 0 1 0 329278049 101793792 24106 33554432000 4194304 8989770 140734822579568 140734822579064 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 24852 24106 475 1171 0 23629 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 99408
[startup+282.3 s]
/proc/loadavg: 1.98 1.27 0.55 3/178 30748
/proc/meminfo: memFree=29040064/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=114768 CPUtime=282.22 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 28048 0 0 0 28120 102 0 0 20 0 1 0 329278049 117522432 27946 33554432000 4194304 8989770 140734822579568 140734822579064 7748448 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 28692 27946 475 1171 0 27469 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 114768
[startup+342.3 s]
/proc/loadavg: 1.99 1.40 0.64 3/177 30748
/proc/meminfo: memFree=29035168/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=118864 CPUtime=342.21 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 29073 0 0 0 34094 127 0 0 20 0 1 0 329278049 121716736 28970 33554432000 4194304 8989770 140734822579568 140734822578832 7683218 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 29716 28970 475 1171 0 28493 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 118864
[startup+402.3 s]
/proc/loadavg: 2.03 1.52 0.72 3/177 30748
/proc/meminfo: memFree=29023872/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=130128 CPUtime=402.2 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 31893 0 0 0 40073 147 0 0 20 0 1 0 329278049 133251072 31786 33554432000 4194304 8989770 140734822579568 140734822579064 4208894 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 32532 31786 475 1171 0 31309 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 130128
[startup+462.3 s]
/proc/loadavg: 2.01 1.61 0.80 3/177 30749
/proc/meminfo: memFree=29012588/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=140368 CPUtime=462.19 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 34453 0 0 0 46050 169 0 0 20 0 1 0 329278049 143736832 34346 33554432000 4194304 8989770 140734822579568 140734822579064 7416642 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 35092 34346 475 1171 0 33869 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 140368
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.87 3/177 30749
/proc/meminfo: memFree=29001532/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=152656 CPUtime=522.17 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 37529 0 0 0 52024 193 0 0 20 0 1 0 329278049 156319744 37418 33554432000 4194304 8989770 140734822579568 140734822578832 7415032 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 38164 37418 475 1171 0 36941 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 152656
[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.94 3/177 30749
/proc/meminfo: memFree=28996200/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=156752 CPUtime=582.17 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 38553 0 0 0 58003 214 0 0 20 0 1 0 329278049 160514048 38442 33554432000 4194304 8989770 140734822579568 140734822578832 4472659 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 39188 38442 475 1171 0 37965 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 156752
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.87 1.17 3/177 30750
/proc/meminfo: memFree=28957288/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=193616 CPUtime=822.12 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 47777 0 0 0 81923 289 0 0 20 0 1 0 329278049 198262784 47658 33554432000 4194304 8989770 140734822579568 140734822578832 4469776 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 48404 47658 475 1171 0 47181 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 193616
[startup+882.3 s]
/proc/loadavg: 2.04 1.91 1.22 3/178 30753
/proc/meminfo: memFree=28943640/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=206928 CPUtime=882.11 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 51105 0 0 0 87905 306 0 0 20 0 1 0 329278049 211894272 50986 33554432000 4194304 8989770 140734822579568 140734822578832 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 51732 50986 475 1171 0 50509 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 206928
[startup+942.3 s]
/proc/loadavg: 2.01 1.92 1.27 3/177 30753
/proc/meminfo: memFree=28939844/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=211024 CPUtime=942.1 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 52134 0 0 0 93887 323 0 0 20 0 1 0 329278049 216088576 52010 33554432000 4194304 8989770 140734822579568 140734822578832 4469772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 52756 52010 475 1171 0 51533 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 211024
[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.31 3/177 30753
/proc/meminfo: memFree=28931660/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=219216 CPUtime=1002.1 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 54182 0 0 0 99868 342 0 0 20 0 1 0 329278049 224477184 54058 33554432000 4194304 8989770 140734822579568 140734822578832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 54804 54058 475 1171 0 53581 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 219216
[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/177 30754
/proc/meminfo: memFree=28923524/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=227408 CPUtime=1062.08 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 56233 0 0 0 105848 360 0 0 20 0 1 0 329278049 232865792 56106 33554432000 4194304 8989770 140734822579568 140734822578832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 56852 56106 475 1171 0 55629 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 227408
[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.39 3/177 30754
/proc/meminfo: memFree=28915456/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=234576 CPUtime=1122.07 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 58025 0 0 0 111827 380 0 0 20 0 1 0 329278049 240205824 57898 33554432000 4194304 8989770 140734822579568 140734822579064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 58644 57898 475 1171 0 57421 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 234576
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.43 3/177 30754
/proc/meminfo: memFree=28908140/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=241744 CPUtime=1182.07 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 59817 0 0 0 117809 398 0 0 20 0 1 0 329278049 247545856 59690 33554432000 4194304 8989770 140734822579568 140734822578832 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 60436 59690 475 1171 0 59213 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 241744
[startup+1242.3 s]
/proc/loadavg: 2.03 1.97 1.46 3/177 30754
/proc/meminfo: memFree=28900680/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=248912 CPUtime=1242.05 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 61612 0 0 0 123788 417 0 0 20 0 1 0 329278049 254885888 61482 33554432000 4194304 8989770 140734822579568 140734822579064 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 62228 61482 475 1171 0 61005 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 248912
[startup+1302.3 s]
/proc/loadavg: 2.01 1.97 1.49 3/177 30754
/proc/meminfo: memFree=28890388/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=259152 CPUtime=1302.04 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 64172 0 0 0 129772 432 0 0 20 0 1 0 329278049 265371648 64042 33554432000 4194304 8989770 140734822579568 140734822578832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 64788 64042 475 1171 0 63565 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 259152
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/177 30755
/proc/meminfo: memFree=28884684/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=265296 CPUtime=1362.04 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 65708 0 0 0 135756 448 0 0 20 0 1 0 329278049 271663104 65578 33554432000 4194304 8989770 140734822579568 140734822578832 7732735 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 66324 65578 475 1171 0 65101 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 265296
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.55 3/177 30755
/proc/meminfo: memFree=28879588/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=270416 CPUtime=1422.03 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 66991 0 0 0 141739 464 0 0 20 0 1 0 329278049 276905984 66858 33554432000 4194304 8989770 140734822579568 140734822578832 7688482 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 67604 66858 475 1171 0 66381 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 270416
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/178 30758
/proc/meminfo: memFree=28871696/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=278608 CPUtime=1482 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 69041 0 0 0 147719 481 0 0 20 0 1 0 329278049 285294592 68906 33554432000 4194304 8989770 140734822579568 140734822578832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 69652 68906 475 1171 0 68429 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 278608
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.60 3/177 30758
/proc/meminfo: memFree=28865380/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=283728 CPUtime=1542 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 70321 0 0 0 153702 498 0 0 20 0 1 0 329278049 290537472 70186 33554432000 4194304 8989770 140734822579568 140734822578832 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 70932 70186 475 1171 0 69709 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 283728
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/177 30758
/proc/meminfo: memFree=28857072/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=291920 CPUtime=1601.99 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 72369 0 0 0 159682 517 0 0 20 0 1 0 329278049 298926080 72234 33554432000 4194304 8989770 140734822579568 140734822578832 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 72980 72234 475 1171 0 71757 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 291920
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/177 30759
/proc/meminfo: memFree=28851904/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=297040 CPUtime=1661.97 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 73658 0 0 0 165665 532 0 0 20 0 1 0 329278049 304168960 73514 33554432000 4194304 8989770 140734822579568 140734822579064 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 74260 73514 475 1171 0 73037 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 297040
[startup+1722.3 s]
/proc/loadavg: 2.03 1.99 1.67 3/176 30759
/proc/meminfo: memFree=28844348/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=306256 CPUtime=1721.96 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 75724 0 0 0 171649 547 0 0 20 0 1 0 329278049 313606144 75580 33554432000 4194304 8989770 140734822579568 140734822578832 4214456 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 76564 75580 475 1171 0 75341 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 306256
[startup+1782.3 s]
/proc/loadavg: 2.01 1.99 1.68 3/177 30760
/proc/meminfo: memFree=28835288/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=313424 CPUtime=1781.95 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 77754 0 0 0 177632 563 0 0 20 0 1 0 329278049 320946176 77610 33554432000 4194304 8989770 140734822579568 140734822578832 4213768 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 78356 77610 475 1171 0 77133 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 313424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.93 1.97 1.68 3/177 30799
/proc/meminfo: memFree=28858276/32873844 swapFree=7644/7644
[pid=30743] ppid=30741 vsize=313424 CPUtime=1800.06 cores=1,3,5,7
/proc/30743/stat : 30743 (toysat) R 30741 30743 30509 0 -1 4202496 77754 0 0 0 179438 568 0 0 20 0 1 0 329278049 320946176 77610 33554432000 4194304 8989770 140734822579568 140734822578832 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30743/statm: 78356 77610 475 1171 0 77133 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 313424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1794.39
CPU system time (s): 5.68413
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 313424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.39
system time used= 5.68413
maximum resident set size= 310440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77754
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= 72
involuntary context switches= 1870
runsolver used 3.48247 second user time and 9.96248 second system time
The end