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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        848900 kB
Buffers:         35700 kB
Cached:         129920 kB
SwapCached:        164 kB
Active:          58044 kB
Inactive:       110600 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        848592 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11460 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 05:18:22 (client local time) WITH STATUS 10 IN 1200.32 SECONDS
stats: 4864 7 1200.32 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 127011 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 |  127011   254022 |   42337       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -39[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 |  309250   680363 |  103083       0        0     nan |  0.000 % |
c |       100 |  309250   680363 |  113391     100      533     5.3 |  0.002 % |
c |       250 |  308341   678298 |  124730     230     1147     5.0 |  0.423 % |
c |       475 |  305437   671645 |  137203     392     2241     5.7 |  1.815 % |
c |       812 |  301986   663775 |  150923     674     6092     9.0 |  3.501 % |
c |      1320 |  295332   648489 |  166016    1045     9264     8.9 |  6.737 % |
c ==============================================================================
c [1mFound solution: -40[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 |      1576 |  290940   638425 |   96980    1221    10835     8.9 |  6.737 % |
c |      1676 |  290538   637504 |  106678    1315    11450     8.7 |  9.078 % |
c |      1828 |  287727   631024 |  117345    1377    11938     8.7 | 10.508 % |
c |      2053 |  284359   623274 |  129080    1509    13440     8.9 | 12.195 % |
c |      2390 |  282013   617852 |  141988    1777    15532     8.7 | 13.409 % |
c |      2896 |  277801   608168 |  156187    2210    18087     8.2 | 15.513 % |
c |      3658 |  267216   583616 |  171805    2675    21483     8.0 | 21.103 % |
c |      4797 |  254093   553249 |  188986    3341    29563     8.8 | 27.884 % |
c |      6505 |  234493   507750 |  207885    4269    37015     8.7 | 38.214 % |
c ==============================================================================
c [1mFound solution: -41[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 |      8522 |  204790   438235 |   68263    4916    42860     8.7 | 38.214 % |
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 |      8526 |  205119   439111 |   68373    4918    42631     8.7 | 38.214 % |
c |      8626 |  204572   437838 |   75210    4968    42989     8.7 | 54.539 % |
c |      8776 |  202892   433902 |   82731    5035    43368     8.6 | 55.471 % |
c |      9001 |  200430   428128 |   91004    5124    43931     8.6 | 56.834 % |
c |      9338 |  198738   424160 |  100104    5322    45359     8.5 | 57.765 % |
c |      9844 |  195350   416254 |  110115    5672    48876     8.6 | 59.606 % |
c |     10603 |  187475   397800 |  121126    5850    49304     8.4 | 63.949 % |
c |     11742 |  178041   375646 |  133239    6389    53037     8.3 | 69.150 % |
c |     13450 |  169453   355528 |  146563    7274    63235     8.7 | 73.869 % |
c |     16012 |  159821   332863 |  161219    8521    74886     8.8 | 79.316 % |
c |     19856 |  151943   314335 |  177341   10973   104569     9.5 | 83.767 % |
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 |     21251 |  149824   309364 |   49941   11727   122819    10.5 | 83.767 % |
c |     21352 |  149272   308066 |   54935   11644   122377    10.5 | 85.323 % |
c |     21502 |  149089   307642 |   60428   11750   123233    10.5 | 85.422 % |
c |     21727 |  149061   307577 |   66471   11969   128202    10.7 | 85.436 % |
c |     22064 |  148506   306255 |   73118   11947   131092    11.0 | 85.780 % |
c |     22570 |  148297   305760 |   80430   12372   141601    11.4 | 85.904 % |
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 |     22786 |  148132   305245 |   49377   12529   151551    12.1 | 85.904 % |
c |     22886 |  147697   304214 |   54314   12325   148989    12.1 | 86.236 % |
c |     23036 |  147452   303635 |   59746   12319   148816    12.1 | 86.378 % |
c |     23261 |  146742   301961 |   65720   12245   148246    12.1 | 86.802 % |
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 |     23587 |  146692   301861 |   48897   12513   154985    12.4 | 86.802 % |
c |     23687 |  146692   301861 |   53786   12613   155764    12.3 | 86.867 % |
c |     23837 |  146632   301719 |   59165   12691   158389    12.5 | 86.902 % |
c |     24063 |  146341   301031 |   65081   12761   161767    12.7 | 87.073 % |
c |     24400 |  146068   300384 |   71590   12917   170764    13.2 | 87.231 % |
c |     24906 |  145936   300070 |   78749   13343   188085    14.1 | 87.310 % |
c |     25665 |  145562   299191 |   86624   13880   235475    17.0 | 87.524 % |
c |     26804 |  144982   297833 |   95286   14713   244829    16.6 | 87.851 % |
c |     28512 |  143888   295255 |  104815   15675   268831    17.2 | 88.479 % |
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 |     29109 |  143782   294983 |   47927   16152   338137    20.9 | 88.479 % |
c |     29209 |  143762   294936 |   52719   16240   339006    20.9 | 88.547 % |
c |     29359 |  143762   294936 |   57991   16390   346545    21.1 | 88.547 % |
c |     29584 |  143675   294732 |   63790   16587   348340    21.0 | 88.597 % |
c |     29921 |  143416   294128 |   70169   16629   360549    21.7 | 88.740 % |
c |     30429 |  143386   294057 |   77186   17126   390198    22.8 | 88.758 % |
c |     31190 |  143302   293860 |   84905   17840   469517    26.3 | 88.806 % |
c |     32329 |  143292   293837 |   93396   18942   580682    30.7 | 88.811 % |
c |     34037 |  143182   293577 |  102735   20433   708380    34.7 | 88.875 % |
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 |     35155 |  143010   293183 |   47670   21406   774344    36.2 | 88.875 % |
c |     35255 |  142954   293050 |   52437   21407   774997    36.2 | 89.013 % |
c |     35405 |  142954   293050 |   57680   21557   781042    36.2 | 89.013 % |
c |     35630 |  142948   293036 |   63448   21779   788117    36.2 | 89.016 % |
c |     35967 |  142948   293036 |   69793   22116   794854    35.9 | 89.016 % |
c |     36473 |  142638   292309 |   76773   22123   798497    36.1 | 89.196 % |
c |     37232 |  142614   292252 |   84450   22871   855880    37.4 | 89.211 % |
c |     38371 |  142497   291984 |   92895   23918  1014267    42.4 | 89.269 % |
c |     40079 |  142497   291984 |  102184   25626  1182845    46.2 | 89.269 % |
c |     42641 |  142497   291984 |  112403   28188  1478370    52.4 | 89.269 % |
c |     46485 |  142497   291984 |  123643   32032  1996365    62.3 | 89.269 % |
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 |     49150 |  142440   291824 |   47480   34434  2221965    64.5 | 89.269 % |
c |     49250 |  142440   291824 |   52228   34534  2222946    64.4 | 89.292 % |
c |     49401 |  142440   291824 |   57450   34685  2231651    64.3 | 89.292 % |
c |     49627 |  142234   291342 |   63195   34658  2237279    64.6 | 89.407 % |
c |     49964 |  142234   291342 |   69515   34995  2261640    64.6 | 89.407 % |
c |     50471 |  142228   291328 |   76467   35489  2287487    64.5 | 89.411 % |
c |     51230 |  142177   291209 |   84113   36180  2371565    65.5 | 89.440 % |
c |     52372 |  142109   291049 |   92525   37230  2540223    68.2 | 89.480 % |
c |     54081 |  142109   291049 |  101777   38939  2747930    70.6 | 89.480 % |
c |     56643 |  142095   291015 |  111955   41414  3014672    72.8 | 89.490 % |
c |     60487 |  142075   290968 |  123150   45223  3550992    78.5 | 89.501 % |
c |     66255 |  142075   290968 |  135465   50991  4370134    85.7 | 89.501 % |
c |     74904 |  142065   290945 |  149012   59637  5475513    91.8 | 89.506 % |
c |     87878 |  141870   290485 |  163913   72258  7550599   104.5 | 89.618 % |
c |    107339 |  141864   290471 |  180305   91711 12212751   133.2 | 89.621 % |
c |    136531 |  141858   290457 |  198335  120902 19348491   160.0 | 89.625 % |
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 |    152265 |  141711   290112 |   47237  136019 21734229   159.8 | 89.625 % |
c |    152365 |  141711   290112 |   51960   23128  2058669    89.0 | 89.738 % |
c |    152516 |  141711   290112 |   57156   23279  2066851    88.8 | 89.738 % |
c |    152741 |  141550   289730 |   62872   23466  2071306    88.3 | 89.836 % |
c |    153079 |  141457   289509 |   69159   23729  2080129    87.7 | 89.894 % |
c |    153585 |  141457   289509 |   76075   24235  2153103    88.8 | 89.894 % |
c |    154344 |  141457   289509 |   83683   24994  2214295    88.6 | 89.894 % |
c |    155483 |  141378   289325 |   92051   26098  2305176    88.3 | 89.936 % |
c |    157191 |  141378   289325 |  101256   27806  2454321    88.3 | 89.936 % |
c |    159753 |  141364   289291 |  111382   30339  2832657    93.4 | 89.946 % |
c |    163597 |  141364   289291 |  122520   34183  3573099   104.5 | 89.946 % |
c |    169364 |  141364   289291 |  134772   39950  4495481   112.5 | 89.946 % |
c |    178013 |  141364   289291 |  148249   48599  5849068   120.4 | 89.946 % |
c |    190987 |  141358   289277 |  163074   61570  8614548   139.9 | 89.949 % |
c ==============================================================================
c [1mFound solution: -52[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    205423 |  141330   289198 |   47110   76003 11869376   156.2 | 89.949 % |
c |    205523 |  141330   289198 |   51821   76103 11881283   156.1 | 89.964 % |
c |    205673 |  141330   289198 |   57003   76253 11890054   155.9 | 89.964 % |
c |    205898 |  141330   289198 |   62703   76478 11916397   155.8 | 89.964 % |
c |    206235 |  141330   289198 |   68973   76815 11947425   155.5 | 89.964 % |
c |    206742 |  141197   288890 |   75871   77292 12007283   155.3 | 90.029 % |
c |    207501 |  141197   288890 |   83458   78051 12070178   154.6 | 90.029 % |
c |    208641 |  141105   288675 |   91804   79110 12185814   154.0 | 90.081 % |
c |    210350 |  141105   288675 |  100984   80819 12412749   153.6 | 90.081 % |
c |    212912 |  141105   288675 |  111082   83381 12754715   153.0 | 90.081 % |
c |    216756 |  141105   288675 |  122191   87225 13431098   154.0 | 90.081 % |
c |    222522 |  141105   288675 |  134410   92991 14092984   151.6 | 90.081 % |
c |    231171 |  141105   288675 |  147851  101640 15303346   150.6 | 90.081 % |
c |    244145 |  141093   288647 |  162636  114608 17046643   148.7 | 90.087 % |
c |    263607 |  141079   288614 |  178900  134064 20811318   155.2 | 90.095 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 -C1460 C1459 -C1458 -C1457 -C1456 -C1455 -C1454 -C1453 -C1452 C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 -C1433 -C1432 -C1431 C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C25#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 2240
Raw data (stat): 2240 (runsolver) R 2239 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 423677548 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 2240
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7384 0 0 0 980 17 0 0 25 0 1 0 423677548 32772096 7362 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8001 7362 603 41 0 7960 0
vsize: 32004
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 2240
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7390 0 0 0 1980 17 0 0 25 0 1 0 423677548 32772096 7368 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8001 7368 603 41 0 7960 0
vsize: 32004
[startup+30.0003 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 2240
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7627 0 0 0 2979 18 0 0 25 0 1 0 423677548 34160640 7605 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7605 603 41 0 8299 0
vsize: 33360
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 2240
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7627 0 0 0 3979 18 0 0 25 0 1 0 423677548 34160640 7605 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7605 603 41 0 8299 0
vsize: 33360
[startup+50.0014 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 2240
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7627 0 0 0 4979 18 0 0 25 0 1 0 423677548 34160640 7605 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7605 603 41 0 8299 0
vsize: 33360
[startup+60.0012 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 2240
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7627 0 0 0 5979 18 0 0 25 0 1 0 423677548 34160640 7605 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8340 7605 603 41 0 8299 0
vsize: 33360
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 2240
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7627 0 0 0 6979 18 0 0 25 0 1 0 423677548 34160640 7605 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7605 603 41 0 8299 0
vsize: 33360
[startup+80.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 2240
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7627 0 0 0 7979 18 0 0 25 0 1 0 423677548 34160640 7605 4294967295 134512640 134672761 3221224560 3221223732 134556639 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7605 603 41 0 8299 0
vsize: 33360
[startup+90.0017 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 2240
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7627 0 0 0 8979 18 0 0 25 0 1 0 423677548 34160640 7605 4294967295 134512640 134672761 3221224560 3221223732 134556639 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7605 603 41 0 8299 0
vsize: 33360
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 2240
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7627 0 0 0 9979 18 0 0 25 0 1 0 423677548 34160640 7605 4294967295 134512640 134672761 3221224560 3221223696 134560645 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7605 603 41 0 8299 0
vsize: 33360
[startup+110.006 s]
Raw data (loadavg): 1.05 0.97 0.91 2/56 2278
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7627 0 0 0 10980 18 0 0 25 0 1 0 423677548 34160640 7605 4294967295 134512640 134672761 3221224560 3221223732 134556639 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7605 603 41 0 8299 0
vsize: 33360
[startup+120.094 s]
Raw data (loadavg): 1.12 0.98 0.92 2/56 2287
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7628 0 0 0 11989 18 0 0 25 0 1 0 423677548 34160640 7606 4294967295 134512640 134672761 3221224560 3221223712 134565149 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7606 603 41 0 8299 0
vsize: 33360
[startup+130.094 s]
Raw data (loadavg): 1.17 1.00 0.93 2/54 2293
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7628 0 0 0 12989 18 0 0 25 0 1 0 423677548 34160640 7606 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7606 603 41 0 8299 0
vsize: 33360
[startup+140.093 s]
Raw data (loadavg): 1.15 1.00 0.93 2/54 2293
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7628 0 0 0 13989 18 0 0 25 0 1 0 423677548 34160640 7606 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7606 603 41 0 8299 0
vsize: 33360
[startup+150.093 s]
Raw data (loadavg): 1.12 1.00 0.93 2/54 2293
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7628 0 0 0 14989 18 0 0 25 0 1 0 423677548 34160640 7606 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7606 603 41 0 8299 0
vsize: 33360
[startup+160.092 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 2293
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7628 0 0 0 15989 18 0 0 25 0 1 0 423677548 34160640 7606 4294967295 134512640 134672761 3221224560 3221223696 134560604 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7606 603 41 0 8299 0
vsize: 33360
[startup+170.092 s]
Raw data (loadavg): 1.09 1.00 0.93 2/54 2293
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7629 0 0 0 16989 18 0 0 25 0 1 0 423677548 34160640 7607 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8340 7607 603 41 0 8299 0
vsize: 33360
[startup+180.092 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 2293
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 7828 0 0 0 17989 19 0 0 25 0 1 0 423677548 34865152 7773 4294967295 134512640 134672761 3221224560 3221223728 134560842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8512 7773 603 41 0 8471 0
vsize: 34048
[startup+190.092 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 2293
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 8313 0 0 0 18987 21 0 0 25 0 1 0 423677548 36651008 8226 4294967295 134512640 134672761 3221224560 3221223664 134555373 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8948 8226 603 41 0 8907 0
vsize: 35792
[startup+200.092 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 8920 0 0 0 19985 23 0 0 25 0 1 0 423677548 39215104 8833 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9574 8833 603 41 0 9533 0
vsize: 38296
[startup+210.092 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 9568 0 0 0 20983 25 0 0 25 0 1 0 423677548 41881600 9481 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10225 9481 603 41 0 10184 0
vsize: 40900
[startup+220.092 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 9988 0 0 0 21982 26 0 0 25 0 1 0 423677548 43524096 9868 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10626 9868 603 41 0 10585 0
vsize: 42504
[startup+230.092 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 10531 0 0 0 22980 29 0 0 25 0 1 0 423677548 45793280 10411 4294967295 134512640 134672761 3221224560 3221223664 134560154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11180 10411 603 41 0 11139 0
vsize: 44720
[startup+240.092 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 11120 0 0 0 23978 31 0 0 25 0 1 0 423677548 48205824 11000 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11769 11000 603 41 0 11728 0
vsize: 47076
[startup+250.092 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 11669 0 0 0 24977 32 0 0 25 0 1 0 423677548 50356224 11549 4294967295 134512640 134672761 3221224560 3221223760 134557822 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12294 11549 603 41 0 12253 0
vsize: 49176
[startup+260.091 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 12198 0 0 0 25976 34 0 0 25 0 1 0 423677548 52510720 12078 4294967295 134512640 134672761 3221224560 3221223696 134560608 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12820 12078 603 41 0 12779 0
vsize: 51280
[startup+270.091 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 12652 0 0 0 26973 36 0 0 25 0 1 0 423677548 54382592 12532 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13277 12532 603 41 0 13236 0
vsize: 53108
[startup+280.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 13203 0 0 0 27972 37 0 0 25 0 1 0 423677548 56655872 13083 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13832 13083 603 41 0 13791 0
vsize: 55328
[startup+290.091 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 13675 0 0 0 28971 38 0 0 25 0 1 0 423677548 58540032 13555 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14292 13555 603 41 0 14251 0
vsize: 57168
[startup+300.091 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 14043 0 0 0 29970 39 0 0 25 0 1 0 423677548 60018688 13923 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14653 13923 603 41 0 14612 0
vsize: 58612
[startup+310.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 14598 0 0 0 30970 40 0 0 25 0 1 0 423677548 62545920 14478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15270 14478 603 41 0 15229 0
vsize: 61080
[startup+320.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 15153 0 0 0 31968 42 0 0 25 0 1 0 423677548 64815104 15033 4294967295 134512640 134672761 3221224560 3221223728 134561161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15824 15033 603 41 0 15783 0
vsize: 63296
[startup+330.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 15634 0 0 0 32967 44 0 0 25 0 1 0 423677548 66809856 15514 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16311 15514 603 41 0 16270 0
vsize: 65244
[startup+340.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 16105 0 0 0 33965 45 0 0 25 0 1 0 423677548 68685824 15985 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16769 15985 603 41 0 16728 0
vsize: 67076
[startup+350.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 16687 0 0 0 34964 46 0 0 25 0 1 0 423677548 71102464 16567 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17359 16567 603 41 0 17318 0
vsize: 69436
[startup+360.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 17282 0 0 0 35963 48 0 0 25 0 1 0 423677548 73498624 17162 4294967295 134512640 134672761 3221224560 3221223744 134559286 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17944 17162 603 41 0 17903 0
vsize: 71776
[startup+370.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 17826 0 0 0 36961 50 0 0 25 0 1 0 423677548 75771904 17706 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18499 17706 603 41 0 18458 0
vsize: 73996
[startup+380.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 18341 0 0 0 37960 51 0 0 25 0 1 0 423677548 77881344 18221 4294967295 134512640 134672761 3221224560 3221223664 134560215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19014 18221 603 41 0 18973 0
vsize: 76056
[startup+390.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 18859 0 0 0 38959 53 0 0 25 0 1 0 423677548 80019456 18739 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19536 18739 603 41 0 19495 0
vsize: 78144
[startup+400.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 19339 0 0 0 39958 54 0 0 25 0 1 0 423677548 81903616 19219 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19996 19219 603 41 0 19955 0
vsize: 79984
[startup+410.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 19795 0 0 0 40956 55 0 0 25 0 1 0 423677548 83783680 19675 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20455 19675 603 41 0 20414 0
vsize: 81820
[startup+420.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 20268 0 0 0 41956 56 0 0 25 0 1 0 423677548 85659648 20148 4294967295 134512640 134672761 3221224560 3221223744 134559583 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20913 20148 603 41 0 20872 0
vsize: 83652
[startup+430.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 20668 0 0 0 42955 57 0 0 25 0 1 0 423677548 87396352 20548 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21337 20548 603 41 0 21296 0
vsize: 85348
[startup+440.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 21063 0 0 0 43954 58 0 0 25 0 1 0 423677548 88997888 20943 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21728 20943 603 41 0 21687 0
vsize: 86912
[startup+450.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 21475 0 0 0 44953 59 0 0 25 0 1 0 423677548 90583040 21355 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22115 21355 603 41 0 22074 0
vsize: 88460
[startup+460.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2295
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 21833 0 0 0 45952 61 0 0 25 0 1 0 423677548 92065792 21713 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22477 21713 603 41 0 22436 0
vsize: 89908
[startup+470.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 22383 0 0 0 46951 63 0 0 25 0 1 0 423677548 94326784 22263 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23029 22263 603 41 0 22988 0
vsize: 92116
[startup+480.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 22938 0 0 0 47949 64 0 0 25 0 1 0 423677548 96608256 22818 4294967295 134512640 134672761 3221224560 3221223728 134560909 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23586 22818 603 41 0 23545 0
vsize: 94344
[startup+490.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 23451 0 0 0 48948 66 0 0 25 0 1 0 423677548 98623488 23331 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24078 23331 603 41 0 24037 0
vsize: 96312
[startup+500.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 23927 0 0 0 49946 68 0 0 25 0 1 0 423677548 100610048 23807 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24563 23807 603 41 0 24522 0
vsize: 98252
[startup+510.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 24444 0 0 0 50945 69 0 0 25 0 1 0 423677548 102735872 24324 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25082 24324 603 41 0 25041 0
vsize: 100328
[startup+520.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 24930 0 0 0 51944 70 0 0 25 0 1 0 423677548 104738816 24810 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25571 24810 603 41 0 25530 0
vsize: 102284
[startup+530.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 25366 0 0 0 52943 72 0 0 25 0 1 0 423677548 106475520 25246 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25995 25246 603 41 0 25954 0
vsize: 103980
[startup+540.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 25799 0 0 0 53941 74 0 0 25 0 1 0 423677548 108331008 25679 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26448 25679 603 41 0 26407 0
vsize: 105792
[startup+550.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 26235 0 0 0 54940 75 0 0 25 0 1 0 423677548 110051328 26115 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26868 26115 603 41 0 26827 0
vsize: 107472
[startup+560.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 26645 0 0 0 55939 76 0 0 25 0 1 0 423677548 111788032 26525 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27292 26525 603 41 0 27251 0
vsize: 109168
[startup+570.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 27064 0 0 0 56938 77 0 0 25 0 1 0 423677548 113385472 26944 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27682 26944 603 41 0 27641 0
vsize: 110728
[startup+580.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 27470 0 0 0 57937 78 0 0 25 0 1 0 423677548 115109888 27350 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28103 27350 603 41 0 28062 0
vsize: 112412
[startup+590.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 27793 0 0 0 58935 80 0 0 25 0 1 0 423677548 116449280 27673 4294967295 134512640 134672761 3221224560 3221223664 134559872 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28430 27673 603 41 0 28389 0
vsize: 113720
[startup+600.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 28080 0 0 0 59934 81 0 0 25 0 1 0 423677548 117526528 27960 4294967295 134512640 134672761 3221224560 3221223760 134557852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28693 27960 603 41 0 28652 0
vsize: 114772
[startup+610.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 28339 0 0 0 60933 82 0 0 25 0 1 0 423677548 118603776 28219 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28956 28219 603 41 0 28915 0
vsize: 115824
[startup+620.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 28641 0 0 0 61932 83 0 0 25 0 1 0 423677548 119939072 28521 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29282 28521 603 41 0 29241 0
vsize: 117128
[startup+630.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 28859 0 0 0 62932 84 0 0 25 0 1 0 423677548 120745984 28739 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29479 28739 603 41 0 29438 0
vsize: 117916
[startup+640.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 29091 0 0 0 63931 84 0 0 25 0 1 0 423677548 121688064 28971 4294967295 134512640 134672761 3221224560 3221223696 134560560 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29709 28971 603 41 0 29668 0
vsize: 118836
[startup+650.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 29414 0 0 0 64930 86 0 0 25 0 1 0 423677548 123559936 29294 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30166 29294 603 41 0 30125 0
vsize: 120664
[startup+660.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 29766 0 0 0 65930 86 0 0 25 0 1 0 423677548 125034496 29646 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30526 29646 603 41 0 30485 0
vsize: 122104
[startup+670.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 66928 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223860 134556664 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+680.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 67928 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+690.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 68928 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223664 134559851 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+700.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 69928 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+710.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 70929 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+720.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 71929 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+730.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 72929 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+740.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 73929 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223696 134560590 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+750.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 74929 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+760.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 75929 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+770.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 76930 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+780.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 77930 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+790.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 78930 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+800.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 79930 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+810.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 80930 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223744 134559179 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+820.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 81930 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+830.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 82931 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+840.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 83931 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+850.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 84931 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+860.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 85931 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+870.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 86931 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134561272 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+880.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 87932 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223760 134557842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+890.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 88932 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223744 134558656 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+900.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 89932 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+910.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 90932 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+920.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 91932 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223664 134560402 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+930.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 92932 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 93932 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223696 134560585 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+950.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 94933 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 95933 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 96933 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+980.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 97933 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+990.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 98933 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 99933 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223696 134560596 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 100934 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 101934 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 102934 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 103934 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223744 134559190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 104934 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 105934 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 106935 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 107935 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 108935 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 109935 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 110935 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 111935 88 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30202 0 0 0 112935 89 0 0 25 0 1 0 423677548 126574592 30050 4294967295 134512640 134672761 3221224560 3221223728 134560920 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30050 603 41 0 30861 0
vsize: 123608
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30204 0 0 0 113935 89 0 0 25 0 1 0 423677548 126574592 30052 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30902 30052 603 41 0 30861 0
vsize: 123608
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30311 0 0 0 114935 89 0 0 25 0 1 0 423677548 127102976 30159 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31031 30159 603 41 0 30990 0
vsize: 124124
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30533 0 0 0 115934 90 0 0 25 0 1 0 423677548 128032768 30381 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31258 30381 603 41 0 31217 0
vsize: 125032
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30772 0 0 0 116933 91 0 0 25 0 1 0 423677548 128958464 30620 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31484 30620 603 41 0 31443 0
vsize: 125936
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 30996 0 0 0 117932 92 0 0 25 0 1 0 423677548 129880064 30844 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31709 30844 603 41 0 31668 0
vsize: 126836
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 31273 0 0 0 118932 93 0 0 25 0 1 0 423677548 130949120 31121 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31970 31121 603 41 0 31929 0
vsize: 127880
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2297
Raw data (stat): 2240 (minisat+) R 2239 25347 25346 0 -1 0 31567 0 0 0 119931 94 0 0 25 0 1 0 423677548 132149248 31415 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32263 31415 603 41 0 32222 0
vsize: 129052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 2297
Raw data (stat): 2240 (minisat+) Z 2239 25347 25346 0 -1 12 31570 0 0 0 119932 99 0 0 25 0 1 0 423677548 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.15
CPU time (s): 1200.32
CPU user time (s): 1199.32
CPU system time (s): 0.999848
CPU usage (%): 100.014
Max. virtual memory (Kb): 129052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####