PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-13 21:47:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3137 boxname=wulflinc6 idbench=349 idsolver=5 numberseed=0
MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4  /oldhome/oroussel/solvers/minisat+
MD5SUM BENCH:  42c2d619b73aa24781f1b54bddde28cc  /oldhome/oroussel/tmp/wulflinc6/normalized-frb59-26-1.opb
REAL COMMAND:  minisat+ /oldhome/oroussel/tmp/wulflinc6/normalized-frb59-26-1.opb
IDLAUNCH: 3137
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        910624 kB
Buffers:         34544 kB
Cached:          66988 kB
SwapCached:       2644 kB
Active:          53652 kB
Inactive:        53388 kB
HighTotal:      131008 kB
HighFree:        60088 kB
LowTotal:       903652 kB
LowFree:        850536 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11204 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 22:07:20 (client local time) WITH STATUS 10 IN 1200.28 SECONDS
stats: 3137 7 1200.28 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 126555 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  126555   253110 |   42185       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -38[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:85954     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  217069   465444 |   72356       0        0     nan |  0.000 % |
c |       100 |  216790   464872 |   79591      89      600     6.7 |  0.248 % |
c |       250 |  216274   463770 |   87550     214     1440     6.7 |  0.724 % |
c |       475 |  214965   460959 |   96305     387     3800     9.8 |  1.942 % |
c |       812 |  213132   456972 |  105936     636     6869    10.8 |  3.690 % |
c |      1318 |  209951   449961 |  116530    1002    10730    10.7 |  6.792 % |
c |      2077 |  205662   440456 |  128183    1519    16520    10.9 | 11.021 % |
c |      3216 |  199835   427331 |  141001    2396    25951    10.8 | 16.918 % |
c ==============================================================================
c [1mFound solution: -43[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 |      3223 |  200270   428729 |   66756    2403    26015    10.8 | 16.918 % |
c |      3323 |  199641   427323 |   73431    2482    27299    11.0 | 17.474 % |
c |      3473 |  199268   426478 |   80774    2623    28620    10.9 | 17.853 % |
c |      3698 |  198296   424266 |   88852    2793    31030    11.1 | 18.843 % |
c |      4035 |  197051   421439 |   97737    3060    33694    11.0 | 20.114 % |
c |      4541 |  194569   415770 |  107511    3395    37438    11.0 | 22.737 % |
c |      5300 |  190369   406170 |  118262    3960    44788    11.3 | 27.005 % |
c |      6439 |  182768   388764 |  130088    4700    55187    11.7 | 34.909 % |
c |      8147 |  174224   368940 |  143097    5708    72305    12.7 | 43.717 % |
c |     10709 |  165439   348267 |  157407    7267    89810    12.4 | 53.135 % |
c |     14553 |  156316   326744 |  173147    9959   124967    12.5 | 63.024 % |
c |     20319 |  147828   306496 |  190462   14080   183519    13.0 | 72.300 % |
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 |     25837 |  143368   295674 |   47789   17986   271545    15.1 | 72.300 % |
c |     25937 |  143318   295554 |   52567   18069   272521    15.1 | 77.378 % |
c |     26087 |  143318   295554 |   57824   18219   275625    15.1 | 77.378 % |
c |     26312 |  143318   295554 |   63607   18444   284168    15.4 | 77.378 % |
c |     26649 |  143163   295179 |   69967   18736   288281    15.4 | 77.554 % |
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 |     27143 |  143076   295011 |   47692   19144   298953    15.6 | 77.554 % |
c |     27243 |  142556   293745 |   52461   19063   298397    15.7 | 78.265 % |
c |     27393 |  142450   293495 |   57707   19186   301638    15.7 | 78.379 % |
c |     27618 |  142241   292993 |   63478   19268   305978    15.9 | 78.614 % |
c |     27955 |  141995   292408 |   69825   19544   313502    16.0 | 78.883 % |
c |     28461 |  141729   291765 |   76808   19836   322624    16.3 | 79.180 % |
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 |     28871 |  141560   291295 |   47186   20008   322581    16.1 | 79.180 % |
c |     28971 |  141515   291186 |   51904   20090   324233    16.1 | 79.429 % |
c |     29121 |  141400   290922 |   57095   20163   327469    16.2 | 79.549 % |
c |     29346 |  141396   290914 |   62804   20385   331852    16.3 | 79.552 % |
c |     29683 |  141396   290914 |   69085   20722   343595    16.6 | 79.552 % |
c |     30189 |  141159   290330 |   75993   21078   358393    17.0 | 79.823 % |
c |     30948 |  140973   289868 |   83592   21771   380728    17.5 | 80.043 % |
c |     32087 |  140117   287815 |   91952   22672   424529    18.7 | 80.992 % |
c |     33796 |  139646   286654 |  101147   23974   467827    19.5 | 81.524 % |
c |     36358 |  139155   285455 |  111262   26220   579099    22.1 | 82.076 % |
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 |     38530 |  139217   285652 |   46405   28392   692199    24.4 | 82.076 % |
c |     38630 |  139120   285424 |   51045   28405   692322    24.4 | 82.155 % |
c |     38780 |  139069   285299 |   56150   28506   695478    24.4 | 82.215 % |
c |     39005 |  139069   285299 |   61765   28731   709046    24.7 | 82.215 % |
c |     39342 |  138819   284706 |   67941   28972   715394    24.7 | 82.490 % |
c |     39848 |  138809   284682 |   74735   29437   735124    25.0 | 82.502 % |
c |     40607 |  138612   284206 |   82209   29922   839034    28.0 | 82.721 % |
c |     41746 |  138426   283742 |   90430   30998   891426    28.8 | 82.941 % |
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 |     41990 |  138454   283837 |   46151   31242   911340    29.2 | 82.941 % |
c |     42091 |  138428   283771 |   50766   31312   912232    29.1 | 82.953 % |
c |     42241 |  138428   283771 |   55842   31462   917434    29.2 | 82.953 % |
c |     42466 |  138278   283417 |   61426   31611   923903    29.2 | 83.114 % |
c |     42803 |  137928   282540 |   67569   31679   928965    29.3 | 83.529 % |
c |     43310 |  137872   282400 |   74326   32119   950929    29.6 | 83.595 % |
c |     44069 |  137866   282386 |   81759   32875   983833    29.9 | 83.602 % |
c |     45208 |  137455   281361 |   89935   33634  1027157    30.5 | 84.088 % |
c |     46916 |  137280   280916 |   98928   35056  1089866    31.1 | 84.300 % |
c |     49478 |  137202   280728 |  108821   37522  1272111    33.9 | 84.387 % |
c |     53324 |  137143   280585 |  119703   41254  1866319    45.2 | 84.453 % |
c |     59090 |  136637   279332 |  131674   46104  2356760    51.1 | 85.042 % |
c |     67740 |  136556   279141 |  144841   54534  3483570    63.9 | 85.129 % |
c |     80716 |  136315   278541 |  159325   66526  5357733    80.5 | 85.409 % |
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 |     91931 |  136028   277798 |   45342   76435  6823228    89.3 | 85.409 % |
c |     92031 |  136028   277798 |   49876   76535  6827573    89.2 | 85.731 % |
c |     92181 |  136028   277798 |   54863   76685  6837964    89.2 | 85.731 % |
c |     92406 |  136028   277798 |   60350   76910  6853645    89.1 | 85.731 % |
c |     92743 |  136028   277798 |   66385   77247  6888984    89.2 | 85.731 % |
c |     93249 |  136006   277746 |   73023   77393  6919823    89.4 | 85.755 % |
c |     94008 |  135801   277258 |   80326   77892  6992575    89.8 | 85.981 % |
c |     95149 |  135801   277258 |   88358   79033  7143161    90.4 | 85.981 % |
c |     96858 |  135801   277258 |   97194   80742  7310652    90.5 | 85.981 % |
c |     99421 |  135794   277239 |  106914   83280  7717781    92.7 | 85.990 % |
c |    103266 |  135744   277110 |  117605   86790  8302212    95.7 | 86.052 % |
c |    109032 |  135618   276804 |  129366   92180  9208017    99.9 | 86.195 % |
c |    117681 |  135583   276725 |  142302  100781 10796546   107.1 | 86.230 % |
c |    130655 |  135583   276725 |  156532  113755 13366729   117.5 | 86.230 % |
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 |    142723 |  135521   276601 |   45173  125296 15573034   124.3 | 86.230 % |
c |    142823 |  135506   276566 |   49690   25450  2459778    96.7 | 86.339 % |
c |    142973 |  135506   276566 |   54659   25600  2465974    96.3 | 86.339 % |
c |    143198 |  135506   276566 |   60125   25825  2473790    95.8 | 86.339 % |
c |    143538 |  135466   276463 |   66137   26120  2508871    96.1 | 86.389 % |
c |    144046 |  135457   276442 |   72751   26623  2535133    95.2 | 86.399 % |
c |    144805 |  135457   276442 |   80026   27382  2623469    95.8 | 86.399 % |
c |    145945 |  135318   276111 |   88029   28446  2748631    96.6 | 86.553 % |
c |    147654 |  135313   276100 |   96832   30150  2908905    96.5 | 86.558 % |
c |    150216 |  135305   276080 |  106515   32705  3332788   101.9 | 86.567 % |
c |    154060 |  135186   275787 |  117167   36497  3895528   106.7 | 86.706 % |
c |    159826 |  135186   275787 |  128883   42263  5032494   119.1 | 86.706 % |
c |    168476 |  135056   275467 |  141772   50809  6500407   127.9 | 86.855 % |
c |    181450 |  134967   275239 |  155949   63604  8803501   138.4 | 86.966 % |
c |    200911 |  134960   275222 |  171544   83064 12598146   151.7 | 86.974 % |
c |    230103 |  134960   275222 |  188698  112256 18482499   164.6 | 86.974 % |
c |    273892 |  134955   275211 |  207568  156043 26526961   170.0 | 86.979 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 C1511 -C1510 -C1509 -C1508 C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 -C1455 -C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 C963 -C962 -C961 C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 C315 -C314 -C313 C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/54 32273
Raw data (stat): 32273 (runsolver) R 32272 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421083491 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 6923 0 0 0 977 21 0 0 25 0 1 0 421083491 30388224 6901 4294967295 134512640 134672761 3221224640 3221223844 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7419 6901 603 41 0 7378 0
vsize: 29676
[startup+20.0002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 6932 0 0 0 1977 21 0 0 25 0 1 0 421083491 30523392 6910 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7452 6910 603 41 0 7411 0
vsize: 29808
[startup+30.0008 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 6936 0 0 0 2977 21 0 0 25 0 1 0 421083491 30523392 6914 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7452 6914 603 41 0 7411 0
vsize: 29808
[startup+40.0011 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 6944 0 0 0 3977 22 0 0 25 0 1 0 421083491 30523392 6922 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7452 6922 603 41 0 7411 0
vsize: 29808
[startup+50.0007 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7179 0 0 0 4976 23 0 0 25 0 1 0 421083491 31936512 7157 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7157 603 41 0 7756 0
vsize: 31188
[startup+60.0002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7179 0 0 0 5976 23 0 0 25 0 1 0 421083491 31936512 7157 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7157 603 41 0 7756 0
vsize: 31188
[startup+70 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7180 0 0 0 6976 23 0 0 25 0 1 0 421083491 31936512 7158 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7158 603 41 0 7756 0
vsize: 31188
[startup+80.0001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7180 0 0 0 7976 23 0 0 25 0 1 0 421083491 31936512 7158 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7158 603 41 0 7756 0
vsize: 31188
[startup+89.9996 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7180 0 0 0 8976 24 0 0 25 0 1 0 421083491 31936512 7158 4294967295 134512640 134672761 3221224640 3221223812 134556632 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7158 603 41 0 7756 0
vsize: 31188
[startup+99.9998 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7180 0 0 0 9976 24 0 0 25 0 1 0 421083491 31936512 7158 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7158 603 41 0 7756 0
vsize: 31188
[startup+110 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7180 0 0 0 10976 24 0 0 25 0 1 0 421083491 31936512 7158 4294967295 134512640 134672761 3221224640 3221223796 134561241 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7158 603 41 0 7756 0
vsize: 31188
[startup+120 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7180 0 0 0 11976 24 0 0 25 0 1 0 421083491 31936512 7158 4294967295 134512640 134672761 3221224640 3221223812 134556680 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7158 603 41 0 7756 0
vsize: 31188
[startup+130 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7180 0 0 0 12976 24 0 0 25 0 1 0 421083491 31936512 7158 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7158 603 41 0 7756 0
vsize: 31188
[startup+139.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7180 0 0 0 13976 25 0 0 25 0 1 0 421083491 31936512 7158 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7158 603 41 0 7756 0
vsize: 31188
[startup+150 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7180 0 0 0 14976 25 0 0 25 0 1 0 421083491 31936512 7158 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7158 603 41 0 7756 0
vsize: 31188
[startup+160 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7180 0 0 0 15975 26 0 0 25 0 1 0 421083491 31936512 7158 4294967295 134512640 134672761 3221224640 3221223812 134556680 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7797 7158 603 41 0 7756 0
vsize: 31188
[startup+169.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7245 0 0 0 16975 26 0 0 25 0 1 0 421083491 32325632 7223 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7892 7223 603 41 0 7851 0
vsize: 31568
[startup+179.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7407 0 0 0 17974 27 0 0 25 0 1 0 421083491 32600064 7319 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7959 7319 603 41 0 7918 0
vsize: 31836
[startup+189.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7561 0 0 0 18974 27 0 0 25 0 1 0 421083491 33169408 7440 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8098 7440 603 41 0 8057 0
vsize: 32392
[startup+199.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 7934 0 0 0 19973 29 0 0 25 0 1 0 421083491 34455552 7781 4294967295 134512640 134672761 3221224640 3221223840 134557822 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8412 7781 603 41 0 8371 0
vsize: 33648
[startup+209.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 8216 0 0 0 20971 30 0 0 25 0 1 0 421083491 35467264 8031 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8659 8031 603 41 0 8618 0
vsize: 34636
[startup+219.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 8409 0 0 0 21971 31 0 0 25 0 1 0 421083491 36401152 8224 4294967295 134512640 134672761 3221224640 3221223808 134560855 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8887 8224 603 41 0 8846 0
vsize: 35548
[startup+229.997 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 8982 0 0 0 22968 34 0 0 25 0 1 0 421083491 38821888 8797 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9478 8797 603 41 0 9437 0
vsize: 37912
[startup+239.996 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 9502 0 0 0 23966 36 0 0 25 0 1 0 421083491 40833024 9317 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9969 9317 603 41 0 9928 0
vsize: 39876
[startup+249.996 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 9992 0 0 0 24965 37 0 0 25 0 1 0 421083491 42852352 9807 4294967295 134512640 134672761 3221224640 3221223744 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10462 9807 603 41 0 10421 0
vsize: 41848
[startup+259.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 10547 0 0 0 25963 39 0 0 25 0 1 0 421083491 45137920 10362 4294967295 134512640 134672761 3221224640 3221223744 134560335 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11020 10362 603 41 0 10979 0
vsize: 44080
[startup+269.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 10992 0 0 0 26961 41 0 0 25 0 1 0 421083491 46886912 10807 4294967295 134512640 134672761 3221224640 3221223808 134560876 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11447 10807 603 41 0 11406 0
vsize: 45788
[startup+279.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 11388 0 0 0 27959 43 0 0 25 0 1 0 421083491 48496640 11203 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11840 11203 603 41 0 11799 0
vsize: 47360
[startup+289.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 12116 0 0 0 28957 46 0 0 25 0 1 0 421083491 51572736 11931 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12591 11931 603 41 0 12550 0
vsize: 50364
[startup+299.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 12591 0 0 0 29955 47 0 0 25 0 1 0 421083491 53448704 12406 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13049 12406 603 41 0 13008 0
vsize: 52196
[startup+309.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 12947 0 0 0 30953 49 0 0 25 0 1 0 421083491 55189504 12762 4294967295 134512640 134672761 3221224640 3221223824 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13474 12762 603 41 0 13433 0
vsize: 53896
[startup+319.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 13194 0 0 0 31952 51 0 0 25 0 1 0 421083491 56135680 13009 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13705 13009 603 41 0 13664 0
vsize: 54820
[startup+329.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 13754 0 0 0 32950 52 0 0 25 0 1 0 421083491 58408960 13569 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14260 13569 603 41 0 14219 0
vsize: 57040
[startup+339.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 14189 0 0 0 33948 54 0 0 25 0 1 0 421083491 60162048 14004 4294967295 134512640 134672761 3221224640 3221223744 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14688 14004 603 41 0 14647 0
vsize: 58752
[startup+349.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 14650 0 0 0 34947 56 0 0 25 0 1 0 421083491 61902848 14432 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15113 14432 603 41 0 15072 0
vsize: 60452
[startup+359.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 14758 0 0 0 35947 56 0 0 25 0 1 0 421083491 62443520 14540 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15245 14540 603 41 0 15204 0
vsize: 60980
[startup+369.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 15103 0 0 0 36946 57 0 0 25 0 1 0 421083491 63791104 14885 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15574 14885 603 41 0 15533 0
vsize: 62296
[startup+379.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 15532 0 0 0 37945 58 0 0 25 0 1 0 421083491 65544192 15314 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16002 15314 603 41 0 15961 0
vsize: 64008
[startup+389.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 15948 0 0 0 38944 59 0 0 25 0 1 0 421083491 67297280 15730 4294967295 134512640 134672761 3221224640 3221223776 134560688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16430 15730 603 41 0 16389 0
vsize: 65720
[startup+399.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 16293 0 0 0 39943 60 0 0 25 0 1 0 421083491 68632576 16075 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16756 16075 603 41 0 16715 0
vsize: 67024
[startup+409.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 16681 0 0 0 40942 61 0 0 25 0 1 0 421083491 70242304 16463 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17149 16463 603 41 0 17108 0
vsize: 68596
[startup+419.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 17098 0 0 0 41941 62 0 0 25 0 1 0 421083491 71979008 16880 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17573 16880 603 41 0 17532 0
vsize: 70292
[startup+429.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 17602 0 0 0 42939 64 0 0 25 0 1 0 421083491 73981952 17384 4294967295 134512640 134672761 3221224640 3221223744 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18062 17384 603 41 0 18021 0
vsize: 72248
[startup+439.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 18202 0 0 0 43938 66 0 0 25 0 1 0 421083491 76390400 17984 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18650 17984 603 41 0 18609 0
vsize: 74600
[startup+449.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 18557 0 0 0 44937 67 0 0 25 0 1 0 421083491 77860864 18339 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19009 18339 603 41 0 18968 0
vsize: 76036
[startup+459.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 18881 0 0 0 45935 69 0 0 25 0 1 0 421083491 79196160 18663 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19335 18663 603 41 0 19294 0
vsize: 77340
[startup+469.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 19250 0 0 0 46934 70 0 0 25 0 1 0 421083491 80666624 19032 4294967295 134512640 134672761 3221224640 3221223804 134565024 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19694 19032 603 41 0 19653 0
vsize: 78776
[startup+479.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 19728 0 0 0 47932 72 0 0 25 0 1 0 421083491 82677760 19510 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20185 19510 603 41 0 20144 0
vsize: 80740
[startup+489.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 20166 0 0 0 48930 74 0 0 25 0 1 0 421083491 84422656 19948 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20611 19948 603 41 0 20570 0
vsize: 82444
[startup+499.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 20509 0 0 0 49929 75 0 0 25 0 1 0 421083491 85897216 20291 4294967295 134512640 134672761 3221224640 3221223808 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20971 20291 603 41 0 20930 0
vsize: 83884
[startup+509.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 20962 0 0 0 50928 76 0 0 25 0 1 0 421083491 87629824 20744 4294967295 134512640 134672761 3221224640 3221223776 134560566 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21394 20744 603 41 0 21353 0
vsize: 85576
[startup+519.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 21406 0 0 0 51927 78 0 0 25 0 1 0 421083491 89493504 21188 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21849 21188 603 41 0 21808 0
vsize: 87396
[startup+529.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 21813 0 0 0 52926 79 0 0 25 0 1 0 421083491 91107328 21595 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22243 21595 603 41 0 22202 0
vsize: 88972
[startup+539.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 22164 0 0 0 53925 80 0 0 25 0 1 0 421083491 92606464 21946 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22609 21946 603 41 0 22568 0
vsize: 90436
[startup+549.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 22548 0 0 0 54923 81 0 0 25 0 1 0 421083491 94208000 22330 4294967295 134512640 134672761 3221224640 3221223808 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23000 22330 603 41 0 22959 0
vsize: 92000
[startup+559.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 22752 0 0 0 55922 83 0 0 25 0 1 0 421083491 95010816 22534 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23196 22534 603 41 0 23155 0
vsize: 92784
[startup+569.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23139 0 0 0 56921 84 0 0 25 0 1 0 421083491 96616448 22921 4294967295 134512640 134672761 3221224640 3221223824 134559566 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23588 22921 603 41 0 23547 0
vsize: 94352
[startup+579.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23545 0 0 0 57919 86 0 0 25 0 1 0 421083491 98217984 23327 4294967295 134512640 134672761 3221224640 3221223808 134560964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23979 23327 603 41 0 23938 0
vsize: 95916
[startup+589.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 58918 87 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+599.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 59918 87 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+609.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 60918 87 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+619.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 61917 88 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+629.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 62917 88 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+639.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 63917 88 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223812 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+649.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 64917 89 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+659.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 65917 89 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223776 134560726 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+669.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 66917 89 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+679.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 67916 89 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+689.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 68917 89 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+699.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 69916 90 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+709.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 70916 90 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223776 134560598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+719.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 71916 90 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560954 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+729.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 72916 90 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+739.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 73915 91 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+749.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 74915 91 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134561207 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+759.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32273
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 75915 92 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32326
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 76914 92 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+780.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32326
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 77914 92 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32326
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 78914 92 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+800.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32326
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 79914 93 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223744 134559760 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32326
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 80914 93 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134561220 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32326
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 81914 94 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32326
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 82914 94 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 83914 94 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23795 0 0 0 84914 94 0 0 25 0 1 0 421083491 99037184 23545 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24179 23545 603 41 0 24138 0
vsize: 96716
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 23946 0 0 0 85914 95 0 0 25 0 1 0 421083491 99708928 23696 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24343 23696 603 41 0 24302 0
vsize: 97372
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 24368 0 0 0 86913 96 0 0 25 0 1 0 421083491 101445632 24118 4294967295 134512640 134672761 3221224640 3221223640 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24767 24118 603 41 0 24726 0
vsize: 99068
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 24748 0 0 0 87912 97 0 0 25 0 1 0 421083491 103038976 24498 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25156 24498 603 41 0 25115 0
vsize: 100624
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 25142 0 0 0 88911 98 0 0 25 0 1 0 421083491 104644608 24892 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25548 24892 603 41 0 25507 0
vsize: 102192
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 25517 0 0 0 89911 99 0 0 25 0 1 0 421083491 106110976 25267 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25906 25267 603 41 0 25865 0
vsize: 103624
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 25848 0 0 0 90911 100 0 0 25 0 1 0 421083491 107446272 25598 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26232 25598 603 41 0 26191 0
vsize: 104928
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 26186 0 0 0 91910 101 0 0 25 0 1 0 421083491 108920832 25936 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26592 25936 603 41 0 26551 0
vsize: 106368
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 26533 0 0 0 92909 103 0 0 25 0 1 0 421083491 110252032 26283 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26917 26283 603 41 0 26876 0
vsize: 107668
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 26888 0 0 0 93908 104 0 0 25 0 1 0 421083491 111722496 26638 4294967295 134512640 134672761 3221224640 3221223840 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27276 26638 603 41 0 27235 0
vsize: 109104
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 27202 0 0 0 94907 105 0 0 25 0 1 0 421083491 113061888 26952 4294967295 134512640 134672761 3221224640 3221223744 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27603 26952 603 41 0 27562 0
vsize: 110412
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 27542 0 0 0 95906 106 0 0 25 0 1 0 421083491 114397184 27292 4294967295 134512640 134672761 3221224640 3221223792 134561249 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27929 27292 603 41 0 27888 0
vsize: 111716
[startup+970.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 27901 0 0 0 96905 107 0 0 25 0 1 0 421083491 115855360 27651 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28285 27651 603 41 0 28244 0
vsize: 113140
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 28173 0 0 0 97904 108 0 0 25 0 1 0 421083491 117059584 27923 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28579 27923 603 41 0 28538 0
vsize: 114316
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 28474 0 0 0 98903 110 0 0 25 0 1 0 421083491 118267904 28224 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28874 28224 603 41 0 28833 0
vsize: 115496
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 28770 0 0 0 99902 111 0 0 25 0 1 0 421083491 119472128 28520 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29168 28520 603 41 0 29127 0
vsize: 116672
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 29115 0 0 0 100901 113 0 0 25 0 1 0 421083491 120930304 28865 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29524 28865 603 41 0 29483 0
vsize: 118096
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 29468 0 0 0 101900 114 0 0 25 0 1 0 421083491 122269696 29218 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29851 29218 603 41 0 29810 0
vsize: 119404
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 29778 0 0 0 102899 115 0 0 25 0 1 0 421083491 123609088 29528 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30178 29528 603 41 0 30137 0
vsize: 120712
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 30090 0 0 0 103899 116 0 0 25 0 1 0 421083491 124813312 29840 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30472 29840 603 41 0 30431 0
vsize: 121888
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 30437 0 0 0 104898 117 0 0 25 0 1 0 421083491 126812160 30187 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30960 30187 603 41 0 30919 0
vsize: 123840
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 30730 0 0 0 105897 119 0 0 25 0 1 0 421083491 128008192 30480 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31252 30480 603 41 0 31211 0
vsize: 125008
[startup+1070.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 31025 0 0 0 106896 120 0 0 25 0 1 0 421083491 129208320 30775 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31545 30775 603 41 0 31504 0
vsize: 126180
[startup+1080.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 32328
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 31374 0 0 0 107895 121 0 0 25 0 1 0 421083491 130678784 31124 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31904 31124 603 41 0 31863 0
vsize: 127616
[startup+1090.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 31704 0 0 0 108894 122 0 0 25 0 1 0 421083491 132005888 31454 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32228 31454 603 41 0 32187 0
vsize: 128912
[startup+1100.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 32014 0 0 0 109894 122 0 0 25 0 1 0 421083491 133218304 31764 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32524 31764 603 41 0 32483 0
vsize: 130096
[startup+1110.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 32277 0 0 0 110894 123 0 0 25 0 1 0 421083491 134283264 32027 4294967295 134512640 134672761 3221224640 3221223744 134559872 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32784 32027 603 41 0 32743 0
vsize: 131136
[startup+1120.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 32605 0 0 0 111893 124 0 0 25 0 1 0 421083491 135618560 32355 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33110 32355 603 41 0 33069 0
vsize: 132440
[startup+1130.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 32968 0 0 0 112893 125 0 0 25 0 1 0 421083491 137084928 32718 4294967295 134512640 134672761 3221224640 3221223808 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33468 32718 603 41 0 33427 0
vsize: 133872
[startup+1140.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 33333 0 0 0 113892 126 0 0 25 0 1 0 421083491 138674176 33083 4294967295 134512640 134672761 3221224640 3221223744 134560529 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33856 33083 603 41 0 33815 0
vsize: 135424
[startup+1150.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 33716 0 0 0 114892 127 0 0 25 0 1 0 421083491 140136448 33466 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34213 33466 603 41 0 34172 0
vsize: 136852
[startup+1160.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 34056 0 0 0 115891 127 0 0 25 0 1 0 421083491 141606912 33806 4294967295 134512640 134672761 3221224640 3221223808 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34572 33806 603 41 0 34531 0
vsize: 138288
[startup+1170.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 34401 0 0 0 116891 129 0 0 25 0 1 0 421083491 142938112 34151 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34897 34151 603 41 0 34856 0
vsize: 139588
[startup+1180.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 34685 0 0 0 117890 129 0 0 25 0 1 0 421083491 144150528 34435 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35193 34435 603 41 0 35152 0
vsize: 140772
[startup+1190.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 34970 0 0 0 118890 130 0 0 25 0 1 0 421083491 145354752 34720 4294967295 134512640 134672761 3221224640 3221223744 134560399 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35487 34720 603 41 0 35446 0
vsize: 141948
[startup+1200.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32330
Raw data (stat): 32273 (minisat+) R 32272 29653 29652 0 -1 0 35257 0 0 0 119890 131 0 0 25 0 1 0 421083491 146423808 35007 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35748 35007 603 41 0 35707 0
vsize: 142992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.01 0.99 0.91 1/54 32330
Raw data (stat): 32273 (minisat+) Z 32272 29653 29652 0 -1 12 35260 0 0 0 119890 137 0 0 25 0 1 0 421083491 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.09
CPU time (s): 1200.28
CPU user time (s): 1198.9
CPU system time (s): 1.37479
CPU usage (%): 100.016
Max. virtual memory (Kb): 142992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####