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

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

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.02 1.01 1.06 3/81 2496
/proc/meminfo: memFree=1849728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=509152 CPUtime=0
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 1314 0 0 0 0 0 0 0 20 0 1 0 754403922 521371648 1299 1992294400 134512640 135680988 4294956192 18446744073709551615 134537167 0 0 4096 0 0 0 0 17 1 0 0
/proc/2496/statm: 127288 1306 101 285 0 127000 0

[startup+0.0966259 s]
/proc/loadavg: 1.02 1.01 1.06 3/81 2496
/proc/meminfo: memFree=1849728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=516964 CPUtime=0.08
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 11076 0 0 0 4 4 0 0 20 0 1 0 754403922 529371136 11060 1992294400 134512640 135680988 4294956192 18446744073709551615 134537842 0 0 4096 0 0 0 0 17 1 0 0
/proc/2496/statm: 129241 11065 102 285 0 128953 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 516964

[startup+0.101625 s]
/proc/loadavg: 1.02 1.01 1.06 3/81 2496
/proc/meminfo: memFree=1849728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=516964 CPUtime=0.09
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 11697 0 0 0 4 5 0 0 20 0 1 0 754403922 529371136 11681 1992294400 134512640 135680988 4294956192 18446744073709551615 134537779 0 0 4096 0 0 0 0 17 1 0 0
/proc/2496/statm: 129241 11686 102 285 0 128953 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 516964

[startup+0.301668 s]
/proc/loadavg: 1.02 1.01 1.06 3/81 2496
/proc/meminfo: memFree=1849728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=0.41
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 31 10 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 531284

[startup+0.701746 s]
/proc/loadavg: 1.02 1.01 1.06 3/81 2496
/proc/meminfo: memFree=1849728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=1.21
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 108 13 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 531284

[startup+1.5019 s]
/proc/loadavg: 1.02 1.01 1.06 3/83 2498
/proc/meminfo: memFree=1768496/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=2.81
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 259 22 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=1.31
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 124 7 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533784 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 531284

[startup+3.10121 s]
/proc/loadavg: 1.09 1.03 1.07 2/83 2498
/proc/meminfo: memFree=1768304/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=6
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 559 41 0 0 17 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134532950 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=2.91
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 275 16 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 531284

[startup+6.30198 s]
/proc/loadavg: 1.09 1.03 1.07 3/83 2498
/proc/meminfo: memFree=1768240/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=12.38
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 1161 77 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=6.1
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 577 33 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533087 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 531284

[startup+12.7012 s]
/proc/loadavg: 1.17 1.05 1.07 3/83 2498
/proc/meminfo: memFree=1768048/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=25.14
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 2367 147 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=12.48
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 1181 67 0 0 17 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533492 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 531284

[startup+25.5016 s]
/proc/loadavg: 1.35 1.09 1.09 3/83 2498
/proc/meminfo: memFree=1768048/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=50.65
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 4778 287 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134541531 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=25.23
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 2388 135 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 531284

[startup+51.1015 s]
/proc/loadavg: 1.50 1.15 1.11 3/83 2498
/proc/meminfo: memFree=1768048/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=101.7
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 9607 563 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533066 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=50.74
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 4800 274 0 0 17 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 531284

[startup+102.307 s]
/proc/loadavg: 1.76 1.27 1.15 3/83 2498
/proc/meminfo: memFree=1767920/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=203.78
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 19268 1110 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=101.76
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 9629 547 0 0 17 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533624 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 531284

[startup+162.301 s]
/proc/loadavg: 1.85 1.38 1.19 3/83 2498
/proc/meminfo: memFree=1767920/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=323.39
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 30602 1737 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957422 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=161.57
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 15290 867 0 0 17 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.39
Current children cumulated vsize (KiB) 531284

[startup+222.303 s]
/proc/loadavg: 1.92 1.48 1.24 3/83 2498
/proc/meminfo: memFree=1767856/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=443
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 41923 2377 0 0 17 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=221.4
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 20953 1187 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533263 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443
Current children cumulated vsize (KiB) 531284

[startup+282.303 s]
/proc/loadavg: 1.92 1.55 1.27 3/83 2498
/proc/meminfo: memFree=1767856/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=562.61
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 53256 3005 0 0 17 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=281.17
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 26611 1506 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134534000 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.61
Current children cumulated vsize (KiB) 531284

[startup+342.301 s]
/proc/loadavg: 1.88 1.60 1.30 3/83 2498
/proc/meminfo: memFree=1767856/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=682.2
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 64592 3628 0 0 17 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134534000 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=341.01
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 32285 1816 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533492 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.2
Current children cumulated vsize (KiB) 531284

