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-3724498-1338644139/watcher-3724498-1338644139 -o /tmp/evaluation-result-3724498-1338644139/solver-3724498-1338644139 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724498-1338644139.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.93 1.99 1.99 3/174 19890
/proc/meminfo: memFree=29246412/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 330542298 6373376 740 33554432000 4194304 8989770 140736635441072 140734031684184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 1556 740 428 1171 0 333 0
[startup+0.095102 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 19890
/proc/meminfo: memFree=29246412/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=12368 CPUtime=0.08 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 2220 0 0 0 8 0 0 0 20 0 1 0 330542298 12664832 2140 33554432000 4194304 8989770 140736635441072 140734031684184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 3092 2140 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368
[startup+0.100322 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 19890
/proc/meminfo: memFree=29246412/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 2344 0 0 0 9 0 0 0 20 0 1 0 330542298 12664832 2264 33554432000 4194304 8989770 140736635441072 140734031684184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 3092 2264 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300307 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 19890
/proc/meminfo: memFree=29246412/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=21584 CPUtime=0.29 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 4707 0 0 0 28 1 0 0 20 0 1 0 330542298 22102016 4627 33554432000 4194304 8989770 140736635441072 140734031684184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 5396 4627 459 1171 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21584
[startup+0.700317 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 19890
/proc/meminfo: memFree=29246412/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=21584 CPUtime=0.69 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 4707 0 0 0 68 1 0 0 20 0 1 0 330542298 22102016 4627 33554432000 4194304 8989770 140736635441072 140734031684184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 5396 4627 459 1171 0 4173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21584
[startup+1.5003 s]
/proc/loadavg: 1.93 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29229656/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=23632 CPUtime=1.49 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 5219 0 0 0 148 1 0 0 20 0 1 0 330542298 24199168 5139 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 5908 5139 459 1171 0 4685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23632
[startup+3.1003 s]
/proc/loadavg: 1.93 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29226168/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=27728 CPUtime=3.09 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 6243 0 0 0 307 2 0 0 20 0 1 0 330542298 28393472 6163 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 6932 6163 459 1171 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27728
[startup+6.30031 s]
/proc/loadavg: 1.94 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29216868/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=36944 CPUtime=6.29 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 8547 0 0 0 627 2 0 0 20 0 1 0 330542298 37830656 8467 33554432000 4194304 8989770 140736635441072 140736635440568 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 9236 8467 459 1171 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36944
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29200772/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=50256 CPUtime=12.69 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 11875 0 0 0 1265 4 0 0 20 0 1 0 330542298 51462144 11795 33554432000 4194304 8989770 140736635441072 140736635440568 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 12564 11795 459 1171 0 11341 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50256
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29186872/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=64592 CPUtime=25.48 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 15263 0 0 0 2541 7 0 0 20 0 1 0 330542298 66142208 15183 33554432000 4194304 8989770 140736635441072 140736635440176 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 16148 15183 461 1171 0 14925 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64592
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29165744/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=83024 CPUtime=51.05 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 20097 0 0 0 5093 12 0 0 20 0 1 0 330542298 85016576 19994 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 20756 19994 461 1171 0 19533 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 83024
[startup+102.307 s]
/proc/loadavg: 2.04 2.00 2.00 4/175 19891
/proc/meminfo: memFree=29146308/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=102480 CPUtime=102.24 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 24971 0 0 0 10199 25 0 0 20 0 1 0 330542298 104939520 24858 33554432000 4194304 8989770 140736635441072 140736635440568 4434917 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 25620 24858 461 1171 0 24397 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 102480
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/175 19891
/proc/meminfo: memFree=29158016/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=90192 CPUtime=162.23 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 25742 0 0 0 16182 41 0 0 20 0 1 0 330542298 92356608 21786 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 22548 21786 461 1171 0 21325 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 90192
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19892
/proc/meminfo: memFree=29156020/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=91216 CPUtime=222.21 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 31123 0 0 0 22162 59 0 0 20 0 1 0 330542298 93405184 22042 33554432000 4194304 8989770 140736635441072 140736635440568 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 22804 22042 461 1171 0 21581 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 91216
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19895
/proc/meminfo: memFree=29138896/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=109648 CPUtime=282.2 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 35487 0 0 0 28147 73 0 0 20 0 1 0 330542298 112279552 26404 33554432000 4194304 8989770 140736635441072 140736635440568 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 27412 26404 461 1171 0 26189 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 109648
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19895
/proc/meminfo: memFree=29128772/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=118864 CPUtime=342.18 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 38048 0 0 0 34131 87 0 0 20 0 1 0 330542298 121716736 28954 33554432000 4194304 8989770 140736635441072 140736635440568 4545689 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 29716 28954 461 1171 0 28493 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 118864
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19895
/proc/meminfo: memFree=29112396/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=135248 CPUtime=402.18 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 42145 0 0 0 40113 105 0 0 20 0 1 0 330542298 138493952 33050 33554432000 4194304 8989770 140736635441072 140736635440568 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 33812 33050 461 1171 0 32589 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 135248
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19895
/proc/meminfo: memFree=29112388/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=135248 CPUtime=462.16 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 42148 0 0 0 46095 121 0 0 20 0 1 0 330542298 138493952 33050 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 33812 33050 461 1171 0 32589 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 135248
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19896
/proc/meminfo: memFree=29103144/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=144464 CPUtime=522.15 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 44382 0 0 0 52080 135 0 0 20 0 1 0 330542298 147931136 35282 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 36116 35282 461 1171 0 34893 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 144464
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19896
/proc/meminfo: memFree=29093160/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=152656 CPUtime=582.14 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 48038 0 0 0 58067 147 0 0 20 0 1 0 330542298 156319744 37402 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 38164 37402 461 1171 0 36941 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 152656
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 4/176 19900
/proc/meminfo: memFree=29103880/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=140368 CPUtime=882.06 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 77327 0 0 0 87985 221 0 0 20 0 1 0 330542298 143736832 34330 33554432000 4194304 8989770 140736635441072 140736635440336 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 35092 34330 461 1171 0 33869 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 140368
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 5/175 19900
/proc/meminfo: memFree=29083160/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=162896 CPUtime=942.05 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 82727 0 0 0 93972 233 0 0 20 0 1 0 330542298 166805504 39722 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 40724 39722 461 1171 0 39501 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 162896
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19900
/proc/meminfo: memFree=29046416/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=197712 CPUtime=1002.03 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 92967 0 0 0 99959 244 0 0 20 0 1 0 330542298 202457088 48666 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 49428 48666 461 1171 0 48205 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 197712
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19900
/proc/meminfo: memFree=29058804/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=185424 CPUtime=1062.01 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 92970 0 0 0 105945 256 0 0 20 0 1 0 330542298 189874176 45594 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 46356 45594 461 1171 0 45133 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 185424
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/174 19901
/proc/meminfo: memFree=29059184/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=185424 CPUtime=1122 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 92970 0 0 0 111936 264 0 0 20 0 1 0 330542298 189874176 45594 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 46356 45594 461 1171 0 45133 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 185424
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/175 19902
/proc/meminfo: memFree=29040824/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=203856 CPUtime=1181.99 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 97578 0 0 0 117923 276 0 0 20 0 1 0 330542298 208748544 50202 33554432000 4194304 8989770 140736635441072 140736635440336 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 50964 50202 461 1171 0 49741 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 203856
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/175 19902
/proc/meminfo: memFree=29040248/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=203856 CPUtime=1241.97 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 97583 0 0 0 123911 286 0 0 20 0 1 0 330542298 208748544 50202 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 50964 50202 461 1171 0 49741 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 203856
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/175 19902
/proc/meminfo: memFree=29040248/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=203856 CPUtime=1301.97 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 97583 0 0 0 129901 296 0 0 20 0 1 0 330542298 208748544 50202 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 50964 50202 461 1171 0 49741 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 203856
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/175 19902
/proc/meminfo: memFree=29082732/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=160848 CPUtime=1361.96 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 97583 0 0 0 135888 308 0 0 20 0 1 0 330542298 164708352 39450 33554432000 4194304 8989770 140736635441072 140736635440568 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 40212 39450 461 1171 0 38989 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 160848
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 4/175 19903
/proc/meminfo: memFree=29081748/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=160848 CPUtime=1421.96 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 97583 0 0 0 141876 320 0 0 20 0 1 0 330542298 164708352 39450 33554432000 4194304 8989770 140736635441072 140736635440568 4457972 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 40212 39450 461 1171 0 38989 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 160848
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19906
/proc/meminfo: memFree=29076956/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=165968 CPUtime=1481.94 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 98863 0 0 0 147865 329 0 0 20 0 1 0 330542298 169951232 40730 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 41492 40730 461 1171 0 40269 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 165968
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19929
/proc/meminfo: memFree=29055684/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=187472 CPUtime=1541.93 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 104179 0 0 0 153856 337 0 0 20 0 1 0 330542298 191971328 46044 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 46868 46044 461 1171 0 45645 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 187472
[startup+1602.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/175 19929
/proc/meminfo: memFree=29070124/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=172112 CPUtime=1601.92 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 108605 0 0 0 159844 348 0 0 20 0 1 0 330542298 176242688 42266 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 43028 42266 461 1171 0 41805 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 172112
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/175 19929
/proc/meminfo: memFree=29071364/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=171088 CPUtime=1661.91 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 108605 0 0 0 165829 362 0 0 20 0 1 0 330542298 175194112 42010 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 42772 42010 461 1171 0 41549 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 171088
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/175 19929
/proc/meminfo: memFree=29071240/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=171088 CPUtime=1721.9 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 108605 0 0 0 171815 375 0 0 20 0 1 0 330542298 175194112 42010 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 42772 42010 461 1171 0 41549 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 171088
[startup+1782.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/175 19969
/proc/meminfo: memFree=28971740/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=175184 CPUtime=1781.89 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 109425 0 0 0 177805 384 0 0 20 0 1 0 330542298 179388416 42830 33554432000 4194304 8989770 140736635441072 140736635440336 4204675 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 43796 42830 461 1171 0 42573 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 175184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.96 2.00 1.99 3/175 19969
/proc/meminfo: memFree=28964728/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=182352 CPUtime=1800.09 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 111180 0 0 0 179621 388 0 0 20 0 1 0 330542298 186728448 44582 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 45588 44582 461 1171 0 44365 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 182352
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.96 2.00 1.99 3/175 19969
/proc/meminfo: memFree=28964728/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=182352 CPUtime=1800.09 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 111180 0 0 0 179621 388 0 0 20 0 1 0 330542298 186728448 44582 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 45588 44582 461 1171 0 44365 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 182352
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1796.22
CPU system time (s): 3.88941
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 204880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.22
system time used= 3.88941
maximum resident set size= 201832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111180
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= 154
involuntary context switches= 1843
runsolver used 3.37149 second user time and 9.03263 second system time
The end