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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1560966-1238759838/watcher-1560966-1238759838 -o /tmp/evaluation-result-1560966-1238759838/solver-1560966-1238759838 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hydrasat-flat HOME/instance-1560966-1238759838.cnf -rs 5467660 -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.64 1.40 1.34 3/65 5086
/proc/meminfo: memFree=1827328/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=1728 CPUtime=0
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 204 0 0 0 0 0 0 0 18 0 1 0 1148646041 1769472 188 1992294400 134512640 135819388 4294956160 18446744073709551615 135210678 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 432 190 119 319 0 110 0

[startup+0.023147 s]
/proc/loadavg: 1.64 1.40 1.34 3/65 5086
/proc/meminfo: memFree=1827328/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=2520 CPUtime=0.01
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 426 0 0 0 1 0 0 0 18 0 1 0 1148646041 2580480 410 1992294400 134512640 135819388 4294956160 18446744073709551615 135210678 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 630 411 125 319 0 308 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2520

[startup+0.10116 s]
/proc/loadavg: 1.64 1.40 1.34 3/65 5086
/proc/meminfo: memFree=1827328/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=3612 CPUtime=0.09
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 695 0 0 0 9 0 0 0 18 0 1 0 1148646041 3698688 678 1992294400 134512640 135819388 4294956160 18446744073709551615 134586599 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 903 678 148 319 0 581 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3612

[startup+0.301195 s]
/proc/loadavg: 1.64 1.40 1.34 3/65 5086
/proc/meminfo: memFree=1827328/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=3872 CPUtime=0.29
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 772 0 0 0 29 0 0 0 19 0 1 0 1148646041 3964928 755 1992294400 134512640 135819388 4294956160 18446744073709551615 134603099 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 968 755 148 319 0 646 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3872

[startup+0.701266 s]
/proc/loadavg: 1.64 1.40 1.34 3/65 5086
/proc/meminfo: memFree=1827328/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=4132 CPUtime=0.69
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 837 0 0 0 69 0 0 0 22 0 1 0 1148646041 4231168 820 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 1033 820 148 319 0 711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4132

[startup+1.50241 s]
/proc/loadavg: 1.64 1.40 1.34 2/66 5087
/proc/meminfo: memFree=1824568/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=4392 CPUtime=1.49
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 904 0 0 0 149 0 0 0 25 0 1 0 1148646041 4497408 887 1992294400 134512640 135819388 4294956160 18446744073709551615 134668808 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 1098 887 148 319 0 776 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4392

[startup+3.10169 s]
/proc/loadavg: 1.59 1.40 1.34 2/66 5087
/proc/meminfo: memFree=1823992/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=5164 CPUtime=3.09
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 1083 0 0 0 309 0 0 0 25 0 1 0 1148646041 5287936 1066 1992294400 134512640 135819388 4294956160 18446744073709551615 134603477 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 1291 1066 148 319 0 969 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5164

[startup+6.30126 s]
/proc/loadavg: 1.59 1.40 1.34 2/66 5087
/proc/meminfo: memFree=1823032/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=5928 CPUtime=6.29
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 1263 0 0 0 629 0 0 0 25 0 1 0 1148646041 6070272 1246 1992294400 134512640 135819388 4294956160 18446744073709551615 134617021 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 1482 1246 148 319 0 1160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5928

[startup+12.7014 s]
/proc/loadavg: 1.50 1.38 1.33 2/66 5087
/proc/meminfo: memFree=1821112/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=7580 CPUtime=12.68
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 1696 0 0 0 1268 0 0 0 25 0 1 0 1148646041 7761920 1679 1992294400 134512640 135819388 4294956160 18446744073709551615 134617068 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 1895 1679 148 319 0 1573 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7580

[startup+25.5017 s]
/proc/loadavg: 1.42 1.37 1.33 2/66 5087
/proc/meminfo: memFree=1818552/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=10164 CPUtime=25.48
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 2294 0 0 0 2547 1 0 0 25 0 1 0 1148646041 10407936 2277 1992294400 134512640 135819388 4294956160 18446744073709551615 134593273 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 2541 2277 148 319 0 2219 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10164

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

[startup+28.7012 s]
/proc/loadavg: 1.39 1.36 1.33 2/66 5087
/proc/meminfo: memFree=1818360/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=10468 CPUtime=28.68
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 2347 0 0 0 2867 1 0 0 25 0 1 0 1148646041 10719232 2330 1992294400 134512640 135819388 4294956160 18446744073709551615 134669268 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 2617 2330 148 319 0 2295 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 10468

[startup+30.3015 s]
/proc/loadavg: 1.39 1.36 1.33 2/66 5087
/proc/meminfo: memFree=1818296/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=10612 CPUtime=30.28
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 2377 0 0 0 3027 1 0 0 25 0 1 0 1148646041 10866688 2360 1992294400 134512640 135819388 4294956160 18446744073709551615 134616857 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 2653 2360 148 319 0 2331 0
Current children cumulated CPU time (s) 30.28
Current children cumulated vsize (KiB) 10612

[startup+31.9058 s]
/proc/loadavg: 1.35 1.36 1.33 2/66 5087
/proc/meminfo: memFree=1818040/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=10752 CPUtime=31.88
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 2424 0 0 0 3187 1 0 0 25 0 1 0 1148646041 11010048 2407 1992294400 134512640 135819388 4294956160 18446744073709551615 134603400 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 2688 2407 148 319 0 2366 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 10752

[startup+32.7019 s]
/proc/loadavg: 1.35 1.36 1.33 2/66 5087
/proc/meminfo: memFree=1818040/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=10888 CPUtime=32.68
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 2455 0 0 0 3267 1 0 0 25 0 1 0 1148646041 11149312 2438 1992294400 134512640 135819388 4294956160 18446744073709551615 135208571 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 2722 2438 148 319 0 2400 0
Current children cumulated CPU time (s) 32.68
Current children cumulated vsize (KiB) 10888

[startup+32.902 s]
/proc/loadavg: 1.35 1.36 1.33 2/66 5087
/proc/meminfo: memFree=1817848/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=11024 CPUtime=32.88
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 2472 0 0 0 3287 1 0 0 25 0 1 0 1148646041 11288576 2455 1992294400 134512640 135819388 4294956160 18446744073709551615 134667861 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 2756 2455 148 319 0 2434 0
Current children cumulated CPU time (s) 32.88
Current children cumulated vsize (KiB) 11024

[startup+33.006 s]
/proc/loadavg: 1.35 1.36 1.33 2/66 5087
/proc/meminfo: memFree=1817848/2055920 swapFree=4177732/4192956
[pid=5086] ppid=5084 vsize=11024 CPUtime=32.98
/proc/5086/stat : 5086 (hydrasat-flat) R 5084 5086 4674 0 -1 4194304 2473 0 0 0 3297 1 0 0 25 0 1 0 1148646041 11288576 2456 1992294400 134512640 135819388 4294956160 18446744073709551615 134616857 0 0 4096 1 0 0 0 17 1 0 0
/proc/5086/statm: 2756 2456 148 319 0 2434 0
Current children cumulated CPU time (s) 32.98
Current children cumulated vsize (KiB) 11024

Child status: 10
Real time (s): 33.0951
CPU time (s): 33.082
CPU user time (s): 33.065
CPU system time (s): 0.016997
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 11024

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

runsolver used 0.042993 second user time and 0.084987 second system time

The end