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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562110-1238770449/watcher-1562110-1238770449 -o /tmp/evaluation-result-1562110-1238770449/solver-1562110-1238770449 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hydrasat-flat HOME/instance-1562110-1238770449.cnf -rs 1166061370 -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.00 1.00 1.00 3/68 24110
/proc/meminfo: memFree=1768232/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=1756 CPUtime=0
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 214 0 0 0 0 0 0 0 18 0 1 0 1149706613 1798144 199 1992294400 134512640 135819388 4294956160 18446744073709551615 135210678 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 439 199 119 319 0 117 0

[startup+0.07441 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 24110
/proc/meminfo: memFree=1768232/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=4672 CPUtime=0.06
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 994 0 0 0 6 0 0 0 18 0 1 0 1149706613 4784128 959 1992294400 134512640 135819388 4294956160 18446744073709551615 134521166 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 1168 959 127 319 0 846 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4672

[startup+0.101411 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 24110
/proc/meminfo: memFree=1768232/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=4672 CPUtime=0.09
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 994 0 0 0 9 0 0 0 18 0 1 0 1149706613 4784128 959 1992294400 134512640 135819388 4294956160 18446744073709551615 134521120 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 1168 959 127 319 0 846 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4672

[startup+0.301433 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 24110
/proc/meminfo: memFree=1768232/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=6860 CPUtime=0.29
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 1611 0 0 0 29 0 0 0 19 0 1 0 1149706613 7024640 1472 1992294400 134512640 135819388 4294956160 18446744073709551615 135210678 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 1715 1472 148 319 0 1393 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6860

[startup+0.701476 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 24110
/proc/meminfo: memFree=1768232/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=6992 CPUtime=0.69
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 1635 0 0 0 69 0 0 0 22 0 1 0 1149706613 7159808 1496 1992294400 134512640 135819388 4294956160 18446744073709551615 135210678 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 1748 1496 148 319 0 1426 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6992

[startup+1.50156 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 24111
/proc/meminfo: memFree=1762720/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=7124 CPUtime=1.49
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 1682 0 0 0 149 0 0 0 25 0 1 0 1149706613 7294976 1543 1992294400 134512640 135819388 4294956160 18446744073709551615 134669182 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 1781 1543 148 319 0 1459 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7124

[startup+3.10174 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 24111
/proc/meminfo: memFree=1762336/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=7520 CPUtime=3.09
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 1784 0 0 0 309 0 0 0 25 0 1 0 1149706613 7700480 1645 1992294400 134512640 135819388 4294956160 18446744073709551615 135226946 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 1880 1645 148 319 0 1558 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7520

[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 24111
/proc/meminfo: memFree=1761184/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=8576 CPUtime=6.29
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 2049 0 0 0 629 0 0 0 25 0 1 0 1149706613 8781824 1910 1992294400 134512640 135819388 4294956160 18446744073709551615 134669279 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 2144 1910 148 319 0 1822 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8576

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 24111
/proc/meminfo: memFree=1759784/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=9768 CPUtime=12.69
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 2346 0 0 0 1268 1 0 0 25 0 1 0 1149706613 10002432 2207 1992294400 134512640 135819388 4294956160 18446744073709551615 134602922 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 2442 2207 148 319 0 2120 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9768

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

[startup+14.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 24111
/proc/meminfo: memFree=1759400/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=10056 CPUtime=14.29
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 2405 0 0 0 1428 1 0 0 25 0 1 0 1149706613 10297344 2266 1992294400 134512640 135819388 4294956160 18446744073709551615 134617237 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 2514 2266 148 319 0 2192 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 10056

[startup+15.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 24111
/proc/meminfo: memFree=1759400/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=10200 CPUtime=15.09
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 2451 0 0 0 1508 1 0 0 25 0 1 0 1149706613 10444800 2312 1992294400 134512640 135819388 4294956160 18446744073709551615 135226985 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 2550 2312 148 319 0 2228 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 10200

[startup+15.9012 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 24111
/proc/meminfo: memFree=1759144/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=10340 CPUtime=15.89
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 2468 0 0 0 1588 1 0 0 25 0 1 0 1149706613 10588160 2329 1992294400 134512640 135819388 4294956160 18446744073709551615 134587958 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 2585 2329 148 319 0 2263 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 10340

[startup+16.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 24111
/proc/meminfo: memFree=1759144/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=10340 CPUtime=16.09
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 2474 0 0 0 1608 1 0 0 25 0 1 0 1149706613 10588160 2335 1992294400 134512640 135819388 4294956160 18446744073709551615 134669282 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 2585 2335 148 319 0 2263 0
Current children cumulated CPU time (s) 16.09
Current children cumulated vsize (KiB) 10340

[startup+16.2012 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 24111
/proc/meminfo: memFree=1759144/2055920 swapFree=4176232/4192956
[pid=24110] ppid=24108 vsize=10340 CPUtime=16.19
/proc/24110/stat : 24110 (hydrasat-flat) R 24108 24110 23985 0 -1 4194304 2478 0 0 0 1618 1 0 0 25 0 1 0 1149706613 10588160 2339 1992294400 134512640 135819388 4294956160 18446744073709551615 134616935 0 0 4096 1 0 0 0 17 1 0 0
/proc/24110/statm: 2585 2339 148 319 0 2263 0
Current children cumulated CPU time (s) 16.19
Current children cumulated vsize (KiB) 10340

Child status: 10
Real time (s): 16.2452
CPU time (s): 16.2405
CPU user time (s): 16.2265
CPU system time (s): 0.013997
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 10340

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

runsolver used 0.020996 second user time and 0.044993 second system time

The end