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 6221

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-14 03:50:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4644 boxname=wulflinc1 idbench=132 idsolver=13 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9cfcc49797c7ac58bfef2056b3d91b66  /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb
REAL COMMAND:  minisat+ -w /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb
IDLAUNCH: 4644
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        831300 kB
Buffers:         41184 kB
Cached:         137180 kB
SwapCached:          0 kB
Active:         116612 kB
Inactive:        64892 kB
HighTotal:      131008 kB
HighFree:         1176 kB
LowTotal:       903652 kB
LowFree:        830124 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7200 kB
Slab:            16180 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 04:10:31 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 4644 7 1200.2 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 % |
c |    131185 |  237715   478680 |  364096  131185 27153657   207.0 |  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.84 0.94 0.90 2/56 21401
Raw data (stat): 21401 (runsolver) R 21400 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 366408559 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/56 21401
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 11359 0 0 0 967 32 0 0 25 0 1 0 366408559 48062464 11292 4294967295 134512640 134672761 3221224576 3221223744 134560869 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.0001 s]
Raw data (loadavg): 0.89 0.94 0.90 2/56 21401
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 11360 0 0 0 1967 32 0 0 25 0 1 0 366408559 48062464 11293 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.94 0.90 2/56 21401
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 11360 0 0 0 2967 32 0 0 25 0 1 0 366408559 48062464 11293 4294967295 134512640 134672761 3221224576 3221223744 134560830 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.0013 s]
Raw data (loadavg): 0.92 0.94 0.90 2/56 21401
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 11360 0 0 0 3966 32 0 0 25 0 1 0 366408559 48062464 11293 4294967295 134512640 134672761 3221224576 3221223744 134561193 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.003 s]
Raw data (loadavg): 0.93 0.94 0.90 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 11360 0 0 0 4967 32 0 0 25 0 1 0 366408559 48062464 11293 4294967295 134512640 134672761 3221224576 3221223744 134560869 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.0033 s]
Raw data (loadavg): 0.94 0.95 0.90 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 11360 0 0 0 5967 32 0 0 25 0 1 0 366408559 48062464 11293 4294967295 134512640 134672761 3221224576 3221223744 134561154 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.0031 s]
Raw data (loadavg): 0.95 0.95 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 11360 0 0 0 6967 32 0 0 25 0 1 0 366408559 48062464 11293 4294967295 134512640 134672761 3221224576 3221223680 134560289 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.0038 s]
Raw data (loadavg): 0.96 0.95 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 11360 0 0 0 7967 32 0 0 25 0 1 0 366408559 48062464 11293 4294967295 134512640 134672761 3221224576 3221223744 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+90.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 11360 0 0 0 8967 32 0 0 25 0 1 0 366408559 48062464 11293 4294967295 134512640 134672761 3221224576 3221223744 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+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 11467 0 0 0 9967 33 0 0 25 0 1 0 366408559 48594944 11400 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11864 11400 603 41 0 11823 0
vsize: 47456
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 12068 0 0 0 10965 35 0 0 25 0 1 0 366408559 51159040 12001 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12490 12001 603 41 0 12449 0
vsize: 49960
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 12744 0 0 0 11963 37 0 0 25 0 1 0 366408559 53841920 12677 4294967295 134512640 134672761 3221224576 3221223744 134560964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13145 12677 603 41 0 13104 0
vsize: 52580
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 13248 0 0 0 12962 39 0 0 25 0 1 0 366408559 55865344 13181 4294967295 134512640 134672761 3221224576 3221223712 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13639 13181 603 41 0 13598 0
vsize: 54556
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 13721 0 0 0 13961 40 0 0 25 0 1 0 366408559 57892864 13654 4294967295 134512640 134672761 3221224576 3221223716 134560556 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14134 13654 603 41 0 14093 0
vsize: 56536
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 14126 0 0 0 14960 41 0 0 25 0 1 0 366408559 59510784 14059 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14529 14059 603 41 0 14488 0
vsize: 58116
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 14497 0 0 0 15957 43 0 0 25 0 1 0 366408559 60997632 14430 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14892 14430 603 41 0 14851 0
vsize: 59568
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 14849 0 0 0 16956 45 0 0 25 0 1 0 366408559 62484480 14782 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15255 14782 603 41 0 15214 0
vsize: 61020
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 15199 0 0 0 17956 45 0 0 25 0 1 0 366408559 63971328 15132 4294967295 134512640 134672761 3221224576 3221223744 134561207 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15618 15132 603 41 0 15577 0
vsize: 62472
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 15539 0 0 0 18955 47 0 0 25 0 1 0 366408559 65318912 15472 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15947 15472 603 41 0 15906 0
vsize: 63788
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 15838 0 0 0 19954 47 0 0 25 0 1 0 366408559 66531328 15771 4294967295 134512640 134672761 3221224576 3221223744 134560876 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16243 15771 603 41 0 16202 0
vsize: 64972
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 16250 0 0 0 20953 48 0 0 25 0 1 0 366408559 68280320 16183 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16670 16183 603 41 0 16629 0
vsize: 66680
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 16533 0 0 0 21953 49 0 0 25 0 1 0 366408559 69394432 16466 4294967295 134512640 134672761 3221224576 3221223776 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16942 16466 603 41 0 16901 0
vsize: 67768
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 16767 0 0 0 22952 50 0 0 25 0 1 0 366408559 70344704 16700 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17174 16700 603 41 0 17133 0
vsize: 68696
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 17058 0 0 0 23951 52 0 0 25 0 1 0 366408559 71553024 16991 4294967295 134512640 134672761 3221224576 3221223744 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17469 16991 603 41 0 17428 0
vsize: 69876
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 17413 0 0 0 24950 52 0 0 25 0 1 0 366408559 73056256 17346 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17836 17346 603 41 0 17795 0
vsize: 71344
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 17803 0 0 0 25949 54 0 0 25 0 1 0 366408559 74682368 17736 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18233 17736 603 41 0 18192 0
vsize: 72932
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 18127 0 0 0 26948 55 0 0 25 0 1 0 366408559 76034048 18060 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18563 18060 603 41 0 18522 0
vsize: 74252
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 18423 0 0 0 27947 56 0 0 25 0 1 0 366408559 77250560 18356 4294967295 134512640 134672761 3221224576 3221223744 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18860 18356 603 41 0 18819 0
vsize: 75440
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 18697 0 0 0 28946 57 0 0 25 0 1 0 366408559 78344192 18630 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19127 18630 603 41 0 19086 0
vsize: 76508
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 18989 0 0 0 29945 58 0 0 25 0 1 0 366408559 79548416 18922 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19421 18922 603 41 0 19380 0
vsize: 77684
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 19295 0 0 0 30944 59 0 0 25 0 1 0 366408559 80887808 19228 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19748 19228 603 41 0 19707 0
vsize: 78992
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 19552 0 0 0 31944 60 0 0 25 0 1 0 366408559 81829888 19485 4294967295 134512640 134672761 3221224576 3221223744 134561014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19978 19485 603 41 0 19937 0
vsize: 79912
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 19889 0 0 0 32943 61 0 0 25 0 1 0 366408559 83460096 19822 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20376 19822 603 41 0 20335 0
vsize: 81504
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21403
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 20102 0 0 0 33942 62 0 0 25 0 1 0 366408559 84549632 20035 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20642 20035 603 41 0 20601 0
vsize: 82568
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 20351 0 0 0 34942 62 0 0 25 0 1 0 366408559 85626880 20284 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20905 20284 603 41 0 20864 0
vsize: 83620
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 20585 0 0 0 35941 63 0 0 25 0 1 0 366408559 86577152 20518 4294967295 134512640 134672761 3221224576 3221223776 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21137 20518 603 41 0 21096 0
vsize: 84548
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 20807 0 0 0 36941 64 0 0 25 0 1 0 366408559 87523328 20740 4294967295 134512640 134672761 3221224576 3221223716 134560556 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21368 20740 603 41 0 21327 0
vsize: 85472
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 21021 0 0 0 37940 64 0 0 25 0 1 0 366408559 88367104 20954 4294967295 134512640 134672761 3221224576 3221223720 134560555 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21574 20954 603 41 0 21533 0
vsize: 86296
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 21233 0 0 0 38940 65 0 0 25 0 1 0 366408559 89329664 21166 4294967295 134512640 134672761 3221224576 3221223744 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21809 21166 603 41 0 21768 0
vsize: 87236
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 21463 0 0 0 39939 66 0 0 25 0 1 0 366408559 90292224 21396 4294967295 134512640 134672761 3221224576 3221223744 134561226 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22044 21396 603 41 0 22003 0
vsize: 88176
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 21694 0 0 0 40939 66 0 0 25 0 1 0 366408559 91242496 21627 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22276 21627 603 41 0 22235 0
vsize: 89104
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 21868 0 0 0 41939 67 0 0 25 0 1 0 366408559 91914240 21801 4294967295 134512640 134672761 3221224576 3221223744 134561201 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22440 21801 603 41 0 22399 0
vsize: 89760
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 22065 0 0 0 42939 67 0 0 25 0 1 0 366408559 92708864 21998 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22634 21998 603 41 0 22593 0
vsize: 90536
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 22273 0 0 0 43938 68 0 0 25 0 1 0 366408559 93503488 22206 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22828 22206 603 41 0 22787 0
vsize: 91312
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 22473 0 0 0 44937 69 0 0 25 0 1 0 366408559 94429184 22406 4294967295 134512640 134672761 3221224576 3221223744 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23054 22406 603 41 0 23013 0
vsize: 92216
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 22728 0 0 0 45936 70 0 0 25 0 1 0 366408559 95371264 22661 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23284 22661 603 41 0 23243 0
vsize: 93136
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 22944 0 0 0 46936 71 0 0 25 0 1 0 366408559 96292864 22877 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23509 22877 603 41 0 23468 0
vsize: 94036
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 23152 0 0 0 47935 71 0 0 25 0 1 0 366408559 97230848 23085 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23738 23085 603 41 0 23697 0
vsize: 94952
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 23389 0 0 0 48935 72 0 0 25 0 1 0 366408559 98217984 23322 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23979 23322 603 41 0 23938 0
vsize: 95916
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 23614 0 0 0 49934 73 0 0 25 0 1 0 366408559 99147776 23547 4294967295 134512640 134672761 3221224576 3221223744 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24206 23547 603 41 0 24165 0
vsize: 96824
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 23823 0 0 0 50933 74 0 0 25 0 1 0 366408559 99950592 23756 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24402 23756 603 41 0 24361 0
vsize: 97608
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 24029 0 0 0 51933 75 0 0 25 0 1 0 366408559 100749312 23962 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24597 23962 603 41 0 24556 0
vsize: 98388
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 24206 0 0 0 52932 75 0 0 25 0 1 0 366408559 101556224 24139 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24794 24139 603 41 0 24753 0
vsize: 99176
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 24437 0 0 0 53931 76 0 0 25 0 1 0 366408559 102494208 24370 4294967295 134512640 134672761 3221224576 3221223776 134557809 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25023 24370 603 41 0 24982 0
vsize: 100092
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 24610 0 0 0 54931 77 0 0 25 0 1 0 366408559 103161856 24543 4294967295 134512640 134672761 3221224576 3221223744 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25186 24543 603 41 0 25145 0
vsize: 100744
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 24779 0 0 0 55930 78 0 0 25 0 1 0 366408559 103833600 24712 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25350 24712 603 41 0 25309 0
vsize: 101400
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21405
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 24958 0 0 0 56929 79 0 0 25 0 1 0 366408559 104632320 24891 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25545 24891 603 41 0 25504 0
vsize: 102180
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21458
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 25174 0 0 0 57928 81 0 0 25 0 1 0 366408559 105426944 25107 4294967295 134512640 134672761 3221224576 3221223712 134560557 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25739 25107 603 41 0 25698 0
vsize: 102956
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21458
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 25385 0 0 0 58928 81 0 0 25 0 1 0 366408559 106373120 25318 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25970 25318 603 41 0 25929 0
vsize: 103880
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21458
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 25574 0 0 0 59928 82 0 0 25 0 1 0 366408559 107040768 25507 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26133 25507 603 41 0 26092 0
vsize: 104532
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21458
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 25805 0 0 0 60927 82 0 0 25 0 1 0 366408559 108105728 25738 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26393 25738 603 41 0 26352 0
vsize: 105572
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21458
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 25992 0 0 0 61927 82 0 0 25 0 1 0 366408559 108810240 25925 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26565 25925 603 41 0 26524 0
vsize: 106260
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21458
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 26148 0 0 0 62927 83 0 0 25 0 1 0 366408559 109486080 26081 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26730 26081 603 41 0 26689 0
vsize: 106920
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21462
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 26345 0 0 0 63926 84 0 0 25 0 1 0 366408559 110276608 26278 4294967295 134512640 134672761 3221224576 3221223744 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26923 26278 603 41 0 26882 0
vsize: 107692
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21464
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 26510 0 0 0 64924 85 0 0 25 0 1 0 366408559 110977024 26443 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27094 26443 603 41 0 27053 0
vsize: 108376
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21464
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 26691 0 0 0 65924 86 0 0 25 0 1 0 366408559 111644672 26624 4294967295 134512640 134672761 3221224576 3221223760 134558513 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27257 26624 603 41 0 27216 0
vsize: 109028
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21464
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 26859 0 0 0 66923 87 0 0 25 0 1 0 366408559 112324608 26792 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27423 26792 603 41 0 27382 0
vsize: 109692
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21464
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 27040 0 0 0 67923 87 0 0 25 0 1 0 366408559 113127424 26973 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27619 26973 603 41 0 27578 0
vsize: 110476
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21464
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 27167 0 0 0 68922 88 0 0 25 0 1 0 366408559 113664000 27100 4294967295 134512640 134672761 3221224576 3221223680 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27750 27100 603 41 0 27709 0
vsize: 111000
[startup+700.027 s]
Raw data (loadavg): 1.53 1.09 0.95 4/70 21481
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 27300 0 0 0 69919 89 0 0 25 0 1 0 366408559 114249728 27233 4294967295 134512640 134672761 3221224576 3221223744 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27893 27233 603 41 0 27852 0
vsize: 111572
[startup+710.028 s]
Raw data (loadavg): 1.91 1.18 0.98 3/62 21713
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 27432 0 0 0 70915 89 0 0 25 0 1 0 366408559 114843648 27365 4294967295 134512640 134672761 3221224576 3221223744 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+720.027 s]
Raw data (loadavg): 1.84 1.19 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 27596 0 0 0 71914 90 0 0 25 0 1 0 366408559 115384320 27529 4294967295 134512640 134672761 3221224576 3221223744 134561220 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28170 27529 603 41 0 28129 0
vsize: 112680
[startup+730.027 s]
Raw data (loadavg): 1.71 1.18 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 27734 0 0 0 72914 90 0 0 25 0 1 0 366408559 116072448 27667 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28338 27667 603 41 0 28297 0
vsize: 113352
[startup+740.027 s]
Raw data (loadavg): 1.60 1.18 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 27870 0 0 0 73914 91 0 0 25 0 1 0 366408559 116625408 27803 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28473 27803 603 41 0 28432 0
vsize: 113892
[startup+750.027 s]
Raw data (loadavg): 1.51 1.17 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 28000 0 0 0 74914 91 0 0 25 0 1 0 366408559 117161984 27933 4294967295 134512640 134672761 3221224576 3221223744 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28604 27933 603 41 0 28563 0
vsize: 114416
[startup+760.028 s]
Raw data (loadavg): 1.43 1.17 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 28139 0 0 0 75913 92 0 0 25 0 1 0 366408559 117698560 28072 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28735 28072 603 41 0 28694 0
vsize: 114940
[startup+770.027 s]
Raw data (loadavg): 1.36 1.16 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 28295 0 0 0 76913 92 0 0 25 0 1 0 366408559 118370304 28228 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28899 28228 603 41 0 28858 0
vsize: 115596
[startup+780.027 s]
Raw data (loadavg): 1.31 1.15 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 28459 0 0 0 77912 93 0 0 25 0 1 0 366408559 119033856 28392 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29061 28392 603 41 0 29020 0
vsize: 116244
[startup+790.027 s]
Raw data (loadavg): 1.26 1.15 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 28611 0 0 0 78912 93 0 0 25 0 1 0 366408559 119623680 28544 4294967295 134512640 134672761 3221224576 3221223760 134559330 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29205 28544 603 41 0 29164 0
vsize: 116820
[startup+800.027 s]
Raw data (loadavg): 1.22 1.14 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 28744 0 0 0 79912 93 0 0 25 0 1 0 366408559 120156160 28677 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29335 28677 603 41 0 29294 0
vsize: 117340
[startup+810.028 s]
Raw data (loadavg): 1.18 1.14 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 28890 0 0 0 80912 94 0 0 25 0 1 0 366408559 120832000 28823 4294967295 134512640 134672761 3221224576 3221223744 134560920 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29500 28823 603 41 0 29459 0
vsize: 118000
[startup+820.028 s]
Raw data (loadavg): 1.16 1.13 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 29007 0 0 0 81912 94 0 0 25 0 1 0 366408559 121233408 28940 4294967295 134512640 134672761 3221224576 3221223744 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29598 28940 603 41 0 29557 0
vsize: 118392
[startup+830.029 s]
Raw data (loadavg): 1.13 1.13 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 29137 0 0 0 82911 95 0 0 25 0 1 0 366408559 121761792 29070 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29727 29070 603 41 0 29686 0
vsize: 118908
[startup+840.029 s]
Raw data (loadavg): 1.11 1.12 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 29262 0 0 0 83911 95 0 0 25 0 1 0 366408559 122298368 29195 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29858 29195 603 41 0 29817 0
vsize: 119432
[startup+850.028 s]
Raw data (loadavg): 1.09 1.12 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 29397 0 0 0 84911 96 0 0 25 0 1 0 366408559 122830848 29330 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29988 29330 603 41 0 29947 0
vsize: 119952
[startup+860.028 s]
Raw data (loadavg): 1.08 1.11 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 29541 0 0 0 85911 96 0 0 25 0 1 0 366408559 123506688 29474 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30153 29474 603 41 0 30112 0
vsize: 120612
[startup+870.028 s]
Raw data (loadavg): 1.07 1.11 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 29676 0 0 0 86910 96 0 0 25 0 1 0 366408559 124051456 29609 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30286 29609 603 41 0 30245 0
vsize: 121144
[startup+880.029 s]
Raw data (loadavg): 1.06 1.11 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 29812 0 0 0 87910 97 0 0 25 0 1 0 366408559 124588032 29745 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30417 29745 603 41 0 30376 0
vsize: 121668
[startup+890.029 s]
Raw data (loadavg): 1.05 1.10 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 29968 0 0 0 88910 97 0 0 25 0 1 0 366408559 125259776 29901 4294967295 134512640 134672761 3221224576 3221223744 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30581 29901 603 41 0 30540 0
vsize: 122324
[startup+900.028 s]
Raw data (loadavg): 1.04 1.10 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 30126 0 0 0 89910 98 0 0 25 0 1 0 366408559 125931520 30059 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30745 30059 603 41 0 30704 0
vsize: 122980
[startup+910.029 s]
Raw data (loadavg): 1.03 1.09 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 30291 0 0 0 90909 98 0 0 25 0 1 0 366408559 126595072 30224 4294967295 134512640 134672761 3221224576 3221223712 134560654 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30907 30224 603 41 0 30866 0
vsize: 123628
[startup+920.029 s]
Raw data (loadavg): 1.03 1.09 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 30392 0 0 0 91909 98 0 0 25 0 1 0 366408559 126996480 30325 4294967295 134512640 134672761 3221224576 3221223744 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31005 30325 603 41 0 30964 0
vsize: 124020
[startup+930.029 s]
Raw data (loadavg): 1.02 1.09 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 30497 0 0 0 92909 99 0 0 25 0 1 0 366408559 127414272 30430 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31107 30430 603 41 0 31066 0
vsize: 124428
[startup+940.029 s]
Raw data (loadavg): 1.02 1.08 0.98 2/56 21783
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 30612 0 0 0 93909 99 0 0 25 0 1 0 366408559 127942656 30545 4294967295 134512640 134672761 3221224576 3221223744 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31236 30545 603 41 0 31195 0
vsize: 124944
[startup+950.028 s]
Raw data (loadavg): 1.02 1.08 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 30749 0 0 0 94909 99 0 0 25 0 1 0 366408559 128483328 30682 4294967295 134512640 134672761 3221224576 3221223680 134560289 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31368 30682 603 41 0 31327 0
vsize: 125472
[startup+960.028 s]
Raw data (loadavg): 1.01 1.08 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 30907 0 0 0 95909 100 0 0 25 0 1 0 366408559 129146880 30840 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31530 30840 603 41 0 31489 0
vsize: 126120
[startup+970.028 s]
Raw data (loadavg): 1.01 1.07 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 31049 0 0 0 96908 100 0 0 25 0 1 0 366408559 129683456 30982 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31661 30982 603 41 0 31620 0
vsize: 126644
[startup+980.029 s]
Raw data (loadavg): 1.01 1.07 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 31171 0 0 0 97908 101 0 0 25 0 1 0 366408559 130220032 31104 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31792 31104 603 41 0 31751 0
vsize: 127168
[startup+990.028 s]
Raw data (loadavg): 1.01 1.07 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 31291 0 0 0 98908 101 0 0 25 0 1 0 366408559 130748416 31224 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31921 31224 603 41 0 31880 0
vsize: 127684
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.07 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 31391 0 0 0 99908 102 0 0 25 0 1 0 366408559 131153920 31324 4294967295 134512640 134672761 3221224576 3221223744 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32020 31324 603 41 0 31979 0
vsize: 128080
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.06 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 31498 0 0 0 100907 102 0 0 25 0 1 0 366408559 131559424 31431 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32119 31431 603 41 0 32078 0
vsize: 128476
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.06 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 31621 0 0 0 101907 102 0 0 25 0 1 0 366408559 132100096 31554 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32251 31554 603 41 0 32210 0
vsize: 129004
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.06 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 31738 0 0 0 102907 103 0 0 25 0 1 0 366408559 132505600 31671 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32350 31671 603 41 0 32309 0
vsize: 129400
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.06 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 31847 0 0 0 103907 103 0 0 25 0 1 0 366408559 133042176 31780 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32481 31780 603 41 0 32440 0
vsize: 129924
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.05 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 31970 0 0 0 104907 103 0 0 25 0 1 0 366408559 133578752 31903 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32612 31903 603 41 0 32571 0
vsize: 130448
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.05 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 32117 0 0 0 105906 104 0 0 25 0 1 0 366408559 134172672 32050 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32757 32050 603 41 0 32716 0
vsize: 131028
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.05 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 32243 0 0 0 106906 104 0 0 25 0 1 0 366408559 134701056 32176 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32886 32176 603 41 0 32845 0
vsize: 131544
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.05 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 32398 0 0 0 107906 105 0 0 25 0 1 0 366408559 135368704 32331 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33049 32331 603 41 0 33008 0
vsize: 132196
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.05 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 32570 0 0 0 108906 105 0 0 25 0 1 0 366408559 136032256 32503 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33211 32503 603 41 0 33170 0
vsize: 132844
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.04 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 32749 0 0 0 109905 105 0 0 25 0 1 0 366408559 136839168 32682 4294967295 134512640 134672761 3221224576 3221223720 134560553 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33408 32682 603 41 0 33367 0
vsize: 133632
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.04 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 32894 0 0 0 110905 106 0 0 25 0 1 0 366408559 137375744 32827 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33539 32827 603 41 0 33498 0
vsize: 134156
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.04 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 33075 0 0 0 111905 106 0 0 25 0 1 0 366408559 138178560 33008 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33735 33008 603 41 0 33694 0
vsize: 134940
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.04 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 33205 0 0 0 112905 107 0 0 25 0 1 0 366408559 138752000 33138 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33875 33138 603 41 0 33834 0
vsize: 135500
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.04 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 33299 0 0 0 113904 107 0 0 25 0 1 0 366408559 139022336 33232 4294967295 134512640 134672761 3221224576 3221223744 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33941 33232 603 41 0 33900 0
vsize: 135764
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.03 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 33389 0 0 0 114904 108 0 0 25 0 1 0 366408559 139419648 33322 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34038 33322 603 41 0 33997 0
vsize: 136152
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.03 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 33511 0 0 0 115904 108 0 0 25 0 1 0 366408559 139968512 33444 4294967295 134512640 134672761 3221224576 3221223744 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34172 33444 603 41 0 34131 0
vsize: 136688
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.03 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 33679 0 0 0 116904 108 0 0 25 0 1 0 366408559 141156352 33612 4294967295 134512640 134672761 3221224576 3221223744 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34462 33612 603 41 0 34421 0
vsize: 137848
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.03 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 33851 0 0 0 117904 109 0 0 25 0 1 0 366408559 141983744 33784 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34664 33784 603 41 0 34623 0
vsize: 138656
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.03 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 33977 0 0 0 118903 109 0 0 25 0 1 0 366408559 142401536 33910 4294967295 134512640 134672761 3221224576 3221223744 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34766 33910 603 41 0 34725 0
vsize: 139064
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.03 0.98 2/56 21785
Raw data (stat): 21401 (minisat+) R 21400 12452 12451 0 -1 0 34125 0 0 0 119903 110 0 0 25 0 1 0 366408559 143036416 34058 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34921 34058 603 41 0 34880 0
vsize: 139684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.03 0.98 1/56 21785
Raw data (stat): 21401 (minisat+) Z 21400 12452 12451 0 -1 12 34128 0 0 0 119903 116 0 0 25 0 1 0 366408559 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.1
CPU time (s): 1200.2
CPU user time (s): 1199.03
CPU system time (s): 1.16782
CPU usage (%): 100.009
Max. virtual memory (Kb): 139684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####