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

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

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.00 1.00 1.00 3/64 30515
/proc/meminfo: memFree=1753992/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=958380 CPUtime=0
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 777 0 0 0 0 0 0 0 20 0 1 0 1149663796 981381120 761 1992294400 134512640 135098890 4294956208 18446744073709551615 134517913 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239595 766 46 143 0 239450 0

[startup+0.009584 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30515
/proc/meminfo: memFree=1753992/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=958380 CPUtime=0
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 1507 0 0 0 0 0 0 0 20 0 1 0 1149663796 981381120 1492 1992294400 134512640 135098890 4294956208 18446744073709551615 134517913 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239595 1497 46 143 0 239450 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 958380

[startup+0.10159 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30515
/proc/meminfo: memFree=1753992/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959160 CPUtime=0.09
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 10122 0 0 0 5 4 0 0 20 0 1 0 1149663796 982179840 10105 1992294400 134512640 135098890 4294956208 18446744073709551615 134518640 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239790 10110 48 143 0 239645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 959160

[startup+0.301629 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30515
/proc/meminfo: memFree=1753992/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=0.29
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 21 8 0 0 22 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134531417 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 959944

[startup+0.701707 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30515
/proc/meminfo: memFree=1753992/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=0.69
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 61 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134515327 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 959944

[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673792/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=1.49
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 141 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514164 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 959944

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673664/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=3.09
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 301 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134513867 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 959944

[startup+6.30181 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673600/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=6.29
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 621 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514181 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 959944

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673536/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=12.69
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 1261 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134515192 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 959944

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673536/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=25.48
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 2540 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134515634 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 959944

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673536/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=51.07
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 5099 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134515255 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 959944

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673472/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=102.25
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 10217 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134515550 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 959944

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673472/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=162.23
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 16215 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134527711 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 959944

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673408/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=222.21
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 22213 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514147 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 959944

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673408/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=282.18
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 28210 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514701 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 959944

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673344/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=342.16
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 34208 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514634 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 959944

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673344/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=402.14
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 40206 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514164 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 959944

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673280/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=462.12
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 46204 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134515529 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 959944

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673280/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=522.09
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 52201 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134513976 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 959944

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673216/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=582.07
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 58199 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514778 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 959944

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673216/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=642.05
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 64197 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514701 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 959944

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673216/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=702.03
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 70195 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134515578 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 959944

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673216/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=762.01
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 76193 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514191 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 959944

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673152/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=821.98
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 82190 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514610 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 959944

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

[startup+844.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30516
/proc/meminfo: memFree=1673152/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=844.38
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 84430 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134515058 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 844.38
Current children cumulated vsize (KiB) 959944

[startup+857.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30522
/proc/meminfo: memFree=1673088/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=857.16
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 85708 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134539828 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 857.16
Current children cumulated vsize (KiB) 959944

[startup+863.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30522
/proc/meminfo: memFree=1673088/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=863.56
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 86348 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514596 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 863.56
Current children cumulated vsize (KiB) 959944

[startup+870.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30522
/proc/meminfo: memFree=1673088/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=869.96
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 86988 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134529205 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 869.96
Current children cumulated vsize (KiB) 959944

[startup+873.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30522
/proc/meminfo: memFree=1673088/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=873.16
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 87308 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514614 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 873.16
Current children cumulated vsize (KiB) 959944

[startup+874.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30522
/proc/meminfo: memFree=1673088/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=873.96
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 87388 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514873 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 873.96
Current children cumulated vsize (KiB) 959944

[startup+874.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30522
/proc/meminfo: memFree=1673088/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=874.36
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 87428 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514634 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 874.36
Current children cumulated vsize (KiB) 959944

[startup+875.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30522
/proc/meminfo: memFree=1673088/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=874.76
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 87468 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134515529 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 874.76
Current children cumulated vsize (KiB) 959944

[startup+875.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30522
/proc/meminfo: memFree=1673088/2055920 swapFree=4176304/4192956
[pid=30515] ppid=30513 vsize=959944 CPUtime=874.86
/proc/30515/stat : 30515 (gnovelty+) R 30513 30515 30325 0 -1 4194304 20060 0 0 0 87478 8 0 0 25 0 1 0 1149663796 982982656 20043 1992294400 134512640 135098890 4294956208 18446744073709551615 134514206 0 0 4096 0 0 0 0 17 1 0 0
/proc/30515/statm: 239986 20043 65 143 0 239841 0
Current children cumulated CPU time (s) 874.86
Current children cumulated vsize (KiB) 959944

Child status: 10
Real time (s): 875.258
CPU time (s): 874.927
CPU user time (s): 874.827
CPU system time (s): 0.099984
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 959944

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

runsolver used 0.751885 second user time and 1.67575 second system time

The end