runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node76/watcher-299124-1171866486 -o ROOT/results/node76/solver-299124-1171866486 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/299124-1171866486/SATzilla2007_R /tmp/evaluation/299124-1171866486/instance-299124-1171866486.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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: 0.78 0.95 0.98 3/69 17713
/proc/meminfo: memFree=1126504/2055888 swapFree=4087076/4096564
[pid=17713] ppid=17711 vsize=1440 CPUtime=0
/proc/17713/stat : 17713 (SATzilla2007_R) S 17711 17713 17638 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 206606962 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/17713/statm: 360 110 95 260 0 84 0
[pid=17714] ppid=17713 vsize=768 CPUtime=0
/proc/17714/stat : 17714 (march_dl) R 17713 17713 17638 0 -1 4194304 102 0 0 0 0 0 0 0 19 0 1 0 206606962 786432 96 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134544208 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17714/statm: 192 99 52 118 0 71 0

[startup+0.107276 s]
/proc/loadavg: 0.78 0.95 0.98 3/69 17713
/proc/meminfo: memFree=1126504/2055888 swapFree=4087076/4096564
[pid=17713] ppid=17711 vsize=1440 CPUtime=0
/proc/17713/stat : 17713 (SATzilla2007_R) S 17711 17713 17638 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 206606962 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/17713/statm: 360 110 95 260 0 84 0
[pid=17714] ppid=17713 vsize=1376 CPUtime=0.1
/proc/17714/stat : 17714 (march_dl) R 17713 17713 17638 0 -1 4194304 284 0 0 0 10 0 0 0 20 0 1 0 206606962 1409024 271 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134528141 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17714/statm: 344 271 74 118 0 223 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2816

[startup+0.515321 s]
/proc/loadavg: 0.78 0.95 0.98 3/69 17713
/proc/meminfo: memFree=1126504/2055888 swapFree=4087076/4096564
[pid=17713] ppid=17711 vsize=1440 CPUtime=0
/proc/17713/stat : 17713 (SATzilla2007_R) S 17711 17713 17638 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 206606962 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/17713/statm: 360 110 95 260 0 84 0
[pid=17714] ppid=17713 vsize=1512 CPUtime=0.51
/proc/17714/stat : 17714 (march_dl) R 17713 17713 17638 0 -1 4194304 306 0 0 0 51 0 0 0 24 0 1 0 206606962 1548288 293 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17714/statm: 378 293 74 118 0 257 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2952

[startup+1.33542 s]
/proc/loadavg: 0.78 0.95 0.98 2/71 17715
/proc/meminfo: memFree=1125400/2055888 swapFree=4087076/4096564
[pid=17713] ppid=17711 vsize=1440 CPUtime=0
/proc/17713/stat : 17713 (SATzilla2007_R) S 17711 17713 17638 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 206606962 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/17713/statm: 360 110 95 260 0 84 0
[pid=17714] ppid=17713 vsize=1512 CPUtime=1.33
/proc/17714/stat : 17714 (march_dl) R 17713 17713 17638 0 -1 4194304 316 0 0 0 133 0 0 0 25 0 1 0 206606962 1548288 303 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134527002 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17714/statm: 378 303 74 118 0 257 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 2952

[startup+2.9716 s]
/proc/loadavg: 0.78 0.95 0.98 2/71 17715
/proc/meminfo: memFree=1125208/2055888 swapFree=4087076/4096564
[pid=17713] ppid=17711 vsize=1440 CPUtime=0
/proc/17713/stat : 17713 (SATzilla2007_R) S 17711 17713 17638 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 206606962 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/17713/statm: 360 110 95 260 0 84 0
[pid=17714] ppid=17713 vsize=1512 CPUtime=2.96
/proc/17714/stat : 17714 (march_dl) R 17713 17713 17638 0 -1 4194304 323 0 0 0 296 0 0 0 25 0 1 0 206606962 1548288 310 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134568020 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17714/statm: 378 310 74 118 0 257 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 2952

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

