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 4876

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc32 THE 2005-04-13 20:37:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1184 boxname=wulflinc32 idbench=132 idsolver=5 numberseed=0
MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4  /oldhome/oroussel/solvers/minisat+
MD5SUM BENCH:  9cfcc49797c7ac58bfef2056b3d91b66  /oldhome/oroussel/tmp/wulflinc32/normalized-g250.15.opb
REAL COMMAND:  minisat+ /oldhome/oroussel/tmp/wulflinc32/normalized-g250.15.opb
IDLAUNCH: 1184
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.085
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.085
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:      1034724 kB
MemFree:        741172 kB
Buffers:         33904 kB
Cached:         147600 kB
SwapCached:       1212 kB
Active:         144660 kB
Inactive:       117168 kB
HighTotal:      131072 kB
HighFree:          256 kB
LowTotal:       903652 kB
LowFree:        740916 kB
SwapTotal:     2097892 kB
SwapFree:      2096680 kB
Dirty:            2244 kB
Writeback:           0 kB
Mapped:          81768 kB
Slab:            25980 kB
Committed_AS:   174000 kB
PageTables:        432 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 20:57:20 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 1184 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 237715 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  237715   478680 |   79238       0        0     nan |  0.000 % |
c |       100 |  237715   478680 |   87161     100     4687    46.9 |  0.000 % |
c |       251 |  237715   478680 |   95877     251    13884    55.3 |  0.000 % |
c |       478 |  237715   478680 |  105465     478    34800    72.8 |  0.000 % |
c |       818 |  237715   478680 |  116012     818    73420    89.8 |  0.000 % |
c |      1324 |  237715   478680 |  127613    1324   170495   128.8 |  0.000 % |
c |      2083 |  237715   478680 |  140374    2083   290241   139.3 |  0.000 % |
c |      3224 |  237715   478680 |  154412    3224   545693   169.3 |  0.000 % |
c |      4934 |  237715   478680 |  169853    4934   854269   173.1 |  0.000 % |
c |      7497 |  237715   478680 |  186839    7497  1546507   206.3 |  0.000 % |
c |     11342 |  237715   478680 |  205522   11342  2310229   203.7 |  0.000 % |
c |     17111 |  237715   478680 |  226075   17111  3510127   205.1 |  0.000 % |
c |     25760 |  237715   478680 |  248682   25760  5122962   198.9 |  0.000 % |
c |     38737 |  237715   478680 |  273551   38737  8543560   220.6 |  0.000 % |
c |     58200 |  237715   478680 |  300906   58200 13346325   229.3 |  0.000 % |
c |     87394 |  237715   478680 |  330996   87394 18565662   212.4 |  0.000 % |
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/53 11123
Raw data (stat): 11123 (runsolver) R 11122 7987 7986 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478880659 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11359 0 0 0 967 31 0 0 25 0 1 0 478880659 48062464 11292 4294967295 134512640 134672761 3221224640 3221223824 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11734 11292 603 41 0 11693 0
vsize: 46936
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11360 0 0 0 1966 31 0 0 25 0 1 0 478880659 48062464 11293 4294967295 134512640 134672761 3221224640 3221223808 134560836 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.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11360 0 0 0 2965 31 0 0 25 0 1 0 478880659 48062464 11293 4294967295 134512640 134672761 3221224640 3221223764 134566059 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.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11360 0 0 0 3965 31 0 0 25 0 1 0 478880659 48062464 11293 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.96 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11360 0 0 0 4966 31 0 0 25 0 1 0 478880659 48062464 11293 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11360 0 0 0 5966 31 0 0 25 0 1 0 478880659 48062464 11293 4294967295 134512640 134672761 3221224640 3221223808 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.96 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11360 0 0 0 6966 31 0 0 25 0 1 0 478880659 48062464 11293 4294967295 134512640 134672761 3221224640 3221223824 134559161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.96 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11360 0 0 0 7966 31 0 0 25 0 1 0 478880659 48062464 11293 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.96 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11360 0 0 0 8966 31 0 0 25 0 1 0 478880659 48062464 11293 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11360 0 0 0 9966 31 0 0 25 0 1 0 478880659 48062464 11293 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11734 11293 603 41 0 11693 0
vsize: 46936
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 11908 0 0 0 10965 33 0 0 25 0 1 0 478880659 50487296 11841 4294967295 134512640 134672761 3221224640 3221223824 134559592 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12326 11841 603 41 0 12285 0
vsize: 49304
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 12553 0 0 0 11963 35 0 0 25 0 1 0 478880659 53039104 12486 4294967295 134512640 134672761 3221224640 3221223824 134559031 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12949 12486 603 41 0 12908 0
vsize: 51796
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 13099 0 0 0 12960 38 0 0 25 0 1 0 478880659 55324672 13032 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13507 13032 603 41 0 13466 0
vsize: 54028
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 13578 0 0 0 13959 39 0 0 25 0 1 0 478880659 57352192 13511 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14002 13511 603 41 0 13961 0
vsize: 56008
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 13979 0 0 0 14959 40 0 0 25 0 1 0 478880659 58974208 13912 4294967295 134512640 134672761 3221224640 3221223824 134558687 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14398 13912 603 41 0 14357 0
vsize: 57592
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 14362 0 0 0 15958 41 0 0 25 0 1 0 478880659 60456960 14295 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14760 14295 603 41 0 14719 0
vsize: 59040
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 14710 0 0 0 16957 42 0 0 25 0 1 0 478880659 61947904 14643 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15124 14643 603 41 0 15083 0
vsize: 60496
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 15043 0 0 0 17955 44 0 0 25 0 1 0 478880659 63295488 14976 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15453 14976 603 41 0 15412 0
vsize: 61812
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 15383 0 0 0 18954 45 0 0 25 0 1 0 478880659 64647168 15316 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15783 15316 603 41 0 15742 0
vsize: 63132
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 15713 0 0 0 19953 46 0 0 25 0 1 0 478880659 65994752 15646 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16112 15646 603 41 0 16071 0
vsize: 64448
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 16051 0 0 0 20953 46 0 0 25 0 1 0 478880659 67338240 15984 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16440 15984 603 41 0 16399 0
vsize: 65760
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 16392 0 0 0 21952 47 0 0 25 0 1 0 478880659 68841472 16325 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16807 16325 603 41 0 16766 0
vsize: 67228
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 16638 0 0 0 22952 48 0 0 25 0 1 0 478880659 69799936 16571 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17041 16571 603 41 0 17000 0
vsize: 68164
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 16874 0 0 0 23952 49 0 0 25 0 1 0 478880659 70881280 16807 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17305 16807 603 41 0 17264 0
vsize: 69220
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 17214 0 0 0 24951 50 0 0 25 0 1 0 478880659 72232960 17147 4294967295 134512640 134672761 3221224640 3221223824 134558937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17635 17147 603 41 0 17594 0
vsize: 70540
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 17530 0 0 0 25951 50 0 0 25 0 1 0 478880659 73601024 17463 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17969 17463 603 41 0 17928 0
vsize: 71876
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 17903 0 0 0 26950 51 0 0 25 0 1 0 478880659 75087872 17836 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18332 17836 603 41 0 18291 0
vsize: 73328
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 18204 0 0 0 27949 52 0 0 25 0 1 0 478880659 76304384 18137 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18629 18137 603 41 0 18588 0
vsize: 74516
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 18493 0 0 0 28948 53 0 0 25 0 1 0 478880659 77520896 18426 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18926 18426 603 41 0 18885 0
vsize: 75704
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 18741 0 0 0 29947 54 0 0 25 0 1 0 478880659 78614528 18674 4294967295 134512640 134672761 3221224640 3221223808 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19193 18674 603 41 0 19152 0
vsize: 76772
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 19037 0 0 0 30946 55 0 0 25 0 1 0 478880659 79810560 18970 4294967295 134512640 134672761 3221224640 3221223780 134560556 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19485 18970 603 41 0 19444 0
vsize: 77940
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 19316 0 0 0 31946 56 0 0 25 0 1 0 478880659 80887808 19249 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19748 19249 603 41 0 19707 0
vsize: 78992
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 19591 0 0 0 32945 57 0 0 25 0 1 0 478880659 82108416 19524 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20046 19524 603 41 0 20005 0
vsize: 80184
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 19888 0 0 0 33945 58 0 0 25 0 1 0 478880659 83460096 19821 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20376 19821 603 41 0 20335 0
vsize: 81504
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 20091 0 0 0 34944 58 0 0 25 0 1 0 478880659 84549632 20024 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20642 20024 603 41 0 20601 0
vsize: 82568
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 20334 0 0 0 35944 59 0 0 25 0 1 0 478880659 85491712 20267 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20872 20267 603 41 0 20831 0
vsize: 83488
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 20565 0 0 0 36943 60 0 0 25 0 1 0 478880659 86577152 20498 4294967295 134512640 134672761 3221224640 3221223824 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21137 20498 603 41 0 21096 0
vsize: 84548
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 20780 0 0 0 37943 60 0 0 25 0 1 0 478880659 87388160 20713 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21335 20713 603 41 0 21294 0
vsize: 85340
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 20977 0 0 0 38942 61 0 0 25 0 1 0 478880659 88236032 20910 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21542 20910 603 41 0 21501 0
vsize: 86168
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 21202 0 0 0 39942 61 0 0 25 0 1 0 478880659 89198592 21135 4294967295 134512640 134672761 3221224640 3221223744 134560410 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21777 21135 603 41 0 21736 0
vsize: 87108
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 21398 0 0 0 40942 62 0 0 25 0 1 0 478880659 90025984 21331 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21979 21331 603 41 0 21938 0
vsize: 87916
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 21637 0 0 0 41941 63 0 0 25 0 1 0 478880659 90968064 21570 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22209 21570 603 41 0 22168 0
vsize: 88836
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 21810 0 0 0 42941 63 0 0 25 0 1 0 478880659 91643904 21743 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22374 21743 603 41 0 22333 0
vsize: 89496
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 21987 0 0 0 43941 64 0 0 25 0 1 0 478880659 92446720 21920 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22570 21920 603 41 0 22529 0
vsize: 90280
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 22186 0 0 0 44940 65 0 0 25 0 1 0 478880659 93237248 22119 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22763 22119 603 41 0 22722 0
vsize: 91052
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 22371 0 0 0 45940 65 0 0 25 0 1 0 478880659 93896704 22304 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22924 22304 603 41 0 22883 0
vsize: 91696
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 22595 0 0 0 46939 66 0 0 25 0 1 0 478880659 94834688 22528 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23153 22528 603 41 0 23112 0
vsize: 92612
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 22827 0 0 0 47939 67 0 0 25 0 1 0 478880659 95768576 22760 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23381 22760 603 41 0 23340 0
vsize: 93524
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 23046 0 0 0 48938 67 0 0 25 0 1 0 478880659 96698368 22979 4294967295 134512640 134672761 3221224640 3221223808 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23608 22979 603 41 0 23567 0
vsize: 94432
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 23228 0 0 0 49938 68 0 0 25 0 1 0 478880659 97533952 23161 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23812 23161 603 41 0 23771 0
vsize: 95248
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 23470 0 0 0 50937 69 0 0 25 0 1 0 478880659 98480128 23403 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24043 23403 603 41 0 24002 0
vsize: 96172
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 23680 0 0 0 51937 69 0 0 25 0 1 0 478880659 99282944 23613 4294967295 134512640 134672761 3221224640 3221223808 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24239 23613 603 41 0 24198 0
vsize: 96956
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 23891 0 0 0 52937 70 0 0 25 0 1 0 478880659 100216832 23824 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24467 23824 603 41 0 24426 0
vsize: 97868
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 24077 0 0 0 53937 70 0 0 25 0 1 0 478880659 101015552 24010 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24662 24010 603 41 0 24621 0
vsize: 98648
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 24237 0 0 0 54935 71 0 0 25 0 1 0 478880659 101687296 24170 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24826 24170 603 41 0 24785 0
vsize: 99304
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 24466 0 0 0 55935 72 0 0 25 0 1 0 478880659 102629376 24399 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25056 24399 603 41 0 25015 0
vsize: 100224
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 24624 0 0 0 56934 73 0 0 25 0 1 0 478880659 103161856 24557 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25186 24557 603 41 0 25145 0
vsize: 100744
[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 24786 0 0 0 57934 73 0 0 25 0 1 0 478880659 103833600 24719 4294967295 134512640 134672761 3221224640 3221223808 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25350 24719 603 41 0 25309 0
vsize: 101400
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 24958 0 0 0 58934 73 0 0 25 0 1 0 478880659 104632320 24891 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25545 24891 603 41 0 25504 0
vsize: 102180
[startup+600.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 25167 0 0 0 59933 74 0 0 25 0 1 0 478880659 105426944 25100 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25739 25100 603 41 0 25698 0
vsize: 102956
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 25364 0 0 0 60933 75 0 0 25 0 1 0 478880659 106242048 25297 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25938 25297 603 41 0 25897 0
vsize: 103752
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 25553 0 0 0 61933 76 0 0 25 0 1 0 478880659 107040768 25486 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26133 25486 603 41 0 26092 0
vsize: 104532
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 25778 0 0 0 62932 77 0 0 25 0 1 0 478880659 107974656 25711 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26361 25711 603 41 0 26320 0
vsize: 105444
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 25956 0 0 0 63931 77 0 0 25 0 1 0 478880659 108675072 25889 4294967295 134512640 134672761 3221224640 3221223808 134561161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26532 25889 603 41 0 26491 0
vsize: 106128
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 26110 0 0 0 64931 78 0 0 25 0 1 0 478880659 109215744 26043 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26664 26043 603 41 0 26623 0
vsize: 106656
[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 26277 0 0 0 65931 78 0 0 25 0 1 0 478880659 110010368 26210 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26858 26210 603 41 0 26817 0
vsize: 107432
[startup+670.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 26453 0 0 0 66930 79 0 0 25 0 1 0 478880659 110706688 26386 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27028 26386 603 41 0 26987 0
vsize: 108112
[startup+680.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 26619 0 0 0 67930 79 0 0 25 0 1 0 478880659 111378432 26552 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27192 26552 603 41 0 27151 0
vsize: 108768
[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 26784 0 0 0 68930 80 0 0 25 0 1 0 478880659 112046080 26717 4294967295 134512640 134672761 3221224640 3221223824 134558758 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27355 26717 603 41 0 27314 0
vsize: 109420
[startup+700.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 26941 0 0 0 69929 81 0 0 25 0 1 0 478880659 112730112 26874 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27522 26874 603 41 0 27481 0
vsize: 110088
[startup+710.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 27096 0 0 0 70929 81 0 0 25 0 1 0 478880659 113258496 27029 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27651 27029 603 41 0 27610 0
vsize: 110604
[startup+720.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 27219 0 0 0 71929 82 0 0 25 0 1 0 478880659 113799168 27152 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27783 27152 603 41 0 27742 0
vsize: 111132
[startup+730.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 27337 0 0 0 72929 82 0 0 25 0 1 0 478880659 114384896 27270 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27926 27270 603 41 0 27885 0
vsize: 111704
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 27472 0 0 0 73928 83 0 0 25 0 1 0 478880659 114978816 27405 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28071 27405 603 41 0 28030 0
vsize: 112284
[startup+750.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 27631 0 0 0 74928 83 0 0 25 0 1 0 478880659 115535872 27564 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28207 27564 603 41 0 28166 0
vsize: 112828
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 27767 0 0 0 75927 84 0 0 25 0 1 0 478880659 116072448 27700 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28338 27700 603 41 0 28297 0
vsize: 113352
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 27894 0 0 0 76927 85 0 0 25 0 1 0 478880659 116760576 27827 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28506 27827 603 41 0 28465 0
vsize: 114024
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 28018 0 0 0 77927 85 0 0 25 0 1 0 478880659 117161984 27951 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28604 27951 603 41 0 28563 0
vsize: 114416
[startup+790.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 28158 0 0 0 78927 85 0 0 25 0 1 0 478880659 117833728 28091 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28768 28091 603 41 0 28727 0
vsize: 115072
[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 28303 0 0 0 79927 86 0 0 25 0 1 0 478880659 118370304 28236 4294967295 134512640 134672761 3221224640 3221223808 134561014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28899 28236 603 41 0 28858 0
vsize: 115596
[startup+810.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 28464 0 0 0 80926 86 0 0 25 0 1 0 478880659 119033856 28397 4294967295 134512640 134672761 3221224640 3221223808 134560833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29061 28397 603 41 0 29020 0
vsize: 116244
[startup+820.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 28613 0 0 0 81926 87 0 0 25 0 1 0 478880659 119623680 28546 4294967295 134512640 134672761 3221224640 3221223808 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29205 28546 603 41 0 29164 0
vsize: 116820
[startup+830.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 28739 0 0 0 82926 87 0 0 25 0 1 0 478880659 120156160 28672 4294967295 134512640 134672761 3221224640 3221223744 134560218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29335 28673 603 41 0 29294 0
vsize: 117340
[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 28883 0 0 0 83926 87 0 0 25 0 1 0 478880659 120832000 28816 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29500 28816 603 41 0 29459 0
vsize: 118000
[startup+850.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 28998 0 0 0 84926 88 0 0 25 0 1 0 478880659 121233408 28931 4294967295 134512640 134672761 3221224640 3221223696 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29598 28931 603 41 0 29557 0
vsize: 118392
[startup+860.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 29123 0 0 0 85926 88 0 0 25 0 1 0 478880659 121761792 29056 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29727 29056 603 41 0 29686 0
vsize: 118908
[startup+870.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 29239 0 0 0 86925 89 0 0 25 0 1 0 478880659 122298368 29172 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29858 29172 603 41 0 29817 0
vsize: 119432
[startup+880.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 29369 0 0 0 87925 90 0 0 25 0 1 0 478880659 122699776 29302 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29956 29302 603 41 0 29915 0
vsize: 119824
[startup+890.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 29503 0 0 0 88925 90 0 0 25 0 1 0 478880659 123371520 29436 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30120 29436 603 41 0 30079 0
vsize: 120480
[startup+900.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 29636 0 0 0 89925 90 0 0 25 0 1 0 478880659 123912192 29569 4294967295 134512640 134672761 3221224640 3221223808 134561014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30252 29569 603 41 0 30211 0
vsize: 121008
[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 29774 0 0 0 90925 90 0 0 25 0 1 0 478880659 124452864 29707 4294967295 134512640 134672761 3221224640 3221223808 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30384 29707 603 41 0 30343 0
vsize: 121536
[startup+920.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 29914 0 0 0 91925 91 0 0 25 0 1 0 478880659 124989440 29847 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30515 29847 603 41 0 30474 0
vsize: 122060
[startup+930.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 30071 0 0 0 92925 91 0 0 25 0 1 0 478880659 125661184 30004 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30679 30004 603 41 0 30638 0
vsize: 122716
[startup+940.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 30233 0 0 0 93924 92 0 0 25 0 1 0 478880659 126324736 30166 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30841 30167 603 41 0 30800 0
vsize: 123364
[startup+950.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 30356 0 0 0 94924 92 0 0 25 0 1 0 478880659 126865408 30289 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30973 30289 603 41 0 30932 0
vsize: 123892
[startup+960.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 30455 0 0 0 95924 92 0 0 25 0 1 0 478880659 127279104 30388 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31074 30388 603 41 0 31033 0
vsize: 124296
[startup+970.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 30558 0 0 0 96924 93 0 0 25 0 1 0 478880659 127680512 30491 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31172 30491 603 41 0 31131 0
vsize: 124688
[startup+980.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 30669 0 0 0 97924 93 0 0 25 0 1 0 478880659 128212992 30602 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31302 30602 603 41 0 31261 0
vsize: 125208
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 30815 0 0 0 98923 93 0 0 25 0 1 0 478880659 128753664 30748 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31434 30748 603 41 0 31393 0
vsize: 125736
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 30981 0 0 0 99923 94 0 0 25 0 1 0 478880659 129413120 30914 4294967295 134512640 134672761 3221224640 3221223808 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31595 30914 603 41 0 31554 0
vsize: 126380
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 31099 0 0 0 100923 94 0 0 25 0 1 0 478880659 129949696 31032 4294967295 134512640 134672761 3221224640 3221223808 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31726 31032 603 41 0 31685 0
vsize: 126904
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 31225 0 0 0 101923 95 0 0 25 0 1 0 478880659 130482176 31158 4294967295 134512640 134672761 3221224640 3221223808 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31856 31158 603 41 0 31815 0
vsize: 127424
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 31327 0 0 0 102923 95 0 0 25 0 1 0 478880659 130883584 31260 4294967295 134512640 134672761 3221224640 3221223808 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31954 31260 603 41 0 31913 0
vsize: 127816
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 31423 0 0 0 103923 95 0 0 25 0 1 0 478880659 131289088 31356 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32053 31356 603 41 0 32012 0
vsize: 128212
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 31535 0 0 0 104923 95 0 0 25 0 1 0 478880659 131694592 31468 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32152 31468 603 41 0 32111 0
vsize: 128608
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 31658 0 0 0 105923 96 0 0 25 0 1 0 478880659 132235264 31591 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32284 31591 603 41 0 32243 0
vsize: 129136
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 31762 0 0 0 106923 96 0 0 25 0 1 0 478880659 132636672 31695 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32382 31695 603 41 0 32341 0
vsize: 129528
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 31873 0 0 0 107923 96 0 0 25 0 1 0 478880659 133042176 31806 4294967295 134512640 134672761 3221224640 3221223808 134561212 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32481 31806 603 41 0 32440 0
vsize: 129924
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 31998 0 0 0 108923 97 0 0 25 0 1 0 478880659 133578752 31931 4294967295 134512640 134672761 3221224640 3221223808 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32612 31931 603 41 0 32571 0
vsize: 130448
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 32135 0 0 0 109922 97 0 0 25 0 1 0 478880659 134307840 32068 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32790 32068 603 41 0 32749 0
vsize: 131160
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 32257 0 0 0 110923 97 0 0 25 0 1 0 478880659 134701056 32190 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32886 32190 603 41 0 32845 0
vsize: 131544
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 32406 0 0 0 111922 98 0 0 25 0 1 0 478880659 135368704 32339 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33049 32339 603 41 0 33008 0
vsize: 132196
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 32579 0 0 0 112922 98 0 0 25 0 1 0 478880659 136032256 32512 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33211 32512 603 41 0 33170 0
vsize: 132844
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 32752 0 0 0 113922 99 0 0 25 0 1 0 478880659 136839168 32685 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33408 32685 603 41 0 33367 0
vsize: 133632
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 32889 0 0 0 114922 99 0 0 25 0 1 0 478880659 137375744 32822 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33539 32822 603 41 0 33498 0
vsize: 134156
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 33064 0 0 0 115921 100 0 0 25 0 1 0 478880659 138047488 32997 4294967295 134512640 134672761 3221224640 3221223776 134560557 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33703 32997 603 41 0 33662 0
vsize: 134812
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 33195 0 0 0 116921 100 0 0 25 0 1 0 478880659 138616832 33128 4294967295 134512640 134672761 3221224640 3221223744 134560405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33842 33128 603 41 0 33801 0
vsize: 135368
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 33289 0 0 0 117921 100 0 0 25 0 1 0 478880659 139022336 33222 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33941 33222 603 41 0 33900 0
vsize: 135764
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 33376 0 0 0 118921 101 0 0 25 0 1 0 478880659 139419648 33309 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34038 33309 603 41 0 33997 0
vsize: 136152
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/53 11123
Raw data (stat): 11123 (minisat+) R 11122 7987 7986 0 -1 0 33480 0 0 0 119921 101 0 0 25 0 1 0 478880659 139833344 33413 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34139 33413 603 41 0 34098 0
vsize: 136556
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11123
Raw data (stat): 11123 (minisat+) Z 11122 7987 7986 0 -1 12 33483 0 0 0 119921 107 0 0 24 0 1 0 478880659 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.17
CPU time (s): 1200.3
CPU user time (s): 1199.22
CPU system time (s): 1.07983
CPU usage (%): 100.011
Max. virtual memory (Kb): 136556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####