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-3724489-1338644198/watcher-3724489-1338644198 -o /tmp/evaluation-result-3724489-1338644198/solver-3724489-1338644198 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724489-1338644198.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30612
/proc/meminfo: memFree=28451040/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 330545243 6373376 740 33554432000 4194304 8989770 140735772099056 140735772098552 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 1556 742 428 1171 0 333 0
[startup+0.098437 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30612
/proc/meminfo: memFree=28451040/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 2314 0 0 0 9 0 0 0 20 0 1 0 330545243 12664832 2234 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 3092 2234 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.100258 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30612
/proc/meminfo: memFree=28451040/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 2359 0 0 0 9 0 0 0 20 0 1 0 330545243 12664832 2280 33554432000 4194304 8989770 140735772099056 140735772098552 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 3092 2286 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300231 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30612
/proc/meminfo: memFree=28451040/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=20560 CPUtime=0.28 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 4453 0 0 0 28 0 0 0 20 0 1 0 330545243 21053440 4373 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 5140 4373 459 1171 0 3917 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20560
[startup+0.700242 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30612
/proc/meminfo: memFree=28451040/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=20560 CPUtime=0.69 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 4453 0 0 0 68 1 0 0 20 0 1 0 330545243 21053440 4373 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 5140 4373 459 1171 0 3917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20560
[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30613
/proc/meminfo: memFree=28435508/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=22608 CPUtime=1.49 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 4965 0 0 0 148 1 0 0 20 0 1 0 330545243 23150592 4885 33554432000 4194304 8989770 140735772099056 140735772098320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 5652 4885 459 1171 0 4429 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22608
[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30613
/proc/meminfo: memFree=28432260/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=26704 CPUtime=3.09 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 5989 0 0 0 307 2 0 0 20 0 1 0 330545243 27344896 5909 33554432000 4194304 8989770 140735772099056 140735772098552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 6676 5909 459 1171 0 5453 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26704
[startup+6.30018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30613
/proc/meminfo: memFree=28421996/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=36944 CPUtime=6.28 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 8452 0 0 0 624 4 0 0 20 0 1 0 330545243 37830656 8372 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 9236 8372 459 1171 0 8013 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36944
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30613
/proc/meminfo: memFree=28395124/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=55376 CPUtime=12.68 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 12983 0 0 0 1261 7 0 0 20 0 1 0 330545243 56705024 12903 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 13844 12903 459 1171 0 12621 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 55376
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30613
/proc/meminfo: memFree=28388948/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=59472 CPUtime=25.49 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 14183 0 0 0 2537 12 0 0 20 0 1 0 330545243 60899328 14103 33554432000 4194304 8989770 140735772099056 140735772097024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 14868 14103 461 1171 0 13645 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59472
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30613
/proc/meminfo: memFree=28361124/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=76880 CPUtime=51.08 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 18535 0 0 0 5088 20 0 0 20 0 1 0 330545243 78725120 18455 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 19220 18455 461 1171 0 17997 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76880
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30613
/proc/meminfo: memFree=28345172/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=78928 CPUtime=102.28 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 20071 0 0 0 10190 38 0 0 20 0 1 0 330545243 80822272 18967 33554432000 4194304 8989770 140735772099056 140735772098552 4205032 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 19732 18967 461 1171 0 18509 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 78928
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30613
/proc/meminfo: memFree=28310604/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=98384 CPUtime=162.26 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 24935 0 0 0 16167 59 0 0 20 0 1 0 330545243 100745216 23831 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 24596 23831 461 1171 0 23373 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 98384
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30617
/proc/meminfo: memFree=28267836/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=128080 CPUtime=222.26 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 32359 0 0 0 22148 78 0 0 20 0 1 0 330545243 131153920 31255 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 32020 31255 461 1171 0 30797 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 128080
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30656
/proc/meminfo: memFree=29205132/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=94288 CPUtime=282.24 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 32946 0 0 0 28125 99 0 0 20 0 1 0 330545243 96550912 22623 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 23572 22623 461 1171 0 22349 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 94288
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30656
/proc/meminfo: memFree=29133088/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=110672 CPUtime=342.21 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 37768 0 0 0 34103 118 0 0 20 0 1 0 330545243 113328128 26908 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 27668 26908 461 1171 0 26445 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 110672
[startup+402.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 30656
/proc/meminfo: memFree=29079084/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=99408 CPUtime=402.2 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 37768 0 0 0 40081 139 0 0 20 0 1 0 330545243 101793792 24092 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 24852 24092 461 1171 0 23629 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 99408
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 30656
/proc/meminfo: memFree=29037308/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=78928 CPUtime=462.19 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 38280 0 0 0 46060 159 0 0 20 0 1 0 330545243 80822272 18972 33554432000 4194304 8989770 140735772099056 140735772098552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 19732 18972 461 1171 0 18509 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 78928
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30657
/proc/meminfo: memFree=28999864/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=70736 CPUtime=522.18 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 43657 0 0 0 52040 178 0 0 20 0 1 0 330545243 72433664 16924 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 17684 16924 461 1171 0 16461 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 70736
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 30657
/proc/meminfo: memFree=28961948/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=97360 CPUtime=582.17 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 51520 0 0 0 58016 201 0 0 20 0 1 0 330545243 99696640 23501 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 24340 23501 461 1171 0 23117 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 97360
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 30662
/proc/meminfo: memFree=28942208/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=96336 CPUtime=882.11 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 82605 0 0 0 87911 300 0 0 20 0 1 0 330545243 98648064 23079 33554432000 4194304 8989770 140735772099056 140735772098552 7696016 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 24084 23079 461 1171 0 22861 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 96336
[startup+942.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 30662
/proc/meminfo: memFree=28913316/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=99408 CPUtime=942.1 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 90018 0 0 0 93888 322 0 0 20 0 1 0 330545243 101793792 24092 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 24852 24092 461 1171 0 23629 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 99408
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30662
/proc/meminfo: memFree=28881676/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=96336 CPUtime=1002.08 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 95509 0 0 0 99867 341 0 0 20 0 1 0 330545243 98648064 23183 33554432000 4194304 8989770 140735772099056 140735772098552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 24084 23183 461 1171 0 22861 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 96336
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30662
/proc/meminfo: memFree=28883668/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=91216 CPUtime=1062.06 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 102324 0 0 0 105844 362 0 0 20 0 1 0 330545243 93405184 22044 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 22804 22044 461 1171 0 21581 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 91216
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 30662
/proc/meminfo: memFree=28860736/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=115792 CPUtime=1122.06 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 110772 0 0 0 111824 382 0 0 20 0 1 0 330545243 118571008 28188 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 28948 28188 461 1171 0 27725 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 115792
[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 30663
/proc/meminfo: memFree=28877172/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=99408 CPUtime=1182.05 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 115380 0 0 0 117804 401 0 0 20 0 1 0 330545243 101793792 24092 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 24852 24092 461 1171 0 23629 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 99408
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30663
/proc/meminfo: memFree=28892888/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=83024 CPUtime=1242.03 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 121524 0 0 0 123780 423 0 0 20 0 1 0 330545243 85016576 19996 33554432000 4194304 8989770 140735772099056 140735772098552 4437964 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 20756 19996 461 1171 0 19533 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 83024
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30663
/proc/meminfo: memFree=28881544/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=87120 CPUtime=1302.03 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 127924 0 0 0 129759 444 0 0 20 0 1 0 330545243 89210880 21020 33554432000 4194304 8989770 140735772099056 140735772098552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 21780 21020 461 1171 0 20557 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 87120
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30663
/proc/meminfo: memFree=28829664/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=111696 CPUtime=1362 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 134595 0 0 0 135735 465 0 0 20 0 1 0 330545243 114376704 27164 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 27924 27164 461 1171 0 26701 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 111696
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30666
/proc/meminfo: memFree=28801788/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=112720 CPUtime=1422 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 139987 0 0 0 141713 487 0 0 20 0 1 0 330545243 115425280 27180 33554432000 4194304 8989770 140735772099056 140735772098320 4470040 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 28180 27180 461 1171 0 26957 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 112720
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30690
/proc/meminfo: memFree=28775528/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=115792 CPUtime=1481.98 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 146627 0 0 0 147690 508 0 0 20 0 1 0 330545243 118571008 28188 33554432000 4194304 8989770 140735772099056 140735772098552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 28948 28188 461 1171 0 27725 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 115792
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30690
/proc/meminfo: memFree=28762948/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=122960 CPUtime=1541.99 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 155055 0 0 0 153671 528 0 0 20 0 1 0 330545243 125911040 29960 33554432000 4194304 8989770 140735772099056 140735772098320 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 30740 29960 461 1171 0 29517 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 122960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30690
/proc/meminfo: memFree=28769024/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=115792 CPUtime=1601.96 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 158147 0 0 0 159646 550 0 0 20 0 1 0 330545243 118571008 28188 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 28948 28188 461 1171 0 27725 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 115792
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30690
/proc/meminfo: memFree=28768820/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=116816 CPUtime=1661.96 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 158403 0 0 0 165626 570 0 0 20 0 1 0 330545243 119619584 28444 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 29204 28444 461 1171 0 27981 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 116816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30690
/proc/meminfo: memFree=28760740/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=123984 CPUtime=1721.95 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 160971 0 0 0 171607 588 0 0 20 0 1 0 330545243 126959616 30236 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 30996 30236 461 1171 0 29773 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 123984
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30691
/proc/meminfo: memFree=28765516/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=119888 CPUtime=1781.94 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 161483 0 0 0 177591 603 0 0 20 0 1 0 330545243 122765312 29212 33554432000 4194304 8989770 140735772099056 140735772098320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 29972 29212 461 1171 0 28749 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 119888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30691
/proc/meminfo: memFree=28760680/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=125008 CPUtime=1800.04 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 162763 0 0 0 179395 609 0 0 20 0 1 0 330545243 128008192 30492 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 31252 30492 461 1171 0 30029 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 125008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30691
/proc/meminfo: memFree=28760680/32873648 swapFree=7116/7116
[pid=30612] ppid=30610 vsize=125008 CPUtime=1800.04 cores=1,3,5,7
/proc/30612/stat : 30612 (toysat) R 30610 30612 28704 0 -1 4202496 162763 0 0 0 179395 609 0 0 20 0 1 0 330545243 128008192 30492 33554432000 4194304 8989770 140735772099056 140735772098552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30612/statm: 31252 30492 461 1171 0 30029 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 125008
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1793.96
CPU system time (s): 6.10007
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 139344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.96
system time used= 6.10007
maximum resident set size= 136304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162763
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= 97
involuntary context switches= 1850
runsolver used 3.14152 second user time and 9.1926 second system time
The end