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 5437

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        895284 kB
Buffers:         34860 kB
Cached:          84276 kB
SwapCached:          0 kB
Active:          59728 kB
Inactive:        62316 kB
HighTotal:      131008 kB
HighFree:        42868 kB
LowTotal:       903652 kB
LowFree:        852416 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11668 kB
Committed_AS:    71672 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 00:17:19 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 3892 7 1200.34 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): ...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................#### 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.80 0.92 0.89 2/54 10340
Raw data (stat): 10340 (runsolver) R 10339 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421860074 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.0011 s]
Raw data (loadavg): 0.83 0.93 0.90 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 13882 0 0 0 961 37 0 0 25 0 1 0 421860074 58634240 13816 4294967295 134512640 134672761 3221224576 3221223168 134621420 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14315 13816 603 41 0 14274 0
vsize: 57260
[startup+20.0014 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 13893 0 0 0 1961 38 0 0 25 0 1 0 421860074 58638336 13827 4294967295 134512640 134672761 3221224576 3221223760 134615916 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14316 13827 603 41 0 14275 0
vsize: 57264
[startup+30.0013 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 13893 0 0 0 2961 38 0 0 25 0 1 0 421860074 58638336 13827 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14316 13827 603 41 0 14275 0
vsize: 57264
[startup+40.0018 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 13893 0 0 0 3961 38 0 0 25 0 1 0 421860074 58638336 13827 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14316 13827 603 41 0 14275 0
vsize: 57264
[startup+50.002 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 13893 0 0 0 4961 38 0 0 25 0 1 0 421860074 58638336 13827 4294967295 134512640 134672761 3221224576 3221223760 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14316 13827 603 41 0 14275 0
vsize: 57264
[startup+60.0019 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 13893 0 0 0 5961 38 0 0 25 0 1 0 421860074 58638336 13827 4294967295 134512640 134672761 3221224576 3221223760 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14316 13827 603 41 0 14275 0
vsize: 57264
[startup+70.0021 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 13893 0 0 0 6961 38 0 0 25 0 1 0 421860074 58638336 13827 4294967295 134512640 134672761 3221224576 3221223760 134615635 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14316 13827 603 41 0 14275 0
vsize: 57264
[startup+80.0026 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 14215 0 0 0 7961 39 0 0 25 0 1 0 421860074 59957248 14149 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14638 14149 603 41 0 14597 0
vsize: 58552
[startup+90.0025 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 14994 0 0 0 8959 40 0 0 25 0 1 0 421860074 63123456 14928 4294967295 134512640 134672761 3221224576 3221223760 134615705 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15411 14928 603 41 0 15370 0
vsize: 61644
[startup+100.003 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 15751 0 0 0 9957 43 0 0 25 0 1 0 421860074 66142208 15685 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16148 15685 603 41 0 16107 0
vsize: 64592
[startup+110.003 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 16329 0 0 0 10955 45 0 0 25 0 1 0 421860074 68526080 16263 4294967295 134512640 134672761 3221224576 3221223776 134610686 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16730 16263 603 41 0 16689 0
vsize: 66920
[startup+120.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 17155 0 0 0 11952 48 0 0 25 0 1 0 421860074 71958528 17089 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17568 17089 603 41 0 17527 0
vsize: 70272
[startup+130.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 18059 0 0 0 12951 50 0 0 25 0 1 0 421860074 75616256 17993 4294967295 134512640 134672761 3221224576 3221223760 134615583 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18461 17993 603 41 0 18420 0
vsize: 73844
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 19009 0 0 0 13948 52 0 0 25 0 1 0 421860074 79548416 18943 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19421 18943 603 41 0 19380 0
vsize: 77684
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 19787 0 0 0 14946 55 0 0 25 0 1 0 421860074 82690048 19721 4294967295 134512640 134672761 3221224576 3221223616 134614266 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20188 19721 603 41 0 20147 0
vsize: 80752
[startup+160.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10340
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 20499 0 0 0 15944 57 0 0 25 0 1 0 421860074 85831680 20433 4294967295 134512640 134672761 3221224576 3221223760 134615705 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20955 20433 603 41 0 20914 0
vsize: 83820
[startup+170.003 s]
Raw data (loadavg): 0.98 0.95 0.91 3/57 10378
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 21071 0 0 0 16938 63 0 0 25 0 1 0 421860074 88092672 21005 4294967295 134512640 134672761 3221224576 3221223760 134615732 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21507 21005 603 41 0 21466 0
vsize: 86028
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10393
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 21771 0 0 0 17936 65 0 0 25 0 1 0 421860074 91000832 21705 4294967295 134512640 134672761 3221224576 3221223760 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22217 21705 603 41 0 22176 0
vsize: 88868
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10393
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 22499 0 0 0 18934 68 0 0 25 0 1 0 421860074 94027776 22433 4294967295 134512640 134672761 3221224576 3221223760 134615926 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22956 22433 603 41 0 22915 0
vsize: 91824
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10393
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 22990 0 0 0 19933 68 0 0 25 0 1 0 421860074 96010240 22924 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23440 22925 603 41 0 23399 0
vsize: 93760
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10393
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 23446 0 0 0 20932 70 0 0 25 0 1 0 421860074 97865728 23380 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23893 23380 603 41 0 23852 0
vsize: 95572
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10393
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 24336 0 0 0 21930 72 0 0 25 0 1 0 421860074 101433344 24270 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24764 24270 603 41 0 24723 0
vsize: 99056
[startup+230.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10393
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 24991 0 0 0 22929 74 0 0 25 0 1 0 421860074 104206336 24925 4294967295 134512640 134672761 3221224576 3221223616 134613015 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25441 24925 603 41 0 25400 0
vsize: 101764
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10393
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 25474 0 0 0 23927 75 0 0 25 0 1 0 421860074 106196992 25408 4294967295 134512640 134672761 3221224576 3221223760 134615791 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25927 25408 603 41 0 25886 0
vsize: 103708
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 25898 0 0 0 24926 77 0 0 25 0 1 0 421860074 107933696 25832 4294967295 134512640 134672761 3221224576 3221223760 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26351 25832 603 41 0 26310 0
vsize: 105404
[startup+260.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 26336 0 0 0 25925 78 0 0 25 0 1 0 421860074 109662208 26270 4294967295 134512640 134672761 3221224576 3221223760 134615585 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26773 26270 603 41 0 26732 0
vsize: 107092
[startup+270.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 26728 0 0 0 26924 79 0 0 25 0 1 0 421860074 111263744 26662 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27164 26662 603 41 0 27123 0
vsize: 108656
[startup+280.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 27215 0 0 0 27923 80 0 0 25 0 1 0 421860074 113250304 27149 4294967295 134512640 134672761 3221224576 3221223760 134615579 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27649 27149 603 41 0 27608 0
vsize: 110596
[startup+290.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 27577 0 0 0 28922 82 0 0 25 0 1 0 421860074 114700288 27511 4294967295 134512640 134672761 3221224576 3221223760 134615676 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28003 27511 603 41 0 27962 0
vsize: 112012
[startup+300.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 27888 0 0 0 29921 83 0 0 25 0 1 0 421860074 116035584 27822 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28329 27822 603 41 0 28288 0
vsize: 113316
[startup+310.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 28186 0 0 0 30921 83 0 0 25 0 1 0 421860074 117239808 28120 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28623 28120 603 41 0 28582 0
vsize: 114492
[startup+320.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 28566 0 0 0 31920 84 0 0 25 0 1 0 421860074 118841344 28500 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29014 28500 603 41 0 28973 0
vsize: 116056
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 28979 0 0 0 32919 86 0 0 25 0 1 0 421860074 120434688 28913 4294967295 134512640 134672761 3221224576 3221223760 134615791 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29403 28913 603 41 0 29362 0
vsize: 117612
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 29408 0 0 0 33918 87 0 0 25 0 1 0 421860074 122294272 29342 4294967295 134512640 134672761 3221224576 3221223760 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29857 29342 603 41 0 29816 0
vsize: 119428
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 29883 0 0 0 34916 89 0 0 25 0 1 0 421860074 124157952 29817 4294967295 134512640 134672761 3221224576 3221223760 134615652 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30312 29817 603 41 0 30271 0
vsize: 121248
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 30358 0 0 0 35915 90 0 0 25 0 1 0 421860074 126140416 30292 4294967295 134512640 134672761 3221224576 3221223760 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30796 30292 603 41 0 30755 0
vsize: 123184
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 30856 0 0 0 36913 92 0 0 25 0 1 0 421860074 128122880 30790 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31280 30790 603 41 0 31239 0
vsize: 125120
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 31624 0 0 0 37911 94 0 0 25 0 1 0 421860074 131284992 31558 4294967295 134512640 134672761 3221224576 3221223760 134615549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32052 31558 603 41 0 32011 0
vsize: 128208
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 32334 0 0 0 38909 96 0 0 25 0 1 0 421860074 134180864 32268 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32759 32268 603 41 0 32718 0
vsize: 131036
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 33042 0 0 0 39908 97 0 0 25 0 1 0 421860074 137072640 32976 4294967295 134512640 134672761 3221224576 3221223760 134615843 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33465 32976 603 41 0 33424 0
vsize: 133860
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 33741 0 0 0 40907 98 0 0 25 0 1 0 421860074 140210176 33675 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34231 33675 603 41 0 34190 0
vsize: 136924
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 34398 0 0 0 41905 101 0 0 25 0 1 0 421860074 142954496 34332 4294967295 134512640 134672761 3221224576 3221223760 134615804 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34901 34332 603 41 0 34860 0
vsize: 139604
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 35037 0 0 0 42903 103 0 0 25 0 1 0 421860074 145563648 34971 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35538 34971 603 41 0 35497 0
vsize: 142152
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 35638 0 0 0 43902 105 0 0 25 0 1 0 421860074 148062208 35572 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36148 35572 603 41 0 36107 0
vsize: 144592
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 36215 0 0 0 44901 106 0 0 25 0 1 0 421860074 150425600 36149 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36725 36149 603 41 0 36684 0
vsize: 146900
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 36802 0 0 0 45900 107 0 0 25 0 1 0 421860074 152801280 36736 4294967295 134512640 134672761 3221224576 3221223776 134610630 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37305 36736 603 41 0 37264 0
vsize: 149220
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 37427 0 0 0 46899 108 0 0 25 0 1 0 421860074 155308032 37361 4294967295 134512640 134672761 3221224576 3221223760 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37917 37361 603 41 0 37876 0
vsize: 151668
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 37946 0 0 0 47898 109 0 0 25 0 1 0 421860074 157429760 37880 4294967295 134512640 134672761 3221224576 3221223760 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38435 37880 603 41 0 38394 0
vsize: 153740
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 38476 0 0 0 48897 111 0 0 25 0 1 0 421860074 159670272 38410 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38982 38410 603 41 0 38941 0
vsize: 155928
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 39005 0 0 0 49896 112 0 0 25 0 1 0 421860074 161779712 38939 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39497 38939 603 41 0 39456 0
vsize: 157988
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 39545 0 0 0 50895 113 0 0 25 0 1 0 421860074 164016128 39479 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40043 39479 603 41 0 40002 0
vsize: 160172
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 40127 0 0 0 51894 114 0 0 25 0 1 0 421860074 166408192 40061 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40627 40061 603 41 0 40586 0
vsize: 162508
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 40520 0 0 0 52893 115 0 0 25 0 1 0 421860074 168005632 40454 4294967295 134512640 134672761 3221224576 3221223760 134615964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41017 40454 603 41 0 40976 0
vsize: 164068
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10395
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 40877 0 0 0 53893 116 0 0 25 0 1 0 421860074 169476096 40811 4294967295 134512640 134672761 3221224576 3221223760 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41376 40811 603 41 0 41335 0
vsize: 165504
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 41283 0 0 0 54891 118 0 0 25 0 1 0 421860074 171212800 41217 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41800 41217 603 41 0 41759 0
vsize: 167200
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 41618 0 0 0 55890 119 0 0 25 0 1 0 421860074 172535808 41552 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42123 41552 603 41 0 42082 0
vsize: 168492
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 42165 0 0 0 56890 119 0 0 25 0 1 0 421860074 174788608 42099 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42673 42099 603 41 0 42632 0
vsize: 170692
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 42897 0 0 0 57888 121 0 0 25 0 1 0 421860074 177823744 42831 4294967295 134512640 134672761 3221224576 3221223760 134615608 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43414 42831 603 41 0 43373 0
vsize: 173656
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 43608 0 0 0 58887 123 0 0 25 0 1 0 421860074 180715520 43542 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44120 43542 603 41 0 44079 0
vsize: 176480
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 44187 0 0 0 59884 125 0 0 25 0 1 0 421860074 183066624 44121 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44694 44121 603 41 0 44653 0
vsize: 178776
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 44703 0 0 0 60883 127 0 0 25 0 1 0 421860074 185171968 44637 4294967295 134512640 134672761 3221224576 3221223760 134615505 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45208 44637 603 41 0 45167 0
vsize: 180832
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 45090 0 0 0 61883 127 0 0 25 0 1 0 421860074 186753024 45024 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45594 45024 603 41 0 45553 0
vsize: 182376
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 45435 0 0 0 62882 128 0 0 25 0 1 0 421860074 188203008 45369 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45948 45369 603 41 0 45907 0
vsize: 183792
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 45751 0 0 0 63881 129 0 0 25 0 1 0 421860074 189390848 45685 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46238 45685 603 41 0 46197 0
vsize: 184952
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 46092 0 0 0 64881 130 0 0 25 0 1 0 421860074 190853120 46026 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46595 46026 603 41 0 46554 0
vsize: 186380
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 46447 0 0 0 65880 131 0 0 25 0 1 0 421860074 192331776 46381 4294967295 134512640 134672761 3221224576 3221223760 134615791 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46956 46381 603 41 0 46915 0
vsize: 187824
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 46783 0 0 0 66879 132 0 0 25 0 1 0 421860074 193650688 46717 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47278 46717 603 41 0 47237 0
vsize: 189112
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 47085 0 0 0 67878 133 0 0 25 0 1 0 421860074 194867200 47019 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47575 47019 603 41 0 47534 0
vsize: 190300
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 47428 0 0 0 68877 134 0 0 25 0 1 0 421860074 196321280 47362 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47930 47362 603 41 0 47889 0
vsize: 191720
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 47802 0 0 0 69876 135 0 0 25 0 1 0 421860074 197812224 47736 4294967295 134512640 134672761 3221224576 3221223724 134614482 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48294 47736 603 41 0 48253 0
vsize: 193176
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 48188 0 0 0 70876 136 0 0 25 0 1 0 421860074 199397376 48122 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48681 48122 603 41 0 48640 0
vsize: 194724
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 48498 0 0 0 71875 137 0 0 25 0 1 0 421860074 200736768 48432 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49008 48432 603 41 0 48967 0
vsize: 196032
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 48723 0 0 0 72874 138 0 0 25 0 1 0 421860074 201732096 48657 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49251 48657 603 41 0 49210 0
vsize: 197004
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 48974 0 0 0 73873 139 0 0 25 0 1 0 421860074 202825728 48908 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49518 48908 603 41 0 49477 0
vsize: 198072
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 49250 0 0 0 74873 139 0 0 25 0 1 0 421860074 203915264 49184 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49784 49184 603 41 0 49743 0
vsize: 199136
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 49570 0 0 0 75872 140 0 0 25 0 1 0 421860074 205426688 49504 4294967295 134512640 134672761 3221224576 3221223760 134615940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50153 49504 603 41 0 50112 0
vsize: 200612
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 49809 0 0 0 76872 141 0 0 25 0 1 0 421860074 206389248 49743 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50388 49743 603 41 0 50347 0
vsize: 201552
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 50031 0 0 0 77871 141 0 0 25 0 1 0 421860074 207376384 49965 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50629 49965 603 41 0 50588 0
vsize: 202516
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 50258 0 0 0 78871 142 0 0 25 0 1 0 421860074 208306176 50192 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50856 50192 603 41 0 50815 0
vsize: 203424
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 50548 0 0 0 79870 143 0 0 25 0 1 0 421860074 209408000 50482 4294967295 134512640 134672761 3221224576 3221223760 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51125 50482 603 41 0 51084 0
vsize: 204500
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 50703 0 0 0 80870 143 0 0 25 0 1 0 421860074 210247680 50637 4294967295 134512640 134672761 3221224576 3221223760 134615581 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51330 50637 603 41 0 51289 0
vsize: 205320
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 50862 0 0 0 81870 143 0 0 25 0 1 0 421860074 210821120 50796 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51470 50796 603 41 0 51429 0
vsize: 205880
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 51024 0 0 0 82870 144 0 0 25 0 1 0 421860074 211554304 50958 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51649 50958 603 41 0 51608 0
vsize: 206596
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 51195 0 0 0 83869 145 0 0 25 0 1 0 421860074 212193280 51129 4294967295 134512640 134672761 3221224576 3221223760 134615571 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51805 51129 603 41 0 51764 0
vsize: 207220
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 51369 0 0 0 84869 145 0 0 25 0 1 0 421860074 212967424 51303 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51994 51303 603 41 0 51953 0
vsize: 207976
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 51512 0 0 0 85869 146 0 0 25 0 1 0 421860074 213495808 51446 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52123 51446 603 41 0 52082 0
vsize: 208492
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 51691 0 0 0 86868 146 0 0 25 0 1 0 421860074 214863872 51625 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52457 51625 603 41 0 52416 0
vsize: 209828
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 51922 0 0 0 87868 147 0 0 25 0 1 0 421860074 215658496 51856 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52651 51856 603 41 0 52610 0
vsize: 210604
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 52187 0 0 0 88867 148 0 0 25 0 1 0 421860074 216862720 52121 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52945 52121 603 41 0 52904 0
vsize: 211780
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 52480 0 0 0 89866 149 0 0 25 0 1 0 421860074 218054656 52414 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53236 52414 603 41 0 53195 0
vsize: 212944
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 52837 0 0 0 90865 150 0 0 25 0 1 0 421860074 219512832 52771 4294967295 134512640 134672761 3221224576 3221223776 134610707 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53592 52771 603 41 0 53551 0
vsize: 214368
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 53516 0 0 0 91864 152 0 0 25 0 1 0 421860074 222248960 53450 4294967295 134512640 134672761 3221224576 3221223408 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54260 53450 603 41 0 54219 0
vsize: 217040
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 54180 0 0 0 92863 153 0 0 25 0 1 0 421860074 224972800 54114 4294967295 134512640 134672761 3221224576 3221223760 134615632 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54925 54114 603 41 0 54884 0
vsize: 219700
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 54842 0 0 0 93862 155 0 0 25 0 1 0 421860074 227725312 54776 4294967295 134512640 134672761 3221224576 3221223760 134615758 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55597 54776 603 41 0 55556 0
vsize: 222388
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 55560 0 0 0 94860 156 0 0 25 0 1 0 421860074 230588416 55494 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56296 55494 603 41 0 56255 0
vsize: 225184
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 56274 0 0 0 95858 159 0 0 25 0 1 0 421860074 233455616 56208 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56996 56208 603 41 0 56955 0
vsize: 227984
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 56944 0 0 0 96857 160 0 0 25 0 1 0 421860074 236306432 56878 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 57692 56878 603 41 0 57651 0
vsize: 230768
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 57589 0 0 0 97856 161 0 0 25 0 1 0 421860074 238903296 57523 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 58326 57523 603 41 0 58285 0
vsize: 233304
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 58172 0 0 0 98855 162 0 0 25 0 1 0 421860074 241258496 58106 4294967295 134512640 134672761 3221224576 3221223760 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 58901 58106 603 41 0 58860 0
vsize: 235604
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 58802 0 0 0 99853 164 0 0 25 0 1 0 421860074 243884032 58736 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 59542 58736 603 41 0 59501 0
vsize: 238168
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 59423 0 0 0 100853 165 0 0 25 0 1 0 421860074 246472704 59357 4294967295 134512640 134672761 3221224576 3221223760 134615791 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 60174 59357 603 41 0 60133 0
vsize: 240696
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 59904 0 0 0 101852 166 0 0 25 0 1 0 421860074 248434688 59838 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 60653 59838 603 41 0 60612 0
vsize: 242612
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 60199 0 0 0 102851 167 0 0 25 0 1 0 421860074 249630720 60133 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 60945 60133 603 41 0 60904 0
vsize: 243780
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 60445 0 0 0 103851 168 0 0 25 0 1 0 421860074 250548224 60379 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 61169 60379 603 41 0 61128 0
vsize: 244676
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 60799 0 0 0 104850 168 0 0 25 0 1 0 421860074 252047360 60733 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 61535 60733 603 41 0 61494 0
vsize: 246140
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 61107 0 0 0 105849 170 0 0 25 0 1 0 421860074 253358080 61041 4294967295 134512640 134672761 3221224576 3221223776 134610707 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 61855 61041 603 41 0 61814 0
vsize: 247420
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 61348 0 0 0 106848 171 0 0 25 0 1 0 421860074 254287872 61282 4294967295 134512640 134672761 3221224576 3221223760 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 62082 61282 603 41 0 62041 0
vsize: 248328
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 61590 0 0 0 107847 172 0 0 25 0 1 0 421860074 255352832 61524 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 62342 61524 603 41 0 62301 0
vsize: 249368
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 61820 0 0 0 108846 173 0 0 25 0 1 0 421860074 256270336 61754 4294967295 134512640 134672761 3221224576 3221223760 134615549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 62566 61754 603 41 0 62525 0
vsize: 250264
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 62140 0 0 0 109846 174 0 0 25 0 1 0 421860074 257572864 62074 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 62884 62074 603 41 0 62843 0
vsize: 251536
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 62377 0 0 0 110845 175 0 0 25 0 1 0 421860074 258494464 62311 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 63109 62311 603 41 0 63068 0
vsize: 252436
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 62636 0 0 0 111844 176 0 0 25 0 1 0 421860074 259559424 62570 4294967295 134512640 134672761 3221224576 3221223760 134615703 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 63369 62570 603 41 0 63328 0
vsize: 253476
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 62863 0 0 0 112843 177 0 0 25 0 1 0 421860074 260509696 62797 4294967295 134512640 134672761 3221224576 3221223760 134615549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 63601 62797 603 41 0 63560 0
vsize: 254404
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 63077 0 0 0 113843 177 0 0 25 0 1 0 421860074 261443584 63011 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 63829 63011 603 41 0 63788 0
vsize: 255316
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 63302 0 0 0 114842 178 0 0 25 0 1 0 421860074 262369280 63236 4294967295 134512640 134672761 3221224576 3221223760 134615627 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64055 63236 603 41 0 64014 0
vsize: 256220
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 63555 0 0 0 115841 179 0 0 25 0 1 0 421860074 263299072 63489 4294967295 134512640 134672761 3221224576 3221223760 134615758 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64282 63489 603 41 0 64241 0
vsize: 257128
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 63797 0 0 0 116841 180 0 0 25 0 1 0 421860074 264376320 63731 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64545 63731 603 41 0 64504 0
vsize: 258180
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 64041 0 0 0 117840 181 0 0 25 0 1 0 421860074 265322496 63975 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64776 63975 603 41 0 64735 0
vsize: 259104
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 64377 0 0 0 118840 182 0 0 25 0 1 0 421860074 266797056 64311 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 65136 64311 603 41 0 65095 0
vsize: 260544
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10397
Raw data (stat): 10340 (minisat+) R 10339 5897 5896 0 -1 0 64628 0 0 0 119839 182 0 0 25 0 1 0 421860074 267730944 64562 4294967295 134512640 134672761 3221224576 3221223760 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 65364 64562 603 41 0 65323 0
vsize: 261456
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 10397
Raw data (stat): 10340 (minisat+) Z 10339 5897 5896 0 -1 12 64628 0 0 0 119839 194 0 0 25 0 1 0 421860074 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.16
CPU time (s): 1200.34
CPU user time (s): 1198.4
CPU system time (s): 1.9457
CPU usage (%): 100.015
Max. virtual memory (Kb): 261456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####