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-4.opb
MD5SUM	b7f280d80b52f97899362fbc10d59421
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-40
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	94308
Number of constraints which are clauses	94308
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 5259

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-13 23:02:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3726 boxname=wulflinc10 idbench=342 idsolver=10 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b7f280d80b52f97899362fbc10d59421  /oldhome/oroussel/tmp/wulflinc10/normalized-frb53-24-4.opb
REAL COMMAND:  minisat+ -ca /oldhome/oroussel/tmp/wulflinc10/normalized-frb53-24-4.opb /oldhome/oroussel/tmp/wulflinc10/normalized-frb53-24-4.opb
IDLAUNCH: 3726
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        880704 kB
Buffers:         34464 kB
Cached:          99604 kB
SwapCached:        164 kB
Active:          53488 kB
Inactive:        83636 kB
HighTotal:      131008 kB
HighFree:        27776 kB
LowTotal:       903652 kB
LowFree:        852928 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11240 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 23:22:19 (client local time) WITH STATUS 10 IN 1200.23 SECONDS
stats: 3726 7 1200.23 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94308 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 |   94308   188616 |   31436       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -35[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 2518   maxlim: 35   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  111715   250819 |   37238       0        0     nan |  0.000 % |
c |       100 |  111706   250788 |   40961      97      899     9.3 |  0.081 % |
c |       250 |  111706   250788 |   45057     247     1980     8.0 |  0.080 % |
c |       475 |  111706   250788 |   49563     472     3645     7.7 |  0.080 % |
c |       812 |  111706   250788 |   54520     809     6858     8.5 |  0.081 % |
c |      1318 |  111697   250757 |   59972    1313    11162     8.5 |  0.106 % |
c |      2077 |  111625   250509 |   65969    2053    18436     9.0 |  0.320 % |
c |      3216 |  111556   250272 |   72566    3176    32290    10.2 |  0.532 % |
c ==============================================================================
c [1mFound solution: -36[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 36   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      4350 |  111374   249651 |   37124    4268    47650    11.2 |  0.532 % |
c |      4450 |  111368   249631 |   40836    4366    48411    11.1 |  1.192 % |
c |      4600 |  111341   249538 |   44920    4505    49923    11.1 |  1.298 % |
c |      4825 |  111305   249414 |   49412    4720    54741    11.6 |  1.379 % |
c |      5162 |  111287   249352 |   54353    5052    58966    11.7 |  1.430 % |
c |      5668 |  111203   249064 |   59788    5538    66403    12.0 |  1.697 % |
c |      6427 |  111024   248451 |   65767    6254    76173    12.2 |  2.304 % |
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 37   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      7041 |  110912   248071 |   36970    6837    90664    13.3 |  2.304 % |
c |      7141 |  110888   247989 |   40667    6929    92547    13.4 |  2.806 % |
c |      7291 |  110846   247845 |   44733    7069    95122    13.5 |  2.941 % |
c |      7516 |  110705   247360 |   49207    7257    98112    13.5 |  3.468 % |
c |      7853 |  110622   247075 |   54127    7571   105576    13.9 |  3.761 % |
c |      8359 |  110431   246420 |   59540    8021   114196    14.2 |  4.396 % |
c |      9118 |  110207   245650 |   65494    8711   126476    14.5 |  5.216 % |
c |     10258 |  109948   244763 |   72044    9771   149075    15.3 |  6.118 % |
c |     11966 |  109410   242913 |   79248   11327   180640    15.9 |  8.342 % |
c |     14528 |  108330   239191 |   87173   13451   230170    17.1 | 12.843 % |
c |     18373 |  106510   232865 |   95890   16549   314330    19.0 | 21.579 % |
c ==============================================================================
c [1mFound solution: -38[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 38   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     20221 |  105980   231020 |   35326   18118   433610    23.9 | 21.579 % |
c |     20322 |  105952   230922 |   38858   18209   434886    23.9 | 24.538 % |
c |     20472 |  105926   230832 |   42744   18352   438772    23.9 | 24.643 % |
c |     20700 |  105926   230832 |   47018   18580   446372    24.0 | 24.643 % |
c |     21037 |  105905   230755 |   51720   18880   455842    24.1 | 24.749 % |
c |     21543 |  105825   230473 |   56892   19247   467035    24.3 | 25.147 % |
c |     22302 |  105740   230176 |   62582   19948   494345    24.8 | 25.569 % |
c |     23441 |  105564   229564 |   68840   21033   557737    26.5 | 26.471 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 39   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     24103 |  105565   229569 |   35188   21695   614118    28.3 | 26.471 % |
c |     24203 |  105565   229569 |   38706   21795   616603    28.3 | 26.488 % |
c |     24353 |  105565   229569 |   42577   21945   619497    28.2 | 26.488 % |
c |     24578 |  105565   229569 |   46835   22170   626651    28.3 | 26.491 % |
c |     24916 |  105547   229507 |   51518   22450   647433    28.8 | 26.543 % |
c |     25422 |  105481   229279 |   56670   22841   661790    29.0 | 26.833 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 40   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     25703 |  105486   229303 |   35162   23122   688984    29.8 | 26.833 % |
c |     25804 |  105448   229169 |   38678   23213   691964    29.8 | 27.063 % |
c |     25955 |  105339   228788 |   42546   23256   694838    29.9 | 27.646 % |
c |     26180 |  105214   228353 |   46800   23405   700738    29.9 | 28.386 % |
c |     26517 |  105159   228162 |   51480   23539   711521    30.2 | 28.598 % |
c |     27023 |  105150   228131 |   56628   24008   728859    30.4 | 28.624 % |
c |     27782 |  105021   227672 |   62291   24639   755058    30.6 | 29.339 % |
c |     28922 |  104918   227313 |   68520   25683   810206    31.5 | 29.947 % |
c |     30631 |  104838   227029 |   75372   27311   876559    32.1 | 30.423 % |
c |     33194 |  104803   226904 |   82910   29818  1014016    34.0 | 30.608 % |
c |     37039 |  104753   226726 |   91201   33626  1382610    41.1 | 30.926 % |
c |     42805 |  104646   226361 |  100321   39036  1759030    45.1 | 31.323 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 41   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     49743 |  104515   225910 |   34838   45574  2374955    52.1 | 31.323 % |
c |     49843 |  104515   225910 |   38321   18605  1004943    54.0 | 31.896 % |
c |     49993 |  104515   225910 |   42153   18755  1011507    53.9 | 31.896 % |
c |     50218 |  104515   225910 |   46369   18980  1024634    54.0 | 31.896 % |
c |     50556 |  104515   225910 |   51006   19318  1055983    54.7 | 31.898 % |
c |     51064 |  104419   225580 |   56106   19764  1078008    54.5 | 32.372 % |
c |     51823 |  104408   225541 |   61717   20506  1113252    54.3 | 32.425 % |
c |     52963 |  104321   225240 |   67889   21612  1183941    54.8 | 32.850 % |
c |     54671 |  104309   225200 |   74678   23311  1356068    58.2 | 32.903 % |
c |     57233 |  104292   225141 |   82146   25855  1547240    59.8 | 32.981 % |
c |     61077 |  104258   225027 |   90360   29684  1794630    60.5 | 33.166 % |
c |     66844 |  104236   224949 |   99396   35397  2347595    66.3 | 33.272 % |
c |     75493 |  104174   224737 |  109336   43984  3186254    72.4 | 33.590 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 42   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     86755 |  104140   224620 |   34713   55219  5656134   102.4 | 33.590 % |
c |     86855 |  104140   224620 |   38184   16107  2563166   159.1 | 33.792 % |
c |     87005 |  104140   224620 |   42002   16257  2569993   158.1 | 33.792 % |
c |     87230 |  104131   224589 |   46203   16477  2578402   156.5 | 33.818 % |
c |     87567 |  104131   224589 |   50823   16814  2604503   154.9 | 33.819 % |
c |     88073 |  104107   224503 |   55905   17313  2635245   152.2 | 33.950 % |
c |     88832 |  104057   224331 |   61496   18057  2678154   148.3 | 34.190 % |
c |     89972 |  104021   224207 |   67645   19189  2735183   142.5 | 34.373 % |
c |     91682 |  103985   224085 |   74410   20895  2853893   136.6 | 34.585 % |
c |     94244 |  103976   224054 |   81851   23445  3090448   131.8 | 34.613 % |
c |     98088 |  103970   224034 |   90036   27285  3450018   126.4 | 34.638 % |
c |    103855 |  103961   224003 |   99040   33037  3994932   120.9 | 34.664 % |
c |    112504 |  103961   224003 |  108944   41686  5154948   123.7 | 34.665 % |
c |    125480 |  103961   224003 |  119838   54662  7152823   130.9 | 34.664 % |
c |    144942 |  103961   224003 |  131822   74124 10737929   144.9 | 34.664 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 43   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    170772 |  103944   223947 |   34648   99929 14448979   144.6 | 34.664 % |
c |    170872 |  103944   223947 |   38112   16469  2262641   137.4 | 34.734 % |
c |    171022 |  103944   223947 |   41924   16619  2266376   136.4 | 34.734 % |
c |    171248 |  103933   223908 |   46116   16840  2271172   134.9 | 34.788 % |
c |    171585 |  103933   223908 |   50728   17177  2282599   132.9 | 34.787 % |
c |    172091 |  103896   223781 |   55800   17665  2295785   130.0 | 34.974 % |
c |    172850 |  103896   223781 |   61381   18424  2326486   126.3 | 34.972 % |
c |    173991 |  103896   223781 |   67519   19565  2380971   121.7 | 34.974 % |
c |    175699 |  103896   223781 |   74271   21273  2442035   114.8 | 34.972 % |
c |    178262 |  103890   223761 |   81698   23819  2629274   110.4 | 34.999 % |
c |    182107 |  103890   223761 |   89867   27664  3000100   108.4 | 35.000 % |
c |    187873 |  103879   223722 |   98854   33424  3379834   101.1 | 35.052 % |
c |    196523 |  103879   223722 |  108740   42074  4964123   118.0 | 35.053 % |
c |    209497 |  103753   223284 |  119614   54911  5947769   108.3 | 35.634 % |
c |    228958 |  103715   223150 |  131575   74284  7825265   105.3 | 35.845 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 44   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    256398 |  103700   223101 |   34566  101654 11894507   117.0 | 35.845 % |
c |    256498 |  103700   223101 |   38022   17438  2189849   125.6 | 35.933 % |
c |    256648 |  103691   223070 |   41824   17580  2192401   124.7 | 35.958 % |
c |    256873 |  103691   223070 |   46007   17805  2199271   123.5 | 35.958 % |
c |    257210 |  103691   223070 |   50608   18142  2224261   122.6 | 35.958 % |
c |    257716 |  103691   223070 |   55668   18648  2245986   120.4 | 35.959 % |
c |    258476 |  103670   222995 |   61235   19398  2277022   117.4 | 36.090 % |
c |    259615 |  103670   222995 |   67359   20537  2337481   113.8 | 36.091 % |
c |    261323 |  103670   222995 |   74095   22245  2534249   113.9 | 36.090 % |
c |    263887 |  103670   222995 |   81504   24809  2712356   109.3 | 36.090 % |
c |    267731 |  103670   222995 |   89655   28653  3218415   112.3 | 36.091 % |
c |    273497 |  103670   222995 |   98620   34419  3665419   106.5 | 36.091 % |
c |    282147 |  103670   222995 |  108482   43069  4918825   114.2 | 36.090 % |
c |    295121 |  103670   222995 |  119331   56043  7397515   132.0 | 36.090 % |
c |    314582 |  103661   222966 |  131264   75501  9128733   120.9 | 36.143 % |
c |    343774 |  103661   222966 |  144390  104693 12549616   119.9 | 36.144 % |
c |    387564 |  103661   222966 |  158829   18166  2185541   120.3 | 36.144 % |
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 -#### 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.86 0.95 0.90 2/54 29319
Raw data (stat): 29319 (runsolver) R 29318 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421540943 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 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.0008 s]
Raw data (loadavg): 0.88 0.96 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 4510 0 0 0 983 15 0 0 25 0 1 0 421540943 20246528 4488 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4943 4488 603 41 0 4902 0
vsize: 19772
[startup+20.0015 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 4510 0 0 0 1982 15 0 0 25 0 1 0 421540943 20246528 4488 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4943 4488 603 41 0 4902 0
vsize: 19772
[startup+30.0011 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 4510 0 0 0 2982 16 0 0 25 0 1 0 421540943 20246528 4488 4294967295 134512640 134672761 3221224560 3221223732 134556660 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4943 4488 603 41 0 4902 0
vsize: 19772
[startup+40.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 4510 0 0 0 3982 16 0 0 25 0 1 0 421540943 20246528 4488 4294967295 134512640 134672761 3221224560 3221223860 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4943 4488 603 41 0 4902 0
vsize: 19772
[startup+50.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 4510 0 0 0 4982 16 0 0 25 0 1 0 421540943 20246528 4488 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4943 4488 603 41 0 4902 0
vsize: 19772
[startup+60.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 4510 0 0 0 5982 16 0 0 25 0 1 0 421540943 20246528 4488 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4943 4488 603 41 0 4902 0
vsize: 19772
[startup+70.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 4628 0 0 0 6982 16 0 0 25 0 1 0 421540943 20652032 4606 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5042 4606 603 41 0 5001 0
vsize: 20168
[startup+80.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 4701 0 0 0 7981 17 0 0 25 0 1 0 421540943 20918272 4679 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5107 4679 603 41 0 5066 0
vsize: 20428
[startup+90.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 4701 0 0 0 8981 17 0 0 25 0 1 0 421540943 20918272 4679 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5107 4679 603 41 0 5066 0
vsize: 20428
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 5281 0 0 0 9979 19 0 0 25 0 1 0 421540943 23339008 5259 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5698 5259 603 41 0 5657 0
vsize: 22792
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 5948 0 0 0 10977 21 0 0 25 0 1 0 421540943 26013696 5926 4294967295 134512640 134672761 3221224560 3221223760 134557852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6351 5926 603 41 0 6310 0
vsize: 25404
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 6948 0 0 0 11973 25 0 0 25 0 1 0 421540943 30183424 6926 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7369 6926 603 41 0 7328 0
vsize: 29476
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 7899 0 0 0 12972 27 0 0 25 0 1 0 421540943 34058240 7877 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8315 7877 603 41 0 8274 0
vsize: 33260
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 8074 0 0 0 13971 28 0 0 25 0 1 0 421540943 34729984 8052 4294967295 134512640 134672761 3221224560 3221223728 134560917 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8479 8052 603 41 0 8438 0
vsize: 33916
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 8074 0 0 0 14971 28 0 0 25 0 1 0 421540943 34729984 8052 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8479 8052 603 41 0 8438 0
vsize: 33916
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 8074 0 0 0 15971 28 0 0 25 0 1 0 421540943 34729984 8052 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8479 8052 603 41 0 8438 0
vsize: 33916
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 8074 0 0 0 16972 28 0 0 25 0 1 0 421540943 34729984 8052 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8479 8052 603 41 0 8438 0
vsize: 33916
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 8353 0 0 0 17971 28 0 0 25 0 1 0 421540943 35938304 8331 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8774 8331 603 41 0 8733 0
vsize: 35096
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 9218 0 0 0 18968 31 0 0 25 0 1 0 421540943 39424000 9196 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9625 9196 603 41 0 9584 0
vsize: 38500
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 9870 0 0 0 19966 33 0 0 25 0 1 0 421540943 42102784 9848 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10279 9848 603 41 0 10238 0
vsize: 41116
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 10446 0 0 0 20965 35 0 0 25 0 1 0 421540943 44515328 10424 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10868 10424 603 41 0 10827 0
vsize: 43472
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 11262 0 0 0 21964 36 0 0 25 0 1 0 421540943 47865856 11240 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11686 11240 603 41 0 11645 0
vsize: 46744
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29319
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 11996 0 0 0 22963 38 0 0 25 0 1 0 421540943 51068928 11974 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12468 11974 603 41 0 12427 0
vsize: 49872
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 12704 0 0 0 23961 39 0 0 25 0 1 0 421540943 54022144 12682 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13189 12682 603 41 0 13148 0
vsize: 52756
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 13267 0 0 0 24960 41 0 0 25 0 1 0 421540943 56299520 13245 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13745 13245 603 41 0 13704 0
vsize: 54980
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 13663 0 0 0 25959 42 0 0 25 0 1 0 421540943 57913344 13641 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14139 13641 603 41 0 14098 0
vsize: 56556
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 13962 0 0 0 26958 43 0 0 25 0 1 0 421540943 59121664 13940 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14434 13940 603 41 0 14393 0
vsize: 57736
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 14382 0 0 0 27957 44 0 0 25 0 1 0 421540943 60870656 14360 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14861 14360 603 41 0 14820 0
vsize: 59444
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 14793 0 0 0 28956 45 0 0 25 0 1 0 421540943 62484480 14771 4294967295 134512640 134672761 3221224560 3221223664 134560254 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15255 14771 603 41 0 15214 0
vsize: 61020
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 15214 0 0 0 29956 46 0 0 25 0 1 0 421540943 64233472 15192 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15682 15192 603 41 0 15641 0
vsize: 62728
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 15630 0 0 0 30954 47 0 0 25 0 1 0 421540943 65961984 15608 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16104 15608 603 41 0 16063 0
vsize: 64416
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 16073 0 0 0 31952 50 0 0 25 0 1 0 421540943 67706880 16051 4294967295 134512640 134672761 3221224560 3221223744 134559618 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16530 16051 603 41 0 16489 0
vsize: 66120
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 16526 0 0 0 32951 51 0 0 25 0 1 0 421540943 69578752 16504 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16987 16504 603 41 0 16946 0
vsize: 67948
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 16997 0 0 0 33951 52 0 0 25 0 1 0 421540943 71446528 16975 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17443 16975 603 41 0 17402 0
vsize: 69772
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 34950 52 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+359.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 35950 52 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134561201 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+369.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 36950 52 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+379.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 37950 52 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223560 1075350334 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+389.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 38950 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134561025 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+399.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 39950 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+409.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 40950 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+419.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 41950 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223664 134560054 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+429.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 42951 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223744 134559559 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+439.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 43951 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+449.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 44951 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 45951 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 46952 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 47952 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 48952 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 49952 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 50952 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223664 134560402 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17296 0 0 0 51953 53 0 0 25 0 1 0 421540943 72638464 17274 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17274 603 41 0 17693 0
vsize: 70936
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 52953 53 0 0 25 0 1 0 421540943 72638464 17276 4294967295 134512640 134672761 3221224560 3221223728 134561226 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17734 17276 603 41 0 17693 0
vsize: 70936
[startup+540.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 53953 53 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 54953 53 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560876 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 55952 53 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+570 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 56952 53 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+579.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 57952 53 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+589.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 58952 53 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+599.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 59952 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+609.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 60952 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+619.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 61952 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+629.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 62953 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+639.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 63953 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+649.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 64953 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+659.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 65953 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560876 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+669.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 66953 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+679.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 67953 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134561382 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+689.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 68954 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+699.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 69954 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+709.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 70954 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+719.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17298 0 0 0 71954 54 0 0 25 0 1 0 421540943 72605696 17269 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17269 603 41 0 17685 0
vsize: 70904
[startup+729.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17300 0 0 0 72954 54 0 0 25 0 1 0 421540943 72605696 17271 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17271 603 41 0 17685 0
vsize: 70904
[startup+739.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17303 0 0 0 73955 54 0 0 25 0 1 0 421540943 72605696 17274 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17274 603 41 0 17685 0
vsize: 70904
[startup+749.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17305 0 0 0 74955 54 0 0 25 0 1 0 421540943 72605696 17276 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17276 603 41 0 17685 0
vsize: 70904
[startup+759.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17307 0 0 0 75955 54 0 0 25 0 1 0 421540943 72605696 17278 4294967295 134512640 134672761 3221224560 3221223744 134558761 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17278 603 41 0 17685 0
vsize: 70904
[startup+769.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17309 0 0 0 76955 54 0 0 25 0 1 0 421540943 72605696 17280 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17726 17280 603 41 0 17685 0
vsize: 70904
[startup+779.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17516 0 0 0 77955 54 0 0 25 0 1 0 421540943 73547776 17487 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17956 17487 603 41 0 17915 0
vsize: 71824
[startup+789.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 17842 0 0 0 78954 54 0 0 25 0 1 0 421540943 74870784 17813 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18279 17813 603 41 0 18238 0
vsize: 73116
[startup+799.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 18134 0 0 0 79954 55 0 0 25 0 1 0 421540943 76066816 18105 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18571 18105 603 41 0 18530 0
vsize: 74284
[startup+809.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 18422 0 0 0 80953 56 0 0 25 0 1 0 421540943 77266944 18393 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18864 18393 603 41 0 18823 0
vsize: 75456
[startup+819.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 18725 0 0 0 81953 57 0 0 25 0 1 0 421540943 78471168 18696 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19158 18696 603 41 0 19117 0
vsize: 76632
[startup+829.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 19035 0 0 0 82952 57 0 0 25 0 1 0 421540943 79663104 19006 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19449 19006 603 41 0 19408 0
vsize: 77796
[startup+839.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 19324 0 0 0 83952 58 0 0 25 0 1 0 421540943 80867328 19295 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19743 19295 603 41 0 19702 0
vsize: 78972
[startup+849.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 19602 0 0 0 84951 58 0 0 25 0 1 0 421540943 82071552 19573 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20037 19574 603 41 0 19996 0
vsize: 80148
[startup+859.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 19905 0 0 0 85950 60 0 0 25 0 1 0 421540943 83267584 19876 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20329 19876 603 41 0 20288 0
vsize: 81316
[startup+869.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 20159 0 0 0 86950 60 0 0 25 0 1 0 421540943 84856832 20130 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20717 20130 603 41 0 20676 0
vsize: 82868
[startup+880.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 20426 0 0 0 87950 61 0 0 25 0 1 0 421540943 85917696 20397 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20976 20397 603 41 0 20935 0
vsize: 83904
[startup+890.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 20649 0 0 0 88950 61 0 0 25 0 1 0 421540943 86859776 20620 4294967295 134512640 134672761 3221224560 3221223728 134560968 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21206 20620 603 41 0 21165 0
vsize: 84824
[startup+900.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 20902 0 0 0 89950 62 0 0 25 0 1 0 421540943 87801856 20873 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21436 20873 603 41 0 21395 0
vsize: 85744
[startup+910.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 21166 0 0 0 90949 63 0 0 25 0 1 0 421540943 89006080 21137 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21730 21137 603 41 0 21689 0
vsize: 86920
[startup+920.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 21414 0 0 0 91948 64 0 0 25 0 1 0 421540943 89944064 21385 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21959 21385 603 41 0 21918 0
vsize: 87836
[startup+930.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 21704 0 0 0 92948 65 0 0 25 0 1 0 421540943 91148288 21675 4294967295 134512640 134672761 3221224560 3221223728 134561133 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22253 21675 603 41 0 22212 0
vsize: 89012
[startup+940.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 21997 0 0 0 93948 65 0 0 25 0 1 0 421540943 92348416 21968 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22546 21968 603 41 0 22505 0
vsize: 90184
[startup+950.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22225 0 0 0 94948 65 0 0 25 0 1 0 421540943 93278208 22196 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22773 22196 603 41 0 22732 0
vsize: 91092
[startup+960.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22479 0 0 0 95947 66 0 0 25 0 1 0 421540943 94351360 22450 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23035 22450 603 41 0 22994 0
vsize: 92140
[startup+970.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22516 0 0 0 96947 66 0 0 25 0 1 0 421540943 94486528 22487 4294967295 134512640 134672761 3221224560 3221223696 134560688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22487 603 41 0 23027 0
vsize: 92272
[startup+980.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22516 0 0 0 97947 66 0 0 25 0 1 0 421540943 94486528 22487 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22487 603 41 0 23027 0
vsize: 92272
[startup+990.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22516 0 0 0 98947 66 0 0 25 0 1 0 421540943 94486528 22487 4294967295 134512640 134672761 3221224560 3221223664 134559862 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22487 603 41 0 23027 0
vsize: 92272
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 99947 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 100947 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 101948 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 102948 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 103948 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 104948 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 105948 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223712 134561035 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 106948 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223744 134559397 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 107949 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 108949 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 109949 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223664 134555116 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 110949 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 111949 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223744 134559330 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 112950 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 113950 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 114950 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 115950 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 116950 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 117950 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 118951 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29321
Raw data (stat): 29319 (minisat+) R 29318 25347 25346 0 -1 0 22517 0 0 0 119951 66 0 0 25 0 1 0 421540943 94486528 22488 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23068 22488 603 41 0 23027 0
vsize: 92272
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29321
Raw data (stat): 29319 (minisat+) Z 29318 25347 25346 0 -1 12 22520 0 0 0 119951 70 0 0 25 0 1 0 421540943 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.05
CPU time (s): 1200.23
CPU user time (s): 1199.52
CPU system time (s): 0.709892
CPU usage (%): 100.015
Max. virtual memory (Kb): 92272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####