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-4.opb
MD5SUM	e21d47f954166f353681a275b560afba
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.12
Number of variables	1400
Total number of constraints	110038
Number of constraints which are clauses	110038
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 5643

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-14 01:09:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4107 boxname=wulflinc5 idbench=347 idsolver=11 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e21d47f954166f353681a275b560afba  /oldhome/oroussel/tmp/wulflinc5/normalized-frb56-25-4.opb
REAL COMMAND:  minisat+ -S /oldhome/oroussel/tmp/wulflinc5/normalized-frb56-25-4.opb /oldhome/oroussel/tmp/wulflinc5/normalized-frb56-25-4.opb
IDLAUNCH: 4107
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        896848 kB
Buffers:         34156 kB
Cached:          81824 kB
SwapCached:       2272 kB
Active:          56436 kB
Inactive:        64708 kB
HighTotal:      131008 kB
HighFree:        45276 kB
LowTotal:       903652 kB
LowFree:        851572 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11084 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 01:29:55 (client local time) WITH STATUS 10 IN 1210.03 SECONDS
stats: 4107 7 1210.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 110038 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  110038   220076 |   33011       0        0     nan |  0.000 % |
c   -- subsuming                       
c |         0 |  110038   220076 |   44015       0        0     nan |  0.000 % |
c ==============================================================================
c (current CPU-time: 6.21506 s)
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  193767   416453 |   58130       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/56962          
c   -- var.elim.:  2000/56962          
c   -- var.elim.:  3000/56962          
c   -- var.elim.:  4000/56962          
c   -- var.elim.:  5000/56962          
c   -- var.elim.:  6000/56962          
c   -- var.elim.:  7000/56962          
c   -- var.elim.:  8000/56962          
c   -- var.elim.:  9000/56962          
c   -- var.elim.:  10000/56962          
c   -- var.elim.:  11000/56962          
c   -- var.elim.:  12000/56962          
c   -- var.elim.:  13000/56962          
c   -- var.elim.:  14000/56962          
c   -- var.elim.:  15000/56962          
c   -- var.elim.:  16000/56962          
c   -- var.elim.:  17000/56962          
c   -- var.elim.:  18000/56962          
c   -- var.elim.:  19000/56962          
c   -- var.elim.:  20000/56962          
c   -- var.elim.:  21000/56962          
c   -- var.elim.:  22000/56962          
c   -- var.elim.:  23000/56962          
c   -- var.elim.:  24000/56962          
c   -- var.elim.:  25000/56962          
c   -- var.elim.:  26000/56962          
c   -- var.elim.:  27000/56962          
c   -- var.elim.:  28000/56962          
c   -- var.elim.:  29000/56962          
c   -- var.elim.:  30000/56962          
c   -- var.elim.:  31000/56962          
c   -- var.elim.:  32000/56962          
c   -- var.elim.:  33000/56962          
c   -- var.elim.:  34000/56962          
c   -- var.elim.:  35000/56962          
c   -- var.elim.:  36000/56962          
c   -- var.elim.:  37000/56962          
c   -- var.elim.:  38000/56962          
c   -- var.elim.:  39000/56962          
c   -- var.elim.:  40000/56962          
c   -- var.elim.:  41000/56962          
c   -- var.elim.:  42000/56962          
c   -- var.elim.:  43000/56962          
c   -- var.elim.:  44000/56962          
c   -- var.elim.:  45000/56962          
c   -- var.elim.:  46000/56962          
c   -- var.elim.:  47000/56962          
c   -- var.elim.:  48000/56962          
c   -- var.elim.:  49000/56962          
c   -- var.elim.:  50000/56962          
c   -- var.elim.:  51000/56962          
c   -- var.elim.:  52000/56962          
c   -- var.elim.:  53000/56962          
c   -- var.elim.:  54000/56962          
c   -- var.elim.:  55000/56962          
c   -- var.elim.:  56000/56962          
c   -- var.elim.:  56962/56962          
c   -- var.elim.:  1000/28848          
c   -- var.elim.:  2000/28848          
c   -- var.elim.:  3000/28848          
c   -- var.elim.:  4000/28848          
c   -- var.elim.:  5000/28848          
c   -- var.elim.:  6000/28848          
c   -- var.elim.:  7000/28848          
c   -- var.elim.:  8000/28848          
c   -- var.elim.:  9000/28848          
c   -- var.elim.:  10000/28848          
c   -- var.elim.:  11000/28848          
c   -- var.elim.:  12000/28848          
c   -- var.elim.:  13000/28848          
c   -- var.elim.:  14000/28848          
c   -- var.elim.:  15000/28848          
c   -- var.elim.:  16000/28848          
c   -- var.elim.:  17000/28848          
c   -- var.elim.:  18000/28848          
c   -- var.elim.:  19000/28848          
c   -- var.elim.:  20000/28848          
c   -- var.elim.:  21000/28848          
c   -- var.elim.:  22000/28848          
c   -- var.elim.:  23000/28848          
c   -- var.elim.:  24000/28848          
c   -- var.elim.:  25000/28848          
c   -- var.elim.:  26000/28848          
c   -- var.elim.:  27000/28848          
c   -- var.elim.:  28000/28848          
c   -- var.elim.:  28848/28848          
c   -- var.elim.:  1000/5447          
c   -- var.elim.:  2000/5447          
c   -- var.elim.:  3000/5447          
c   -- var.elim.:  4000/5447          
c   -- var.elim.:  5000/5447          
c   -- var.elim.:  5447/5447          
c   -- subsuming                       
c   -- var.elim.:  1000/11461          
c   -- var.elim.:  2000/11461          
c   -- var.elim.:  3000/11461          
c   -- var.elim.:  4000/11461          
c   -- var.elim.:  5000/11461          
c   -- var.elim.:  6000/11461          
c   -- var.elim.:  7000/11461          
c   -- var.elim.:  8000/11461          
c   -- var.elim.:  9000/11461          
c   -- var.elim.:  10000/11461          
c   -- var.elim.:  11000/11461          
c   -- var.elim.:  11461/11461          
c   -- var.elim.:  486/486          
c   -- subsuming                       
c |         0 |  134493   439669 |      --       0       --      -- |     --   | -59274/23217
c |         0 |  134493   439669 |   53797       0        0     nan |  0.000 % |
c |       100 |  134450   439235 |   59158      99    21303   215.2 | 53.740 % |
c |       250 |  134450   439235 |   65073     249    40218   161.5 | 53.740 % |
c |       475 |  134382   438565 |   71544     473    71805   151.8 | 53.848 % |
c |       812 |  134382   438565 |   78699     810   164872   203.5 | 53.847 % |
c |      1318 |  134382   438565 |   86569    1316   244195   185.6 | 53.847 % |
c |      2077 |  134382   438565 |   95226    2075   371141   178.9 | 53.847 % |
c |      3216 |  134382   438565 |  104749    3214   678341   211.1 | 53.847 % |
c |      4924 |  134282   437555 |  115138    4896  1092310   223.1 | 54.021 % |
c |      7486 |  134046   435271 |  126429    7435  1699147   228.5 | 54.428 % |
c |     11330 |  133799   433012 |  138816   11259  2938613   261.0 | 54.821 % |
c |     17096 |  133540   430525 |  152402   16993  4806343   282.8 | 55.256 % |
c ==============================================================================
c (current CPU-time: 376.221 s)
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |     20205 |  139733   445505 |   41919   20064  5835522   290.8 | 55.256 % |
c   -- subsuming                       
c   -- var.elim.:  1000/18132          
c   -- var.elim.:  2000/18132          
c   -- var.elim.:  3000/18132          
c   -- var.elim.:  4000/18132          
c   -- var.elim.:  5000/18132          
c   -- var.elim.:  6000/18132          
c   -- var.elim.:  7000/18132          
c   -- var.elim.:  8000/18132          
c   -- var.elim.:  9000/18132          
c   -- var.elim.:  10000/18132          
c   -- var.elim.:  11000/18132          
c   -- var.elim.:  12000/18132          
c   -- var.elim.:  13000/18132          
c   -- var.elim.:  14000/18132          
c   -- var.elim.:  15000/18132          
c   -- var.elim.:  16000/18132          
c   -- var.elim.:  17000/18132          
c   -- var.elim.:  18000/18132          
c   -- var.elim.:  18132/18132          
c   -- var.elim.:  1000/4710          
c   -- var.elim.:  2000/4710          
c   -- var.elim.:  3000/4710          
c   -- var.elim.:  4000/4710          
c   -- var.elim.:  4710/4710          
c   -- var.elim.:  8/8          
c   -- subsuming                       
c   -- var.elim.:  1000/4474          
c   -- var.elim.:  2000/4474          
c   -- var.elim.:  3000/4474          
c   -- var.elim.:  4000/4474          
c   -- var.elim.:  4474/4474          
c   -- var.elim.:  251/251          
c |     20205 |  133411   436586 |      --   20064       --      -- |     --   | -6311/-8896
c |     20205 |  133411   436586 |   53364   19161  4779746   249.5 | 55.256 % |
c |     20305 |  133411   436586 |   58700   19261  4809721   249.7 | 58.956 % |
c |     20455 |  133411   436586 |   64570   19411  4852710   250.0 | 58.956 % |
c |     20680 |  133309   435538 |   70973   19634  4899397   249.5 | 59.103 % |
c |     21017 |  133309   435538 |   78071   19971  4999851   250.4 | 59.103 % |
c |     21523 |  133243   434991 |   85835   20469  5159058   252.0 | 59.203 % |
c |     22282 |  133201   434441 |   94389   21221  5397310   254.3 | 59.264 % |
c |     23422 |  133106   433659 |  103754   22359  5788605   258.9 | 59.383 % |
c |     25130 |  132911   431788 |  113962   24037  6400803   266.3 | 59.675 % |
c |     27692 |  132807   430678 |  125260   26590  7240154   272.3 | 59.842 % |
c |     31540 |  132525   427905 |  137494   30384  8675392   285.5 | 60.295 % |
c |     37307 |  132193   424640 |  150864   36078 10906291   302.3 | 60.825 % |
c |     45956 |  131489   417770 |  165067   44591 14510690   325.4 | 61.949 % |
c |     58930 |  129910   402435 |  179393   57274 20659839   360.7 | 64.451 % |
c |     78391 |  128797   391290 |  195642   76458 29379758   384.3 | 66.175 % |
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 -C#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/54 28261
Raw data (stat): 28261 (runsolver) R 28260 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 422298928 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 10806 0 0 0 957 41 0 0 25 0 1 0 422298928 44777472 10108 4294967295 134512640 134672761 3221224560 3221222768 1075730206 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10932 10108 603 41 0 10891 0
vsize: 43728
[startup+20 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11634 0 0 0 1946 51 0 0 25 0 1 0 422298928 48037888 10936 4294967295 134512640 134672761 3221224560 3221223008 134643539 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11728 10936 603 41 0 11687 0
vsize: 46912
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11637 0 0 0 2946 51 0 0 25 0 1 0 422298928 48037888 10939 4294967295 134512640 134672761 3221224560 3221223152 134607935 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11728 10939 603 41 0 11687 0
vsize: 46912
[startup+40.0006 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11643 0 0 0 3946 52 0 0 25 0 1 0 422298928 48140288 10945 4294967295 134512640 134672761 3221224560 3221223088 134606413 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11753 10945 603 41 0 11712 0
vsize: 47012
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11646 0 0 0 4946 52 0 0 25 0 1 0 422298928 48140288 10948 4294967295 134512640 134672761 3221224560 3221222928 134603565 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11753 10948 603 41 0 11712 0
vsize: 47012
[startup+60.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11679 0 0 0 5946 52 0 0 25 0 1 0 422298928 48402432 10981 4294967295 134512640 134672761 3221224560 3221223008 134643996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10981 603 41 0 11776 0
vsize: 47268
[startup+70.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11680 0 0 0 6946 52 0 0 25 0 1 0 422298928 48402432 10982 4294967295 134512640 134672761 3221224560 3221222992 134604081 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10982 603 41 0 11776 0
vsize: 47268
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11682 0 0 0 7947 52 0 0 25 0 1 0 422298928 48402432 10984 4294967295 134512640 134672761 3221224560 3221223056 134644291 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10984 603 41 0 11776 0
vsize: 47268
[startup+90.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11683 0 0 0 8947 52 0 0 25 0 1 0 422298928 48402432 10985 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10985 603 41 0 11776 0
vsize: 47268
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11684 0 0 0 9947 52 0 0 25 0 1 0 422298928 48402432 10986 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10986 603 41 0 11776 0
vsize: 47268
[startup+110.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11685 0 0 0 10947 52 0 0 25 0 1 0 422298928 48402432 10987 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10987 603 41 0 11776 0
vsize: 47268
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11687 0 0 0 11947 52 0 0 25 0 1 0 422298928 48402432 10989 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10989 603 41 0 11776 0
vsize: 47268
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11688 0 0 0 12948 52 0 0 25 0 1 0 422298928 48402432 10990 4294967295 134512640 134672761 3221224560 3221223088 134607032 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10990 603 41 0 11776 0
vsize: 47268
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11690 0 0 0 13948 52 0 0 25 0 1 0 422298928 48402432 10992 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10992 603 41 0 11776 0
vsize: 47268
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11693 0 0 0 14948 52 0 0 25 0 1 0 422298928 48402432 10995 4294967295 134512640 134672761 3221224560 3221223088 134606977 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10995 603 41 0 11776 0
vsize: 47268
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11695 0 0 0 15948 52 0 0 25 0 1 0 422298928 48402432 10997 4294967295 134512640 134672761 3221224560 3221222992 134604069 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10997 603 41 0 11776 0
vsize: 47268
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11697 0 0 0 16948 52 0 0 25 0 1 0 422298928 48402432 10999 4294967295 134512640 134672761 3221224560 3221222992 134604055 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10999 603 41 0 11776 0
vsize: 47268
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11699 0 0 0 17948 52 0 0 25 0 1 0 422298928 48402432 11001 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 11001 603 41 0 11776 0
vsize: 47268
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11705 0 0 0 18949 52 0 0 25 0 1 0 422298928 48402432 11007 4294967295 134512640 134672761 3221224560 3221222364 134566513 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 11007 603 41 0 11776 0
vsize: 47268
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11738 0 0 0 19948 53 0 0 25 0 1 0 422298928 48402432 10984 4294967295 134512640 134672761 3221224560 3221223008 134643539 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10984 603 41 0 11776 0
vsize: 47268
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11738 0 0 0 20948 53 0 0 25 0 1 0 422298928 48402432 10984 4294967295 134512640 134672761 3221224560 3221223008 134643570 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11817 10984 603 41 0 11776 0
vsize: 47268
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11738 0 0 0 21948 53 0 0 25 0 1 0 422298928 48402432 10984 4294967295 134512640 134672761 3221224560 3221223008 134643556 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11817 10984 603 41 0 11776 0
vsize: 47268
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 11738 0 0 0 22948 53 0 0 25 0 1 0 422298928 48271360 10984 4294967295 134512640 134672761 3221224560 3221223008 134643499 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11785 10984 603 41 0 11744 0
vsize: 47140
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 12118 0 0 0 23947 53 0 0 25 0 1 0 422298928 50130944 11364 4294967295 134512640 134672761 3221224560 3221223272 134643316 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12239 11364 603 41 0 12198 0
vsize: 48956
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 12118 0 0 0 24948 53 0 0 25 0 1 0 422298928 50130944 11364 4294967295 134512640 134672761 3221224560 3221222416 134566457 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12239 11364 603 41 0 12198 0
vsize: 48956
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 12118 0 0 0 25948 53 0 0 25 0 1 0 422298928 50130944 11364 4294967295 134512640 134672761 3221224560 3221223024 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12239 11364 603 41 0 12198 0
vsize: 48956
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 12118 0 0 0 26948 53 0 0 25 0 1 0 422298928 50130944 11364 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12239 11364 603 41 0 12198 0
vsize: 48956
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 12118 0 0 0 27948 53 0 0 25 0 1 0 422298928 50130944 11364 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12239 11364 603 41 0 12198 0
vsize: 48956
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 12118 0 0 0 28948 54 0 0 25 0 1 0 422298928 48271360 10984 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11785 10984 603 41 0 11744 0
vsize: 47140
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 12507 0 0 0 29947 54 0 0 25 0 1 0 422298928 48271360 10994 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11785 10994 603 41 0 11744 0
vsize: 47140
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 13019 0 0 0 30946 56 0 0 25 0 1 0 422298928 50413568 11506 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12308 11506 603 41 0 12267 0
vsize: 49232
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 13619 0 0 0 31944 58 0 0 25 0 1 0 422298928 52842496 12106 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12901 12106 603 41 0 12860 0
vsize: 51604
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 14350 0 0 0 32943 60 0 0 25 0 1 0 422298928 55869440 12837 4294967295 134512640 134672761 3221224560 3221223696 134614560 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13640 12837 603 41 0 13599 0
vsize: 54560
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 15197 0 0 0 33941 61 0 0 25 0 1 0 422298928 59334656 13684 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14486 13684 603 41 0 14445 0
vsize: 57944
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 15983 0 0 0 34939 63 0 0 25 0 1 0 422298928 62607360 14470 4294967295 134512640 134672761 3221224560 3221223684 134566100 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15285 14470 603 41 0 15244 0
vsize: 61140
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 16834 0 0 0 35937 66 0 0 25 0 1 0 422298928 66117632 15321 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16142 15321 603 41 0 16101 0
vsize: 64568
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 17507 0 0 0 36935 68 0 0 25 0 1 0 422298928 68849664 15994 4294967295 134512640 134672761 3221224560 3221223696 134614513 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16809 15994 603 41 0 16768 0
vsize: 67236
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 20518 0 0 0 37924 79 0 0 25 0 1 0 422298928 80891904 17365 4294967295 134512640 134672761 3221224560 3221223104 134621242 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19749 17365 603 41 0 19708 0
vsize: 78996
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 20518 0 0 0 38903 99 0 0 25 0 1 0 422298928 77860864 16985 4294967295 134512640 134672761 3221224560 3221221600 134566718 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19009 16985 603 41 0 18968 0
vsize: 76036
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 20518 0 0 0 39855 120 0 0 25 0 1 0 422298928 77860864 16985 4294967295 134512640 134672761 3221224560 3221223008 134643570 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19009 16985 603 41 0 18968 0
vsize: 76036
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 20518 0 0 0 40855 120 0 0 25 0 1 0 422298928 77860864 16985 4294967295 134512640 134672761 3221224560 3221223008 134643474 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19009 16985 603 41 0 18968 0
vsize: 76036
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 20518 0 0 0 41856 120 0 0 25 0 1 0 422298928 77860864 16985 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19009 16985 603 41 0 18968 0
vsize: 76036
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 20898 0 0 0 42854 121 0 0 25 0 1 0 422298928 80879616 17365 4294967295 134512640 134672761 3221224560 3221222960 134604052 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19746 17365 603 41 0 19705 0
vsize: 78984
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 20898 0 0 0 43854 121 0 0 25 0 1 0 422298928 77860864 16985 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19009 16985 603 41 0 18968 0
vsize: 76036
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 20899 0 0 0 44854 121 0 0 25 0 1 0 422298928 77860864 16986 4294967295 134512640 134672761 3221224560 3221223744 134615732 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19009 16986 603 41 0 18968 0
vsize: 76036
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 20901 0 0 0 45854 121 0 0 25 0 1 0 422298928 77860864 16988 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19009 16988 603 41 0 18968 0
vsize: 76036
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 21188 0 0 0 46854 122 0 0 25 0 1 0 422298928 79036416 17275 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19296 17275 603 41 0 19255 0
vsize: 77184
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 21871 0 0 0 47853 123 0 0 25 0 1 0 422298928 81862656 17958 4294967295 134512640 134672761 3221224560 3221223568 134522545 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19986 17958 603 41 0 19945 0
vsize: 79944
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 22397 0 0 0 48852 124 0 0 25 0 1 0 422298928 83947520 18484 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20495 18484 603 41 0 20454 0
vsize: 81980
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 23138 0 0 0 49851 126 0 0 25 0 1 0 422298928 87060480 19225 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21255 19225 603 41 0 21214 0
vsize: 85020
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 23587 0 0 0 50850 127 0 0 25 0 1 0 422298928 88866816 19674 4294967295 134512640 134672761 3221224560 3221223684 134566068 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21696 19674 603 41 0 21655 0
vsize: 86784
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 24195 0 0 0 51848 128 0 0 25 0 1 0 422298928 91271168 20282 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22283 20282 603 41 0 22242 0
vsize: 89132
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 24683 0 0 0 52847 130 0 0 25 0 1 0 422298928 93470720 20770 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22820 20770 603 41 0 22779 0
vsize: 91280
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 25245 0 0 0 53846 131 0 0 25 0 1 0 422298928 95776768 21332 4294967295 134512640 134672761 3221224560 3221223600 134614322 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23383 21332 603 41 0 23342 0
vsize: 93532
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 26015 0 0 0 54845 133 0 0 25 0 1 0 422298928 98869248 22102 4294967295 134512640 134672761 3221224560 3221223704 134616356 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24138 22102 603 41 0 24097 0
vsize: 96552
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 26641 0 0 0 55844 134 0 0 25 0 1 0 422298928 101498880 22728 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24780 22728 603 41 0 24739 0
vsize: 99120
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 27224 0 0 0 56843 134 0 0 25 0 1 0 422298928 103796736 23311 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25341 23311 603 41 0 25300 0
vsize: 101364
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 27793 0 0 0 57843 135 0 0 25 0 1 0 422298928 106205184 23880 4294967295 134512640 134672761 3221224560 3221223600 134612684 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25929 23880 603 41 0 25888 0
vsize: 103716
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 28198 0 0 0 58842 136 0 0 25 0 1 0 422298928 107880448 24285 4294967295 134512640 134672761 3221224560 3221223600 134603529 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26338 24285 603 41 0 26297 0
vsize: 105352
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 28809 0 0 0 59841 138 0 0 25 0 1 0 422298928 110305280 24896 4294967295 134512640 134672761 3221224560 3221223704 134616293 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26930 24896 603 41 0 26889 0
vsize: 107720
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 29282 0 0 0 60840 138 0 0 25 0 1 0 422298928 112246784 25369 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27404 25369 603 41 0 27363 0
vsize: 109616
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 29819 0 0 0 61840 139 0 0 25 0 1 0 422298928 114438144 25906 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27939 25906 603 41 0 27898 0
vsize: 111756
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 30131 0 0 0 62839 140 0 0 25 0 1 0 422298928 115720192 26218 4294967295 134512640 134672761 3221224560 3221223704 134616299 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28252 26218 603 41 0 28211 0
vsize: 113008
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 30602 0 0 0 63837 142 0 0 25 0 1 0 422298928 117690368 26689 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28733 26689 603 41 0 28692 0
vsize: 114932
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 31206 0 0 0 64836 143 0 0 25 0 1 0 422298928 120160256 27293 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29336 27293 603 41 0 29295 0
vsize: 117344
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 31845 0 0 0 65835 144 0 0 25 0 1 0 422298928 122707968 27932 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29958 27932 603 41 0 29917 0
vsize: 119832
[startup+670.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 32558 0 0 0 66834 146 0 0 25 0 1 0 422298928 125648896 28645 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30676 28645 603 41 0 30635 0
vsize: 122704
[startup+680.008 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 32910 0 0 0 67833 147 0 0 25 0 1 0 422298928 127094784 28997 4294967295 134512640 134672761 3221224560 3221223704 134616284 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31029 28997 603 41 0 30988 0
vsize: 124116
[startup+690.007 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 33360 0 0 0 68832 147 0 0 25 0 1 0 422298928 128892928 29447 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31468 29447 603 41 0 31427 0
vsize: 125872
[startup+700.008 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 33672 0 0 0 69832 148 0 0 25 0 1 0 422298928 130207744 29759 4294967295 134512640 134672761 3221224560 3221223744 134615807 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31789 29759 603 41 0 31748 0
vsize: 127156
[startup+710.008 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 34041 0 0 0 70832 149 0 0 25 0 1 0 422298928 131653632 30128 4294967295 134512640 134672761 3221224560 3221223472 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32142 30128 603 41 0 32101 0
vsize: 128568
[startup+720.008 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 34439 0 0 0 71831 150 0 0 25 0 1 0 422298928 133369856 30526 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32561 30526 603 41 0 32520 0
vsize: 130244
[startup+730.008 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 34896 0 0 0 72830 150 0 0 25 0 1 0 422298928 135200768 30983 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33008 30983 603 41 0 32967 0
vsize: 132032
[startup+740.008 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 35541 0 0 0 73829 152 0 0 25 0 1 0 422298928 137805824 31628 4294967295 134512640 134672761 3221224560 3221223684 134566043 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33644 31628 603 41 0 33603 0
vsize: 134576
[startup+750.009 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 36206 0 0 0 74828 153 0 0 25 0 1 0 422298928 140488704 32293 4294967295 134512640 134672761 3221224560 3221223704 134616139 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34299 32293 603 41 0 34258 0
vsize: 137196
[startup+760.008 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 36775 0 0 0 75827 154 0 0 25 0 1 0 422298928 142888960 32862 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34885 32862 603 41 0 34844 0
vsize: 139540
[startup+770.008 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 37041 0 0 0 76826 155 0 0 25 0 1 0 422298928 143941632 33128 4294967295 134512640 134672761 3221224560 3221223704 134616126 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35142 33128 603 41 0 35101 0
vsize: 140568
[startup+780.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 37404 0 0 0 77826 156 0 0 25 0 1 0 422298928 145387520 33491 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35495 33491 603 41 0 35454 0
vsize: 141980
[startup+790.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 38004 0 0 0 78824 157 0 0 25 0 1 0 422298928 147943424 34091 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36119 34091 603 41 0 36078 0
vsize: 144476
[startup+800.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 38393 0 0 0 79823 158 0 0 25 0 1 0 422298928 149499904 34480 4294967295 134512640 134672761 3221224560 3221223704 134616132 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36499 34480 603 41 0 36458 0
vsize: 145996
[startup+810.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 38918 0 0 0 80822 160 0 0 25 0 1 0 422298928 151597056 35005 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37011 35005 603 41 0 36970 0
vsize: 148044
[startup+820.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 39317 0 0 0 81821 161 0 0 25 0 1 0 422298928 153554944 35404 4294967295 134512640 134672761 3221224560 3221223600 134613748 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37489 35404 603 41 0 37448 0
vsize: 149956
[startup+830.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 39962 0 0 0 82821 162 0 0 25 0 1 0 422298928 156221440 36049 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38140 36049 603 41 0 38099 0
vsize: 152560
[startup+840.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 40374 0 0 0 83820 162 0 0 25 0 1 0 422298928 157880320 36461 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38545 36461 603 41 0 38504 0
vsize: 154180
[startup+850.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 40763 0 0 0 84819 163 0 0 25 0 1 0 422298928 159428608 36850 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38923 36850 603 41 0 38882 0
vsize: 155692
[startup+860.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 41310 0 0 0 85818 165 0 0 25 0 1 0 422298928 161611776 37397 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39456 37397 603 41 0 39415 0
vsize: 157824
[startup+870.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 41929 0 0 0 86817 166 0 0 25 0 1 0 422298928 164233216 38016 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40096 38016 603 41 0 40055 0
vsize: 160384
[startup+880.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 42481 0 0 0 87815 168 0 0 25 0 1 0 422298928 166506496 38568 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40651 38568 603 41 0 40610 0
vsize: 162604
[startup+890.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 42877 0 0 0 88815 169 0 0 25 0 1 0 422298928 168071168 38964 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41033 38964 603 41 0 40992 0
vsize: 164132
[startup+900.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 43207 0 0 0 89814 169 0 0 25 0 1 0 422298928 169357312 39294 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41347 39294 603 41 0 41306 0
vsize: 165388
[startup+910.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 43624 0 0 0 90813 171 0 0 25 0 1 0 422298928 171167744 39711 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41789 39711 603 41 0 41748 0
vsize: 167156
[startup+920.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 44132 0 0 0 91812 172 0 0 25 0 1 0 422298928 173228032 40219 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42292 40219 603 41 0 42251 0
vsize: 169168
[startup+930.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 44548 0 0 0 92811 173 0 0 25 0 1 0 422298928 174927872 40635 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42707 40635 603 41 0 42666 0
vsize: 170828
[startup+940.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 44929 0 0 0 93810 174 0 0 25 0 1 0 422298928 176504832 41016 4294967295 134512640 134672761 3221224560 3221223600 134614266 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43092 41016 603 41 0 43051 0
vsize: 172368
[startup+950.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 45330 0 0 0 94810 174 0 0 25 0 1 0 422298928 178089984 41417 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43479 41417 603 41 0 43438 0
vsize: 173916
[startup+960.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 45956 0 0 0 95809 176 0 0 25 0 1 0 422298928 180674560 42043 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44110 42043 603 41 0 44069 0
vsize: 176440
[startup+970.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 46676 0 0 0 96807 178 0 0 25 0 1 0 422298928 183570432 42763 4294967295 134512640 134672761 3221224560 3221223728 134564689 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44817 42763 603 41 0 44776 0
vsize: 179268
[startup+980.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 47104 0 0 0 97806 179 0 0 25 0 1 0 422298928 185372672 43191 4294967295 134512640 134672761 3221224560 3221223776 134614724 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45257 43191 603 41 0 45216 0
vsize: 181028
[startup+990.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 47648 0 0 0 98805 181 0 0 25 0 1 0 422298928 187568128 43735 4294967295 134512640 134672761 3221224560 3221223600 134614256 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45793 43735 603 41 0 45752 0
vsize: 183172
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 47955 0 0 0 99804 181 0 0 25 0 1 0 422298928 188846080 44042 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46105 44042 603 41 0 46064 0
vsize: 184420
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 48331 0 0 0 100803 183 0 0 25 0 1 0 422298928 190382080 44418 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46480 44418 603 41 0 46439 0
vsize: 185920
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 49014 0 0 0 101802 184 0 0 25 0 1 0 422298928 193146880 45101 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47155 45101 603 41 0 47114 0
vsize: 188620
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 49933 0 0 0 102800 186 0 0 25 0 1 0 422298928 196911104 46020 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48074 46020 603 41 0 48033 0
vsize: 192296
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 50178 0 0 0 103799 187 0 0 25 0 1 0 422298928 197959680 46265 4294967295 134512640 134672761 3221224560 3221223568 134522549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48330 46265 603 41 0 48289 0
vsize: 193320
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 50516 0 0 0 104799 187 0 0 25 0 1 0 422298928 199270400 46603 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48650 46603 603 41 0 48609 0
vsize: 194600
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 50836 0 0 0 105798 189 0 0 25 0 1 0 422298928 200863744 46923 4294967295 134512640 134672761 3221224560 3221223744 134615940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49039 46923 603 41 0 48998 0
vsize: 196156
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 51073 0 0 0 106798 189 0 0 25 0 1 0 422298928 201797632 47160 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49267 47160 603 41 0 49226 0
vsize: 197068
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 51761 0 0 0 107796 190 0 0 25 0 1 0 422298928 204619776 47848 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49956 47848 603 41 0 49915 0
vsize: 199824
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 52412 0 0 0 108796 191 0 0 25 0 1 0 422298928 207323136 48499 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50616 48499 603 41 0 50575 0
vsize: 202464
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 52772 0 0 0 109795 192 0 0 25 0 1 0 422298928 208723968 48859 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50958 48859 603 41 0 50917 0
vsize: 203832
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 53320 0 0 0 110794 194 0 0 25 0 1 0 422298928 211038208 49407 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51523 49407 603 41 0 51482 0
vsize: 206092
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 53636 0 0 0 111793 195 0 0 25 0 1 0 422298928 212344832 49723 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51842 49723 603 41 0 51801 0
vsize: 207368
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 54084 0 0 0 112792 196 0 0 25 0 1 0 422298928 214200320 50171 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52295 50171 603 41 0 52254 0
vsize: 209180
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 54681 0 0 0 113790 198 0 0 25 0 1 0 422298928 216580096 50768 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52876 50768 603 41 0 52835 0
vsize: 211504
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 55259 0 0 0 114789 199 0 0 25 0 1 0 422298928 218955776 51346 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53456 51346 603 41 0 53415 0
vsize: 213824
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 55553 0 0 0 115788 200 0 0 25 0 1 0 422298928 220098560 51640 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53735 51640 603 41 0 53694 0
vsize: 214940
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 55951 0 0 0 116787 201 0 0 25 0 1 0 422298928 221777920 52038 4294967295 134512640 134672761 3221224560 3221223704 134616320 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54145 52038 603 41 0 54104 0
vsize: 216580
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 56301 0 0 0 117787 202 0 0 25 0 1 0 422298928 223215616 52388 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54496 52388 603 41 0 54455 0
vsize: 217984
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 56637 0 0 0 118787 202 0 0 25 0 1 0 422298928 224624640 52724 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54840 52724 603 41 0 54799 0
vsize: 219360
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 57254 0 0 0 119785 204 0 0 25 0 1 0 422298928 227049472 53341 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55432 53341 603 41 0 55391 0
vsize: 221728
[startup+1210.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28261
Raw data (stat): 28261 (minisat+) R 28260 24215 24214 0 -1 0 57821 0 0 0 120784 205 0 0 25 0 1 0 422298928 229371904 53908 4294967295 134512640 134672761 3221224560 3221223704 134616347 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55999 53908 603 41 0 55958 0
vsize: 223996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 28261
Raw data (stat): 28261 (minisat+) Z 28260 24215 24214 0 -1 12 57822 0 0 0 120784 218 0 0 25 0 1 0 422298928 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1210.15
CPU time (s): 1210.03
CPU user time (s): 1207.85
CPU system time (s): 2.18867
CPU usage (%): 99.9905
Max. virtual memory (Kb): 223996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####