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-3706040-1338145414/watcher-3706040-1338145414 -o /tmp/evaluation-result-3706040-1338145414/solver-3706040-1338145414 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706040-1338145414.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.00 2.00 2.00 3/174 14594
/proc/meminfo: memFree=29354292/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 801 0 0 0 0 0 0 0 20 0 1 0 280666985 6356992 722 33554432000 4194304 8973514 140736108528608 140734947678360 7858672 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 1552 722 416 1167 0 333 0
[startup+0.0453351 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 14594
/proc/meminfo: memFree=29354292/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=10304 CPUtime=0.04 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 1616 0 0 0 4 0 0 0 20 0 1 0 280666985 10551296 1537 33554432000 4194304 8973514 140736108528608 140734947678360 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 2576 1537 418 1167 0 1357 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10304
[startup+0.100254 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 14594
/proc/meminfo: memFree=29354292/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 2496 0 0 0 9 0 0 0 20 0 1 0 280666985 13697024 2417 33554432000 4194304 8973514 140736108528608 140734947678360 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 3344 2417 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 14594
/proc/meminfo: memFree=29354292/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=25664 CPUtime=0.29 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 5685 0 0 0 28 1 0 0 20 0 1 0 280666985 26279936 5606 33554432000 4194304 8973514 140736108528608 140736108528104 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 6416 5606 418 1167 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25664
[startup+0.700263 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 14594
/proc/meminfo: memFree=29354292/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=57408 CPUtime=0.69 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 13621 0 0 0 67 2 0 0 20 0 1 0 280666985 58785792 13542 33554432000 4194304 8973514 140736108528608 140736108528104 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 14352 13542 418 1167 0 13133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57408
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14595
/proc/meminfo: memFree=29281992/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=102464 CPUtime=1.49 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 24885 0 0 0 144 5 0 0 20 0 1 0 280666985 104923136 24806 33554432000 4194304 8973514 140736108528608 140736108528104 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 25616 24806 418 1167 0 24397 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102464
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14595
/proc/meminfo: memFree=29216008/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=186432 CPUtime=3.09 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 45877 0 0 0 295 14 0 0 20 0 1 0 280666985 190906368 45798 33554432000 4194304 8973514 140736108528608 140736108528104 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 46608 45798 418 1167 0 45389 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 186432
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14595
/proc/meminfo: memFree=29013516/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=448576 CPUtime=6.29 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 111353 0 0 0 603 26 0 0 20 0 1 0 280666985 459341824 111274 33554432000 4194304 8973514 140736108528608 140736108528104 4213859 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 112144 111282 418 1167 0 110925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 448576
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14595
/proc/meminfo: memFree=28513540/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=840768 CPUtime=12.68 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 209462 0 0 0 1222 46 0 0 20 0 1 0 280666985 860946432 209383 33554432000 4194304 8973514 140736108528608 140736108528104 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 210192 209383 418 1167 0 208973 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 840768
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14595
/proc/meminfo: memFree=27824456/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1522752 CPUtime=25.48 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 379958 0 0 0 2467 81 0 0 20 0 1 0 280666985 1559298048 379879 33554432000 4194304 8973514 140736108528608 140736108527872 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 380688 379879 418 1167 0 379469 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1522752
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14595
/proc/meminfo: memFree=27305964/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=2024512 CPUtime=51.07 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505944 0 0 0 5002 105 0 0 20 0 1 0 280666985 2073100288 505353 33554432000 4194304 8973514 140736108528608 140736108528104 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 506128 505353 446 1167 0 504909 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2024512
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14595
/proc/meminfo: memFree=27305512/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1999936 CPUtime=102.27 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505944 0 0 0 10116 111 0 0 20 0 1 0 280666985 2047934464 499209 33554432000 4194304 8973514 140736108528608 140736108527872 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/14594/statm: 499984 499209 446 1167 0 498765 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1999936
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 14596
/proc/meminfo: memFree=27291280/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1987648 CPUtime=162.25 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505944 0 0 0 16106 119 0 0 20 0 1 0 280666985 2035351552 496137 33554432000 4194304 8973514 140736108528608 140736108526592 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 496912 496137 446 1167 0 495693 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1987648
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 14596
/proc/meminfo: memFree=27282628/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=222.24 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505944 0 0 0 22097 127 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108528104 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1967168
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14596
/proc/meminfo: memFree=27259112/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=282.23 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505945 0 0 0 28089 134 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108528104 7672543 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1967168
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14596
/proc/meminfo: memFree=27232480/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=342.21 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505952 0 0 0 34080 141 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108528104 4209209 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1967168
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14599
/proc/meminfo: memFree=27206584/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=402.2 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505958 0 0 0 40072 148 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108526528 7661079 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1967168
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14600
/proc/meminfo: memFree=27183308/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=462.2 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505958 0 0 0 46064 156 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108526592 4214011 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1967168
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14600
/proc/meminfo: memFree=27159776/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=522.18 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505965 0 0 0 52055 163 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108528104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1967168
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14600
/proc/meminfo: memFree=27137112/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=582.16 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505974 0 0 0 58044 172 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108527872 4208887 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1967168
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14601
/proc/meminfo: memFree=27323564/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=822.13 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505979 0 0 0 82010 203 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108527872 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 1967168
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14601
/proc/meminfo: memFree=27323468/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=882.11 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 505993 0 0 0 88002 209 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108528104 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 1967168
[startup+942.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 14601
/proc/meminfo: memFree=27323372/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=942.09 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 506005 0 0 0 93993 216 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108526528 6572052 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 1967168
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 14604
/proc/meminfo: memFree=27323764/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=1002.07 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 506017 0 0 0 99983 224 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108528104 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 1967168
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14605
/proc/meminfo: memFree=27310160/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=1062.07 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 506021 0 0 0 105974 233 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108528104 6572032 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 1967168
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14605
/proc/meminfo: memFree=27277328/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=1122.05 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 506033 0 0 0 111962 243 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108528104 4213678 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1967168
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14605
/proc/meminfo: memFree=27254540/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=1182.03 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 506045 0 0 0 117953 250 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108526528 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1967168
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14605
/proc/meminfo: memFree=27232372/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=1242.02 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 506060 0 0 0 123944 258 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108528104 6571912 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1967168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14605
/proc/meminfo: memFree=27210452/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1967168 CPUtime=1302.01 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 506063 0 0 0 129937 264 0 0 20 0 1 0 280666985 2014380032 491017 33554432000 4194304 8973514 140736108528608 140736108528104 7680101 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 491792 491017 446 1167 0 490573 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1967168
[startup+1362.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/174 14644
/proc/meminfo: memFree=26668072/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=1990720 CPUtime=1362 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 511951 0 0 0 135929 271 0 0 20 0 1 0 280666985 2038497280 496905 33554432000 4194304 8973514 140736108528608 140736108528104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 497680 496905 446 1167 0 496461 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1990720
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 14647
/proc/meminfo: memFree=26659900/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=2023488 CPUtime=1421.99 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 520149 0 0 0 141919 280 0 0 20 0 1 0 280666985 2072051712 505097 33554432000 4194304 8973514 140736108528608 140736108527872 7937344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 505872 505097 446 1167 0 504653 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 2023488
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 14647
/proc/meminfo: memFree=26632036/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=2051136 CPUtime=1481.97 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 527068 0 0 0 147909 288 0 0 20 0 1 0 280666985 2100363264 512009 33554432000 4194304 8973514 140736108528608 140736108527872 7680164 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 512784 512009 446 1167 0 511565 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 2051136
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 14647
/proc/meminfo: memFree=26608504/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=2074688 CPUtime=1541.96 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 532957 0 0 0 153900 296 0 0 20 0 1 0 280666985 2124480512 517897 33554432000 4194304 8973514 140736108528608 140736108527872 4204350 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 518672 517897 446 1167 0 517453 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 2074688
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 14650
/proc/meminfo: memFree=26583352/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=2106432 CPUtime=1601.95 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 540893 0 0 0 159891 304 0 0 20 0 1 0 280666985 2156986368 525833 33554432000 4194304 8973514 140736108528608 140736108526848 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 526608 525833 446 1167 0 525389 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 2106432
[startup+1662.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/175 14650
/proc/meminfo: memFree=26553752/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=2128960 CPUtime=1661.94 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 546525 0 0 0 165882 312 0 0 20 0 1 0 280666985 2180055040 531465 33554432000 4194304 8973514 140736108528608 140736108528104 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 532240 531465 446 1167 0 531021 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 2128960
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 14651
/proc/meminfo: memFree=26532204/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=2156608 CPUtime=1721.93 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 553437 0 0 0 171874 319 0 0 20 0 1 0 280666985 2208366592 538377 33554432000 4194304 8973514 140736108528608 140736108528104 4459098 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 539152 538377 446 1167 0 537933 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 2156608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14651
/proc/meminfo: memFree=26509416/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=2172992 CPUtime=1781.93 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 557533 0 0 0 177867 326 0 0 20 0 1 0 280666985 2225143808 542473 33554432000 4194304 8973514 140736108528608 140736108528104 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 543248 542473 446 1167 0 542029 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 2172992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14651
/proc/meminfo: memFree=26507400/32873852 swapFree=7624/7624
[pid=14594] ppid=14592 vsize=2175040 CPUtime=1800.03 cores=1,3,5,7
/proc/14594/stat : 14594 (toysat) R 14592 14594 12056 0 -1 4202496 558045 0 0 0 179675 328 0 0 20 0 1 0 280666985 2227240960 542985 33554432000 4194304 8973514 140736108528608 140736108528104 4427084 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14594/statm: 543760 542985 446 1167 0 542541 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2175040
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.42
CPU time (s): 1800.05
CPU user time (s): 1796.76
CPU system time (s): 3.2965
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 2175040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.76
system time used= 3.2965
maximum resident set size= 2171940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558045
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= 136
involuntary context switches= 2035
runsolver used 5.06123 second user time and 8.27374 second system time
The end