[startup+402.302 s]
/proc/loadavg: 1.92 1.66 1.34 3/83 2498
/proc/meminfo: memFree=1767792/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=801.82
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 75920 4262 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533170 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=400.87
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 37952 2135 0 0 17 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533844 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 801.82
Current children cumulated vsize (KiB) 531284

[startup+462.302 s]
/proc/loadavg: 2.02 1.73 1.38 3/83 2498
/proc/meminfo: memFree=1767792/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=921.41
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 87250 4891 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=460.66
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 43614 2452 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.41
Current children cumulated vsize (KiB) 531284

[startup+522.302 s]
/proc/loadavg: 1.96 1.76 1.41 3/83 2498
/proc/meminfo: memFree=1767728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=1041.02
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 98573 5529 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=520.43
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 49271 2772 0 0 17 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533677 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.02
Current children cumulated vsize (KiB) 531284

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

[startup+524.707 s]
/proc/loadavg: 1.96 1.77 1.42 3/83 2498
/proc/meminfo: memFree=1767728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=1045.82
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 99027 5555 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134543344 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=522.83
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 49498 2785 0 0 17 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1045.82
Current children cumulated vsize (KiB) 531284

[startup+531.103 s]
/proc/loadavg: 1.96 1.77 1.42 3/83 2498
/proc/meminfo: memFree=1767792/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=1058.57
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 100233 5624 0 0 17 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533489 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=529.22
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 50101 2821 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1058.57
Current children cumulated vsize (KiB) 531284

[startup+537.501 s]
/proc/loadavg: 1.97 1.77 1.42 3/83 2498
/proc/meminfo: memFree=1767792/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=1071.33
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 101442 5691 0 0 17 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134532982 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=535.61
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 50705 2856 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1071.33
Current children cumulated vsize (KiB) 531284

[startup+540.702 s]
/proc/loadavg: 1.97 1.78 1.43 3/83 2498
/proc/meminfo: memFree=1767792/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=1077.71
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 102048 5723 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957422 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=538.81
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 51009 2872 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1077.71
Current children cumulated vsize (KiB) 531284

[startup+541.502 s]
/proc/loadavg: 1.97 1.78 1.43 3/83 2498
/proc/meminfo: memFree=1767728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=1079.3
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 102200 5730 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957422 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=539.61
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 51085 2876 0 0 17 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533842 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1079.3
Current children cumulated vsize (KiB) 531284

[startup+542.306 s]
/proc/loadavg: 1.97 1.78 1.43 3/83 2498
/proc/meminfo: memFree=1767728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=1080.9
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 102350 5740 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134533505 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=540.41
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 51160 2881 0 0 17 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1080.9
Current children cumulated vsize (KiB) 531284

[startup+542.501 s]
/proc/loadavg: 1.97 1.78 1.43 3/83 2498
/proc/meminfo: memFree=1767728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=1081.29
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20365 0 0 0 102386 5743 0 0 16 0 2 0 754403922 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20349 106 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=540.61
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 172 0 0 0 51178 2883 0 0 16 0 2 0 754403940 544034816 20349 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1081.29
Current children cumulated vsize (KiB) 531284

[startup+542.601 s]
/proc/loadavg: 1.97 1.78 1.43 3/83 2498
/proc/meminfo: memFree=1767728/2055920 swapFree=4174556/4192956
[pid=2496] ppid=2494 vsize=531284 CPUtime=1081.49
/proc/2496/stat : 2496 (gnovelty+) R 2494 2496 1950 0 -1 4194304 20373 0 0 0 102404 5745 0 0 16 0 2 0 754403922 544034816 20357 1992294400 134512640 135680988 4294956192 18446744073709551615 134533858 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2496/statm: 132821 20357 111 285 0 132533 0
[pid=2496/tid=2498] ppid=2494 vsize=531284 CPUtime=540.71
/proc/2496/task/2498/stat : 2498 (gnovelty+) R 2494 2496 1950 0 -1 4194368 180 0 0 0 51187 2884 0 0 17 0 2 0 754403940 544034816 20357 1992294400 134512640 135680988 4294956192 18446744073709551615 134958229 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1081.49
Current children cumulated vsize (KiB) 531284

Child status: 10
Real time (s): 542.615
CPU time (s): 1081.51
CPU user time (s): 1024.05
CPU system time (s): 57.4643
CPU usage (%): 199.315
Max. virtual memory (cumulated for all children) (KiB): 531284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1024.05
system time used= 57.4643
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20382
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= 71049
involuntary context switches= 7467

runsolver used 0.679896 second user time and 1.85772 second system time

The end