runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3466987-1307383486/watcher-3466987-1307383486 -o /tmp/evaluation-result-3466987-1307383486/solver-3466987-1307383486 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3466987-1307383486.opb --verbosity=0 --format=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.00 2.01 1.80 3/535 6025
/proc/meminfo: memFree=24887492/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=7716 CPUtime=0 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 449 0 0 0 0 0 0 0 25 0 1 0 830764863 7901184 399 33554432000 4194304 6736272 140737338973056 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 1929 399 246 621 0 1299 0
[startup+0.0528079 s]
/proc/loadavg: 2.00 2.01 1.80 3/535 6025
/proc/meminfo: memFree=24887492/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=11556 CPUtime=0.04 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 1446 0 0 0 4 0 0 0 25 0 1 0 830764863 11833344 1396 33554432000 4194304 6736272 140737338973056 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2925 1402 265 621 0 2295 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11556
[startup+0.100812 s]
/proc/loadavg: 2.00 2.01 1.80 3/535 6025
/proc/meminfo: memFree=24887492/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=0.09 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2333 0 0 0 9 0 0 0 25 0 1 0 830764863 11034624 2282 33554432000 4194304 6736272 140737338973056 18446744073709551615 5816861 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2282 275 621 0 2064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10776
[startup+0.300767 s]
/proc/loadavg: 2.00 2.01 1.80 3/535 6025
/proc/meminfo: memFree=24887492/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=0.29 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2340 0 0 0 29 0 0 0 25 0 1 0 830764863 11034624 2289 33554432000 4194304 6736272 140737338973056 18446744073709551615 4512661 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2289 282 621 0 2064 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10776
[startup+0.70069 s]
/proc/loadavg: 2.00 2.01 1.80 3/535 6025
/proc/meminfo: memFree=24887492/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=0.69 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2343 0 0 0 69 0 0 0 25 0 1 0 830764863 11034624 2292 33554432000 4194304 6736272 140737338973056 18446744073709551615 4502335 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2292 283 621 0 2064 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10776
[startup+1.50055 s]
/proc/loadavg: 2.00 2.01 1.80 3/536 6026
/proc/meminfo: memFree=24878556/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=1.49 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2343 0 0 0 149 0 0 0 25 0 1 0 830764863 11034624 2292 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534985 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2292 283 621 0 2064 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10776
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 1.80 3/536 6026
/proc/meminfo: memFree=24877316/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=3.09 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2344 0 0 0 309 0 0 0 25 0 1 0 830764863 11034624 2293 33554432000 4194304 6736272 140737338973056 18446744073709551615 5817948 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2293 283 621 0 2064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10776
[startup+6.30069 s]
/proc/loadavg: 2.00 2.01 1.80 3/536 6026
/proc/meminfo: memFree=24876964/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=6.29 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2346 0 0 0 629 0 0 0 25 0 1 0 830764863 11034624 2294 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534980 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2294 283 621 0 2064 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10776
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.80 3/536 6026
/proc/meminfo: memFree=24876300/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=12.69 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2354 0 0 0 1269 0 0 0 25 0 1 0 830764863 11034624 2302 33554432000 4194304 6736272 140737338973056 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2302 283 621 0 2064 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10776
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.81 3/536 6027
/proc/meminfo: memFree=24876536/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=25.49 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2355 0 0 0 2549 0 0 0 25 0 1 0 830764863 11034624 2303 33554432000 4194304 6736272 140737338973056 18446744073709551615 4535302 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2303 283 621 0 2064 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10776
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.81 3/536 6027
/proc/meminfo: memFree=24876512/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=51.09 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 5109 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 5142752 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 10776
[startup+102.32 s]
/proc/loadavg: 2.00 2.00 1.82 3/536 6029
/proc/meminfo: memFree=24875492/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=102.31 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 10231 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 10776
[startup+162.301 s]
/proc/loadavg: 2.16 2.03 1.84 3/536 6030
/proc/meminfo: memFree=24875460/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=162.3 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 16230 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4742819 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 10776
[startup+222.301 s]
/proc/loadavg: 2.20 2.07 1.86 3/536 6032
/proc/meminfo: memFree=24875916/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=222.3 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 22230 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534985 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 10776
[startup+282.3 s]
/proc/loadavg: 2.14 2.08 1.87 3/536 6034
/proc/meminfo: memFree=24875400/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=282.3 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 28230 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534752 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 10776
[startup+342.301 s]
/proc/loadavg: 2.05 2.06 1.88 3/536 6035
/proc/meminfo: memFree=24875492/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=342.3 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 34230 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4535214 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 10776
[startup+402.301 s]
/proc/loadavg: 2.02 2.05 1.89 3/536 6037
/proc/meminfo: memFree=24875452/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=402.3 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 40230 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 5148097 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 10776
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 1.89 3/536 6038
/proc/meminfo: memFree=24875548/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=462.3 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 46230 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4764927 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 10776
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 1.90 3/536 6040
/proc/meminfo: memFree=24876248/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=522.3 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 52230 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4535214 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 10776
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 1.90 3/536 6042
/proc/meminfo: memFree=24877084/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=582.31 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 58231 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 10776
[startup+642.301 s]
/proc/loadavg: 2.00 2.02 1.91 3/536 6043
/proc/meminfo: memFree=24877412/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=642.31 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 64231 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534752 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 10776
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/536 6045
/proc/meminfo: memFree=24876888/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=702.31 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 70231 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 5811920 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 10776
Solver just ended. Dumping a history of the last processes samples
[startup+703.901 s]
/proc/loadavg: 2.00 2.01 1.91 3/536 6045
/proc/meminfo: memFree=24877372/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=703.91 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 70391 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 5148038 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 703.91
Current children cumulated vsize (KiB) 10776
[startup+716.701 s]
/proc/loadavg: 2.00 2.01 1.91 3/536 6045
/proc/meminfo: memFree=24876748/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=716.71 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 71671 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 716.71
Current children cumulated vsize (KiB) 10776
[startup+719.901 s]
/proc/loadavg: 2.00 2.01 1.91 3/536 6045
/proc/meminfo: memFree=24876748/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=719.91 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 71991 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 719.91
Current children cumulated vsize (KiB) 10776
[startup+723.1 s]
/proc/loadavg: 2.08 2.02 1.91 3/536 6045
/proc/meminfo: memFree=24877368/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=723.11 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 72311 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4535245 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 723.11
Current children cumulated vsize (KiB) 10776
[startup+724.7 s]
/proc/loadavg: 2.08 2.02 1.91 3/536 6045
/proc/meminfo: memFree=24877368/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=724.71 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 72471 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4734706 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 724.71
Current children cumulated vsize (KiB) 10776
[startup+725.101 s]
/proc/loadavg: 2.08 2.02 1.91 3/536 6045
/proc/meminfo: memFree=24877368/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=725.11 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 72511 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 725.11
Current children cumulated vsize (KiB) 10776
[startup+725.501 s]
/proc/loadavg: 2.08 2.02 1.91 3/536 6045
/proc/meminfo: memFree=24877368/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=725.51 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 72551 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4734706 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 725.51
Current children cumulated vsize (KiB) 10776
[startup+725.601 s]
/proc/loadavg: 2.08 2.02 1.91 3/536 6045
/proc/meminfo: memFree=24877368/32951124 swapFree=46970528/67111528
[pid=6025] ppid=6023 vsize=10776 CPUtime=725.61 cores=1,3,5,7
/proc/6025/stat : 6025 (minisatid-gmp) R 6023 6025 5837 0 -1 4202496 2356 0 0 0 72561 0 0 0 25 0 1 0 830764863 11034624 2304 33554432000 4194304 6736272 140737338973056 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/6025/statm: 2694 2304 283 621 0 2064 0
Current children cumulated CPU time (s) 725.61
Current children cumulated vsize (KiB) 10776
Child status: 10
Real time (s): 725.685
CPU time (s): 725.703
CPU user time (s): 725.698
CPU system time (s): 0.004999
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 11556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 725.698
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2363
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= 1085
runsolver used 3.58146 second user time and 8.44472 second system time
The end