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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-309457-1172541541 -o ROOT/results/node41/solver-309457-1172541541 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309457-1172541541/SATzilla2007_C /tmp/evaluation/309457-1172541541/instance-309457-1172541541.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: 1.00 1.00 1.00 3/64 14084
/proc/meminfo: memFree=1879640/2055920 swapFree=4172320/4192956
[pid=14084] ppid=14082 vsize=1440 CPUtime=0
/proc/14084/stat : 14084 (SATzilla2007_C) S 14082 14084 13008 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274110054 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14084/statm: 360 110 95 260 0 84 0
[pid=14085] ppid=14084 vsize=636 CPUtime=0
/proc/14085/stat : 14085 (march_dl) R 14084 14084 13008 0 -1 4194304 95 0 0 0 0 0 0 0 19 0 1 0 274110054 651264 90 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14085/statm: 159 90 50 118 0 38 0

[startup+0.106772 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14084
/proc/meminfo: memFree=1879640/2055920 swapFree=4172320/4192956
[pid=14084] ppid=14082 vsize=1440 CPUtime=0
/proc/14084/stat : 14084 (SATzilla2007_C) S 14082 14084 13008 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274110054 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14084/statm: 360 110 95 260 0 84 0
[pid=14085] ppid=14084 vsize=1740 CPUtime=0.1
/proc/14085/stat : 14085 (march_dl) R 14084 14084 13008 0 -1 4194304 381 0 0 0 10 0 0 0 20 0 1 0 274110054 1781760 371 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134536976 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14085/statm: 435 371 74 118 0 314 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3180

[startup+0.514807 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14084
/proc/meminfo: memFree=1879640/2055920 swapFree=4172320/4192956
[pid=14084] ppid=14082 vsize=1440 CPUtime=0
/proc/14084/stat : 14084 (SATzilla2007_C) S 14082 14084 13008 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274110054 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14084/statm: 360 110 95 260 0 84 0
[pid=14085] ppid=14084 vsize=1872 CPUtime=0.51
/proc/14085/stat : 14085 (march_dl) R 14084 14084 13008 0 -1 4194304 408 0 0 0 51 0 0 0 23 0 1 0 274110054 1916928 398 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134513985 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14085/statm: 468 398 74 118 0 347 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 3312

[startup+1.33488 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14086
/proc/meminfo: memFree=1878152/2055920 swapFree=4172320/4192956
[pid=14084] ppid=14082 vsize=1440 CPUtime=0
/proc/14084/stat : 14084 (SATzilla2007_C) S 14082 14084 13008 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274110054 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14084/statm: 360 110 95 260 0 84 0
[pid=14085] ppid=14084 vsize=2004 CPUtime=1.33
/proc/14085/stat : 14085 (march_dl) R 14084 14084 13008 0 -1 4194304 427 0 0 0 133 0 0 0 25 0 1 0 274110054 2052096 417 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134568139 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14085/statm: 501 417 74 118 0 380 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3444

[startup+2.97102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14086
/proc/meminfo: memFree=1877960/2055920 swapFree=4172320/4192956
[pid=14084] ppid=14082 vsize=1440 CPUtime=0
/proc/14084/stat : 14084 (SATzilla2007_C) S 14082 14084 13008 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274110054 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14084/statm: 360 110 95 260 0 84 0
[pid=14085] ppid=14084 vsize=2004 CPUtime=2.96
/proc/14085/stat : 14085 (march_dl) R 14084 14084 13008 0 -1 4194304 440 0 0 0 296 0 0 0 25 0 1 0 274110054 2052096 430 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134528159 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14085/statm: 501 430 74 118 0 380 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 3444

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

[startup+3.27705 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14086
/proc/meminfo: memFree=1877960/2055920 swapFree=4172320/4192956
[pid=14084] ppid=14082 vsize=1440 CPUtime=0
/proc/14084/stat : 14084 (SATzilla2007_C) S 14082 14084 13008 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274110054 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14084/statm: 360 110 95 260 0 84 0
[pid=14085] ppid=14084 vsize=2004 CPUtime=3.27
/proc/14085/stat : 14085 (march_dl) R 14084 14084 13008 0 -1 4194304 441 0 0 0 327 0 0 0 25 0 1 0 274110054 2052096 431 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134587784 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14085/statm: 501 431 74 118 0 380 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 3444

[startup+4.09712 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14086
/proc/meminfo: memFree=1877960/2055920 swapFree=4172320/4192956
[pid=14084] ppid=14082 vsize=1440 CPUtime=0
/proc/14084/stat : 14084 (SATzilla2007_C) S 14082 14084 13008 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274110054 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14084/statm: 360 110 95 260 0 84 0
[pid=14085] ppid=14084 vsize=2004 CPUtime=4.09
/proc/14085/stat : 14085 (march_dl) R 14084 14084 13008 0 -1 4194304 445 0 0 0 409 0 0 0 25 0 1 0 274110054 2052096 435 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134551415 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14085/statm: 501 435 74 118 0 380 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 3444

[startup+4.50715 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14086
/proc/meminfo: memFree=1877704/2055920 swapFree=4172320/4192956
[pid=14084] ppid=14082 vsize=1440 CPUtime=0
/proc/14084/stat : 14084 (SATzilla2007_C) S 14082 14084 13008 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274110054 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14084/statm: 360 110 95 260 0 84 0
[pid=14085] ppid=14084 vsize=2004 CPUtime=4.5
/proc/14085/stat : 14085 (march_dl) R 14084 14084 13008 0 -1 4194304 446 0 0 0 450 0 0 0 25 0 1 0 274110054 2052096 436 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134528172 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14085/statm: 501 436 74 118 0 380 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 3444

[startup+4.92319 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14086
/proc/meminfo: memFree=1877704/2055920 swapFree=4172320/4192956
[pid=14084] ppid=14082 vsize=1440 CPUtime=0
/proc/14084/stat : 14084 (SATzilla2007_C) S 14082 14084 13008 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274110054 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14084/statm: 360 110 95 260 0 84 0
[pid=14085] ppid=14084 vsize=2004 CPUtime=4.91
/proc/14085/stat : 14085 (march_dl) R 14084 14084 13008 0 -1 4194304 449 0 0 0 491 0 0 0 25 0 1 0 274110054 2052096 439 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134528163 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14085/statm: 501 439 74 118 0 380 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 3444

[startup+5.0262 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14086
/proc/meminfo: memFree=1877704/2055920 swapFree=4172320/4192956
[pid=14084] ppid=14082 vsize=1440 CPUtime=4.99
/proc/14084/stat : 14084 (SATzilla2007_C) S 14082 14084 13008 0 -1 4194304 135 449 0 0 0 0 499 0 16 0 1 0 274110054 1474560 111 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14084/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.08242
CPU time (s): 5.07723
CPU user time (s): 5.06523
CPU system time (s): 0.011998
CPU usage (%): 99.8979
Max. virtual memory (cumulated for all children) (KiB): 3444

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

runsolver used 0.004999 second user time and 0.015997 second system time

The end