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-3499906-1307978489/watcher-3499906-1307978489 -o /tmp/evaluation-result-3499906-1307978489/solver-3499906-1307978489 -C 5000 -W 5100 -M 15500 sattime+ HOME/instance-3499906-1307978489.cnf 1134366187
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.93 2/177 15563
/proc/meminfo: memFree=6723840/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=881028 CPUtime=0 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 909446694 902172672 245 33554432000 4194304 4228340 140737039442048 18446744073709551615 212687336133 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220257 246 101 9 0 217414 0
[startup+0.0312969 s]
/proc/loadavg: 1.92 1.98 1.93 2/177 15563
/proc/meminfo: memFree=6723840/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=882872 CPUtime=0.03 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 830 0 0 0 3 0 0 0 25 0 1 0 909446694 904060928 772 33554432000 4194304 4228340 140737039442048 18446744073709551615 4206697 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220718 772 104 9 0 217875 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 882872
[startup+0.100281 s]
/proc/loadavg: 1.92 1.98 1.93 2/177 15563
/proc/meminfo: memFree=6723840/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=882872 CPUtime=0.09 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 830 0 0 0 9 0 0 0 25 0 1 0 909446694 904060928 772 33554432000 4194304 4228340 140737039442048 18446744073709551615 4206716 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220718 772 104 9 0 217875 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 882872
[startup+0.300244 s]
/proc/loadavg: 1.92 1.98 1.93 2/177 15563
/proc/meminfo: memFree=6723840/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=882872 CPUtime=0.29 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 830 0 0 0 29 0 0 0 25 0 1 0 909446694 904060928 772 33554432000 4194304 4228340 140737039442048 18446744073709551615 4206872 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220718 772 104 9 0 217875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 882872
[startup+0.700171 s]
/proc/loadavg: 1.92 1.98 1.93 2/177 15563
/proc/meminfo: memFree=6723840/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=0.69 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 69 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218840 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 883008
[startup+1.50103 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 15564
/proc/meminfo: memFree=6720632/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=1.5 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 150 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217640 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 883008
[startup+3.10074 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 15564
/proc/meminfo: memFree=6720440/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=3.1 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 310 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4219006 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 883008
[startup+6.30015 s]
/proc/loadavg: 1.93 1.98 1.93 3/178 15564
/proc/meminfo: memFree=6719816/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=6.3 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 630 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218995 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 883008
[startup+12.701 s]
/proc/loadavg: 1.93 1.98 1.93 3/178 15564
/proc/meminfo: memFree=6719972/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=12.7 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 1270 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217552 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 883008
[startup+25.5006 s]
/proc/loadavg: 1.95 1.98 1.93 3/178 15565
/proc/meminfo: memFree=6719976/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=25.5 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 2550 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218926 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 883008
[startup+51.101 s]
/proc/loadavg: 1.96 1.98 1.93 3/178 15565
/proc/meminfo: memFree=6719852/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=51.1 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 5110 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218840 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 883008
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.93 3/178 15605
/proc/meminfo: memFree=6719564/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=102.3 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 10230 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218995 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 883008
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 15606
/proc/meminfo: memFree=6719748/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=162.3 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 16230 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217584 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 883008
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 15608
/proc/meminfo: memFree=6719696/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=222.3 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 22230 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218896 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 883008
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 15610
/proc/meminfo: memFree=6719664/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=282.3 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 28230 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217278 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 883008
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 15611
/proc/meminfo: memFree=6719632/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=342.31 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 34231 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218915 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 883008
[startup+402.301 s]
/proc/loadavg: 2.03 2.00 1.94 3/178 15613
/proc/meminfo: memFree=6719604/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=402.31 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 40231 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218958 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 883008
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 15614
/proc/meminfo: memFree=6719700/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=462.31 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 46231 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218995 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 883008
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 15616
/proc/meminfo: memFree=6720032/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=522.31 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 52231 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218680 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 883008
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 15618
/proc/meminfo: memFree=6719884/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=582.31 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 58231 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4216976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 883008
[startup+642.301 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15722
/proc/meminfo: memFree=6717504/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4062.42 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 406242 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217538 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4062.42
Current children cumulated vsize (KiB) 883008
[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15724
/proc/meminfo: memFree=6717468/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4122.42 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 412242 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217664 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4122.42
Current children cumulated vsize (KiB) 883008
[startup+4182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15726
/proc/meminfo: memFree=6717436/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4182.42 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 418242 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217122 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 883008
[startup+4242.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 15727
/proc/meminfo: memFree=6717404/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4242.43 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 424243 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217565 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4242.43
Current children cumulated vsize (KiB) 883008
[startup+4302.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 15729
/proc/meminfo: memFree=6717376/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4302.43 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 430243 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218958 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4302.43
Current children cumulated vsize (KiB) 883008
[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15730
/proc/meminfo: memFree=6717344/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4362.43 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 436243 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218932 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4362.43
Current children cumulated vsize (KiB) 883008
[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15732
/proc/meminfo: memFree=6717560/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4422.43 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 442243 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217664 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4422.43
Current children cumulated vsize (KiB) 883008
[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15734
/proc/meminfo: memFree=6717528/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4482.43 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 448243 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218690 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4482.43
Current children cumulated vsize (KiB) 883008
[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15735
/proc/meminfo: memFree=6717256/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4542.43 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 454243 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217114 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4542.43
Current children cumulated vsize (KiB) 883008
[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15737
/proc/meminfo: memFree=6717344/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4602.44 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 460244 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217664 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4602.44
Current children cumulated vsize (KiB) 883008
[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15738
/proc/meminfo: memFree=6717308/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4662.44 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 466244 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218815 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4662.44
Current children cumulated vsize (KiB) 883008
[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15740
/proc/meminfo: memFree=6717140/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4722.45 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 472245 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217315 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4722.45
Current children cumulated vsize (KiB) 883008
[startup+4782.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/178 15742
/proc/meminfo: memFree=6717104/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4782.44 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 478244 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218730 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4782.44
Current children cumulated vsize (KiB) 883008
[startup+4842.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 15743
/proc/meminfo: memFree=6717192/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4842.44 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 484244 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218932 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4842.44
Current children cumulated vsize (KiB) 883008
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 15745
/proc/meminfo: memFree=6717032/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4902.44 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 490244 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4217603 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4902.44
Current children cumulated vsize (KiB) 883008
[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 15746
/proc/meminfo: memFree=6716872/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=4962.45 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 496245 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218815 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 4962.45
Current children cumulated vsize (KiB) 883008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 15747
/proc/meminfo: memFree=6716840/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=5000.05 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 500005 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218932 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 883008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 15747
/proc/meminfo: memFree=6716840/32951124 swapFree=67076880/67111528
[pid=15563] ppid=15561 vsize=883008 CPUtime=5000.05 cores=1,3,5,7
/proc/15563/stat : 15563 (sattime+) R 15561 15563 14046 0 -1 4202496 964 0 0 0 500005 0 0 0 25 0 1 0 909446694 904200192 904 33554432000 4194304 4228340 140737039442048 18446744073709551615 4218932 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15563/statm: 220752 904 116 9 0 217909 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 883008
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.91
CPU time (s): 5000.06
CPU user time (s): 5000.06
CPU system time (s): 0
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 883008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5000.06
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 964
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= 5
involuntary context switches= 7494
runsolver used 6.77297 second user time and 15.9596 second system time
The end