runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562162-1238770957/watcher-1562162-1238770957 -o /tmp/evaluation-result-1562162-1238770957/solver-1562162-1238770957 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hydrasat-flat HOME/instance-1562162-1238770957.cnf -rs 1542102144 -co memory_limit 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.66 1.19 1.06 3/64 30579
/proc/meminfo: memFree=1751104/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=1876 CPUtime=0
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 217 0 0 0 0 0 0 0 20 0 1 0 1149758200 1921024 201 1992294400 134512640 135819388 4294956160 18446744073709551615 135210599 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 469 202 119 319 0 147 0

[startup+0.0510019 s]
/proc/loadavg: 1.66 1.19 1.06 3/64 30579
/proc/meminfo: memFree=1751104/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=4420 CPUtime=0.04
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 928 0 0 0 4 0 0 0 20 0 1 0 1149758200 4526080 895 1992294400 134512640 135819388 4294956160 18446744073709551615 134681595 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 1105 895 127 319 0 783 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4420

[startup+0.103011 s]
/proc/loadavg: 1.66 1.19 1.06 3/64 30579
/proc/meminfo: memFree=1751104/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=4564 CPUtime=0.09
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 966 0 0 0 9 0 0 0 21 0 1 0 1149758200 4673536 896 1992294400 134512640 135819388 4294956160 18446744073709551615 135226985 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 1141 896 128 319 0 819 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4564

[startup+0.30105 s]
/proc/loadavg: 1.66 1.19 1.06 3/64 30579
/proc/meminfo: memFree=1751104/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=6600 CPUtime=0.29
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 1535 0 0 0 29 0 0 0 22 0 1 0 1149758200 6758400 1405 1992294400 134512640 135819388 4294956160 18446744073709551615 134585505 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 1650 1405 148 319 0 1328 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6600

[startup+0.70213 s]
/proc/loadavg: 1.66 1.19 1.06 3/64 30579
/proc/meminfo: memFree=1751104/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=6600 CPUtime=0.69
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 1553 0 0 0 69 0 0 0 25 0 1 0 1149758200 6758400 1423 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 1650 1423 148 319 0 1328 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6600

[startup+1.50129 s]
/proc/loadavg: 1.66 1.19 1.06 2/65 30580
/proc/meminfo: memFree=1745848/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=6864 CPUtime=1.49
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 1603 0 0 0 149 0 0 0 25 0 1 0 1149758200 7028736 1473 1992294400 134512640 135819388 4294956160 18446744073709551615 134617610 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 1716 1473 148 319 0 1394 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6864

[startup+3.1016 s]
/proc/loadavg: 1.61 1.19 1.06 2/65 30580
/proc/meminfo: memFree=1745464/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=7392 CPUtime=3.09
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 1723 0 0 0 309 0 0 0 25 0 1 0 1149758200 7569408 1593 1992294400 134512640 135819388 4294956160 18446744073709551615 135208209 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 1848 1593 148 319 0 1526 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7392

[startup+6.30123 s]
/proc/loadavg: 1.61 1.19 1.06 2/65 30580
/proc/meminfo: memFree=1744568/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=8056 CPUtime=6.28
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 1895 0 0 0 628 0 0 0 25 0 1 0 1149758200 8249344 1765 1992294400 134512640 135819388 4294956160 18446744073709551615 134616791 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 2014 1765 148 319 0 1692 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8056

[startup+12.7015 s]
/proc/loadavg: 1.51 1.18 1.06 2/65 30580
/proc/meminfo: memFree=1743544/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=9116 CPUtime=12.69
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 2160 0 0 0 1268 1 0 0 25 0 1 0 1149758200 9334784 2030 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 2279 2030 148 319 0 1957 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9116

[startup+25.502 s]
/proc/loadavg: 1.43 1.18 1.06 2/65 30580
/proc/meminfo: memFree=1741176/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=11492 CPUtime=25.48
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 2699 0 0 0 2547 1 0 0 25 0 1 0 1149758200 11767808 2569 1992294400 134512640 135819388 4294956160 18446744073709551615 134668133 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 2873 2569 148 319 0 2551 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11492

