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 6021

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-14 03:01:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4483 boxname=wulflinc31 idbench=347 idsolver=12 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e21d47f954166f353681a275b560afba  /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-4.opb
REAL COMMAND:  minisat+ -cb -gs /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-4.opb /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-4.opb
IDLAUNCH: 4483
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        885528 kB
Buffers:         36220 kB
Cached:          73684 kB
SwapCached:        392 kB
Active:          54936 kB
Inactive:        58172 kB
HighTotal:      131008 kB
HighFree:        53676 kB
LowTotal:       903652 kB
LowFree:        831852 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            30488 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 03:21:02 (client local time) WITH STATUS 10 IN 1200.24 SECONDS
stats: 4483 7 1200.24 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.89 0.98 0.92 2/54 30721
Raw data (stat): 30721 (runsolver) R 30720 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481174886 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.91 0.98 0.92 2/54 30721
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6212 0 0 0 981 17 0 0 25 0 1 0 481174886 27975680 6190 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6830 6190 603 41 0 6789 0
vsize: 27320
[startup+20.0016 s]
Raw data (loadavg): 0.92 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6219 0 0 0 1980 18 0 0 25 0 1 0 481174886 27975680 6197 4294967295 134512640 134672761 3221224560 3221223776 134561997 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6830 6197 603 41 0 6789 0
vsize: 27320
[startup+30.0031 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6224 0 0 0 2980 18 0 0 25 0 1 0 481174886 27975680 6202 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6830 6202 603 41 0 6789 0
vsize: 27320
[startup+40.0023 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6232 0 0 0 3980 18 0 0 25 0 1 0 481174886 27975680 6210 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6830 6210 603 41 0 6789 0
vsize: 27320
[startup+50.0033 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6236 0 0 0 4980 18 0 0 25 0 1 0 481174886 27975680 6214 4294967295 134512640 134672761 3221224560 3221223728 134560968 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6830 6214 603 41 0 6789 0
vsize: 27320
[startup+60.0032 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6244 0 0 0 5980 18 0 0 25 0 1 0 481174886 28110848 6222 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6863 6222 603 41 0 6822 0
vsize: 27452
[startup+70.0041 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6252 0 0 0 6980 18 0 0 25 0 1 0 481174886 28110848 6230 4294967295 134512640 134672761 3221224560 3221223712 134554642 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6863 6230 603 41 0 6822 0
vsize: 27452
[startup+80.0051 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6259 0 0 0 7981 18 0 0 25 0 1 0 481174886 28110848 6237 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6863 6237 603 41 0 6822 0
vsize: 27452
[startup+90.0053 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6267 0 0 0 8981 18 0 0 25 0 1 0 481174886 28110848 6245 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6863 6245 603 41 0 6822 0
vsize: 27452
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6277 0 0 0 9981 19 0 0 25 0 1 0 481174886 28246016 6255 4294967295 134512640 134672761 3221224560 3221223824 134562225 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6896 6255 603 41 0 6855 0
vsize: 27584
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6296 0 0 0 10981 19 0 0 25 0 1 0 481174886 28246016 6274 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6896 6274 603 41 0 6855 0
vsize: 27584
[startup+120.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6315 0 0 0 11981 19 0 0 25 0 1 0 481174886 28381184 6293 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6929 6293 603 41 0 6888 0
vsize: 27716
[startup+130.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6347 0 0 0 12981 19 0 0 25 0 1 0 481174886 28516352 6325 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6962 6325 603 41 0 6921 0
vsize: 27848
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6515 0 0 0 13981 19 0 0 25 0 1 0 481174886 29581312 6493 4294967295 134512640 134672761 3221224560 3221223696 134565119 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7222 6493 603 41 0 7181 0
vsize: 28888
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6604 0 0 0 14981 20 0 0 25 0 1 0 481174886 30011392 6582 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7327 6582 603 41 0 7286 0
vsize: 29308
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 6745 0 0 0 15981 20 0 0 25 0 1 0 481174886 30552064 6723 4294967295 134512640 134672761 3221224560 3221223732 134556627 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7459 6723 603 41 0 7418 0
vsize: 29836
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 7040 0 0 0 16980 21 0 0 25 0 1 0 481174886 31768576 7018 4294967295 134512640 134672761 3221224560 3221223744 134559556 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7756 7018 603 41 0 7715 0
vsize: 31024
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 7432 0 0 0 17978 22 0 0 25 0 1 0 481174886 33386496 7410 4294967295 134512640 134672761 3221224560 3221223720 134559749 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8151 7410 603 41 0 8110 0
vsize: 32604
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 7722 0 0 0 18976 24 0 0 25 0 1 0 481174886 34648064 7700 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8459 7700 603 41 0 8418 0
vsize: 33836
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 8034 0 0 0 19976 25 0 0 25 0 1 0 481174886 35958784 8012 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8779 8012 603 41 0 8738 0
vsize: 35116
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 8419 0 0 0 20974 26 0 0 25 0 1 0 481174886 37437440 8397 4294967295 134512640 134672761 3221224560 3221223664 134560335 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9140 8397 603 41 0 9099 0
vsize: 36560
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 8917 0 0 0 21973 28 0 0 25 0 1 0 481174886 39583744 8895 4294967295 134512640 134672761 3221224560 3221223728 134560994 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9664 8895 603 41 0 9623 0
vsize: 38656
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 9214 0 0 0 22972 29 0 0 25 0 1 0 481174886 40775680 9192 4294967295 134512640 134672761 3221224560 3221223744 134559161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9955 9192 603 41 0 9914 0
vsize: 39820
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 9689 0 0 0 23970 31 0 0 25 0 1 0 481174886 42668032 9667 4294967295 134512640 134672761 3221224560 3221223716 134565154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10417 9667 603 41 0 10376 0
vsize: 41668
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30723
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 10230 0 0 0 24968 33 0 0 25 0 1 0 481174886 44818432 10208 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10942 10208 603 41 0 10901 0
vsize: 43768
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 10618 0 0 0 25967 35 0 0 25 0 1 0 481174886 46432256 10596 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11336 10596 603 41 0 11295 0
vsize: 45344
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 11088 0 0 0 26965 37 0 0 25 0 1 0 481174886 48582656 11066 4294967295 134512640 134672761 3221224560 3221223728 134560954 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11861 11066 603 41 0 11820 0
vsize: 47444
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 11431 0 0 0 27964 38 0 0 25 0 1 0 481174886 50057216 11409 4294967295 134512640 134672761 3221224560 3221223732 134556632 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12221 11409 603 41 0 12180 0
vsize: 48884
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 11839 0 0 0 28963 39 0 0 25 0 1 0 481174886 51658752 11817 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12612 11817 603 41 0 12571 0
vsize: 50448
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 12349 0 0 0 29962 40 0 0 25 0 1 0 481174886 53669888 12327 4294967295 134512640 134672761 3221224560 3221223664 134560269 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13103 12327 603 41 0 13062 0
vsize: 52412
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 12699 0 0 0 30961 41 0 0 25 0 1 0 481174886 55144448 12677 4294967295 134512640 134672761 3221224560 3221223516 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13463 12677 603 41 0 13422 0
vsize: 53852
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 12998 0 0 0 31961 42 0 0 25 0 1 0 481174886 56356864 12976 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13759 12976 603 41 0 13718 0
vsize: 55036
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 13315 0 0 0 32960 43 0 0 25 0 1 0 481174886 57700352 13293 4294967295 134512640 134672761 3221224560 3221223732 134556682 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14087 13293 603 41 0 14046 0
vsize: 56348
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 13794 0 0 0 33958 45 0 0 25 0 1 0 481174886 59588608 13772 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14548 13772 603 41 0 14507 0
vsize: 58192
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 14155 0 0 0 34957 46 0 0 25 0 1 0 481174886 61059072 14133 4294967295 134512640 134672761 3221224560 3221223684 134566109 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14907 14133 603 41 0 14866 0
vsize: 59628
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 14500 0 0 0 35956 47 0 0 25 0 1 0 481174886 62537728 14478 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15268 14478 603 41 0 15227 0
vsize: 61072
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 14836 0 0 0 36955 48 0 0 25 0 1 0 481174886 63877120 14814 4294967295 134512640 134672761 3221224560 3221223664 134559838 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15595 14814 603 41 0 15554 0
vsize: 62380
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 15287 0 0 0 37954 50 0 0 25 0 1 0 481174886 65626112 15265 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16022 15265 603 41 0 15981 0
vsize: 64088
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 15781 0 0 0 38953 51 0 0 25 0 1 0 481174886 67641344 15759 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16514 15759 603 41 0 16473 0
vsize: 66056
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 16106 0 0 0 39952 52 0 0 25 0 1 0 481174886 68988928 16084 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16843 16084 603 41 0 16802 0
vsize: 67372
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 16437 0 0 0 40951 53 0 0 25 0 1 0 481174886 70324224 16415 4294967295 134512640 134672761 3221224560 3221223760 134557913 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17169 16415 603 41 0 17128 0
vsize: 68676
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 16815 0 0 0 41950 55 0 0 25 0 1 0 481174886 71925760 16793 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17560 16793 603 41 0 17519 0
vsize: 70240
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 16992 0 0 0 42949 56 0 0 25 0 1 0 481174886 72601600 16970 4294967295 134512640 134672761 3221224560 3221223664 134560264 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17725 16970 603 41 0 17684 0
vsize: 70900
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 17227 0 0 0 43949 56 0 0 25 0 1 0 481174886 73543680 17205 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17955 17205 603 41 0 17914 0
vsize: 71820
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 17357 0 0 0 44948 57 0 0 25 0 1 0 481174886 74080256 17335 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18086 17335 603 41 0 18045 0
vsize: 72344
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 17804 0 0 0 45947 57 0 0 25 0 1 0 481174886 75964416 17782 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18546 17782 603 41 0 18505 0
vsize: 74184
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18173 0 0 0 46946 58 0 0 25 0 1 0 481174886 77438976 18151 4294967295 134512640 134672761 3221224560 3221223728 134561234 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18906 18151 603 41 0 18865 0
vsize: 75624
[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18455 0 0 0 47946 58 0 0 25 0 1 0 481174886 78516224 18433 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19169 18433 603 41 0 19128 0
vsize: 76676
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 48946 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223860 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 49946 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 50946 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 51946 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 52946 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223664 134559862 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 53946 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 54947 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 55947 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223696 134560642 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 56947 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 57947 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 58947 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+600.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 59948 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+610.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 60948 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 61948 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223696 134560585 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+630.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 62948 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 63948 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+650.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 64949 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+660.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 65949 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 66949 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+680.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 67949 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223708 134560552 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+690.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 68949 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223860 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+700.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18775 0 0 0 69949 59 0 0 25 0 1 0 481174886 79839232 18753 4294967295 134512640 134672761 3221224560 3221223696 134560688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19492 18753 603 41 0 19451 0
vsize: 77968
[startup+710.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 18936 0 0 0 70949 60 0 0 25 0 1 0 481174886 80510976 18914 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19656 18914 603 41 0 19615 0
vsize: 78624
[startup+720.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 19262 0 0 0 71948 61 0 0 25 0 1 0 481174886 81854464 19240 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19984 19240 603 41 0 19943 0
vsize: 79936
[startup+730.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 19597 0 0 0 72947 62 0 0 25 0 1 0 481174886 83206144 19575 4294967295 134512640 134672761 3221224560 3221223728 134561278 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20314 19575 603 41 0 20273 0
vsize: 81256
[startup+740.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 19936 0 0 0 73946 63 0 0 25 0 1 0 481174886 84684800 19914 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20675 19914 603 41 0 20634 0
vsize: 82700
[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 20261 0 0 0 74946 64 0 0 25 0 1 0 481174886 86024192 20239 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21002 20239 603 41 0 20961 0
vsize: 84008
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 20611 0 0 0 75946 64 0 0 25 0 1 0 481174886 87351296 20589 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21326 20589 603 41 0 21285 0
vsize: 85304
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 20980 0 0 0 76945 65 0 0 25 0 1 0 481174886 88948736 20958 4294967295 134512640 134672761 3221224560 3221223728 134560806 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21716 20958 603 41 0 21675 0
vsize: 86864
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 21269 0 0 0 77944 66 0 0 25 0 1 0 481174886 90148864 21247 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22009 21247 603 41 0 21968 0
vsize: 88036
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 21546 0 0 0 78944 66 0 0 25 0 1 0 481174886 91213824 21524 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22269 21524 603 41 0 22228 0
vsize: 89076
[startup+800.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 21816 0 0 0 79944 67 0 0 25 0 1 0 481174886 92286976 21794 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22531 21794 603 41 0 22490 0
vsize: 90124
[startup+810.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 22071 0 0 0 80943 68 0 0 25 0 1 0 481174886 93356032 22049 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22792 22049 603 41 0 22751 0
vsize: 91168
[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 22313 0 0 0 81943 68 0 0 25 0 1 0 481174886 94433280 22291 4294967295 134512640 134672761 3221224560 3221223728 134561266 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23055 22291 603 41 0 23014 0
vsize: 92220
[startup+830.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 22628 0 0 0 82942 69 0 0 25 0 1 0 481174886 95625216 22606 4294967295 134512640 134672761 3221224560 3221223664 134555211 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23346 22606 603 41 0 23305 0
vsize: 93384
[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 22903 0 0 0 83942 70 0 0 25 0 1 0 481174886 96829440 22881 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23640 22881 603 41 0 23599 0
vsize: 94560
[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 23198 0 0 0 84940 71 0 0 25 0 1 0 481174886 98037760 23176 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23935 23176 603 41 0 23894 0
vsize: 95740
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 23452 0 0 0 85940 72 0 0 25 0 1 0 481174886 98975744 23430 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24164 23430 603 41 0 24123 0
vsize: 96656
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 23702 0 0 0 86939 73 0 0 25 0 1 0 481174886 100032512 23680 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24422 23680 603 41 0 24381 0
vsize: 97688
[startup+880.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 23950 0 0 0 87939 73 0 0 25 0 1 0 481174886 101089280 23928 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24680 23928 603 41 0 24639 0
vsize: 98720
[startup+890.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 24157 0 0 0 88938 74 0 0 25 0 1 0 481174886 101883904 24135 4294967295 134512640 134672761 3221224560 3221223744 134559161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24874 24136 603 41 0 24833 0
vsize: 99496
[startup+900.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 24407 0 0 0 89938 74 0 0 25 0 1 0 481174886 102961152 24385 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25137 24385 603 41 0 25096 0
vsize: 100548
[startup+910.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 24656 0 0 0 90938 75 0 0 25 0 1 0 481174886 103903232 24634 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25367 24634 603 41 0 25326 0
vsize: 101468
[startup+920.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 24919 0 0 0 91937 75 0 0 25 0 1 0 481174886 105492480 24897 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25755 24897 603 41 0 25714 0
vsize: 103020
[startup+930.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 25160 0 0 0 92936 77 0 0 25 0 1 0 481174886 106545152 25138 4294967295 134512640 134672761 3221224560 3221223664 134560169 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26012 25138 603 41 0 25971 0
vsize: 104048
[startup+940.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 25424 0 0 0 93936 78 0 0 25 0 1 0 481174886 107606016 25402 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26271 25402 603 41 0 26230 0
vsize: 105084
[startup+950.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 25668 0 0 0 94935 78 0 0 25 0 1 0 481174886 108535808 25646 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26498 25646 603 41 0 26457 0
vsize: 105992
[startup+960.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 25936 0 0 0 95935 79 0 0 25 0 1 0 481174886 109608960 25914 4294967295 134512640 134672761 3221224560 3221223664 134560212 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26760 25914 603 41 0 26719 0
vsize: 107040
[startup+970.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 26203 0 0 0 96934 80 0 0 25 0 1 0 481174886 110678016 26181 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27021 26181 603 41 0 26980 0
vsize: 108084
[startup+980.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 26483 0 0 0 97933 81 0 0 25 0 1 0 481174886 111878144 26461 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27314 26461 603 41 0 27273 0
vsize: 109256
[startup+990.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 26750 0 0 0 98932 82 0 0 25 0 1 0 481174886 112951296 26728 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27576 26728 603 41 0 27535 0
vsize: 110304
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 26962 0 0 0 99932 82 0 0 25 0 1 0 481174886 113889280 26940 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27805 26940 603 41 0 27764 0
vsize: 111220
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 27159 0 0 0 100931 83 0 0 25 0 1 0 481174886 114696192 27137 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28002 27137 603 41 0 27961 0
vsize: 112008
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 27374 0 0 0 101931 83 0 0 25 0 1 0 481174886 115486720 27352 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28195 27352 603 41 0 28154 0
vsize: 112780
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 27544 0 0 0 102931 84 0 0 25 0 1 0 481174886 116154368 27522 4294967295 134512640 134672761 3221224560 3221223760 134557809 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28358 27522 603 41 0 28317 0
vsize: 113432
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 27746 0 0 0 103930 85 0 0 25 0 1 0 481174886 117084160 27724 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28585 27724 603 41 0 28544 0
vsize: 114340
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 27982 0 0 0 104929 86 0 0 25 0 1 0 481174886 118013952 27960 4294967295 134512640 134672761 3221224560 3221223728 134560806 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28812 27960 603 41 0 28771 0
vsize: 115248
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 28244 0 0 0 105929 87 0 0 25 0 1 0 481174886 119070720 28222 4294967295 134512640 134672761 3221224560 3221223760 134557842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29070 28222 603 41 0 29029 0
vsize: 116280
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 28501 0 0 0 106928 87 0 0 25 0 1 0 481174886 120139776 28479 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29331 28479 603 41 0 29290 0
vsize: 117324
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 28739 0 0 0 107928 88 0 0 25 0 1 0 481174886 121069568 28717 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29558 28717 603 41 0 29517 0
vsize: 118232
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 28988 0 0 0 108927 89 0 0 25 0 1 0 481174886 122130432 28966 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29817 28966 603 41 0 29776 0
vsize: 119268
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 29212 0 0 0 109926 89 0 0 25 0 1 0 481174886 122929152 29190 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30012 29190 603 41 0 29971 0
vsize: 120048
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 29414 0 0 0 110926 90 0 0 25 0 1 0 481174886 123850752 29392 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30237 29392 603 41 0 30196 0
vsize: 120948
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 29620 0 0 0 111926 91 0 0 25 0 1 0 481174886 124649472 29598 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30432 29598 603 41 0 30391 0
vsize: 121728
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 29836 0 0 0 112925 91 0 0 25 0 1 0 481174886 125575168 29814 4294967295 134512640 134672761 3221224560 3221223576 1075353266 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30658 29814 603 41 0 30617 0
vsize: 122632
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 30030 0 0 0 113925 92 0 0 25 0 1 0 481174886 126377984 30008 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30854 30008 603 41 0 30813 0
vsize: 123416
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 30254 0 0 0 114924 93 0 0 25 0 1 0 481174886 127303680 30232 4294967295 134512640 134672761 3221224560 3221223664 134555333 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31080 30232 603 41 0 31039 0
vsize: 124320
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 30457 0 0 0 115923 94 0 0 25 0 1 0 481174886 128094208 30435 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31273 30435 603 41 0 31232 0
vsize: 125092
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 30660 0 0 0 116923 94 0 0 25 0 1 0 481174886 128888832 30638 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31467 30638 603 41 0 31426 0
vsize: 125868
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 30878 0 0 0 117922 95 0 0 25 0 1 0 481174886 129814528 30856 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31693 30856 603 41 0 31652 0
vsize: 126772
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 31079 0 0 0 118922 95 0 0 25 0 1 0 481174886 130609152 31057 4294967295 134512640 134672761 3221224560 3221223728 134561161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31887 31057 603 41 0 31846 0
vsize: 127548
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30725
Raw data (stat): 30721 (minisat+) R 30720 23176 23175 0 -1 0 31280 0 0 0 119921 96 0 0 25 0 1 0 481174886 131411968 31258 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32083 31258 603 41 0 32042 0
vsize: 128332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 30725
Raw data (stat): 30721 (minisat+) Z 30720 23176 23175 0 -1 12 31283 0 0 0 119921 102 0 0 25 0 1 0 481174886 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.1
CPU time (s): 1200.24
CPU user time (s): 1199.22
CPU system time (s): 1.02584
CPU usage (%): 100.012
Max. virtual memory (Kb): 128332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####