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 4675

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        844028 kB
Buffers:         33984 kB
Cached:         121060 kB
SwapCached:       2376 kB
Active:          56208 kB
Inactive:       104192 kB
HighTotal:      131008 kB
HighFree:         6328 kB
LowTotal:       903652 kB
LowFree:        837700 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7036 kB
Slab:            24516 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 20:07:13 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 3516 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 237715 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  237715   478680 |   79238       0        0     nan |  0.000 % |
c |       100 |  237715   478680 |   87161     100     4687    46.9 |  0.000 % |
c |       251 |  237715   478680 |   95877     251    13884    55.3 |  0.000 % |
c |       478 |  237715   478680 |  105465     478    34800    72.8 |  0.000 % |
c |       818 |  237715   478680 |  116012     818    73420    89.8 |  0.000 % |
c |      1324 |  237715   478680 |  127613    1324   170495   128.8 |  0.000 % |
c |      2083 |  237715   478680 |  140374    2083   290241   139.3 |  0.000 % |
c |      3224 |  237715   478680 |  154412    3224   545693   169.3 |  0.000 % |
c |      4934 |  237715   478680 |  169853    4934   854269   173.1 |  0.000 % |
c |      7497 |  237715   478680 |  186839    7497  1546507   206.3 |  0.000 % |
c |     11342 |  237715   478680 |  205522   11342  2310229   203.7 |  0.000 % |
c |     17111 |  237715   478680 |  226075   17111  3510127   205.1 |  0.000 % |
c |     25760 |  237715   478680 |  248682   25760  5122962   198.9 |  0.000 % |
c |     38737 |  237715   478680 |  273551   38737  8543560   220.6 |  0.000 % |
c |     58200 |  237715   478680 |  300906   58200 13346325   229.3 |  0.000 % |
c |     87394 |  237715   478680 |  330996   87394 18565662   212.4 |  0.000 % |
c |    131185 |  237715   478680 |  364096  131185 27153657   207.0 |  0.000 % |
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.42 0.72 0.63 2/55 24717
Raw data (stat): 24717 (runsolver) R 24716 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478591798 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.51 0.73 0.64 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 11359 0 0 0 964 34 0 0 25 0 1 0 478591798 48062464 11292 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11292 603 41 0 11693 0
vsize: 46936
[startup+20.0013 s]
Raw data (loadavg): 0.58 0.74 0.64 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 11360 0 0 0 1964 34 0 0 25 0 1 0 478591798 48062464 11293 4294967295 134512640 134672761 3221224560 3221223708 134560631 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+30.0012 s]
Raw data (loadavg): 0.65 0.75 0.64 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 11360 0 0 0 2963 34 0 0 25 0 1 0 478591798 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+40.0012 s]
Raw data (loadavg): 0.70 0.76 0.64 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 11360 0 0 0 3962 35 0 0 25 0 1 0 478591798 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+50.0008 s]
Raw data (loadavg): 0.75 0.76 0.65 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 11360 0 0 0 4962 35 0 0 25 0 1 0 478591798 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134560867 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+60.0017 s]
Raw data (loadavg): 0.78 0.77 0.65 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 11360 0 0 0 5963 35 0 0 25 0 1 0 478591798 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+70.001 s]
Raw data (loadavg): 0.82 0.78 0.65 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 11360 0 0 0 6963 35 0 0 25 0 1 0 478591798 48062464 11293 4294967295 134512640 134672761 3221224560 3221223664 134560229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+80.0049 s]
Raw data (loadavg): 0.84 0.78 0.66 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 11360 0 0 0 7963 35 0 0 25 0 1 0 478591798 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+90.0055 s]
Raw data (loadavg): 0.87 0.79 0.66 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 11360 0 0 0 8963 35 0 0 25 0 1 0 478591798 48062464 11293 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+100.005 s]
Raw data (loadavg): 0.89 0.80 0.66 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 11470 0 0 0 9963 35 0 0 25 0 1 0 478591798 48594944 11403 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11864 11403 603 41 0 11823 0
vsize: 47456
[startup+110.005 s]
Raw data (loadavg): 0.90 0.80 0.66 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 12078 0 0 0 10961 37 0 0 25 0 1 0 478591798 51159040 12011 4294967295 134512640 134672761 3221224560 3221223728 134561391 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12490 12011 603 41 0 12449 0
vsize: 49960
[startup+120.006 s]
Raw data (loadavg): 0.92 0.81 0.67 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 12759 0 0 0 11960 39 0 0 25 0 1 0 478591798 53977088 12692 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13178 12692 603 41 0 13137 0
vsize: 52712
[startup+130.006 s]
Raw data (loadavg): 0.93 0.82 0.67 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 13267 0 0 0 12959 40 0 0 25 0 1 0 478591798 56000512 13200 4294967295 134512640 134672761 3221224560 3221223728 134560909 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13672 13200 603 41 0 13631 0
vsize: 54688
[startup+140.006 s]
Raw data (loadavg): 0.94 0.82 0.67 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 13741 0 0 0 13958 41 0 0 25 0 1 0 478591798 57892864 13674 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14134 13674 603 41 0 14093 0
vsize: 56536
[startup+150.006 s]
Raw data (loadavg): 0.95 0.83 0.68 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 14143 0 0 0 14958 42 0 0 25 0 1 0 478591798 59645952 14076 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14562 14076 603 41 0 14521 0
vsize: 58248
[startup+160.006 s]
Raw data (loadavg): 0.96 0.83 0.68 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 14519 0 0 0 15957 42 0 0 25 0 1 0 478591798 61136896 14452 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14926 14452 603 41 0 14885 0
vsize: 59704
[startup+170.006 s]
Raw data (loadavg): 0.96 0.84 0.68 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 14870 0 0 0 16957 43 0 0 25 0 1 0 478591798 62619648 14803 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15288 14803 603 41 0 15247 0
vsize: 61152
[startup+180.006 s]
Raw data (loadavg): 0.97 0.84 0.69 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 15243 0 0 0 17955 44 0 0 25 0 1 0 478591798 64106496 15176 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15651 15176 603 41 0 15610 0
vsize: 62604
[startup+190.006 s]
Raw data (loadavg): 0.97 0.85 0.69 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 15573 0 0 0 18955 45 0 0 25 0 1 0 478591798 65454080 15506 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15980 15506 603 41 0 15939 0
vsize: 63920
[startup+200.006 s]
Raw data (loadavg): 0.98 0.85 0.69 2/55 24717
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 15889 0 0 0 19954 46 0 0 25 0 1 0 478591798 66797568 15822 4294967295 134512640 134672761 3221224560 3221223728 134561375 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16308 15822 603 41 0 16267 0
vsize: 65232
[startup+210.007 s]
Raw data (loadavg): 0.98 0.86 0.69 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 16280 0 0 0 20954 47 0 0 25 0 1 0 478591798 68411392 16213 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16702 16213 603 41 0 16661 0
vsize: 66808
[startup+220.007 s]
Raw data (loadavg): 0.98 0.86 0.70 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 16564 0 0 0 21954 47 0 0 25 0 1 0 478591798 69529600 16497 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16975 16497 603 41 0 16934 0
vsize: 67900
[startup+230.007 s]
Raw data (loadavg): 0.98 0.86 0.70 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 16805 0 0 0 22953 48 0 0 25 0 1 0 478591798 70479872 16738 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17207 16738 603 41 0 17166 0
vsize: 68828
[startup+240.006 s]
Raw data (loadavg): 0.99 0.87 0.70 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 17108 0 0 0 23952 49 0 0 25 0 1 0 478591798 71827456 17041 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17536 17041 603 41 0 17495 0
vsize: 70144
[startup+250.006 s]
Raw data (loadavg): 0.99 0.87 0.71 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 17470 0 0 0 24951 50 0 0 25 0 1 0 478591798 73330688 17403 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17903 17403 603 41 0 17862 0
vsize: 71612
[startup+260.007 s]
Raw data (loadavg): 0.99 0.87 0.71 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 17852 0 0 0 25950 51 0 0 25 0 1 0 478591798 74952704 17785 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18299 17785 603 41 0 18258 0
vsize: 73196
[startup+270.007 s]
Raw data (loadavg): 0.99 0.88 0.71 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 18160 0 0 0 26950 52 0 0 25 0 1 0 478591798 76169216 18093 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18596 18093 603 41 0 18555 0
vsize: 74384
[startup+280.007 s]
Raw data (loadavg): 0.99 0.88 0.71 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 18477 0 0 0 27948 53 0 0 25 0 1 0 478591798 77520896 18410 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18926 18410 603 41 0 18885 0
vsize: 75704
[startup+290.007 s]
Raw data (loadavg): 0.99 0.89 0.72 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 18730 0 0 0 28948 53 0 0 25 0 1 0 478591798 78483456 18663 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19161 18663 603 41 0 19120 0
vsize: 76644
[startup+300.007 s]
Raw data (loadavg): 0.99 0.89 0.72 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 19028 0 0 0 29948 54 0 0 25 0 1 0 478591798 79679488 18961 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19453 18961 603 41 0 19412 0
vsize: 77812
[startup+310.008 s]
Raw data (loadavg): 0.99 0.89 0.72 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 19321 0 0 0 30947 55 0 0 25 0 1 0 478591798 80887808 19254 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19748 19254 603 41 0 19707 0
vsize: 78992
[startup+320.008 s]
Raw data (loadavg): 0.99 0.89 0.73 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 19634 0 0 0 31946 56 0 0 25 0 1 0 478591798 82243584 19567 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20079 19567 603 41 0 20038 0
vsize: 80316
[startup+330.009 s]
Raw data (loadavg): 0.99 0.90 0.73 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 19902 0 0 0 32945 57 0 0 25 0 1 0 478591798 83722240 19835 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20440 19835 603 41 0 20399 0
vsize: 81760
[startup+340.01 s]
Raw data (loadavg): 0.99 0.90 0.73 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 20118 0 0 0 33945 58 0 0 25 0 1 0 478591798 84684800 20051 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20675 20051 603 41 0 20634 0
vsize: 82700
[startup+350.009 s]
Raw data (loadavg): 0.99 0.90 0.73 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 20378 0 0 0 34944 59 0 0 25 0 1 0 478591798 85757952 20311 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20937 20311 603 41 0 20896 0
vsize: 83748
[startup+360.01 s]
Raw data (loadavg): 0.99 0.91 0.73 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 20602 0 0 0 35944 60 0 0 25 0 1 0 478591798 86712320 20535 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21170 20535 603 41 0 21129 0
vsize: 84680
[startup+370.01 s]
Raw data (loadavg): 0.99 0.91 0.74 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 20826 0 0 0 36943 60 0 0 25 0 1 0 478591798 87658496 20759 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21401 20759 603 41 0 21360 0
vsize: 85604
[startup+380.01 s]
Raw data (loadavg): 0.99 0.91 0.74 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 21046 0 0 0 37943 61 0 0 25 0 1 0 478591798 88498176 20979 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21606 20979 603 41 0 21565 0
vsize: 86424
[startup+390.01 s]
Raw data (loadavg): 0.99 0.91 0.74 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 21251 0 0 0 38943 61 0 0 25 0 1 0 478591798 89329664 21184 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21809 21184 603 41 0 21768 0
vsize: 87236
[startup+400.011 s]
Raw data (loadavg): 0.99 0.92 0.74 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 21486 0 0 0 39942 62 0 0 25 0 1 0 478591798 90427392 21419 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22077 21419 603 41 0 22036 0
vsize: 88308
[startup+410.01 s]
Raw data (loadavg): 0.99 0.92 0.74 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 21723 0 0 0 40942 62 0 0 25 0 1 0 478591798 91377664 21656 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22309 21656 603 41 0 22268 0
vsize: 89236
[startup+420.01 s]
Raw data (loadavg): 0.99 0.92 0.75 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 21897 0 0 0 41941 63 0 0 25 0 1 0 478591798 92049408 21830 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22473 21830 603 41 0 22432 0
vsize: 89892
[startup+430.01 s]
Raw data (loadavg): 0.99 0.92 0.75 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 22091 0 0 0 42941 63 0 0 25 0 1 0 478591798 92839936 22024 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22666 22024 603 41 0 22625 0
vsize: 90664
[startup+440.011 s]
Raw data (loadavg): 0.99 0.92 0.75 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 22295 0 0 0 43941 64 0 0 25 0 1 0 478591798 93634560 22228 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22860 22228 603 41 0 22819 0
vsize: 91440
[startup+450.01 s]
Raw data (loadavg): 0.99 0.93 0.75 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 22498 0 0 0 44940 64 0 0 25 0 1 0 478591798 94429184 22431 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23054 22431 603 41 0 23013 0
vsize: 92216
[startup+460.01 s]
Raw data (loadavg): 0.99 0.93 0.75 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 22754 0 0 0 45940 65 0 0 25 0 1 0 478591798 95502336 22687 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23316 22687 603 41 0 23275 0
vsize: 93264
[startup+470.01 s]
Raw data (loadavg): 0.99 0.93 0.76 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 22975 0 0 0 46939 66 0 0 25 0 1 0 478591798 96423936 22908 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23541 22908 603 41 0 23500 0
vsize: 94164
[startup+480.01 s]
Raw data (loadavg): 0.99 0.93 0.76 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 23182 0 0 0 47938 67 0 0 25 0 1 0 478591798 97230848 23115 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23738 23115 603 41 0 23697 0
vsize: 94952
[startup+490.011 s]
Raw data (loadavg): 0.99 0.93 0.76 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 23418 0 0 0 48937 68 0 0 25 0 1 0 478591798 98349056 23351 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24011 23351 603 41 0 23970 0
vsize: 96044
[startup+500.011 s]
Raw data (loadavg): 0.99 0.94 0.76 2/55 24719
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 23642 0 0 0 49937 69 0 0 25 0 1 0 478591798 99147776 23575 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24206 23575 603 41 0 24165 0
vsize: 96824
[startup+510.011 s]
Raw data (loadavg): 0.99 0.94 0.76 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 23858 0 0 0 50937 69 0 0 25 0 1 0 478591798 100085760 23791 4294967295 134512640 134672761 3221224560 3221223664 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24435 23791 603 41 0 24394 0
vsize: 97740
[startup+520.01 s]
Raw data (loadavg): 0.99 0.94 0.77 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 24060 0 0 0 51936 70 0 0 25 0 1 0 478591798 100880384 23993 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24629 23993 603 41 0 24588 0
vsize: 98516
[startup+530.01 s]
Raw data (loadavg): 0.99 0.94 0.77 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 24227 0 0 0 52936 71 0 0 25 0 1 0 478591798 101556224 24160 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24794 24160 603 41 0 24753 0
vsize: 99176
[startup+540.011 s]
Raw data (loadavg): 0.99 0.94 0.77 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 24463 0 0 0 53935 71 0 0 25 0 1 0 478591798 102629376 24396 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25056 24396 603 41 0 25015 0
vsize: 100224
[startup+550.011 s]
Raw data (loadavg): 0.99 0.94 0.77 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 24625 0 0 0 54934 72 0 0 25 0 1 0 478591798 103297024 24558 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25219 24558 603 41 0 25178 0
vsize: 100876
[startup+560.011 s]
Raw data (loadavg): 0.99 0.94 0.77 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 24796 0 0 0 55933 72 0 0 25 0 1 0 478591798 103964672 24729 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25382 24729 603 41 0 25341 0
vsize: 101528
[startup+570.011 s]
Raw data (loadavg): 0.99 0.95 0.78 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 24976 0 0 0 56933 73 0 0 25 0 1 0 478591798 104632320 24909 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25545 24909 603 41 0 25504 0
vsize: 102180
[startup+580.011 s]
Raw data (loadavg): 0.99 0.95 0.78 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 25190 0 0 0 57932 74 0 0 25 0 1 0 478591798 105570304 25123 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25774 25123 603 41 0 25733 0
vsize: 103096
[startup+590.011 s]
Raw data (loadavg): 0.99 0.95 0.78 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 25407 0 0 0 58932 74 0 0 25 0 1 0 478591798 106373120 25340 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25970 25340 603 41 0 25929 0
vsize: 103880
[startup+600.011 s]
Raw data (loadavg): 0.99 0.95 0.78 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 25591 0 0 0 59932 75 0 0 25 0 1 0 478591798 107175936 25524 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26166 25524 603 41 0 26125 0
vsize: 104664
[startup+610.011 s]
Raw data (loadavg): 0.99 0.95 0.78 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 25824 0 0 0 60931 75 0 0 25 0 1 0 478591798 108105728 25757 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26393 25757 603 41 0 26352 0
vsize: 105572
[startup+620.011 s]
Raw data (loadavg): 0.99 0.95 0.79 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 26011 0 0 0 61931 76 0 0 25 0 1 0 478591798 108810240 25944 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26565 25944 603 41 0 26524 0
vsize: 106260
[startup+630.011 s]
Raw data (loadavg): 0.99 0.95 0.79 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 26163 0 0 0 62931 77 0 0 25 0 1 0 478591798 109486080 26096 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26730 26096 603 41 0 26689 0
vsize: 106920
[startup+640.012 s]
Raw data (loadavg): 0.99 0.95 0.79 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 26360 0 0 0 63930 77 0 0 25 0 1 0 478591798 110276608 26293 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26923 26293 603 41 0 26882 0
vsize: 107692
[startup+650.011 s]
Raw data (loadavg): 0.99 0.95 0.79 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 26527 0 0 0 64930 78 0 0 25 0 1 0 478591798 110977024 26460 4294967295 134512640 134672761 3221224560 3221223728 134561256 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27094 26460 603 41 0 27053 0
vsize: 108376
[startup+660.011 s]
Raw data (loadavg): 0.99 0.95 0.79 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 26710 0 0 0 65929 78 0 0 25 0 1 0 478591798 111775744 26643 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27289 26643 603 41 0 27248 0
vsize: 109156
[startup+670.011 s]
Raw data (loadavg): 0.99 0.95 0.80 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 26871 0 0 0 66929 79 0 0 25 0 1 0 478591798 112459776 26804 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27456 26804 603 41 0 27415 0
vsize: 109824
[startup+680.012 s]
Raw data (loadavg): 0.99 0.96 0.80 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 27050 0 0 0 67928 80 0 0 25 0 1 0 478591798 113127424 26983 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27619 26983 603 41 0 27578 0
vsize: 110476
[startup+690.013 s]
Raw data (loadavg): 0.99 0.96 0.80 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 27176 0 0 0 68929 80 0 0 25 0 1 0 478591798 113664000 27109 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27750 27109 603 41 0 27709 0
vsize: 111000
[startup+700.012 s]
Raw data (loadavg): 0.99 0.96 0.80 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 27302 0 0 0 69928 80 0 0 25 0 1 0 478591798 114249728 27235 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27893 27235 603 41 0 27852 0
vsize: 111572
[startup+710.011 s]
Raw data (loadavg): 0.99 0.96 0.80 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 27432 0 0 0 70928 81 0 0 25 0 1 0 478591798 114843648 27365 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28038 27365 603 41 0 27997 0
vsize: 112152
[startup+720.011 s]
Raw data (loadavg): 0.99 0.96 0.81 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 27596 0 0 0 71928 81 0 0 25 0 1 0 478591798 115384320 27529 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28170 27529 603 41 0 28129 0
vsize: 112680
[startup+730.011 s]
Raw data (loadavg): 0.99 0.96 0.81 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 27737 0 0 0 72927 82 0 0 25 0 1 0 478591798 116072448 27670 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28338 27670 603 41 0 28297 0
vsize: 113352
[startup+740.012 s]
Raw data (loadavg): 0.99 0.96 0.81 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 27871 0 0 0 73927 83 0 0 25 0 1 0 478591798 116625408 27804 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28473 27804 603 41 0 28432 0
vsize: 113892
[startup+750.012 s]
Raw data (loadavg): 0.99 0.96 0.81 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 28002 0 0 0 74927 83 0 0 25 0 1 0 478591798 117161984 27935 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28604 27935 603 41 0 28563 0
vsize: 114416
[startup+760.012 s]
Raw data (loadavg): 0.99 0.96 0.81 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 28142 0 0 0 75926 84 0 0 25 0 1 0 478591798 117698560 28075 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28735 28075 603 41 0 28694 0
vsize: 114940
[startup+770.012 s]
Raw data (loadavg): 0.99 0.96 0.81 2/55 24721
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 28297 0 0 0 76926 84 0 0 25 0 1 0 478591798 118370304 28230 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28899 28230 603 41 0 28858 0
vsize: 115596
[startup+780.012 s]
Raw data (loadavg): 1.07 0.98 0.82 2/55 24774
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 28461 0 0 0 77924 86 0 0 25 0 1 0 478591798 119033856 28394 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29061 28394 603 41 0 29020 0
vsize: 116244
[startup+790.012 s]
Raw data (loadavg): 1.06 0.98 0.82 2/55 24774
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 28614 0 0 0 78923 86 0 0 25 0 1 0 478591798 119623680 28547 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29205 28547 603 41 0 29164 0
vsize: 116820
[startup+800.011 s]
Raw data (loadavg): 1.05 0.98 0.82 2/55 24774
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 28749 0 0 0 79923 87 0 0 25 0 1 0 478591798 120291328 28682 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29368 28682 603 41 0 29327 0
vsize: 117472
[startup+810.01 s]
Raw data (loadavg): 1.04 0.98 0.82 2/55 24776
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 28894 0 0 0 80922 88 0 0 25 0 1 0 478591798 120832000 28827 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29500 28827 603 41 0 29459 0
vsize: 118000
[startup+820.011 s]
Raw data (loadavg): 1.03 0.98 0.83 2/55 24776
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 29010 0 0 0 81922 89 0 0 25 0 1 0 478591798 121233408 28943 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29598 28943 603 41 0 29557 0
vsize: 118392
[startup+830.011 s]
Raw data (loadavg): 1.03 0.98 0.83 2/55 24776
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 29141 0 0 0 82921 89 0 0 25 0 1 0 478591798 121896960 29074 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29760 29074 603 41 0 29719 0
vsize: 119040
[startup+840.01 s]
Raw data (loadavg): 1.02 0.98 0.83 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 29267 0 0 0 83920 90 0 0 25 0 1 0 478591798 122298368 29200 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29858 29200 603 41 0 29817 0
vsize: 119432
[startup+850.011 s]
Raw data (loadavg): 1.02 0.98 0.83 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 29403 0 0 0 84920 91 0 0 25 0 1 0 478591798 122966016 29336 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30021 29336 603 41 0 29980 0
vsize: 120084
[startup+860.011 s]
Raw data (loadavg): 1.02 0.98 0.83 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 29547 0 0 0 85919 92 0 0 25 0 1 0 478591798 123506688 29480 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30153 29480 603 41 0 30112 0
vsize: 120612
[startup+870.011 s]
Raw data (loadavg): 1.01 0.98 0.83 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 29683 0 0 0 86919 92 0 0 25 0 1 0 478591798 124051456 29616 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30286 29616 603 41 0 30245 0
vsize: 121144
[startup+880.011 s]
Raw data (loadavg): 1.01 0.98 0.83 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 29818 0 0 0 87918 93 0 0 25 0 1 0 478591798 124588032 29751 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30417 29751 603 41 0 30376 0
vsize: 121668
[startup+890.011 s]
Raw data (loadavg): 1.01 0.98 0.83 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 29978 0 0 0 88918 94 0 0 25 0 1 0 478591798 125259776 29911 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30581 29911 603 41 0 30540 0
vsize: 122324
[startup+900.011 s]
Raw data (loadavg): 1.01 0.98 0.83 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 30138 0 0 0 89917 95 0 0 25 0 1 0 478591798 125931520 30071 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30745 30071 603 41 0 30704 0
vsize: 122980
[startup+910.01 s]
Raw data (loadavg): 1.00 0.98 0.83 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 30292 0 0 0 90916 96 0 0 25 0 1 0 478591798 126595072 30225 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30907 30225 603 41 0 30866 0
vsize: 123628
[startup+920.011 s]
Raw data (loadavg): 1.00 0.98 0.84 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 30405 0 0 0 91915 97 0 0 25 0 1 0 478591798 127143936 30338 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31041 30338 603 41 0 31000 0
vsize: 124164
[startup+930.011 s]
Raw data (loadavg): 1.00 0.98 0.84 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 30504 0 0 0 92914 98 0 0 25 0 1 0 478591798 127545344 30437 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31139 30437 603 41 0 31098 0
vsize: 124556
[startup+940.01 s]
Raw data (loadavg): 1.00 0.98 0.84 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 30620 0 0 0 93913 99 0 0 25 0 1 0 478591798 127942656 30553 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31236 30553 603 41 0 31195 0
vsize: 124944
[startup+950.01 s]
Raw data (loadavg): 1.00 0.98 0.84 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 30762 0 0 0 94913 100 0 0 25 0 1 0 478591798 128618496 30695 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31401 30695 603 41 0 31360 0
vsize: 125604
[startup+960.009 s]
Raw data (loadavg): 1.00 0.98 0.84 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 30920 0 0 0 95912 100 0 0 25 0 1 0 478591798 129146880 30853 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31530 30853 603 41 0 31489 0
vsize: 126120
[startup+970.009 s]
Raw data (loadavg): 1.00 0.98 0.84 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 31064 0 0 0 96912 101 0 0 25 0 1 0 478591798 129814528 30997 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31693 30997 603 41 0 31652 0
vsize: 126772
[startup+980.009 s]
Raw data (loadavg): 1.00 0.98 0.84 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 31180 0 0 0 97911 101 0 0 25 0 1 0 478591798 130220032 31113 4294967295 134512640 134672761 3221224560 3221223728 134560920 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31792 31113 603 41 0 31751 0
vsize: 127168
[startup+990.009 s]
Raw data (loadavg): 1.00 0.98 0.84 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 31304 0 0 0 98911 102 0 0 25 0 1 0 478591798 130748416 31237 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31921 31237 603 41 0 31880 0
vsize: 127684
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.98 0.84 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 31402 0 0 0 99910 103 0 0 25 0 1 0 478591798 131153920 31335 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32020 31335 603 41 0 31979 0
vsize: 128080
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.98 0.84 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 31509 0 0 0 100910 104 0 0 25 0 1 0 478591798 131694592 31442 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32152 31442 603 41 0 32111 0
vsize: 128608
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 31637 0 0 0 101909 104 0 0 25 0 1 0 478591798 132100096 31570 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32251 31570 603 41 0 32210 0
vsize: 129004
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 31751 0 0 0 102909 105 0 0 25 0 1 0 478591798 132636672 31684 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32382 31684 603 41 0 32341 0
vsize: 129528
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 31861 0 0 0 103909 105 0 0 25 0 1 0 478591798 133042176 31794 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32481 31794 603 41 0 32440 0
vsize: 129924
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 31991 0 0 0 104909 105 0 0 25 0 1 0 478591798 133578752 31924 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32612 31924 603 41 0 32571 0
vsize: 130448
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 32130 0 0 0 105909 106 0 0 25 0 1 0 478591798 134307840 32063 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32790 32063 603 41 0 32749 0
vsize: 131160
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 32256 0 0 0 106908 106 0 0 25 0 1 0 478591798 134701056 32189 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32886 32189 603 41 0 32845 0
vsize: 131544
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 32409 0 0 0 107909 106 0 0 25 0 1 0 478591798 135368704 32342 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33049 32342 603 41 0 33008 0
vsize: 132196
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 32593 0 0 0 108908 107 0 0 25 0 1 0 478591798 136167424 32526 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33244 32526 603 41 0 33203 0
vsize: 132976
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24778
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 32759 0 0 0 109908 107 0 0 25 0 1 0 478591798 136839168 32692 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33408 32692 603 41 0 33367 0
vsize: 133632
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24780
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 32903 0 0 0 110908 107 0 0 25 0 1 0 478591798 137510912 32836 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33572 32836 603 41 0 33531 0
vsize: 134288
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.98 0.85 2/55 24782
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 33090 0 0 0 111907 108 0 0 25 0 1 0 478591798 138178560 33023 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33735 33023 603 41 0 33694 0
vsize: 134940
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.98 0.86 2/55 24782
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 33214 0 0 0 112907 109 0 0 25 0 1 0 478591798 138752000 33147 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33875 33147 603 41 0 33834 0
vsize: 135500
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.98 0.86 2/55 24782
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 33305 0 0 0 113907 109 0 0 25 0 1 0 478591798 139157504 33238 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33974 33238 603 41 0 33933 0
vsize: 135896
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.98 0.86 2/55 24782
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 33395 0 0 0 114907 109 0 0 25 0 1 0 478591798 139419648 33328 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34038 33328 603 41 0 33997 0
vsize: 136152
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.98 0.86 2/55 24782
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 33521 0 0 0 115906 110 0 0 25 0 1 0 478591798 139968512 33454 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34172 33454 603 41 0 34131 0
vsize: 136688
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.98 0.86 2/55 24782
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 33685 0 0 0 116906 110 0 0 25 0 1 0 478591798 141156352 33618 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34462 33618 603 41 0 34421 0
vsize: 137848
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.98 0.86 2/55 24782
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 33855 0 0 0 117905 110 0 0 25 0 1 0 478591798 141983744 33788 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34664 33788 603 41 0 34623 0
vsize: 138656
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.98 0.86 2/55 24782
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 33979 0 0 0 118905 111 0 0 25 0 1 0 478591798 142401536 33912 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34766 33912 603 41 0 34725 0
vsize: 139064
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.98 0.86 2/55 24782
Raw data (stat): 24717 (minisat+) R 24716 20838 20837 0 -1 0 34123 0 0 0 119905 111 0 0 25 0 1 0 478591798 143036416 34056 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34921 34056 603 41 0 34880 0
vsize: 139684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.98 0.86 1/55 24782
Raw data (stat): 24717 (minisat+) Z 24716 20838 20837 0 -1 12 34126 0 0 0 119905 118 0 0 25 0 1 0 478591798 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.07
CPU time (s): 1200.24
CPU user time (s): 1199.05
CPU system time (s): 1.18282
CPU usage (%): 100.014
Max. virtual memory (Kb): 139684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####