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/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM	e21d47f954166f353681a275b560afba
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	110038
Number of constraints which are clauses	110038
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 5057

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-13 21:43:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3119 boxname=wulflinc5 idbench=347 idsolver=5 numberseed=0
MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4  /oldhome/oroussel/solvers/minisat+
MD5SUM BENCH:  e21d47f954166f353681a275b560afba  /oldhome/oroussel/tmp/wulflinc5/normalized-frb56-25-4.opb
REAL COMMAND:  minisat+ /oldhome/oroussel/tmp/wulflinc5/normalized-frb56-25-4.opb
IDLAUNCH: 3119
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        902136 kB
Buffers:         33220 kB
Cached:          77524 kB
SwapCached:       2272 kB
Active:          55120 kB
Inactive:        60784 kB
HighTotal:      131008 kB
HighFree:        49588 kB
LowTotal:       903652 kB
LowFree:        852548 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11020 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 22:03:59 (client local time) WITH STATUS 10 IN 1200.19 SECONDS
stats: 3119 7 1200.19 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 110038 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 |  110038   220076 |   36679       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  193767   416453 |   64589       0        0     nan |  0.000 % |
c |       100 |  193211   415303 |   71047      71      567     8.0 |  0.523 % |
c |       250 |  192296   413340 |   78152     193     1687     8.7 |  1.443 % |
c |       475 |  190686   409826 |   85967     345     4411    12.8 |  3.114 % |
c |       812 |  189125   406459 |   94564     630     6997    11.1 |  4.700 % |
c |      1318 |  186296   400188 |  104021    1000    11394    11.4 |  7.721 % |
c |      2077 |  181158   388688 |  114423    1569    17663    11.3 | 13.295 % |
c |      3216 |  173643   371821 |  125865    2397    27786    11.6 | 21.467 % |
c |      4924 |  165143   352394 |  138452    3575    41683    11.7 | 30.985 % |
c |      7486 |  153437   325407 |  152297    5345    66987    12.5 | 44.181 % |
c |     11330 |  141122   296343 |  167527    7819    99133    12.7 | 58.622 % |
c |     17097 |  130209   270346 |  184279   11567   161806    14.0 | 71.611 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     18566 |  128729   266792 |   42909   12571   182083    14.5 | 71.611 % |
c |     18666 |  128551   266373 |   47199   12611   182963    14.5 | 73.626 % |
c |     18816 |  128445   266115 |   51919   12742   184752    14.5 | 73.759 % |
c |     19041 |  127939   264905 |   57111   12835   186093    14.5 | 74.370 % |
c |     19378 |  127939   264905 |   62823   13172   193447    14.7 | 74.370 % |
c |     19884 |  127611   264143 |   69105   13513   204336    15.1 | 74.751 % |
c |     20644 |  127200   263140 |   76015   14084   218616    15.5 | 75.260 % |
c |     21783 |  126721   261991 |   83617   15017   237295    15.8 | 75.841 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     22546 |  126525   261588 |   42175   15588   259656    16.7 | 75.841 % |
c |     22647 |  126182   260749 |   46392   15599   260038    16.7 | 76.562 % |
c |     22799 |  126172   260725 |   51031   15750   262977    16.7 | 76.574 % |
c |     23024 |  126057   260455 |   56134   15916   268753    16.9 | 76.707 % |
c |     23361 |  126057   260455 |   61748   16253   280191    17.2 | 76.707 % |
c |     23867 |  125749   259709 |   67923   16626   292865    17.6 | 77.086 % |
c |     24628 |  125481   259056 |   74715   17132   307189    17.9 | 77.420 % |
c |     25767 |  125214   258403 |   82187   18114   345667    19.1 | 77.751 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     27463 |  124678   257111 |   41559   19343   381365    19.7 | 77.751 % |
c |     27563 |  124664   257081 |   45714   19429   383445    19.7 | 78.418 % |
c |     27713 |  124617   256960 |   50286   19546   386496    19.8 | 78.483 % |
c |     27938 |  124421   256474 |   55315   19639   390151    19.9 | 78.735 % |
c |     28275 |  124368   256346 |   60846   19905   399588    20.1 | 78.800 % |
c |     28781 |  124219   255995 |   66931   20357   418681    20.6 | 78.976 % |
c |     29540 |  123568   254406 |   73624   20735   434974    21.0 | 79.786 % |
c |     30679 |  123324   253817 |   80986   21711   475126    21.9 | 80.080 % |
c |     32387 |  123105   253279 |   89085   23245   534203    23.0 | 80.353 % |
c |     34949 |  122598   252034 |   97993   25509   655764    25.7 | 80.984 % |
c |     38794 |  122155   250955 |  107793   29028   828204    28.5 | 81.525 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     42330 |  122073   250778 |   40691   32394  1050976    32.4 | 81.525 % |
c |     42430 |  121963   250525 |   44760   32424  1051305    32.4 | 81.759 % |
c |     42580 |  121924   250432 |   49236   32452  1053238    32.5 | 81.807 % |
c |     42805 |  121916   250414 |   54159   32642  1059551    32.5 | 81.815 % |
c |     43142 |  121909   250399 |   59575   32975  1079180    32.7 | 81.822 % |
c |     43649 |  121762   250044 |   65533   33418  1099764    32.9 | 82.003 % |
c |     44409 |  121635   249732 |   72086   34086  1132460    33.2 | 82.160 % |
c |     45549 |  121592   249637 |   79295   35182  1198499    34.1 | 82.206 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     46735 |  121306   248888 |   40435   35907  1285951    35.8 | 82.206 % |
c |     46835 |  121264   248786 |   44478   35960  1288209    35.8 | 82.623 % |
c |     46985 |  121264   248786 |   48926   36110  1295337    35.9 | 82.623 % |
c |     47211 |  121125   248464 |   53818   36215  1301784    35.9 | 82.782 % |
c |     47548 |  121125   248464 |   59200   36552  1323780    36.2 | 82.782 % |
c |     48056 |  121085   248366 |   65120   37018  1357054    36.7 | 82.831 % |
c |     48816 |  121038   248253 |   71633   37741  1396995    37.0 | 82.889 % |
c |     49957 |  121038   248253 |   78796   38882  1491934    38.4 | 82.889 % |
c |     51665 |  120776   247607 |   86676   40316  1593143    39.5 | 83.220 % |
c |     54227 |  120578   247108 |   95343   42660  1731750    40.6 | 83.482 % |
c |     58071 |  120466   246838 |  104877   46186  2175305    47.1 | 83.621 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     60431 |  120513   246983 |   40171   48546  2396212    49.4 | 83.621 % |
c |     60532 |  120390   246680 |   44188   48589  2397470    49.3 | 83.755 % |
c |     60682 |  120383   246663 |   48606   48619  2401968    49.4 | 83.763 % |
c |     60908 |  120383   246663 |   53467   48845  2416094    49.5 | 83.763 % |
c |     61245 |  120379   246653 |   58814   49181  2436369    49.5 | 83.769 % |
c |     61751 |  120334   246550 |   64695   49651  2463070    49.6 | 83.819 % |
c |     62510 |  120334   246550 |   71165   50410  2525544    50.1 | 83.819 % |
c |     63649 |  120329   246539 |   78281   51547  2594009    50.3 | 83.824 % |
c |     65357 |  120324   246528 |   86110   53252  2746627    51.6 | 83.830 % |
c |     67920 |  120284   246428 |   94721   55627  3049475    54.8 | 83.880 % |
c |     71764 |  120284   246428 |  104193   59471  3664380    61.6 | 83.880 % |
c |     77531 |  120274   246404 |  114612   65223  4262331    65.4 | 83.893 % |
c |     86180 |  120039   245833 |  126073   73304  5452615    74.4 | 84.182 % |
c |     99154 |  119824   245314 |  138681   85604  7053597    82.4 | 84.444 % |
c |    118615 |  119399   244284 |  152549  104335  9894511    94.8 | 84.960 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    131166 |  119128   243585 |   39709  115450 11394890    98.7 | 84.960 % |
c |    131266 |  119128   243585 |   43679   25589  1732926    67.7 | 85.318 % |
c |    131416 |  119109   243538 |   48047   25717  1737032    67.5 | 85.343 % |
c |    131641 |  119109   243538 |   52852   25942  1754432    67.6 | 85.343 % |
c |    131978 |  119109   243538 |   58137   26279  1788678    68.1 | 85.343 % |
c |    132485 |  119109   243538 |   63951   26786  1831948    68.4 | 85.343 % |
c |    133246 |  119103   243524 |   70346   27545  1879086    68.2 | 85.350 % |
c |    134385 |  119103   243524 |   77381   28684  2005655    69.9 | 85.350 % |
c |    136093 |  119103   243524 |   85119   30392  2181580    71.8 | 85.350 % |
c |    138655 |  119018   243320 |   93631   32806  2505869    76.4 | 85.453 % |
c |    142499 |  118947   243149 |  102994   36618  2957459    80.8 | 85.540 % |
c |    148265 |  118904   243048 |  113294   42373  3999187    94.4 | 85.591 % |
c |    156914 |  118778   242752 |  124623   50901  5151512   101.2 | 85.739 % |
c |    169890 |  118778   242752 |  137086   63877  7363093   115.3 | 85.739 % |
c |    189352 |  118712   242584 |  150794   83215 10573767   127.1 | 85.828 % |
c ==============================================================================
c [1mFound solution: -49[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    192438 |  118734   242648 |   39578   86301 11024722   127.7 | 85.828 % |
c |    192538 |  118734   242648 |   43535   86401 11032497   127.7 | 85.811 % |
c |    192688 |  118734   242648 |   47889   86551 11044645   127.6 | 85.811 % |
c |    192914 |  118734   242648 |   52678   86777 11050467   127.3 | 85.811 % |
c |    193252 |  118660   242476 |   57946   87109 11062072   127.0 | 85.897 % |
c |    193758 |  118660   242476 |   63740   87615 11140756   127.2 | 85.897 % |
c |    194517 |  118651   242455 |   70114   88372 11223980   127.0 | 85.907 % |
c |    195660 |  118651   242455 |   77126   89515 11423672   127.6 | 85.907 % |
c |    197369 |  118651   242455 |   84838   91224 11599410   127.2 | 85.907 % |
c |    199931 |  118651   242455 |   93322   93786 11943051   127.3 | 85.907 % |
c |    203776 |  118619   242379 |  102655   97621 12547536   128.5 | 85.946 % |
c |    209542 |  118619   242379 |  112920  103387 13545077   131.0 | 85.946 % |
c |    218192 |  118619   242379 |  124212  112037 14738228   131.5 | 85.946 % |
c |    231166 |  118619   242379 |  136633  125011 16463619   131.7 | 85.946 % |
c |    250628 |  118619   242379 |  150297  144473 19099031   132.2 | 85.946 % |
c |    279820 |  118619   242379 |  165327  173665 23277081   134.0 | 85.946 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -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 -C258 -C257 -C256 C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C1#### 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.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (runsolver) R 26495 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421064125 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6241 0 0 0 981 17 0 0 25 0 1 0 421064125 28090368 6219 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6858 6219 603 41 0 6817 0
vsize: 27432
[startup+20.0014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6249 0 0 0 1980 18 0 0 25 0 1 0 421064125 28090368 6227 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6858 6227 603 41 0 6817 0
vsize: 27432
[startup+30.0021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6252 0 0 0 2979 18 0 0 25 0 1 0 421064125 28090368 6230 4294967295 134512640 134672761 3221224640 3221223832 134556677 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6858 6230 603 41 0 6817 0
vsize: 27432
[startup+40.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6261 0 0 0 3978 18 0 0 25 0 1 0 421064125 28090368 6239 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6858 6239 603 41 0 6817 0
vsize: 27432
[startup+50.0036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6265 0 0 0 4978 18 0 0 25 0 1 0 421064125 28090368 6243 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6858 6243 603 41 0 6817 0
vsize: 27432
[startup+60.0033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6273 0 0 0 5978 19 0 0 25 0 1 0 421064125 28225536 6251 4294967295 134512640 134672761 3221224640 3221223812 134556671 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6891 6251 603 41 0 6850 0
vsize: 27564
[startup+70.0045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6281 0 0 0 6979 19 0 0 25 0 1 0 421064125 28225536 6259 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6891 6259 603 41 0 6850 0
vsize: 27564
[startup+80.0049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6290 0 0 0 7979 19 0 0 25 0 1 0 421064125 28225536 6268 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6891 6268 603 41 0 6850 0
vsize: 27564
[startup+90.0047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6297 0 0 0 8979 19 0 0 25 0 1 0 421064125 28225536 6275 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6891 6275 603 41 0 6850 0
vsize: 27564
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6309 0 0 0 9979 19 0 0 25 0 1 0 421064125 28360704 6287 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6924 6287 603 41 0 6883 0
vsize: 27696
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6325 0 0 0 10979 19 0 0 25 0 1 0 421064125 28360704 6303 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6924 6303 603 41 0 6883 0
vsize: 27696
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6352 0 0 0 11979 19 0 0 25 0 1 0 421064125 28495872 6330 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6957 6330 603 41 0 6916 0
vsize: 27828
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6384 0 0 0 12979 19 0 0 25 0 1 0 421064125 28631040 6362 4294967295 134512640 134672761 3221224640 3221223640 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6990 6362 603 41 0 6949 0
vsize: 27960
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6620 0 0 0 13979 20 0 0 25 0 1 0 421064125 29974528 6596 4294967295 134512640 134672761 3221224640 3221222604 134522479 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7318 6596 603 41 0 7277 0
vsize: 29272
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6714 0 0 0 14979 20 0 0 25 0 1 0 421064125 30380032 6690 4294967295 134512640 134672761 3221224640 3221223788 134560631 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7417 6690 603 41 0 7376 0
vsize: 29668
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 6923 0 0 0 15978 21 0 0 25 0 1 0 421064125 31191040 6867 4294967295 134512640 134672761 3221224640 3221223776 134560683 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7615 6867 603 41 0 7574 0
vsize: 30460
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 7229 0 0 0 16976 23 0 0 25 0 1 0 421064125 32407552 7173 4294967295 134512640 134672761 3221224640 3221223808 134561264 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7912 7173 603 41 0 7871 0
vsize: 31648
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 7621 0 0 0 17974 24 0 0 25 0 1 0 421064125 33939456 7534 4294967295 134512640 134672761 3221224640 3221223776 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8286 7534 603 41 0 8245 0
vsize: 33144
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 7949 0 0 0 18974 25 0 0 25 0 1 0 421064125 35246080 7830 4294967295 134512640 134672761 3221224640 3221223812 134556688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8605 7830 603 41 0 8564 0
vsize: 34420
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 8288 0 0 0 19973 26 0 0 25 0 1 0 421064125 36585472 8169 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8932 8169 603 41 0 8891 0
vsize: 35728
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 8747 0 0 0 20971 28 0 0 25 0 1 0 421064125 38457344 8628 4294967295 134512640 134672761 3221224640 3221223744 134559964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9389 8628 603 41 0 9348 0
vsize: 37556
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 9182 0 0 0 21970 29 0 0 25 0 1 0 421064125 40058880 9032 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9780 9032 603 41 0 9739 0
vsize: 39120
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 9560 0 0 0 22968 31 0 0 25 0 1 0 421064125 41660416 9410 4294967295 134512640 134672761 3221224640 3221223808 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10171 9410 603 41 0 10130 0
vsize: 40684
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 10056 0 0 0 23967 33 0 0 25 0 1 0 421064125 43671552 9906 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10662 9906 603 41 0 10621 0
vsize: 42648
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 10624 0 0 0 24966 34 0 0 25 0 1 0 421064125 45932544 10474 4294967295 134512640 134672761 3221224640 3221223744 134559929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11214 10474 603 41 0 11173 0
vsize: 44856
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 11016 0 0 0 25965 35 0 0 25 0 1 0 421064125 47538176 10866 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11606 10866 603 41 0 11565 0
vsize: 46424
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 11366 0 0 0 26964 36 0 0 25 0 1 0 421064125 49147904 11216 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11999 11216 603 41 0 11958 0
vsize: 47996
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 11848 0 0 0 27962 38 0 0 25 0 1 0 421064125 51167232 11698 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12492 11698 603 41 0 12451 0
vsize: 49968
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 12334 0 0 0 28960 40 0 0 25 0 1 0 421064125 53182464 12184 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12984 12184 603 41 0 12943 0
vsize: 51936
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 12710 0 0 0 29960 40 0 0 25 0 1 0 421064125 54661120 12560 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13345 12560 603 41 0 13304 0
vsize: 53380
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 13080 0 0 0 30959 41 0 0 25 0 1 0 421064125 56139776 12930 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13706 12930 603 41 0 13665 0
vsize: 54824
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 13365 0 0 0 31958 42 0 0 25 0 1 0 421064125 57339904 13215 4294967295 134512640 134672761 3221224640 3221223808 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13999 13215 603 41 0 13958 0
vsize: 55996
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 13791 0 0 0 32957 44 0 0 25 0 1 0 421064125 59088896 13641 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14426 13641 603 41 0 14385 0
vsize: 57704
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 14198 0 0 0 33956 45 0 0 25 0 1 0 421064125 60694528 14048 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14818 14048 603 41 0 14777 0
vsize: 59272
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 14543 0 0 0 34955 46 0 0 25 0 1 0 421064125 62173184 14393 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15179 14393 603 41 0 15138 0
vsize: 60716
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 14943 0 0 0 35953 48 0 0 25 0 1 0 421064125 63787008 14793 4294967295 134512640 134672761 3221224640 3221223808 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15573 14793 603 41 0 15532 0
vsize: 62292
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 15306 0 0 0 36952 50 0 0 25 0 1 0 421064125 65265664 15156 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15934 15156 603 41 0 15893 0
vsize: 63736
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 15870 0 0 0 37951 51 0 0 25 0 1 0 421064125 67534848 15720 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16488 15720 603 41 0 16447 0
vsize: 65952
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 16187 0 0 0 38950 52 0 0 25 0 1 0 421064125 68874240 16037 4294967295 134512640 134672761 3221224640 3221223788 134560552 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16815 16037 603 41 0 16774 0
vsize: 67260
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 16544 0 0 0 39950 52 0 0 25 0 1 0 421064125 70352896 16394 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17176 16394 603 41 0 17135 0
vsize: 68704
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 16964 0 0 0 40949 53 0 0 25 0 1 0 421064125 71942144 16814 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17564 16814 603 41 0 17523 0
vsize: 70256
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 17120 0 0 0 41949 54 0 0 25 0 1 0 421064125 72613888 16970 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17728 16970 603 41 0 17687 0
vsize: 70912
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 17383 0 0 0 42948 55 0 0 25 0 1 0 421064125 73691136 17233 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17991 17233 603 41 0 17950 0
vsize: 71964
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 17501 0 0 0 43947 55 0 0 25 0 1 0 421064125 74231808 17351 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18123 17351 603 41 0 18082 0
vsize: 72492
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 17962 0 0 0 44947 56 0 0 25 0 1 0 421064125 76107776 17812 4294967295 134512640 134672761 3221224640 3221223808 134561378 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18581 17812 603 41 0 18540 0
vsize: 74324
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18345 0 0 0 45945 58 0 0 25 0 1 0 421064125 77586432 18195 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18942 18195 603 41 0 18901 0
vsize: 75768
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18638 0 0 0 46945 58 0 0 25 0 1 0 421064125 78794752 18488 4294967295 134512640 134672761 3221224640 3221223808 134561127 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19237 18488 603 41 0 19196 0
vsize: 76948
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 47944 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223940 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 48943 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223744 134554910 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 49943 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560822 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 50943 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 51943 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223840 134557887 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 52944 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 53944 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134561161 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 54944 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 55944 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 56944 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 57944 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 58945 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 59945 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 60945 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560855 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 61945 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223776 134560677 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 62945 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223824 134559489 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 63945 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 64946 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 65946 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 66946 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223744 134560510 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 18995 0 0 0 67946 60 0 0 25 0 1 0 421064125 80064512 18813 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19547 18813 603 41 0 19506 0
vsize: 78188
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 19018 0 0 0 68945 60 0 0 25 0 1 0 421064125 80195584 18836 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19579 18836 603 41 0 19538 0
vsize: 78316
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 19338 0 0 0 69943 62 0 0 25 0 1 0 421064125 81539072 19156 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19907 19156 603 41 0 19866 0
vsize: 79628
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 19651 0 0 0 70942 63 0 0 25 0 1 0 421064125 82751488 19469 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20203 19469 603 41 0 20162 0
vsize: 80812
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 20001 0 0 0 71941 64 0 0 25 0 1 0 421064125 84226048 19819 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20563 19819 603 41 0 20522 0
vsize: 82252
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 20351 0 0 0 72939 66 0 0 25 0 1 0 421064125 85700608 20169 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20923 20169 603 41 0 20882 0
vsize: 83692
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 20721 0 0 0 73938 67 0 0 25 0 1 0 421064125 87162880 20539 4294967295 134512640 134672761 3221224640 3221223776 134560628 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21280 20539 603 41 0 21239 0
vsize: 85120
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 21091 0 0 0 74938 68 0 0 25 0 1 0 421064125 88768512 20909 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21672 20909 603 41 0 21631 0
vsize: 86688
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 21414 0 0 0 75936 70 0 0 25 0 1 0 421064125 89972736 21232 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21966 21232 603 41 0 21925 0
vsize: 87864
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 21707 0 0 0 76936 70 0 0 25 0 1 0 421064125 91176960 21525 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22260 21525 603 41 0 22219 0
vsize: 89040
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 21970 0 0 0 77935 71 0 0 25 0 1 0 421064125 92250112 21788 4294967295 134512640 134672761 3221224640 3221223776 134560596 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22522 21788 603 41 0 22481 0
vsize: 90088
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 22249 0 0 0 78934 72 0 0 25 0 1 0 421064125 93450240 22067 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22815 22067 603 41 0 22774 0
vsize: 91260
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 22510 0 0 0 79934 72 0 0 25 0 1 0 421064125 94515200 22328 4294967295 134512640 134672761 3221224640 3221223796 134561241 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23075 22328 603 41 0 23034 0
vsize: 92300
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 22814 0 0 0 80934 73 0 0 25 0 1 0 421064125 95715328 22632 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23368 22632 603 41 0 23327 0
vsize: 93472
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 23103 0 0 0 81932 74 0 0 25 0 1 0 421064125 96923648 22921 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23663 22921 603 41 0 23622 0
vsize: 94652
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 23400 0 0 0 82932 75 0 0 25 0 1 0 421064125 98119680 23218 4294967295 134512640 134672761 3221224640 3221223744 134559922 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23955 23218 603 41 0 23914 0
vsize: 95820
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 23665 0 0 0 83930 77 0 0 25 0 1 0 421064125 99192832 23483 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24217 23483 603 41 0 24176 0
vsize: 96868
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 23923 0 0 0 84930 77 0 0 25 0 1 0 421064125 100249600 23741 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24475 23741 603 41 0 24434 0
vsize: 97900
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 24178 0 0 0 85929 78 0 0 25 0 1 0 421064125 101306368 23996 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24733 23996 603 41 0 24692 0
vsize: 98932
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 24393 0 0 0 86929 79 0 0 25 0 1 0 421064125 102244352 24211 4294967295 134512640 134672761 3221224640 3221223744 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24962 24211 603 41 0 24921 0
vsize: 99848
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 24655 0 0 0 87928 80 0 0 25 0 1 0 421064125 103309312 24473 4294967295 134512640 134672761 3221224640 3221223808 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25222 24473 603 41 0 25181 0
vsize: 100888
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 24911 0 0 0 88928 80 0 0 25 0 1 0 421064125 104255488 24729 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25453 24729 603 41 0 25412 0
vsize: 101812
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 25178 0 0 0 89927 81 0 0 25 0 1 0 421064125 105988096 24996 4294967295 134512640 134672761 3221224640 3221223808 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25876 24996 603 41 0 25835 0
vsize: 103504
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 25431 0 0 0 90927 81 0 0 25 0 1 0 421064125 106909696 25249 4294967295 134512640 134672761 3221224640 3221223776 134560577 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26101 25249 603 41 0 26060 0
vsize: 104404
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 25702 0 0 0 91927 82 0 0 25 0 1 0 421064125 108105728 25520 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26393 25520 603 41 0 26352 0
vsize: 105572
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 25942 0 0 0 92926 82 0 0 25 0 1 0 421064125 109035520 25760 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26620 25760 603 41 0 26579 0
vsize: 106480
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 26251 0 0 0 93925 83 0 0 25 0 1 0 421064125 110231552 26069 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26912 26069 603 41 0 26871 0
vsize: 107648
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 26500 0 0 0 94925 84 0 0 25 0 1 0 421064125 111288320 26318 4294967295 134512640 134672761 3221224640 3221223808 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27170 26318 603 41 0 27129 0
vsize: 108680
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26496
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 26805 0 0 0 95925 85 0 0 25 0 1 0 421064125 112488448 26623 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27463 26623 603 41 0 27422 0
vsize: 109852
[startup+970.017 s]
Raw data (loadavg): 1.07 0.99 0.91 2/57 26533
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 27065 0 0 0 96924 85 0 0 25 0 1 0 421064125 113565696 26883 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27726 26883 603 41 0 27685 0
vsize: 110904
[startup+980.017 s]
Raw data (loadavg): 1.21 1.02 0.93 2/54 26549
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 27262 0 0 0 97923 86 0 0 25 0 1 0 421064125 114368512 27080 4294967295 134512640 134672761 3221224640 3221223744 134559853 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27922 27080 603 41 0 27881 0
vsize: 111688
[startup+990.017 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 26549
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 27485 0 0 0 98923 86 0 0 25 0 1 0 421064125 115306496 27303 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28151 27303 603 41 0 28110 0
vsize: 112604
[startup+1000.02 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 26549
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 27677 0 0 0 99922 87 0 0 25 0 1 0 421064125 116097024 27495 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28344 27495 603 41 0 28303 0
vsize: 113376
[startup+1010.02 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 26549
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 27868 0 0 0 100922 87 0 0 25 0 1 0 421064125 116899840 27686 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28540 27686 603 41 0 28499 0
vsize: 114160
[startup+1020.02 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 26549
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 28104 0 0 0 101922 88 0 0 25 0 1 0 421064125 117833728 27922 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28768 27922 603 41 0 28727 0
vsize: 115072
[startup+1030.02 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 26549
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 28353 0 0 0 102922 88 0 0 25 0 1 0 421064125 118906880 28171 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29030 28171 603 41 0 28989 0
vsize: 116120
[startup+1040.02 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 26549
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 28633 0 0 0 103921 89 0 0 25 0 1 0 421064125 119975936 28451 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29291 28451 603 41 0 29250 0
vsize: 117164
[startup+1050.02 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 28884 0 0 0 104920 90 0 0 25 0 1 0 421064125 121032704 28702 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29549 28702 603 41 0 29508 0
vsize: 118196
[startup+1060.02 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 29137 0 0 0 105919 91 0 0 25 0 1 0 421064125 121970688 28955 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29778 28955 603 41 0 29737 0
vsize: 119112
[startup+1070.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 29373 0 0 0 106919 92 0 0 25 0 1 0 421064125 123031552 29191 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30037 29191 603 41 0 29996 0
vsize: 120148
[startup+1080.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 29585 0 0 0 107918 92 0 0 25 0 1 0 421064125 123817984 29403 4294967295 134512640 134672761 3221224640 3221223808 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30229 29403 603 41 0 30188 0
vsize: 120916
[startup+1090.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 29800 0 0 0 108918 93 0 0 25 0 1 0 421064125 124747776 29618 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30456 29618 603 41 0 30415 0
vsize: 121824
[startup+1100.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 30020 0 0 0 109918 93 0 0 25 0 1 0 421064125 125673472 29838 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30682 29838 603 41 0 30641 0
vsize: 122728
[startup+1110.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 30224 0 0 0 110917 94 0 0 25 0 1 0 421064125 126472192 30042 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30877 30042 603 41 0 30836 0
vsize: 123508
[startup+1120.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 30454 0 0 0 111917 95 0 0 25 0 1 0 421064125 127418368 30272 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31108 30272 603 41 0 31067 0
vsize: 124432
[startup+1130.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 30666 0 0 0 112916 96 0 0 25 0 1 0 421064125 128212992 30484 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31302 30484 603 41 0 31261 0
vsize: 125208
[startup+1140.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 30878 0 0 0 113915 97 0 0 25 0 1 0 421064125 129138688 30696 4294967295 134512640 134672761 3221224640 3221223744 134560191 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31528 30696 603 41 0 31487 0
vsize: 126112
[startup+1150.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 31106 0 0 0 114914 97 0 0 25 0 1 0 421064125 130068480 30924 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31755 30924 603 41 0 31714 0
vsize: 127020
[startup+1160.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 31315 0 0 0 115914 98 0 0 25 0 1 0 421064125 130867200 31133 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31950 31133 603 41 0 31909 0
vsize: 127800
[startup+1170.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 31529 0 0 0 116912 99 0 0 25 0 1 0 421064125 131805184 31347 4294967295 134512640 134672761 3221224640 3221223824 134558687 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32179 31347 603 41 0 32138 0
vsize: 128716
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 31744 0 0 0 117911 100 0 0 25 0 1 0 421064125 132608000 31562 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32375 31562 603 41 0 32334 0
vsize: 129500
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 31992 0 0 0 118911 100 0 0 25 0 1 0 421064125 133668864 31810 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32634 31810 603 41 0 32593 0
vsize: 130536
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26551
Raw data (stat): 26496 (minisat+) R 26495 24215 24214 0 -1 0 32227 0 0 0 119911 101 0 0 25 0 1 0 421064125 134602752 32045 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32862 32045 603 41 0 32821 0
vsize: 131448
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 26551
Raw data (stat): 26496 (minisat+) Z 26495 24215 24214 0 -1 12 32230 0 0 0 119911 107 0 0 25 0 1 0 421064125 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.09
CPU time (s): 1200.19
CPU user time (s): 1199.11
CPU system time (s): 1.07184
CPU usage (%): 100.008
Max. virtual memory (Kb): 131448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####