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-3725493-1338642383/watcher-3725493-1338642383 -o /tmp/evaluation-result-3725493-1338642383/solver-3725493-1338642383 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725493-1338642383.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: 1.92 1.99 1.99 3/176 8814
/proc/meminfo: memFree=26638756/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 831 0 0 0 0 0 0 0 20 0 1 0 330365206 6373376 751 33554432000 4194304 8989770 140733804205120 140734463392408 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 1556 751 428 1171 0 333 0
[startup+0.0585401 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8814
/proc/meminfo: memFree=26638756/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=10320 CPUtime=0.05 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 1821 0 0 0 5 0 0 0 20 0 1 0 330365206 10567680 1741 33554432000 4194304 8989770 140733804205120 140734463392408 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 2580 1741 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10320
[startup+0.100288 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8814
/proc/meminfo: memFree=26638756/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 2366 0 0 0 9 0 0 0 20 0 1 0 330365206 12664832 2286 33554432000 4194304 8989770 140733804205120 140734463392408 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 3092 2286 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300277 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8814
/proc/meminfo: memFree=26638756/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=26704 CPUtime=0.28 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 5955 0 0 0 28 0 0 0 20 0 1 0 330365206 27344896 5875 33554432000 4194304 8989770 140733804205120 140734463392408 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 6676 5875 431 1171 0 5453 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 26704
[startup+0.700284 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8814
/proc/meminfo: memFree=26638756/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=57424 CPUtime=0.69 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 13454 0 0 0 67 2 0 0 20 0 1 0 330365206 58802176 13374 33554432000 4194304 8989770 140733804205120 140733804204384 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 14356 13374 431 1171 0 13133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57424
[startup+1.50027 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 8815
/proc/meminfo: memFree=26569176/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=99408 CPUtime=1.49 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 24131 0 0 0 146 3 0 0 20 0 1 0 330365206 101793792 24051 33554432000 4194304 8989770 140733804205120 140733804204384 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 24852 24051 431 1171 0 23629 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99408
[startup+3.10028 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 8815
/proc/meminfo: memFree=26511268/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=216144 CPUtime=3.09 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 53331 0 0 0 300 9 0 0 20 0 1 0 330365206 221331456 53251 33554432000 4194304 8989770 140733804205120 140733804203072 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 54036 53251 441 1171 0 52813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216144
[startup+6.30029 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 8815
/proc/meminfo: memFree=26420004/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=225360 CPUtime=6.29 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 55458 0 0 0 619 10 0 0 20 0 1 0 330365206 230768640 55378 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 56340 55378 471 1171 0 55117 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 225360
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 8815
/proc/meminfo: memFree=26408032/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=237648 CPUtime=12.69 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 58737 0 0 0 1257 12 0 0 20 0 1 0 330365206 243351552 58657 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 59412 58657 471 1171 0 58189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 237648
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 8815
/proc/meminfo: memFree=26397368/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=245840 CPUtime=25.48 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 60785 0 0 0 2530 18 0 0 20 0 1 0 330365206 251740160 60705 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 61460 60705 471 1171 0 60237 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 245840
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 8854
/proc/meminfo: memFree=27747844/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=261200 CPUtime=51.07 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 64631 0 0 0 5080 27 0 0 20 0 1 0 330365206 267468800 64545 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 65300 64545 471 1171 0 64077 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 261200
[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 8855
/proc/meminfo: memFree=27707464/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=294992 CPUtime=102.26 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 73104 0 0 0 10181 45 0 0 20 0 1 0 330365206 302071808 72993 33554432000 4194304 8989770 140733804205120 140733804203072 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 73748 72993 471 1171 0 72525 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 294992
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 8855
/proc/meminfo: memFree=27626768/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=330832 CPUtime=162.24 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 82069 0 0 0 16160 64 0 0 20 0 1 0 330365206 338771968 81953 33554432000 4194304 8989770 140733804205120 140733804203136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 82708 81953 471 1171 0 81485 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 330832
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 8858
/proc/meminfo: memFree=27546524/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=365648 CPUtime=222.21 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 90807 0 0 0 22136 85 0 0 20 0 1 0 330365206 374423552 90657 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 91412 90657 471 1171 0 90189 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 365648
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 8858
/proc/meminfo: memFree=27466444/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=399440 CPUtime=282.2 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 99264 0 0 0 28117 103 0 0 20 0 1 0 330365206 409026560 99105 33554432000 4194304 8989770 140733804205120 140733804204384 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 99860 99105 471 1171 0 98637 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 399440
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 8858
/proc/meminfo: memFree=27395064/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=428112 CPUtime=342.18 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 106432 0 0 0 34100 118 0 0 20 0 1 0 330365206 438386688 106273 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 107028 106273 471 1171 0 105805 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 428112
[startup+402.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 8859
/proc/meminfo: memFree=27329744/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=456784 CPUtime=402.17 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 113600 0 0 0 40083 134 0 0 20 0 1 0 330365206 467746816 113441 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 114196 113441 471 1171 0 112973 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 456784
[startup+462.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 8859
/proc/meminfo: memFree=27279428/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=479312 CPUtime=462.16 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 119232 0 0 0 46068 148 0 0 20 0 1 0 330365206 490815488 119073 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 119828 119073 471 1171 0 118605 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 479312
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8859
/proc/meminfo: memFree=27239032/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=501840 CPUtime=522.15 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 124864 0 0 0 52053 162 0 0 20 0 1 0 330365206 513884160 124705 33554432000 4194304 8989770 140733804205120 140733804203072 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 125460 124705 471 1171 0 124237 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 501840
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8859
/proc/meminfo: memFree=27204464/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=521296 CPUtime=582.14 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 129728 0 0 0 58039 175 0 0 20 0 1 0 330365206 533807104 129569 33554432000 4194304 8989770 140733804205120 140733804187136 4451817 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 130324 129569 471 1171 0 129101 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 521296
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 8863
/proc/meminfo: memFree=27060536/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=599120 CPUtime=822.11 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 149184 0 0 0 81988 223 0 0 20 0 1 0 330365206 613498880 149025 33554432000 4194304 8989770 140733804205120 140733804203072 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 149780 149025 471 1171 0 148557 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 599120
[startup+882.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8863
/proc/meminfo: memFree=27030596/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=617552 CPUtime=882.1 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 153792 0 0 0 87975 235 0 0 20 0 1 0 330365206 632373248 153633 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 154388 153633 471 1171 0 153165 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 617552
[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8863
/proc/meminfo: memFree=26999004/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=635984 CPUtime=942.07 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 158431 0 0 0 93960 247 0 0 20 0 1 0 330365206 651247616 158241 33554432000 4194304 8989770 140733804205120 140733804187136 4438244 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 158996 158241 471 1171 0 157773 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 635984
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8864
/proc/meminfo: memFree=26966792/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=654416 CPUtime=1002.06 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 163044 0 0 0 99948 258 0 0 20 0 1 0 330365206 670121984 162849 33554432000 4194304 8989770 140733804205120 140733804204616 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 163604 162849 471 1171 0 162381 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 654416
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8864
/proc/meminfo: memFree=26934980/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=674896 CPUtime=1062.05 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 168165 0 0 0 105936 269 0 0 20 0 1 0 330365206 691093504 167969 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 168724 167969 471 1171 0 167501 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 674896
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8864
/proc/meminfo: memFree=26906464/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=691280 CPUtime=1122.04 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 172261 0 0 0 111925 279 0 0 20 0 1 0 330365206 707870720 172065 33554432000 4194304 8989770 140733804205120 140733804203072 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 172820 172065 471 1171 0 171597 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 691280
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8864
/proc/meminfo: memFree=26875464/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=708688 CPUtime=1182.03 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 176613 0 0 0 117914 289 0 0 20 0 1 0 330365206 725696512 176417 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 177172 176417 471 1171 0 175949 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 708688
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8864
/proc/meminfo: memFree=26845084/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=729168 CPUtime=1242.02 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 181733 0 0 0 123900 302 0 0 20 0 1 0 330365206 746668032 181537 33554432000 4194304 8989770 140733804205120 140733804203072 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 182292 181537 471 1171 0 181069 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 729168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8865
/proc/meminfo: memFree=26821896/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=745552 CPUtime=1302.02 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 185829 0 0 0 129888 314 0 0 20 0 1 0 330365206 763445248 185633 33554432000 4194304 8989770 140733804205120 140733804187136 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 186388 185633 471 1171 0 185165 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 745552
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8865
/proc/meminfo: memFree=26794492/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=763984 CPUtime=1362.01 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 190437 0 0 0 135874 327 0 0 20 0 1 0 330365206 782319616 190241 33554432000 4194304 8989770 140733804205120 140733804187136 4438244 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 190996 190241 471 1171 0 189773 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 763984
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8868
/proc/meminfo: memFree=26768812/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=779344 CPUtime=1422.01 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 194277 0 0 0 141865 336 0 0 20 0 1 0 330365206 798048256 194081 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 194836 194081 471 1171 0 193613 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 779344
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8868
/proc/meminfo: memFree=26745836/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=795728 CPUtime=1481.99 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 198373 0 0 0 147851 348 0 0 20 0 1 0 330365206 814825472 198177 33554432000 4194304 8989770 140733804205120 140733804203136 4445072 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 198932 198177 471 1171 0 197709 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 795728
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8868
/proc/meminfo: memFree=26721916/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=809040 CPUtime=1541.97 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 201701 0 0 0 153839 358 0 0 20 0 1 0 330365206 828456960 201505 33554432000 4194304 8989770 140733804205120 140733804187136 4452641 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 202260 201505 471 1171 0 201037 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 809040
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8869
/proc/meminfo: memFree=26696004/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=822352 CPUtime=1601.97 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 205029 0 0 0 159827 370 0 0 20 0 1 0 330365206 842088448 204833 33554432000 4194304 8989770 140733804205120 140733804187136 4451620 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 205588 204833 471 1171 0 204365 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 822352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8869
/proc/meminfo: memFree=26669344/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=839760 CPUtime=1661.96 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 209381 0 0 0 165815 381 0 0 20 0 1 0 330365206 859914240 209185 33554432000 4194304 8989770 140733804205120 140733804187136 4451817 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 209940 209185 471 1171 0 208717 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 839760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8869
/proc/meminfo: memFree=26648884/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=851024 CPUtime=1721.95 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 212197 0 0 0 171805 390 0 0 20 0 1 0 330365206 871448576 212001 33554432000 4194304 8989770 140733804205120 140733804187136 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 212756 212001 471 1171 0 211533 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 851024
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8869
/proc/meminfo: memFree=26621852/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=868432 CPUtime=1781.94 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 216549 0 0 0 177793 401 0 0 20 0 1 0 330365206 889274368 216353 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 217108 216353 471 1171 0 215885 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 868432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8869
/proc/meminfo: memFree=26614660/32873648 swapFree=6864/6864
[pid=8814] ppid=8812 vsize=871504 CPUtime=1800.04 cores=0,2,4,6
/proc/8814/stat : 8814 (toysat) R 8812 8814 7878 0 -1 4202496 217317 0 0 0 179599 405 0 0 20 0 1 0 330365206 892420096 217121 33554432000 4194304 8989770 140733804205120 140733804187136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/8814/statm: 217876 217121 471 1171 0 216653 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 871504
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.07
CPU user time (s): 1796
CPU system time (s): 4.06838
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 871504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796
system time used= 4.06838
maximum resident set size= 868484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217317
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= 119
involuntary context switches= 1882
runsolver used 3.2705 second user time and 9.2156 second system time
The end