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-3706124-1338192848/watcher-3706124-1338192848 -o /tmp/evaluation-result-3706124-1338192848/solver-3706124-1338192848 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706124-1338192848.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.34 1.81 1.93 3/173 27894
/proc/meminfo: memFree=27144560/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 827 0 0 0 0 0 0 0 20 0 1 0 285413378 7405568 749 33554432000 4194304 8973514 140733391483008 140734084985960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 1808 751 415 1167 0 589 0
[startup+0.054353 s]
/proc/loadavg: 1.34 1.81 1.93 3/173 27894
/proc/meminfo: memFree=27144560/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=9280 CPUtime=0.04 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 1537 0 0 0 4 0 0 0 20 0 1 0 285413378 9502720 1459 33554432000 4194304 8973514 140733391483008 140734084985960 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 2320 1465 417 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280
[startup+0.100236 s]
/proc/loadavg: 1.34 1.81 1.93 3/173 27894
/proc/meminfo: memFree=27144560/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 285413378 12648448 2277 33554432000 4194304 8973514 140733391483008 140734084985960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 3088 2277 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300258 s]
/proc/loadavg: 1.34 1.81 1.93 3/173 27894
/proc/meminfo: memFree=27144560/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=21568 CPUtime=0.29 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 4691 0 0 0 28 1 0 0 20 0 1 0 285413378 22085632 4613 33554432000 4194304 8973514 140733391483008 140734084985960 4424576 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 5392 4613 444 1167 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21568
[startup+0.700255 s]
/proc/loadavg: 1.34 1.81 1.93 3/173 27894
/proc/meminfo: memFree=27144560/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=21568 CPUtime=0.69 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 4691 0 0 0 68 1 0 0 20 0 1 0 285413378 22085632 4613 33554432000 4194304 8973514 140733391483008 140734084985960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 5392 4613 444 1167 0 4173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21568
[startup+1.50026 s]
/proc/loadavg: 1.34 1.81 1.93 3/177 27898
/proc/meminfo: memFree=27106692/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=23616 CPUtime=1.49 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 5203 0 0 0 148 1 0 0 20 0 1 0 285413378 24182784 5125 33554432000 4194304 8973514 140733391483008 140733391482504 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 5904 5125 444 1167 0 4685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23616
[startup+3.10026 s]
/proc/loadavg: 1.39 1.81 1.93 3/177 27898
/proc/meminfo: memFree=27102848/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=27712 CPUtime=3.09 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 6227 0 0 0 307 2 0 0 20 0 1 0 285413378 28377088 6149 33554432000 4194304 8973514 140733391483008 140733391482504 4427188 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 6928 6149 444 1167 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27712
[startup+6.30023 s]
/proc/loadavg: 1.39 1.81 1.93 3/177 27898
/proc/meminfo: memFree=27085280/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=34880 CPUtime=6.29 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 8019 0 0 0 626 3 0 0 20 0 1 0 285413378 35717120 7941 33554432000 4194304 8973514 140733391483008 140733391482504 6576419 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 8720 7941 444 1167 0 7501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34880
[startup+12.7002 s]
/proc/loadavg: 1.48 1.82 1.93 3/177 27898
/proc/meminfo: memFree=27051816/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=52288 CPUtime=12.68 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 12340 0 0 0 1261 7 0 0 20 0 1 0 285413378 53542912 12259 33554432000 4194304 8973514 140733391483008 140733391482504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 13072 12259 444 1167 0 11853 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52288
[startup+25.5003 s]
/proc/loadavg: 1.56 1.82 1.93 3/177 27898
/proc/meminfo: memFree=26997372/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=75840 CPUtime=25.47 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 18275 0 0 0 2535 12 0 0 20 0 1 0 285413378 77660160 18187 33554432000 4194304 8973514 140733391483008 140733391482272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 18960 18187 445 1167 0 17741 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 75840
[startup+51.1003 s]
/proc/loadavg: 1.77 1.85 1.93 3/177 27898
/proc/meminfo: memFree=26958388/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=97344 CPUtime=51.05 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 23672 0 0 0 5079 26 0 0 20 0 1 0 285413378 99680256 23563 33554432000 4194304 8973514 140733391483008 140733391482504 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 24336 23563 445 1167 0 23117 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 97344
[startup+102.307 s]
/proc/loadavg: 2.02 1.91 1.94 3/177 27898
/proc/meminfo: memFree=26924612/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=111680 CPUtime=102.25 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 29307 0 0 0 10181 44 0 0 20 0 1 0 285413378 114360320 27147 33554432000 4194304 8973514 140733391483008 140733391482504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 27920 27147 445 1167 0 26701 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 111680
[startup+162.3 s]
/proc/loadavg: 2.06 1.94 1.95 3/176 27898
/proc/meminfo: memFree=26922176/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=87104 CPUtime=162.23 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 29563 0 0 0 16158 65 0 0 20 0 1 0 285413378 89194496 21003 33554432000 4194304 8973514 140733391483008 140733391482504 4543912 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 21776 21003 445 1167 0 20557 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 87104
[startup+222.3 s]
/proc/loadavg: 2.02 1.94 1.95 3/177 27899
/proc/meminfo: memFree=26961092/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=87104 CPUtime=222.21 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 33412 0 0 0 22132 89 0 0 20 0 1 0 285413378 89194496 21003 33554432000 4194304 8973514 140733391483008 140733391482504 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 21776 21003 445 1167 0 20557 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 87104
[startup+282.3 s]
/proc/loadavg: 2.00 1.95 1.95 3/177 27899
/proc/meminfo: memFree=26950736/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=74816 CPUtime=282.2 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 35973 0 0 0 28109 111 0 0 20 0 1 0 285413378 76611584 17931 33554432000 4194304 8973514 140733391483008 140733391482504 4481556 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 18704 17931 445 1167 0 17485 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 74816
[startup+342.3 s]
/proc/loadavg: 2.00 1.96 1.95 3/177 27899
/proc/meminfo: memFree=26871220/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=128064 CPUtime=342.19 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 51333 0 0 0 34087 132 0 0 20 0 1 0 285413378 131137536 31243 33554432000 4194304 8973514 140733391483008 140733391482504 6570576 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 32016 31243 445 1167 0 30797 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 128064
[startup+402.3 s]
/proc/loadavg: 2.10 2.00 1.97 3/178 27902
/proc/meminfo: memFree=26852624/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=115776 CPUtime=402.16 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 51351 0 0 0 40067 149 0 0 20 0 1 0 285413378 118554624 28171 33554432000 4194304 8973514 140733391483008 140733391482504 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 28944 28171 445 1167 0 27725 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 115776
[startup+462.3 s]
/proc/loadavg: 2.03 2.00 1.97 3/177 27902
/proc/meminfo: memFree=26851820/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=117824 CPUtime=462.15 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 51793 0 0 0 46048 167 0 0 20 0 1 0 285413378 120651776 28613 33554432000 4194304 8973514 140733391483008 140733391482504 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 29456 28613 445 1167 0 28237 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 117824
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/177 27903
/proc/meminfo: memFree=26870752/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=143424 CPUtime=522.15 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 58220 0 0 0 52032 183 0 0 20 0 1 0 285413378 146866176 35040 33554432000 4194304 8973514 140733391483008 140733391482272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 35856 35040 445 1167 0 34637 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 143424
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 27903
/proc/meminfo: memFree=26871956/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=157760 CPUtime=582.12 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 61645 0 0 0 58017 195 0 0 20 0 1 0 285413378 161546240 38447 33554432000 4194304 8973514 140733391483008 140733391482504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 39440 38447 445 1167 0 38221 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 157760
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 27904
/proc/meminfo: memFree=26925076/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=128064 CPUtime=822.08 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 66049 0 0 0 81945 263 0 0 20 0 1 0 285413378 131137536 31243 33554432000 4194304 8973514 140733391483008 140733391482272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 32016 31243 445 1167 0 30797 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 128064
[startup+882.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/177 27904
/proc/meminfo: memFree=26920980/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=141376 CPUtime=882.08 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 69202 0 0 0 87930 278 0 0 20 0 1 0 285413378 144769024 34396 33554432000 4194304 8973514 140733391483008 140733391482504 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 35344 34396 445 1167 0 34125 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 141376
[startup+942.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/177 27904
/proc/meminfo: memFree=26857152/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=169024 CPUtime=942.05 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 76270 0 0 0 93913 292 0 0 20 0 1 0 285413378 173080576 41454 33554432000 4194304 8973514 140733391483008 140733391482272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 42256 41454 445 1167 0 41037 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 169024
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 27907
/proc/meminfo: memFree=26899368/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=145472 CPUtime=1002.04 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 76494 0 0 0 99894 310 0 0 20 0 1 0 285413378 148963328 35534 33554432000 4194304 8973514 140733391483008 140733391482272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 36368 35534 445 1167 0 35149 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 145472
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 27907
/proc/meminfo: memFree=26886020/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=179264 CPUtime=1062.03 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 85015 0 0 0 105876 327 0 0 20 0 1 0 285413378 183566336 44043 33554432000 4194304 8973514 140733391483008 140733391482272 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 44816 44043 445 1167 0 43597 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 179264
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27908
/proc/meminfo: memFree=26850916/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=179264 CPUtime=1122.02 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 85015 0 0 0 111857 345 0 0 20 0 1 0 285413378 183566336 44043 33554432000 4194304 8973514 140733391483008 140733391482272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 44816 44043 445 1167 0 43597 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 179264
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27908
/proc/meminfo: memFree=26885860/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=179264 CPUtime=1182 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 85016 0 0 0 117840 360 0 0 20 0 1 0 285413378 183566336 44043 33554432000 4194304 8973514 140733391483008 140733391482272 7662101 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 44816 44043 445 1167 0 43597 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 179264
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27908
/proc/meminfo: memFree=26843944/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=173120 CPUtime=1242 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 85784 0 0 0 123823 377 0 0 20 0 1 0 285413378 177274880 42507 33554432000 4194304 8973514 140733391483008 140733391482272 7681399 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 43280 42507 445 1167 0 42061 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 173120
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27908
/proc/meminfo: memFree=26870592/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=174144 CPUtime=1301.99 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 85897 0 0 0 129811 388 0 0 20 0 1 0 285413378 178323456 42620 33554432000 4194304 8973514 140733391483008 140733391482504 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 43536 42620 445 1167 0 42317 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 174144
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27908
/proc/meminfo: memFree=26850384/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=160832 CPUtime=1361.98 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 88857 0 0 0 135792 406 0 0 20 0 1 0 285413378 164691968 39435 33554432000 4194304 8973514 140733391483008 140733391482504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 40208 39435 445 1167 0 38989 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 160832
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27909
/proc/meminfo: memFree=26824492/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=152640 CPUtime=1421.97 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 88857 0 0 0 141771 426 0 0 20 0 1 0 285413378 156303360 37387 33554432000 4194304 8973514 140733391483008 140733391482272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 38160 37387 445 1167 0 36941 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 152640
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27909
/proc/meminfo: memFree=26815100/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=152640 CPUtime=1481.96 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 88857 0 0 0 147753 443 0 0 20 0 1 0 285413378 156303360 37387 33554432000 4194304 8973514 140733391483008 140733391482272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 38160 37387 445 1167 0 36941 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 152640
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27909
/proc/meminfo: memFree=26797184/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=152640 CPUtime=1541.95 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 88857 0 0 0 153731 464 0 0 20 0 1 0 285413378 156303360 37387 33554432000 4194304 8973514 140733391483008 140733391482504 4424744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 38160 37387 445 1167 0 36941 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 152640
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 27912
/proc/meminfo: memFree=26813396/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=152640 CPUtime=1601.94 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 88857 0 0 0 159711 483 0 0 20 0 1 0 285413378 156303360 37387 33554432000 4194304 8973514 140733391483008 140733391482504 6748577 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 38160 37387 445 1167 0 36941 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 152640
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27912
/proc/meminfo: memFree=26811668/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=152640 CPUtime=1661.94 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 88857 0 0 0 165693 501 0 0 20 0 1 0 285413378 156303360 37387 33554432000 4194304 8973514 140733391483008 140733391482504 6570484 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 38160 37387 445 1167 0 36941 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 152640
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27913
/proc/meminfo: memFree=26826244/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=152640 CPUtime=1721.92 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 88857 0 0 0 171672 520 0 0 20 0 1 0 285413378 156303360 37387 33554432000 4194304 8973514 140733391483008 140733391482504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 38160 37387 445 1167 0 36941 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 152640
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 27913
/proc/meminfo: memFree=26831336/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=142400 CPUtime=1781.91 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 88857 0 0 0 177651 540 0 0 20 0 1 0 285413378 145817600 34827 33554432000 4194304 8973514 140733391483008 140733391482504 6662169 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 35600 34827 445 1167 0 34381 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 142400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 27914
/proc/meminfo: memFree=26819300/32873844 swapFree=6088/6088
[pid=27894] ppid=27891 vsize=136256 CPUtime=1800.02 cores=1,3,5,7
/proc/27894/stat : 27894 (toysat) R 27891 27894 27853 0 -1 4202496 88857 0 0 0 179456 546 0 0 20 0 1 0 285413378 139526144 33291 33554432000 4194304 8973514 140733391483008 140733391482504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27894/statm: 34064 33291 445 1167 0 32845 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 136256
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.03
CPU user time (s): 1794.57
CPU system time (s): 5.46517
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 185408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.57
system time used= 5.46517
maximum resident set size= 182316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88857
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= 115
involuntary context switches= 1846
runsolver used 3.87041 second user time and 9.97448 second system time
The end