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/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM	a5354df485c2b6c1695d0d26c0cdb212
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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.13
Number of variables	1534
Total number of constraints	125982
Number of constraints which are clauses	125982
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 5274

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-13 23:10:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3737 boxname=wulflinc12 idbench=353 idsolver=10 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a5354df485c2b6c1695d0d26c0cdb212  /oldhome/oroussel/tmp/wulflinc12/normalized-frb59-26-5.opb
REAL COMMAND:  minisat+ -ca /oldhome/oroussel/tmp/wulflinc12/normalized-frb59-26-5.opb /oldhome/oroussel/tmp/wulflinc12/normalized-frb59-26-5.opb
IDLAUNCH: 3737
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        912312 kB
Buffers:         34812 kB
Cached:          67784 kB
SwapCached:         16 kB
Active:          62840 kB
Inactive:        42628 kB
HighTotal:      131008 kB
HighFree:        59304 kB
LowTotal:       903652 kB
LowFree:        853008 kB
SwapTotal:     2097136 kB
SwapFree:      2097120 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11288 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 23:30:53 (client local time) WITH STATUS 10 IN 1200.25 SECONDS
stats: 3737 7 1200.25 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 125982 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 |  125982   251964 |   41994       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 3034   maxlim: 42   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  146985   327035 |   48995       0        0     nan |  0.000 % |
c |       100 |  146967   326973 |   53894      95      825     8.7 |  0.133 % |
c |       250 |  146922   326818 |   59283     231     2054     8.9 |  0.242 % |
c |       475 |  146886   326694 |   65212     448     4137     9.2 |  0.331 % |
c |       812 |  146868   326632 |   71733     781     7493     9.6 |  0.374 % |
c |      1318 |  146823   326477 |   78906    1274    13581    10.7 |  0.485 % |
c |      2080 |  146754   326240 |   86797    2021    21154    10.5 |  0.659 % |
c |      3219 |  146658   325910 |   95477    3138    32917    10.5 |  0.901 % |
c |      4927 |  146279   324609 |  105025    4748    58203    12.3 |  1.913 % |
c |      7489 |  145809   322997 |  115527    7179   103832    14.5 |  3.254 % |
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 |      9034 |  145392   321578 |   48464    8603   137111    15.9 |  3.254 % |
c |      9134 |  145354   321446 |   53310    8690   137987    15.9 |  4.612 % |
c |      9284 |  145345   321415 |   58641    8837   141301    16.0 |  4.636 % |
c |      9509 |  145318   321322 |   64505    9053   144957    16.0 |  4.702 % |
c |      9847 |  145194   320896 |   70956    9351   150456    16.1 |  5.074 % |
c |     10353 |  144952   320064 |   78051    9794   158333    16.2 |  5.842 % |
c |     11112 |  144806   319562 |   85856   10508   175303    16.7 |  6.326 % |
c |     12252 |  144491   318483 |   94442   11540   196904    17.1 |  7.380 % |
c |     13961 |  143903   316463 |  103886   13051   235408    18.0 |  9.313 % |
c |     16523 |  143254   314226 |  114275   15399   445239    28.9 | 11.619 % |
c |     20368 |  142175   310497 |  125703   18855   540156    28.6 | 15.594 % |
c |     26134 |  141552   308344 |  138273   24200   782444    32.3 | 17.880 % |
c |     34783 |  140584   304992 |  152100   32255  1197256    37.1 | 21.745 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 45   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     37531 |  140365   304229 |   46788   34774  1326330    38.1 | 21.745 % |
c |     37632 |  140260   303864 |   51466   34821  1328442    38.2 | 23.166 % |
c |     37782 |  140201   303659 |   56613   34864  1331122    38.2 | 23.408 % |
c |     38007 |  140179   303581 |   62274   35076  1338818    38.2 | 23.496 % |
c |     38344 |  140170   303550 |   68502   35380  1355828    38.3 | 23.519 % |
c |     38850 |  140106   303326 |   75352   35816  1373013    38.3 | 23.781 % |
c |     39610 |  140097   303295 |   82887   36540  1423755    39.0 | 23.803 % |
c |     40749 |  139959   302811 |   91176   37553  1479571    39.4 | 24.397 % |
c |     42458 |  139918   302668 |  100294   39156  1674962    42.8 | 24.508 % |
c |     45020 |  139792   302230 |  110323   41615  1815266    43.6 | 25.099 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 46   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     46098 |  139746   302073 |   46582   42640  1912116    44.8 | 25.099 % |
c |     46198 |  139737   302042 |   51240   42736  1913793    44.8 | 25.336 % |
c |     46348 |  139716   301967 |   56364   42882  1924019    44.9 | 25.445 % |
c |     46573 |  139707   301936 |   62000   43063  1932749    44.9 | 25.468 % |
c |     46910 |  139707   301936 |   68200   43400  1944995    44.8 | 25.467 % |
c |     47418 |  139624   301647 |   75020   43869  1968570    44.9 | 25.841 % |
c |     48178 |  139575   301476 |   82522   44570  2007664    45.0 | 26.037 % |
c |     49317 |  139575   301476 |   90775   45709  2099766    45.9 | 26.038 % |
c |     51026 |  139518   301281 |   99852   47160  2189868    46.4 | 26.191 % |
c |     53588 |  139467   301108 |  109837   49550  2367582    47.8 | 26.346 % |
c |     57432 |  139458   301077 |  120821   53381  2727930    51.1 | 26.368 % |
c |     63198 |  139434   300995 |  132903   59080  3463500    58.6 | 26.434 % |
c |     71848 |  139357   300732 |  146194   67440  4509190    66.9 | 26.674 % |
c |     84823 |  139348   300701 |  160813   80379  6455170    80.3 | 26.696 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 47   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     98800 |  139349   300705 |   46449   94356  8541277    90.5 | 26.696 % |
c |     98900 |  139340   300674 |   51093   17411  1942499   111.6 | 26.734 % |
c |     99051 |  139340   300674 |   56203   17562  1949612   111.0 | 26.734 % |
c |     99276 |  139340   300674 |   61823   17787  1956441   110.0 | 26.734 % |
c |     99613 |  139340   300674 |   68005   18124  1966399   108.5 | 26.736 % |
c |    100119 |  139319   300603 |   74806   18627  2000179   107.4 | 26.801 % |
c |    100878 |  139294   300518 |   82287   19385  2023888   104.4 | 26.889 % |
c |    102017 |  139267   300425 |   90515   20513  2099266   102.3 | 26.953 % |
c |    103725 |  139267   300425 |   99567   22221  2287359   102.9 | 26.953 % |
c |    106288 |  139267   300425 |  109524   24784  2614979   105.5 | 26.953 % |
c |    110132 |  139144   300004 |  120476   28576  2794486    97.8 | 27.438 % |
c |    115898 |  139108   299878 |  132524   34332  3449996   100.5 | 27.590 % |
c |    124548 |  139063   299721 |  145776   42964  4199618    97.7 | 27.767 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 48   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    128393 |  139017   299570 |   46339   46788  4806611   102.7 | 27.767 % |
c |    128493 |  139017   299570 |   50972   46888  4810395   102.6 | 28.001 % |
c |    128643 |  139017   299570 |   56070   47038  4816090   102.4 | 28.001 % |
c |    128868 |  139017   299570 |   61677   47263  4828749   102.2 | 28.001 % |
c |    129208 |  139017   299570 |   67844   47603  4844855   101.8 | 28.001 % |
c |    129714 |  139017   299570 |   74629   48109  4904389   101.9 | 28.002 % |
c |    130473 |  138988   299469 |   82092   48843  4953351   101.4 | 28.090 % |
c |    131612 |  138968   299399 |   90301   49969  5021283   100.5 | 28.156 % |
c |    133320 |  138866   299037 |   99331   51596  5134736    99.5 | 28.550 % |
c |    135884 |  138846   298967 |  109264   54122  5562112   102.8 | 28.615 % |
c |    139728 |  138846   298967 |  120191   57966  5979195   103.2 | 28.615 % |
c |    145495 |  138846   298967 |  132210   63733  7011740   110.0 | 28.615 % |
c |    154144 |  138773   298714 |  145431   72313  8031354   111.1 | 28.880 % |
c |    167120 |  138752   298639 |  159974   85285  9244710   108.4 | 28.988 % |
c |    186581 |  138752   298639 |  175972  104746 12772073   121.9 | 28.989 % |
c |    215773 |  138752   298639 |  193569  133938 18189400   135.8 | 28.988 % |
c |    259562 |  138752   298639 |  212926  177727 29801059   167.7 | 28.988 % |
c |    325246 |  138700   298459 |  234219   52238  7124555   136.4 | 29.209 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 C1465 -C1464 -C1463 -C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 -C1455 -C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 C1427 -C1426 -C1425 -C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 C1302 -C1301 C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -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 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 C496 -C495 C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 C444 -C443 -C442 C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 C340 -C339 -C338 -C337 -C336 -C335 C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 29183
Raw data (stat): 29183 (runsolver) R 29182 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421582256 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5889 0 0 0 979 19 0 0 25 0 1 0 421582256 26062848 5867 4294967295 134512640 134672761 3221224560 3221223708 134560552 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6363 5867 603 41 0 6322 0
vsize: 25452
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5889 0 0 0 1978 19 0 0 25 0 1 0 421582256 26062848 5867 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6363 5867 603 41 0 6322 0
vsize: 25452
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5889 0 0 0 2978 19 0 0 25 0 1 0 421582256 26062848 5867 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6363 5867 603 41 0 6322 0
vsize: 25452
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5889 0 0 0 3977 19 0 0 25 0 1 0 421582256 26062848 5867 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6363 5867 603 41 0 6322 0
vsize: 25452
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5889 0 0 0 4977 19 0 0 25 0 1 0 421582256 26062848 5867 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6363 5867 603 41 0 6322 0
vsize: 25452
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5889 0 0 0 5977 19 0 0 25 0 1 0 421582256 26062848 5867 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6363 5867 603 41 0 6322 0
vsize: 25452
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5889 0 0 0 6978 19 0 0 25 0 1 0 421582256 26062848 5867 4294967295 134512640 134672761 3221224560 3221223760 134557830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6363 5867 603 41 0 6322 0
vsize: 25452
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5889 0 0 0 7978 19 0 0 25 0 1 0 421582256 26062848 5867 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6363 5867 603 41 0 6322 0
vsize: 25452
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5889 0 0 0 8978 19 0 0 25 0 1 0 421582256 26062848 5867 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6363 5867 603 41 0 6322 0
vsize: 25452
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5889 0 0 0 9977 19 0 0 25 0 1 0 421582256 26062848 5867 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6363 5867 603 41 0 6322 0
vsize: 25452
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 5985 0 0 0 10977 20 0 0 25 0 1 0 421582256 26468352 5963 4294967295 134512640 134672761 3221224560 3221223664 134560303 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6462 5963 603 41 0 6421 0
vsize: 25848
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 6677 0 0 0 11976 21 0 0 25 0 1 0 421582256 29302784 6655 4294967295 134512640 134672761 3221224560 3221223728 134561212 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7154 6655 603 41 0 7113 0
vsize: 28616
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 7313 0 0 0 12974 23 0 0 25 0 1 0 421582256 32116736 7291 4294967295 134512640 134672761 3221224560 3221223728 134560976 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7841 7291 603 41 0 7800 0
vsize: 31364
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 7877 0 0 0 13973 24 0 0 25 0 1 0 421582256 34525184 7855 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8429 7855 603 41 0 8388 0
vsize: 33716
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 8723 0 0 0 14971 26 0 0 25 0 1 0 421582256 37896192 8701 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9252 8701 603 41 0 9211 0
vsize: 37008
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 9193 0 0 0 15970 28 0 0 25 0 1 0 421582256 39788544 9171 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9714 9171 603 41 0 9673 0
vsize: 38856
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 9778 0 0 0 16968 30 0 0 25 0 1 0 421582256 42221568 9756 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10308 9756 603 41 0 10267 0
vsize: 41232
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 10300 0 0 0 17967 31 0 0 25 0 1 0 421582256 44367872 10278 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10832 10278 603 41 0 10791 0
vsize: 43328
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 10921 0 0 0 18965 33 0 0 25 0 1 0 421582256 46923776 10899 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11456 10899 603 41 0 11415 0
vsize: 45824
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11459 0 0 0 19964 34 0 0 25 0 1 0 421582256 49074176 11437 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 11437 603 41 0 11940 0
vsize: 47924
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 20964 34 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134561375 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 21964 34 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 22964 35 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 23965 35 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 24965 35 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 25965 35 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 26965 35 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 27966 35 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223664 134560410 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 28966 35 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 29966 35 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 30966 35 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 11823 0 0 0 31966 35 0 0 25 0 1 0 421582256 50511872 11801 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12332 11801 603 41 0 12291 0
vsize: 49328
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 12146 0 0 0 32966 35 0 0 25 0 1 0 421582256 51847168 12124 4294967295 134512640 134672761 3221224560 3221223664 134559887 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12658 12124 603 41 0 12617 0
vsize: 50632
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 12559 0 0 0 33964 37 0 0 25 0 1 0 421582256 53575680 12537 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13080 12537 603 41 0 13039 0
vsize: 52320
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 13108 0 0 0 34963 38 0 0 25 0 1 0 421582256 55857152 13086 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13637 13086 603 41 0 13596 0
vsize: 54548
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 13720 0 0 0 35961 41 0 0 25 0 1 0 421582256 58265600 13698 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14225 13698 603 41 0 14184 0
vsize: 56900
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 14176 0 0 0 36960 42 0 0 25 0 1 0 421582256 60145664 14154 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14684 14154 603 41 0 14643 0
vsize: 58736
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 14750 0 0 0 37959 43 0 0 25 0 1 0 421582256 62558208 14728 4294967295 134512640 134672761 3221224560 3221223728 134564738 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15273 14728 603 41 0 15232 0
vsize: 61092
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 15283 0 0 0 38957 45 0 0 25 0 1 0 421582256 64700416 15261 4294967295 134512640 134672761 3221224560 3221223728 134560874 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15796 15261 603 41 0 15755 0
vsize: 63184
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 15843 0 0 0 39956 47 0 0 25 0 1 0 421582256 66969600 15821 4294967295 134512640 134672761 3221224560 3221223744 134558851 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16350 15821 603 41 0 16309 0
vsize: 65400
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 16279 0 0 0 40955 48 0 0 25 0 1 0 421582256 68714496 16257 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16776 16257 603 41 0 16735 0
vsize: 67104
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 16656 0 0 0 41953 49 0 0 25 0 1 0 421582256 70328320 16634 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17170 16634 603 41 0 17129 0
vsize: 68680
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 17253 0 0 0 42952 51 0 0 25 0 1 0 421582256 72716288 17231 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17753 17231 603 41 0 17712 0
vsize: 71012
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 17750 0 0 0 43950 53 0 0 25 0 1 0 421582256 74719232 17728 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18242 17728 603 41 0 18201 0
vsize: 72968
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 18244 0 0 0 44949 55 0 0 25 0 1 0 421582256 76713984 18222 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18729 18222 603 41 0 18688 0
vsize: 74916
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 18799 0 0 0 45947 56 0 0 25 0 1 0 421582256 78979072 18777 4294967295 134512640 134672761 3221224560 3221223664 134560158 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19282 18777 603 41 0 19241 0
vsize: 77128
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 19267 0 0 0 46947 57 0 0 25 0 1 0 421582256 80986112 19245 4294967295 134512640 134672761 3221224560 3221223728 134560876 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19772 19245 603 41 0 19731 0
vsize: 79088
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 19800 0 0 0 47945 59 0 0 25 0 1 0 421582256 83124224 19778 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20294 19778 603 41 0 20253 0
vsize: 81176
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 20288 0 0 0 48944 60 0 0 25 0 1 0 421582256 85127168 20266 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20783 20266 603 41 0 20742 0
vsize: 83132
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 20799 0 0 0 49943 62 0 0 25 0 1 0 421582256 87240704 20777 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21299 20777 603 41 0 21258 0
vsize: 85196
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 21288 0 0 0 50941 63 0 0 25 0 1 0 421582256 89743360 21266 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21910 21266 603 41 0 21869 0
vsize: 87640
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 21761 0 0 0 51940 65 0 0 25 0 1 0 421582256 91598848 21739 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22363 21739 603 41 0 22322 0
vsize: 89452
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 22139 0 0 0 52939 66 0 0 25 0 1 0 421582256 93216768 22117 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22758 22117 603 41 0 22717 0
vsize: 91032
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 22555 0 0 0 53938 67 0 0 25 0 1 0 421582256 94810112 22533 4294967295 134512640 134672761 3221224560 3221223664 134560237 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23147 22533 603 41 0 23106 0
vsize: 92588
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 22951 0 0 0 54937 68 0 0 25 0 1 0 421582256 96538624 22929 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23569 22929 603 41 0 23528 0
vsize: 94276
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 23349 0 0 0 55936 69 0 0 25 0 1 0 421582256 98144256 23327 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23961 23327 603 41 0 23920 0
vsize: 95844
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 23743 0 0 0 56935 71 0 0 25 0 1 0 421582256 99737600 23721 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24350 23721 603 41 0 24309 0
vsize: 97400
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 24156 0 0 0 57934 72 0 0 25 0 1 0 421582256 101339136 24134 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24741 24134 603 41 0 24700 0
vsize: 98964
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 24560 0 0 0 58933 73 0 0 25 0 1 0 421582256 103079936 24538 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25166 24538 603 41 0 25125 0
vsize: 100664
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 24973 0 0 0 59932 74 0 0 25 0 1 0 421582256 104685568 24951 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25558 24951 603 41 0 25517 0
vsize: 102232
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 25381 0 0 0 60931 75 0 0 25 0 1 0 421582256 106418176 25359 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25981 25359 603 41 0 25940 0
vsize: 103924
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 25762 0 0 0 61930 77 0 0 25 0 1 0 421582256 108011520 25740 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26370 25740 603 41 0 26329 0
vsize: 105480
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 26127 0 0 0 62929 78 0 0 25 0 1 0 421582256 109490176 26105 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26731 26105 603 41 0 26690 0
vsize: 106924
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 26495 0 0 0 63928 79 0 0 25 0 1 0 421582256 110960640 26473 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27090 26473 603 41 0 27049 0
vsize: 108360
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 26887 0 0 0 64927 80 0 0 25 0 1 0 421582256 112553984 26865 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27479 26865 603 41 0 27438 0
vsize: 109916
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 27329 0 0 0 65926 81 0 0 25 0 1 0 421582256 114413568 27307 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27933 27307 603 41 0 27892 0
vsize: 111732
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 27701 0 0 0 66925 82 0 0 25 0 1 0 421582256 115879936 27679 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28291 27679 603 41 0 28250 0
vsize: 113164
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 28077 0 0 0 67924 83 0 0 25 0 1 0 421582256 117489664 28055 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28684 28055 603 41 0 28643 0
vsize: 114736
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 28431 0 0 0 68923 85 0 0 25 0 1 0 421582256 118833152 28409 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29012 28409 603 41 0 28971 0
vsize: 116048
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 28738 0 0 0 69923 85 0 0 25 0 1 0 421582256 120176640 28716 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29340 28716 603 41 0 29299 0
vsize: 117360
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 29088 0 0 0 70922 86 0 0 25 0 1 0 421582256 121516032 29066 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29667 29066 603 41 0 29626 0
vsize: 118668
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 29436 0 0 0 71921 87 0 0 25 0 1 0 421582256 122990592 29414 4294967295 134512640 134672761 3221224560 3221223516 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30027 29414 603 41 0 29986 0
vsize: 120108
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 29794 0 0 0 72920 88 0 0 25 0 1 0 421582256 124461056 29772 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30386 29772 603 41 0 30345 0
vsize: 121544
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 30142 0 0 0 73919 90 0 0 25 0 1 0 421582256 125915136 30120 4294967295 134512640 134672761 3221224560 3221223728 134560994 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30741 30120 603 41 0 30700 0
vsize: 122964
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 30483 0 0 0 74918 91 0 0 25 0 1 0 421582256 127250432 30461 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31067 30461 603 41 0 31026 0
vsize: 124268
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 30839 0 0 0 75917 93 0 0 25 0 1 0 421582256 128733184 30817 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31429 30817 603 41 0 31388 0
vsize: 125716
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 31222 0 0 0 76916 94 0 0 25 0 1 0 421582256 130334720 31200 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31820 31200 603 41 0 31779 0
vsize: 127280
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 31567 0 0 0 77914 95 0 0 25 0 1 0 421582256 131665920 31545 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32145 31545 603 41 0 32104 0
vsize: 128580
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 31929 0 0 0 78913 96 0 0 25 0 1 0 421582256 133156864 31907 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32509 31907 603 41 0 32468 0
vsize: 130036
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 32306 0 0 0 79911 99 0 0 25 0 1 0 421582256 134750208 32284 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32898 32284 603 41 0 32857 0
vsize: 131592
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 32672 0 0 0 80910 100 0 0 25 0 1 0 421582256 136232960 32650 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33260 32650 603 41 0 33219 0
vsize: 133040
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 33007 0 0 0 81909 101 0 0 25 0 1 0 421582256 137560064 32985 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33584 32985 603 41 0 33543 0
vsize: 134336
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 33363 0 0 0 82908 102 0 0 25 0 1 0 421582256 139018240 33341 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33940 33341 603 41 0 33899 0
vsize: 135760
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 33768 0 0 0 83908 103 0 0 25 0 1 0 421582256 140763136 33746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34366 33746 603 41 0 34325 0
vsize: 137464
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 33986 0 0 0 84906 104 0 0 25 0 1 0 421582256 141574144 33964 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34564 33964 603 41 0 34523 0
vsize: 138256
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 34233 0 0 0 85906 104 0 0 25 0 1 0 421582256 142667776 34211 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34831 34211 603 41 0 34790 0
vsize: 139324
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 34555 0 0 0 86905 106 0 0 25 0 1 0 421582256 144011264 34533 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35159 34533 603 41 0 35118 0
vsize: 140636
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 34842 0 0 0 87904 107 0 0 25 0 1 0 421582256 145084416 34820 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35421 34820 603 41 0 35380 0
vsize: 141684
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 35082 0 0 0 88904 108 0 0 25 0 1 0 421582256 146169856 35060 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35686 35060 603 41 0 35645 0
vsize: 142744
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 35270 0 0 0 89903 108 0 0 25 0 1 0 421582256 146976768 35248 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35883 35248 603 41 0 35842 0
vsize: 143532
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 35476 0 0 0 90902 109 0 0 25 0 1 0 421582256 147783680 35454 4294967295 134512640 134672761 3221224560 3221223744 134559622 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36080 35454 603 41 0 36039 0
vsize: 144320
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 35748 0 0 0 91902 110 0 0 25 0 1 0 421582256 148848640 35726 4294967295 134512640 134672761 3221224560 3221223696 134560585 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36340 35726 603 41 0 36299 0
vsize: 145360
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 36018 0 0 0 92901 111 0 0 25 0 1 0 421582256 149917696 35996 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36601 35996 603 41 0 36560 0
vsize: 146404
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 36354 0 0 0 93900 112 0 0 25 0 1 0 421582256 151392256 36332 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36961 36332 603 41 0 36920 0
vsize: 147844
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 36624 0 0 0 94900 112 0 0 25 0 1 0 421582256 152461312 36602 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37222 36602 603 41 0 37181 0
vsize: 148888
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 36938 0 0 0 95899 114 0 0 25 0 1 0 421582256 153669632 36916 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37517 36916 603 41 0 37476 0
vsize: 150068
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 37273 0 0 0 96899 114 0 0 25 0 1 0 421582256 155148288 37251 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37878 37251 603 41 0 37837 0
vsize: 151512
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 37632 0 0 0 97897 116 0 0 25 0 1 0 421582256 156618752 37610 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38237 37610 603 41 0 38196 0
vsize: 152948
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 37965 0 0 0 98896 117 0 0 25 0 1 0 421582256 157954048 37943 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38563 37943 603 41 0 38522 0
vsize: 154252
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 38262 0 0 0 99896 118 0 0 25 0 1 0 421582256 159162368 38240 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38858 38240 603 41 0 38817 0
vsize: 155432
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 38506 0 0 0 100894 119 0 0 25 0 1 0 421582256 160100352 38484 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39087 38484 603 41 0 39046 0
vsize: 156348
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 38710 0 0 0 101894 120 0 0 25 0 1 0 421582256 160919552 38688 4294967295 134512640 134672761 3221224560 3221223728 134560864 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39287 38688 603 41 0 39246 0
vsize: 157148
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 38875 0 0 0 102893 120 0 0 25 0 1 0 421582256 161591296 38853 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39451 38853 603 41 0 39410 0
vsize: 157804
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39020 0 0 0 103893 121 0 0 25 0 1 0 421582256 162131968 38998 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39583 38998 603 41 0 39542 0
vsize: 158332
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39183 0 0 0 104893 121 0 0 25 0 1 0 421582256 162811904 39161 4294967295 134512640 134672761 3221224560 3221223728 134561145 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39749 39161 603 41 0 39708 0
vsize: 158996
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39368 0 0 0 105892 122 0 0 25 0 1 0 421582256 163614720 39346 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39945 39346 603 41 0 39904 0
vsize: 159780
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39558 0 0 0 106892 123 0 0 25 0 1 0 421582256 164425728 39536 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40143 39536 603 41 0 40102 0
vsize: 160572
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39759 0 0 0 107892 123 0 0 25 0 1 0 421582256 165224448 39737 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40338 39737 603 41 0 40297 0
vsize: 161352
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 108891 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223664 134554671 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 109891 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 110892 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 111892 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 112892 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 113892 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 114892 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 115891 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223728 134561130 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 116891 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 117891 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 118891 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223728 134560909 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29183
Raw data (stat): 29183 (minisat+) R 29182 25285 25284 0 -1 0 39890 0 0 0 119892 124 0 0 25 0 1 0 421582256 165761024 39868 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40469 39868 603 41 0 40428 0
vsize: 161876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29183
Raw data (stat): 29183 (minisat+) Z 29182 25285 25284 0 -1 12 39893 0 0 0 119892 132 0 0 25 0 1 0 421582256 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 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.12
CPU time (s): 1200.25
CPU user time (s): 1198.92
CPU system time (s): 1.3218
CPU usage (%): 100.011
Max. virtual memory (Kb): 161876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####