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-2.opb
MD5SUM	5b8ef604a7452dcb7c7d749b75aed566
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-45
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.15
Number of variables	1534
Total number of constraints	126163
Number of constraints which are clauses	126163
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 5060

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-13 21:49:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3146 boxname=wulflinc23 idbench=350 idsolver=5 numberseed=0
MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4  /oldhome/oroussel/solvers/minisat+
MD5SUM BENCH:  5b8ef604a7452dcb7c7d749b75aed566  /oldhome/oroussel/tmp/wulflinc23/normalized-frb59-26-2.opb
REAL COMMAND:  minisat+ /oldhome/oroussel/tmp/wulflinc23/normalized-frb59-26-2.opb
IDLAUNCH: 3146
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        896468 kB
Buffers:         34128 kB
Cached:          60744 kB
SwapCached:        192 kB
Active:          50336 kB
Inactive:        47544 kB
HighTotal:      131008 kB
HighFree:        66416 kB
LowTotal:       903652 kB
LowFree:        830052 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6908 kB
Slab:            34572 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 22:09:22 (client local time) WITH STATUS 10 IN 1200.26 SECONDS
stats: 3146 7 1200.26 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 126163 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 |  126163   252326 |   42054       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:85954     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  216902   465187 |   72300       0        0     nan |  0.000 % |
c |       100 |  216378   464089 |   79530      71     1045    14.7 |  0.476 % |
c |       250 |  215666   462590 |   87483     197     2307    11.7 |  1.110 % |
c |       475 |  214693   460491 |   96231     382     4569    12.0 |  2.022 % |
c |       812 |  212890   456566 |  105854     654     7279    11.1 |  3.734 % |
c |      1318 |  210422   451160 |  116439    1060    10851    10.2 |  6.157 % |
c |      2077 |  206393   442217 |  128083    1635    16954    10.4 | 10.063 % |
c |      3216 |  198975   425552 |  140892    2422    25813    10.7 | 17.559 % |
c |      4924 |  190640   406622 |  154981    3664    40208    11.0 | 26.087 % |
c |      7486 |  179470   381025 |  170479    5477    62777    11.5 | 37.698 % |
c |     11330 |  166692   351158 |  187527    8259    96088    11.6 | 51.142 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     14201 |  159762   334804 |   53254   10383   124904    12.0 | 51.142 % |
c |     14301 |  159518   334234 |   58579   10463   126556    12.1 | 59.111 % |
c |     14451 |  159171   333401 |   64437   10595   128502    12.1 | 59.497 % |
c |     14676 |  158480   331759 |   70881   10678   129458    12.1 | 60.258 % |
c |     15013 |  158174   331032 |   77969   10915   133832    12.3 | 60.595 % |
c |     15520 |  157341   329073 |   85766   11321   139331    12.3 | 61.505 % |
c |     16280 |  155349   324351 |   94342   11703   145801    12.5 | 63.687 % |
c |     17419 |  153760   320544 |  103776   12549   161675    12.9 | 65.453 % |
c |     19127 |  152453   317467 |  114154   13881   182702    13.2 | 66.863 % |
c |     21689 |  148743   308640 |  125570   15567   217965    14.0 | 70.881 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     24382 |  145456   300817 |   48485   17375   249367    14.4 | 70.881 % |
c |     24483 |  145363   300588 |   53333   17440   251246    14.4 | 74.648 % |
c |     24633 |  145288   300407 |   58666   17551   251739    14.3 | 74.732 % |
c |     24858 |  144991   299696 |   64533   17581   253807    14.4 | 75.065 % |
c |     25195 |  144671   298897 |   70986   17767   260713    14.7 | 75.446 % |
c |     25702 |  144071   297413 |   78085   18002   268321    14.9 | 76.147 % |
c |     26461 |  143083   295047 |   85894   18367   278416    15.2 | 77.238 % |
c |     27600 |  142217   292945 |   94483   19129   300433    15.7 | 78.224 % |
c |     29308 |  141140   290360 |  103931   20436   345754    16.9 | 79.432 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     30862 |  140267   288181 |   46755   21633   397822    18.4 | 79.432 % |
c |     30963 |  140267   288181 |   51430   21734   399242    18.4 | 80.416 % |
c |     31114 |  140168   287935 |   56573   21806   400090    18.3 | 80.529 % |
c |     31339 |  140168   287935 |   62230   22031   412550    18.7 | 80.529 % |
c |     31676 |  140023   287590 |   68453   22256   418337    18.8 | 80.689 % |
c |     32183 |  140023   287590 |   75299   22763   438437    19.3 | 80.689 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     32937 |  140085   287791 |   46695   23512   471006    20.0 | 80.689 % |
c |     33037 |  140085   287791 |   51364   23612   474023    20.1 | 80.668 % |
c |     33188 |  139985   287565 |   56500   23703   476332    20.1 | 80.768 % |
c |     33413 |  139925   287414 |   62151   23901   482389    20.2 | 80.840 % |
c |     33750 |  139819   287160 |   68366   24223   491372    20.3 | 80.958 % |
c |     34257 |  139501   286378 |   75202   24523   504115    20.6 | 81.320 % |
c |     35016 |  139221   285698 |   82723   25080   519407    20.7 | 81.634 % |
c |     36155 |  138949   285015 |   90995   26080   578152    22.2 | 81.958 % |
c |     37863 |  138937   284987 |  100094   27753   670991    24.2 | 81.971 % |
c |     40425 |  138358   283576 |  110104   29587   808674    27.3 | 82.622 % |
c ==============================================================================
c [1mFound solution: -49[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     41630 |  138147   283085 |   46049   30685   883161    28.8 | 82.622 % |
c |     41730 |  138092   282958 |   50653   30763   884351    28.7 | 82.933 % |
c |     41880 |  137941   282583 |   55719   30835   887360    28.8 | 83.109 % |
c |     42105 |  137901   282493 |   61291   31052   893326    28.8 | 83.149 % |
c |     42442 |  137895   282479 |   67420   31375   909461    29.0 | 83.155 % |
c |     42948 |  137873   282425 |   74162   31874   947781    29.7 | 83.181 % |
c |     43707 |  137873   282425 |   81578   32633   990787    30.4 | 83.181 % |
c |     44846 |  137866   282408 |   89736   33764  1042346    30.9 | 83.189 % |
c |     46554 |  137539   281618 |   98710   35123  1108640    31.6 | 83.556 % |
c |     49116 |  137311   281072 |  108581   37144  1292520    34.8 | 83.810 % |
c |     52960 |  137157   280708 |  119439   40856  1598714    39.1 | 83.978 % |
c |     58727 |  136513   279109 |  131383   45613  1978665    43.4 | 84.730 % |
c ==============================================================================
c [1mFound solution: -50[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     64383 |  136428   278853 |   45476   50690  2426715    47.9 | 84.730 % |
c |     64483 |  136372   278721 |   50023   50704  2426821    47.9 | 84.888 % |
c |     64633 |  136372   278721 |   55025   50854  2434364    47.9 | 84.888 % |
c |     64858 |  136372   278721 |   60528   51079  2451936    48.0 | 84.888 % |
c |     65195 |  136354   278679 |   66581   51330  2465308    48.0 | 84.907 % |
c |     65701 |  136354   278679 |   73239   51836  2497084    48.2 | 84.907 % |
c |     66460 |  136315   278575 |   80563   52539  2537278    48.3 | 84.952 % |
c |     67599 |  136315   278575 |   88619   53678  2687895    50.1 | 84.952 % |
c |     69307 |  136315   278575 |   97481   55386  2882870    52.1 | 84.952 % |
c |     71869 |  136315   278575 |  107230   57948  3297295    56.9 | 84.952 % |
c ==============================================================================
c [1mFound solution: -51[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     74103 |  136106   278085 |   45368   59809  3485256    58.3 | 84.952 % |
c |     74203 |  136106   278085 |   49904   59909  3491775    58.3 | 85.223 % |
c |     74353 |  136063   277970 |   54895   59670  3485850    58.4 | 85.278 % |
c |     74578 |  136063   277970 |   60384   59895  3498842    58.4 | 85.278 % |
c |     74916 |  136058   277957 |   66423   60226  3530651    58.6 | 85.284 % |
c |     75422 |  135994   277802 |   73065   60597  3563296    58.8 | 85.355 % |
c |     76181 |  135950   277698 |   80372   61179  3620235    59.2 | 85.403 % |
c |     77320 |  135945   277687 |   88409   62293  3702636    59.4 | 85.408 % |
c |     79028 |  135928   277644 |   97250   63981  3892624    60.8 | 85.429 % |
c |     81590 |  135691   277063 |  106975   65768  4131868    62.8 | 85.702 % |
c |     85436 |  135590   276824 |  117672   69157  4565212    66.0 | 85.813 % |
c |     91202 |  135583   276807 |  129440   74866  5415516    72.3 | 85.821 % |
c |     99851 |  135540   276704 |  142384   83045  6414369    77.2 | 85.869 % |
c |    112826 |  135455   276509 |  156622   95875  8314958    86.7 | 85.957 % |
c ==============================================================================
c [1mFound solution: -52[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    127962 |  135394   276336 |   45131  109446 11574582   105.8 | 85.957 % |
c |    128062 |  135394   276336 |   49644   22310  3255192   145.9 | 86.028 % |
c |    128212 |  135295   276100 |   54608   22395  3259721   145.6 | 86.136 % |
c |    128437 |  135290   276089 |   60069   22610  3275212   144.9 | 86.141 % |
c |    128775 |  135238   275955 |   66076   22938  3289266   143.4 | 86.207 % |
c |    129281 |  135204   275877 |   72683   23429  3310280   141.3 | 86.242 % |
c |    130040 |  135194   275853 |   79952   24166  3344207   138.4 | 86.253 % |
c |    131179 |  135186   275835 |   87947   25295  3433065   135.7 | 86.261 % |
c |    132888 |  135178   275815 |   96742   26972  3689589   136.8 | 86.271 % |
c |    135450 |  135123   275675 |  106416   29433  4012571   136.3 | 86.338 % |
c |    139294 |  135123   275675 |  117058   33277  4564286   137.2 | 86.338 % |
c |    145060 |  134993   275371 |  128764   38714  5165896   133.4 | 86.475 % |
c |    153709 |  134993   275371 |  141640   47363  7432043   156.9 | 86.475 % |
c |    166684 |  134984   275352 |  155804   60336  9779793   162.1 | 86.483 % |
c |    186146 |  134984   275352 |  171384   79798 13225885   165.7 | 86.483 % |
c |    215338 |  134936   275238 |  188523  108912 18650008   171.2 | 86.536 % |
c |    259127 |  134911   275179 |  207375  152675 26672713   174.7 | 86.563 % |
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 -C25#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.91 2/54 6015
Raw data (stat): 6015 (runsolver) R 6014 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 479316358 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6932 0 0 0 979 19 0 0 25 0 1 0 479316358 30519296 6910 4294967295 134512640 134672761 3221224624 3221223820 134556584 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7451 6910 603 41 0 7410 0
vsize: 29804
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6937 0 0 0 1979 20 0 0 25 0 1 0 479316358 30519296 6915 4294967295 134512640 134672761 3221224624 3221223760 134560613 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7451 6915 603 41 0 7410 0
vsize: 29804
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6943 0 0 0 2979 20 0 0 25 0 1 0 479316358 30519296 6921 4294967295 134512640 134672761 3221224624 3221223824 134561972 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7451 6921 603 41 0 7410 0
vsize: 29804
[startup+40.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6950 0 0 0 3978 20 0 0 25 0 1 0 479316358 30519296 6928 4294967295 134512640 134672761 3221224624 3221223792 134560864 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7451 6928 603 41 0 7410 0
vsize: 29804
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6955 0 0 0 4978 20 0 0 25 0 1 0 479316358 30519296 6933 4294967295 134512640 134672761 3221224624 3221223760 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7451 6933 603 41 0 7410 0
vsize: 29804
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6959 0 0 0 5977 21 0 0 25 0 1 0 479316358 30519296 6937 4294967295 134512640 134672761 3221224624 3221223828 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7451 6937 603 41 0 7410 0
vsize: 29804
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6964 0 0 0 6977 21 0 0 25 0 1 0 479316358 30654464 6942 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7484 6942 603 41 0 7443 0
vsize: 29936
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6976 0 0 0 7977 21 0 0 25 0 1 0 479316358 30654464 6954 4294967295 134512640 134672761 3221224624 3221223792 134561018 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7484 6954 603 41 0 7443 0
vsize: 29936
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6981 0 0 0 8977 21 0 0 25 0 1 0 479316358 30654464 6959 4294967295 134512640 134672761 3221224624 3221223828 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7484 6959 603 41 0 7443 0
vsize: 29936
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6987 0 0 0 9977 21 0 0 25 0 1 0 479316358 30654464 6965 4294967295 134512640 134672761 3221224624 3221223796 134556627 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7484 6965 603 41 0 7443 0
vsize: 29936
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 6995 0 0 0 10978 21 0 0 25 0 1 0 479316358 30654464 6973 4294967295 134512640 134672761 3221224624 3221223792 134560842 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7484 6973 603 41 0 7443 0
vsize: 29936
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 7008 0 0 0 11978 21 0 0 25 0 1 0 479316358 30789632 6986 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7517 6986 603 41 0 7476 0
vsize: 30068
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 7021 0 0 0 12978 21 0 0 25 0 1 0 479316358 30789632 6999 4294967295 134512640 134672761 3221224624 3221223808 134556675 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7517 6999 603 41 0 7476 0
vsize: 30068
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 7258 0 0 0 13977 22 0 0 25 0 1 0 479316358 32268288 7236 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7878 7236 603 41 0 7837 0
vsize: 31512
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 7260 0 0 0 14978 22 0 0 25 0 1 0 479316358 32268288 7238 4294967295 134512640 134672761 3221224624 3221223760 134560604 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7878 7238 603 41 0 7837 0
vsize: 31512
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 7262 0 0 0 15978 22 0 0 25 0 1 0 479316358 32268288 7240 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7878 7240 603 41 0 7837 0
vsize: 31512
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 7323 0 0 0 16977 22 0 0 25 0 1 0 479316358 32407552 7273 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7912 7273 603 41 0 7871 0
vsize: 31648
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 7336 0 0 0 17977 22 0 0 25 0 1 0 479316358 32538624 7286 4294967295 134512640 134672761 3221224624 3221223796 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7944 7286 603 41 0 7903 0
vsize: 31776
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 7520 0 0 0 18977 23 0 0 25 0 1 0 479316358 33079296 7438 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8076 7438 603 41 0 8035 0
vsize: 32304
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 7730 0 0 0 19977 23 0 0 25 0 1 0 479316358 33824768 7615 4294967295 134512640 134672761 3221224624 3221223808 134558687 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8258 7615 603 41 0 8217 0
vsize: 33032
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 8043 0 0 0 20976 24 0 0 25 0 1 0 479316358 35168256 7928 4294967295 134512640 134672761 3221224624 3221223796 134556653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8586 7928 603 41 0 8545 0
vsize: 34344
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 8331 0 0 0 21975 26 0 0 25 0 1 0 479316358 36249600 8183 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8850 8183 603 41 0 8809 0
vsize: 35400
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 8722 0 0 0 22974 27 0 0 25 0 1 0 479316358 37867520 8574 4294967295 134512640 134672761 3221224624 3221223796 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9245 8574 603 41 0 9204 0
vsize: 36980
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 9074 0 0 0 23973 28 0 0 25 0 1 0 479316358 39346176 8926 4294967295 134512640 134672761 3221224624 3221223728 134560054 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9606 8926 603 41 0 9565 0
vsize: 38424
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 9379 0 0 0 24972 29 0 0 25 0 1 0 479316358 40558592 9231 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9902 9231 603 41 0 9861 0
vsize: 39608
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 9886 0 0 0 25970 31 0 0 25 0 1 0 479316358 42577920 9738 4294967295 134512640 134672761 3221224624 3221223824 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10395 9738 603 41 0 10354 0
vsize: 41580
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 10193 0 0 0 26969 32 0 0 25 0 1 0 479316358 43765760 10014 4294967295 134512640 134672761 3221224624 3221223728 134559883 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10685 10014 603 41 0 10644 0
vsize: 42740
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 10765 0 0 0 27967 35 0 0 25 0 1 0 479316358 46043136 10586 4294967295 134512640 134672761 3221224624 3221223728 134560405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11241 10586 603 41 0 11200 0
vsize: 44964
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 11088 0 0 0 28966 36 0 0 25 0 1 0 479316358 47144960 10876 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11510 10876 603 41 0 11469 0
vsize: 46040
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 11306 0 0 0 29965 36 0 0 25 0 1 0 479316358 48091136 11094 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11741 11094 603 41 0 11700 0
vsize: 46964
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 11611 0 0 0 30964 38 0 0 25 0 1 0 479316358 49307648 11399 4294967295 134512640 134672761 3221224624 3221223728 134560396 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12038 11399 603 41 0 11997 0
vsize: 48152
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 11912 0 0 0 31964 39 0 0 25 0 1 0 479316358 50778112 11700 4294967295 134512640 134672761 3221224624 3221223748 134566034 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12397 11700 603 41 0 12356 0
vsize: 49588
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 12341 0 0 0 32962 40 0 0 25 0 1 0 479316358 52518912 12129 4294967295 134512640 134672761 3221224624 3221223808 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12822 12129 603 41 0 12781 0
vsize: 51288
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 12775 0 0 0 33961 41 0 0 25 0 1 0 479316358 54394880 12563 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13280 12563 603 41 0 13239 0
vsize: 53120
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 13282 0 0 0 34960 42 0 0 25 0 1 0 479316358 56401920 13070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13770 13070 603 41 0 13729 0
vsize: 55080
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 13628 0 0 0 35959 44 0 0 25 0 1 0 479316358 57737216 13416 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14096 13416 603 41 0 14055 0
vsize: 56384
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 13944 0 0 0 36958 45 0 0 25 0 1 0 479316358 59080704 13732 4294967295 134512640 134672761 3221224624 3221223796 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14424 13732 603 41 0 14383 0
vsize: 57696
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 14340 0 0 0 37956 47 0 0 25 0 1 0 479316358 60690432 14128 4294967295 134512640 134672761 3221224624 3221223808 134559354 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14817 14128 603 41 0 14776 0
vsize: 59268
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 14786 0 0 0 38955 48 0 0 25 0 1 0 479316358 62562304 14574 4294967295 134512640 134672761 3221224624 3221223796 134556653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15274 14574 603 41 0 15233 0
vsize: 61096
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 15057 0 0 0 39954 49 0 0 25 0 1 0 479316358 63639552 14845 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15537 14845 603 41 0 15496 0
vsize: 62148
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 15445 0 0 0 40953 51 0 0 25 0 1 0 479316358 65232896 15233 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15926 15233 603 41 0 15885 0
vsize: 63704
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 15914 0 0 0 41951 53 0 0 25 0 1 0 479316358 67112960 15702 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16385 15702 603 41 0 16344 0
vsize: 65540
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 16266 0 0 0 42949 55 0 0 25 0 1 0 479316358 68583424 16054 4294967295 134512640 134672761 3221224624 3221223792 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16744 16054 603 41 0 16703 0
vsize: 66976
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 16673 0 0 0 43949 56 0 0 25 0 1 0 479316358 70189056 16461 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17136 16461 603 41 0 17095 0
vsize: 68544
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 17085 0 0 0 44948 57 0 0 25 0 1 0 479316358 71933952 16873 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17562 16873 603 41 0 17521 0
vsize: 70248
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 17619 0 0 0 45946 58 0 0 25 0 1 0 479316358 74063872 17407 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18082 17407 603 41 0 18041 0
vsize: 72328
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 18118 0 0 0 46945 59 0 0 25 0 1 0 479316358 76083200 17906 4294967295 134512640 134672761 3221224624 3221223808 134558662 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18575 17906 603 41 0 18534 0
vsize: 74300
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 18612 0 0 0 47945 61 0 0 25 0 1 0 479316358 78077952 18400 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19062 18400 603 41 0 19021 0
vsize: 76248
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 19156 0 0 0 48943 63 0 0 25 0 1 0 479316358 80351232 18944 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19617 18944 603 41 0 19576 0
vsize: 78468
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 19673 0 0 0 49941 64 0 0 25 0 1 0 479316358 82501632 19461 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20142 19461 603 41 0 20101 0
vsize: 80568
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 50940 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223536 134565852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 51940 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223728 134559847 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 52941 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 53940 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223808 134558925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 54940 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223808 134559161 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 55940 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223792 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 56941 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223824 134557887 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 57941 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223728 134559829 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 58941 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223792 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 59941 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223760 134560560 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 60941 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 61942 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223824 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 62942 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223760 134560611 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6015
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 63942 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223792 134560845 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+650.009 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 6068
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 64942 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+660.01 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 6068
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 65942 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+670.011 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 6068
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20005 0 0 0 66942 66 0 0 25 0 1 0 479316358 83591168 19760 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20408 19760 603 41 0 20367 0
vsize: 81632
[startup+680.011 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 6068
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20039 0 0 0 67942 66 0 0 25 0 1 0 479316358 83861504 19794 4294967295 134512640 134672761 3221224624 3221223808 134558662 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20474 19794 603 41 0 20433 0
vsize: 81896
[startup+690.01 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 6068
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20526 0 0 0 68941 68 0 0 25 0 1 0 479316358 85741568 20281 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20933 20281 603 41 0 20892 0
vsize: 83732
[startup+700.01 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 6068
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 20934 0 0 0 69940 69 0 0 25 0 1 0 479316358 87490560 20689 4294967295 134512640 134672761 3221224624 3221223808 134558662 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21360 20689 603 41 0 21319 0
vsize: 85440
[startup+710.01 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 6068
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 21424 0 0 0 70938 71 0 0 25 0 1 0 479316358 89497600 21179 4294967295 134512640 134672761 3221224624 3221223788 134561235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21850 21179 603 41 0 21809 0
vsize: 87400
[startup+720.011 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 21797 0 0 0 71938 72 0 0 25 0 1 0 479316358 90963968 21552 4294967295 134512640 134672761 3221224624 3221223792 134560906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22208 21552 603 41 0 22167 0
vsize: 88832
[startup+730.012 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 22229 0 0 0 72937 72 0 0 25 0 1 0 479316358 92712960 21984 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22635 21984 603 41 0 22594 0
vsize: 90540
[startup+740.011 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 22592 0 0 0 73936 73 0 0 25 0 1 0 479316358 94187520 22347 4294967295 134512640 134672761 3221224624 3221223808 134558553 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22995 22347 603 41 0 22954 0
vsize: 91980
[startup+750.011 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 23055 0 0 0 74935 74 0 0 25 0 1 0 479316358 96186368 22810 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23483 22810 603 41 0 23442 0
vsize: 93932
[startup+760.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 23504 0 0 0 75934 76 0 0 25 0 1 0 479316358 97923072 23259 4294967295 134512640 134672761 3221224624 3221223808 134558899 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23907 23259 603 41 0 23866 0
vsize: 95628
[startup+770.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 23821 0 0 0 76934 76 0 0 25 0 1 0 479316358 99258368 23576 4294967295 134512640 134672761 3221224624 3221223792 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24233 23576 603 41 0 24192 0
vsize: 96932
[startup+780.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 24161 0 0 0 77933 77 0 0 25 0 1 0 479316358 100732928 23916 4294967295 134512640 134672761 3221224624 3221223564 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24593 23916 603 41 0 24552 0
vsize: 98372
[startup+790.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 24503 0 0 0 78932 78 0 0 25 0 1 0 479316358 102076416 24258 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24921 24258 603 41 0 24880 0
vsize: 99684
[startup+800.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 24911 0 0 0 79932 79 0 0 25 0 1 0 479316358 103813120 24666 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25345 24666 603 41 0 25304 0
vsize: 101380
[startup+810.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 25399 0 0 0 80930 80 0 0 25 0 1 0 479316358 105689088 25154 4294967295 134512640 134672761 3221224624 3221223728 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25803 25154 603 41 0 25762 0
vsize: 103212
[startup+820.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 25754 0 0 0 81930 81 0 0 25 0 1 0 479316358 107167744 25509 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26164 25509 603 41 0 26123 0
vsize: 104656
[startup+830.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 26106 0 0 0 82928 83 0 0 25 0 1 0 479316358 108630016 25861 4294967295 134512640 134672761 3221224624 3221223748 134566034 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26521 25861 603 41 0 26480 0
vsize: 106084
[startup+840.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 26414 0 0 0 83928 84 0 0 25 0 1 0 479316358 109969408 26169 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26848 26169 603 41 0 26807 0
vsize: 107392
[startup+850.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 26813 0 0 0 84927 85 0 0 25 0 1 0 479316358 111579136 26568 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27241 26568 603 41 0 27200 0
vsize: 108964
[startup+860.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 27107 0 0 0 85925 86 0 0 25 0 1 0 479316358 112787456 26862 4294967295 134512640 134672761 3221224624 3221223792 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27536 26862 603 41 0 27495 0
vsize: 110144
[startup+870.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 27401 0 0 0 86924 87 0 0 25 0 1 0 479316358 113999872 27156 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27832 27156 603 41 0 27791 0
vsize: 111328
[startup+880.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 27719 0 0 0 87924 88 0 0 25 0 1 0 479316358 115212288 27474 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28128 27474 603 41 0 28087 0
vsize: 112512
[startup+890.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 27987 0 0 0 88923 89 0 0 25 0 1 0 479316358 116277248 27742 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28388 27742 603 41 0 28347 0
vsize: 113552
[startup+900.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 28355 0 0 0 89922 90 0 0 25 0 1 0 479316358 117870592 28110 4294967295 134512640 134672761 3221224624 3221223824 134557842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28777 28110 603 41 0 28736 0
vsize: 115108
[startup+910.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 28657 0 0 0 90921 91 0 0 25 0 1 0 479316358 119074816 28412 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29071 28412 603 41 0 29030 0
vsize: 116284
[startup+920.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 28901 0 0 0 91920 92 0 0 25 0 1 0 479316358 120016896 28656 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29301 28656 603 41 0 29260 0
vsize: 117204
[startup+930.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 29266 0 0 0 92920 93 0 0 25 0 1 0 479316358 121491456 29021 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29661 29021 603 41 0 29620 0
vsize: 118644
[startup+940.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 29606 0 0 0 93919 93 0 0 25 0 1 0 479316358 122961920 29361 4294967295 134512640 134672761 3221224624 3221223792 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30020 29361 603 41 0 29979 0
vsize: 120080
[startup+950.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 29989 0 0 0 94919 94 0 0 25 0 1 0 479316358 124555264 29744 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30409 29744 603 41 0 30368 0
vsize: 121636
[startup+960.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6070
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 30250 0 0 0 95919 95 0 0 25 0 1 0 479316358 125620224 30005 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30669 30005 603 41 0 30628 0
vsize: 122676
[startup+970.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 30544 0 0 0 96918 95 0 0 25 0 1 0 479316358 126689280 30299 4294967295 134512640 134672761 3221224624 3221223792 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30930 30299 603 41 0 30889 0
vsize: 123720
[startup+980.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 30839 0 0 0 97918 96 0 0 25 0 1 0 479316358 128020480 30594 4294967295 134512640 134672761 3221224624 3221223824 134557919 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31255 30594 603 41 0 31214 0
vsize: 125020
[startup+990.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 31165 0 0 0 98917 97 0 0 25 0 1 0 479316358 129757184 30920 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31679 30920 603 41 0 31638 0
vsize: 126716
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 31484 0 0 0 99916 98 0 0 25 0 1 0 479316358 131112960 31239 4294967295 134512640 134672761 3221224624 3221223792 134561201 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32010 31239 603 41 0 31969 0
vsize: 128040
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 31769 0 0 0 100916 98 0 0 25 0 1 0 479316358 132313088 31524 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32303 31524 603 41 0 32262 0
vsize: 129212
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 31991 0 0 0 101916 99 0 0 25 0 1 0 479316358 133120000 31746 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32500 31746 603 41 0 32459 0
vsize: 130000
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 32244 0 0 0 102915 100 0 0 25 0 1 0 479316358 134197248 31999 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32763 31999 603 41 0 32722 0
vsize: 131052
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 32498 0 0 0 103914 101 0 0 25 0 1 0 479316358 135274496 32253 4294967295 134512640 134672761 3221224624 3221223792 134561016 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33026 32253 603 41 0 32985 0
vsize: 132104
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 32798 0 0 0 104913 102 0 0 25 0 1 0 479316358 136470528 32553 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33318 32553 603 41 0 33277 0
vsize: 133272
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 33067 0 0 0 105913 103 0 0 25 0 1 0 479316358 137539584 32822 4294967295 134512640 134672761 3221224624 3221223728 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33579 32822 603 41 0 33538 0
vsize: 134316
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 33350 0 0 0 106912 103 0 0 25 0 1 0 479316358 138739712 33105 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33872 33105 603 41 0 33831 0
vsize: 135488
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 33665 0 0 0 107911 104 0 0 25 0 1 0 479316358 140075008 33420 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34198 33420 603 41 0 34157 0
vsize: 136792
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 33972 0 0 0 108911 105 0 0 25 0 1 0 479316358 141275136 33727 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34491 33727 603 41 0 34450 0
vsize: 137964
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 34287 0 0 0 109910 106 0 0 25 0 1 0 479316358 142495744 34042 4294967295 134512640 134672761 3221224624 3221223792 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34789 34042 603 41 0 34748 0
vsize: 139156
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 34570 0 0 0 110910 106 0 0 25 0 1 0 479316358 143683584 34325 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35079 34325 603 41 0 35038 0
vsize: 140316
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 34866 0 0 0 111910 107 0 0 25 0 1 0 479316358 144887808 34621 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35373 34621 603 41 0 35332 0
vsize: 141492
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 35188 0 0 0 112909 108 0 0 25 0 1 0 479316358 146223104 34943 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35699 34943 603 41 0 35658 0
vsize: 142796
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 35462 0 0 0 113908 109 0 0 25 0 1 0 479316358 147308544 35217 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35964 35217 603 41 0 35923 0
vsize: 143856
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 35752 0 0 0 114908 109 0 0 25 0 1 0 479316358 148529152 35507 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36262 35507 603 41 0 36221 0
vsize: 145048
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 36025 0 0 0 115907 110 0 0 25 0 1 0 479316358 149602304 35780 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36524 35780 603 41 0 36483 0
vsize: 146096
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 36270 0 0 0 116907 110 0 0 25 0 1 0 479316358 150679552 36025 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36787 36025 603 41 0 36746 0
vsize: 147148
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 36457 0 0 0 117906 111 0 0 25 0 1 0 479316358 151351296 36212 4294967295 134512640 134672761 3221224624 3221223792 134560948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36951 36212 603 41 0 36910 0
vsize: 147804
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 36693 0 0 0 118906 112 0 0 25 0 1 0 479316358 152424448 36448 4294967295 134512640 134672761 3221224624 3221223792 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37213 36448 603 41 0 37172 0
vsize: 148852
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6072
Raw data (stat): 6015 (minisat+) R 6014 3260 3259 0 -1 0 36920 0 0 0 119905 112 0 0 25 0 1 0 479316358 153370624 36675 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37444 36675 603 41 0 37403 0
vsize: 149776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 6072
Raw data (stat): 6015 (minisat+) Z 6014 3260 3259 0 -1 12 36923 0 0 0 119906 119 0 0 25 0 1 0 479316358 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.09
CPU time (s): 1200.26
CPU user time (s): 1199.06
CPU system time (s): 1.19682
CPU usage (%): 100.014
Max. virtual memory (Kb): 149776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####