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/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUM	9cfcc49797c7ac58bfef2056b3d91b66
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7500
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	7500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	7500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.065989
Number of variables	7500
Total number of constraints	237715
Number of constraints which are clauses	237715
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	15
Trace number 5823

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-14 01:59:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4268 boxname=wulflinc31 idbench=132 idsolver=12 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9cfcc49797c7ac58bfef2056b3d91b66  /oldhome/oroussel/tmp/wulflinc31/normalized-g250.15.opb
REAL COMMAND:  minisat+ -cb -gs /oldhome/oroussel/tmp/wulflinc31/normalized-g250.15.opb /oldhome/oroussel/tmp/wulflinc31/normalized-g250.15.opb
IDLAUNCH: 4268
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        892900 kB
Buffers:         36116 kB
Cached:          66036 kB
SwapCached:        392 kB
Active:          57776 kB
Inactive:        47568 kB
HighTotal:      131008 kB
HighFree:        61264 kB
LowTotal:       903652 kB
LowFree:        831636 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            30780 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 02:19:33 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 4268 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 237715 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  237715   478680 |   79238       0        0     nan |  0.000 % |
c |       100 |  237715   478680 |   87161     100     4687    46.9 |  0.000 % |
c |       251 |  237715   478680 |   95877     251    13884    55.3 |  0.000 % |
c |       478 |  237715   478680 |  105465     478    34800    72.8 |  0.000 % |
c |       818 |  237715   478680 |  116012     818    73420    89.8 |  0.000 % |
c |      1324 |  237715   478680 |  127613    1324   170495   128.8 |  0.000 % |
c |      2083 |  237715   478680 |  140374    2083   290241   139.3 |  0.000 % |
c |      3224 |  237715   478680 |  154412    3224   545693   169.3 |  0.000 % |
c |      4934 |  237715   478680 |  169853    4934   854269   173.1 |  0.000 % |
c |      7497 |  237715   478680 |  186839    7497  1546507   206.3 |  0.000 % |
c |     11342 |  237715   478680 |  205522   11342  2310229   203.7 |  0.000 % |
c |     17111 |  237715   478680 |  226075   17111  3510127   205.1 |  0.000 % |
c |     25760 |  237715   478680 |  248682   25760  5122962   198.9 |  0.000 % |
c |     38737 |  237715   478680 |  273551   38737  8543560   220.6 |  0.000 % |
c |     58200 |  237715   478680 |  300906   58200 13346325   229.3 |  0.000 % |
c |     87394 |  237715   478680 |  330996   87394 18565662   212.4 |  0.000 % |
#### 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.57 0.84 0.87 2/54 29886
Raw data (stat): 29886 (runsolver) R 29885 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 480805967 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.63 0.85 0.87 2/54 29886
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11359 0 0 0 968 29 0 0 25 0 1 0 480805967 48062464 11292 4294967295 134512640 134672761 3221224560 3221223664 134560054 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11292 603 41 0 11693 0
vsize: 46936
[startup+20.0017 s]
Raw data (loadavg): 0.69 0.85 0.87 2/54 29886
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11360 0 0 0 1967 29 0 0 25 0 1 0 480805967 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+30.0025 s]
Raw data (loadavg): 0.74 0.86 0.87 2/54 29886
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11360 0 0 0 2968 29 0 0 25 0 1 0 480805967 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+40.0036 s]
Raw data (loadavg): 0.93 0.89 0.88 2/54 29939
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11360 0 0 0 3963 33 0 0 25 0 1 0 480805967 48062464 11293 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+50.0214 s]
Raw data (loadavg): 0.94 0.90 0.88 2/54 29939
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11360 0 0 0 4965 33 0 0 25 0 1 0 480805967 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+60.0214 s]
Raw data (loadavg): 0.95 0.90 0.88 2/54 29939
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11360 0 0 0 5965 33 0 0 25 0 1 0 480805967 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+70.0213 s]
Raw data (loadavg): 0.96 0.90 0.89 2/54 29939
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11360 0 0 0 6965 33 0 0 25 0 1 0 480805967 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+80.0223 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 29939
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11360 0 0 0 7965 33 0 0 25 0 1 0 480805967 48062464 11293 4294967295 134512640 134672761 3221224560 3221223744 134558662 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+90.0222 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 29939
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11360 0 0 0 8965 33 0 0 25 0 1 0 480805967 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+100.022 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 29939
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11360 0 0 0 9966 33 0 0 25 0 1 0 480805967 48062464 11293 4294967295 134512640 134672761 3221224560 3221223760 134557830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+110.023 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 11831 0 0 0 10964 34 0 0 25 0 1 0 480805967 50081792 11764 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12227 11764 603 41 0 12186 0
vsize: 48908
[startup+120.023 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 12449 0 0 0 11963 36 0 0 25 0 1 0 480805967 52633600 12382 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12850 12382 603 41 0 12809 0
vsize: 51400
[startup+130.024 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 13017 0 0 0 12960 39 0 0 25 0 1 0 480805967 54923264 12950 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13409 12950 603 41 0 13368 0
vsize: 53636
[startup+140.025 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 13493 0 0 0 13958 41 0 0 25 0 1 0 480805967 56946688 13426 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13903 13426 603 41 0 13862 0
vsize: 55612
[startup+150.025 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 13897 0 0 0 14957 42 0 0 25 0 1 0 480805967 58568704 13830 4294967295 134512640 134672761 3221224560 3221223708 134560552 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14299 13830 603 41 0 14258 0
vsize: 57196
[startup+160.026 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 14266 0 0 0 15956 43 0 0 25 0 1 0 480805967 60051456 14199 4294967295 134512640 134672761 3221224560 3221223700 134560556 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14661 14199 603 41 0 14620 0
vsize: 58644
[startup+170.026 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 14635 0 0 0 16955 44 0 0 25 0 1 0 480805967 61546496 14568 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15026 14568 603 41 0 14985 0
vsize: 60104
[startup+180.027 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 14947 0 0 0 17954 45 0 0 25 0 1 0 480805967 62889984 14880 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15354 14880 603 41 0 15313 0
vsize: 61416
[startup+190.027 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 15307 0 0 0 18954 46 0 0 25 0 1 0 480805967 64376832 15240 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15717 15240 603 41 0 15676 0
vsize: 62868
[startup+200.026 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 15610 0 0 0 19953 47 0 0 25 0 1 0 480805967 65589248 15543 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16013 15543 603 41 0 15972 0
vsize: 64052
[startup+210.026 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 15923 0 0 0 20952 48 0 0 25 0 1 0 480805967 66932736 15856 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16341 15856 603 41 0 16300 0
vsize: 65364
[startup+220.027 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 16287 0 0 0 21951 49 0 0 25 0 1 0 480805967 68411392 16220 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16702 16220 603 41 0 16661 0
vsize: 66808
[startup+230.027 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 16556 0 0 0 22951 50 0 0 25 0 1 0 480805967 69529600 16489 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16975 16489 603 41 0 16934 0
vsize: 67900
[startup+240.027 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 16779 0 0 0 23950 51 0 0 25 0 1 0 480805967 70479872 16712 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17207 16712 603 41 0 17166 0
vsize: 68828
[startup+250.027 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 17063 0 0 0 24950 51 0 0 25 0 1 0 480805967 71688192 16996 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17502 16996 603 41 0 17461 0
vsize: 70008
[startup+260.028 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 17403 0 0 0 25948 53 0 0 25 0 1 0 480805967 73056256 17336 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17836 17336 603 41 0 17795 0
vsize: 71344
[startup+270.028 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 17775 0 0 0 26947 54 0 0 25 0 1 0 480805967 74547200 17708 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18200 17708 603 41 0 18159 0
vsize: 72800
[startup+280.029 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 18083 0 0 0 27946 55 0 0 25 0 1 0 480805967 75898880 18016 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18530 18016 603 41 0 18489 0
vsize: 74120
[startup+290.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 18381 0 0 0 28945 56 0 0 25 0 1 0 480805967 77115392 18314 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18827 18314 603 41 0 18786 0
vsize: 75308
[startup+300.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 18648 0 0 0 29944 56 0 0 25 0 1 0 480805967 78209024 18581 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19094 18581 603 41 0 19053 0
vsize: 76376
[startup+310.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 18908 0 0 0 30944 57 0 0 25 0 1 0 480805967 79278080 18841 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19355 18841 603 41 0 19314 0
vsize: 77420
[startup+320.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 19209 0 0 0 31943 58 0 0 25 0 1 0 480805967 80486400 19142 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19650 19142 603 41 0 19609 0
vsize: 78600
[startup+330.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 19454 0 0 0 32943 59 0 0 25 0 1 0 480805967 81424384 19387 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19879 19387 603 41 0 19838 0
vsize: 79516
[startup+340.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29941
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 19813 0 0 0 33941 60 0 0 25 0 1 0 480805967 83156992 19746 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20302 19746 603 41 0 20261 0
vsize: 81208
[startup+350.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 20005 0 0 0 34941 61 0 0 25 0 1 0 480805967 84152320 19938 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20545 19938 603 41 0 20504 0
vsize: 82180
[startup+360.032 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 20234 0 0 0 35940 62 0 0 25 0 1 0 480805967 85086208 20167 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20773 20167 603 41 0 20732 0
vsize: 83092
[startup+370.032 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 20484 0 0 0 36940 63 0 0 25 0 1 0 480805967 86171648 20417 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21038 20417 603 41 0 20997 0
vsize: 84152
[startup+380.033 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 20677 0 0 0 37939 63 0 0 25 0 1 0 480805967 86982656 20610 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21236 20610 603 41 0 21195 0
vsize: 84944
[startup+390.033 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 20890 0 0 0 38939 63 0 0 25 0 1 0 480805967 87949312 20823 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21472 20823 603 41 0 21431 0
vsize: 85888
[startup+400.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 21104 0 0 0 39939 64 0 0 25 0 1 0 480805967 88768512 21037 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21672 21037 603 41 0 21631 0
vsize: 86688
[startup+410.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 21301 0 0 0 40938 65 0 0 25 0 1 0 480805967 89600000 21234 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21875 21234 603 41 0 21834 0
vsize: 87500
[startup+420.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 21530 0 0 0 41937 66 0 0 25 0 1 0 480805967 90562560 21463 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22110 21463 603 41 0 22069 0
vsize: 88440
[startup+430.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 21741 0 0 0 42937 66 0 0 25 0 1 0 480805967 91377664 21674 4294967295 134512640 134672761 3221224560 3221223760 134557836 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22309 21674 603 41 0 22268 0
vsize: 89236
[startup+440.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 21916 0 0 0 43937 67 0 0 25 0 1 0 480805967 92049408 21849 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22473 21849 603 41 0 22432 0
vsize: 89892
[startup+450.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 22103 0 0 0 44936 68 0 0 25 0 1 0 480805967 92839936 22036 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22666 22036 603 41 0 22625 0
vsize: 90664
[startup+460.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 22296 0 0 0 45935 69 0 0 25 0 1 0 480805967 93634560 22229 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22860 22229 603 41 0 22819 0
vsize: 91440
[startup+470.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 22491 0 0 0 46934 70 0 0 25 0 1 0 480805967 94429184 22424 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23054 22424 603 41 0 23013 0
vsize: 92216
[startup+480.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 22740 0 0 0 47934 70 0 0 25 0 1 0 480805967 95502336 22673 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23316 22673 603 41 0 23275 0
vsize: 93264
[startup+490.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 22947 0 0 0 48933 71 0 0 25 0 1 0 480805967 96292864 22880 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23509 22880 603 41 0 23468 0
vsize: 94036
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 23150 0 0 0 49932 72 0 0 25 0 1 0 480805967 97099776 23083 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23706 23083 603 41 0 23665 0
vsize: 94824
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 23367 0 0 0 50932 73 0 0 25 0 1 0 480805967 98086912 23300 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23947 23300 603 41 0 23906 0
vsize: 95788
[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 23592 0 0 0 51931 74 0 0 25 0 1 0 480805967 99016704 23525 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24174 23525 603 41 0 24133 0
vsize: 96696
[startup+530.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 23791 0 0 0 52931 74 0 0 25 0 1 0 480805967 99815424 23724 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24369 23724 603 41 0 24328 0
vsize: 97476
[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 24000 0 0 0 53931 75 0 0 25 0 1 0 480805967 100618240 23933 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24565 23933 603 41 0 24524 0
vsize: 98260
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 24169 0 0 0 54930 75 0 0 25 0 1 0 480805967 101421056 24102 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24761 24102 603 41 0 24720 0
vsize: 99044
[startup+560.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 24388 0 0 0 55929 76 0 0 25 0 1 0 480805967 102223872 24321 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24957 24321 603 41 0 24916 0
vsize: 99828
[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 24569 0 0 0 56928 76 0 0 25 0 1 0 480805967 103030784 24502 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25154 24502 603 41 0 25113 0
vsize: 100616
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 24718 0 0 0 57927 77 0 0 25 0 1 0 480805967 103563264 24651 4294967295 134512640 134672761 3221224560 3221223744 134559498 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25284 24651 603 41 0 25243 0
vsize: 101136
[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 24895 0 0 0 58927 77 0 0 25 0 1 0 480805967 104370176 24828 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25481 24828 603 41 0 25440 0
vsize: 101924
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 25077 0 0 0 59926 78 0 0 25 0 1 0 480805967 105029632 25010 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25642 25010 603 41 0 25601 0
vsize: 102568
[startup+610.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 25279 0 0 0 60926 78 0 0 25 0 1 0 480805967 105971712 25212 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25872 25212 603 41 0 25831 0
vsize: 103488
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 25485 0 0 0 61925 79 0 0 25 0 1 0 480805967 106770432 25418 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26067 25418 603 41 0 26026 0
vsize: 104268
[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 25687 0 0 0 62924 81 0 0 25 0 1 0 480805967 107577344 25620 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26264 25620 603 41 0 26223 0
vsize: 105056
[startup+640.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 25881 0 0 0 63923 82 0 0 25 0 1 0 480805967 108371968 25814 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26458 25814 603 41 0 26417 0
vsize: 105832
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 26058 0 0 0 64923 82 0 0 25 0 1 0 480805967 109080576 25991 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26631 25991 603 41 0 26590 0
vsize: 106524
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 26202 0 0 0 65922 83 0 0 25 0 1 0 480805967 109617152 26135 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26762 26135 603 41 0 26721 0
vsize: 107048
[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 26401 0 0 0 66922 84 0 0 25 0 1 0 480805967 110436352 26334 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26962 26334 603 41 0 26921 0
vsize: 107848
[startup+680.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 26557 0 0 0 67921 85 0 0 25 0 1 0 480805967 111112192 26490 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27127 26490 603 41 0 27086 0
vsize: 108508
[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 26730 0 0 0 68920 86 0 0 25 0 1 0 480805967 111775744 26663 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27289 26663 603 41 0 27248 0
vsize: 109156
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 26882 0 0 0 69920 86 0 0 25 0 1 0 480805967 112459776 26815 4294967295 134512640 134672761 3221224560 3221223728 134560964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27456 26815 603 41 0 27415 0
vsize: 109824
[startup+710.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 27053 0 0 0 70919 87 0 0 25 0 1 0 480805967 113127424 26986 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27619 26986 603 41 0 27578 0
vsize: 110476
[startup+720.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 27175 0 0 0 71919 88 0 0 25 0 1 0 480805967 113664000 27108 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27750 27108 603 41 0 27709 0
vsize: 111000
[startup+730.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 27297 0 0 0 72919 88 0 0 25 0 1 0 480805967 114249728 27230 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27893 27230 603 41 0 27852 0
vsize: 111572
[startup+740.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 27432 0 0 0 73918 89 0 0 25 0 1 0 480805967 114843648 27365 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28038 27365 603 41 0 27997 0
vsize: 112152
[startup+750.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 27577 0 0 0 74918 89 0 0 25 0 1 0 480805967 115384320 27510 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28170 27510 603 41 0 28129 0
vsize: 112680
[startup+760.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 27709 0 0 0 75917 90 0 0 25 0 1 0 480805967 115937280 27642 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28305 27642 603 41 0 28264 0
vsize: 113220
[startup+770.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 27850 0 0 0 76917 90 0 0 25 0 1 0 480805967 116482048 27783 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28438 27783 603 41 0 28397 0
vsize: 113752
[startup+780.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 27971 0 0 0 77917 90 0 0 25 0 1 0 480805967 117026816 27904 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28571 27904 603 41 0 28530 0
vsize: 114284
[startup+790.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 28096 0 0 0 78917 91 0 0 25 0 1 0 480805967 117563392 28029 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28702 28029 603 41 0 28661 0
vsize: 114808
[startup+800.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 28253 0 0 0 79917 91 0 0 25 0 1 0 480805967 118231040 28186 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28865 28186 603 41 0 28824 0
vsize: 115460
[startup+810.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 28401 0 0 0 80917 92 0 0 25 0 1 0 480805967 118771712 28334 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28997 28334 603 41 0 28956 0
vsize: 115988
[startup+820.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 28573 0 0 0 81916 93 0 0 25 0 1 0 480805967 119488512 28506 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29172 28506 603 41 0 29131 0
vsize: 116688
[startup+830.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 28689 0 0 0 82915 93 0 0 25 0 1 0 480805967 120025088 28622 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29303 28622 603 41 0 29262 0
vsize: 117212
[startup+840.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 28835 0 0 0 83915 94 0 0 25 0 1 0 480805967 120561664 28768 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29434 28768 603 41 0 29393 0
vsize: 117736
[startup+850.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 28957 0 0 0 84915 94 0 0 25 0 1 0 480805967 121098240 28890 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29565 28890 603 41 0 29524 0
vsize: 118260
[startup+860.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 29078 0 0 0 85914 95 0 0 25 0 1 0 480805967 121630720 29011 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29695 29011 603 41 0 29654 0
vsize: 118780
[startup+870.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 29197 0 0 0 86914 96 0 0 25 0 1 0 480805967 122032128 29130 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29793 29130 603 41 0 29752 0
vsize: 119172
[startup+880.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 29322 0 0 0 87913 96 0 0 25 0 1 0 480805967 122564608 29255 4294967295 134512640 134672761 3221224560 3221223728 134560954 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29923 29255 603 41 0 29882 0
vsize: 119692
[startup+890.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 29443 0 0 0 88914 96 0 0 25 0 1 0 480805967 123101184 29376 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30054 29376 603 41 0 30013 0
vsize: 120216
[startup+900.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 29593 0 0 0 89913 97 0 0 25 0 1 0 480805967 123641856 29526 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30186 29526 603 41 0 30145 0
vsize: 120744
[startup+910.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 29728 0 0 0 90913 97 0 0 25 0 1 0 480805967 124317696 29661 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30351 29661 603 41 0 30310 0
vsize: 121404
[startup+920.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 29858 0 0 0 91913 98 0 0 25 0 1 0 480805967 124723200 29791 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30450 29791 603 41 0 30409 0
vsize: 121800
[startup+930.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 30012 0 0 0 92913 98 0 0 25 0 1 0 480805967 125390848 29945 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30613 29945 603 41 0 30572 0
vsize: 122452
[startup+940.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 30174 0 0 0 93913 98 0 0 25 0 1 0 480805967 126062592 30107 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30777 30107 603 41 0 30736 0
vsize: 123108
[startup+950.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 30311 0 0 0 94912 99 0 0 25 0 1 0 480805967 126730240 30244 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30940 30244 603 41 0 30899 0
vsize: 123760
[startup+960.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 30415 0 0 0 95913 99 0 0 25 0 1 0 480805967 127143936 30348 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31041 30348 603 41 0 31000 0
vsize: 124164
[startup+970.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 30514 0 0 0 96913 99 0 0 25 0 1 0 480805967 127545344 30447 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31139 30447 603 41 0 31098 0
vsize: 124556
[startup+980.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 30629 0 0 0 97912 100 0 0 25 0 1 0 480805967 128077824 30562 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31269 30562 603 41 0 31228 0
vsize: 125076
[startup+990.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 30767 0 0 0 98912 100 0 0 25 0 1 0 480805967 128618496 30700 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31401 30700 603 41 0 31360 0
vsize: 125604
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 30922 0 0 0 99912 101 0 0 25 0 1 0 480805967 129277952 30855 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31562 30855 603 41 0 31521 0
vsize: 126248
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 31061 0 0 0 100911 101 0 0 25 0 1 0 480805967 129814528 30994 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31693 30994 603 41 0 31652 0
vsize: 126772
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 31174 0 0 0 101911 101 0 0 25 0 1 0 480805967 130220032 31107 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31792 31107 603 41 0 31751 0
vsize: 127168
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 31292 0 0 0 102911 102 0 0 25 0 1 0 480805967 130748416 31225 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31921 31225 603 41 0 31880 0
vsize: 127684
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 31390 0 0 0 103912 102 0 0 25 0 1 0 480805967 131153920 31323 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32020 31323 603 41 0 31979 0
vsize: 128080
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 31495 0 0 0 104911 102 0 0 25 0 1 0 480805967 131559424 31428 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32119 31428 603 41 0 32078 0
vsize: 128476
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 31613 0 0 0 105911 103 0 0 25 0 1 0 480805967 132100096 31546 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32251 31546 603 41 0 32210 0
vsize: 129004
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 31726 0 0 0 106910 103 0 0 25 0 1 0 480805967 132505600 31659 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32350 31659 603 41 0 32309 0
vsize: 129400
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 31831 0 0 0 107910 104 0 0 25 0 1 0 480805967 132907008 31764 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32448 31764 603 41 0 32407 0
vsize: 129792
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 31947 0 0 0 108910 104 0 0 25 0 1 0 480805967 133443584 31880 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32579 31880 603 41 0 32538 0
vsize: 130316
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 32090 0 0 0 109910 104 0 0 25 0 1 0 480805967 134041600 32023 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32725 32023 603 41 0 32684 0
vsize: 130900
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 32218 0 0 0 110909 105 0 0 25 0 1 0 480805967 134569984 32151 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32854 32151 603 41 0 32813 0
vsize: 131416
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 32362 0 0 0 111909 106 0 0 25 0 1 0 480805967 135237632 32295 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33017 32295 603 41 0 32976 0
vsize: 132068
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 32516 0 0 0 112909 106 0 0 25 0 1 0 480805967 135766016 32449 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33146 32449 603 41 0 33105 0
vsize: 132584
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 32698 0 0 0 113909 106 0 0 25 0 1 0 480805967 136564736 32631 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33341 32631 603 41 0 33300 0
vsize: 133364
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 32852 0 0 0 114908 107 0 0 25 0 1 0 480805967 137244672 32785 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33507 32785 603 41 0 33466 0
vsize: 134028
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 33021 0 0 0 115908 108 0 0 25 0 1 0 480805967 137912320 32954 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33670 32954 603 41 0 33629 0
vsize: 134680
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 33165 0 0 0 116908 108 0 0 25 0 1 0 480805967 138616832 33098 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33842 33098 603 41 0 33801 0
vsize: 135368
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 33261 0 0 0 117908 109 0 0 25 0 1 0 480805967 138887168 33194 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33908 33194 603 41 0 33867 0
vsize: 135632
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 33349 0 0 0 118907 109 0 0 25 0 1 0 480805967 139288576 33282 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34006 33282 603 41 0 33965 0
vsize: 136024
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29943
Raw data (stat): 29886 (minisat+) R 29885 23176 23175 0 -1 0 33447 0 0 0 119907 109 0 0 25 0 1 0 480805967 139685888 33380 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34103 33380 603 41 0 34062 0
vsize: 136412
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29943
Raw data (stat): 29886 (minisat+) Z 29885 23176 23175 0 -1 12 33450 0 0 0 119907 116 0 0 25 0 1 0 480805967 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.13
CPU time (s): 1200.24
CPU user time (s): 1199.08
CPU system time (s): 1.16282
CPU usage (%): 100.009
Max. virtual memory (Kb): 136412
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####