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-3725555-1338644916/watcher-3725555-1338644916 -o /tmp/evaluation-result-3725555-1338644916/solver-3725555-1338644916 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725555-1338644916.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.01 2.02 2.00 3/176 961
/proc/meminfo: memFree=25593904/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 790 0 0 0 0 0 0 0 20 0 1 0 330618871 6373376 710 33554432000 4194304 8989770 140736075970704 140735255640776 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 1556 710 428 1171 0 333 0
[startup+0.010011 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 961
/proc/meminfo: memFree=25593904/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 933 0 0 0 0 0 0 0 20 0 1 0 330618871 7421952 853 33554432000 4194304 8989770 140736075970704 140736075970200 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 1812 853 430 1171 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7248
[startup+0.100262 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 961
/proc/meminfo: memFree=25593904/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 2417 0 0 0 9 0 0 0 20 0 1 0 330618871 13713408 2337 33554432000 4194304 8989770 140736075970704 140736075970200 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 3348 2337 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300289 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 961
/proc/meminfo: memFree=25593904/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=23632 CPUtime=0.28 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 5029 0 0 0 28 0 0 0 20 0 1 0 330618871 24199168 4950 33554432000 4194304 8989770 140736075970704 140736075970200 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 5908 4957 431 1171 0 4685 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23632
[startup+0.700282 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 961
/proc/meminfo: memFree=25593904/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=44112 CPUtime=0.69 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 10305 0 0 0 67 2 0 0 20 0 1 0 330618871 45170688 10225 33554432000 4194304 8989770 140736075970704 140736075970200 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 11028 10225 431 1171 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44112
[startup+1.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 962
/proc/meminfo: memFree=25525060/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=98384 CPUtime=1.49 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 23907 0 0 0 144 5 0 0 20 0 1 0 330618871 100745216 23827 33554432000 4194304 8989770 140736075970704 140736075969544 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 24596 23827 459 1171 0 23373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98384
[startup+3.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 962
/proc/meminfo: memFree=25488400/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=109648 CPUtime=3.09 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 26726 0 0 0 303 6 0 0 20 0 1 0 330618871 112279552 26646 33554432000 4194304 8989770 140736075970704 140736075969968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 27412 26646 462 1171 0 26189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109648
[startup+6.30025 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 962
/proc/meminfo: memFree=25485384/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=109648 CPUtime=6.29 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 26726 0 0 0 622 7 0 0 20 0 1 0 330618871 112279552 26646 33554432000 4194304 8989770 140736075970704 140736075970200 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 27412 26646 462 1171 0 26189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109648
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 962
/proc/meminfo: memFree=25472516/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=109648 CPUtime=12.69 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 26727 0 0 0 1261 8 0 0 20 0 1 0 330618871 112279552 26647 33554432000 4194304 8989770 140736075970704 140736075969968 6587820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 27412 26647 462 1171 0 26189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109648
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 962
/proc/meminfo: memFree=25464680/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=109648 CPUtime=25.49 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 26731 0 0 0 2538 11 0 0 20 0 1 0 330618871 112279552 26647 33554432000 4194304 8989770 140736075970704 140736075970200 4209442 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 27412 26647 462 1171 0 26189 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109648
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 963
/proc/meminfo: memFree=25463764/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=109648 CPUtime=51.08 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 26735 0 0 0 5093 15 0 0 20 0 1 0 330618871 112279552 26647 33554432000 4194304 8989770 140736075970704 140736075970200 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 27412 26647 462 1171 0 26189 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109648
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 966
/proc/meminfo: memFree=25471068/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=109648 CPUtime=102.28 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 26738 0 0 0 10203 25 0 0 20 0 1 0 330618871 112279552 26647 33554432000 4194304 8989770 140736075970704 140736075968640 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 27412 26647 462 1171 0 26189 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 109648
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 966
/proc/meminfo: memFree=25471748/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=109648 CPUtime=162.25 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 26738 0 0 0 16190 35 0 0 20 0 1 0 330618871 112279552 26647 33554432000 4194304 8989770 140736075970704 140736075969968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 27412 26647 462 1171 0 26189 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 109648
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 966
/proc/meminfo: memFree=25479992/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=109648 CPUtime=222.24 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 26738 0 0 0 22179 45 0 0 20 0 1 0 330618871 112279552 26647 33554432000 4194304 8989770 140736075970704 140736075969968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 27412 26647 462 1171 0 26189 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 109648
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 966
/proc/meminfo: memFree=25488228/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=109648 CPUtime=282.24 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 26738 0 0 0 28168 56 0 0 20 0 1 0 330618871 112279552 26647 33554432000 4194304 8989770 140736075970704 140736075970200 7708462 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 27412 26647 462 1171 0 26189 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 109648
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1007
/proc/meminfo: memFree=25435656/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=110672 CPUtime=342.23 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 26994 0 0 0 34157 66 0 0 20 0 1 0 330618871 113328128 26903 33554432000 4194304 8989770 140736075970704 140736075970200 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 27668 26903 462 1171 0 26445 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 110672
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1007
/proc/meminfo: memFree=25430568/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=113744 CPUtime=402.22 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 27762 0 0 0 40145 77 0 0 20 0 1 0 330618871 116473856 27671 33554432000 4194304 8989770 140736075970704 140736075969968 4209347 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 28436 27671 462 1171 0 27213 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 113744
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1007
/proc/meminfo: memFree=25428184/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=113744 CPUtime=462.21 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 27762 0 0 0 46133 88 0 0 20 0 1 0 330618871 116473856 27671 33554432000 4194304 8989770 140736075970704 140736075969968 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 28436 27671 462 1171 0 27213 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 113744
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 1007
/proc/meminfo: memFree=25425952/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=113744 CPUtime=522.2 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 27764 0 0 0 52122 98 0 0 20 0 1 0 330618871 116473856 27671 33554432000 4194304 8989770 140736075970704 140736075968640 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 28436 27671 462 1171 0 27213 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 113744
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1007
/proc/meminfo: memFree=25424028/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=115792 CPUtime=582.19 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 28276 0 0 0 58109 110 0 0 20 0 1 0 330618871 118571008 28183 33554432000 4194304 8989770 140736075970704 140736075969968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 28948 28183 462 1171 0 27725 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 115792
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1034
/proc/meminfo: memFree=25409580/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=126032 CPUtime=882.15 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 30838 0 0 0 88042 173 0 0 20 0 1 0 330618871 129056768 30743 33554432000 4194304 8989770 140736075970704 140736075970200 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 31508 30743 462 1171 0 30285 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 126032
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1034
/proc/meminfo: memFree=25408708/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=126032 CPUtime=942.13 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 30838 0 0 0 94028 185 0 0 20 0 1 0 330618871 129056768 30743 33554432000 4194304 8989770 140736075970704 140736075969968 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 31508 30743 462 1171 0 30285 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 126032
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1035
/proc/meminfo: memFree=25406604/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=127056 CPUtime=1002.13 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 31094 0 0 0 100015 198 0 0 20 0 1 0 330618871 130105344 30999 33554432000 4194304 8989770 140736075970704 140736075968640 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 31764 30999 462 1171 0 30541 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 127056
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1035
/proc/meminfo: memFree=25404620/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=129104 CPUtime=1062.12 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 31606 0 0 0 106003 209 0 0 20 0 1 0 330618871 132202496 31511 33554432000 4194304 8989770 140736075970704 140736075970200 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 32276 31511 462 1171 0 31053 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 129104
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1035
/proc/meminfo: memFree=25399164/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=132176 CPUtime=1122.11 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 32374 0 0 0 111988 223 0 0 20 0 1 0 330618871 135348224 32279 33554432000 4194304 8989770 140736075970704 140736075970200 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 33044 32279 462 1171 0 31821 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 132176
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1035
/proc/meminfo: memFree=25398168/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=132176 CPUtime=1182.1 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 32374 0 0 0 117972 238 0 0 20 0 1 0 330618871 135348224 32279 33554432000 4194304 8989770 140736075970704 140736075968704 6587889 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 33044 32279 462 1171 0 31821 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 132176
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1035
/proc/meminfo: memFree=25396240/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=134224 CPUtime=1242.09 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 32887 0 0 0 123959 250 0 0 20 0 1 0 330618871 137445376 32791 33554432000 4194304 8989770 140736075970704 140736075969968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 33556 32791 462 1171 0 32333 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 134224
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1039
/proc/meminfo: memFree=25394988/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=134224 CPUtime=1302.08 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 32887 0 0 0 129943 265 0 0 20 0 1 0 330618871 137445376 32791 33554432000 4194304 8989770 140736075970704 140736075968640 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 33556 32791 462 1171 0 32333 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 134224
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1039
/proc/meminfo: memFree=25392764/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=135248 CPUtime=1362.07 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 33143 0 0 0 135930 277 0 0 20 0 1 0 330618871 138493952 33047 33554432000 4194304 8989770 140736075970704 140736075969808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 33812 33047 462 1171 0 32589 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 135248
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1039
/proc/meminfo: memFree=25390904/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=137296 CPUtime=1422.07 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 33655 0 0 0 141917 290 0 0 20 0 1 0 330618871 140591104 33559 33554432000 4194304 8989770 140736075970704 140736075969968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 34324 33559 462 1171 0 33101 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 137296
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1039
/proc/meminfo: memFree=25389352/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=138320 CPUtime=1482.06 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 33911 0 0 0 147906 300 0 0 20 0 1 0 330618871 141639680 33815 33554432000 4194304 8989770 140736075970704 140736075970200 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 34580 33815 462 1171 0 33357 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 138320
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1039
/proc/meminfo: memFree=25384944/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=141392 CPUtime=1542.04 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 34680 0 0 0 153892 312 0 0 20 0 1 0 330618871 144785408 34583 33554432000 4194304 8989770 140736075970704 140736075969968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 35348 34583 462 1171 0 34125 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 141392
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1040
/proc/meminfo: memFree=25385460/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=142416 CPUtime=1602.03 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 34936 0 0 0 159878 325 0 0 20 0 1 0 330618871 145833984 34839 33554432000 4194304 8989770 140736075970704 140736075968640 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 35604 34839 462 1171 0 34381 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 142416
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1040
/proc/meminfo: memFree=25382112/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=145488 CPUtime=1662.02 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 35704 0 0 0 165865 337 0 0 20 0 1 0 330618871 148979712 35607 33554432000 4194304 8989770 140736075970704 140736075969968 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 36372 35607 462 1171 0 35149 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 145488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1040
/proc/meminfo: memFree=25381052/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=146512 CPUtime=1722.02 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 35960 0 0 0 171853 349 0 0 20 0 1 0 330618871 150028288 35863 33554432000 4194304 8989770 140736075970704 140736075969968 4213862 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 36628 35863 462 1171 0 35405 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 146512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1040
/proc/meminfo: memFree=25376408/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=148560 CPUtime=1782.01 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 36472 0 0 0 177839 362 0 0 20 0 1 0 330618871 152125440 36375 33554432000 4194304 8989770 140736075970704 140736075968640 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 37140 36375 462 1171 0 35917 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 148560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1040
/proc/meminfo: memFree=25375788/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=148560 CPUtime=1800.01 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 36472 0 0 0 179635 366 0 0 20 0 1 0 330618871 152125440 36375 33554432000 4194304 8989770 140736075970704 140736075969968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 37140 36375 462 1171 0 35917 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 148560
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.00 3/177 1040
/proc/meminfo: memFree=25375788/32873648 swapFree=6852/6852
[pid=961] ppid=959 vsize=148560 CPUtime=1800.01 cores=1,3,5,7
/proc/961/stat : 961 (toysat) R 959 961 32340 0 -1 4202496 36472 0 0 0 179635 366 0 0 20 0 1 0 330618871 152125440 36375 33554432000 4194304 8989770 140736075970704 140736075969968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/961/statm: 37140 36375 462 1171 0 35917 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 148560
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1796.36
CPU system time (s): 3.66044
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 148560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.36
system time used= 3.66044
maximum resident set size= 145500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36472
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= 20
involuntary context switches= 1956
runsolver used 3.3205 second user time and 9.50555 second system time
The end