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-3712179-1338238224/watcher-3712179-1338238224 -o /tmp/evaluation-result-3712179-1338238224/solver-3712179-1338238224 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712179-1338238224.wbo
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.00 2.02 2.00 3/177 7320
/proc/meminfo: memFree=30277012/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 806 0 0 0 0 0 0 0 20 0 1 0 289947271 6356992 727 33554432000 4194304 8973514 140734437037616 140733380763592 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 1552 727 422 1167 0 333 0
[startup+0.0689411 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7320
/proc/meminfo: memFree=30277012/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=10304 CPUtime=0.06 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 1804 0 0 0 6 0 0 0 20 0 1 0 289947271 10551296 1725 33554432000 4194304 8973514 140734437037616 140733380763592 4209439 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 2576 1730 427 1167 0 1357 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10304
[startup+0.100234 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7320
/proc/meminfo: memFree=30277012/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=13376 CPUtime=0.09 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 2417 0 0 0 9 0 0 0 20 0 1 0 289947271 13697024 2338 33554432000 4194304 8973514 140734437037616 140733380763592 6746369 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 3344 2338 427 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300222 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7320
/proc/meminfo: memFree=30277012/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=25664 CPUtime=0.29 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 5710 0 0 0 28 1 0 0 20 0 1 0 289947271 26279936 5631 33554432000 4194304 8973514 140734437037616 140734437037112 7716813 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 6416 5631 437 1167 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25664
[startup+0.700221 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7320
/proc/meminfo: memFree=30277012/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=44096 CPUtime=0.69 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 10319 0 0 0 67 2 0 0 20 0 1 0 289947271 45154304 10240 33554432000 4194304 8973514 140734437037616 140734437037112 4481500 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 11024 10240 438 1167 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44096
[startup+1.50018 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 7321
/proc/meminfo: memFree=30237416/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=44096 CPUtime=1.49 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 10319 0 0 0 147 2 0 0 20 0 1 0 289947271 45154304 10240 33554432000 4194304 8973514 140734437037616 140734437037112 4481608 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 11024 10240 438 1167 0 9805 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44096
[startup+3.10018 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 7321
/proc/meminfo: memFree=30237044/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=45120 CPUtime=3.09 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 10575 0 0 0 306 3 0 0 20 0 1 0 289947271 46202880 10496 33554432000 4194304 8973514 140734437037616 140734437037112 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 11280 10496 438 1167 0 10061 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45120
[startup+6.30023 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 7321
/proc/meminfo: memFree=30234812/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=46144 CPUtime=6.29 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 10831 0 0 0 625 4 0 0 20 0 1 0 289947271 47251456 10752 33554432000 4194304 8973514 140734437037616 140734437037112 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 11536 10752 438 1167 0 10317 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46144
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 7321
/proc/meminfo: memFree=30234876/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=46144 CPUtime=12.69 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 10831 0 0 0 1263 6 0 0 20 0 1 0 289947271 47251456 10752 33554432000 4194304 8973514 140734437037616 140734437036880 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 11536 10752 438 1167 0 10317 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46144
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 7321
/proc/meminfo: memFree=30231040/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=47168 CPUtime=25.48 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 11087 0 0 0 2538 10 0 0 20 0 1 0 289947271 48300032 11008 33554432000 4194304 8973514 140734437037616 140734437037112 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 11792 11008 438 1167 0 10573 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47168
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7322
/proc/meminfo: memFree=30211828/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=67648 CPUtime=51.08 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 16234 0 0 0 5092 16 0 0 20 0 1 0 289947271 69271552 16155 33554432000 4194304 8973514 140734437037616 140734437037112 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 16912 16155 465 1167 0 15693 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67648
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7322
/proc/meminfo: memFree=30170412/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=105536 CPUtime=102.28 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 25706 0 0 0 10203 25 0 0 20 0 1 0 289947271 108068864 25627 33554432000 4194304 8973514 140734437037616 140734437037112 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 26384 25627 465 1167 0 25165 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 105536
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7322
/proc/meminfo: memFree=30124468/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=145472 CPUtime=162.25 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 35697 0 0 0 16191 34 0 0 20 0 1 0 289947271 148963328 35616 33554432000 4194304 8973514 140734437037616 140734437036880 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 36368 35616 465 1167 0 35149 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 145472
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7361
/proc/meminfo: memFree=30444836/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=183360 CPUtime=222.22 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 45216 0 0 0 22176 46 0 0 20 0 1 0 289947271 187760640 45088 33554432000 4194304 8973514 140734437037616 140734437036880 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 45840 45088 465 1167 0 44621 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 183360
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7361
/proc/meminfo: memFree=30412012/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=214080 CPUtime=282.19 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 52929 0 0 0 28163 56 0 0 20 0 1 0 289947271 219217920 52768 33554432000 4194304 8973514 140734437037616 140734437037112 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 53520 52768 465 1167 0 52301 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 214080
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7362
/proc/meminfo: memFree=30378272/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=247872 CPUtime=342.18 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 61377 0 0 0 34152 66 0 0 20 0 1 0 289947271 253820928 61216 33554432000 4194304 8973514 140734437037616 140734437036880 7662101 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 61968 61216 465 1167 0 60749 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 247872
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7362
/proc/meminfo: memFree=30351612/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=274496 CPUtime=402.17 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 68033 0 0 0 40141 76 0 0 20 0 1 0 289947271 281083904 67872 33554432000 4194304 8973514 140734437037616 140734437036880 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 68624 67872 465 1167 0 67405 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 274496
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7362
/proc/meminfo: memFree=30321224/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=303168 CPUtime=462.15 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 75229 0 0 0 46130 85 0 0 20 0 1 0 289947271 310444032 75040 33554432000 4194304 8973514 140734437037616 140734437036880 7660612 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 75792 75040 465 1167 0 74573 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 303168
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7362
/proc/meminfo: memFree=30291744/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=333888 CPUtime=522.14 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 82918 0 0 0 52119 95 0 0 20 0 1 0 289947271 341901312 82720 33554432000 4194304 8973514 140734437037616 140734437036880 4213833 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 83472 82720 465 1167 0 82253 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 333888
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7365
/proc/meminfo: memFree=30266620/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=359488 CPUtime=582.13 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 89096 0 0 0 58108 105 0 0 20 0 1 0 289947271 368115712 88898 33554432000 4194304 8973514 140734437037616 140734437037112 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 89872 88898 465 1167 0 88653 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 359488
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7389
/proc/meminfo: memFree=30144436/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=479296 CPUtime=882.05 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 119312 0 0 0 88057 148 0 0 20 0 1 0 289947271 490799104 119072 33554432000 4194304 8973514 140734437037616 140734437036880 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 119824 119072 465 1167 0 118605 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 479296
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7389
/proc/meminfo: memFree=30120876/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=502848 CPUtime=942.05 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 125200 0 0 0 94049 156 0 0 20 0 1 0 289947271 514916352 124960 33554432000 4194304 8973514 140734437037616 140734437035584 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 125712 124960 465 1167 0 124493 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 502848
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7390
/proc/meminfo: memFree=30102524/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=521280 CPUtime=1002.04 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 129808 0 0 0 100040 164 0 0 20 0 1 0 289947271 533790720 129568 33554432000 4194304 8973514 140734437037616 140734437036880 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 130320 129568 465 1167 0 129101 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 521280
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7390
/proc/meminfo: memFree=30076680/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=546880 CPUtime=1062.02 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 136232 0 0 0 106031 171 0 0 20 0 1 0 289947271 560005120 135968 33554432000 4194304 8973514 140734437037616 140734437037112 4204292 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 136720 135968 465 1167 0 135501 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 546880
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7390
/proc/meminfo: memFree=30053104/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=571456 CPUtime=1122 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 142209 0 0 0 112021 179 0 0 20 0 1 0 289947271 585170944 141926 33554432000 4194304 8973514 140734437037616 140734437036880 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 142864 141926 465 1167 0 141645 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 571456
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7393
/proc/meminfo: memFree=30027544/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=592960 CPUtime=1181.99 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 147771 0 0 0 118012 187 0 0 20 0 1 0 289947271 607191040 147488 33554432000 4194304 8973514 140734437037616 140734437036880 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 148240 147488 465 1167 0 147021 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 592960
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7393
/proc/meminfo: memFree=30017144/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=606272 CPUtime=1241.98 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 151099 0 0 0 124006 192 0 0 20 0 1 0 289947271 620822528 150816 33554432000 4194304 8973514 140734437037616 140734437037112 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 151568 150816 465 1167 0 150349 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 606272
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7394
/proc/meminfo: memFree=29995756/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=627776 CPUtime=1301.98 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 156475 0 0 0 129999 199 0 0 20 0 1 0 289947271 642842624 156192 33554432000 4194304 8973514 140734437037616 140734437036880 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 156944 156192 465 1167 0 155725 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 627776
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7394
/proc/meminfo: memFree=29980008/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=644160 CPUtime=1361.97 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 160571 0 0 0 135991 206 0 0 20 0 1 0 289947271 659619840 160288 33554432000 4194304 8973514 140734437037616 140734437037112 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 161040 160288 465 1167 0 159821 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 644160
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7394
/proc/meminfo: memFree=29957440/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=666688 CPUtime=1421.96 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 166203 0 0 0 141984 212 0 0 20 0 1 0 289947271 682688512 165920 33554432000 4194304 8973514 140734437037616 140734437036880 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 166672 165920 465 1167 0 165453 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 666688
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7394
/proc/meminfo: memFree=29935468/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=684096 CPUtime=1481.94 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 170564 0 0 0 147977 217 0 0 20 0 1 0 289947271 700514304 170272 33554432000 4194304 8973514 140734437037616 140734437036880 4209220 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 171024 170272 465 1167 0 169805 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 684096
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7394
/proc/meminfo: memFree=29922352/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=701504 CPUtime=1541.92 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 174804 0 0 0 153967 225 0 0 20 0 1 0 289947271 718340096 174487 33554432000 4194304 8973514 140734437037616 140734437036880 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 175376 174487 465 1167 0 174157 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 701504
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7395
/proc/meminfo: memFree=29901432/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=721984 CPUtime=1601.91 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 180065 0 0 0 159959 232 0 0 20 0 1 0 289947271 739311616 179744 33554432000 4194304 8973514 140734437037616 140734437036880 7662101 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 180496 179744 465 1167 0 179277 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 721984
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 7395
/proc/meminfo: memFree=29885436/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=737344 CPUtime=1661.9 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 183905 0 0 0 165951 239 0 0 20 0 1 0 289947271 755040256 183584 33554432000 4194304 8973514 140734437037616 140734437036880 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 184336 183584 465 1167 0 183117 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 737344
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7395
/proc/meminfo: memFree=29868760/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=753728 CPUtime=1721.89 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 187799 0 0 0 171944 245 0 0 20 0 1 0 289947271 771817472 187478 33554432000 4194304 8973514 140734437037616 140734437036880 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 188432 187478 465 1167 0 187213 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 753728
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 7398
/proc/meminfo: memFree=29848556/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=775232 CPUtime=1781.88 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 193271 0 0 0 177936 252 0 0 20 0 1 0 289947271 793837568 192950 33554432000 4194304 8973514 140734437037616 140734437036880 4209187 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 193808 192950 465 1167 0 192589 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 775232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 7398
/proc/meminfo: memFree=29843768/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=776256 CPUtime=1800.08 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 193633 0 0 0 179755 253 0 0 20 0 1 0 289947271 794886144 193312 33554432000 4194304 8973514 140734437037616 140734437036880 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 194064 193312 465 1167 0 192845 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 776256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 7398
/proc/meminfo: memFree=29843768/32873844 swapFree=6600/6600
[pid=7320] ppid=7318 vsize=776256 CPUtime=1800.08 cores=0,2,4,6
/proc/7320/stat : 7320 (toysat) R 7318 7320 6458 0 -1 4202496 193633 0 0 0 179755 253 0 0 20 0 1 0 289947271 794886144 193312 33554432000 4194304 8973514 140734437037616 140734437036880 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 194064 193312 465 1167 0 192845 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 776256
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1797.56
CPU system time (s): 2.54661
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 776256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.56
system time used= 2.54661
maximum resident set size= 773248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193633
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= 250
involuntary context switches= 2079
runsolver used 3.2935 second user time and 8.84266 second system time
The end