[startup+51.1011 s]
/proc/loadavg: 1.28 1.16 1.06 2/65 30580
/proc/meminfo: memFree=1738680/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=14488 CPUtime=51.07
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 3374 0 0 0 5105 2 0 0 25 0 1 0 1149758200 14835712 3244 1992294400 134512640 135819388 4294956160 18446744073709551615 134592764 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 3622 3244 148 319 0 3300 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14488

[startup+102.305 s]
/proc/loadavg: 1.11 1.13 1.05 2/65 30580
/proc/meminfo: memFree=1733048/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=20604 CPUtime=102.26
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 4723 0 0 0 10222 4 0 0 25 0 1 0 1149758200 21098496 4593 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 5151 4593 148 319 0 4829 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20604

[startup+162.302 s]
/proc/loadavg: 1.04 1.11 1.05 2/65 30580
/proc/meminfo: memFree=1726584/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=28124 CPUtime=162.23
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 6474 0 0 0 16218 5 0 0 25 0 1 0 1149758200 28798976 6194 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 7031 6194 148 319 0 6709 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 28124

[startup+222.302 s]
/proc/loadavg: 1.01 1.08 1.04 2/65 30580
/proc/meminfo: memFree=1722872/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=32704 CPUtime=222.21
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 7515 0 0 0 22215 6 0 0 25 0 1 0 1149758200 33488896 7125 1992294400 134512640 135819388 4294956160 18446744073709551615 134617242 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 8176 7125 148 319 0 7854 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 32704

[startup+282.302 s]
/proc/loadavg: 1.00 1.07 1.04 2/65 30580
/proc/meminfo: memFree=1719160/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=36984 CPUtime=282.19
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 8451 0 0 0 28212 7 0 0 25 0 1 0 1149758200 37871616 8061 1992294400 134512640 135819388 4294956160 18446744073709551615 134669019 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 9246 8061 148 319 0 8924 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 36984

[startup+342.301 s]
/proc/loadavg: 1.00 1.05 1.03 2/65 30580
/proc/meminfo: memFree=1715384/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=41288 CPUtime=342.16
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 9559 0 0 0 34209 7 0 0 25 0 1 0 1149758200 42278912 8966 1992294400 134512640 135819388 4294956160 18446744073709551615 134617266 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 10322 8966 148 319 0 10000 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 41288

