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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562011-1238769961/watcher-1562011-1238769961 -o /tmp/evaluation-result-1562011-1238769961/solver-1562011-1238769961 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_R HOME/instance-1562011-1238769961.cnf 

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.77 1.90 1.67 2/70 21666
/proc/meminfo: memFree=1764392/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=0
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 112 96 399 0 111 0
[pid=21667] ppid=21666 vsize=2056 CPUtime=0
/proc/21667/stat : 21667 (SATzilla2009_R) D 21666 21666 21485 0 -1 4194368 8 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 115 1992294400 134512640 136149437 4294956208 18446744073709551615 135720916 0 0 8392704 0 18446744071563608240 0 0 17 1 0 0
/proc/21667/statm: 514 115 99 399 0 111 0

[startup+0.0398081 s]
/proc/loadavg: 1.77 1.90 1.67 2/70 21666
/proc/meminfo: memFree=1764392/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=0
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 112 96 399 0 111 0
[pid=21667] ppid=21666 vsize=1124 CPUtime=0
/proc/21667/stat : 21667 (SATenstein) D 21666 21666 21485 0 -1 4194304 38 0 1 0 0 0 0 0 18 0 1 0 1149659398 1150976 32 1992294400 134512640 134854740 4294955344 18446744073709551615 8926215 0 0 8392704 0 18446744071563479169 0 0 17 1 0 0
/proc/21667/statm: 281 32 26 83 0 125 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3180

[startup+0.102815 s]
/proc/loadavg: 1.77 1.90 1.67 2/70 21666
/proc/meminfo: memFree=1764392/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=0
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 112 96 399 0 111 0
[pid=21667] ppid=21666 vsize=6508 CPUtime=0.01
/proc/21667/stat : 21667 (SATenstein) R 21666 21666 21485 0 -1 4194304 309 0 13 0 1 0 0 0 18 0 1 0 1149659398 6664192 303 1992294400 134512640 134854740 4294955344 18446744073709551615 9244700 0 0 8392704 0 0 0 0 17 1 0 0
/proc/21667/statm: 1627 303 151 83 0 1188 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8564

[startup+0.302835 s]
/proc/loadavg: 1.77 1.90 1.67 2/70 21666
/proc/meminfo: memFree=1764392/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=0
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 112 96 399 0 111 0
[pid=21667] ppid=21666 vsize=12132 CPUtime=0.21
/proc/21667/stat : 21667 (SATenstein) R 21666 21666 21485 0 -1 4194304 1034 0 14 0 21 0 0 0 19 0 1 0 1149659398 12423168 967 1992294400 134512640 134854740 4294955344 18446744073709551615 134664977 0 0 8392704 0 0 0 0 17 1 0 0
/proc/21667/statm: 3033 967 174 83 0 2594 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 14188

[startup+0.702873 s]
/proc/loadavg: 1.77 1.90 1.67 2/70 21666
/proc/meminfo: memFree=1764392/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=0
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 112 96 399 0 111 0
[pid=21667] ppid=21666 vsize=12132 CPUtime=0.61
/proc/21667/stat : 21667 (SATenstein) R 21666 21666 21485 0 -1 4194304 1034 0 14 0 61 0 0 0 22 0 1 0 1149659398 12423168 967 1992294400 134512640 134854740 4294955344 18446744073709551615 134761063 0 0 8392704 0 0 0 0 17 1 0 0
/proc/21667/statm: 3033 967 174 83 0 2594 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 14188

[startup+1.50295 s]
/proc/loadavg: 1.77 1.90 1.67 2/72 21668
/proc/meminfo: memFree=1759832/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=0
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 112 96 399 0 111 0
[pid=21667] ppid=21666 vsize=12132 CPUtime=1.4
/proc/21667/stat : 21667 (SATenstein) R 21666 21666 21485 0 -1 4194304 1034 0 14 0 140 0 0 0 25 0 1 0 1149659398 12423168 967 1992294400 134512640 134854740 4294955344 18446744073709551615 134760727 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21667/statm: 3033 967 174 83 0 2594 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 14188

[startup+3.10111 s]
/proc/loadavg: 1.71 1.89 1.66 2/72 21668
/proc/meminfo: memFree=1759704/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=0
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 112 96 399 0 111 0
[pid=21667] ppid=21666 vsize=12132 CPUtime=3
/proc/21667/stat : 21667 (SATenstein) R 21666 21666 21485 0 -1 4194304 1034 0 14 0 300 0 0 0 25 0 1 0 1149659398 12423168 967 1992294400 134512640 134854740 4294955344 18446744073709551615 134532091 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21667/statm: 3033 967 174 83 0 2594 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 14188

[startup+6.30143 s]
/proc/loadavg: 1.71 1.89 1.66 2/72 21668
/proc/meminfo: memFree=1759064/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=0
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 112 96 399 0 111 0
[pid=21667] ppid=21666 vsize=12132 CPUtime=6.19
/proc/21667/stat : 21667 (SATenstein) R 21666 21666 21485 0 -1 4194304 1034 0 14 0 618 1 0 0 25 0 1 0 1149659398 12423168 967 1992294400 134512640 134854740 4294955344 18446744073709551615 134760576 0 0 8392704 0 0 0 0 17 1 0 0
/proc/21667/statm: 3033 967 174 83 0 2594 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 14188

