PB'05 competition: run trace

Some explanations

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        904436 kB
Buffers:         33712 kB
Cached:          75628 kB
SwapCached:          4 kB
Active:          57096 kB
Inactive:        55100 kB
HighTotal:      131008 kB
HighFree:        51520 kB
LowTotal:       903652 kB
LowFree:        852916 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            12412 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 22:09:58 (client local time) WITH STATUS 10 IN 1200.2 SECONDS
stats: 3155 7 1200.2 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 126082 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  126082   252164 |   42027       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:85954     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  216998   465444 |   72332       0        0     nan |  0.000 % |
c |       100 |  216440   464274 |   79565      77      692     9.0 |  0.496 % |
c |       250 |  215718   462730 |   87521     178     1363     7.7 |  1.160 % |
c |       475 |  214836   460831 |   96273     357     3111     8.7 |  1.981 % |
c |       813 |  212641   456042 |  105901     592     5851     9.9 |  4.071 % |
c |      1319 |  209385   448854 |  116491     990    12030    12.2 |  7.246 % |
c |      2078 |  205094   439353 |  128140    1507    17185    11.4 | 11.504 % |
c |      3217 |  196864   420718 |  140954    2245    27826    12.4 | 19.808 % |
c |      4926 |  187933   400276 |  155050    3536    41251    11.7 | 29.154 % |
c |      7488 |  174890   370399 |  170555    5163    60601    11.7 | 42.471 % |
c |     11332 |  162083   340109 |  187610    7594    92875    12.2 | 56.282 % |
c |     17099 |  148519   307983 |  206371   10871   135486    12.5 | 71.082 % |
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 |     19471 |  145143   299814 |   48381   12463   157720    12.7 | 71.082 % |
c |     19572 |  145143   299814 |   53219   12564   158110    12.6 | 74.855 % |
c |     19722 |  145143   299814 |   58541   12714   160469    12.6 | 74.855 % |
c |     19947 |  144865   299152 |   64395   12900   164705    12.8 | 75.164 % |
c |     20285 |  144640   298591 |   70834   13140   169632    12.9 | 75.430 % |
c |     20791 |  144145   297400 |   77918   13454   174511    13.0 | 75.987 % |
c |     21550 |  143691   296290 |   85709   14108   190400    13.5 | 76.508 % |
c |     22689 |  143174   295063 |   94280   15003   211362    14.1 | 77.073 % |
c |     24397 |  142110   292541 |  103708   16399   244001    14.9 | 78.248 % |
c |     26959 |  141157   290281 |  114079   18515   320032    17.3 | 79.296 % |
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 |     29178 |  139823   287131 |   46607   20012   367782    18.4 | 79.296 % |
c |     29278 |  139608   286611 |   51267   20026   367537    18.4 | 81.025 % |
c |     29428 |  139550   286467 |   56394   20139   368185    18.3 | 81.091 % |
c |     29653 |  139471   286275 |   62033   20269   375681    18.5 | 81.175 % |
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 |     29811 |  139464   286228 |   46488   20389   388027    19.0 | 81.175 % |
c |     29911 |  139408   286102 |   51136   20451   388814    19.0 | 81.242 % |
c |     30061 |  139192   285577 |   56250   20394   388394    19.0 | 81.489 % |
c |     30287 |  139191   285574 |   61875   20614   390522    18.9 | 81.490 % |
c |     30626 |  139133   285437 |   68063   20890   404382    19.4 | 81.553 % |
c |     31132 |  138976   285056 |   74869   21312   414941    19.5 | 81.729 % |
c |     31891 |  138892   284848 |   82356   22019   435831    19.8 | 81.828 % |
c |     33030 |  138569   284044 |   90591   22926   464026    20.2 | 82.207 % |
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 |     33870 |  138476   283871 |   46158   23604   502946    21.3 | 82.207 % |
c |     33970 |  138311   283468 |   50773   23665   503768    21.3 | 82.539 % |
c |     34120 |  138311   283468 |   55851   23815   513660    21.6 | 82.539 % |
c |     34346 |  138308   283461 |   61436   24031   520109    21.6 | 82.542 % |
c |     34683 |  138149   283085 |   67579   24316   528924    21.8 | 82.713 % |
c |     35189 |  138025   282766 |   74337   24647   538200    21.8 | 82.866 % |
c |     35948 |  138025   282766 |   81771   25406   603192    23.7 | 82.866 % |
c |     37087 |  137588   281684 |   89948   26334   642119    24.4 | 83.372 % |
c |     38795 |  136959   280149 |   98943   27600   711769    25.8 | 84.100 % |
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 |     39995 |  136686   279451 |   45562   28586   771814    27.0 | 84.100 % |
c |     40097 |  136675   279424 |   50118   28671   773626    27.0 | 84.439 % |
c |     40247 |  136675   279424 |   55130   28821   779668    27.1 | 84.439 % |
c |     40472 |  136570   279173 |   60643   28831   782806    27.2 | 84.556 % |
c |     40810 |  136570   279173 |   66707   29169   806748    27.7 | 84.556 % |
c |     41316 |  136521   279056 |   73378   29583   849482    28.7 | 84.611 % |
c |     42075 |  136516   279045 |   80715   30339   884023    29.1 | 84.616 % |
c |     43215 |  136401   278762 |   88787   31387   962003    30.6 | 84.749 % |
c |     44923 |  136232   278358 |   97666   32887  1048554    31.9 | 84.938 % |
c |     47486 |  136149   278147 |  107432   35346  1276312    36.1 | 85.041 % |
c |     51330 |  135674   276982 |  118176   38442  1790167    46.6 | 85.585 % |
c |     57096 |  135612   276826 |  129993   44030  2810947    63.8 | 85.661 % |
c |     65747 |  135576   276739 |  142993   52662  4145672    78.7 | 85.700 % |
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 |     67205 |  135575   276748 |   45191   54070  4291929    79.4 | 85.700 % |
c |     67306 |  135575   276748 |   49710   54171  4295459    79.3 | 85.712 % |
c |     67456 |  135575   276748 |   54681   54321  4300437    79.2 | 85.712 % |
c |     67681 |  135535   276654 |   60149   54440  4305045    79.1 | 85.755 % |
c |     68018 |  135535   276654 |   66164   54777  4342942    79.3 | 85.755 % |
c |     68524 |  135521   276622 |   72780   55207  4364365    79.1 | 85.770 % |
c |     69283 |  135521   276622 |   80058   55966  4413885    78.9 | 85.770 % |
c |     70422 |  135515   276608 |   88064   57102  4537411    79.5 | 85.776 % |
c |     72130 |  135376   276279 |   96870   58658  4750361    81.0 | 85.929 % |
c |     74693 |  135329   276160 |  106558   61096  5113153    83.7 | 85.987 % |
c |     78537 |  135199   275844 |  117213   64712  5460014    84.4 | 86.135 % |
c |     84303 |  135012   275411 |  128935   70321  6502802    92.5 | 86.333 % |
c |     92953 |  134966   275296 |  141828   78769  8516166   108.1 | 86.388 % |
c |    105927 |  134803   274900 |  156011   91584 10845292   118.4 | 86.575 % |
c |    125388 |  134627   274480 |  171612  110465 13789180   124.8 | 86.771 % |
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 |    146490 |  134608   274413 |   44869  131017 18005950   137.4 | 86.771 % |
c |    146590 |  134520   274198 |   49355   22382  2976833   133.0 | 86.897 % |
c |    146740 |  134520   274198 |   54291   22532  2986731   132.6 | 86.897 % |
c |    146965 |  134520   274198 |   59720   22757  2997680   131.7 | 86.897 % |
c |    147302 |  134512   274176 |   65692   23090  3039315   131.6 | 86.908 % |
c |    147808 |  134451   274041 |   72261   23589  3067515   130.0 | 86.968 % |
c |    148567 |  134451   274041 |   79488   24348  3118327   128.1 | 86.968 % |
c |    149706 |  134451   274041 |   87436   25487  3236403   127.0 | 86.968 % |
c |    151416 |  134445   274025 |   96180   27194  3363305   123.7 | 86.976 % |
c |    153979 |  134404   273920 |  105798   29674  3626730   122.2 | 87.028 % |
c |    157823 |  134360   273816 |  116378   33340  4031583   120.9 | 87.076 % |
c |    163589 |  134360   273816 |  128016   39106  5002751   127.9 | 87.076 % |
c |    172238 |  134353   273801 |  140818   47751  6347034   132.9 | 87.082 % |
c |    185212 |  134327   273741 |  154899   60700  8591150   141.5 | 87.110 % |
c |    204674 |  134245   273546 |  170389   80128 11902448   148.5 | 87.200 % |
c |    233867 |  134159   273343 |  187428  109294 17140633   156.8 | 87.290 % |
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 |    238225 |  134187   273424 |   44729  113652 17745327   156.1 | 87.290 % |
c |    238325 |  134187   273424 |   49201   24419  2447777   100.2 | 87.285 % |
c |    238475 |  134187   273424 |   54122   24569  2456904   100.0 | 87.285 % |
c |    238701 |  134187   273424 |   59534   24795  2468989    99.6 | 87.285 % |
c |    239039 |  134110   273222 |   65487   25074  2474764    98.7 | 87.383 % |
c |    239545 |  134110   273222 |   72036   25580  2530061    98.9 | 87.383 % |
c |    240304 |  134102   273204 |   79240   26330  2598566    98.7 | 87.391 % |
c |    241443 |  134102   273204 |   87164   27469  2711977    98.7 | 87.391 % |
c |    243151 |  134102   273204 |   95880   29177  2947946   101.0 | 87.391 % |
c |    245713 |  134102   273204 |  105468   31739  3332683   105.0 | 87.391 % |
c |    249557 |  134097   273193 |  116015   35578  3879118   109.0 | 87.395 % |
c |    255324 |  134064   273108 |  127617   41315  4585248   111.0 | 87.437 % |
c |    263974 |  134031   273025 |  140378   49956  5870587   117.5 | 87.476 % |
c |    276948 |  134005   272961 |  154416   62913  8051620   128.0 | 87.506 % |
c |    296409 |  134000   272950 |  169858   82371 12209581   148.2 | 87.511 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 -C1455 -C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 23189
Raw data (stat): 23189 (runsolver) R 23188 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421101595 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 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.001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6920 0 0 0 977 21 0 0 25 0 1 0 421101595 30384128 6898 4294967295 134512640 134672761 3221224640 3221223840 134557830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7418 6898 603 41 0 7377 0
vsize: 29672
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6928 0 0 0 1977 21 0 0 25 0 1 0 421101595 30384128 6906 4294967295 134512640 134672761 3221224640 3221223840 134557885 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7418 6906 603 41 0 7377 0
vsize: 29672
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6933 0 0 0 2976 22 0 0 25 0 1 0 421101595 30523392 6911 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7452 6911 603 41 0 7411 0
vsize: 29808
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6938 0 0 0 3976 22 0 0 25 0 1 0 421101595 30523392 6916 4294967295 134512640 134672761 3221224640 3221223844 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7452 6916 603 41 0 7411 0
vsize: 29808
[startup+50.0019 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6943 0 0 0 4975 23 0 0 25 0 1 0 421101595 30523392 6921 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7452 6921 603 41 0 7411 0
vsize: 29808
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6949 0 0 0 5975 23 0 0 25 0 1 0 421101595 30523392 6927 4294967295 134512640 134672761 3221224640 3221223812 134556602 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7452 6927 603 41 0 7411 0
vsize: 29808
[startup+70.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6952 0 0 0 6975 23 0 0 25 0 1 0 421101595 30523392 6930 4294967295 134512640 134672761 3221224640 3221223812 134556660 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7452 6930 603 41 0 7411 0
vsize: 29808
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6957 0 0 0 7974 23 0 0 25 0 1 0 421101595 30523392 6935 4294967295 134512640 134672761 3221224640 3221223808 134561378 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7452 6935 603 41 0 7411 0
vsize: 29808
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6963 0 0 0 8974 24 0 0 25 0 1 0 421101595 30662656 6941 4294967295 134512640 134672761 3221224640 3221223744 134560254 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7486 6941 603 41 0 7445 0
vsize: 29944
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6969 0 0 0 9974 24 0 0 25 0 1 0 421101595 30662656 6947 4294967295 134512640 134672761 3221224640 3221223812 134556660 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7486 6947 603 41 0 7445 0
vsize: 29944
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6978 0 0 0 10973 25 0 0 25 0 1 0 421101595 30662656 6956 4294967295 134512640 134672761 3221224640 3221223784 134560553 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7486 6956 603 41 0 7445 0
vsize: 29944
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 6986 0 0 0 11973 25 0 0 25 0 1 0 421101595 30662656 6964 4294967295 134512640 134672761 3221224640 3221223812 134556667 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7486 6964 603 41 0 7445 0
vsize: 29944
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 7001 0 0 0 12972 26 0 0 25 0 1 0 421101595 30838784 6979 4294967295 134512640 134672761 3221224640 3221223812 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7529 6979 603 41 0 7488 0
vsize: 30116
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 7010 0 0 0 13972 26 0 0 25 0 1 0 421101595 30838784 6988 4294967295 134512640 134672761 3221224640 3221223808 134561127 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7529 6988 603 41 0 7488 0
vsize: 30116
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 7024 0 0 0 14971 26 0 0 25 0 1 0 421101595 30838784 7002 4294967295 134512640 134672761 3221224640 3221223812 134556653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7529 7002 603 41 0 7488 0
vsize: 30116
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 7037 0 0 0 15971 27 0 0 25 0 1 0 421101595 30838784 7015 4294967295 134512640 134672761 3221224640 3221223844 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7529 7015 603 41 0 7488 0
vsize: 30116
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 7278 0 0 0 16969 28 0 0 25 0 1 0 421101595 32321536 7256 4294967295 134512640 134672761 3221224640 3221223856 134561987 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7891 7256 603 41 0 7850 0
vsize: 31564
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 7327 0 0 0 17969 29 0 0 25 0 1 0 421101595 32591872 7305 4294967295 134512640 134672761 3221224640 3221223812 134556669 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7957 7305 603 41 0 7916 0
vsize: 31828
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 7525 0 0 0 18968 30 0 0 25 0 1 0 421101595 33079296 7437 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8076 7437 603 41 0 8035 0
vsize: 32304
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 7793 0 0 0 19967 31 0 0 25 0 1 0 421101595 34017280 7673 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8305 7673 603 41 0 8264 0
vsize: 33220
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 8084 0 0 0 20965 32 0 0 25 0 1 0 421101595 35172352 7931 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8587 7931 603 41 0 8546 0
vsize: 34348
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 8503 0 0 0 21964 34 0 0 25 0 1 0 421101595 36900864 8350 4294967295 134512640 134672761 3221224640 3221223808 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9009 8350 603 41 0 8968 0
vsize: 36036
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 9067 0 0 0 22961 37 0 0 25 0 1 0 421101595 39317504 8914 4294967295 134512640 134672761 3221224640 3221223840 134557809 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9599 8914 603 41 0 9558 0
vsize: 38396
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 9770 0 0 0 23958 39 0 0 25 0 1 0 421101595 42139648 9617 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10288 9617 603 41 0 10247 0
vsize: 41152
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 10379 0 0 0 24957 41 0 0 25 0 1 0 421101595 44548096 10226 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10876 10226 603 41 0 10835 0
vsize: 43504
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 11011 0 0 0 25954 43 0 0 25 0 1 0 421101595 47206400 10858 4294967295 134512640 134672761 3221224640 3221223744 134560399 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11525 10858 603 41 0 11484 0
vsize: 46100
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 11605 0 0 0 26951 46 0 0 25 0 1 0 421101595 49631232 11452 4294967295 134512640 134672761 3221224640 3221223840 134557903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12117 11452 603 41 0 12076 0
vsize: 48468
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 11931 0 0 0 27949 48 0 0 25 0 1 0 421101595 50724864 11745 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12384 11745 603 41 0 12343 0
vsize: 49536
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 12296 0 0 0 28947 50 0 0 25 0 1 0 421101595 52334592 12110 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12777 12110 603 41 0 12736 0
vsize: 51108
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 12780 0 0 0 29945 52 0 0 25 0 1 0 421101595 54198272 12594 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13232 12594 603 41 0 13191 0
vsize: 52928
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 13087 0 0 0 30944 53 0 0 25 0 1 0 421101595 55545856 12901 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13561 12901 603 41 0 13520 0
vsize: 54244
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 13428 0 0 0 31943 54 0 0 25 0 1 0 421101595 57155584 13242 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13954 13242 603 41 0 13913 0
vsize: 55816
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 14028 0 0 0 32940 57 0 0 25 0 1 0 421101595 59564032 13842 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14542 13842 603 41 0 14501 0
vsize: 58168
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 14579 0 0 0 33939 58 0 0 25 0 1 0 421101595 61845504 14393 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15099 14393 603 41 0 15058 0
vsize: 60396
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 15241 0 0 0 34937 60 0 0 25 0 1 0 421101595 64528384 15055 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15754 15055 603 41 0 15713 0
vsize: 63016
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 15876 0 0 0 35935 62 0 0 25 0 1 0 421101595 67063808 15690 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16373 15690 603 41 0 16332 0
vsize: 65492
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 16243 0 0 0 36934 63 0 0 25 0 1 0 421101595 68673536 16057 4294967295 134512640 134672761 3221224640 3221223840 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16766 16057 603 41 0 16725 0
vsize: 67064
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 16694 0 0 0 37932 65 0 0 25 0 1 0 421101595 70422528 16508 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17193 16508 603 41 0 17152 0
vsize: 68772
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 17415 0 0 0 38930 67 0 0 25 0 1 0 421101595 73375744 17229 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17914 17229 603 41 0 17873 0
vsize: 71656
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 17913 0 0 0 39929 68 0 0 25 0 1 0 421101595 75386880 17727 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18405 17727 603 41 0 18364 0
vsize: 73620
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 18209 0 0 0 40927 70 0 0 25 0 1 0 421101595 76591104 18023 4294967295 134512640 134672761 3221224640 3221223812 134556646 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18699 18023 603 41 0 18658 0
vsize: 74796
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 18649 0 0 0 41926 72 0 0 25 0 1 0 421101595 78467072 18463 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19157 18463 603 41 0 19116 0
vsize: 76628
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 19004 0 0 0 42924 73 0 0 25 0 1 0 421101595 79814656 18818 4294967295 134512640 134672761 3221224640 3221223808 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19486 18818 603 41 0 19445 0
vsize: 77944
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 19431 0 0 0 43922 75 0 0 25 0 1 0 421101595 81563648 19245 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19913 19245 603 41 0 19872 0
vsize: 79652
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 19921 0 0 0 44920 77 0 0 25 0 1 0 421101595 83587072 19735 4294967295 134512640 134672761 3221224640 3221223788 134560552 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20407 19735 603 41 0 20366 0
vsize: 81628
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 20233 0 0 0 45919 78 0 0 25 0 1 0 421101595 84926464 20047 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20734 20047 603 41 0 20693 0
vsize: 82936
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 20607 0 0 0 46917 80 0 0 25 0 1 0 421101595 86396928 20421 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21093 20421 603 41 0 21052 0
vsize: 84372
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 21001 0 0 0 47916 81 0 0 25 0 1 0 421101595 88010752 20815 4294967295 134512640 134672761 3221224640 3221223808 134561025 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21487 20815 603 41 0 21446 0
vsize: 85948
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 21253 0 0 0 48915 82 0 0 25 0 1 0 421101595 89075712 21067 4294967295 134512640 134672761 3221224640 3221223776 134565092 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21747 21067 603 41 0 21706 0
vsize: 86988
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 21637 0 0 0 49914 83 0 0 25 0 1 0 421101595 90542080 21451 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22105 21451 603 41 0 22064 0
vsize: 88420
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 21935 0 0 0 50912 85 0 0 25 0 1 0 421101595 91762688 21749 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22403 21749 603 41 0 22362 0
vsize: 89612
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 22323 0 0 0 51911 86 0 0 25 0 1 0 421101595 93364224 22137 4294967295 134512640 134672761 3221224640 3221223772 1075347104 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22794 22137 603 41 0 22753 0
vsize: 91176
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 22710 0 0 0 52909 88 0 0 25 0 1 0 421101595 94973952 22524 4294967295 134512640 134672761 3221224640 3221223824 134559327 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23187 22524 603 41 0 23146 0
vsize: 92748
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 23114 0 0 0 53908 89 0 0 25 0 1 0 421101595 96583680 22928 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23580 22928 603 41 0 23539 0
vsize: 94320
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 23568 0 0 0 54907 90 0 0 25 0 1 0 421101595 98459648 23382 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24038 23382 603 41 0 23997 0
vsize: 96152
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 23948 0 0 0 55905 92 0 0 25 0 1 0 421101595 100065280 23762 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24430 23762 603 41 0 24389 0
vsize: 97720
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 24440 0 0 0 56903 94 0 0 25 0 1 0 421101595 101945344 24254 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24889 24254 603 41 0 24848 0
vsize: 99556
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 24950 0 0 0 57901 96 0 0 25 0 1 0 421101595 104095744 24764 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25414 24764 603 41 0 25373 0
vsize: 101656
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 25430 0 0 0 58900 97 0 0 25 0 1 0 421101595 106090496 25244 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25901 25244 603 41 0 25860 0
vsize: 103604
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23189
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 25887 0 0 0 59898 99 0 0 25 0 1 0 421101595 107966464 25701 4294967295 134512640 134672761 3221224640 3221223824 134559340 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26359 25701 603 41 0 26318 0
vsize: 105436
[startup+610.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 23221
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 60902 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223940 134556682 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+620.078 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23242
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 61902 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560855 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+630.079 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23242
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 62902 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223744 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+640.079 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23242
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 63902 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134561139 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+650.08 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23242
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 64902 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223744 134559979 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+660.08 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23242
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 65903 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+670.08 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23242
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 66903 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+680.08 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 67903 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+690.08 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 68903 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+700.081 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 69903 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223840 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+710.081 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 70904 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+720.081 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 71904 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223840 134557900 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+730.082 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 72904 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134561003 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+740.082 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 73904 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+750.083 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 74905 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223776 134565103 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+760.083 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 75905 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+770.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 76905 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134561003 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+780.083 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 77905 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+790.083 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 78905 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+800.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 79905 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+810.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 80906 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134561014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+820.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 81906 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+830.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 82906 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+840.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 83906 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223792 134565076 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+850.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 84906 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+860.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 85907 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+870.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 86907 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560926 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+880.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 87907 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223744 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+890.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 88907 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+900.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 89908 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+910.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 90908 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223744 134559818 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+920.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 91908 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223824 134558648 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+930.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 92908 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+940.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 93908 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+950.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23244
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 94908 100 0 0 25 0 1 0 421101595 110055424 26113 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26869 26113 603 41 0 26828 0
vsize: 107476
[startup+960.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 95908 100 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223776 134560683 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+970.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 96908 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223744 134560402 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+980.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 97908 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+990.089 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 98908 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223776 134565130 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 99909 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223776 134560661 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 100909 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 101909 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 102909 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223776 134560709 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 103910 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 104910 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223776 134560703 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 105910 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223824 134558764 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 106910 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 107910 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 108911 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223776 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 109911 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134561198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 110911 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 111911 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 112911 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 113911 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560839 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 114912 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 115912 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 116912 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1180.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 117912 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1190.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 118913 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23246
Raw data (stat): 23189 (minisat+) R 23188 20937 20936 0 -1 0 26332 0 0 0 119913 101 0 0 25 0 1 0 421101595 110043136 26110 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26866 26110 603 41 0 26825 0
vsize: 107464
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 23246
Raw data (stat): 23189 (minisat+) Z 23188 20937 20936 0 -1 12 26335 0 0 0 119913 105 0 0 25 0 1 0 421101595 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.2
CPU user time (s): 1199.14
CPU system time (s): 1.05984
CPU usage (%): 100.004
Max. virtual memory (Kb): 107476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####