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/frb56-25-opb/normalized-frb56-25-3.opb
MD5SUM	3f087816af6a7fb75be2e9f81cc24df7
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
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.11
Number of variables	1400
Total number of constraints	109379
Number of constraints which are clauses	109379
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 5263

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-13 23:05:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3730 boxname=wulflinc7 idbench=346 idsolver=10 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3f087816af6a7fb75be2e9f81cc24df7  /oldhome/oroussel/tmp/wulflinc7/normalized-frb56-25-3.opb
REAL COMMAND:  minisat+ -ca /oldhome/oroussel/tmp/wulflinc7/normalized-frb56-25-3.opb /oldhome/oroussel/tmp/wulflinc7/normalized-frb56-25-3.opb
IDLAUNCH: 3730
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        899748 kB
Buffers:         36744 kB
Cached:          78380 kB
SwapCached:          0 kB
Active:          74636 kB
Inactive:        43336 kB
HighTotal:      131008 kB
HighFree:        48776 kB
LowTotal:       903652 kB
LowFree:        850972 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11336 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 23:25:19 (client local time) WITH STATUS 10 IN 1200.12 SECONDS
stats: 3730 7 1200.12 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109379 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 |  109379   218758 |   36459       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 2772   maxlim: 40   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  128553   287280 |   42851       0        0     nan |  0.000 % |
c |       100 |  128553   287280 |   47136     100      872     8.7 |  0.074 % |
c |       252 |  128553   287280 |   51849     252     2665    10.6 |  0.073 % |
c |       477 |  128544   287249 |   57034     475     4998    10.5 |  0.096 % |
c |       814 |  128544   287249 |   62738     812     9084    11.2 |  0.098 % |
c |      1320 |  128508   287125 |   69011    1309    15613    11.9 |  0.192 % |
c |      2079 |  128499   287094 |   75913    2064    27455    13.3 |  0.218 % |
c |      3218 |  128472   287001 |   83504    3195    41521    13.0 |  0.290 % |
c |      4927 |  128280   286341 |   91854    4855    63980    13.2 |  0.820 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 41   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6541 |  128101   285730 |   42700    6417    99268    15.5 |  0.820 % |
c |      6641 |  128101   285730 |   46970    6517   100565    15.4 |  1.347 % |
c |      6792 |  128077   285648 |   51667    6665   102265    15.3 |  1.419 % |
c |      7017 |  128068   285617 |   56833    6888   106174    15.4 |  1.443 % |
c |      7354 |  128035   285504 |   62517    7216   110533    15.3 |  1.540 % |
c |      7860 |  127990   285349 |   68768    7709   118927    15.4 |  1.660 % |
c |      8619 |  127739   284490 |   75645    8394   130793    15.6 |  2.430 % |
c |      9758 |  127483   283612 |   83210    9464   149290    15.8 |  3.224 % |
c |     11466 |  127149   282460 |   91531   11078   186696    16.9 |  4.354 % |
c |     14028 |  126688   280877 |  100684   13510   247471    18.3 |  5.870 % |
c |     17874 |  126011   278558 |  110752   17150   503816    29.4 |  8.275 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 42   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     22437 |  125164   275640 |   41721   21441   649114    30.3 |  8.275 % |
c |     22538 |  125088   275382 |   45893   21527   651127    30.2 | 11.881 % |
c |     22688 |  125057   275275 |   50482   21673   654072    30.2 | 12.025 % |
c |     22913 |  124991   275051 |   55530   21877   662835    30.3 | 12.314 % |
c |     23250 |  124923   274817 |   61083   22131   672414    30.4 | 12.531 % |
c |     23756 |  124788   274354 |   67192   22593   684829    30.3 | 13.011 % |
c |     24516 |  124576   273620 |   73911   23295   704374    30.2 | 13.853 % |
c |     25656 |  124025   271707 |   81302   24231   764437    31.5 | 16.187 % |
c |     27364 |  123769   270817 |   89432   25771   805180    31.2 | 17.222 % |
c |     29926 |  123476   269806 |   98375   28114   922665    32.8 | 18.422 % |
c |     33770 |  123072   268408 |  108213   31619  1080075    34.2 | 20.203 % |
c |     39536 |  122486   266374 |  119034   36874  1396247    37.9 | 22.775 % |
c |     48185 |  121905   264363 |  130938   44703  2409536    53.9 | 25.254 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 43   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     50394 |  121795   263982 |   40598   46662  2578661    55.3 | 25.254 % |
c |     50494 |  121753   263832 |   44657   18249  1314529    72.0 | 25.945 % |
c |     50644 |  121753   263832 |   49123   18399  1323461    71.9 | 25.945 % |
c |     50869 |  121744   263801 |   54035   18605  1332275    71.6 | 25.968 % |
c |     51206 |  121744   263801 |   59439   18942  1345411    71.0 | 25.968 % |
c |     51712 |  121722   263723 |   65383   19427  1383205    71.2 | 26.064 % |
c |     52472 |  121705   263664 |   71921   20184  1408160    69.8 | 26.136 % |
c |     53612 |  121705   263664 |   79114   21324  1480492    69.4 | 26.137 % |
c |     55320 |  121705   263664 |   87025   23032  1605431    69.7 | 26.137 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 44   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     55787 |  121616   263360 |   40538   23445  1643558    70.1 | 26.137 % |
c |     55887 |  121616   263360 |   44591   23545  1649277    70.0 | 26.516 % |
c |     56037 |  121616   263360 |   49050   23695  1654860    69.8 | 26.516 % |
c |     56263 |  121573   263211 |   53956   23849  1661858    69.7 | 26.684 % |
c |     56601 |  121573   263211 |   59351   24187  1686091    69.7 | 26.684 % |
c |     57109 |  121573   263211 |   65286   24695  1722234    69.7 | 26.683 % |
c |     57868 |  121564   263180 |   71815   25441  1748296    68.7 | 26.707 % |
c |     59007 |  121540   263098 |   78997   26547  1809618    68.2 | 26.779 % |
c |     60715 |  121509   262991 |   86896   28236  1990625    70.5 | 26.923 % |
c |     63277 |  121436   262736 |   95586   30722  2274801    74.0 | 27.236 % |
c |     67121 |  121387   262567 |  105145   34523  2544699    73.7 | 27.428 % |
c |     72887 |  121327   262359 |  115659   40199  3100824    77.1 | 27.668 % |
c |     81537 |  121313   262309 |  127225   48796  3857970    79.1 | 27.716 % |
c |     94511 |  121277   262183 |  139948   61717  5933448    96.1 | 27.885 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 45   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     95315 |  121267   262151 |   40422   62518  5999368    96.0 | 27.885 % |
c |     95415 |  121190   261880 |   44464   17217  2015461   117.1 | 28.312 % |
c |     95567 |  121190   261880 |   48910   17369  2020266   116.3 | 28.311 % |
c |     95792 |  121190   261880 |   53801   17594  2029707   115.4 | 28.311 % |
c |     96129 |  121190   261880 |   59181   17931  2047804   114.2 | 28.311 % |
c |     96635 |  121190   261880 |   65100   18437  2071939   112.4 | 28.311 % |
c |     97394 |  121164   261790 |   71610   19178  2101573   109.6 | 28.407 % |
c |     98533 |  121155   261759 |   78771   20312  2188719   107.8 | 28.431 % |
c |    100241 |  121035   261343 |   86648   21961  2273832   103.5 | 28.913 % |
c |    102803 |  121029   261323 |   95312   24518  2455944   100.2 | 28.935 % |
c |    106648 |  121004   261236 |  104844   28351  2803822    98.9 | 29.057 % |
c |    112416 |  120944   261032 |  115328   34096  3397577    99.6 | 29.320 % |
c |    121065 |  120927   260973 |  126861   42739  4645406   108.7 | 29.392 % |
c |    134039 |  120927   260973 |  139547   55713  6863602   123.2 | 29.392 % |
c |    153500 |  120895   260867 |  153502   75158  9176561   122.1 | 29.536 % |
c |    182692 |  120856   260732 |  168852  104305 15010941   143.9 | 29.730 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 46   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    219683 |  120791   260508 |   40263  141198 20539027   145.5 | 29.730 % |
c |    219783 |  120791   260508 |   44289   18364  2528948   137.7 | 30.059 % |
c |    219934 |  120729   260296 |   48718   18504  2536370   137.1 | 30.347 % |
c |    220159 |  120706   260213 |   53590   18724  2543061   135.8 | 30.490 % |
c |    220496 |  120706   260213 |   58949   19061  2562878   134.5 | 30.491 % |
c |    221002 |  120706   260213 |   64843   19567  2597324   132.7 | 30.490 % |
c |    221761 |  120706   260213 |   71328   20326  2676760   131.7 | 30.490 % |
c |    222901 |  120689   260154 |   78461   21459  2729533   127.2 | 30.562 % |
c |    224610 |  120689   260154 |   86307   23168  2855294   123.2 | 30.562 % |
c |    227175 |  120689   260154 |   94938   25733  3223256   125.3 | 30.562 % |
c |    231019 |  120658   260047 |  104431   29563  3541029   119.8 | 30.706 % |
c |    236785 |  120658   260047 |  114875   35329  4136939   117.1 | 30.706 % |
c |    245434 |  120658   260047 |  126362   43978  5232111   119.0 | 30.707 % |
c |    258408 |  120658   260047 |  138998   56952  7042927   123.7 | 30.708 % |
c |    277869 |  120643   259996 |  152898   76366  9555410   125.1 | 30.754 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 47   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    283656 |  120644   260000 |   40214   82153 10217350   124.4 | 30.754 % |
c |    283756 |  120644   260000 |   44235   19700  1452222    73.7 | 30.772 % |
c |    283907 |  120644   260000 |   48658   19851  1457861    73.4 | 30.771 % |
c |    284132 |  120644   260000 |   53524   20076  1472899    73.4 | 30.771 % |
c |    284469 |  120644   260000 |   58877   20413  1494368    73.2 | 30.771 % |
c |    284975 |  120644   260000 |   64765   20919  1523590    72.8 | 30.771 % |
c |    285735 |  120644   260000 |   71241   21679  1600160    73.8 | 30.771 % |
c |    286875 |  120644   260000 |   78365   22819  1678420    73.6 | 30.772 % |
c |    288584 |  120644   260000 |   86202   24528  1898762    77.4 | 30.772 % |
c |    291148 |  120644   260000 |   94822   27092  2231208    82.4 | 30.771 % |
c |    294993 |  120644   260000 |  104304   30937  2849334    92.1 | 30.771 % |
c |    300761 |  120644   260000 |  114735   36705  3483166    94.9 | 30.771 % |
c |    309411 |  120644   260000 |  126208   45355  5616239   123.8 | 30.771 % |
c |    322385 |  120644   260000 |  138829   58329  7787241   133.5 | 30.771 % |
c |    341847 |  120644   260000 |  152712   77791 10522000   135.3 | 30.771 % |
c |    371039 |  120644   260000 |  167983  106983 17289790   161.6 | 30.772 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 C601 C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 26063
Raw data (stat): 26063 (runsolver) R 26062 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421556259 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5170 0 0 0 982 16 0 0 25 0 1 0 421556259 22835200 5148 4294967295 134512640 134672761 3221224560 3221223712 134565086 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5575 5148 603 41 0 5534 0
vsize: 22300
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5170 0 0 0 1981 16 0 0 25 0 1 0 421556259 22835200 5148 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5575 5148 603 41 0 5534 0
vsize: 22300
[startup+30.0014 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5170 0 0 0 2980 17 0 0 25 0 1 0 421556259 22835200 5148 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5575 5148 603 41 0 5534 0
vsize: 22300
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5170 0 0 0 3980 17 0 0 25 0 1 0 421556259 22835200 5148 4294967295 134512640 134672761 3221224560 3221223728 134560806 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5575 5148 603 41 0 5534 0
vsize: 22300
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5170 0 0 0 4980 18 0 0 25 0 1 0 421556259 22835200 5148 4294967295 134512640 134672761 3221224560 3221223776 134561997 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5575 5148 603 41 0 5534 0
vsize: 22300
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5170 0 0 0 5979 18 0 0 25 0 1 0 421556259 22835200 5148 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5575 5148 603 41 0 5534 0
vsize: 22300
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5170 0 0 0 6979 19 0 0 25 0 1 0 421556259 22835200 5148 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5575 5148 603 41 0 5534 0
vsize: 22300
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5170 0 0 0 7978 19 0 0 25 0 1 0 421556259 22835200 5148 4294967295 134512640 134672761 3221224560 3221223728 134561016 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5575 5148 603 41 0 5534 0
vsize: 22300
[startup+90.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5222 0 0 0 8978 19 0 0 25 0 1 0 421556259 22933504 5200 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5599 5200 603 41 0 5558 0
vsize: 22396
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5222 0 0 0 9977 20 0 0 25 0 1 0 421556259 22933504 5200 4294967295 134512640 134672761 3221224560 3221223664 134559949 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5599 5200 603 41 0 5558 0
vsize: 22396
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5222 0 0 0 10977 20 0 0 25 0 1 0 421556259 22933504 5200 4294967295 134512640 134672761 3221224560 3221223728 134560882 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5599 5200 603 41 0 5558 0
vsize: 22396
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 5739 0 0 0 11975 22 0 0 25 0 1 0 421556259 25079808 5717 4294967295 134512640 134672761 3221224560 3221223728 134560920 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6123 5717 603 41 0 6082 0
vsize: 24492
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 6275 0 0 0 12973 24 0 0 25 0 1 0 421556259 27234304 6253 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6649 6253 603 41 0 6608 0
vsize: 26596
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 6799 0 0 0 13971 27 0 0 25 0 1 0 421556259 29376512 6777 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7172 6777 603 41 0 7131 0
vsize: 28688
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 7440 0 0 0 14968 29 0 0 25 0 1 0 421556259 32071680 7418 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7830 7418 603 41 0 7789 0
vsize: 31320
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 8241 0 0 0 15965 32 0 0 25 0 1 0 421556259 35287040 8219 4294967295 134512640 134672761 3221224560 3221223576 1075353266 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8615 8220 603 41 0 8574 0
vsize: 34460
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 8824 0 0 0 16963 34 0 0 25 0 1 0 421556259 37695488 8802 4294967295 134512640 134672761 3221224560 3221223664 134554677 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9203 8802 603 41 0 9162 0
vsize: 36812
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 8824 0 0 0 17962 35 0 0 25 0 1 0 421556259 37695488 8802 4294967295 134512640 134672761 3221224560 3221223744 134559033 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9203 8802 603 41 0 9162 0
vsize: 36812
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 8824 0 0 0 18962 35 0 0 25 0 1 0 421556259 37695488 8802 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9203 8802 603 41 0 9162 0
vsize: 36812
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 8824 0 0 0 19961 35 0 0 25 0 1 0 421556259 37695488 8802 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9203 8802 603 41 0 9162 0
vsize: 36812
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 8824 0 0 0 20961 36 0 0 25 0 1 0 421556259 37695488 8802 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9203 8802 603 41 0 9162 0
vsize: 36812
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 8824 0 0 0 21961 36 0 0 25 0 1 0 421556259 37695488 8802 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9203 8802 603 41 0 9162 0
vsize: 36812
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 9250 0 0 0 22960 37 0 0 25 0 1 0 421556259 39436288 9228 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9628 9228 603 41 0 9587 0
vsize: 38512
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 9843 0 0 0 23958 39 0 0 25 0 1 0 421556259 41861120 9821 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10220 9821 603 41 0 10179 0
vsize: 40880
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 10311 0 0 0 24955 42 0 0 25 0 1 0 421556259 43880448 10289 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10713 10289 603 41 0 10672 0
vsize: 42852
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 10822 0 0 0 25953 44 0 0 25 0 1 0 421556259 45883392 10800 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11202 10800 603 41 0 11161 0
vsize: 44808
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 11312 0 0 0 26951 46 0 0 25 0 1 0 421556259 48156672 11290 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11757 11290 603 41 0 11716 0
vsize: 47028
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 11745 0 0 0 27950 47 0 0 25 0 1 0 421556259 49897472 11723 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12182 11723 603 41 0 12141 0
vsize: 48728
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 12159 0 0 0 28948 49 0 0 25 0 1 0 421556259 51638272 12137 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12607 12137 603 41 0 12566 0
vsize: 50428
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 12484 0 0 0 29946 50 0 0 25 0 1 0 421556259 52977664 12462 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12934 12462 603 41 0 12893 0
vsize: 51736
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 12848 0 0 0 30945 51 0 0 25 0 1 0 421556259 54456320 12826 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13295 12826 603 41 0 13254 0
vsize: 53180
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 13184 0 0 0 31944 53 0 0 25 0 1 0 421556259 55799808 13162 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13623 13162 603 41 0 13582 0
vsize: 54492
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 13791 0 0 0 32942 55 0 0 25 0 1 0 421556259 58216448 13769 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14213 13769 603 41 0 14172 0
vsize: 56852
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 14418 0 0 0 33940 57 0 0 25 0 1 0 421556259 60760064 14396 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14834 14396 603 41 0 14793 0
vsize: 59336
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 14907 0 0 0 34939 58 0 0 25 0 1 0 421556259 62763008 14885 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15323 14886 603 41 0 15282 0
vsize: 61292
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 15559 0 0 0 35937 60 0 0 25 0 1 0 421556259 65441792 15537 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15977 15537 603 41 0 15936 0
vsize: 63908
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 16210 0 0 0 36934 63 0 0 25 0 1 0 421556259 68120576 16188 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16631 16188 603 41 0 16590 0
vsize: 66524
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 16873 0 0 0 37932 65 0 0 25 0 1 0 421556259 70799360 16851 4294967295 134512640 134672761 3221224560 3221223664 134560408 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17285 16851 603 41 0 17244 0
vsize: 69140
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 17522 0 0 0 38929 68 0 0 25 0 1 0 421556259 73474048 17500 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17938 17500 603 41 0 17897 0
vsize: 71752
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 18152 0 0 0 39927 70 0 0 25 0 1 0 421556259 76025856 18130 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18561 18130 603 41 0 18520 0
vsize: 74244
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 18446 0 0 0 40926 71 0 0 25 0 1 0 421556259 77238272 18424 4294967295 134512640 134672761 3221224560 3221223696 134560585 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18857 18424 603 41 0 18816 0
vsize: 75428
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 18760 0 0 0 41924 73 0 0 25 0 1 0 421556259 78589952 18738 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19187 18738 603 41 0 19146 0
vsize: 76748
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 19076 0 0 0 42923 74 0 0 25 0 1 0 421556259 79790080 19054 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19480 19054 603 41 0 19439 0
vsize: 77920
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 19449 0 0 0 43921 76 0 0 25 0 1 0 421556259 81391616 19427 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19871 19427 603 41 0 19830 0
vsize: 79484
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 19705 0 0 0 44920 77 0 0 25 0 1 0 421556259 82341888 19683 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20103 19683 603 41 0 20062 0
vsize: 80412
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 19941 0 0 0 45919 78 0 0 25 0 1 0 421556259 83415040 19919 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20365 19919 603 41 0 20324 0
vsize: 81460
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 20241 0 0 0 46918 79 0 0 25 0 1 0 421556259 84615168 20219 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20658 20219 603 41 0 20617 0
vsize: 82632
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 20564 0 0 0 47918 80 0 0 25 0 1 0 421556259 85946368 20542 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20983 20542 603 41 0 20942 0
vsize: 83932
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 20811 0 0 0 48916 81 0 0 25 0 1 0 421556259 86888448 20789 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21213 20789 603 41 0 21172 0
vsize: 84852
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 21227 0 0 0 49915 82 0 0 25 0 1 0 421556259 88629248 21205 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21638 21205 603 41 0 21597 0
vsize: 86552
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 21486 0 0 0 50914 83 0 0 25 0 1 0 421556259 89698304 21464 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21899 21464 603 41 0 21858 0
vsize: 87596
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 21861 0 0 0 51913 85 0 0 25 0 1 0 421556259 91168768 21839 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22258 21839 603 41 0 22217 0
vsize: 89032
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 22214 0 0 0 52911 86 0 0 25 0 1 0 421556259 93163520 22192 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22745 22192 603 41 0 22704 0
vsize: 90980
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 22489 0 0 0 53911 86 0 0 25 0 1 0 421556259 94236672 22467 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23007 22467 603 41 0 22966 0
vsize: 92028
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 22741 0 0 0 54909 88 0 0 25 0 1 0 421556259 95305728 22719 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23268 22719 603 41 0 23227 0
vsize: 93072
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 23123 0 0 0 55908 89 0 0 25 0 1 0 421556259 96907264 23101 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23659 23101 603 41 0 23618 0
vsize: 94636
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 23597 0 0 0 56907 91 0 0 25 0 1 0 421556259 98770944 23575 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24114 23575 603 41 0 24073 0
vsize: 96456
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24030 0 0 0 57906 91 0 0 25 0 1 0 421556259 100519936 24008 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24541 24008 603 41 0 24500 0
vsize: 98164
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 58905 92 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223664 134560229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 59905 92 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223664 134560361 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 60905 93 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 61904 93 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 62903 94 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223696 134560625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 63903 94 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 64903 94 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 65903 94 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 66902 95 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223664 134560379 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 67902 95 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 68901 96 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 69901 96 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 70901 96 0 0 25 0 1 0 421556259 100999168 24120 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24658 24120 603 41 0 24617 0
vsize: 98632
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 71900 97 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223664 134560191 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 72900 97 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 73900 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223744 134559376 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 74900 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 75900 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 76900 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 77900 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 78901 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 79901 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 80901 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 81901 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 82901 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 83901 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 84901 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 85902 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 86902 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134561161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24142 0 0 0 87902 98 0 0 25 0 1 0 421556259 100868096 24093 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24093 603 41 0 24585 0
vsize: 98504
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 88902 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 89902 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 90903 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 91903 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 92903 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 93903 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 94903 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223744 134559330 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 95904 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 96904 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 97904 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24143 0 0 0 98903 98 0 0 25 0 1 0 421556259 100868096 24094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24626 24094 603 41 0 24585 0
vsize: 98504
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24144 0 0 0 99903 98 0 0 25 0 1 0 421556259 100868096 24095 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24095 603 41 0 24585 0
vsize: 98504
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24144 0 0 0 100903 98 0 0 25 0 1 0 421556259 100868096 24095 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24095 603 41 0 24585 0
vsize: 98504
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24144 0 0 0 101904 98 0 0 25 0 1 0 421556259 100868096 24095 4294967295 134512640 134672761 3221224560 3221223664 134559814 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24095 603 41 0 24585 0
vsize: 98504
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24144 0 0 0 102904 98 0 0 25 0 1 0 421556259 100868096 24095 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24095 603 41 0 24585 0
vsize: 98504
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24144 0 0 0 103904 98 0 0 25 0 1 0 421556259 100868096 24095 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24095 603 41 0 24585 0
vsize: 98504
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24144 0 0 0 104904 98 0 0 25 0 1 0 421556259 100868096 24095 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24626 24095 603 41 0 24585 0
vsize: 98504
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24156 0 0 0 105904 98 0 0 25 0 1 0 421556259 101003264 24107 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24659 24107 603 41 0 24618 0
vsize: 98636
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24480 0 0 0 106904 99 0 0 25 0 1 0 421556259 102363136 24431 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24991 24431 603 41 0 24950 0
vsize: 99964
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 24784 0 0 0 107903 100 0 0 25 0 1 0 421556259 103559168 24735 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25283 24735 603 41 0 25242 0
vsize: 101132
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 25216 0 0 0 108902 101 0 0 25 0 1 0 421556259 105299968 25167 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25708 25167 603 41 0 25667 0
vsize: 102832
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 25666 0 0 0 109901 102 0 0 25 0 1 0 421556259 107163648 25617 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26163 25617 603 41 0 26122 0
vsize: 104652
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 26108 0 0 0 110900 103 0 0 25 0 1 0 421556259 109035520 26059 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26620 26059 603 41 0 26579 0
vsize: 106480
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 26455 0 0 0 111899 104 0 0 25 0 1 0 421556259 110366720 26406 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26945 26406 603 41 0 26904 0
vsize: 107780
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 26728 0 0 0 112899 105 0 0 25 0 1 0 421556259 111570944 26679 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27239 26679 603 41 0 27198 0
vsize: 108956
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 27090 0 0 0 113898 106 0 0 25 0 1 0 421556259 113037312 27041 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27597 27041 603 41 0 27556 0
vsize: 110388
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 27412 0 0 0 114897 107 0 0 25 0 1 0 421556259 114380800 27363 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27925 27363 603 41 0 27884 0
vsize: 111700
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 27754 0 0 0 115897 107 0 0 25 0 1 0 421556259 115716096 27705 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28251 27705 603 41 0 28210 0
vsize: 113004
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 28105 0 0 0 116896 108 0 0 25 0 1 0 421556259 117186560 28056 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28610 28056 603 41 0 28569 0
vsize: 114440
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 28426 0 0 0 117896 109 0 0 25 0 1 0 421556259 118513664 28377 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28934 28377 603 41 0 28893 0
vsize: 115736
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 28737 0 0 0 118896 109 0 0 25 0 1 0 421556259 119717888 28688 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29228 28688 603 41 0 29187 0
vsize: 116912
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26065
Raw data (stat): 26063 (minisat+) R 26062 22932 22931 0 -1 0 29063 0 0 0 119895 110 0 0 25 0 1 0 421556259 121053184 29014 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29554 29014 603 41 0 29513 0
vsize: 118216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 26065
Raw data (stat): 26063 (minisat+) Z 26062 22932 22931 0 -1 12 29066 0 0 0 119895 115 0 0 25 0 1 0 421556259 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.08
CPU time (s): 1200.12
CPU user time (s): 1198.96
CPU system time (s): 1.15882
CPU usage (%): 100.003
Max. virtual memory (Kb): 118216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####