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-3724887-1338647803/watcher-3724887-1338647803 -o /tmp/evaluation-result-3724887-1338647803/solver-3724887-1338647803 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724887-1338647803.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: 2.01 2.00 2.00 3/176 5837
/proc/meminfo: memFree=22523248/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 838 0 0 0 0 0 0 0 20 0 1 0 330906250 7421952 759 33554432000 4194304 8989770 140736969397216 140734057702968 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1812 759 425 1171 0 589 0
[startup+0.103601 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 5837
/proc/meminfo: memFree=22523248/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 2102 0 0 0 9 0 0 0 20 0 1 0 330906250 11616256 2023 33554432000 4194304 8989770 140736969397216 140734057702968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 2836 2023 426 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.200184 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 5837
/proc/meminfo: memFree=22523248/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=17488 CPUtime=0.19 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 3487 0 0 0 19 0 0 0 20 0 1 0 330906250 17907712 3408 33554432000 4194304 8989770 140736969397216 140736969396480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 4372 3408 426 1171 0 3149 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17488
[startup+0.300209 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 5837
/proc/meminfo: memFree=22523248/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=22608 CPUtime=0.29 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 4832 0 0 0 29 0 0 0 20 0 1 0 330906250 23150592 4753 33554432000 4194304 8989770 140736969397216 140736969396480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 5652 4753 426 1171 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22608
[startup+0.700175 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 5837
/proc/meminfo: memFree=22523248/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=43088 CPUtime=0.69 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 10046 0 0 0 68 1 0 0 20 0 1 0 330906250 44122112 9967 33554432000 4194304 8989770 140736969397216 140736969396480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 10772 9967 426 1171 0 9549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43088
[startup+1.50017 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5838
/proc/meminfo: memFree=22466704/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=89168 CPUtime=1.49 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 21566 0 0 0 145 4 0 0 20 0 1 0 330906250 91308032 21487 33554432000 4194304 8989770 140736969397216 140736969395200 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 22292 21487 426 1171 0 21069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89168
[startup+3.10017 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5838
/proc/meminfo: memFree=22399888/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=154704 CPUtime=3.08 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 37950 0 0 0 301 7 0 0 20 0 1 0 330906250 158416896 37871 33554432000 4194304 8989770 140736969397216 140736969396056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 38676 37871 426 1171 0 37453 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 154704
[startup+6.30024 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 5838
/proc/meminfo: memFree=22255816/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=348240 CPUtime=6.29 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 86339 0 0 0 610 19 0 0 20 0 1 0 330906250 356597760 86260 33554432000 4194304 8989770 140736969397216 140736969396712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 87060 86260 431 1171 0 85837 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 348240
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 5838
/proc/meminfo: memFree=21748280/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=780368 CPUtime=12.68 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 194371 0 0 0 1230 38 0 0 20 0 1 0 330906250 799096832 194292 33554432000 4194304 8989770 140736969397216 140736969396712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 195092 194292 431 1171 0 193869 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 780368
[startup+25.5067 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 5838
/proc/meminfo: memFree=21186924/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=1341520 CPUtime=25.5 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 334659 0 0 0 2475 75 0 0 20 0 1 0 330906250 1373716480 334580 33554432000 4194304 8989770 140736969397216 140736969396712 4212523 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 335380 334580 431 1171 0 334157 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1341520
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5838
/proc/meminfo: memFree=19312864/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=3212368 CPUtime=51.08 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 802371 0 0 0 4942 166 0 0 20 0 1 0 330906250 3289464832 802292 33554432000 4194304 8989770 140736969397216 140736969396712 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 803092 802292 431 1171 0 801869 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3212368
[startup+102.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 5838
/proc/meminfo: memFree=15618452/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=6617168 CPUtime=102.28 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1653593 0 0 0 9910 318 0 0 20 0 1 0 330906250 6775980032 1653514 33554432000 4194304 8989770 140736969397216 140736969396712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1654292 1653514 446 1171 0 1653069 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 6617168
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 5839
/proc/meminfo: memFree=14999720/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7234640 CPUtime=162.26 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1807963 0 0 0 15873 353 0 0 20 0 1 0 330906250 7408271360 1807884 33554432000 4194304 8989770 140736969397216 140736969396712 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1808660 1807884 448 1171 0 1807437 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 7234640
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5842
/proc/meminfo: memFree=14446336/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=222.26 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 21846 380 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 7787600
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5842
/proc/meminfo: memFree=14446620/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=282.25 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 27839 386 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 7787600
[startup+342.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5842
/proc/meminfo: memFree=14252592/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=342.24 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 33834 390 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 7787600
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5842
/proc/meminfo: memFree=13478116/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=402.23 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 39831 392 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969395392 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 7787600
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5843
/proc/meminfo: memFree=13568952/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=462.22 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 45822 400 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 7787600
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5843
/proc/meminfo: memFree=13568980/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=522.21 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 51816 405 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 7787600
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5843
/proc/meminfo: memFree=13568636/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=582.2 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 57812 408 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 7787600
[startup+642.3 s]
################
# More data... #
################
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5847
/proc/meminfo: memFree=13569096/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1002.15 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 99765 450 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1002.15
Current children cumulated vsize (KiB) 7787600
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5848
/proc/meminfo: memFree=13569124/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1062.13 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 105760 453 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 7787600
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5848
/proc/meminfo: memFree=13569032/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1122.12 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 111752 460 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 7787600
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5848
/proc/meminfo: memFree=13568812/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1182.11 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 117745 466 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 7787600
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5848
/proc/meminfo: memFree=13568716/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1242.1 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 123737 473 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 7787600
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5848
/proc/meminfo: memFree=13568372/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1302.09 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 129732 477 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 7787600
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5848
/proc/meminfo: memFree=13568664/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1362.08 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 135723 485 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396712 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 7787600
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5852
/proc/meminfo: memFree=13568800/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1422.08 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 141716 492 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 7787600
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5875
/proc/meminfo: memFree=13569136/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1482.06 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 147707 499 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 7787600
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5875
/proc/meminfo: memFree=13569260/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1542.06 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 153699 507 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 5383312 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 7787600
[startup+1602.3 s]
/proc/loadavg: 2.10 2.02 2.01 3/177 5875
/proc/meminfo: memFree=13543000/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1602.04 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 159692 512 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 7787600
[startup+1662.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 5875
/proc/meminfo: memFree=13542780/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1662.05 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 165685 520 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 7787600
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5876
/proc/meminfo: memFree=13542932/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1722.03 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 171676 527 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 7787600
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 5915
/proc/meminfo: memFree=18293212/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1782.01 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 177669 532 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 7787600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5915
/proc/meminfo: memFree=18293600/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=7787600 CPUtime=1800.02 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4202496 1946203 0 0 0 179467 535 0 0 20 0 1 0 330906250 7974502400 1946124 33554432000 4194304 8989770 140736969397216 140736969396480 4494448 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 1946900 1946124 448 1171 0 1945677 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 7787600
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.41 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5915
/proc/meminfo: memFree=18293600/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4203524 1946203 0 0 0 179467 545 0 0 20 0 1 0 330906250 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0
[startup+1800.6 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5915
/proc/meminfo: memFree=18293600/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=0 CPUtime=1800.32 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4203524 1946203 0 0 0 179467 565 0 0 20 0 1 0 330906250 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
[startup+1800.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5915
/proc/meminfo: memFree=18293600/32873648 swapFree=6864/6864
[pid=5837] ppid=5835 vsize=0 CPUtime=1800.42 cores=1,3,5,7
/proc/5837/stat : 5837 (toysat) R 5835 5837 4479 0 -1 4203524 1946203 0 0 0 179467 575 0 0 20 0 1 0 330906250 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5837/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.45
CPU user time (s): 1794.67
CPU system time (s): 5.77212
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 7787600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.67
system time used= 5.77212
maximum resident set size= 7784496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1946203
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= 3
involuntary context switches= 1857
runsolver used 3.39248 second user time and 8.67168 second system time
The end