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-3725209-1338635160/watcher-3725209-1338635160 -o /tmp/evaluation-result-3725209-1338635160/solver-3725209-1338635160 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725209-1338635160.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: 1.92 1.98 1.91 2/176 4885
/proc/meminfo: memFree=26336728/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 832 0 0 0 0 0 0 0 20 0 1 0 329641478 7421952 752 33554432000 4194304 8989770 140734420950560 140734420949824 7674848 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 1812 756 428 1171 0 589 0
[startup+0.082 s]
/proc/loadavg: 1.92 1.98 1.91 2/176 4885
/proc/meminfo: memFree=26336728/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=12368 CPUtime=0.07 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 2202 0 0 0 7 0 0 0 20 0 1 0 329641478 12664832 2122 33554432000 4194304 8989770 140734420950560 140734420949824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 3092 2122 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12368
[startup+0.100192 s]
/proc/loadavg: 1.92 1.98 1.91 2/176 4885
/proc/meminfo: memFree=26336728/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 2320 0 0 0 8 1 0 0 20 0 1 0 329641478 12664832 2240 33554432000 4194304 8989770 140734420950560 140734420949824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 3092 2240 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300172 s]
/proc/loadavg: 1.92 1.98 1.91 2/176 4885
/proc/meminfo: memFree=26336728/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=26704 CPUtime=0.28 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 5954 0 0 0 27 1 0 0 20 0 1 0 329641478 27344896 5874 33554432000 4194304 8989770 140734420950560 140734420949824 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 6676 5874 431 1171 0 5453 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 26704
[startup+0.70017 s]
/proc/loadavg: 1.92 1.98 1.91 2/176 4885
/proc/meminfo: memFree=26336728/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=48208 CPUtime=0.69 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 11109 0 0 0 67 2 0 0 20 0 1 0 329641478 49364992 11030 33554432000 4194304 8989770 140734420950560 140734420949824 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 12052 11036 431 1171 0 10829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48208
[startup+1.50017 s]
/proc/loadavg: 1.92 1.98 1.91 3/177 4886
/proc/meminfo: memFree=26259692/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=102480 CPUtime=1.49 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 24898 0 0 0 144 5 0 0 20 0 1 0 329641478 104939520 24818 33554432000 4194304 8989770 140734420950560 140734420949824 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 25620 24818 431 1171 0 24397 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102480
[startup+3.10016 s]
/proc/loadavg: 1.92 1.98 1.91 3/177 4886
/proc/meminfo: memFree=26195088/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=186448 CPUtime=3.09 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 45890 0 0 0 300 9 0 0 20 0 1 0 329641478 190922752 45810 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 46612 45810 431 1171 0 45389 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 186448
[startup+6.30019 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 4886
/proc/meminfo: memFree=26017332/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=312400 CPUtime=6.28 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 77413 0 0 0 613 15 0 0 20 0 1 0 329641478 319897600 77333 33554432000 4194304 8989770 140734420950560 140734420950056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 78100 77333 460 1171 0 76877 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 312400
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 4886
/proc/meminfo: memFree=25946556/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=365648 CPUtime=12.69 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 90725 0 0 0 1250 19 0 0 20 0 1 0 329641478 374423552 90645 33554432000 4194304 8989770 140734420950560 140734420949824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 91412 90645 460 1171 0 90189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 365648
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.91 3/177 4886
/proc/meminfo: memFree=25931424/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=368720 CPUtime=25.49 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 91493 0 0 0 2526 23 0 0 20 0 1 0 329641478 377569280 91413 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 92180 91413 460 1171 0 90957 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 368720
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.91 3/177 4886
/proc/meminfo: memFree=25898160/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=368720 CPUtime=51.08 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 91493 0 0 0 5076 32 0 0 20 0 1 0 329641478 377569280 91413 33554432000 4194304 8989770 140734420950560 140734420950056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 92180 91413 460 1171 0 90957 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 368720
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/177 4886
/proc/meminfo: memFree=25874024/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=368720 CPUtime=102.28 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 91493 0 0 0 10177 51 0 0 20 0 1 0 329641478 377569280 91413 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 92180 91413 460 1171 0 90957 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 368720
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 4886
/proc/meminfo: memFree=25835384/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=392272 CPUtime=162.26 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 97387 0 0 0 16157 69 0 0 20 0 1 0 329641478 401686528 97301 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 98068 97301 460 1171 0 96845 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 392272
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 4886
/proc/meminfo: memFree=25830700/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=392272 CPUtime=222.24 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 97401 0 0 0 22139 85 0 0 20 0 1 0 329641478 401686528 97301 33554432000 4194304 8989770 140734420950560 140734420950056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 98068 97301 460 1171 0 96845 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 392272
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 4889
/proc/meminfo: memFree=25808412/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=393296 CPUtime=282.23 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 97660 0 0 0 28118 105 0 0 20 0 1 0 329641478 402735104 97557 33554432000 4194304 8989770 140734420950560 140734420950056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 98324 97557 460 1171 0 97101 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 393296
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 4890
/proc/meminfo: memFree=25790596/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=393296 CPUtime=342.2 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 97679 0 0 0 34098 122 0 0 20 0 1 0 329641478 402735104 97557 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 98324 97557 460 1171 0 97101 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 393296
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 4890
/proc/meminfo: memFree=25791528/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=393296 CPUtime=402.19 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 97680 0 0 0 40081 138 0 0 20 0 1 0 329641478 402735104 97557 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 98324 97557 460 1171 0 97101 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 393296
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 4890
/proc/meminfo: memFree=25760156/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=402512 CPUtime=462.18 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 99984 0 0 0 46064 154 0 0 20 0 1 0 329641478 412172288 99861 33554432000 4194304 8989770 140734420950560 140734420949824 4446560 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 100628 99861 460 1171 0 99405 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 402512
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 4890
/proc/meminfo: memFree=25755124/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=407632 CPUtime=522.18 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 101264 0 0 0 52050 168 0 0 20 0 1 0 329641478 417415168 101141 33554432000 4194304 8989770 140734420950560 140734420950056 4448248 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 101908 101141 460 1171 0 100685 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 407632
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 4890
/proc/meminfo: memFree=25753840/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=408656 CPUtime=582.16 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 101520 0 0 0 58035 181 0 0 20 0 1 0 329641478 418463744 101397 33554432000 4194304 8989770 140734420950560 140734420950056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 102164 101397 460 1171 0 100941 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 408656
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4891
/proc/meminfo: memFree=25751968/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=409680 CPUtime=822.13 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 101776 0 0 0 81982 231 0 0 20 0 1 0 329641478 419512320 101653 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 102420 101653 460 1171 0 101197 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 409680
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 4894
/proc/meminfo: memFree=25749016/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=412752 CPUtime=882.12 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 102544 0 0 0 87969 243 0 0 20 0 1 0 329641478 422658048 102421 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 103188 102421 460 1171 0 101965 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 412752
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4895
/proc/meminfo: memFree=25748156/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=413776 CPUtime=942.11 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 102800 0 0 0 93955 256 0 0 20 0 1 0 329641478 423706624 102677 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 103444 102677 460 1171 0 102221 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 413776
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4895
/proc/meminfo: memFree=25746296/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=415824 CPUtime=1002.1 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 103312 0 0 0 99940 270 0 0 20 0 1 0 329641478 425803776 103189 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 103956 103189 460 1171 0 102733 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 415824
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4895
/proc/meminfo: memFree=25746048/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=415824 CPUtime=1062.09 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 103312 0 0 0 105928 281 0 0 20 0 1 0 329641478 425803776 103189 33554432000 4194304 8989770 140734420950560 140734420950056 4445124 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 103956 103189 460 1171 0 102733 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 415824
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4895
/proc/meminfo: memFree=25738860/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=422992 CPUtime=1122.08 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 105104 0 0 0 111913 295 0 0 20 0 1 0 329641478 433143808 104981 33554432000 4194304 8989770 140734420950560 140734420950056 4445124 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 105748 104981 460 1171 0 104525 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 422992
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 4895
/proc/meminfo: memFree=25734768/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=427088 CPUtime=1182.08 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 106128 0 0 0 117898 310 0 0 20 0 1 0 329641478 437338112 106005 33554432000 4194304 8989770 140734420950560 140734420950056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 106772 106005 460 1171 0 105549 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 427088
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 4897
/proc/meminfo: memFree=25733516/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=428112 CPUtime=1242.06 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 106384 0 0 0 123882 324 0 0 20 0 1 0 329641478 438386688 106261 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 107028 106261 460 1171 0 105805 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 428112
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 4897
/proc/meminfo: memFree=25701164/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=431184 CPUtime=1302.06 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 107152 0 0 0 129868 338 0 0 20 0 1 0 329641478 441532416 107029 33554432000 4194304 8989770 140734420950560 140734420950056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 107796 107029 460 1171 0 106573 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 431184
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 4897
/proc/meminfo: memFree=25697196/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=435280 CPUtime=1362.05 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 108176 0 0 0 135852 353 0 0 20 0 1 0 329641478 445726720 108053 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 108820 108053 460 1171 0 107597 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 435280
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4897
/proc/meminfo: memFree=25697320/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=435280 CPUtime=1422.04 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 108176 0 0 0 141837 367 0 0 20 0 1 0 329641478 445726720 108053 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 108820 108053 460 1171 0 107597 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 435280
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4900
/proc/meminfo: memFree=25695112/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=437328 CPUtime=1482.03 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 108688 0 0 0 147822 381 0 0 20 0 1 0 329641478 447823872 108565 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 109332 108565 460 1171 0 108109 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 437328
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4901
/proc/meminfo: memFree=25690036/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=442448 CPUtime=1542.02 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 109968 0 0 0 153806 396 0 0 20 0 1 0 329641478 453066752 109845 33554432000 4194304 8989770 140734420950560 140734420950056 4445225 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 110612 109845 460 1171 0 109389 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 442448
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4901
/proc/meminfo: memFree=25690164/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=442448 CPUtime=1602.01 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 109968 0 0 0 159790 411 0 0 20 0 1 0 329641478 453066752 109845 33554432000 4194304 8989770 140734420950560 140734420949824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 110612 109845 460 1171 0 109389 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 442448
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4901
/proc/meminfo: memFree=25689048/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=443472 CPUtime=1662 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 110224 0 0 0 165774 426 0 0 20 0 1 0 329641478 454115328 110101 33554432000 4194304 8989770 140734420950560 140734420950056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 110868 110101 460 1171 0 109645 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 443472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4901
/proc/meminfo: memFree=25677320/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=443472 CPUtime=1722 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 110224 0 0 0 171762 438 0 0 20 0 1 0 329641478 454115328 110101 33554432000 4194304 8989770 140734420950560 140734420949824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 110868 110101 460 1171 0 109645 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 443472
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 1.93 2/175 4902
/proc/meminfo: memFree=25970240/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=443472 CPUtime=1781.98 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 110224 0 0 0 177747 451 0 0 20 0 1 0 329641478 454115328 110101 33554432000 4194304 8989770 140734420950560 140734420950056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 110868 110101 460 1171 0 109645 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 443472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 1.93 4/177 4940
/proc/meminfo: memFree=25861972/32873648 swapFree=6864/6864
[pid=4885] ppid=4883 vsize=443472 CPUtime=1800.09 cores=1,3,5,7
/proc/4885/stat : 4885 (toysat) R 4883 4885 4479 0 -1 4202496 110224 0 0 0 179555 454 0 0 20 0 1 0 329641478 454115328 110101 33554432000 4194304 8989770 140734420950560 140734420950056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4885/statm: 110868 110101 460 1171 0 109645 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 443472
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.1
CPU user time (s): 1795.55
CPU system time (s): 4.54531
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 443472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.55
system time used= 4.54531
maximum resident set size= 440404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110224
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= 46
involuntary context switches= 1853
runsolver used 3.37149 second user time and 9.2336 second system time
The end