[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.02 2/65 30580
/proc/meminfo: memFree=1711864/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=45192 CPUtime=402.13
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 10438 0 0 0 40205 8 0 0 25 0 1 0 1149758200 46276608 9845 1992294400 134512640 135819388 4294956160 18446744073709551615 134617291 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 11298 9845 148 319 0 10976 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 45192

[startup+462.301 s]
/proc/loadavg: 1.00 1.03 1.02 2/65 30580
/proc/meminfo: memFree=1710328/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=47280 CPUtime=462.12
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 10845 0 0 0 46203 9 0 0 25 0 1 0 1149758200 48414720 10252 1992294400 134512640 135819388 4294956160 18446744073709551615 134617707 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 11820 10252 148 319 0 11498 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 47280

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.01 2/65 30580
/proc/meminfo: memFree=1708856/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=48604 CPUtime=522.1
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 11165 0 0 0 52201 9 0 0 25 0 1 0 1149758200 49770496 10572 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 12151 10572 148 319 0 11829 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 48604

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.01 2/65 30580
/proc/meminfo: memFree=1706232/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=51620 CPUtime=582.07
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 11880 0 0 0 58198 9 0 0 25 0 1 0 1149758200 52858880 11226 1992294400 134512640 135819388 4294956160 18446744073709551615 134617103 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 12905 11226 148 319 0 12583 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 51620

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 30580
/proc/meminfo: memFree=1702968/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=55168 CPUtime=642.05
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 12688 0 0 0 64195 10 0 0 25 0 1 0 1149758200 56492032 12034 1992294400 134512640 135819388 4294956160 18446744073709551615 134617146 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 13792 12034 148 319 0 13470 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 55168

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1699960/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=58376 CPUtime=702.03
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 13575 0 0 0 70192 11 0 0 25 0 1 0 1149758200 59777024 12803 1992294400 134512640 135819388 4294956160 18446744073709551615 134617168 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 14594 12803 148 319 0 14272 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 58376

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1696056/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=63244 CPUtime=762.01
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 14883 0 0 0 76189 12 0 0 25 0 1 0 1149758200 64761856 13736 1992294400 134512640 135819388 4294956160 18446744073709551615 134617227 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 15811 13736 148 319 0 15489 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 63244

Solver just ended. Dumping a history of the last processes samples

[startup+767.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1696056/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=63376 CPUtime=767.61
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 14899 0 0 0 76749 12 0 0 25 0 1 0 1149758200 64897024 13752 1992294400 134512640 135819388 4294956160 18446744073709551615 134617175 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 15844 13752 148 319 0 15522 0
Current children cumulated CPU time (s) 767.61
Current children cumulated vsize (KiB) 63376

[startup+780.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1694200/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=65760 CPUtime=780.4
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 15374 0 0 0 78028 12 0 0 25 0 1 0 1149758200 67338240 14227 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 16440 14227 148 319 0 16118 0
Current children cumulated CPU time (s) 780.4
Current children cumulated vsize (KiB) 65760

[startup+793.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1693432/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=66724 CPUtime=793.19
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 15553 0 0 0 79307 12 0 0 25 0 1 0 1149758200 68325376 14406 1992294400 134512640 135819388 4294956160 18446744073709551615 134616780 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 16681 14406 148 319 0 16359 0
Current children cumulated CPU time (s) 793.19
Current children cumulated vsize (KiB) 66724

[startup+796.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1693432/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=66724 CPUtime=796.39
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 15558 0 0 0 79627 12 0 0 25 0 1 0 1149758200 68325376 14411 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 16681 14411 148 319 0 16359 0
Current children cumulated CPU time (s) 796.39
Current children cumulated vsize (KiB) 66724

[startup+798.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1693432/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=66724 CPUtime=797.99
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 15560 0 0 0 79787 12 0 0 25 0 1 0 1149758200 68325376 14413 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 16681 14413 148 319 0 16359 0
Current children cumulated CPU time (s) 797.99
Current children cumulated vsize (KiB) 66724

[startup+799.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1693432/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=66724 CPUtime=799.59
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 15561 0 0 0 79947 12 0 0 25 0 1 0 1149758200 68325376 14414 1992294400 134512640 135819388 4294956160 18446744073709551615 134669019 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 16681 14414 148 319 0 16359 0
Current children cumulated CPU time (s) 799.59
Current children cumulated vsize (KiB) 66724

[startup+800.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1693432/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=66724 CPUtime=799.99
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 15561 0 0 0 79987 12 0 0 25 0 1 0 1149758200 68325376 14414 1992294400 134512640 135819388 4294956160 18446744073709551615 134616780 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 16681 14414 148 319 0 16359 0
Current children cumulated CPU time (s) 799.99
Current children cumulated vsize (KiB) 66724

[startup+800.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1693432/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=66724 CPUtime=800.39
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194304 15561 0 0 0 80027 12 0 0 25 0 1 0 1149758200 68325376 14414 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 16681 14414 148 319 0 16359 0
Current children cumulated CPU time (s) 800.39
Current children cumulated vsize (KiB) 66724

[startup+800.806 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30580
/proc/meminfo: memFree=1693432/2055920 swapFree=4176304/4192956
[pid=30579] ppid=30577 vsize=0 CPUtime=800.49
/proc/30579/stat : 30579 (hydrasat-flat) R 30577 30579 30325 0 -1 4194308 15567 0 0 0 80037 12 0 0 25 0 1 0 1149758200 0 0 1992294400 0 0 0 0 0 0 0 4096 1 0 0 0 17 1 0 0
/proc/30579/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 800.49
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 800.811
CPU time (s): 800.509
CPU user time (s): 800.374
CPU system time (s): 0.134979
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 66724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 800.374
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15567
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= 2
involuntary context switches= 1183

runsolver used 0.633903 second user time and 1.71574 second system time

The end