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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1561760-1238768605/watcher-1561760-1238768605 -o /tmp/evaluation-result-1561760-1238768605/solver-1561760-1238768605 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+ HOME/instance-1561760-1238768605.cnf 470815535 

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.03 1.01 1.00 3/64 31912
/proc/meminfo: memFree=1752984/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958144 CPUtime=0
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 769 0 0 0 0 0 0 0 18 0 1 0 1149521526 981139456 753 1992294400 134512640 135098890 4294956208 18446744073709551615 134517913 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239536 759 46 143 0 239391 0

[startup+0.0766501 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 31912
/proc/meminfo: memFree=1752984/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958928 CPUtime=0.07
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 9907 0 0 0 4 3 0 0 18 0 1 0 1149521526 981942272 9891 1992294400 134512640 135098890 4294956208 18446744073709551615 134518240 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239732 9891 48 143 0 239587 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 958928

[startup+0.101654 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 31912
/proc/meminfo: memFree=1752984/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=0.09
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 10770 0 0 0 6 3 0 0 18 0 1 0 1149521526 981938176 10753 1992294400 134512640 135098890 4294956208 18446744073709551615 134518761 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 10758 48 143 0 239586 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 958924

[startup+0.301697 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 31912
/proc/meminfo: memFree=1752984/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=0.29
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 23 6 0 0 19 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515161 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 958924

[startup+0.701783 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 31912
/proc/meminfo: memFree=1752984/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=0.69
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 63 6 0 0 22 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514576 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 958924

[startup+1.50196 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 31913
/proc/meminfo: memFree=1673296/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1.49
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 143 6 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515146 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 958924

[startup+3.1023 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31913
/proc/meminfo: memFree=1673104/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=3.09
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 303 6 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134529594 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 958924

[startup+6.30199 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31913
/proc/meminfo: memFree=1673104/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=6.29
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 623 6 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515211 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 958924

[startup+12.7014 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31913
/proc/meminfo: memFree=1673040/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=12.68
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 1262 6 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515661 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 958924

[startup+25.5011 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31913
/proc/meminfo: memFree=1673040/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=25.48
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 2542 6 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514755 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 958924

[startup+51.1016 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1673040/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=51.06
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 5100 6 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515161 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 958924

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1673040/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=102.26
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 10219 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515609 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 958924

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1673040/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=162.23
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 16216 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134513896 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 958924

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672976/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=222.21
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 22214 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514902 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 958924

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672976/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=282.18
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 28211 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515860 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 958924

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672912/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=342.16
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 34209 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514634 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 958924

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672912/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=402.13
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 40206 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514600 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 958924

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672912/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=462.11
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 46204 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134528924 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 958924

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672848/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=522.08
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 52201 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515721 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 958924

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672848/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=582.06
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 58199 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515183 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 958924

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672784/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=642.04
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 64197 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514164 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 958924

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672784/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=702.01
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 70194 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514164 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 958924

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672784/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=761.99
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 76192 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134531477 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 958924

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672720/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=821.96
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 82189 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515219 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 958924

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672720/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=881.94
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 88187 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134513893 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 958924

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672656/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=941.91
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 94184 7 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134528984 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 958924

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672656/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1001.9
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 100182 8 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514533 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 958924

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672592/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1061.87
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 106179 8 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515205 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 958924

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672656/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1121.85
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 112177 8 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515142 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 958924

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

[startup+1126.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672656/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1125.85
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 112577 8 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514164 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1125.85
Current children cumulated vsize (KiB) 958924

[startup+1129.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672656/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1129.05
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 112897 8 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514614 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1129.05
Current children cumulated vsize (KiB) 958924

[startup+1132.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672656/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1132.25
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 113217 8 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515205 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1132.25
Current children cumulated vsize (KiB) 958924

[startup+1134.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672656/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1133.85
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 113377 8 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134515035 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1133.85
Current children cumulated vsize (KiB) 958924

[startup+1134.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672656/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1134.25
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 113417 8 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134514576 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1134.25
Current children cumulated vsize (KiB) 958924

[startup+1134.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672656/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1134.45
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 113437 8 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134539782 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1134.45
Current children cumulated vsize (KiB) 958924

[startup+1135 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31913
/proc/meminfo: memFree=1672656/2055920 swapFree=4177960/4192956
[pid=31912] ppid=31910 vsize=958924 CPUtime=1134.55
/proc/31912/stat : 31912 (gnovelty+) R 31910 31912 30913 0 -1 4194304 19969 0 0 0 113447 8 0 0 25 0 1 0 1149521526 981938176 19952 1992294400 134512640 135098890 4294956208 18446744073709551615 134513857 0 0 4096 0 0 0 0 17 1 0 0
/proc/31912/statm: 239731 19952 65 143 0 239586 0
Current children cumulated CPU time (s) 1134.55
Current children cumulated vsize (KiB) 958924

Child status: 10
Real time (s): 1135.06
CPU time (s): 1134.61
CPU user time (s): 1134.51
CPU system time (s): 0.095985
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 958928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1134.51
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19974
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= 1722

runsolver used 0.840872 second user time and 2.46563 second system time

The end