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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-301074-1171951028 -o ROOT/results/node16/solver-301074-1171951028 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/301074-1171951028/gnovelty+ /tmp/evaluation/301074-1171951028/instance-301074-1171951028.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 1.03 3/77 3318
/proc/meminfo: memFree=942672/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=244700 CPUtime=0
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 890 0 0 0 0 0 0 0 18 0 1 0 215057170 250572800 875 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134518504 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 61175 882 39 99 0 61074 0

[startup+0.107913 s]
/proc/loadavg: 0.92 0.98 1.03 3/77 3318
/proc/meminfo: memFree=942672/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=0.09
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 9 0 0 0 18 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513767 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 252512

[startup+0.515727 s]
/proc/loadavg: 0.92 0.98 1.03 3/77 3318
/proc/meminfo: memFree=942672/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=0.5
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 50 0 0 0 21 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513779 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 252512

[startup+1.33663 s]
/proc/loadavg: 0.92 0.98 1.03 3/78 3319
/proc/meminfo: memFree=933064/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=1.32
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 132 0 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513286 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 252512

[startup+2.97544 s]
/proc/loadavg: 0.92 0.98 1.03 2/78 3319
/proc/meminfo: memFree=932872/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=2.96
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 296 0 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513277 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 252512

[startup+6.25106 s]
/proc/loadavg: 0.93 0.98 1.03 2/78 3319
/proc/meminfo: memFree=932872/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=6.24
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 624 0 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513779 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 252512

[startup+12.7073 s]
/proc/loadavg: 0.93 0.98 1.03 2/78 3319
/proc/meminfo: memFree=932824/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=12.69
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 1269 0 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513353 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 252512

[startup+25.6068 s]
/proc/loadavg: 1.03 1.00 1.03 2/78 3319
/proc/meminfo: memFree=932824/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=25.59
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 2559 0 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513353 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 252512

[startup+51.2099 s]
/proc/loadavg: 1.02 1.00 1.03 2/78 3319
/proc/meminfo: memFree=932824/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=51.19
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 5119 0 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513823 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 252512

[startup+102.413 s]
/proc/loadavg: 1.01 1.00 1.02 2/78 3319
/proc/meminfo: memFree=932824/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=102.4
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 10239 1 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513579 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 252512

[startup+162.423 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 3319
/proc/meminfo: memFree=932760/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=162.41
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 16240 1 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513340 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 162.41
Current children cumulated vsize (KiB) 252512

[startup+222.433 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 3319
/proc/meminfo: memFree=932760/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=222.42
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 22241 1 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134523683 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 222.42
Current children cumulated vsize (KiB) 252512

[startup+282.467 s]
/proc/loadavg: 1.00 1.00 1.01 2/84 3437
/proc/meminfo: memFree=931416/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=282.39
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 28238 1 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513743 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 282.39
Current children cumulated vsize (KiB) 252512

[startup+342.498 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932440/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=342.39
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 34237 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513786 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 342.39
Current children cumulated vsize (KiB) 252512

[startup+402.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932568/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=402.39
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 40237 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513823 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 402.39
Current children cumulated vsize (KiB) 252512

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

[startup+419.513 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932504/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=419.39
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 41937 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513353 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 419.39
Current children cumulated vsize (KiB) 252512

[startup+432.618 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932504/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=432.5
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 43248 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513867 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 432.5
Current children cumulated vsize (KiB) 252512

[startup+445.727 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932504/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=445.6
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 44558 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513823 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 445.6
Current children cumulated vsize (KiB) 252512

[startup+452.282 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932504/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=452.16
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 45214 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513443 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 452.16
Current children cumulated vsize (KiB) 252512

[startup+455.56 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932504/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=455.43
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 45541 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513549 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 455.43
Current children cumulated vsize (KiB) 252512

[startup+457.196 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932504/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=457.07
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 45705 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513823 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 457.07
Current children cumulated vsize (KiB) 252512

[startup+457.608 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932504/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=457.48
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 45746 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513852 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 457.48
Current children cumulated vsize (KiB) 252512

[startup+458.016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932504/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=457.89
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 45787 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513443 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 457.89
Current children cumulated vsize (KiB) 252512

[startup+458.118 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3517
/proc/meminfo: memFree=932504/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=252512 CPUtime=457.99
/proc/3318/stat : 3318 (gnovelty+) R 3316 3318 2539 0 -1 4194304 2428 0 0 0 45797 2 0 0 25 0 1 0 215057170 258572288 2412 18446744073709551615 134512640 134921880 4294956624 18446744073709551615 134513286 0 0 4096 0 0 0 0 17 1 0 0
/proc/3318/statm: 63128 2412 44 99 0 63027 0
Current children cumulated CPU time (s) 457.99
Current children cumulated vsize (KiB) 252512

Child status: 10
Real time (s): 458.199
CPU time (s): 458.085
CPU user time (s): 458.055
CPU system time (s): 0.029995
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 252512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 458.055
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2439
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= 6
involuntary context switches= 916

runsolver used 0.473927 second user time and 1.07784 second system time

The end