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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-14 01:07:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4104 boxname=wulflinc27 idbench=344 idsolver=11 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  02058527b1ad27d5be75faa6974ffa0f  /oldhome/oroussel/tmp/wulflinc27/normalized-frb56-25-1.opb
REAL COMMAND:  minisat+ -S /oldhome/oroussel/tmp/wulflinc27/normalized-frb56-25-1.opb /oldhome/oroussel/tmp/wulflinc27/normalized-frb56-25-1.opb
IDLAUNCH: 4104
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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	: 3
cpu MHz		: 451.169
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:        845408 kB
Buffers:         34408 kB
Cached:         117200 kB
SwapCached:       3160 kB
Active:          70408 kB
Inactive:        87208 kB
HighTotal:      131008 kB
HighFree:        10444 kB
LowTotal:       903652 kB
LowFree:        834964 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            26032 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 01:27:45 (client local time) WITH STATUS 10 IN 1209.82 SECONDS
stats: 4104 7 1209.82 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109676 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 |  109676   219352 |   32902       0        0     nan |  0.000 % |
c   -- subsuming                       
c |         0 |  109676   219352 |   43870       0        0     nan |  0.000 % |
c ==============================================================================
c (current CPU-time: 6.22905 s)
c ==============================================================================
c [1mFound solution: -39[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 |  193374   415660 |   58012       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/56942          
c   -- var.elim.:  2000/56942          
c   -- var.elim.:  3000/56942          
c   -- var.elim.:  4000/56942          
c   -- var.elim.:  5000/56942          
c   -- var.elim.:  6000/56942          
c   -- var.elim.:  7000/56942          
c   -- var.elim.:  8000/56942          
c   -- var.elim.:  9000/56942          
c   -- var.elim.:  10000/56942          
c   -- var.elim.:  11000/56942          
c   -- var.elim.:  12000/56942          
c   -- var.elim.:  13000/56942          
c   -- var.elim.:  14000/56942          
c   -- var.elim.:  15000/56942          
c   -- var.elim.:  16000/56942          
c   -- var.elim.:  17000/56942          
c   -- var.elim.:  18000/56942          
c   -- var.elim.:  19000/56942          
c   -- var.elim.:  20000/56942          
c   -- var.elim.:  21000/56942          
c   -- var.elim.:  22000/56942          
c   -- var.elim.:  23000/56942          
c   -- var.elim.:  24000/56942          
c   -- var.elim.:  25000/56942          
c   -- var.elim.:  26000/56942          
c   -- var.elim.:  27000/56942          
c   -- var.elim.:  28000/56942          
c   -- var.elim.:  29000/56942          
c   -- var.elim.:  30000/56942          
c   -- var.elim.:  31000/56942          
c   -- var.elim.:  32000/56942          
c   -- var.elim.:  33000/56942          
c   -- var.elim.:  34000/56942          
c   -- var.elim.:  35000/56942          
c   -- var.elim.:  36000/56942          
c   -- var.elim.:  37000/56942          
c   -- var.elim.:  38000/56942          
c   -- var.elim.:  39000/56942          
c   -- var.elim.:  40000/56942          
c   -- var.elim.:  41000/56942          
c   -- var.elim.:  42000/56942          
c   -- var.elim.:  43000/56942          
c   -- var.elim.:  44000/56942          
c   -- var.elim.:  45000/56942          
c   -- var.elim.:  46000/56942          
c   -- var.elim.:  47000/56942          
c   -- var.elim.:  48000/56942          
c   -- var.elim.:  49000/56942          
c   -- var.elim.:  50000/56942          
c   -- var.elim.:  51000/56942          
c   -- var.elim.:  52000/56942          
c   -- var.elim.:  53000/56942          
c   -- var.elim.:  54000/56942          
c   -- var.elim.:  55000/56942          
c   -- var.elim.:  56000/56942          
c   -- var.elim.:  56942/56942          
c   -- var.elim.:  1000/28844          
c   -- var.elim.:  2000/28844          
c   -- var.elim.:  3000/28844          
c   -- var.elim.:  4000/28844          
c   -- var.elim.:  5000/28844          
c   -- var.elim.:  6000/28844          
c   -- var.elim.:  7000/28844          
c   -- var.elim.:  8000/28844          
c   -- var.elim.:  9000/28844          
c   -- var.elim.:  10000/28844          
c   -- var.elim.:  11000/28844          
c   -- var.elim.:  12000/28844          
c   -- var.elim.:  13000/28844          
c   -- var.elim.:  14000/28844          
c   -- var.elim.:  15000/28844          
c   -- var.elim.:  16000/28844          
c   -- var.elim.:  17000/28844          
c   -- var.elim.:  18000/28844          
c   -- var.elim.:  19000/28844          
c   -- var.elim.:  20000/28844          
c   -- var.elim.:  21000/28844          
c   -- var.elim.:  22000/28844          
c   -- var.elim.:  23000/28844          
c   -- var.elim.:  24000/28844          
c   -- var.elim.:  25000/28844          
c   -- var.elim.:  26000/28844          
c   -- var.elim.:  27000/28844          
c   -- var.elim.:  28000/28844          
c   -- var.elim.:  28844/28844          
c   -- var.elim.:  1000/7373          
c   -- var.elim.:  2000/7373          
c   -- var.elim.:  3000/7373          
c   -- var.elim.:  4000/7373          
c   -- var.elim.:  5000/7373          
c   -- var.elim.:  6000/7373          
c   -- var.elim.:  7000/7373          
c   -- var.elim.:  7373/7373          
c   -- subsuming                       
c   -- var.elim.:  1000/11415          
c   -- var.elim.:  2000/11415          
c   -- var.elim.:  3000/11415          
c   -- var.elim.:  4000/11415          
c   -- var.elim.:  5000/11415          
c   -- var.elim.:  6000/11415          
c   -- var.elim.:  7000/11415          
c   -- var.elim.:  8000/11415          
c   -- var.elim.:  9000/11415          
c   -- var.elim.:  10000/11415          
c   -- var.elim.:  11000/11415          
c   -- var.elim.:  11415/11415          
c   -- var.elim.:  503/503          
c   -- subsuming                       
c   -- var.elim.:  1000/2180          
c   -- var.elim.:  2000/2180          
c   -- var.elim.:  2180/2180          
c |         0 |  133888   436771 |      --       0       --      -- |     --   | -59486/21112
c |         0 |  133888   436771 |   53555       0        0     nan |  0.000 % |
c |       100 |  133888   436771 |   58910     100    21836   218.4 | 54.044 % |
c |       250 |  133888   436771 |   64801     250    51125   204.5 | 54.044 % |
c |       475 |  133888   436771 |   71281     475   105891   222.9 | 54.044 % |
c |       812 |  133888   436771 |   78410     812   153647   189.2 | 54.044 % |
c |      1319 |  133848   436402 |   86225    1315   275105   209.2 | 54.100 % |
c |      2079 |  133848   436402 |   94847    2075   455226   219.4 | 54.100 % |
c |      3218 |  133848   436402 |  104332    3214   791030   246.1 | 54.100 % |
c |      4926 |  133756   435504 |  114687    4917  1263526   257.0 | 54.246 % |
c |      7488 |  133621   434048 |  126028    7469  2097741   280.9 | 54.465 % |
c |     11332 |  133204   430177 |  138198   11279  3224152   285.9 | 55.119 % |
c ==============================================================================
c (current CPU-time: 357.659 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 |     15094 |  141133   447078 |   42339   14980  4530061   302.4 | 55.119 % |
c   -- subsuming                       
c   -- var.elim.:  1000/20478          
c   -- var.elim.:  2000/20478          
c   -- var.elim.:  3000/20478          
c   -- var.elim.:  4000/20478          
c   -- var.elim.:  5000/20478          
c   -- var.elim.:  6000/20478          
c   -- var.elim.:  7000/20478          
c   -- var.elim.:  8000/20478          
c   -- var.elim.:  9000/20478          
c   -- var.elim.:  10000/20478          
c   -- var.elim.:  11000/20478          
c   -- var.elim.:  12000/20478          
c   -- var.elim.:  13000/20478          
c   -- var.elim.:  14000/20478          
c   -- var.elim.:  15000/20478          
c   -- var.elim.:  16000/20478          
c   -- var.elim.:  17000/20478          
c   -- var.elim.:  18000/20478          
c   -- var.elim.:  19000/20478          
c   -- var.elim.:  20000/20478          
c   -- var.elim.:  20478/20478          
c   -- var.elim.:  1000/6605          
c   -- var.elim.:  2000/6605          
c   -- var.elim.:  3000/6605          
c   -- var.elim.:  4000/6605          
c   -- var.elim.:  5000/6605          
c   -- var.elim.:  6000/6605          
c   -- var.elim.:  6605/6605          
c   -- var.elim.:  4/4          
c   -- subsuming                       
c   -- var.elim.:  1000/6233          
c   -- var.elim.:  2000/6233          
c   -- var.elim.:  3000/6233          
c   -- var.elim.:  4000/6233          
c   -- var.elim.:  5000/6233          
c   -- var.elim.:  6000/6233          
c   -- var.elim.:  6233/6233          
c   -- var.elim.:  99/99          
c |     15094 |  132671   433725 |      --   14980       --      -- |     --   | -8455/-13338
c |     15094 |  132671   433725 |   53068   14980  4530061   302.4 | 55.119 % |
c |     15194 |  132671   433725 |   58375   15080  4570219   303.1 | 60.676 % |
c |     15345 |  132671   433725 |   64212   15231  4599536   302.0 | 60.676 % |
c |     15572 |  132671   433725 |   70634   15458  4664962   301.8 | 60.676 % |
c |     15909 |  132671   433725 |   77697   15795  4749080   300.7 | 60.676 % |
c |     16415 |  132671   433725 |   85467   16301  4889700   300.0 | 60.676 % |
c |     17174 |  132643   433435 |   93994   16574  4380449   264.3 | 60.720 % |
c |     18313 |  132605   433098 |  103363   17710  4720605   266.6 | 60.779 % |
c |     20021 |  132479   431896 |  113592   19399  5224716   269.3 | 60.976 % |
c |     22585 |  132409   431226 |  124885   21951  6034820   274.9 | 61.085 % |
c |     26429 |  132169   428955 |  137124   25758  7364421   285.9 | 61.459 % |
c |     32197 |  131672   424302 |  150270   31463  9515168   302.4 | 62.232 % |
c |     40846 |  130945   417421 |  164384   39983 12882740   322.2 | 63.363 % |
c |     53820 |  130199   410125 |  179792   52842 18361937   347.5 | 64.507 % |
c |     73281 |  129166   400209 |  196203   72009 27014790   375.2 | 66.062 % |
c |    102474 |  127943   388349 |  213779  100872 41132643   407.8 | 67.932 % |
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 -#### 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.97 0.93 2/54 23320
Raw data (stat): 23320 (runsolver) R 23319 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 480504670 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 10795 0 0 0 959 39 0 0 25 0 1 0 480504670 44589056 10099 4294967295 134512640 134672761 3221224560 3221222912 134604034 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10886 10099 603 41 0 10845 0
vsize: 43544
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11624 0 0 0 1950 48 0 0 25 0 1 0 480504670 48013312 10928 4294967295 134512640 134672761 3221224560 3221223152 134607998 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11722 10928 603 41 0 11681 0
vsize: 46888
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11627 0 0 0 2951 48 0 0 25 0 1 0 480504670 48013312 10931 4294967295 134512640 134672761 3221224560 3221223088 134606977 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11722 10931 603 41 0 11681 0
vsize: 46888
[startup+40.0022 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11634 0 0 0 3951 48 0 0 25 0 1 0 480504670 48082944 10938 4294967295 134512640 134672761 3221224560 3221222704 134566484 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11739 10938 603 41 0 11698 0
vsize: 46956
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11637 0 0 0 4951 48 0 0 25 0 1 0 480504670 48082944 10941 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11739 10941 603 41 0 11698 0
vsize: 46956
[startup+60.0023 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11670 0 0 0 5951 48 0 0 25 0 1 0 480504670 48345088 10974 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10974 603 41 0 11762 0
vsize: 47212
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11671 0 0 0 6951 48 0 0 25 0 1 0 480504670 48345088 10975 4294967295 134512640 134672761 3221224560 3221222816 134621211 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10975 603 41 0 11762 0
vsize: 47212
[startup+80.004 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11673 0 0 0 7951 48 0 0 25 0 1 0 480504670 48345088 10977 4294967295 134512640 134672761 3221224560 3221222764 134642719 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10977 603 41 0 11762 0
vsize: 47212
[startup+90.0038 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11674 0 0 0 8952 48 0 0 25 0 1 0 480504670 48345088 10978 4294967295 134512640 134672761 3221224560 3221222992 134604052 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10978 603 41 0 11762 0
vsize: 47212
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11676 0 0 0 9952 48 0 0 25 0 1 0 480504670 48345088 10980 4294967295 134512640 134672761 3221224560 3221223152 134607998 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10980 603 41 0 11762 0
vsize: 47212
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11677 0 0 0 10952 48 0 0 25 0 1 0 480504670 48345088 10981 4294967295 134512640 134672761 3221224560 3221223088 134606977 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10981 603 41 0 11762 0
vsize: 47212
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11678 0 0 0 11952 48 0 0 25 0 1 0 480504670 48345088 10982 4294967295 134512640 134672761 3221224560 3221223088 134606389 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10982 603 41 0 11762 0
vsize: 47212
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11680 0 0 0 12952 48 0 0 25 0 1 0 480504670 48345088 10984 4294967295 134512640 134672761 3221224560 3221222784 134566562 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10984 603 41 0 11762 0
vsize: 47212
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11681 0 0 0 13953 48 0 0 25 0 1 0 480504670 48345088 10985 4294967295 134512640 134672761 3221224560 3221223008 134643961 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10985 603 41 0 11762 0
vsize: 47212
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11684 0 0 0 14953 48 0 0 25 0 1 0 480504670 48345088 10988 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10988 603 41 0 11762 0
vsize: 47212
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11686 0 0 0 15953 48 0 0 25 0 1 0 480504670 48345088 10990 4294967295 134512640 134672761 3221224560 3221222992 134605846 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10990 603 41 0 11762 0
vsize: 47212
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11688 0 0 0 16953 48 0 0 25 0 1 0 480504670 48345088 10992 4294967295 134512640 134672761 3221224560 3221223008 134644020 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10992 603 41 0 11762 0
vsize: 47212
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11691 0 0 0 17953 48 0 0 25 0 1 0 480504670 48345088 10995 4294967295 134512640 134672761 3221224560 3221222992 134605852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 10995 603 41 0 11762 0
vsize: 47212
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11696 0 0 0 18953 48 0 0 25 0 1 0 480504670 48345088 11000 4294967295 134512640 134672761 3221224560 3221222528 134566712 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11803 11000 603 41 0 11762 0
vsize: 47212
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11730 0 0 0 19953 48 0 0 25 0 1 0 480504670 48377856 10978 4294967295 134512640 134672761 3221224560 3221223008 134643951 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11811 10978 603 41 0 11770 0
vsize: 47244
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11730 0 0 0 20953 48 0 0 25 0 1 0 480504670 48377856 10978 4294967295 134512640 134672761 3221224560 3221223040 134541817 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11811 10978 603 41 0 11770 0
vsize: 47244
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11730 0 0 0 21953 48 0 0 25 0 1 0 480504670 48377856 10978 4294967295 134512640 134672761 3221224560 3221223008 134643574 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11811 10978 603 41 0 11770 0
vsize: 47244
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 11730 0 0 0 22953 48 0 0 25 0 1 0 480504670 48246784 10978 4294967295 134512640 134672761 3221224560 3221223008 134643580 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11779 10978 603 41 0 11738 0
vsize: 47116
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 12108 0 0 0 23952 49 0 0 25 0 1 0 480504670 50106368 11356 4294967295 134512640 134672761 3221224560 3221223052 134642762 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12233 11356 603 41 0 12192 0
vsize: 48932
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 12108 0 0 0 24952 49 0 0 25 0 1 0 480504670 50106368 11356 4294967295 134512640 134672761 3221224560 3221222784 134621211 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12233 11356 603 41 0 12192 0
vsize: 48932
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 12108 0 0 0 25953 49 0 0 25 0 1 0 480504670 50106368 11356 4294967295 134512640 134672761 3221224560 3221223052 134642896 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12233 11356 603 41 0 12192 0
vsize: 48932
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 12108 0 0 0 26953 49 0 0 25 0 1 0 480504670 50106368 11356 4294967295 134512640 134672761 3221224560 3221223024 134644235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12233 11356 603 41 0 12192 0
vsize: 48932
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 12108 0 0 0 27953 49 0 0 25 0 1 0 480504670 48246784 10978 4294967295 134512640 134672761 3221224560 3221223008 134644014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11779 10978 603 41 0 11738 0
vsize: 47116
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 12108 0 0 0 28953 49 0 0 25 0 1 0 480504670 48246784 10978 4294967295 134512640 134672761 3221224560 3221223008 134643951 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11779 10978 603 41 0 11738 0
vsize: 47116
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 12496 0 0 0 29952 50 0 0 25 0 1 0 480504670 48246784 10988 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11779 10988 603 41 0 11738 0
vsize: 47116
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 12975 0 0 0 30952 51 0 0 25 0 1 0 480504670 50294784 11467 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12279 11467 603 41 0 12238 0
vsize: 49116
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 13778 0 0 0 31950 53 0 0 25 0 1 0 480504670 53510144 12270 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13064 12270 603 41 0 13023 0
vsize: 52256
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 14527 0 0 0 32948 55 0 0 25 0 1 0 480504670 56627200 13019 4294967295 134512640 134672761 3221224560 3221223744 134616017 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13825 13019 603 41 0 13784 0
vsize: 55300
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 15167 0 0 0 33947 57 0 0 25 0 1 0 480504670 59203584 13659 4294967295 134512640 134672761 3221224560 3221223704 134616263 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14454 13659 603 41 0 14413 0
vsize: 57816
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 15779 0 0 0 34945 58 0 0 25 0 1 0 480504670 61759488 14271 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15078 14271 603 41 0 15037 0
vsize: 60312
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 19056 0 0 0 35933 71 0 0 25 0 1 0 480504670 75321344 16239 4294967295 134512640 134672761 3221224560 3221223104 134621202 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18389 16239 603 41 0 18348 0
vsize: 73556
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 19056 0 0 0 36920 83 0 0 25 0 1 0 480504670 72617984 15861 4294967295 134512640 134672761 3221224560 3221222768 1075730206 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17729 15861 603 41 0 17688 0
vsize: 70916
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 19056 0 0 0 37844 108 0 0 25 0 1 0 480504670 72617984 15861 4294967295 134512640 134672761 3221224560 3221223008 134643524 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17729 15861 603 41 0 17688 0
vsize: 70916
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 19056 0 0 0 38844 108 0 0 25 0 1 0 480504670 72617984 15861 4294967295 134512640 134672761 3221224560 3221223008 134643516 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17729 15861 603 41 0 17688 0
vsize: 70916
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 19056 0 0 0 39845 108 0 0 25 0 1 0 480504670 72617984 15861 4294967295 134512640 134672761 3221224560 3221223008 134643570 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17729 15861 603 41 0 17688 0
vsize: 70916
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 19434 0 0 0 40844 109 0 0 25 0 1 0 480504670 75321344 16239 4294967295 134512640 134672761 3221224560 3221223056 134606423 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18389 16239 603 41 0 18348 0
vsize: 73556
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 19434 0 0 0 41844 109 0 0 25 0 1 0 480504670 72617984 15861 4294967295 134512640 134672761 3221224560 3221223008 134643572 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17729 15861 603 41 0 17688 0
vsize: 70916
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 19435 0 0 0 42844 109 0 0 25 0 1 0 480504670 72617984 15862 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17729 15862 603 41 0 17688 0
vsize: 70916
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 19610 0 0 0 43844 110 0 0 25 0 1 0 480504670 73453568 16037 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17933 16037 603 41 0 17892 0
vsize: 71732
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 19843 0 0 0 44843 110 0 0 25 0 1 0 480504670 74383360 16270 4294967295 134512640 134672761 3221224560 3221223568 134522549 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18160 16270 603 41 0 18119 0
vsize: 72640
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 20469 0 0 0 45842 112 0 0 25 0 1 0 480504670 76996608 16896 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18798 16896 603 41 0 18757 0
vsize: 75192
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 21157 0 0 0 46841 113 0 0 25 0 1 0 480504670 79724544 17584 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19464 17584 603 41 0 19423 0
vsize: 77856
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 21807 0 0 0 47840 114 0 0 25 0 1 0 480504670 82436096 18234 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20126 18234 603 41 0 20085 0
vsize: 80504
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 22433 0 0 0 48839 115 0 0 25 0 1 0 480504670 85028864 18860 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20759 18860 603 41 0 20718 0
vsize: 83036
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 23042 0 0 0 49838 117 0 0 25 0 1 0 480504670 87453696 19469 4294967295 134512640 134672761 3221224560 3221223744 134615835 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21351 19469 603 41 0 21310 0
vsize: 85404
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 23718 0 0 0 50836 118 0 0 25 0 1 0 480504670 90279936 20145 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22041 20145 603 41 0 22000 0
vsize: 88164
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 24143 0 0 0 51836 119 0 0 25 0 1 0 480504670 91918336 20570 4294967295 134512640 134672761 3221224560 3221223552 134565098 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22441 20570 603 41 0 22400 0
vsize: 89764
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 24737 0 0 0 52834 121 0 0 25 0 1 0 480504670 94511104 21164 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23074 21164 603 41 0 23033 0
vsize: 92296
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 25409 0 0 0 53833 122 0 0 25 0 1 0 480504670 97267712 21836 4294967295 134512640 134672761 3221224560 3221223504 134607014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23747 21836 603 41 0 23706 0
vsize: 94988
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 26059 0 0 0 54832 124 0 0 25 0 1 0 480504670 99979264 22486 4294967295 134512640 134672761 3221224560 3221223744 134615711 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24409 22486 603 41 0 24368 0
vsize: 97636
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 26681 0 0 0 55831 125 0 0 25 0 1 0 480504670 102453248 23108 4294967295 134512640 134672761 3221224560 3221223704 134616284 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25013 23108 603 41 0 24972 0
vsize: 100052
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 27173 0 0 0 56830 126 0 0 25 0 1 0 480504670 104484864 23600 4294967295 134512640 134672761 3221224560 3221223704 134616254 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25509 23600 603 41 0 25468 0
vsize: 102036
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 27693 0 0 0 57829 127 0 0 25 0 1 0 480504670 106553344 24120 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26014 24120 603 41 0 25973 0
vsize: 104056
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 28246 0 0 0 58829 127 0 0 25 0 1 0 480504670 108896256 24673 4294967295 134512640 134672761 3221224560 3221222608 134566484 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26586 24673 603 41 0 26545 0
vsize: 106344
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 28843 0 0 0 59828 128 0 0 25 0 1 0 480504670 111325184 25270 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27179 25270 603 41 0 27138 0
vsize: 108716
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 29236 0 0 0 60828 129 0 0 25 0 1 0 480504670 112861184 25663 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27554 25663 603 41 0 27513 0
vsize: 110216
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 29916 0 0 0 61826 130 0 0 25 0 1 0 480504670 115712000 26343 4294967295 134512640 134672761 3221224560 3221223744 134615747 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28250 26343 603 41 0 28209 0
vsize: 113000
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 30633 0 0 0 62825 131 0 0 25 0 1 0 480504670 118546432 27060 4294967295 134512640 134672761 3221224560 3221223744 134615579 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28942 27060 603 41 0 28901 0
vsize: 115768
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 31118 0 0 0 63824 133 0 0 25 0 1 0 480504670 120647680 27545 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29455 27545 603 41 0 29414 0
vsize: 117820
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 32221 0 0 0 64822 134 0 0 25 0 1 0 480504670 125075456 28648 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30536 28648 603 41 0 30495 0
vsize: 122144
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 32573 0 0 0 65822 135 0 0 25 0 1 0 480504670 126603264 29000 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30909 29000 603 41 0 30868 0
vsize: 123636
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 33218 0 0 0 66820 137 0 0 25 0 1 0 480504670 129208320 29645 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31545 29645 603 41 0 31504 0
vsize: 126180
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 33802 0 0 0 67819 138 0 0 25 0 1 0 480504670 131559424 30229 4294967295 134512640 134672761 3221224560 3221223704 134616233 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32119 30229 603 41 0 32078 0
vsize: 128476
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 34268 0 0 0 68818 140 0 0 25 0 1 0 480504670 133505024 30695 4294967295 134512640 134672761 3221224560 3221223704 134616293 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32594 30695 603 41 0 32553 0
vsize: 130376
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 34825 0 0 0 69816 141 0 0 25 0 1 0 480504670 135708672 31252 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33132 31252 603 41 0 33091 0
vsize: 132528
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 35265 0 0 0 70816 142 0 0 25 0 1 0 480504670 137539584 31692 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33579 31692 603 41 0 33538 0
vsize: 134316
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 35534 0 0 0 71815 143 0 0 25 0 1 0 480504670 138596352 31961 4294967295 134512640 134672761 3221224560 3221223600 134614256 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33837 31961 603 41 0 33796 0
vsize: 135348
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 36174 0 0 0 72814 144 0 0 25 0 1 0 480504670 141197312 32601 4294967295 134512640 134672761 3221224560 3221223744 134615779 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34472 32601 603 41 0 34431 0
vsize: 137888
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 36510 0 0 0 73813 145 0 0 25 0 1 0 480504670 142606336 32937 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34816 32937 603 41 0 34775 0
vsize: 139264
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 36976 0 0 0 74812 146 0 0 25 0 1 0 480504670 144564224 33403 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35294 33403 603 41 0 35253 0
vsize: 141176
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 37607 0 0 0 75811 148 0 0 25 0 1 0 480504670 147087360 34034 4294967295 134512640 134672761 3221224560 3221223744 134615807 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35910 34034 603 41 0 35869 0
vsize: 143640
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 38052 0 0 0 76811 149 0 0 25 0 1 0 480504670 148897792 34479 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36352 34479 603 41 0 36311 0
vsize: 145408
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 38837 0 0 0 77810 150 0 0 25 0 1 0 480504670 152420352 35264 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37212 35264 603 41 0 37171 0
vsize: 148848
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 39372 0 0 0 78809 150 0 0 25 0 1 0 480504670 154599424 35799 4294967295 134512640 134672761 3221224560 3221223760 134610686 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37744 35799 603 41 0 37703 0
vsize: 150976
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 39809 0 0 0 79808 151 0 0 25 0 1 0 480504670 156426240 36236 4294967295 134512640 134672761 3221224560 3221223704 134616233 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38190 36236 603 41 0 38149 0
vsize: 152760
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 40196 0 0 0 80808 152 0 0 25 0 1 0 480504670 157995008 36623 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38573 36623 603 41 0 38532 0
vsize: 154292
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 40722 0 0 0 81807 153 0 0 25 0 1 0 480504670 160079872 37149 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39082 37149 603 41 0 39041 0
vsize: 156328
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 41161 0 0 0 82805 155 0 0 25 0 1 0 480504670 161898496 37588 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39526 37588 603 41 0 39485 0
vsize: 158104
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 41504 0 0 0 83804 156 0 0 25 0 1 0 480504670 163311616 37931 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39871 37931 603 41 0 39830 0
vsize: 159484
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 41831 0 0 0 84804 157 0 0 25 0 1 0 480504670 164700160 38258 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40210 38258 603 41 0 40169 0
vsize: 160840
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 42271 0 0 0 85803 158 0 0 25 0 1 0 480504670 166379520 38698 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40620 38698 603 41 0 40579 0
vsize: 162480
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 42602 0 0 0 86802 159 0 0 25 0 1 0 480504670 167825408 39029 4294967295 134512640 134672761 3221224560 3221223684 134566034 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40973 39029 603 41 0 40932 0
vsize: 163892
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 43292 0 0 0 87800 161 0 0 25 0 1 0 480504670 170663936 39719 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41666 39719 603 41 0 41625 0
vsize: 166664
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 43564 0 0 0 88800 162 0 0 25 0 1 0 480504670 171728896 39991 4294967295 134512640 134672761 3221224560 3221223704 134616275 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41926 39991 603 41 0 41885 0
vsize: 167704
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 44064 0 0 0 89798 164 0 0 25 0 1 0 480504670 173703168 40491 4294967295 134512640 134672761 3221224560 3221223744 134615608 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42408 40491 603 41 0 42367 0
vsize: 169632
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 44408 0 0 0 90797 164 0 0 25 0 1 0 480504670 175124480 40835 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42755 40835 603 41 0 42714 0
vsize: 171020
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 44695 0 0 0 91797 165 0 0 25 0 1 0 480504670 176386048 41122 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43063 41122 603 41 0 43022 0
vsize: 172252
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 45347 0 0 0 92796 166 0 0 25 0 1 0 480504670 178941952 41774 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43687 41774 603 41 0 43646 0
vsize: 174748
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 45776 0 0 0 93795 167 0 0 25 0 1 0 480504670 180789248 42203 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44138 42203 603 41 0 44097 0
vsize: 176552
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 46205 0 0 0 94794 169 0 0 25 0 1 0 480504670 182460416 42632 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44546 42632 603 41 0 44505 0
vsize: 178184
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 46851 0 0 0 95793 170 0 0 25 0 1 0 480504670 185155584 43278 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45204 43278 603 41 0 45163 0
vsize: 180816
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 47697 0 0 0 96791 172 0 0 25 0 1 0 480504670 188600320 44124 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46045 44124 603 41 0 46004 0
vsize: 184180
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 47968 0 0 0 97791 172 0 0 25 0 1 0 480504670 189751296 44395 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46326 44395 603 41 0 46285 0
vsize: 185304
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 48836 0 0 0 98789 174 0 0 25 0 1 0 480504670 193208320 45263 4294967295 134512640 134672761 3221224560 3221223744 134615937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47170 45263 603 41 0 47129 0
vsize: 188680
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 49330 0 0 0 99788 176 0 0 25 0 1 0 480504670 195276800 45757 4294967295 134512640 134672761 3221224560 3221223704 134616139 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47675 45757 603 41 0 47634 0
vsize: 190700
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 49884 0 0 0 100786 177 0 0 25 0 1 0 480504670 197496832 46311 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48217 46311 603 41 0 48176 0
vsize: 192868
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 50216 0 0 0 101786 177 0 0 25 0 1 0 480504670 198930432 46643 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48567 46643 603 41 0 48526 0
vsize: 194268
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 50554 0 0 0 102786 178 0 0 25 0 1 0 480504670 200351744 46981 4294967295 134512640 134672761 3221224560 3221223408 134604052 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48914 46981 603 41 0 48873 0
vsize: 195656
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 50931 0 0 0 103786 179 0 0 25 0 1 0 480504670 201875456 47358 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49286 47358 603 41 0 49245 0
vsize: 197144
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 51422 0 0 0 104785 180 0 0 25 0 1 0 480504670 203812864 47849 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49759 47849 603 41 0 49718 0
vsize: 199036
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 51672 0 0 0 105784 180 0 0 25 0 1 0 480504670 204865536 48099 4294967295 134512640 134672761 3221224560 3221223744 134615921 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50016 48099 603 41 0 49975 0
vsize: 200064
[startup+1070.03 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 52074 0 0 0 106784 181 0 0 25 0 1 0 480504670 206553088 48501 4294967295 134512640 134672761 3221224560 3221223704 134616263 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50428 48501 603 41 0 50387 0
vsize: 201712
[startup+1080.03 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 52285 0 0 0 107783 182 0 0 25 0 1 0 480504670 207323136 48712 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50616 48712 603 41 0 50575 0
vsize: 202464
[startup+1090.03 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 52850 0 0 0 108782 183 0 0 25 0 1 0 480504670 209629184 49277 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51179 49277 603 41 0 51138 0
vsize: 204716
[startup+1100.03 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 53042 0 0 0 109782 183 0 0 25 0 1 0 480504670 210526208 49469 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51398 49469 603 41 0 51357 0
vsize: 205592
[startup+1110.03 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 53317 0 0 0 110781 184 0 0 25 0 1 0 480504670 211644416 49744 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51671 49744 603 41 0 51630 0
vsize: 206684
[startup+1120.03 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 54013 0 0 0 111780 186 0 0 25 0 1 0 480504670 214392832 50440 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 52342 50440 603 41 0 52301 0
vsize: 209368
[startup+1130.03 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 54594 0 0 0 112779 187 0 0 25 0 1 0 480504670 216870912 51021 4294967295 134512640 134672761 3221224560 3221223600 134614266 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 52947 51021 603 41 0 52906 0
vsize: 211788
[startup+1140.03 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 55057 0 0 0 113779 187 0 0 25 0 1 0 480504670 218689536 51484 4294967295 134512640 134672761 3221224560 3221223704 134616336 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 53391 51484 603 41 0 53350 0
vsize: 213564
[startup+1150.03 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 55350 0 0 0 114778 188 0 0 25 0 1 0 480504670 219856896 51777 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 53676 51777 603 41 0 53635 0
vsize: 214704
[startup+1160.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 55725 0 0 0 115778 189 0 0 25 0 1 0 480504670 221409280 52152 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 54055 52152 603 41 0 54014 0
vsize: 216220
[startup+1170.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 56004 0 0 0 116778 189 0 0 25 0 1 0 480504670 222588928 52431 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 54343 52431 603 41 0 54302 0
vsize: 217372
[startup+1180.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 56509 0 0 0 117777 190 0 0 25 0 1 0 480504670 224677888 52936 4294967295 134512640 134672761 3221224560 3221223600 134613756 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 54853 52936 603 41 0 54812 0
vsize: 219412
[startup+1190.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 56921 0 0 0 118776 191 0 0 25 0 1 0 480504670 226357248 53348 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 55263 53348 603 41 0 55222 0
vsize: 221052
[startup+1200.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 57335 0 0 0 119775 192 0 0 25 0 1 0 480504670 227995648 53762 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 55663 53762 603 41 0 55622 0
vsize: 222652
[startup+1210.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 23320
Raw data (stat): 23320 (minisat+) R 23319 18865 18864 0 -1 0 57757 0 0 0 120774 193 0 0 25 0 1 0 480504670 229769216 54184 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 56096 54184 603 41 0 56055 0
vsize: 224384
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.2 s]
Raw data (loadavg): 1.00 0.99 0.94 1/54 23320
Raw data (stat): 23320 (minisat+) Z 23319 18865 18864 0 -1 12 57758 0 0 0 120774 207 0 0 23 0 1 0 480504670 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1210.2
CPU time (s): 1209.82
CPU user time (s): 1207.75
CPU system time (s): 2.07368
CPU usage (%): 99.9689
Max. virtual memory (Kb): 224384
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####