[startup+3.28064 s]
/proc/loadavg: 0.78 0.95 0.98 2/71 17715
/proc/meminfo: memFree=1125208/2055888 swapFree=4087076/4096564
[pid=17713] ppid=17711 vsize=1440 CPUtime=0
/proc/17713/stat : 17713 (SATzilla2007_R) S 17711 17713 17638 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 206606962 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/17713/statm: 360 110 95 260 0 84 0
[pid=17714] ppid=17713 vsize=1512 CPUtime=3.27
/proc/17714/stat : 17714 (march_dl) R 17713 17713 17638 0 -1 4194304 325 0 0 0 327 0 0 0 25 0 1 0 206606962 1548288 312 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134526937 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17714/statm: 378 312 74 118 0 257 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 2952

[startup+4.10673 s]
/proc/loadavg: 0.78 0.95 0.98 2/71 17715
/proc/meminfo: memFree=1125208/2055888 swapFree=4087076/4096564
[pid=17713] ppid=17711 vsize=1440 CPUtime=0
/proc/17713/stat : 17713 (SATzilla2007_R) S 17711 17713 17638 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 206606962 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/17713/statm: 360 110 95 260 0 84 0
[pid=17714] ppid=17713 vsize=1512 CPUtime=4.1
/proc/17714/stat : 17714 (march_dl) R 17713 17713 17638 0 -1 4194304 328 0 0 0 410 0 0 0 25 0 1 0 206606962 1548288 315 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134526923 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17714/statm: 378 315 74 118 0 257 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 2952

[startup+4.51478 s]
/proc/loadavg: 0.80 0.95 0.98 2/71 17715
/proc/meminfo: memFree=1125144/2055888 swapFree=4087076/4096564
[pid=17713] ppid=17711 vsize=1440 CPUtime=0
/proc/17713/stat : 17713 (SATzilla2007_R) S 17711 17713 17638 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 206606962 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/17713/statm: 360 110 95 260 0 84 0
[pid=17714] ppid=17713 vsize=1512 CPUtime=4.51
/proc/17714/stat : 17714 (march_dl) R 17713 17713 17638 0 -1 4194304 329 0 0 0 451 0 0 0 25 0 1 0 206606962 1548288 316 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134526932 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17714/statm: 378 316 74 118 0 257 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 2952

[startup+4.92683 s]
/proc/loadavg: 0.80 0.95 0.98 2/71 17715
/proc/meminfo: memFree=1125144/2055888 swapFree=4087076/4096564
[pid=17713] ppid=17711 vsize=1440 CPUtime=0
/proc/17713/stat : 17713 (SATzilla2007_R) S 17711 17713 17638 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 206606962 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/17713/statm: 360 110 95 260 0 84 0
[pid=17714] ppid=17713 vsize=1512 CPUtime=4.91
/proc/17714/stat : 17714 (march_dl) R 17713 17713 17638 0 -1 4194304 330 0 0 0 491 0 0 0 25 0 1 0 206606962 1548288 317 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134588254 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17714/statm: 378 317 74 118 0 257 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 2952

[startup+5.02884 s]
/proc/loadavg: 0.80 0.95 0.98 2/71 17715
/proc/meminfo: memFree=1125144/2055888 swapFree=4087076/4096564
[pid=17713] ppid=17711 vsize=1440 CPUtime=4.99
/proc/17713/stat : 17713 (SATzilla2007_R) S 17711 17713 17638 0 -1 4194304 134 330 0 0 0 0 499 0 16 0 1 0 206606962 1474560 111 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 0 0 0
/proc/17713/statm: 360 111 96 260 0 84 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 1440

Child status: 10
Real time (s): 5.08351
CPU time (s): 5.07723
CPU user time (s): 5.05623
CPU system time (s): 0.020996
CPU usage (%): 99.8765
Max. virtual memory (cumulated for all children) (KiB): 2952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.05623
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775
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= 18
involuntary context switches= 8

runsolver used 0.008998 second user time and 0.012998 second system time

The end