[startup+12.7011 s]
/proc/loadavg: 1.60 1.86 1.66 2/72 21668
/proc/meminfo: memFree=1759896/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=0
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 112 96 399 0 111 0
[pid=21667] ppid=21666 vsize=12132 CPUtime=12.58
/proc/21667/stat : 21667 (SATenstein) R 21666 21666 21485 0 -1 4194304 1034 0 14 0 1257 1 0 0 25 0 1 0 1149659398 12423168 967 1992294400 134512640 134854740 4294955344 18446744073709551615 134568442 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21667/statm: 3033 967 174 83 0 2594 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 14188

[startup+25.5013 s]
/proc/loadavg: 1.51 1.83 1.65 2/72 21668
/proc/meminfo: memFree=1760088/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=0
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1149659398 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 112 96 399 0 111 0
[pid=21667] ppid=21666 vsize=12132 CPUtime=25.38
/proc/21667/stat : 21667 (SATenstein) R 21666 21666 21485 0 -1 4194304 1034 0 14 0 2537 1 0 0 25 0 1 0 1149659398 12423168 967 1992294400 134512640 134854740 4294955344 18446744073709551615 134761176 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21667/statm: 3033 967 174 83 0 2594 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 14188

[startup+51.1019 s]
/proc/loadavg: 1.33 1.76 1.63 2/72 21669
/proc/meminfo: memFree=1748248/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=2056 CPUtime=29.99
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 152 1034 0 14 0 0 2998 1 16 0 1 0 1149659398 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 514 121 104 399 0 111 0
[pid=21669] ppid=21666 vsize=16320 CPUtime=20.96
/proc/21669/stat : 21669 (mxc-sr08) R 21666 21666 21485 0 -1 4194304 4110 0 0 0 2094 2 0 0 25 0 1 0 1149662409 16711680 3936 1992294400 134512640 135078026 4294956176 18446744073709551615 134534496 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21669/statm: 4080 3936 71 138 0 3939 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 18376

[startup+102.307 s]
/proc/loadavg: 1.13 1.63 1.59 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=33.51
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 3351 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134542156 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 225004

[startup+162.302 s]
/proc/loadavg: 1.05 1.51 1.55 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=93.49
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 9349 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134542037 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 225004

[startup+222.302 s]
/proc/loadavg: 1.02 1.42 1.51 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=153.46
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 15346 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134541334 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 225004

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

[startup+230.302 s]
/proc/loadavg: 1.01 1.41 1.51 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=161.46
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 16146 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134542013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 230.06
Current children cumulated vsize (KiB) 225004

[startup+255.901 s]
/proc/loadavg: 1.01 1.38 1.50 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=187.05
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 18705 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134541388 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 255.65
Current children cumulated vsize (KiB) 225004

[startup+262.302 s]
/proc/loadavg: 1.01 1.36 1.49 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=193.45
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 19345 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134544265 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 262.05
Current children cumulated vsize (KiB) 225004

[startup+265.501 s]
/proc/loadavg: 1.01 1.36 1.49 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=196.65
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 19665 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134541388 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 265.25
Current children cumulated vsize (KiB) 225004

[startup+268.701 s]
/proc/loadavg: 1.01 1.36 1.49 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=199.84
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 19984 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134553149 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 268.44
Current children cumulated vsize (KiB) 225004

[startup+269.507 s]
/proc/loadavg: 1.01 1.36 1.49 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=200.65
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 20065 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134542013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 269.25
Current children cumulated vsize (KiB) 225004

[startup+269.902 s]
/proc/loadavg: 1.01 1.36 1.49 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=201.04
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 20104 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134553153 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 269.64
Current children cumulated vsize (KiB) 225004

[startup+270.102 s]
/proc/loadavg: 1.01 1.36 1.49 2/72 21672
/proc/meminfo: memFree=1755480/2055920 swapFree=4173176/4192956
[pid=21666] ppid=21664 vsize=6424 CPUtime=68.6
/proc/21666/stat : 21666 (SATzilla2009_R) S 21664 21666 21485 0 -1 4194304 1961 7398 0 14 640 9 6205 6 25 0 1 0 1149659398 6578176 1216 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21666/statm: 1606 1216 220 399 0 1203 0
[pid=21672] ppid=21666 vsize=218580 CPUtime=201.24
/proc/21672/stat : 21672 (adaptg2wsat+) R 21666 21666 21485 0 -1 4194304 856 0 0 0 20124 0 0 0 25 0 1 0 1149666275 223825920 846 1992294400 134512640 134921272 4294956160 18446744073709551615 134541332 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21672/statm: 54645 846 43 99 0 54152 0
Current children cumulated CPU time (s) 269.84
Current children cumulated vsize (KiB) 225004

Child status: 10
Real time (s): 270.17
CPU time (s): 269.943
CPU user time (s): 269.774
CPU system time (s): 0.168974
CPU usage (%): 99.9161
Max. virtual memory (cumulated for all children) (KiB): 225004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.774
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10246
page faults= 14
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 923

runsolver used 0.246962 second user time and 0.755885 second system time

The end