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-3706956-1338128833/watcher-3706956-1338128833 -o /tmp/evaluation-result-3706956-1338128833/solver-3706956-1338128833 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706956-1338128833.opb
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.00 2.00 3/176 20346
/proc/meminfo: memFree=30935356/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 279009227 7405568 741 33554432000 4194304 8973514 140734870853792 140733383338552 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 1808 741 411 1167 0 589 0
[startup+0.045644 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20346
/proc/meminfo: memFree=30935356/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=9280 CPUtime=0.04 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 1443 0 0 0 4 0 0 0 20 0 1 0 279009227 9502720 1364 33554432000 4194304 8973514 140734870853792 140733383338552 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 2320 1364 417 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280
[startup+0.100158 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20346
/proc/meminfo: memFree=30935356/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 2208 0 0 0 9 0 0 0 20 0 1 0 279009227 12648448 2129 33554432000 4194304 8973514 140734870853792 140733383338552 4209439 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 3088 2134 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300162 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20346
/proc/meminfo: memFree=30935356/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=26688 CPUtime=0.29 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 5939 0 0 0 29 0 0 0 20 0 1 0 279009227 27328512 5860 33554432000 4194304 8973514 140734870853792 140733383338552 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 6672 5860 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688
[startup+0.700121 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20346
/proc/meminfo: memFree=30935356/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=36928 CPUtime=0.69 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 8515 0 0 0 68 1 0 0 20 0 1 0 279009227 37814272 8436 33554432000 4194304 8973514 140734870853792 140734870853288 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 9232 8436 428 1167 0 8013 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36928
[startup+1.50015 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20347
/proc/meminfo: memFree=30903596/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=36928 CPUtime=1.48 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 8515 0 0 0 147 1 0 0 20 0 1 0 279009227 37814272 8436 33554432000 4194304 8973514 140734870853792 140734870853112 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 9232 8436 428 1167 0 8013 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36928
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20347
/proc/meminfo: memFree=30903348/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=37952 CPUtime=3.08 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 8771 0 0 0 306 2 0 0 20 0 1 0 279009227 38862848 8692 33554432000 4194304 8973514 140734870853792 140734870853288 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 9488 8692 428 1167 0 8269 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 37952
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20347
/proc/meminfo: memFree=30895292/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=45120 CPUtime=6.28 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 10591 0 0 0 625 3 0 0 20 0 1 0 279009227 46202880 10512 33554432000 4194304 8973514 140734870853792 140734870853288 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 11280 10512 456 1167 0 10061 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 45120
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20348
/proc/meminfo: memFree=30894404/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=46144 CPUtime=12.69 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 10848 0 0 0 1264 5 0 0 20 0 1 0 279009227 47251456 10769 33554432000 4194304 8973514 140734870853792 140734870853288 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 11536 10769 456 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.00 2.00 3/177 20348
/proc/meminfo: memFree=30895240/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=46144 CPUtime=25.48 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 10848 0 0 0 2541 7 0 0 20 0 1 0 279009227 47251456 10769 33554432000 4194304 8973514 140734870853792 140734870835776 6571953 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 11536 10769 456 1167 0 10317 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46144
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20348
/proc/meminfo: memFree=30889040/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=47168 CPUtime=51.08 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 11104 0 0 0 5095 13 0 0 20 0 1 0 279009227 48300032 11025 33554432000 4194304 8973514 140734870853792 140734870835776 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 11792 11025 456 1167 0 10573 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47168
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20348
/proc/meminfo: memFree=30879616/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=51264 CPUtime=102.28 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 12128 0 0 0 10203 25 0 0 20 0 1 0 279009227 52494336 12049 33554432000 4194304 8973514 140734870853792 140734870853288 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 12816 12049 456 1167 0 11597 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 51264
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20348
/proc/meminfo: memFree=30868988/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=59456 CPUtime=162.25 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 14186 0 0 0 16187 38 0 0 20 0 1 0 279009227 60882944 14102 33554432000 4194304 8973514 140734870853792 140734870853056 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 14864 14102 456 1167 0 13645 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 59456
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20351
/proc/meminfo: memFree=30863636/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=62528 CPUtime=222.24 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 14960 0 0 0 22170 54 0 0 20 0 1 0 279009227 64028672 14870 33554432000 4194304 8973514 140734870853792 140734870853056 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 15632 14870 456 1167 0 14413 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 62528
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20351
/proc/meminfo: memFree=30856992/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=66624 CPUtime=282.23 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 15984 0 0 0 28157 66 0 0 20 0 1 0 279009227 68222976 15894 33554432000 4194304 8973514 140734870853792 140734870835776 6571953 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 16656 15894 456 1167 0 15437 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 66624
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20352
/proc/meminfo: memFree=30852892/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=69696 CPUtime=342.22 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 16752 0 0 0 34142 80 0 0 20 0 1 0 279009227 71368704 16662 33554432000 4194304 8973514 140734870853792 140734870853288 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 17424 16662 456 1167 0 16205 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 69696
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20353
/proc/meminfo: memFree=30841708/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=74816 CPUtime=402.21 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 18037 0 0 0 40125 96 0 0 20 0 1 0 279009227 76611584 17942 33554432000 4194304 8973514 140734870853792 140734870835776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 18704 17942 456 1167 0 17485 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 74816
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20353
/proc/meminfo: memFree=30832436/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=83008 CPUtime=462.2 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 20085 0 0 0 46111 109 0 0 20 0 1 0 279009227 85000192 19990 33554432000 4194304 8973514 140734870853792 140734870853288 4208852 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 20752 19990 456 1167 0 19533 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 83008
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20353
/proc/meminfo: memFree=30825492/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=86080 CPUtime=522.18 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 20853 0 0 0 52095 123 0 0 20 0 1 0 279009227 88145920 20758 33554432000 4194304 8973514 140734870853792 140734870853288 4424683 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 21520 20758 456 1167 0 20301 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 86080
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20353
/proc/meminfo: memFree=30819272/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=89152 CPUtime=582.17 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 21626 0 0 0 58080 137 0 0 20 0 1 0 279009227 91291648 21526 33554432000 4194304 8973514 140734870853792 140734870851712 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 22288 21526 456 1167 0 21069 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 89152
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20357
/proc/meminfo: memFree=30784040/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=113728 CPUtime=822.14 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 27776 0 0 0 82028 186 0 0 20 0 1 0 279009227 116457472 27670 33554432000 4194304 8973514 140734870853792 140734870853056 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 28432 27670 456 1167 0 27213 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 113728
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20357
/proc/meminfo: memFree=30774720/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=120896 CPUtime=882.13 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 29568 0 0 0 88016 197 0 0 20 0 1 0 279009227 123797504 29462 33554432000 4194304 8973514 140734870853792 140734870853288 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 30224 29462 456 1167 0 29005 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 120896
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20358
/proc/meminfo: memFree=30765544/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=124992 CPUtime=942.12 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 30592 0 0 0 94004 208 0 0 20 0 1 0 279009227 127991808 30486 33554432000 4194304 8973514 140734870853792 140734870853288 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 31248 30486 456 1167 0 30029 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 124992
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20358
/proc/meminfo: memFree=30761320/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=128064 CPUtime=1002.11 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 31360 0 0 0 99993 218 0 0 20 0 1 0 279009227 131137536 31254 33554432000 4194304 8973514 140734870853792 140734870851712 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 32016 31254 456 1167 0 30797 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 128064
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20358
/proc/meminfo: memFree=30753056/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=132160 CPUtime=1062.1 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 32384 0 0 0 105982 228 0 0 20 0 1 0 279009227 135331840 32278 33554432000 4194304 8973514 140734870853792 140734870853288 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 33040 32278 456 1167 0 31821 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 132160
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20397
/proc/meminfo: memFree=31025864/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=138304 CPUtime=1122.08 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 33924 0 0 0 111969 239 0 0 20 0 1 0 279009227 141623296 33814 33554432000 4194304 8973514 140734870853792 140734870853288 6571936 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 34576 33814 456 1167 0 33357 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 138304
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20397
/proc/meminfo: memFree=31017948/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=138304 CPUtime=1182.08 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 33927 0 0 0 117958 250 0 0 20 0 1 0 279009227 141623296 33815 33554432000 4194304 8973514 140734870853792 140734870853056 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 34576 33815 457 1167 0 33357 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 138304
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20398
/proc/meminfo: memFree=31016328/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=138304 CPUtime=1242.07 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 33927 0 0 0 123946 261 0 0 20 0 1 0 279009227 141623296 33815 33554432000 4194304 8973514 140734870853792 140734870853288 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 34576 33815 457 1167 0 33357 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 138304
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20398
/proc/meminfo: memFree=31014348/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=138304 CPUtime=1302.07 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 33927 0 0 0 129936 271 0 0 20 0 1 0 279009227 141623296 33815 33554432000 4194304 8973514 140734870853792 140734870853288 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 34576 33815 457 1167 0 33357 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 138304
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 20398
/proc/meminfo: memFree=31014164/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=138304 CPUtime=1362.05 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 33927 0 0 0 135922 283 0 0 20 0 1 0 279009227 141623296 33815 33554432000 4194304 8973514 140734870853792 140734870853288 4372288 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 34576 33815 457 1167 0 33357 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 138304
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20401
/proc/meminfo: memFree=31014412/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=138304 CPUtime=1422.04 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 33927 0 0 0 141912 292 0 0 20 0 1 0 279009227 141623296 33815 33554432000 4194304 8973514 140734870853792 140734870853288 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 34576 33815 457 1167 0 33357 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 138304
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 20401
/proc/meminfo: memFree=31012688/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=141376 CPUtime=1482.04 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 34695 0 0 0 147898 306 0 0 20 0 1 0 279009227 144769024 34583 33554432000 4194304 8973514 140734870853792 140734870853288 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 35344 34583 457 1167 0 34125 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 141376
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20402
/proc/meminfo: memFree=31004004/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=148544 CPUtime=1542.02 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 36488 0 0 0 153884 318 0 0 20 0 1 0 279009227 152109056 36375 33554432000 4194304 8973514 140734870853792 140734870853288 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 37136 36375 457 1167 0 35917 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 148544
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20402
/proc/meminfo: memFree=30995888/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=152640 CPUtime=1602.01 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 37512 0 0 0 159875 326 0 0 20 0 1 0 279009227 156303360 37399 33554432000 4194304 8973514 140734870853792 140734870853056 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 38160 37399 457 1167 0 36941 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 152640
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20402
/proc/meminfo: memFree=30994644/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=153664 CPUtime=1662 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 37770 0 0 0 165863 337 0 0 20 0 1 0 279009227 157351936 37655 33554432000 4194304 8973514 140734870853792 140734870853288 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 38416 37655 457 1167 0 37197 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 153664
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20402
/proc/meminfo: memFree=30994840/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=153664 CPUtime=1722 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 37770 0 0 0 171852 348 0 0 20 0 1 0 279009227 157351936 37655 33554432000 4194304 8973514 140734870853792 140734870853056 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 38416 37655 457 1167 0 37197 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 153664
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 20402
/proc/meminfo: memFree=30994476/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=153664 CPUtime=1781.99 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 37770 0 0 0 177842 357 0 0 20 0 1 0 279009227 157351936 37655 33554432000 4194304 8973514 140734870853792 140734870853288 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 38416 37655 457 1167 0 37197 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 153664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.01 2.00 4/177 20402
/proc/meminfo: memFree=30994724/32873648 swapFree=7112/7112
[pid=20346] ppid=20344 vsize=153664 CPUtime=1800.09 cores=0,2,4,6
/proc/20346/stat : 20346 (toysat) R 20344 20346 18885 0 -1 4202496 37770 0 0 0 179649 360 0 0 20 0 1 0 279009227 157351936 37655 33554432000 4194304 8973514 140734870853792 140734870853056 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 38416 37655 457 1167 0 37197 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 153664
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): 1796.49
CPU system time (s): 3.60445
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 153664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.49
system time used= 3.60445
maximum resident set size= 150620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37770
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= 51
involuntary context switches= 1872
runsolver used 3.22151 second user time and 9.13361 second system time
The end