PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-14 04:59:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4865 boxname=wulflinc31 idbench=353 idsolver=13 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a5354df485c2b6c1695d0d26c0cdb212  /oldhome/oroussel/tmp/wulflinc31/normalized-frb59-26-5.opb
REAL COMMAND:  minisat+ -w /oldhome/oroussel/tmp/wulflinc31/normalized-frb59-26-5.opb /oldhome/oroussel/tmp/wulflinc31/normalized-frb59-26-5.opb
IDLAUNCH: 4865
/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:        881248 kB
Buffers:         36396 kB
Cached:          77724 kB
SwapCached:        392 kB
Active:          56512 kB
Inactive:        60804 kB
HighTotal:      131008 kB
HighFree:        49532 kB
LowTotal:       903652 kB
LowFree:        831716 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            30452 kB
Committed_AS:    63504 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 05:19:36 (client local time) WITH STATUS 10 IN 1200.44 SECONDS
stats: 4865 7 1200.44 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 125982 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  125982   251964 |   41994       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:85954     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  308247   678370 |  102749       0        0     nan |  0.000 % |
c |       100 |  308247   678370 |  113023     100      907     9.1 |  0.011 % |
c |       250 |  307718   677175 |  124326     232     1463     6.3 |  0.244 % |
c |       475 |  305711   672622 |  136758     422     2971     7.0 |  1.156 % |
c |       812 |  301633   663301 |  150434     682     4451     6.5 |  3.109 % |
c |      1318 |  294576   647114 |  165478    1074     7671     7.1 |  6.606 % |
c |      2080 |  283058   620583 |  182026    1538    11569     7.5 | 12.379 % |
c |      3220 |  268416   586714 |  200228    2262    17532     7.8 | 19.927 % |
c |      4928 |  249402   542660 |  220251    3392    32685     9.6 | 29.828 % |
c |      7490 |  220098   474430 |  242276    4785    42468     8.9 | 45.381 % |
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 |      7590 |  219445   473036 |   73148    4810    43059     9.0 | 45.381 % |
c |      7691 |  219024   472053 |   80462    4889    44352     9.1 | 46.148 % |
c |      7841 |  218016   469693 |   88509    4999    44783     9.0 | 46.683 % |
c |      8066 |  213959   460219 |   97359    5024    44824     8.9 | 48.810 % |
c |      8403 |  211106   453462 |  107095    5226    45894     8.8 | 50.371 % |
c |      8909 |  206710   443116 |  117805    5445    49108     9.0 | 52.758 % |
c |      9668 |  201885   431800 |  129586    5881    53804     9.1 | 55.418 % |
c |     10807 |  193903   413141 |  142544    6532    57620     8.8 | 59.780 % |
c |     12515 |  184266   390665 |  156799    7503    67947     9.1 | 65.023 % |
c |     15078 |  172554   363114 |  172479    8997    83017     9.2 | 71.497 % |
c |     18922 |  160850   335608 |  189727   11209   104358     9.3 | 78.126 % |
c |     24688 |  148720   307091 |  208699   13559   138431    10.2 | 84.976 % |
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 |     26950 |  147372   303854 |   49124   15146   165030    10.9 | 84.976 % |
c |     27051 |  147372   303854 |   54036   15247   166429    10.9 | 85.762 % |
c |     27201 |  147372   303854 |   59440   15397   168389    10.9 | 85.762 % |
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 |     27409 |  147440   304030 |   49146   15605   171192    11.0 | 85.762 % |
c |     27510 |  147440   304030 |   54060   15706   173601    11.1 | 85.742 % |
c |     27660 |  147428   304002 |   59466   15852   174840    11.0 | 85.748 % |
c |     27886 |  147384   303897 |   65413   16056   177923    11.1 | 85.776 % |
c |     28223 |  147224   303518 |   71954   16295   183256    11.2 | 85.871 % |
c |     28729 |  146870   302679 |   79150   16607   193847    11.7 | 86.084 % |
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 |     29147 |  146545   301889 |   48848   16745   202658    12.1 | 86.084 % |
c |     29247 |  146470   301716 |   53732   16826   203686    12.1 | 86.302 % |
c |     29398 |  146470   301716 |   59106   16977   209526    12.3 | 86.302 % |
c |     29623 |  146392   301530 |   65016   17147   212633    12.4 | 86.349 % |
c |     29960 |  146356   301444 |   71518   17477   219024    12.5 | 86.372 % |
c |     30466 |  146356   301444 |   78670   17983   234429    13.0 | 86.372 % |
c |     31225 |  146356   301444 |   86537   18742   259303    13.8 | 86.372 % |
c |     32364 |  146094   300826 |   95190   19658   292832    14.9 | 86.524 % |
c |     34072 |  145070   298416 |  104710   20346   313087    15.4 | 87.114 % |
c |     36634 |  144263   296501 |  115181   21993   392867    17.9 | 87.589 % |
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 |     38425 |  144351   296724 |   48117   23784   520894    21.9 | 87.589 % |
c |     38526 |  144293   296587 |   52928   23832   522998    21.9 | 87.612 % |
c |     38676 |  144255   296497 |   58221   23969   525591    21.9 | 87.634 % |
c |     38901 |  144255   296497 |   64043   24194   533893    22.1 | 87.634 % |
c |     39238 |  143979   295849 |   70448   24312   536586    22.1 | 87.789 % |
c |     39744 |  143796   295421 |   77492   24461   538103    22.0 | 87.890 % |
c |     40503 |  143628   295021 |   85242   25070   552519    22.0 | 87.993 % |
c |     41642 |  143446   294592 |   93766   26036   597365    22.9 | 88.101 % |
c |     43350 |  143408   294502 |  103143   27639   705746    25.5 | 88.124 % |
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 |     44615 |  143361   294380 |   47787   28730   825300    28.7 | 88.124 % |
c |     44715 |  143281   294194 |   52565   28769   827155    28.8 | 88.190 % |
c |     44865 |  143281   294194 |   57822   28919   832754    28.8 | 88.190 % |
c |     45090 |  143277   294185 |   63604   29136   840794    28.9 | 88.192 % |
c |     45427 |  143277   294185 |   69964   29473   866729    29.4 | 88.192 % |
c |     45933 |  143153   293895 |   76961   29709   882117    29.7 | 88.261 % |
c |     46692 |  142968   293458 |   84657   30274   917515    30.3 | 88.371 % |
c |     47831 |  142968   293458 |   93123   31413   954143    30.4 | 88.371 % |
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 |     48397 |  143018   293585 |   47672   31979  1026121    32.1 | 88.371 % |
c |     48497 |  143018   293585 |   52439   32079  1027073    32.0 | 88.354 % |
c |     48647 |  143018   293585 |   57683   32229  1032172    32.0 | 88.354 % |
c |     48872 |  143002   293547 |   63451   32449  1037279    32.0 | 88.364 % |
c |     49209 |  142807   293100 |   69796   32660  1046462    32.0 | 88.463 % |
c |     49715 |  142693   292830 |   76776   32819  1074099    32.7 | 88.531 % |
c |     50474 |  142444   292247 |   84453   33226  1113939    33.5 | 88.669 % |
c |     51613 |  142444   292247 |   92899   34365  1218539    35.5 | 88.669 % |
c ==============================================================================
c [1mFound solution: -50[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 |     53319 |  142393   292098 |   47464   35721  1462709    40.9 | 88.669 % |
c |     53419 |  142289   291853 |   52210   35651  1462766    41.0 | 88.754 % |
c |     53570 |  142170   291575 |   57431   35311  1456844    41.3 | 88.818 % |
c |     53795 |  142170   291575 |   63174   35536  1463976    41.2 | 88.818 % |
c |     54132 |  142079   291356 |   69492   35725  1470964    41.2 | 88.871 % |
c |     54638 |  142079   291356 |   76441   36231  1522609    42.0 | 88.871 % |
c |     55397 |  141978   291120 |   84085   36880  1591326    43.1 | 88.927 % |
c |     56536 |  141958   291073 |   92493   38002  1666807    43.9 | 88.939 % |
c |     58244 |  141891   290914 |  101743   39645  1924288    48.5 | 88.979 % |
c |     60806 |  141891   290914 |  111917   42207  2237336    53.0 | 88.979 % |
c |     64650 |  141891   290914 |  123109   46051  2676327    58.1 | 88.979 % |
c |     70418 |  141891   290914 |  135420   51819  3817191    73.7 | 88.979 % |
c ==============================================================================
c [1mFound solution: -51[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 |     75134 |  141896   290936 |   47298   56330  4312477    76.6 | 88.979 % |
c |     75234 |  141830   290779 |   52027   56264  4316324    76.7 | 89.046 % |
c |     75385 |  141830   290779 |   57230   56415  4327183    76.7 | 89.046 % |
c |     75612 |  141830   290779 |   62953   56642  4347316    76.8 | 89.046 % |
c |     75949 |  141772   290642 |   69249   56947  4366022    76.7 | 89.079 % |
c |     76455 |  141772   290642 |   76173   57453  4398536    76.6 | 89.079 % |
c |     77215 |  141772   290642 |   83791   58213  4463928    76.7 | 89.079 % |
c |     78354 |  141772   290642 |   92170   59352  4603750    77.6 | 89.079 % |
c |     80062 |  141772   290642 |  101387   61060  4764062    78.0 | 89.079 % |
c |     82624 |  141666   290391 |  111526   63399  5020161    79.2 | 89.142 % |
c |     86469 |  141605   290249 |  122678   67164  5665921    84.4 | 89.176 % |
c |     92235 |  141485   289962 |  134946   72718  6645676    91.4 | 89.251 % |
c |    100884 |  141467   289920 |  148441   81358  7921567    97.4 | 89.261 % |
c |    113859 |  141274   289463 |  163285   93755  9999148   106.7 | 89.377 % |
c |    133320 |  141258   289425 |  179614  113143 13340337   117.9 | 89.386 % |
c |    162512 |  141242   289387 |  197575  142324 19066804   134.0 | 89.396 % |
c ==============================================================================
c [1mFound solution: -52[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 |    166166 |  141014   288839 |   47004  144791 19522112   134.8 | 89.396 % |
c |    166267 |  141008   288825 |   51704   23682  2975928   125.7 | 89.520 % |
c |    166417 |  141008   288825 |   56874   23832  2986519   125.3 | 89.520 % |
c |    166642 |  141008   288825 |   62562   24057  3000290   124.7 | 89.520 % |
c |    166979 |  141008   288825 |   68818   24394  3039822   124.6 | 89.520 % |
c |    167485 |  141008   288825 |   75700   24900  3101112   124.5 | 89.520 % |
c |    168245 |  141008   288825 |   83270   25660  3207184   125.0 | 89.520 % |
c |    169384 |  140906   288585 |   91597   26779  3324691   124.2 | 89.578 % |
c |    171094 |  140896   288562 |  100757   28486  3550875   124.7 | 89.582 % |
c |    173657 |  140896   288562 |  110832   31049  3980545   128.2 | 89.583 % |
c |    177501 |  140896   288562 |  121916   34893  4523770   129.6 | 89.583 % |
c |    183267 |  140896   288562 |  134107   40659  5647651   138.9 | 89.583 % |
c |    191916 |  140872   288506 |  147518   49303  7150959   145.0 | 89.595 % |
c |    204890 |  140854   288464 |  162270   62269  9166643   147.2 | 89.605 % |
c |    224351 |  140848   288450 |  178497   81727 11828550   144.7 | 89.608 % |
c |    253543 |  140834   288418 |  196347  110914 17543183   158.2 | 89.615 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 -C1455 -C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 C1435 -C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258#### 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.93 0.97 0.92 2/54 31418
Raw data (stat): 31418 (runsolver) R 31417 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481886318 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 31418
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7370 0 0 0 976 22 0 0 25 0 1 0 481886318 32612352 7348 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7962 7348 603 41 0 7921 0
vsize: 31848
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 31418
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7373 0 0 0 1976 22 0 0 25 0 1 0 481886318 32612352 7351 4294967295 134512640 134672761 3221224560 3221223732 134556651 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7962 7351 603 41 0 7921 0
vsize: 31848
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 31418
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7375 0 0 0 2975 22 0 0 25 0 1 0 481886318 32612352 7353 4294967295 134512640 134672761 3221224560 3221223732 134556602 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7962 7353 603 41 0 7921 0
vsize: 31848
[startup+40.0095 s]
Raw data (loadavg): 1.11 1.00 0.93 2/56 31459
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7376 0 0 0 3972 23 0 0 25 0 1 0 481886318 32612352 7354 4294967295 134512640 134672761 3221224560 3221223732 134556602 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7962 7354 603 41 0 7921 0
vsize: 31848
[startup+50.0113 s]
Raw data (loadavg): 1.17 1.02 0.94 2/54 31471
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7380 0 0 0 4973 23 0 0 25 0 1 0 481886318 32747520 7358 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7995 7358 603 41 0 7954 0
vsize: 31980
[startup+60.2353 s]
Raw data (loadavg): 1.14 1.02 0.94 2/54 31471
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7380 0 0 0 5994 24 0 0 25 0 1 0 481886318 32747520 7358 4294967295 134512640 134672761 3221224560 3221223732 134556627 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7995 7358 603 41 0 7954 0
vsize: 31980
[startup+70.2364 s]
Raw data (loadavg): 1.12 1.02 0.94 2/54 31471
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7384 0 0 0 6994 24 0 0 25 0 1 0 481886318 32747520 7362 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7995 7362 603 41 0 7954 0
vsize: 31980
[startup+80.237 s]
Raw data (loadavg): 1.10 1.02 0.94 2/54 31471
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7385 0 0 0 7994 24 0 0 25 0 1 0 481886318 32747520 7363 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7995 7363 603 41 0 7954 0
vsize: 31980
[startup+90.2373 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 31471
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7390 0 0 0 8994 24 0 0 25 0 1 0 481886318 32747520 7368 4294967295 134512640 134672761 3221224560 3221223732 134556627 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7995 7368 603 41 0 7954 0
vsize: 31980
[startup+100.239 s]
Raw data (loadavg): 1.15 1.03 0.94 2/54 31471
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7391 0 0 0 9994 24 0 0 25 0 1 0 481886318 32747520 7369 4294967295 134512640 134672761 3221224560 3221223696 134560640 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7995 7369 603 41 0 7954 0
vsize: 31980
[startup+110.239 s]
Raw data (loadavg): 1.12 1.03 0.94 2/54 31471
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7624 0 0 0 10994 24 0 0 25 0 1 0 481886318 34156544 7602 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8339 7602 603 41 0 8298 0
vsize: 33356
[startup+120.24 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7624 0 0 0 11994 24 0 0 25 0 1 0 481886318 34156544 7602 4294967295 134512640 134672761 3221224560 3221223744 134556589 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8339 7602 603 41 0 8298 0
vsize: 33356
[startup+130.24 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7625 0 0 0 12994 24 0 0 25 0 1 0 481886318 34156544 7603 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8339 7603 603 41 0 8298 0
vsize: 33356
[startup+140.24 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7625 0 0 0 13994 24 0 0 25 0 1 0 481886318 34156544 7603 4294967295 134512640 134672761 3221224560 3221223696 134560622 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8339 7603 603 41 0 8298 0
vsize: 33356
[startup+150.241 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7625 0 0 0 14994 24 0 0 25 0 1 0 481886318 34156544 7603 4294967295 134512640 134672761 3221224560 3221223728 134561406 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8339 7603 603 41 0 8298 0
vsize: 33356
[startup+160.241 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7625 0 0 0 15994 24 0 0 25 0 1 0 481886318 34156544 7603 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8339 7603 603 41 0 8298 0
vsize: 33356
[startup+170.241 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7625 0 0 0 16995 24 0 0 25 0 1 0 481886318 34156544 7603 4294967295 134512640 134672761 3221224560 3221223732 134556660 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8339 7603 603 41 0 8298 0
vsize: 33356
[startup+180.242 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7659 0 0 0 17995 24 0 0 25 0 1 0 481886318 34156544 7614 4294967295 134512640 134672761 3221224560 3221223684 134566128 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8339 7614 603 41 0 8298 0
vsize: 33356
[startup+190.242 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 7815 0 0 0 18994 25 0 0 25 0 1 0 481886318 34824192 7770 4294967295 134512640 134672761 3221224560 3221223664 134559925 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8502 7770 603 41 0 8461 0
vsize: 34008
[startup+200.243 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 8158 0 0 0 19994 26 0 0 25 0 1 0 481886318 36081664 8080 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8809 8080 603 41 0 8768 0
vsize: 35236
[startup+210.243 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 8620 0 0 0 20993 27 0 0 25 0 1 0 481886318 37679104 8476 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9199 8476 603 41 0 9158 0
vsize: 36796
[startup+220.245 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 9166 0 0 0 21992 28 0 0 25 0 1 0 481886318 39899136 8990 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9741 8990 603 41 0 9700 0
vsize: 38964
[startup+230.245 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 9522 0 0 0 22991 29 0 0 25 0 1 0 481886318 41377792 9346 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10102 9346 603 41 0 10061 0
vsize: 40408
[startup+240.245 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 10043 0 0 0 23990 31 0 0 25 0 1 0 481886318 43528192 9867 4294967295 134512640 134672761 3221224560 3221223696 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10627 9867 603 41 0 10586 0
vsize: 42508
[startup+250.246 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 10655 0 0 0 24988 32 0 0 25 0 1 0 481886318 46075904 10479 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11249 10479 603 41 0 11208 0
vsize: 44996
[startup+260.246 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 11370 0 0 0 25986 35 0 0 25 0 1 0 481886318 48902144 11194 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11939 11194 603 41 0 11898 0
vsize: 47756
[startup+270.247 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 11880 0 0 0 26984 37 0 0 25 0 1 0 481886318 51040256 11704 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12461 11704 603 41 0 12420 0
vsize: 49844
[startup+280.248 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 12244 0 0 0 27983 38 0 0 25 0 1 0 481886318 52326400 12035 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12775 12035 603 41 0 12734 0
vsize: 51100
[startup+290.248 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 12642 0 0 0 28983 39 0 0 25 0 1 0 481886318 53940224 12433 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13169 12433 603 41 0 13128 0
vsize: 52676
[startup+300.248 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 12957 0 0 0 29982 40 0 0 25 0 1 0 481886318 55283712 12748 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13497 12748 603 41 0 13456 0
vsize: 53988
[startup+310.248 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 13427 0 0 0 30981 40 0 0 25 0 1 0 481886318 57417728 13218 4294967295 134512640 134672761 3221224560 3221223744 134559663 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14018 13218 603 41 0 13977 0
vsize: 56072
[startup+320.248 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 13790 0 0 0 31980 42 0 0 25 0 1 0 481886318 58888192 13581 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14377 13581 603 41 0 14336 0
vsize: 57508
[startup+330.248 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 14283 0 0 0 32978 44 0 0 25 0 1 0 481886318 60895232 14074 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14867 14074 603 41 0 14826 0
vsize: 59468
[startup+340.249 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 14733 0 0 0 33977 45 0 0 25 0 1 0 481886318 62767104 14524 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15324 14524 603 41 0 15283 0
vsize: 61296
[startup+350.249 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 15216 0 0 0 34976 47 0 0 25 0 1 0 481886318 64782336 15007 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15816 15007 603 41 0 15775 0
vsize: 63264
[startup+360.249 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 15667 0 0 0 35975 48 0 0 25 0 1 0 481886318 66519040 15458 4294967295 134512640 134672761 3221224560 3221223664 134559769 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16240 15458 603 41 0 16199 0
vsize: 64960
[startup+370.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 16005 0 0 0 36974 49 0 0 25 0 1 0 481886318 67985408 15796 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16598 15796 603 41 0 16557 0
vsize: 66392
[startup+380.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 16299 0 0 0 37973 50 0 0 25 0 1 0 481886318 69062656 16090 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16861 16090 603 41 0 16820 0
vsize: 67444
[startup+390.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 16766 0 0 0 38971 52 0 0 25 0 1 0 481886318 71073792 16557 4294967295 134512640 134672761 3221224560 3221223724 134564537 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17352 16557 603 41 0 17311 0
vsize: 69408
[startup+400.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 17121 0 0 0 39971 53 0 0 25 0 1 0 481886318 72417280 16912 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17680 16912 603 41 0 17639 0
vsize: 70720
[startup+410.251 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 31473
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 17548 0 0 0 40970 54 0 0 25 0 1 0 481886318 74272768 17339 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18133 17339 603 41 0 18092 0
vsize: 72532
[startup+420.252 s]
Raw data (loadavg): 1.08 1.02 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 17968 0 0 0 41969 55 0 0 25 0 1 0 481886318 75874304 17759 4294967295 134512640 134672761 3221224560 3221223728 134560882 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18524 17759 603 41 0 18483 0
vsize: 74096
[startup+430.252 s]
Raw data (loadavg): 1.07 1.02 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 18307 0 0 0 42968 56 0 0 25 0 1 0 481886318 77357056 18098 4294967295 134512640 134672761 3221224560 3221223716 134561032 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18886 18098 603 41 0 18845 0
vsize: 75544
[startup+440.252 s]
Raw data (loadavg): 1.06 1.01 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 18708 0 0 0 43967 57 0 0 25 0 1 0 481886318 78954496 18499 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19276 18499 603 41 0 19235 0
vsize: 77104
[startup+450.251 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 19062 0 0 0 44966 58 0 0 25 0 1 0 481886318 80412672 18853 4294967295 134512640 134672761 3221224560 3221223664 134559847 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19632 18853 603 41 0 19591 0
vsize: 78528
[startup+460.252 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 19436 0 0 0 45966 59 0 0 25 0 1 0 481886318 81883136 19227 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19991 19227 603 41 0 19950 0
vsize: 79964
[startup+470.252 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 19835 0 0 0 46964 61 0 0 25 0 1 0 481886318 83472384 19626 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20379 19626 603 41 0 20338 0
vsize: 81516
[startup+480.252 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 20233 0 0 0 47963 62 0 0 25 0 1 0 481886318 85192704 20024 4294967295 134512640 134672761 3221224560 3221223696 134565045 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20799 20024 603 41 0 20758 0
vsize: 83196
[startup+490.253 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 20589 0 0 0 48962 63 0 0 25 0 1 0 481886318 86638592 20380 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21152 20380 603 41 0 21111 0
vsize: 84608
[startup+500.253 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 20932 0 0 0 49961 64 0 0 25 0 1 0 481886318 87973888 20723 4294967295 134512640 134672761 3221224560 3221223664 134560318 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21478 20723 603 41 0 21437 0
vsize: 85912
[startup+510.253 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 21258 0 0 0 50960 65 0 0 25 0 1 0 481886318 89309184 21049 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21804 21049 603 41 0 21763 0
vsize: 87216
[startup+520.255 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 21616 0 0 0 51960 66 0 0 25 0 1 0 481886318 90779648 21407 4294967295 134512640 134672761 3221224560 3221223664 134560148 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22163 21407 603 41 0 22122 0
vsize: 88652
[startup+530.255 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 21906 0 0 0 52959 67 0 0 25 0 1 0 481886318 91975680 21697 4294967295 134512640 134672761 3221224560 3221223664 134560215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22455 21697 603 41 0 22414 0
vsize: 89820
[startup+540.255 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 22185 0 0 0 53959 67 0 0 25 0 1 0 481886318 93048832 21976 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22717 21976 603 41 0 22676 0
vsize: 90868
[startup+550.255 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 22522 0 0 0 54958 68 0 0 25 0 1 0 481886318 94519296 22313 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23076 22313 603 41 0 23035 0
vsize: 92304
[startup+560.256 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 22771 0 0 0 55958 69 0 0 25 0 1 0 481886318 95461376 22562 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23306 22562 603 41 0 23265 0
vsize: 93224
[startup+570.257 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 23108 0 0 0 56957 70 0 0 25 0 1 0 481886318 96800768 22899 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23633 22899 603 41 0 23592 0
vsize: 94532
[startup+580.257 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 23494 0 0 0 57956 71 0 0 25 0 1 0 481886318 98410496 23285 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24026 23285 603 41 0 23985 0
vsize: 96104
[startup+590.257 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 23912 0 0 0 58955 72 0 0 25 0 1 0 481886318 100130816 23703 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24446 23703 603 41 0 24405 0
vsize: 97784
[startup+600.257 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 24337 0 0 0 59954 73 0 0 25 0 1 0 481886318 101863424 24128 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24869 24128 603 41 0 24828 0
vsize: 99476
[startup+610.258 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 24713 0 0 0 60954 74 0 0 25 0 1 0 481886318 103452672 24504 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25257 24504 603 41 0 25216 0
vsize: 101028
[startup+620.258 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 25112 0 0 0 61953 74 0 0 25 0 1 0 481886318 105570304 24903 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25774 24903 603 41 0 25733 0
vsize: 103096
[startup+630.259 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 25475 0 0 0 62953 75 0 0 25 0 1 0 481886318 107032576 25266 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26131 25266 603 41 0 26090 0
vsize: 104524
[startup+640.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 25883 0 0 0 63951 76 0 0 25 0 1 0 481886318 108744704 25674 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26549 25674 603 41 0 26508 0
vsize: 106196
[startup+650.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 26257 0 0 0 64951 78 0 0 25 0 1 0 481886318 110202880 26048 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26905 26048 603 41 0 26864 0
vsize: 107620
[startup+660.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 26610 0 0 0 65950 78 0 0 25 0 1 0 481886318 111656960 26401 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27260 26401 603 41 0 27219 0
vsize: 109040
[startup+670.261 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 26967 0 0 0 66949 80 0 0 25 0 1 0 481886318 113119232 26758 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27617 26758 603 41 0 27576 0
vsize: 110468
[startup+680.261 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 27320 0 0 0 67948 81 0 0 25 0 1 0 481886318 114585600 27111 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27975 27111 603 41 0 27934 0
vsize: 111900
[startup+690.261 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 27639 0 0 0 68946 82 0 0 25 0 1 0 481886318 115908608 27430 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28298 27430 603 41 0 28257 0
vsize: 113192
[startup+700.262 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 27829 0 0 0 69946 83 0 0 25 0 1 0 481886318 116576256 27620 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28461 27620 603 41 0 28420 0
vsize: 113844
[startup+710.263 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28123 0 0 0 70945 84 0 0 25 0 1 0 481886318 117776384 27914 4294967295 134512640 134672761 3221224560 3221223728 134561378 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28754 27914 603 41 0 28713 0
vsize: 115016
[startup+720.264 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 71945 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+730.265 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 72945 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223664 134560191 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+740.264 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 73945 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+750.265 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 74945 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+760.265 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 75945 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+770.266 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 76945 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+780.267 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 77946 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134561161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+790.266 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 78946 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+800.267 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 79946 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223664 134560254 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+810.267 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 80946 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+820.269 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 81946 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223744 134558662 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+830.269 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 82947 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+840.269 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 83947 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+850.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 84947 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+860.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 85947 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+870.271 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 86947 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+880.272 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 87948 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223708 134560552 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+890.271 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 88948 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+900.272 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 89948 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+910.273 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 90948 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+920.273 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 91948 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+930.274 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 92949 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+940.274 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 93949 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223664 134560402 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+950.274 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 94949 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+960.274 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 95949 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+970.275 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 96949 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+980.276 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 97950 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134561025 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+990.276 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 98950 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1000.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 99950 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1010.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 100950 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1020.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 101951 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223760 134557849 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1030.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 102951 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1040.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 103951 84 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560976 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1050.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 104950 85 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1060.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 105949 85 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223744 134559031 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1070.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 106949 85 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1080.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 107949 85 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1090.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 108949 85 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1100.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28241 0 0 0 109949 85 0 0 25 0 1 0 481886318 118116352 27999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28837 27999 603 41 0 28796 0
vsize: 115348
[startup+1110.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28531 0 0 0 110949 86 0 0 25 0 1 0 481886318 119324672 28289 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29132 28289 603 41 0 29091 0
vsize: 116528
[startup+1120.29 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 28830 0 0 0 111948 88 0 0 25 0 1 0 481886318 120651776 28588 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29456 28588 603 41 0 29415 0
vsize: 117824
[startup+1130.29 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 29155 0 0 0 112947 89 0 0 25 0 1 0 481886318 121991168 28913 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29783 28913 603 41 0 29742 0
vsize: 119132
[startup+1140.29 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 29460 0 0 0 113946 89 0 0 25 0 1 0 481886318 123179008 29218 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30073 29218 603 41 0 30032 0
vsize: 120292
[startup+1150.29 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 29801 0 0 0 114946 90 0 0 25 0 1 0 481886318 124510208 29559 4294967295 134512640 134672761 3221224560 3221223696 134560598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30398 29559 603 41 0 30357 0
vsize: 121592
[startup+1160.29 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 30118 0 0 0 115945 91 0 0 25 0 1 0 481886318 125837312 29876 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30722 29876 603 41 0 30681 0
vsize: 122888
[startup+1170.29 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 30382 0 0 0 116944 92 0 0 25 0 1 0 481886318 126906368 30140 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30983 30140 603 41 0 30942 0
vsize: 123932
[startup+1180.29 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 30658 0 0 0 117944 93 0 0 25 0 1 0 481886318 128106496 30416 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31276 30416 603 41 0 31235 0
vsize: 125104
[startup+1190.29 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 30899 0 0 0 118943 94 0 0 25 0 1 0 481886318 129036288 30657 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31503 30657 603 41 0 31462 0
vsize: 126012
[startup+1200.29 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 31475
Raw data (stat): 31418 (minisat+) R 31417 23176 23175 0 -1 0 31160 0 0 0 119942 94 0 0 25 0 1 0 481886318 130101248 30918 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31763 30918 603 41 0 31722 0
vsize: 127052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.35 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 31475
Raw data (stat): 31418 (minisat+) Z 31417 23176 23175 0 -1 12 31163 0 0 0 119943 100 0 0 25 0 1 0 481886318 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.35
CPU time (s): 1200.44
CPU user time (s): 1199.43
CPU system time (s): 1.00885
CPU usage (%): 100.007
Max. virtual memory (Kb): 127052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####