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-3724750-1338643720/watcher-3724750-1338643720 -o /tmp/evaluation-result-3724750-1338643720/solver-3724750-1338643720 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724750-1338643720.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 23071
/proc/meminfo: memFree=28229556/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=7248 CPUtime=0 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 835 0 0 0 0 0 0 0 20 0 1 0 330497336 7421952 755 33554432000 4194304 8989770 140736155352480 140737277543240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 1812 755 425 1171 0 589 0
[startup+0.0151681 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 23071
/proc/meminfo: memFree=28229556/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=7248 CPUtime=0.01 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 1081 0 0 0 1 0 0 0 20 0 1 0 330497336 7421952 1001 33554432000 4194304 8989770 140736155352480 140737277543240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 1812 1001 425 1171 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7248
[startup+0.100253 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 23071
/proc/meminfo: memFree=28229556/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 2107 0 0 0 9 0 0 0 20 0 1 0 330497336 11616256 2027 33554432000 4194304 8989770 140736155352480 140737277543240 4214379 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 2836 2027 425 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.300273 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 23071
/proc/meminfo: memFree=28229556/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=22608 CPUtime=0.28 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 4862 0 0 0 28 0 0 0 20 0 1 0 330497336 23150592 4782 33554432000 4194304 8989770 140736155352480 140737277543240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 5652 4782 425 1171 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22608
[startup+0.70027 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 23071
/proc/meminfo: memFree=28229556/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=41040 CPUtime=0.69 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 9537 0 0 0 67 2 0 0 20 0 1 0 330497336 42024960 9457 33554432000 4194304 8989770 140736155352480 140736155351976 4208879 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 10260 9457 431 1171 0 9037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41040
[startup+1.50029 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 23072
/proc/meminfo: memFree=28165944/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=90192 CPUtime=1.49 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 21825 0 0 0 144 5 0 0 20 0 1 0 330497336 92356608 21745 33554432000 4194304 8989770 140736155352480 140736155351744 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 22548 21745 431 1171 0 21325 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90192
[startup+3.10027 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 23072
/proc/meminfo: memFree=28114344/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=208976 CPUtime=3.09 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 51521 0 0 0 297 12 0 0 20 0 1 0 330497336 213991424 51441 33554432000 4194304 8989770 140736155352480 140736155351976 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 52244 51441 431 1171 0 51021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208976
[startup+6.30022 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23072
/proc/meminfo: memFree=27876760/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=356432 CPUtime=6.29 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 88408 0 0 0 613 16 0 0 20 0 1 0 330497336 364986368 88328 33554432000 4194304 8989770 140736155352480 140736155351976 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 89108 88328 448 1171 0 87885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 356432
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23072
/proc/meminfo: memFree=27798780/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=12.69 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107864 0 0 0 1248 21 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155351976 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 434256
[startup+25.5002 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 23072
/proc/meminfo: memFree=27799028/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=25.48 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107864 0 0 0 2523 25 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155351976 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 434256
[startup+51.1002 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23072
/proc/meminfo: memFree=27799152/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=51.08 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107864 0 0 0 5077 31 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155350464 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 434256
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 23075
/proc/meminfo: memFree=27798380/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=102.28 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107864 0 0 0 10180 48 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155351976 4494232 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 434256
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23075
/proc/meminfo: memFree=27798788/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=162.24 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107891 0 0 0 16159 65 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155351744 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 434256
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23075
/proc/meminfo: memFree=27792616/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=222.22 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107919 0 0 0 22137 85 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155350464 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 434256
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23075
/proc/meminfo: memFree=27792652/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=282.21 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107923 0 0 0 28118 103 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155351976 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 434256
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23076
/proc/meminfo: memFree=27789696/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=342.21 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107926 0 0 0 34098 123 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155350400 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 434256
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23076
/proc/meminfo: memFree=27784524/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=402.2 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107927 0 0 0 40077 143 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155350400 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 434256
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23076
/proc/meminfo: memFree=27782400/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=462.19 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107927 0 0 0 46059 160 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155351744 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 434256
[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23076
/proc/meminfo: memFree=27782400/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=522.18 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107927 0 0 0 52037 181 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155351744 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 434256
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23076
/proc/meminfo: memFree=27782524/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=582.17 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107927 0 0 0 58020 197 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155351976 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 434256
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 23119
/proc/meminfo: memFree=27750208/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=822.13 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107927 0 0 0 81937 276 0 0 20 0 1 0 330497336 444678144 107784 33554432000 4194304 8989770 140736155352480 140736155351976 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107784 448 1171 0 107341 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 434256
[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 23119
/proc/meminfo: memFree=27700024/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=434256 CPUtime=882.12 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 107939 0 0 0 87923 289 0 0 20 0 1 0 330497336 444678144 107796 33554432000 4194304 8989770 140736155352480 140736155351976 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 108564 107796 460 1171 0 107341 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 434256
[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 23120
/proc/meminfo: memFree=27635668/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=459856 CPUtime=942.11 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 114339 0 0 0 93911 300 0 0 20 0 1 0 330497336 470892544 114196 33554432000 4194304 8989770 140736155352480 140736155350400 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 114964 114196 460 1171 0 113741 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 459856
[startup+1002.3 s]
/proc/loadavg: 2.12 2.02 2.00 3/179 23120
/proc/meminfo: memFree=27622276/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=469072 CPUtime=1002.1 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 116643 0 0 0 99898 312 0 0 20 0 1 0 330497336 480329728 116500 33554432000 4194304 8989770 140736155352480 140736155351744 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 117268 116500 460 1171 0 116045 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 469072
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23120
/proc/meminfo: memFree=27567840/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=523344 CPUtime=1062.1 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 130211 0 0 0 105882 328 0 0 20 0 1 0 330497336 535904256 130068 33554432000 4194304 8989770 140736155352480 140736155351744 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 130836 130068 460 1171 0 129613 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 523344
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 23121
/proc/meminfo: memFree=27530300/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=542800 CPUtime=1122.08 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 135079 0 0 0 111866 342 0 0 20 0 1 0 330497336 555827200 134932 33554432000 4194304 8989770 140736155352480 140736155350400 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 135700 134932 460 1171 0 134477 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 542800
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23121
/proc/meminfo: memFree=27487876/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=545872 CPUtime=1182.07 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 135856 0 0 0 117850 357 0 0 20 0 1 0 330497336 558972928 135700 33554432000 4194304 8989770 140736155352480 140736155351976 6587952 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 136468 135700 460 1171 0 135245 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 545872
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23122
/proc/meminfo: memFree=27420048/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=578640 CPUtime=1242.06 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 144048 0 0 0 123830 376 0 0 20 0 1 0 330497336 592527360 143892 33554432000 4194304 8989770 140736155352480 140736155351976 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 144660 143892 460 1171 0 143437 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 578640
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23125
/proc/meminfo: memFree=27384180/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=613456 CPUtime=1302.05 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 152752 0 0 0 129815 390 0 0 20 0 1 0 330497336 628178944 152596 33554432000 4194304 8989770 140736155352480 140736155351976 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 153364 152596 460 1171 0 152141 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 613456
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23125
/proc/meminfo: memFree=27330400/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=675920 CPUtime=1362.04 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 168368 0 0 0 135796 408 0 0 20 0 1 0 330497336 692142080 168212 33554432000 4194304 8989770 140736155352480 140736155351976 7687183 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 168980 168212 460 1171 0 167757 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 675920
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23125
/proc/meminfo: memFree=27303936/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=693328 CPUtime=1422.04 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 172720 0 0 0 141781 423 0 0 20 0 1 0 330497336 709967872 172564 33554432000 4194304 8989770 140736155352480 140736155351976 4370936 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 173332 172564 460 1171 0 172109 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 693328
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 23125
/proc/meminfo: memFree=27298612/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=699472 CPUtime=1482.03 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 174256 0 0 0 147768 435 0 0 20 0 1 0 330497336 716259328 174100 33554432000 4194304 8989770 140736155352480 140736155351976 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 174868 174100 460 1171 0 173645 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 699472
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23127
/proc/meminfo: memFree=27254584/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=733264 CPUtime=1542.01 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 182704 0 0 0 153751 450 0 0 20 0 1 0 330497336 750862336 182548 33554432000 4194304 8989770 140736155352480 140736155351976 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 183316 182548 460 1171 0 182093 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 733264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23127
/proc/meminfo: memFree=27175472/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=806992 CPUtime=1602.01 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 201136 0 0 0 159736 465 0 0 20 0 1 0 330497336 826359808 200980 33554432000 4194304 8989770 140736155352480 140736155351744 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 201748 200980 460 1171 0 200525 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 806992
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23127
/proc/meminfo: memFree=27164684/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=816208 CPUtime=1661.99 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 203440 0 0 0 165723 476 0 0 20 0 1 0 330497336 835796992 203284 33554432000 4194304 8989770 140736155352480 140736155351744 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 204052 203284 460 1171 0 202829 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 816208
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23127
/proc/meminfo: memFree=27142240/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=838736 CPUtime=1721.99 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 209072 0 0 0 171710 489 0 0 20 0 1 0 330497336 858865664 208916 33554432000 4194304 8989770 140736155352480 140736155351744 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 209684 208916 460 1171 0 208461 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 838736
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23127
/proc/meminfo: memFree=27123560/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=857168 CPUtime=1781.98 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 213684 0 0 0 177698 500 0 0 20 0 1 0 330497336 877740032 213524 33554432000 4194304 8989770 140736155352480 140736155351976 6587877 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 214292 213524 460 1171 0 213069 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 857168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23127
/proc/meminfo: memFree=27115344/32873844 swapFree=7112/7112
[pid=23071] ppid=23069 vsize=865360 CPUtime=1800.09 cores=0,2,4,6
/proc/23071/stat : 23071 (toysat) R 23069 23071 21777 0 -1 4202496 215732 0 0 0 179505 504 0 0 20 0 1 0 330497336 886128640 215572 33554432000 4194304 8989770 140736155352480 140736155334464 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/23071/statm: 216340 215572 460 1171 0 215117 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 865360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.11
CPU user time (s): 1795.05
CPU system time (s): 5.05623
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 865360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 5.05623
maximum resident set size= 862288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215732
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= 83
involuntary context switches= 1925
runsolver used 3.37049 second user time and 8.77367 second system time
The end