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-3.opb
MD5SUM	b95391b071a3986ad670119101f16613
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.13
Number of variables	1534
Total number of constraints	126082
Number of constraints which are clauses	126082
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 6446

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-14 04:57:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4863 boxname=wulflinc13 idbench=351 idsolver=13 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b95391b071a3986ad670119101f16613  /oldhome/oroussel/tmp/wulflinc13/normalized-frb59-26-3.opb
REAL COMMAND:  minisat+ -w /oldhome/oroussel/tmp/wulflinc13/normalized-frb59-26-3.opb /oldhome/oroussel/tmp/wulflinc13/normalized-frb59-26-3.opb
IDLAUNCH: 4863
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        883360 kB
Buffers:         35556 kB
Cached:          95224 kB
SwapCached:        392 kB
Active:          58888 kB
Inactive:        75164 kB
HighTotal:      131008 kB
HighFree:        31892 kB
LowTotal:       903652 kB
LowFree:        851468 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11712 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 05:17:41 (client local time) WITH STATUS 10 IN 1200.26 SECONDS
stats: 4863 7 1200.26 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 126082 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 |  126082   252164 |   42027       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -43[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 |  308739   679477 |  102913       0        0     nan |  0.000 % |
c |       100 |  308739   679477 |  113204     100      978     9.8 |  0.002 % |
c |       250 |  306953   675400 |  124524     203     1597     7.9 |  0.856 % |
c |       475 |  304465   669718 |  136977     366     2564     7.0 |  2.045 % |
c |       813 |  301658   663280 |  150674     640     6757    10.6 |  3.423 % |
c |      1319 |  294549   646939 |  165742    1019    10237    10.0 |  6.958 % |
c |      2078 |  287333   630356 |  182316    1611    14980     9.3 | 10.551 % |
c |      3219 |  267439   584411 |  200548    2259    20539     9.1 | 20.860 % |
c |      4927 |  248922   541513 |  220603    3368    29993     8.9 | 30.379 % |
c |      7489 |  219400   472636 |  242663    5049    47614     9.4 | 45.962 % |
c |     11334 |  187820   398756 |  266929    7185    71992    10.0 | 63.172 % |
c |     17100 |  162323   338905 |  293622    9740   105180    10.8 | 77.360 % |
c |     25750 |  149707   309243 |  322985   14520   196555    13.5 | 84.513 % |
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 |     27191 |  147227   303354 |   49075   14963   208593    13.9 | 84.513 % |
c |     27291 |  147227   303354 |   53982   15063   210057    13.9 | 85.950 % |
c |     27441 |  147042   302920 |   59380   15120   210918    13.9 | 86.055 % |
c |     27666 |  146707   302132 |   65318   15113   210383    13.9 | 86.249 % |
c |     28003 |  146707   302132 |   71850   15450   216770    14.0 | 86.249 % |
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 |     28259 |  146695   302120 |   48898   15645   223486    14.3 | 86.249 % |
c |     28360 |  146667   302053 |   53787   15737   224218    14.2 | 86.292 % |
c |     28510 |  146552   301781 |   59166   15818   225241    14.2 | 86.361 % |
c |     28735 |  146552   301781 |   65083   16043   229819    14.3 | 86.361 % |
c |     29073 |  146552   301781 |   71591   16381   238641    14.6 | 86.361 % |
c |     29579 |  146205   300968 |   78750   16595   241686    14.6 | 86.558 % |
c |     30339 |  145816   300053 |   86625   16943   246761    14.6 | 86.875 % |
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 |     30955 |  145323   298884 |   48441   17146   247640    14.4 | 86.875 % |
c |     31057 |  145231   298668 |   53285   17193   248365    14.4 | 87.109 % |
c |     31208 |  144609   297197 |   58613   16748   243315    14.5 | 87.474 % |
c |     31433 |  144536   297026 |   64474   16902   246866    14.6 | 87.516 % |
c |     31771 |  144095   295995 |   70922   16929   245319    14.5 | 87.765 % |
c |     32277 |  143762   295217 |   78014   17217   250453    14.5 | 87.949 % |
c |     33036 |  143758   295208 |   85816   17972   265843    14.8 | 87.950 % |
c |     34175 |  143543   294711 |   94397   19002   304845    16.0 | 88.063 % |
c |     35884 |  143501   294613 |  103837   20692   444565    21.5 | 88.086 % |
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 |     36638 |  143315   294196 |   47771   21276   479177    22.5 | 88.086 % |
c |     36738 |  143309   294182 |   52548   21374   480202    22.5 | 88.227 % |
c |     36888 |  143309   294182 |   57802   21524   482098    22.4 | 88.227 % |
c |     37113 |  143095   293679 |   63583   21603   483434    22.4 | 88.351 % |
c |     37450 |  142903   293227 |   69941   21503   482227    22.4 | 88.463 % |
c |     37956 |  142839   293076 |   76935   21903   497778    22.7 | 88.501 % |
c |     38715 |  142799   292983 |   84629   22577   516119    22.9 | 88.521 % |
c |     39855 |  142579   292463 |   93092   23341   553327    23.7 | 88.652 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     41527 |  142235   291645 |   47411   24420   625028    25.6 | 88.652 % |
c |     41628 |  142172   291491 |   52152   24431   624498    25.6 | 88.886 % |
c |     41778 |  142172   291491 |   57367   24581   627343    25.5 | 88.886 % |
c |     42003 |  142148   291435 |   63104   24749   638064    25.8 | 88.899 % |
c |     42340 |  141982   291040 |   69414   24911   648719    26.0 | 88.997 % |
c |     42846 |  141982   291040 |   76355   25417   691576    27.2 | 88.997 % |
c |     43605 |  141932   290921 |   83991   26097   707064    27.1 | 89.028 % |
c |     44744 |  141932   290921 |   92390   27236   814919    29.9 | 89.028 % |
c |     46452 |  141932   290921 |  101629   28944   963672    33.3 | 89.028 % |
c |     49015 |  141843   290710 |  111792   31431  1114952    35.5 | 89.082 % |
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 |     50007 |  141866   290772 |   47288   32347  1196591    37.0 | 89.082 % |
c |     50107 |  141866   290772 |   52016   32447  1199029    37.0 | 89.081 % |
c |     50257 |  141715   290416 |   57218   32198  1200012    37.3 | 89.168 % |
c |     50482 |  141715   290416 |   62940   32423  1207305    37.2 | 89.168 % |
c |     50820 |  141701   290384 |   69234   32725  1235933    37.8 | 89.175 % |
c |     51326 |  141687   290352 |   76157   33177  1258738    37.9 | 89.181 % |
c |     52085 |  141687   290352 |   83773   33936  1333446    39.3 | 89.181 % |
c |     53224 |  141687   290352 |   92150   35075  1545617    44.1 | 89.181 % |
c |     54932 |  141687   290352 |  101366   36783  1740343    47.3 | 89.181 % |
c |     57496 |  141543   290011 |  111502   39070  1977470    50.6 | 89.267 % |
c |     61340 |  141490   289887 |  122652   42745  2396416    56.1 | 89.297 % |
c |     67106 |  141436   289760 |  134918   48127  3079864    64.0 | 89.328 % |
c |     75755 |  141422   289727 |  148410   56772  4464171    78.6 | 89.336 % |
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 |     85177 |  141388   289639 |   47129   65919  6282167    95.3 | 89.336 % |
c |     85277 |  141388   289639 |   51841   66019  6286316    95.2 | 89.349 % |
c |     85427 |  141378   289616 |   57026   66148  6299198    95.2 | 89.354 % |
c |     85652 |  141378   289616 |   62728   66373  6310006    95.1 | 89.354 % |
c |     85990 |  141378   289616 |   69001   66711  6329121    94.9 | 89.354 % |
c |     86496 |  141378   289616 |   75901   67217  6377819    94.9 | 89.354 % |
c |     87255 |  141378   289616 |   83491   67976  6456439    95.0 | 89.354 % |
c |     88394 |  141346   289540 |   91841   69082  6571551    95.1 | 89.373 % |
c |     90102 |  141346   289540 |  101025   70790  6780598    95.8 | 89.373 % |
c |     92664 |  141340   289526 |  111127   73351  7209256    98.3 | 89.376 % |
c |     96508 |  141334   289512 |  122240   77190  7766958   100.6 | 89.380 % |
c |    102274 |  141167   289116 |  134464   82462  8607442   104.4 | 89.479 % |
c |    110924 |  141115   288995 |  147910   90967 10205200   112.2 | 89.507 % |
c |    123898 |  141115   288995 |  162702  103941 13041204   125.5 | 89.507 % |
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 |    126991 |  141164   289118 |   47054  107020 13470105   125.9 | 89.507 % |
c |    127091 |  141164   289118 |   51759   20861  2741222   131.4 | 89.505 % |
c |    127241 |  141164   289118 |   56935   21011  2748874   130.8 | 89.505 % |
c |    127466 |  141164   289118 |   62628   21236  2765236   130.2 | 89.505 % |
c |    127803 |  141019   288773 |   68891   21506  2772804   128.9 | 89.598 % |
c |    128310 |  141019   288773 |   75780   22013  2833601   128.7 | 89.598 % |
c |    129069 |  141019   288773 |   83359   22772  2891565   127.0 | 89.598 % |
c |    130208 |  141019   288773 |   91694   23911  3054877   127.8 | 89.598 % |
c |    131916 |  141019   288773 |  100864   25619  3237556   126.4 | 89.598 % |
c |    134479 |  140951   288611 |  110950   28116  3636864   129.4 | 89.640 % |
c |    138323 |  140856   288389 |  122045   31872  4168301   130.8 | 89.693 % |
c |    144089 |  140856   288389 |  134250   37638  5094891   135.4 | 89.693 % |
c |    152739 |  140842   288356 |  147675   46286  6517403   140.8 | 89.701 % |
c |    165713 |  140842   288356 |  162443   59260  9143545   154.3 | 89.701 % |
c |    185175 |  140836   288342 |  178687   78721 13880237   176.3 | 89.704 % |
c |    214369 |  140836   288342 |  196556  107915 19674051   182.3 | 89.704 % |
c |    258158 |  140773   288194 |  216211  151681 26076999   171.9 | 89.740 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 -C1511 C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 -C1455 C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 -C1423 -C1422 -C1421 -C1420 C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 C1174 -C1173 -C1172 -C1171 C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 C706 -C705 -C704 -C703 -C702 -C701 -C700 C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.95 0.90 2/54 5963
Raw data (stat): 5963 (runsolver) R 5962 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 423670029 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 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.0005 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7377 0 0 0 975 23 0 0 25 0 1 0 423670029 32632832 7355 4294967295 134512640 134672761 3221224560 3221223752 134556677 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7967 7355 603 41 0 7926 0
vsize: 31868
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7382 0 0 0 1974 23 0 0 25 0 1 0 423670029 32632832 7360 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7967 7360 603 41 0 7926 0
vsize: 31868
[startup+30.0043 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7385 0 0 0 2974 23 0 0 25 0 1 0 423670029 32768000 7363 4294967295 134512640 134672761 3221224560 3221223732 134556667 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7363 603 41 0 7959 0
vsize: 32000
[startup+40.0043 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7387 0 0 0 3974 23 0 0 25 0 1 0 423670029 32768000 7365 4294967295 134512640 134672761 3221224560 3221223732 134556653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7365 603 41 0 7959 0
vsize: 32000
[startup+50.0046 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7390 0 0 0 4974 23 0 0 25 0 1 0 423670029 32768000 7368 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7368 603 41 0 7959 0
vsize: 32000
[startup+60.0046 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7390 0 0 0 5974 23 0 0 25 0 1 0 423670029 32768000 7368 4294967295 134512640 134672761 3221224560 3221223732 134556667 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7368 603 41 0 7959 0
vsize: 32000
[startup+70.0052 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7391 0 0 0 6975 23 0 0 25 0 1 0 423670029 32768000 7369 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7369 603 41 0 7959 0
vsize: 32000
[startup+80.0056 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7392 0 0 0 7975 23 0 0 25 0 1 0 423670029 32768000 7370 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7370 603 41 0 7959 0
vsize: 32000
[startup+90.0059 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7397 0 0 0 8975 23 0 0 25 0 1 0 423670029 32768000 7375 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7375 603 41 0 7959 0
vsize: 32000
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7400 0 0 0 9975 23 0 0 25 0 1 0 423670029 32768000 7378 4294967295 134512640 134672761 3221224560 3221223732 134556627 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7378 603 41 0 7959 0
vsize: 32000
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7401 0 0 0 10975 23 0 0 25 0 1 0 423670029 32768000 7379 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7379 603 41 0 7959 0
vsize: 32000
[startup+120.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7403 0 0 0 11976 23 0 0 25 0 1 0 423670029 32768000 7381 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7381 603 41 0 7959 0
vsize: 32000
[startup+130.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7408 0 0 0 12976 23 0 0 25 0 1 0 423670029 32768000 7386 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7386 603 41 0 7959 0
vsize: 32000
[startup+140.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5963
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7420 0 0 0 13976 23 0 0 25 0 1 0 423670029 32940032 7398 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8042 7398 603 41 0 8001 0
vsize: 32168
[startup+150.011 s]
Raw data (loadavg): 0.98 0.97 0.91 3/57 5999
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7421 0 0 0 14972 27 0 0 25 0 1 0 423670029 32940032 7399 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8042 7399 603 41 0 8001 0
vsize: 32168
[startup+160.01 s]
Raw data (loadavg): 1.14 1.00 0.92 2/56 6006
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7427 0 0 0 15972 27 0 0 25 0 1 0 423670029 32940032 7405 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8042 7405 603 41 0 8001 0
vsize: 32168
[startup+170.01 s]
Raw data (loadavg): 1.19 1.02 0.93 2/54 6016
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7486 0 0 0 16972 27 0 0 25 0 1 0 423670029 33071104 7464 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8074 7464 603 41 0 8033 0
vsize: 32296
[startup+180.009 s]
Raw data (loadavg): 1.16 1.01 0.93 2/54 6016
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7735 0 0 0 17971 27 0 0 25 0 1 0 423670029 34603008 7713 4294967295 134512640 134672761 3221224560 3221223760 134561972 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8448 7713 603 41 0 8407 0
vsize: 33792
[startup+190.01 s]
Raw data (loadavg): 1.14 1.01 0.93 2/54 6016
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 7950 0 0 0 18971 28 0 0 25 0 1 0 423670029 35299328 7895 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8618 7895 603 41 0 8577 0
vsize: 34472
[startup+200.01 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 6016
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 8212 0 0 0 19969 29 0 0 25 0 1 0 423670029 36360192 8125 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8877 8125 603 41 0 8836 0
vsize: 35508
[startup+210.01 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 6016
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 8771 0 0 0 20967 32 0 0 25 0 1 0 423670029 38395904 8651 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9374 8651 603 41 0 9333 0
vsize: 37496
[startup+220.01 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 6016
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 9378 0 0 0 21965 34 0 0 25 0 1 0 423670029 41066496 9258 4294967295 134512640 134672761 3221224560 3221223728 134560828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10026 9258 603 41 0 9985 0
vsize: 40104
[startup+230.01 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 9899 0 0 0 22963 36 0 0 25 0 1 0 423670029 43216896 9779 4294967295 134512640 134672761 3221224560 3221223728 134560906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10551 9779 603 41 0 10510 0
vsize: 42204
[startup+240.01 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 10429 0 0 0 23962 37 0 0 25 0 1 0 423670029 45363200 10309 4294967295 134512640 134672761 3221224560 3221223696 134560596 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11075 10309 603 41 0 11034 0
vsize: 44300
[startup+250.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 10969 0 0 0 24961 38 0 0 25 0 1 0 423670029 47505408 10849 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11598 10849 603 41 0 11557 0
vsize: 46392
[startup+260.01 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 11613 0 0 0 25959 40 0 0 25 0 1 0 423670029 50192384 11493 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12254 11493 603 41 0 12213 0
vsize: 49016
[startup+270.01 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 12197 0 0 0 26957 42 0 0 25 0 1 0 423670029 52469760 12077 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12810 12077 603 41 0 12769 0
vsize: 51240
[startup+280.01 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 12883 0 0 0 27956 44 0 0 25 0 1 0 423670029 55279616 12763 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13496 12763 603 41 0 13455 0
vsize: 53984
[startup+290.011 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 13464 0 0 0 28955 45 0 0 25 0 1 0 423670029 57700352 13344 4294967295 134512640 134672761 3221224560 3221223664 134560418 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14087 13344 603 41 0 14046 0
vsize: 56348
[startup+300.01 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 14041 0 0 0 29953 47 0 0 25 0 1 0 423670029 60375040 13921 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14740 13921 603 41 0 14699 0
vsize: 58960
[startup+310.01 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 14385 0 0 0 30952 48 0 0 25 0 1 0 423670029 61550592 14233 4294967295 134512640 134672761 3221224560 3221223728 134560828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15027 14233 603 41 0 14986 0
vsize: 60108
[startup+320.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 14785 0 0 0 31951 49 0 0 25 0 1 0 423670029 63156224 14633 4294967295 134512640 134672761 3221224560 3221223744 134559572 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15419 14633 603 41 0 15378 0
vsize: 61676
[startup+330.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 15266 0 0 0 32951 50 0 0 25 0 1 0 423670029 65163264 15114 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15909 15114 603 41 0 15868 0
vsize: 63636
[startup+340.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 15738 0 0 0 33949 52 0 0 25 0 1 0 423670029 67031040 15586 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16365 15586 603 41 0 16324 0
vsize: 65460
[startup+350.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 16174 0 0 0 34948 53 0 0 25 0 1 0 423670029 68902912 16022 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16822 16022 603 41 0 16781 0
vsize: 67288
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 16605 0 0 0 35947 54 0 0 25 0 1 0 423670029 70631424 16453 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17244 16453 603 41 0 17203 0
vsize: 68976
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 17013 0 0 0 36947 55 0 0 25 0 1 0 423670029 72232960 16861 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17635 16861 603 41 0 17594 0
vsize: 70540
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 17567 0 0 0 37945 56 0 0 25 0 1 0 423670029 74502144 17415 4294967295 134512640 134672761 3221224560 3221223728 134561139 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18189 17415 603 41 0 18148 0
vsize: 72756
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 18046 0 0 0 38944 57 0 0 25 0 1 0 423670029 76500992 17894 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18677 17894 603 41 0 18636 0
vsize: 74708
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 18456 0 0 0 39944 58 0 0 25 0 1 0 423670029 78114816 18304 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19071 18304 603 41 0 19030 0
vsize: 76284
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 18934 0 0 0 40943 59 0 0 25 0 1 0 423670029 80117760 18782 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19560 18782 603 41 0 19519 0
vsize: 78240
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 19433 0 0 0 41941 62 0 0 25 0 1 0 423670029 82108416 19281 4294967295 134512640 134672761 3221224560 3221223664 134560243 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20046 19281 603 41 0 20005 0
vsize: 80184
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 19915 0 0 0 42940 62 0 0 25 0 1 0 423670029 84115456 19763 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20536 19763 603 41 0 20495 0
vsize: 82144
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 20398 0 0 0 43939 63 0 0 25 0 1 0 423670029 86118400 20246 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21025 20246 603 41 0 20984 0
vsize: 84100
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 20870 0 0 0 44938 65 0 0 25 0 1 0 423670029 87969792 20718 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21477 20718 603 41 0 21436 0
vsize: 85908
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21335 0 0 0 45937 66 0 0 25 0 1 0 423670029 89956352 21183 4294967295 134512640 134672761 3221224560 3221223728 134561018 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21962 21183 603 41 0 21921 0
vsize: 87848
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21650 0 0 0 46936 67 0 0 25 0 1 0 423670029 91160576 21498 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22256 21498 603 41 0 22215 0
vsize: 89024
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 47936 67 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223664 134560402 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 48936 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 49936 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+510.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 50936 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223744 134559045 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 51937 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6018
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 52937 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 53937 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223664 134559838 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 54937 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223728 134561385 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 55937 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 56938 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 57938 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223728 134560864 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 58938 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 59939 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223712 134541817 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 60939 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21722 0 0 0 61939 68 0 0 25 0 1 0 423670029 91275264 21538 4294967295 134512640 134672761 3221224560 3221223744 134559613 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21538 603 41 0 22243 0
vsize: 89136
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21723 0 0 0 62939 68 0 0 25 0 1 0 423670029 91275264 21539 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21539 603 41 0 22243 0
vsize: 89136
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21723 0 0 0 63939 68 0 0 25 0 1 0 423670029 91275264 21539 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21539 603 41 0 22243 0
vsize: 89136
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 21723 0 0 0 64940 68 0 0 25 0 1 0 423670029 91275264 21539 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22284 21539 603 41 0 22243 0
vsize: 89136
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 22141 0 0 0 65938 69 0 0 25 0 1 0 423670029 93011968 21957 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22708 21957 603 41 0 22667 0
vsize: 90832
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 22531 0 0 0 66937 70 0 0 25 0 1 0 423670029 94605312 22347 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23097 22347 603 41 0 23056 0
vsize: 92388
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 23002 0 0 0 67935 72 0 0 25 0 1 0 423670029 96595968 22818 4294967295 134512640 134672761 3221224560 3221223516 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23583 22818 603 41 0 23542 0
vsize: 94332
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 23550 0 0 0 68934 74 0 0 25 0 1 0 423670029 98877440 23366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24140 23366 603 41 0 24099 0
vsize: 96560
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 24110 0 0 0 69933 75 0 0 25 0 1 0 423670029 101150720 23926 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24695 23926 603 41 0 24654 0
vsize: 98780
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 24658 0 0 0 70932 76 0 0 25 0 1 0 423670029 103424000 24474 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25250 24474 603 41 0 25209 0
vsize: 101000
[startup+720.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 25137 0 0 0 71931 78 0 0 25 0 1 0 423670029 105291776 24953 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25706 24953 603 41 0 25665 0
vsize: 102824
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 25466 0 0 0 72930 79 0 0 25 0 1 0 423670029 106635264 25282 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26034 25282 603 41 0 25993 0
vsize: 104136
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 25865 0 0 0 73929 80 0 0 25 0 1 0 423670029 108249088 25681 4294967295 134512640 134672761 3221224560 3221223664 134554910 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26428 25681 603 41 0 26387 0
vsize: 105712
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 26191 0 0 0 74929 81 0 0 25 0 1 0 423670029 109711360 26007 4294967295 134512640 134672761 3221224560 3221223664 134560379 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26785 26007 603 41 0 26744 0
vsize: 107140
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 26550 0 0 0 75927 82 0 0 25 0 1 0 423670029 111185920 26366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27145 26366 603 41 0 27104 0
vsize: 108580
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 27065 0 0 0 76926 84 0 0 25 0 1 0 423670029 113201152 26881 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27637 26881 603 41 0 27596 0
vsize: 110548
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 27586 0 0 0 77924 86 0 0 25 0 1 0 423670029 115326976 27402 4294967295 134512640 134672761 3221224560 3221223744 134558890 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28156 27402 603 41 0 28115 0
vsize: 112624
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 28093 0 0 0 78923 87 0 0 25 0 1 0 423670029 117481472 27909 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28682 27909 603 41 0 28641 0
vsize: 114728
[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 28446 0 0 0 79921 88 0 0 25 0 1 0 423670029 118820864 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29009 28262 603 41 0 28968 0
vsize: 116036
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 28799 0 0 0 80920 90 0 0 25 0 1 0 423670029 120283136 28615 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29366 28615 603 41 0 29325 0
vsize: 117464
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 29181 0 0 0 81919 91 0 0 25 0 1 0 423670029 121880576 28997 4294967295 134512640 134672761 3221224560 3221223728 134561207 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29756 28997 603 41 0 29715 0
vsize: 119024
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 29580 0 0 0 82918 93 0 0 25 0 1 0 423670029 123494400 29396 4294967295 134512640 134672761 3221224560 3221223760 134557836 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30150 29396 603 41 0 30109 0
vsize: 120600
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 29920 0 0 0 83917 94 0 0 25 0 1 0 423670029 124825600 29736 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30475 29736 603 41 0 30434 0
vsize: 121900
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 30291 0 0 0 84916 95 0 0 25 0 1 0 423670029 126435328 30107 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30868 30107 603 41 0 30827 0
vsize: 123472
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 30497 0 0 0 85916 95 0 0 25 0 1 0 423670029 127234048 30313 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31063 30313 603 41 0 31022 0
vsize: 124252
[startup+870.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 30787 0 0 0 86916 96 0 0 25 0 1 0 423670029 128442368 30603 4294967295 134512640 134672761 3221224560 3221223744 134558662 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31358 30603 603 41 0 31317 0
vsize: 125432
[startup+880.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 31105 0 0 0 87915 96 0 0 25 0 1 0 423670029 129777664 30921 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31684 30921 603 41 0 31643 0
vsize: 126736
[startup+890.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 31469 0 0 0 88915 97 0 0 25 0 1 0 423670029 131231744 31285 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32039 31285 603 41 0 31998 0
vsize: 128156
[startup+900.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 31821 0 0 0 89913 98 0 0 25 0 1 0 423670029 132575232 31637 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32367 31637 603 41 0 32326 0
vsize: 129468
[startup+910.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 32089 0 0 0 90912 100 0 0 25 0 1 0 423670029 134295552 31905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32787 31905 603 41 0 32746 0
vsize: 131148
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 32354 0 0 0 91912 100 0 0 25 0 1 0 423670029 135360512 32170 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33047 32170 603 41 0 33006 0
vsize: 132188
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 32664 0 0 0 92911 101 0 0 25 0 1 0 423670029 136564736 32480 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33341 32480 603 41 0 33300 0
vsize: 133364
[startup+940.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 32956 0 0 0 93910 102 0 0 25 0 1 0 423670029 137760768 32772 4294967295 134512640 134672761 3221224560 3221223744 134558662 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33633 32772 603 41 0 33592 0
vsize: 134532
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 33234 0 0 0 94910 103 0 0 25 0 1 0 423670029 138964992 33050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33927 33050 603 41 0 33886 0
vsize: 135708
[startup+960.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 33503 0 0 0 95909 103 0 0 25 0 1 0 423670029 140034048 33319 4294967295 134512640 134672761 3221224560 3221223664 134560160 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34188 33319 603 41 0 34147 0
vsize: 136752
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 33800 0 0 0 96909 104 0 0 25 0 1 0 423670029 141225984 33616 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34479 33616 603 41 0 34438 0
vsize: 137916
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 34096 0 0 0 97908 105 0 0 25 0 1 0 423670029 142417920 33912 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34770 33912 603 41 0 34729 0
vsize: 139080
[startup+990.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 34478 0 0 0 98907 107 0 0 25 0 1 0 423670029 144011264 34294 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35159 34294 603 41 0 35118 0
vsize: 140636
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 34782 0 0 0 99906 107 0 0 25 0 1 0 423670029 145215488 34598 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35453 34598 603 41 0 35412 0
vsize: 141812
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 35033 0 0 0 100905 108 0 0 25 0 1 0 423670029 146288640 34849 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35715 34849 603 41 0 35674 0
vsize: 142860
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 35382 0 0 0 101904 109 0 0 25 0 1 0 423670029 147619840 35198 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36040 35198 603 41 0 35999 0
vsize: 144160
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 35701 0 0 0 102904 110 0 0 25 0 1 0 423670029 148955136 35517 4294967295 134512640 134672761 3221224560 3221223744 134558856 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36366 35517 603 41 0 36325 0
vsize: 145464
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 35994 0 0 0 103903 111 0 0 25 0 1 0 423670029 150151168 35810 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36658 35810 603 41 0 36617 0
vsize: 146632
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 36318 0 0 0 104902 112 0 0 25 0 1 0 423670029 151486464 36134 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36984 36134 603 41 0 36943 0
vsize: 147936
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 36556 0 0 0 105902 112 0 0 25 0 1 0 423670029 152408064 36372 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37209 36372 603 41 0 37168 0
vsize: 148836
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 36807 0 0 0 106902 113 0 0 25 0 1 0 423670029 153464832 36623 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37467 36623 603 41 0 37426 0
vsize: 149868
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 37102 0 0 0 107901 113 0 0 25 0 1 0 423670029 154660864 36918 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37759 36918 603 41 0 37718 0
vsize: 151036
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 37388 0 0 0 108901 114 0 0 25 0 1 0 423670029 155860992 37204 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38052 37204 603 41 0 38011 0
vsize: 152208
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 37678 0 0 0 109900 115 0 0 25 0 1 0 423670029 157061120 37494 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38345 37494 603 41 0 38304 0
vsize: 153380
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 38024 0 0 0 110900 116 0 0 25 0 1 0 423670029 158396416 37840 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38671 37840 603 41 0 38630 0
vsize: 154684
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 38371 0 0 0 111899 117 0 0 25 0 1 0 423670029 159854592 38187 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39027 38187 603 41 0 38986 0
vsize: 156108
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 38728 0 0 0 112898 118 0 0 25 0 1 0 423670029 161308672 38544 4294967295 134512640 134672761 3221224560 3221223732 134556651 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39382 38544 603 41 0 39341 0
vsize: 157528
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 38880 0 0 0 113898 118 0 0 25 0 1 0 423670029 161980416 38696 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39546 38696 603 41 0 39505 0
vsize: 158184
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 39127 0 0 0 114897 119 0 0 25 0 1 0 423670029 162914304 38943 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39774 38943 603 41 0 39733 0
vsize: 159096
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 39391 0 0 0 115896 120 0 0 25 0 1 0 423670029 163983360 39207 4294967295 134512640 134672761 3221224560 3221223744 134558977 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40035 39207 603 41 0 39994 0
vsize: 160140
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 39672 0 0 0 116896 121 0 0 25 0 1 0 423670029 165175296 39488 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40326 39488 603 41 0 40285 0
vsize: 161304
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 39980 0 0 0 117895 122 0 0 25 0 1 0 423670029 166375424 39796 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40619 39796 603 41 0 40578 0
vsize: 162476
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 40287 0 0 0 118895 123 0 0 25 0 1 0 423670029 167714816 40103 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40946 40103 603 41 0 40905 0
vsize: 163784
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6020
Raw data (stat): 5963 (minisat+) R 5962 30701 30700 0 -1 0 40560 0 0 0 119894 124 0 0 25 0 1 0 423670029 168767488 40376 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41203 40376 603 41 0 41162 0
vsize: 164812
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 6020
Raw data (stat): 5963 (minisat+) Z 5962 30701 30700 0 -1 12 40563 0 0 0 119894 131 0 0 25 0 1 0 423670029 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.11
CPU time (s): 1200.26
CPU user time (s): 1198.94
CPU system time (s): 1.3168
CPU usage (%): 100.012
Max. virtual memory (Kb): 164812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####