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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-309415-1172541099 -o ROOT/results/node14/solver-309415-1172541099 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309415-1172541099/SATzilla2007_R /tmp/evaluation/309415-1172541099/instance-309415-1172541099.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.92 0.98 0.91 3/77 28207
/proc/meminfo: memFree=1585792/2055920 swapFree=4191880/4192956
[pid=28207] ppid=28205 vsize=1440 CPUtime=0
/proc/28207/stat : 28207 (SATzilla2007_R) S 28205 28207 27733 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274064336 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/28207/statm: 360 110 95 260 0 84 0
[pid=28208] ppid=28207 vsize=636 CPUtime=0
/proc/28208/stat : 28208 (march_dl) R 28207 28207 27733 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 274064336 651264 90 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28208/statm: 159 90 50 118 0 38 0

[startup+0.106783 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 28207
/proc/meminfo: memFree=1585792/2055920 swapFree=4191880/4192956
[pid=28207] ppid=28205 vsize=1440 CPUtime=0
/proc/28207/stat : 28207 (SATzilla2007_R) S 28205 28207 27733 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274064336 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/28207/statm: 360 110 95 260 0 84 0
[pid=28208] ppid=28207 vsize=1748 CPUtime=0.1
/proc/28208/stat : 28208 (march_dl) R 28207 28207 27733 0 -1 4194304 379 0 0 0 10 0 0 0 20 0 1 0 274064336 1789952 368 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134528374 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28208/statm: 437 368 74 118 0 316 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3188

[startup+0.51482 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 28207
/proc/meminfo: memFree=1585792/2055920 swapFree=4191880/4192956
[pid=28207] ppid=28205 vsize=1440 CPUtime=0
/proc/28207/stat : 28207 (SATzilla2007_R) S 28205 28207 27733 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274064336 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/28207/statm: 360 110 95 260 0 84 0
[pid=28208] ppid=28207 vsize=1880 CPUtime=0.51
/proc/28208/stat : 28208 (march_dl) R 28207 28207 27733 0 -1 4194304 411 0 0 0 51 0 0 0 24 0 1 0 274064336 1925120 400 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134514077 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28208/statm: 470 400 74 118 0 349 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 3320

[startup+1.33591 s]
/proc/loadavg: 0.92 0.98 0.91 2/79 28209
/proc/meminfo: memFree=1584368/2055920 swapFree=4191880/4192956
[pid=28207] ppid=28205 vsize=1440 CPUtime=0
/proc/28207/stat : 28207 (SATzilla2007_R) S 28205 28207 27733 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274064336 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/28207/statm: 360 110 95 260 0 84 0
[pid=28208] ppid=28207 vsize=2012 CPUtime=1.33
/proc/28208/stat : 28208 (march_dl) R 28207 28207 27733 0 -1 4194304 427 0 0 0 133 0 0 0 25 0 1 0 274064336 2060288 416 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134587154 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28208/statm: 503 416 74 118 0 382 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3452

[startup+2.98206 s]
/proc/loadavg: 0.92 0.98 0.91 2/79 28209
/proc/meminfo: memFree=1584112/2055920 swapFree=4191880/4192956
[pid=28207] ppid=28205 vsize=1440 CPUtime=0
/proc/28207/stat : 28207 (SATzilla2007_R) S 28205 28207 27733 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274064336 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/28207/statm: 360 110 95 260 0 84 0
[pid=28208] ppid=28207 vsize=2012 CPUtime=2.97
/proc/28208/stat : 28208 (march_dl) R 28207 28207 27733 0 -1 4194304 444 0 0 0 297 0 0 0 25 0 1 0 274064336 2060288 433 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134532744 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28208/statm: 503 433 74 118 0 382 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 3452

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

[startup+3.29009 s]
/proc/loadavg: 0.92 0.98 0.91 2/79 28209
/proc/meminfo: memFree=1584112/2055920 swapFree=4191880/4192956
[pid=28207] ppid=28205 vsize=1440 CPUtime=0
/proc/28207/stat : 28207 (SATzilla2007_R) S 28205 28207 27733 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274064336 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/28207/statm: 360 110 95 260 0 84 0
[pid=28208] ppid=28207 vsize=2012 CPUtime=3.28
/proc/28208/stat : 28208 (march_dl) R 28207 28207 27733 0 -1 4194304 445 0 0 0 328 0 0 0 25 0 1 0 274064336 2060288 434 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134526996 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28208/statm: 503 434 74 118 0 382 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 3452

[startup+4.11016 s]
/proc/loadavg: 0.92 0.98 0.91 2/79 28209
/proc/meminfo: memFree=1584112/2055920 swapFree=4191880/4192956
[pid=28207] ppid=28205 vsize=1440 CPUtime=0
/proc/28207/stat : 28207 (SATzilla2007_R) S 28205 28207 27733 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274064336 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/28207/statm: 360 110 95 260 0 84 0
[pid=28208] ppid=28207 vsize=2012 CPUtime=4.1
/proc/28208/stat : 28208 (march_dl) R 28207 28207 27733 0 -1 4194304 451 0 0 0 410 0 0 0 25 0 1 0 274064336 2060288 440 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134566619 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28208/statm: 503 440 74 118 0 382 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 3452

[startup+4.93024 s]
/proc/loadavg: 0.93 0.98 0.91 2/79 28209
/proc/meminfo: memFree=1583856/2055920 swapFree=4191880/4192956
[pid=28207] ppid=28205 vsize=1440 CPUtime=0
/proc/28207/stat : 28207 (SATzilla2007_R) S 28205 28207 27733 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 274064336 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/28207/statm: 360 110 95 260 0 84 0
[pid=28208] ppid=28207 vsize=2012 CPUtime=4.92
/proc/28208/stat : 28208 (march_dl) R 28207 28207 27733 0 -1 4194304 454 0 0 0 492 0 0 0 25 0 1 0 274064336 2060288 443 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134528391 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28208/statm: 503 443 74 118 0 382 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 3452

[startup+5.13426 s]
/proc/loadavg: 0.93 0.98 0.91 2/79 28209
/proc/meminfo: memFree=1583856/2055920 swapFree=4191880/4192956
[pid=28207] ppid=28205 vsize=1440 CPUtime=4.99
/proc/28207/stat : 28207 (SATzilla2007_R) S 28205 28207 27733 0 -1 4194304 135 454 0 0 0 0 499 0 16 0 1 0 274064336 1474560 111 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/28207/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.14238
CPU time (s): 5.13922
CPU user time (s): 5.11222
CPU system time (s): 0.026995
CPU usage (%): 99.9385
Max. virtual memory (cumulated for all children) (KiB): 3452

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

runsolver used 0.006998 second user time and 0.017997 second system time

The end