PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUM	baa7b619e2dc55a18c674a719d78c00c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1272
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1272
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1272
Total number of constraints	94127
Number of constraints which are clauses	94127
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 5050

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-13 21:39:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3065 boxname=wulflinc18 idbench=341 idsolver=5 numberseed=0
MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4  /oldhome/oroussel/solvers/minisat+
MD5SUM BENCH:  baa7b619e2dc55a18c674a719d78c00c  /oldhome/oroussel/tmp/wulflinc18/normalized-frb53-24-3.opb
REAL COMMAND:  minisat+ /oldhome/oroussel/tmp/wulflinc18/normalized-frb53-24-3.opb
IDLAUNCH: 3065
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        894496 kB
Buffers:         34160 kB
Cached:          69560 kB
SwapCached:        320 kB
Active:          52432 kB
Inactive:        54456 kB
HighTotal:      131008 kB
HighFree:        57456 kB
LowTotal:       903652 kB
LowFree:        837040 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27636 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 21:59:49 (client local time) WITH STATUS 10 IN 1200.24 SECONDS
stats: 3065 7 1200.24 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94127 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   94127   188254 |   31375       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:70300     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  169206   364382 |   56402       0        0     nan |  0.000 % |
c |       100 |  168601   363114 |   62042      60      642    10.7 |  0.650 % |
c |       250 |  168197   362272 |   68246     188     1787     9.5 |  1.078 % |
c |       475 |  166779   359205 |   75071     353     5149    14.6 |  2.687 % |
c |       812 |  164849   355011 |   82578     614     8125    13.2 |  4.901 % |
c |      1318 |  161915   348511 |   90835    1007    11889    11.8 |  8.388 % |
c |      2078 |  157298   338163 |   99919    1514    19611    13.0 | 13.974 % |
c |      3217 |  150383   322519 |  109911    2361    27149    11.5 | 22.504 % |
c |      4925 |  142177   303723 |  120902    3455    43440    12.6 | 32.802 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6002 |  136029   289832 |   45343    4064    51113    12.6 | 32.802 % |
c |      6102 |  135501   288616 |   49877    4094    51418    12.6 | 41.228 % |
c |      6252 |  134830   287062 |   54865    4169    52253    12.5 | 42.056 % |
c |      6477 |  133556   284073 |   60351    4284    53504    12.5 | 43.681 % |
c |      6815 |  131508   279252 |   66386    4352    53518    12.3 | 46.324 % |
c |      7321 |  129404   274330 |   73025    4686    58304    12.4 | 49.004 % |
c |      8080 |  124550   262767 |   80327    5020    62499    12.4 | 55.415 % |
c |      9219 |  120847   253969 |   88360    5639    70773    12.6 | 60.316 % |
c |     10927 |  116439   243527 |   97196    6740    85038    12.6 | 66.140 % |
c |     13489 |  111872   232610 |  106916    8109   102853    12.7 | 72.176 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     15449 |  108663   224875 |   36221    9239   125727    13.6 | 72.176 % |
c |     15549 |  108599   224717 |   39843    9321   126476    13.6 | 76.650 % |
c |     15699 |  108565   224641 |   43827    9450   128114    13.6 | 76.691 % |
c |     15924 |  107849   222933 |   48210    9505   128963    13.6 | 77.658 % |
c |     16261 |  107296   221602 |   53031    9592   132052    13.8 | 78.413 % |
c |     16767 |  107016   220928 |   58334   10007   142853    14.3 | 78.791 % |
c |     17527 |  106385   219426 |   64167   10577   155481    14.7 | 79.638 % |
c |     18668 |  105298   216803 |   70584   11375   176705    15.5 | 81.105 % |
c |     20376 |  104074   213784 |   77642   12323   199977    16.2 | 82.788 % |
c |     22938 |  103716   212925 |   85407   14593   321534    22.0 | 83.276 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     24986 |  102854   210754 |   34284   15664   393625    25.1 | 83.276 % |
c |     25086 |  102732   210450 |   37712   15436   390882    25.3 | 84.654 % |
c |     25236 |  102684   210340 |   41483   15542   394868    25.4 | 84.714 % |
c |     25461 |  102641   210233 |   45632   15714   406285    25.9 | 84.776 % |
c |     25798 |  102629   210201 |   50195   16042   422226    26.3 | 84.796 % |
c |     26304 |  102576   210078 |   55214   16509   466638    28.3 | 84.864 % |
c |     27063 |  102576   210078 |   60736   17268   503954    29.2 | 84.864 % |
c |     28202 |  102576   210078 |   66809   18407   593877    32.3 | 84.864 % |
c |     29911 |  102443   209761 |   73490   20018   684978    34.2 | 85.044 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     31856 |  102356   209564 |   34118   21852   815129    37.3 | 85.044 % |
c |     31956 |  102268   209345 |   37529   21860   814537    37.3 | 85.339 % |
c |     32106 |  102228   209247 |   41282   21838   815492    37.3 | 85.394 % |
c |     32333 |  102223   209236 |   45411   22016   831326    37.8 | 85.400 % |
c |     32671 |  102209   209200 |   49952   22306   856533    38.4 | 85.421 % |
c |     33177 |  102197   209172 |   54947   22741   873272    38.4 | 85.437 % |
c |     33937 |  102094   208924 |   60442   23330   930681    39.9 | 85.575 % |
c |     35077 |  102019   208744 |   66486   24242   985516    40.7 | 85.676 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     35607 |  102009   208691 |   34003   24540   995539    40.6 | 85.676 % |
c |     35708 |  101928   208492 |   37403   24624   997833    40.5 | 85.803 % |
c |     35858 |  101928   208492 |   41143   24774  1006585    40.6 | 85.803 % |
c |     36083 |  101928   208492 |   45257   24999  1014501    40.6 | 85.803 % |
c |     36420 |  101784   208131 |   49783   24930  1033808    41.5 | 86.003 % |
c |     36928 |  101784   208131 |   54762   25438  1056708    41.5 | 86.003 % |
c |     37689 |  101770   208097 |   60238   26110  1110764    42.5 | 86.023 % |
c |     38828 |  101692   207908 |   66262   27180  1189071    43.7 | 86.128 % |
c |     40536 |  101664   207836 |   72888   28873  1410165    48.8 | 86.171 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     40771 |  101685   207899 |   33895   29108  1431870    49.2 | 86.171 % |
c |     40871 |  101599   207692 |   37284   29151  1433947    49.2 | 86.268 % |
c |     41022 |  101583   207656 |   41012   29204  1437736    49.2 | 86.288 % |
c |     41247 |  101583   207656 |   45114   29429  1451214    49.3 | 86.288 % |
c |     41585 |  101579   207646 |   49625   29759  1468341    49.3 | 86.294 % |
c |     42091 |  101579   207646 |   54588   30265  1514920    50.1 | 86.294 % |
c |     42850 |  101579   207646 |   60047   31024  1566731    50.5 | 86.294 % |
c |     43989 |  101522   207517 |   66051   32004  1690247    52.8 | 86.364 % |
c |     45697 |  101519   207510 |   72656   33657  1837966    54.6 | 86.368 % |
c |     48259 |  101514   207497 |   79922   36156  2069775    57.2 | 86.375 % |
c |     52103 |  101425   207284 |   87914   39754  2565923    64.5 | 86.496 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     56071 |  101328   207015 |   33776   42986  3027810    70.4 | 86.496 % |
c |     56171 |  101160   206601 |   37153   42581  3019786    70.9 | 86.866 % |
c |     56322 |  101122   206513 |   40868   42554  3024513    71.1 | 86.915 % |
c |     56547 |  101122   206513 |   44955   42779  3039749    71.1 | 86.915 % |
c |     56886 |  101122   206513 |   49451   43118  3064538    71.1 | 86.915 % |
c |     57392 |  101122   206513 |   54396   43624  3101898    71.1 | 86.915 % |
c |     58152 |  101122   206513 |   59836   44384  3194510    72.0 | 86.915 % |
c |     59291 |  101046   206333 |   65819   45208  3294689    72.9 | 87.014 % |
c |     60999 |  101046   206333 |   72401   46916  3533061    75.3 | 87.014 % |
c |     63561 |  101046   206333 |   79642   49478  3883031    78.5 | 87.014 % |
c |     67406 |  100914   205999 |   87606   53044  4385925    82.7 | 87.206 % |
c |     73172 |  100806   205737 |   96366   58558  5046095    86.2 | 87.354 % |
c |     81821 |  100711   205504 |  106003   67011  6093036    90.9 | 87.486 % |
c |     94795 |  100700   205477 |  116603   79939  7520194    94.1 | 87.502 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    105865 |  100598   205249 |   33532   90227  8874178    98.4 | 87.502 % |
c |    105965 |  100593   205238 |   36885   20901  1600986    76.6 | 87.670 % |
c |    106117 |  100593   205238 |   40573   21053  1614859    76.7 | 87.670 % |
c |    106344 |  100593   205238 |   44631   21280  1631167    76.7 | 87.670 % |
c |    106681 |  100593   205238 |   49094   21617  1672760    77.4 | 87.670 % |
c |    107187 |  100593   205238 |   54003   22123  1718568    77.7 | 87.670 % |
c |    107946 |  100593   205238 |   59403   22882  1790790    78.3 | 87.670 % |
c |    109085 |  100552   205131 |   65344   23996  1881654    78.4 | 87.734 % |
c |    110794 |  100507   205018 |   71878   25649  2041000    79.6 | 87.798 % |
c |    113356 |  100507   205018 |   79066   28211  2385755    84.6 | 87.798 % |
c |    117201 |  100363   204678 |   86973   31966  2747854    86.0 | 87.983 % |
c |    122969 |  100363   204678 |   95670   37734  3327649    88.2 | 87.983 % |
c |    131618 |  100361   204672 |  105237   46377  4057930    87.5 | 87.986 % |
c |    144592 |  100361   204672 |  115761   59351  5417520    91.3 | 87.986 % |
c |    164053 |  100361   204672 |  127337   78812  7374147    93.6 | 87.986 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    180700 |  100336   204592 |   33445   95355  9046564    94.9 | 87.986 % |
c |    180800 |  100336   204592 |   36789   20047  1291344    64.4 | 88.022 % |
c |    180953 |  100336   204592 |   40468   20200  1303202    64.5 | 88.022 % |
c |    181179 |  100336   204592 |   44515   20426  1316828    64.5 | 88.022 % |
c |    181517 |  100336   204592 |   48966   20764  1335170    64.3 | 88.022 % |
c |    182023 |  100336   204592 |   53863   21270  1379477    64.9 | 88.022 % |
c |    182782 |  100336   204592 |   59249   22029  1465852    66.5 | 88.022 % |
c |    183921 |  100336   204592 |   65174   23168  1572637    67.9 | 88.022 % |
c |    185630 |  100336   204592 |   71692   24877  1715016    68.9 | 88.022 % |
c |    188194 |  100315   204537 |   78861   27433  1979748    72.2 | 88.055 % |
c |    192038 |  100261   204411 |   86747   31274  2434565    77.8 | 88.125 % |
c |    197805 |  100261   204411 |   95422   37041  2947613    79.6 | 88.125 % |
c |    206454 |  100261   204411 |  104964   45690  3968544    86.9 | 88.125 % |
c |    219428 |  100230   204344 |  115461   58628  5032265    85.8 | 88.160 % |
c |    238890 |  100163   204183 |  127007   78084  6825521    87.4 | 88.251 % |
c |    268082 |  100162   204180 |  139708  107224 10345801    96.5 | 88.253 % |
c |    311871 |  100159   204173 |  153678  151012 13666617    90.5 | 88.257 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/55 23902
Raw data (stat): 23902 (runsolver) R 23901 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 479252645 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5659 0 0 0 983 15 0 0 25 0 1 0 479252645 26148864 5637 4294967295 134512640 134672761 3221224624 3221223824 134561972 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6384 5637 603 41 0 6343 0
vsize: 25536
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5667 0 0 0 1982 15 0 0 25 0 1 0 479252645 26284032 5645 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6417 5645 603 41 0 6376 0
vsize: 25668
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5674 0 0 0 2981 16 0 0 25 0 1 0 479252645 26284032 5652 4294967295 134512640 134672761 3221224624 3221223796 134556643 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6417 5652 603 41 0 6376 0
vsize: 25668
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5683 0 0 0 3981 16 0 0 25 0 1 0 479252645 26284032 5661 4294967295 134512640 134672761 3221224624 3221223760 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6417 5661 603 41 0 6376 0
vsize: 25668
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5690 0 0 0 4981 16 0 0 25 0 1 0 479252645 26284032 5668 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6417 5668 603 41 0 6376 0
vsize: 25668
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5695 0 0 0 5982 16 0 0 25 0 1 0 479252645 26415104 5673 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6449 5673 603 41 0 6408 0
vsize: 25796
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5882 0 0 0 6981 17 0 0 25 0 1 0 479252645 27566080 5860 4294967295 134512640 134672761 3221224624 3221223792 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6730 5860 603 41 0 6689 0
vsize: 26920
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5882 0 0 0 7981 17 0 0 25 0 1 0 479252645 27566080 5860 4294967295 134512640 134672761 3221224624 3221223748 134566043 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6730 5860 603 41 0 6689 0
vsize: 26920
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5882 0 0 0 8981 17 0 0 25 0 1 0 479252645 27566080 5860 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6730 5860 603 41 0 6689 0
vsize: 26920
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5882 0 0 0 9981 17 0 0 25 0 1 0 479252645 27566080 5860 4294967295 134512640 134672761 3221224624 3221223796 134556667 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6730 5860 603 41 0 6689 0
vsize: 26920
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 5884 0 0 0 10981 17 0 0 25 0 1 0 479252645 27566080 5862 4294967295 134512640 134672761 3221224624 3221223796 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6730 5862 603 41 0 6689 0
vsize: 26920
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23902
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 6026 0 0 0 11980 18 0 0 25 0 1 0 479252645 28102656 6004 4294967295 134512640 134672761 3221224624 3221223792 134560888 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6861 6004 603 41 0 6820 0
vsize: 27444
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 6436 0 0 0 12979 19 0 0 25 0 1 0 479252645 29782016 6405 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7271 6405 603 41 0 7230 0
vsize: 29084
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 6848 0 0 0 13978 21 0 0 25 0 1 0 479252645 31391744 6808 4294967295 134512640 134672761 3221224624 3221223792 134561385 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7664 6808 603 41 0 7623 0
vsize: 30656
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 7359 0 0 0 14977 22 0 0 25 0 1 0 479252645 33357824 7302 4294967295 134512640 134672761 3221224624 3221223936 134556675 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8144 7302 603 41 0 8103 0
vsize: 32576
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 7772 0 0 0 15975 24 0 0 25 0 1 0 479252645 35237888 7715 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8603 7715 603 41 0 8562 0
vsize: 34412
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 8322 0 0 0 16974 25 0 0 25 0 1 0 479252645 37515264 8265 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9159 8265 603 41 0 9118 0
vsize: 36636
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 8790 0 0 0 17972 27 0 0 25 0 1 0 479252645 39391232 8733 4294967295 134512640 134672761 3221224624 3221223792 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9617 8733 603 41 0 9576 0
vsize: 38468
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 9236 0 0 0 18971 29 0 0 25 0 1 0 479252645 41177088 9171 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10053 9171 603 41 0 10012 0
vsize: 40212
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 9738 0 0 0 19970 30 0 0 25 0 1 0 479252645 43175936 9673 4294967295 134512640 134672761 3221224624 3221223808 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10541 9673 603 41 0 10500 0
vsize: 42164
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 10182 0 0 0 20968 32 0 0 25 0 1 0 479252645 45047808 10117 4294967295 134512640 134672761 3221224624 3221223792 134560813 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10998 10117 603 41 0 10957 0
vsize: 43992
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 10658 0 0 0 21966 34 0 0 25 0 1 0 479252645 46927872 10593 4294967295 134512640 134672761 3221224624 3221223792 134560917 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11457 10593 603 41 0 11416 0
vsize: 45828
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 11098 0 0 0 22965 35 0 0 25 0 1 0 479252645 48668672 11033 4294967295 134512640 134672761 3221224624 3221223792 134560917 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11882 11033 603 41 0 11841 0
vsize: 47528
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 11471 0 0 0 23964 37 0 0 25 0 1 0 479252645 50282496 11406 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12276 11406 603 41 0 12235 0
vsize: 49104
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 11841 0 0 0 24962 39 0 0 25 0 1 0 479252645 51752960 11776 4294967295 134512640 134672761 3221224624 3221223728 134560226 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12635 11776 603 41 0 12594 0
vsize: 50540
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 12238 0 0 0 25961 40 0 0 25 0 1 0 479252645 53608448 12173 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13088 12173 603 41 0 13047 0
vsize: 52352
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 12625 0 0 0 26960 41 0 0 25 0 1 0 479252645 55218176 12560 4294967295 134512640 134672761 3221224624 3221223728 134560279 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13481 12560 603 41 0 13440 0
vsize: 53924
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 12954 0 0 0 27960 42 0 0 25 0 1 0 479252645 56545280 12889 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13805 12889 603 41 0 13764 0
vsize: 55220
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 13238 0 0 0 28959 43 0 0 25 0 1 0 479252645 57737216 13173 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14096 13173 603 41 0 14055 0
vsize: 56384
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 13513 0 0 0 29958 44 0 0 25 0 1 0 479252645 58793984 13448 4294967295 134512640 134672761 3221224624 3221223776 134561244 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14354 13448 603 41 0 14313 0
vsize: 57416
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 13788 0 0 0 30956 45 0 0 25 0 1 0 479252645 59854848 13723 4294967295 134512640 134672761 3221224624 3221223808 134558687 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14613 13723 603 41 0 14572 0
vsize: 58452
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 14094 0 0 0 31956 45 0 0 25 0 1 0 479252645 61198336 14029 4294967295 134512640 134672761 3221224624 3221223792 134561275 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14941 14029 603 41 0 14900 0
vsize: 59764
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 14382 0 0 0 32955 47 0 0 25 0 1 0 479252645 62390272 14317 4294967295 134512640 134672761 3221224624 3221223872 134562614 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15232 14317 603 41 0 15191 0
vsize: 60928
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 14727 0 0 0 33954 48 0 0 25 0 1 0 479252645 63733760 14662 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15560 14662 603 41 0 15519 0
vsize: 62240
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15055 0 0 0 34953 49 0 0 25 0 1 0 479252645 65069056 14990 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15886 14990 603 41 0 15845 0
vsize: 63544
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 35952 50 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 36952 50 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 37952 50 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560917 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 38952 50 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 39952 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223864 134564425 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 40953 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23904
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 41953 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 42953 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 43953 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 44953 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 45953 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 46954 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 47954 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 48954 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 49954 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 50954 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134561207 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 51954 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 52954 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 53954 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223728 134555197 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 54955 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15329 0 0 0 55955 51 0 0 25 0 1 0 479252645 66072576 15255 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16131 15255 603 41 0 16090 0
vsize: 64524
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15541 0 0 0 56954 52 0 0 25 0 1 0 479252645 66998272 15467 4294967295 134512640 134672761 3221224624 3221223792 134561275 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16357 15467 603 41 0 16316 0
vsize: 65428
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15791 0 0 0 57954 53 0 0 25 0 1 0 479252645 68063232 15717 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16617 15717 603 41 0 16576 0
vsize: 66468
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 58954 53 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 59954 53 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 60954 53 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223728 134560492 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 61954 53 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 62954 53 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 63954 53 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 64955 53 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 65955 53 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223624 1075349719 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 66955 53 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 67955 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 68955 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223808 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 69955 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 70955 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23906
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 71955 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223728 134560246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 72956 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 73956 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134561201 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 74956 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223824 134557913 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 75956 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 76956 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 77956 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223760 134560596 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15833 0 0 0 78956 54 0 0 25 0 1 0 479252645 68079616 15750 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16621 15750 603 41 0 16580 0
vsize: 66484
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 15925 0 0 0 79956 54 0 0 25 0 1 0 479252645 68476928 15842 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16718 15842 603 41 0 16677 0
vsize: 66872
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 16232 0 0 0 80955 56 0 0 25 0 1 0 479252645 69799936 16149 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17041 16149 603 41 0 17000 0
vsize: 68164
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 16557 0 0 0 81955 56 0 0 25 0 1 0 479252645 71122944 16474 4294967295 134512640 134672761 3221224624 3221223808 134559522 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17364 16474 603 41 0 17323 0
vsize: 69456
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 16893 0 0 0 82954 57 0 0 25 0 1 0 479252645 72450048 16810 4294967295 134512640 134672761 3221224624 3221223760 134560628 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17688 16810 603 41 0 17647 0
vsize: 70752
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 17209 0 0 0 83953 58 0 0 25 0 1 0 479252645 73785344 17126 4294967295 134512640 134672761 3221224624 3221223824 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18014 17126 603 41 0 17973 0
vsize: 72056
[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 17477 0 0 0 84953 59 0 0 25 0 1 0 479252645 74842112 17394 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18272 17394 603 41 0 18231 0
vsize: 73088
[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 17742 0 0 0 85952 60 0 0 25 0 1 0 479252645 75911168 17659 4294967295 134512640 134672761 3221224624 3221223792 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18533 17659 603 41 0 18492 0
vsize: 74132
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 17971 0 0 0 86951 61 0 0 25 0 1 0 479252645 76836864 17888 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18759 17888 603 41 0 18718 0
vsize: 75036
[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 18185 0 0 0 87951 62 0 0 25 0 1 0 479252645 77762560 18102 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18985 18102 603 41 0 18944 0
vsize: 75940
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 18385 0 0 0 88950 63 0 0 25 0 1 0 479252645 78569472 18302 4294967295 134512640 134672761 3221224624 3221223728 134555116 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19182 18302 603 41 0 19141 0
vsize: 76728
[startup+900.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 18592 0 0 0 89949 64 0 0 25 0 1 0 479252645 79372288 18509 4294967295 134512640 134672761 3221224624 3221223792 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19378 18509 603 41 0 19337 0
vsize: 77512
[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 18797 0 0 0 90949 64 0 0 25 0 1 0 479252645 80191488 18714 4294967295 134512640 134672761 3221224624 3221223728 134560370 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19578 18714 603 41 0 19537 0
vsize: 78312
[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 18976 0 0 0 91949 65 0 0 25 0 1 0 479252645 80990208 18893 4294967295 134512640 134672761 3221224624 3221223760 134560709 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19773 18893 603 41 0 19732 0
vsize: 79092
[startup+930.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 19141 0 0 0 92948 65 0 0 25 0 1 0 479252645 81645568 19058 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19933 19058 603 41 0 19892 0
vsize: 79732
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 19342 0 0 0 93948 66 0 0 25 0 1 0 479252645 82444288 19259 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20128 19259 603 41 0 20087 0
vsize: 80512
[startup+950.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 19538 0 0 0 94948 66 0 0 25 0 1 0 479252645 83759104 19455 4294967295 134512640 134672761 3221224624 3221223792 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20449 19455 603 41 0 20408 0
vsize: 81796
[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 19702 0 0 0 95948 67 0 0 25 0 1 0 479252645 84418560 19619 4294967295 134512640 134672761 3221224624 3221223764 134560556 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20610 19619 603 41 0 20569 0
vsize: 82440
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 19863 0 0 0 96947 67 0 0 25 0 1 0 479252645 85078016 19780 4294967295 134512640 134672761 3221224624 3221223792 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20771 19780 603 41 0 20730 0
vsize: 83084
[startup+980.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 20035 0 0 0 97947 68 0 0 25 0 1 0 479252645 85737472 19952 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20932 19952 603 41 0 20891 0
vsize: 83728
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 20163 0 0 0 98947 68 0 0 25 0 1 0 479252645 86265856 20080 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21061 20080 603 41 0 21020 0
vsize: 84244
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 20318 0 0 0 99946 69 0 0 25 0 1 0 479252645 86929408 20235 4294967295 134512640 134672761 3221224624 3221223808 134558656 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21223 20235 603 41 0 21182 0
vsize: 84892
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 20462 0 0 0 100946 69 0 0 25 0 1 0 479252645 87465984 20379 4294967295 134512640 134672761 3221224624 3221223792 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21354 20379 603 41 0 21313 0
vsize: 85416
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23908
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 20590 0 0 0 101946 70 0 0 25 0 1 0 479252645 87990272 20507 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21482 20507 603 41 0 21441 0
vsize: 85928
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 20715 0 0 0 102946 70 0 0 25 0 1 0 479252645 88514560 20632 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21610 20632 603 41 0 21569 0
vsize: 86440
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 20825 0 0 0 103946 70 0 0 25 0 1 0 479252645 88920064 20742 4294967295 134512640 134672761 3221224624 3221223792 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21709 20742 603 41 0 21668 0
vsize: 86836
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 20948 0 0 0 104945 71 0 0 25 0 1 0 479252645 89448448 20865 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21838 20865 603 41 0 21797 0
vsize: 87352
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 21051 0 0 0 105945 71 0 0 25 0 1 0 479252645 89849856 20968 4294967295 134512640 134672761 3221224624 3221223760 134560688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21936 20968 603 41 0 21895 0
vsize: 87744
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 21150 0 0 0 106944 71 0 0 25 0 1 0 479252645 90247168 21067 4294967295 134512640 134672761 3221224624 3221223728 134560326 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22033 21067 603 41 0 21992 0
vsize: 88132
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 21286 0 0 0 107944 72 0 0 25 0 1 0 479252645 90783744 21203 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22164 21203 603 41 0 22123 0
vsize: 88656
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 21475 0 0 0 108944 72 0 0 25 0 1 0 479252645 91574272 21392 4294967295 134512640 134672761 3221224624 3221223792 134560948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22357 21392 603 41 0 22316 0
vsize: 89428
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 21658 0 0 0 109943 73 0 0 25 0 1 0 479252645 92368896 21575 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22551 21575 603 41 0 22510 0
vsize: 90204
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 21854 0 0 0 110943 74 0 0 25 0 1 0 479252645 93167616 21771 4294967295 134512640 134672761 3221224624 3221223728 134555211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22746 21771 603 41 0 22705 0
vsize: 90984
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 22019 0 0 0 111943 74 0 0 25 0 1 0 479252645 93827072 21936 4294967295 134512640 134672761 3221224624 3221223728 134560224 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22907 21936 603 41 0 22866 0
vsize: 91628
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 22198 0 0 0 112942 75 0 0 25 0 1 0 479252645 94494720 22115 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23070 22115 603 41 0 23029 0
vsize: 92280
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 22382 0 0 0 113942 76 0 0 25 0 1 0 479252645 95285248 22299 4294967295 134512640 134672761 3221224624 3221223792 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23263 22299 603 41 0 23222 0
vsize: 93052
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 22586 0 0 0 114941 77 0 0 25 0 1 0 479252645 96079872 22503 4294967295 134512640 134672761 3221224624 3221223792 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23457 22503 603 41 0 23416 0
vsize: 93828
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 22784 0 0 0 115940 77 0 0 25 0 1 0 479252645 96874496 22701 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23651 22701 603 41 0 23610 0
vsize: 94604
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 22972 0 0 0 116939 78 0 0 25 0 1 0 479252645 97677312 22889 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23847 22889 603 41 0 23806 0
vsize: 95388
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 23168 0 0 0 117939 79 0 0 25 0 1 0 479252645 98471936 23085 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24041 23085 603 41 0 24000 0
vsize: 96164
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 23332 0 0 0 118938 80 0 0 25 0 1 0 479252645 99131392 23249 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24202 23249 603 41 0 24161 0
vsize: 96808
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23910
Raw data (stat): 23902 (minisat+) R 23901 20024 20023 0 -1 0 23508 0 0 0 119938 80 0 0 25 0 1 0 479252645 99799040 23425 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24365 23425 603 41 0 24324 0
vsize: 97460
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 23910
Raw data (stat): 23902 (minisat+) Z 23901 20024 20023 0 -1 12 23511 0 0 0 119938 85 0 0 25 0 1 0 479252645 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.11
CPU time (s): 1200.24
CPU user time (s): 1199.39
CPU system time (s): 0.85087
CPU usage (%): 100.011
Max. virtual memory (Kb): 97460
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####