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-1.opb
MD5SUM	42c2d619b73aa24781f1b54bddde28cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-44
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	126555
Number of constraints which are clauses	126555
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 5268

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-13 23:06:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3733 boxname=wulflinc17 idbench=349 idsolver=10 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  42c2d619b73aa24781f1b54bddde28cc  /oldhome/oroussel/tmp/wulflinc17/normalized-frb59-26-1.opb
REAL COMMAND:  minisat+ -ca /oldhome/oroussel/tmp/wulflinc17/normalized-frb59-26-1.opb /oldhome/oroussel/tmp/wulflinc17/normalized-frb59-26-1.opb
IDLAUNCH: 3733
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        825992 kB
Buffers:         34420 kB
Cached:         139256 kB
SwapCached:       2376 kB
Active:          60300 kB
Inactive:       118732 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        825740 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7036 kB
Slab:            24032 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 23:26:59 (client local time) WITH STATUS 10 IN 1200.26 SECONDS
stats: 3733 7 1200.26 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 126555 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 |  126555   253110 |   42185       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -38[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 3034   maxlim: 38   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  147558   328182 |   49186       0        0     nan |  0.000 % |
c |       100 |  147558   328182 |   54104     100      729     7.3 |  0.089 % |
c |       250 |  147558   328182 |   59515     250     1964     7.9 |  0.088 % |
c |       475 |  147558   328182 |   65466     475     4657     9.8 |  0.089 % |
c |       812 |  147540   328120 |   72013     808     8260    10.2 |  0.132 % |
c |      1318 |  147513   328027 |   79214    1304    12822     9.8 |  0.198 % |
c |      2077 |  147477   327903 |   87135    2055    22177    10.8 |  0.286 % |
c |      3216 |  147372   327542 |   95849    3167    36278    11.5 |  0.549 % |
c |      4924 |  147225   327037 |  105434    4832    57813    12.0 |  0.924 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 39   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6824 |  147055   326455 |   49018    6685    86426    12.9 |  0.924 % |
c |      6925 |  147055   326455 |   53919    6786    87897    13.0 |  1.384 % |
c |      7075 |  147046   326424 |   59311    6934    89888    13.0 |  1.407 % |
c |      7300 |  147004   326280 |   65242    7149    92858    13.0 |  1.516 % |
c |      7638 |  146986   326218 |   71767    7481    99165    13.3 |  1.561 % |
c |      8145 |  146876   325838 |   78943    7952   107607    13.5 |  1.845 % |
c |      8904 |  146633   325001 |   86838    8636   117061    13.6 |  2.526 % |
c |     10043 |  146297   323851 |   95522    9690   137182    14.2 |  3.516 % |
c |     11751 |  145708   321830 |  105074   11234   169347    15.1 |  5.360 % |
c |     14313 |  144791   318679 |  115581   13530   222209    16.4 |  8.282 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 40   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     14586 |  144720   318445 |   48240   13786   225516    16.4 |  8.282 % |
c |     14686 |  144703   318386 |   53064   13882   227306    16.4 |  8.633 % |
c |     14837 |  144686   318327 |   58370   14024   230519    16.4 |  8.699 % |
c |     15063 |  144686   318327 |   64207   14250   234616    16.5 |  8.699 % |
c |     15401 |  144558   317889 |   70628   14557   241892    16.6 |  9.115 % |
c |     15907 |  144499   317682 |   77691   15042   253833    16.9 |  9.336 % |
c |     16666 |  144146   316481 |   85460   15697   270262    17.2 | 10.499 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 41   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     16862 |  144051   316156 |   48017   15863   278537    17.6 | 10.499 % |
c |     16962 |  144051   316156 |   52818   15963   280952    17.6 | 10.870 % |
c |     17112 |  143893   315608 |   58100   16051   285093    17.8 | 11.419 % |
c |     17337 |  143742   315087 |   63910   16239   289162    17.8 | 11.969 % |
c |     17674 |  143657   314794 |   70301   16547   296328    17.9 | 12.231 % |
c |     18181 |  143388   313863 |   77331   16965   307769    18.1 | 13.219 % |
c |     18940 |  143196   313195 |   85065   17669   324669    18.4 | 13.966 % |
c |     20080 |  142909   312208 |   93571   18729   362328    19.3 | 15.086 % |
c |     21788 |  142430   310547 |  102928   20255   418722    20.7 | 16.908 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 42   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     22247 |  142402   310454 |   47467   20685   449451    21.7 | 16.908 % |
c |     22347 |  142387   310403 |   52213   20779   450905    21.7 | 17.058 % |
c |     22497 |  142288   310060 |   57435   20886   454349    21.8 | 17.453 % |
c |     22722 |  142147   309575 |   63178   21003   458780    21.8 | 17.936 % |
c |     23059 |  142104   309426 |   69496   21326   472606    22.2 | 18.090 % |
c |     23565 |  141945   308873 |   76446   21787   487795    22.4 | 18.772 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 43   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     23975 |  141935   308840 |   47311   22193   502796    22.7 | 18.772 % |
c |     24076 |  141935   308840 |   52042   22294   506231    22.7 | 18.832 % |
c |     24226 |  141900   308719 |   57246   22428   510647    22.8 | 18.987 % |
c |     24451 |  141877   308640 |   62970   22647   520226    23.0 | 19.074 % |
c |     24788 |  141828   308471 |   69268   22909   530657    23.2 | 19.249 % |
c |     25294 |  141634   307805 |   76194   23351   541564    23.2 | 20.085 % |
c |     26053 |  141615   307738 |   83814   24105   598192    24.8 | 20.171 % |
c |     27192 |  141564   307557 |   92195   25189   673711    26.7 | 20.413 % |
c |     28900 |  141355   306830 |  101415   26802   733598    27.4 | 21.269 % |
c |     31462 |  141210   306325 |  111556   29183   845170    29.0 | 21.797 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 46   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     34828 |  140840   305053 |   46946   32271  1011591    31.3 | 21.797 % |
c |     34931 |  140840   305053 |   51640   32374  1016060    31.4 | 23.295 % |
c |     35081 |  140821   304986 |   56804   32516  1022308    31.4 | 23.382 % |
c |     35307 |  140821   304986 |   62485   32742  1029493    31.4 | 23.384 % |
c |     35644 |  140765   304788 |   68733   33062  1047414    31.7 | 23.667 % |
c |     36152 |  140765   304788 |   75607   33570  1081704    32.2 | 23.667 % |
c |     36911 |  140754   304749 |   83167   34326  1145067    33.4 | 23.713 % |
c |     38051 |  140741   304702 |   91484   35463  1208104    34.1 | 23.777 % |
c |     39759 |  140678   304483 |  100632   37094  1369548    36.9 | 23.997 % |
c |     42321 |  140657   304412 |  110696   39616  1586157    40.0 | 24.063 % |
c |     46166 |  140618   304275 |  121765   43383  1923812    44.3 | 24.217 % |
c |     51933 |  140527   303958 |  133942   48943  2296213    46.9 | 24.545 % |
c |     60583 |  140343   303320 |  147336   57182  3054490    53.4 | 25.247 % |
c |     73558 |  140261   303032 |  162070   70119  4887468    69.7 | 25.620 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 47   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     83470 |  140186   302774 |   46728   79866  6199625    77.6 | 25.620 % |
c |     83571 |  140186   302774 |   51400   20350  1701346    83.6 | 25.877 % |
c |     83721 |  140186   302774 |   56540   20500  1713756    83.6 | 25.878 % |
c |     83947 |  140186   302774 |   62194   20726  1726720    83.3 | 25.877 % |
c |     84285 |  140112   302520 |   68414   21030  1746816    83.1 | 26.096 % |
c |     84791 |  140094   302458 |   75255   21525  1773617    82.4 | 26.140 % |
c |     85550 |  140079   302407 |   82781   22283  1838931    82.5 | 26.184 % |
c |     86691 |  140079   302407 |   91059   23424  2001925    85.5 | 26.186 % |
c |     88399 |  140070   302376 |  100165   25124  2154972    85.8 | 26.207 % |
c |     90961 |  140055   302325 |  110182   27678  2482283    89.7 | 26.251 % |
c |     94805 |  139986   302086 |  121200   31501  2758832    87.6 | 26.491 % |
c |    100572 |  139971   302035 |  133320   37251  3473997    93.3 | 26.535 % |
c |    109222 |  139971   302035 |  146652   45901  4736559   103.2 | 26.535 % |
c |    122197 |  139907   301817 |  161317   58838  6285782   106.8 | 26.732 % |
c |    141658 |  139893   301769 |  177449   78289 10475408   133.8 | 26.798 % |
c |    170850 |  139804   301470 |  195194  107426 15365871   143.0 | 27.105 % |
c |    214641 |  139776   301372 |  214713  151200 24730214   163.6 | 27.216 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 48   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    269171 |  139725   301197 |   46575  205697 37708885   183.3 | 27.216 % |
c |    269271 |  139713   301157 |   51232   19341  4579760   236.8 | 27.533 % |
c |    269421 |  139713   301157 |   56355   19491  4582047   235.1 | 27.533 % |
c |    269647 |  139665   300987 |   61991   19707  4585539   232.7 | 27.773 % |
c |    269984 |  139659   300967 |   68190   20041  4594805   229.3 | 27.796 % |
c |    270490 |  139631   300869 |   75009   20537  4603778   224.2 | 27.906 % |
c |    271249 |  139597   300747 |   82510   21289  4626414   217.3 | 28.081 % |
c |    272389 |  139582   300696 |   90761   22424  4653828   207.5 | 28.125 % |
c |    274097 |  139550   300586 |   99837   24111  4719750   195.8 | 28.235 % |
c |    276660 |  139527   300507 |  109821   26668  4962932   186.1 | 28.323 % |
c |    280504 |  139495   300397 |  120803   30504  5581831   183.0 | 28.432 % |
c |    286271 |  139473   300321 |  132883   36264  6176914   170.3 | 28.540 % |
c |    294920 |  139348   299888 |  146172   44848  6950499   155.0 | 29.022 % |
c |    307894 |  139251   299549 |  160789   57741  8212358   142.2 | 29.439 % |
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 -C#### 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.94 0.98 0.91 2/55 26199
Raw data (stat): 26199 (runsolver) R 26198 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 479790624 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 5921 0 0 0 981 17 0 0 25 0 1 0 479790624 26222592 5899 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6402 5899 603 41 0 6361 0
vsize: 25608
[startup+20.0008 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 5921 0 0 0 1980 17 0 0 25 0 1 0 479790624 26222592 5899 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6402 5899 603 41 0 6361 0
vsize: 25608
[startup+30.0016 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 5921 0 0 0 2980 17 0 0 25 0 1 0 479790624 26222592 5899 4294967295 134512640 134672761 3221224560 3221223728 134561256 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6402 5899 603 41 0 6361 0
vsize: 25608
[startup+40.0013 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 5921 0 0 0 3979 18 0 0 25 0 1 0 479790624 26222592 5899 4294967295 134512640 134672761 3221224560 3221223732 134556639 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6402 5899 603 41 0 6361 0
vsize: 25608
[startup+50.0016 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 5921 0 0 0 4979 18 0 0 25 0 1 0 479790624 26222592 5899 4294967295 134512640 134672761 3221224560 3221223760 134557887 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6402 5899 603 41 0 6361 0
vsize: 25608
[startup+60.0013 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 5921 0 0 0 5979 18 0 0 25 0 1 0 479790624 26222592 5899 4294967295 134512640 134672761 3221224560 3221223744 134556675 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6402 5899 603 41 0 6361 0
vsize: 25608
[startup+70.0021 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 5921 0 0 0 6979 18 0 0 25 0 1 0 479790624 26222592 5899 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6402 5899 603 41 0 6361 0
vsize: 25608
[startup+80.0024 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 5921 0 0 0 7979 18 0 0 25 0 1 0 479790624 26222592 5899 4294967295 134512640 134672761 3221224560 3221223728 134560906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6402 5899 603 41 0 6361 0
vsize: 25608
[startup+90.002 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 5921 0 0 0 8979 18 0 0 25 0 1 0 479790624 26222592 5899 4294967295 134512640 134672761 3221224560 3221223776 134561990 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6402 5899 603 41 0 6361 0
vsize: 25608
[startup+100.002 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 5921 0 0 0 9979 18 0 0 25 0 1 0 479790624 26222592 5899 4294967295 134512640 134672761 3221224560 3221223728 134561021 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6402 5899 603 41 0 6361 0
vsize: 25608
[startup+110.002 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 6391 0 0 0 10978 20 0 0 25 0 1 0 479790624 28094464 6369 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6859 6369 603 41 0 6818 0
vsize: 27436
[startup+120.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 7317 0 0 0 11975 23 0 0 25 0 1 0 479790624 32247808 7295 4294967295 134512640 134672761 3221224560 3221223696 134560625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7873 7295 603 41 0 7832 0
vsize: 31492
[startup+130.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 7967 0 0 0 12973 25 0 0 25 0 1 0 479790624 34816000 7945 4294967295 134512640 134672761 3221224560 3221223732 134556667 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8500 7945 603 41 0 8459 0
vsize: 34000
[startup+140.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 8452 0 0 0 13972 26 0 0 25 0 1 0 479790624 36831232 8430 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8992 8430 603 41 0 8951 0
vsize: 35968
[startup+150.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 9017 0 0 0 14970 28 0 0 25 0 1 0 479790624 39112704 8995 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9549 8995 603 41 0 9508 0
vsize: 38196
[startup+160.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 9348 0 0 0 15970 29 0 0 25 0 1 0 479790624 40411136 9326 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9866 9326 603 41 0 9825 0
vsize: 39464
[startup+170.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 9348 0 0 0 16970 29 0 0 25 0 1 0 479790624 40411136 9326 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9866 9326 603 41 0 9825 0
vsize: 39464
[startup+180.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 9348 0 0 0 17970 29 0 0 25 0 1 0 479790624 40411136 9326 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9866 9326 603 41 0 9825 0
vsize: 39464
[startup+190.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 9348 0 0 0 18970 29 0 0 25 0 1 0 479790624 40411136 9326 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9866 9326 603 41 0 9825 0
vsize: 39464
[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 9348 0 0 0 19970 29 0 0 25 0 1 0 479790624 40411136 9326 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9866 9326 603 41 0 9825 0
vsize: 39464
[startup+210.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26199
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 9348 0 0 0 20971 29 0 0 25 0 1 0 479790624 40411136 9326 4294967295 134512640 134672761 3221224560 3221223728 134561139 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9866 9326 603 41 0 9825 0
vsize: 39464
[startup+220.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 9532 0 0 0 21970 29 0 0 25 0 1 0 479790624 41222144 9510 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10064 9510 603 41 0 10023 0
vsize: 40256
[startup+230.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 10233 0 0 0 22969 31 0 0 25 0 1 0 479790624 44044288 10211 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10753 10211 603 41 0 10712 0
vsize: 43012
[startup+240.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 10767 0 0 0 23967 33 0 0 25 0 1 0 479790624 46325760 10745 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11310 10745 603 41 0 11269 0
vsize: 45240
[startup+250.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 11556 0 0 0 24965 35 0 0 25 0 1 0 479790624 49561600 11534 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12100 11534 603 41 0 12059 0
vsize: 48400
[startup+260.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 12385 0 0 0 25964 37 0 0 25 0 1 0 479790624 52928512 12363 4294967295 134512640 134672761 3221224560 3221223728 134560882 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12922 12363 603 41 0 12881 0
vsize: 51688
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 13199 0 0 0 26962 39 0 0 25 0 1 0 479790624 56274944 13177 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13739 13177 603 41 0 13698 0
vsize: 54956
[startup+280.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 13815 0 0 0 27960 41 0 0 25 0 1 0 479790624 58695680 13793 4294967295 134512640 134672761 3221224560 3221223696 134560661 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14330 13793 603 41 0 14289 0
vsize: 57320
[startup+290.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 14221 0 0 0 28960 42 0 0 25 0 1 0 479790624 60444672 14199 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14757 14199 603 41 0 14716 0
vsize: 59028
[startup+300.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 14714 0 0 0 29959 43 0 0 25 0 1 0 479790624 62451712 14692 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15247 14692 603 41 0 15206 0
vsize: 60988
[startup+310.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 15173 0 0 0 30958 44 0 0 25 0 1 0 479790624 64319488 15151 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15703 15151 603 41 0 15662 0
vsize: 62812
[startup+320.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 15535 0 0 0 31957 45 0 0 25 0 1 0 479790624 65789952 15513 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16062 15513 603 41 0 16021 0
vsize: 64248
[startup+330.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 15983 0 0 0 32956 46 0 0 25 0 1 0 479790624 67641344 15961 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16514 15961 603 41 0 16473 0
vsize: 66056
[startup+340.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 16491 0 0 0 33954 48 0 0 25 0 1 0 479790624 69644288 16469 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17003 16469 603 41 0 16962 0
vsize: 68012
[startup+350.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 17023 0 0 0 34953 49 0 0 25 0 1 0 479790624 71782400 17001 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17525 17001 603 41 0 17484 0
vsize: 70100
[startup+360.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 17494 0 0 0 35953 50 0 0 25 0 1 0 479790624 73789440 17472 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18015 17472 603 41 0 17974 0
vsize: 72060
[startup+370.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 18025 0 0 0 36951 52 0 0 25 0 1 0 479790624 75927552 18003 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18537 18003 603 41 0 18496 0
vsize: 74148
[startup+380.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 18516 0 0 0 37949 54 0 0 25 0 1 0 479790624 77922304 18494 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19024 18494 603 41 0 18983 0
vsize: 76096
[startup+390.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 18944 0 0 0 38948 55 0 0 25 0 1 0 479790624 79659008 18922 4294967295 134512640 134672761 3221224560 3221223760 134557900 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19448 18922 603 41 0 19407 0
vsize: 77792
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 19323 0 0 0 39948 56 0 0 25 0 1 0 479790624 81137664 19301 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19809 19301 603 41 0 19768 0
vsize: 79236
[startup+410.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 19674 0 0 0 40947 57 0 0 25 0 1 0 479790624 82612224 19652 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20169 19652 603 41 0 20128 0
vsize: 80676
[startup+420.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 20122 0 0 0 41946 58 0 0 25 0 1 0 479790624 84488192 20100 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20627 20100 603 41 0 20586 0
vsize: 82508
[startup+430.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 20583 0 0 0 42944 60 0 0 25 0 1 0 479790624 86368256 20561 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21086 20561 603 41 0 21045 0
vsize: 84344
[startup+440.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 21030 0 0 0 43943 61 0 0 25 0 1 0 479790624 88104960 21008 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21510 21008 603 41 0 21469 0
vsize: 86040
[startup+450.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 21503 0 0 0 44942 63 0 0 25 0 1 0 479790624 90103808 21481 4294967295 134512640 134672761 3221224560 3221223744 134559324 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21998 21481 603 41 0 21957 0
vsize: 87992
[startup+460.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 21992 0 0 0 45940 65 0 0 25 0 1 0 479790624 92106752 21970 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22487 21970 603 41 0 22446 0
vsize: 89948
[startup+470.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 22411 0 0 0 46940 65 0 0 25 0 1 0 479790624 93835264 22389 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22909 22389 603 41 0 22868 0
vsize: 91636
[startup+480.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 22802 0 0 0 47939 66 0 0 25 0 1 0 479790624 95436800 22780 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23300 22780 603 41 0 23259 0
vsize: 93200
[startup+490.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 23218 0 0 0 48938 67 0 0 25 0 1 0 479790624 97034240 23196 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23690 23196 603 41 0 23649 0
vsize: 94760
[startup+500.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 23549 0 0 0 49937 68 0 0 25 0 1 0 479790624 98504704 23527 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24049 23527 603 41 0 24008 0
vsize: 96196
[startup+510.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26201
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 23931 0 0 0 50936 70 0 0 25 0 1 0 479790624 100499456 23909 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24536 23909 603 41 0 24495 0
vsize: 98144
[startup+520.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 24275 0 0 0 51935 71 0 0 25 0 1 0 479790624 101978112 24253 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24897 24253 603 41 0 24856 0
vsize: 99588
[startup+530.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 24631 0 0 0 52934 72 0 0 25 0 1 0 479790624 103452672 24609 4294967295 134512640 134672761 3221224560 3221223516 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25257 24609 603 41 0 25216 0
vsize: 101028
[startup+540.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 24924 0 0 0 53933 73 0 0 25 0 1 0 479790624 104521728 24902 4294967295 134512640 134672761 3221224560 3221223664 134560355 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25518 24902 603 41 0 25477 0
vsize: 102072
[startup+550.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 25315 0 0 0 54932 74 0 0 25 0 1 0 479790624 106127360 25293 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25910 25293 603 41 0 25869 0
vsize: 103640
[startup+560.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 25668 0 0 0 55931 76 0 0 25 0 1 0 479790624 107593728 25646 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26268 25646 603 41 0 26227 0
vsize: 105072
[startup+570.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 26003 0 0 0 56930 77 0 0 25 0 1 0 479790624 108929024 25981 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26594 25981 603 41 0 26553 0
vsize: 106376
[startup+580.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 26348 0 0 0 57929 78 0 0 25 0 1 0 479790624 110391296 26326 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26951 26326 603 41 0 26910 0
vsize: 107804
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 26702 0 0 0 58929 79 0 0 25 0 1 0 479790624 111861760 26680 4294967295 134512640 134672761 3221224560 3221223664 134560410 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27310 26680 603 41 0 27269 0
vsize: 109240
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 27104 0 0 0 59928 81 0 0 25 0 1 0 479790624 113475584 27082 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27704 27082 603 41 0 27663 0
vsize: 110816
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 27487 0 0 0 60927 82 0 0 25 0 1 0 479790624 115077120 27465 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28095 27465 603 41 0 28054 0
vsize: 112380
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 27839 0 0 0 61926 83 0 0 25 0 1 0 479790624 116543488 27817 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28453 27817 603 41 0 28412 0
vsize: 113812
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 28192 0 0 0 62925 84 0 0 25 0 1 0 479790624 117882880 28170 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28780 28170 603 41 0 28739 0
vsize: 115120
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 28518 0 0 0 63924 85 0 0 25 0 1 0 479790624 119226368 28496 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29108 28496 603 41 0 29067 0
vsize: 116432
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 28789 0 0 0 64924 86 0 0 25 0 1 0 479790624 120299520 28767 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29370 28767 603 41 0 29329 0
vsize: 117480
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 29053 0 0 0 65922 87 0 0 25 0 1 0 479790624 121495552 29031 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29662 29031 603 41 0 29621 0
vsize: 118648
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 29328 0 0 0 66922 88 0 0 25 0 1 0 479790624 122564608 29306 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29923 29306 603 41 0 29882 0
vsize: 119692
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 29586 0 0 0 67921 89 0 0 25 0 1 0 479790624 123625472 29564 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30182 29564 603 41 0 30141 0
vsize: 120728
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 29841 0 0 0 68920 90 0 0 25 0 1 0 479790624 124686336 29819 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30441 29819 603 41 0 30400 0
vsize: 121764
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 30084 0 0 0 69919 91 0 0 25 0 1 0 479790624 125624320 30062 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30670 30062 603 41 0 30629 0
vsize: 122680
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 30355 0 0 0 70918 92 0 0 25 0 1 0 479790624 126697472 30333 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30932 30333 603 41 0 30891 0
vsize: 123728
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 30636 0 0 0 71917 94 0 0 25 0 1 0 479790624 127901696 30614 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31226 30614 603 41 0 31185 0
vsize: 124904
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 30956 0 0 0 72915 96 0 0 25 0 1 0 479790624 129228800 30934 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31550 30934 603 41 0 31509 0
vsize: 126200
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 31218 0 0 0 73914 96 0 0 25 0 1 0 479790624 130301952 31196 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31812 31196 603 41 0 31771 0
vsize: 127248
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 31412 0 0 0 74914 97 0 0 25 0 1 0 479790624 131108864 31390 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32009 31390 603 41 0 31968 0
vsize: 128036
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 31679 0 0 0 75913 98 0 0 25 0 1 0 479790624 132182016 31657 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32271 31657 603 41 0 32230 0
vsize: 129084
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 31986 0 0 0 76912 99 0 0 25 0 1 0 479790624 133382144 31964 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32564 31964 603 41 0 32523 0
vsize: 130256
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 32338 0 0 0 77911 100 0 0 25 0 1 0 479790624 134832128 32316 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32918 32316 603 41 0 32877 0
vsize: 131672
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 32681 0 0 0 78910 102 0 0 25 0 1 0 479790624 136290304 32659 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33274 32659 603 41 0 33233 0
vsize: 133096
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 33018 0 0 0 79909 103 0 0 25 0 1 0 479790624 137625600 32996 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33600 32996 603 41 0 33559 0
vsize: 134400
[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26203
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 33362 0 0 0 80908 105 0 0 25 0 1 0 479790624 138960896 33340 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33926 33340 603 41 0 33885 0
vsize: 135704
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 33713 0 0 0 81905 106 0 0 25 0 1 0 479790624 140431360 33691 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34285 33691 603 41 0 34244 0
vsize: 137140
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 34070 0 0 0 82905 107 0 0 25 0 1 0 479790624 141889536 34048 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34641 34048 603 41 0 34600 0
vsize: 138564
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 34402 0 0 0 83904 108 0 0 25 0 1 0 479790624 143228928 34380 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34968 34380 603 41 0 34927 0
vsize: 139872
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 34760 0 0 0 84903 110 0 0 25 0 1 0 479790624 144683008 34738 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35323 34738 603 41 0 35282 0
vsize: 141292
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 35105 0 0 0 85901 111 0 0 25 0 1 0 479790624 146153472 35083 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35682 35083 603 41 0 35641 0
vsize: 142728
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 35440 0 0 0 86901 112 0 0 25 0 1 0 479790624 147476480 35418 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36005 35418 603 41 0 35964 0
vsize: 144020
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 35760 0 0 0 87900 114 0 0 25 0 1 0 479790624 148803584 35738 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36329 35738 603 41 0 36288 0
vsize: 145316
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 36111 0 0 0 88899 115 0 0 25 0 1 0 479790624 150249472 36089 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36682 36089 603 41 0 36641 0
vsize: 146728
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 36421 0 0 0 89898 116 0 0 25 0 1 0 479790624 151576576 36399 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37006 36399 603 41 0 36965 0
vsize: 148024
[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 36731 0 0 0 90897 117 0 0 25 0 1 0 479790624 152768512 36709 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37297 36709 603 41 0 37256 0
vsize: 149188
[startup+920.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 37063 0 0 0 91896 118 0 0 25 0 1 0 479790624 154214400 37041 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37650 37041 603 41 0 37609 0
vsize: 150600
[startup+930.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 37391 0 0 0 92895 119 0 0 25 0 1 0 479790624 155525120 37369 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37970 37369 603 41 0 37929 0
vsize: 151880
[startup+940.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 37718 0 0 0 93894 120 0 0 25 0 1 0 479790624 156864512 37696 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38297 37696 603 41 0 38256 0
vsize: 153188
[startup+950.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 38037 0 0 0 94893 121 0 0 25 0 1 0 479790624 158195712 38015 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38622 38015 603 41 0 38581 0
vsize: 154488
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 38311 0 0 0 95893 122 0 0 25 0 1 0 479790624 159260672 38289 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38882 38289 603 41 0 38841 0
vsize: 155528
[startup+970.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 38614 0 0 0 96892 123 0 0 25 0 1 0 479790624 160468992 38592 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39177 38592 603 41 0 39136 0
vsize: 156708
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 38928 0 0 0 97891 124 0 0 25 0 1 0 479790624 161792000 38906 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39500 38906 603 41 0 39459 0
vsize: 158000
[startup+990.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 39259 0 0 0 98890 125 0 0 25 0 1 0 479790624 163119104 39237 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39824 39237 603 41 0 39783 0
vsize: 159296
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 39588 0 0 0 99890 126 0 0 25 0 1 0 479790624 164446208 39566 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40148 39566 603 41 0 40107 0
vsize: 160592
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 39900 0 0 0 100889 127 0 0 25 0 1 0 479790624 165777408 39878 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40473 39878 603 41 0 40432 0
vsize: 161892
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 40192 0 0 0 101889 127 0 0 25 0 1 0 479790624 166969344 40170 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40764 40170 603 41 0 40723 0
vsize: 163056
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 40492 0 0 0 102888 128 0 0 25 0 1 0 479790624 168157184 40470 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41054 40470 603 41 0 41013 0
vsize: 164216
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 40776 0 0 0 103887 129 0 0 25 0 1 0 479790624 169357312 40754 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41347 40754 603 41 0 41306 0
vsize: 165388
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41071 0 0 0 104887 130 0 0 25 0 1 0 479790624 170545152 41049 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41637 41049 603 41 0 41596 0
vsize: 166548
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41343 0 0 0 105886 130 0 0 25 0 1 0 479790624 171728896 41321 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41926 41321 603 41 0 41885 0
vsize: 167704
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41632 0 0 0 106885 131 0 0 25 0 1 0 479790624 172814336 41610 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42191 41610 603 41 0 42150 0
vsize: 168764
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 107884 132 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223104 134565852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 108883 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 109883 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223720 134561238 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26205
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 110883 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26207
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 111883 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26207
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 112883 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26207
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 113884 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26207
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 114884 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223664 134559805 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26207
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 115884 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26207
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 116884 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223664 134559949 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26207
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 117884 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223728 134561145 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26207
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 118884 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26207
Raw data (stat): 26199 (minisat+) R 26198 20838 20837 0 -1 0 41867 0 0 0 119885 133 0 0 25 0 1 0 479790624 173780992 41845 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42427 41845 603 41 0 42386 0
vsize: 169708
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 26207
Raw data (stat): 26199 (minisat+) Z 26198 20838 20837 0 -1 12 41870 0 0 0 119885 141 0 0 25 0 1 0 479790624 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.11
CPU time (s): 1200.26
CPU user time (s): 1198.85
CPU system time (s): 1.41079
CPU usage (%): 100.013
Max. virtual memory (Kb): 169708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####