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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM	550a32227cb0042826e9d8b0433b2655
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	109401
Number of constraints which are clauses	109401
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	2
Trace number 5054

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        827224 kB
Buffers:         34332 kB
Cached:         137780 kB
SwapCached:       2376 kB
Active:          55032 kB
Inactive:       122488 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        826916 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7036 kB
Slab:            24096 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 22:01:38 (client local time) WITH STATUS 10 IN 1200.23 SECONDS
stats: 3101 7 1200.23 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109401 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 |  109401   218802 |   36467       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  193094   415099 |   64364       0        0     nan |  0.000 % |
c |       100 |  192550   413981 |   70800      81      590     7.3 |  0.516 % |
c |       250 |  191694   412157 |   77880     191     2087    10.9 |  1.412 % |
c |       476 |  190523   409618 |   85668     373     4634    12.4 |  2.568 % |
c |       814 |  188009   404076 |   94235     603     7316    12.1 |  5.226 % |
c |      1320 |  185071   397592 |  103658    1000    11541    11.5 |  8.340 % |
c |      2079 |  180361   387088 |  114024    1525    18000    11.8 | 13.428 % |
c |      3218 |  174052   372857 |  125427    2298    26933    11.7 | 20.384 % |
c |      4926 |  167171   357178 |  137969    3480    42305    12.2 | 28.065 % |
c |      7488 |  157158   334221 |  151766    5331    61838    11.6 | 39.255 % |
c |     11332 |  144436   304457 |  166943    8039    94187    11.7 | 53.917 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     16748 |  134807   281657 |   44935   11523   152767    13.3 | 53.917 % |
c |     16848 |  134472   280875 |   49428   11599   153817    13.3 | 65.787 % |
c |     16998 |  134230   280308 |   54371   11738   156796    13.4 | 66.068 % |
c |     17223 |  133770   279211 |   59808   11876   159392    13.4 | 66.599 % |
c |     17560 |  133293   278066 |   65789   12117   163106    13.5 | 67.168 % |
c |     18067 |  132451   276026 |   72368   12355   166879    13.5 | 68.197 % |
c |     18826 |  132034   275016 |   79605   12963   188616    14.6 | 68.700 % |
c |     19965 |  130866   272248 |   87565   13720   203418    14.8 | 70.076 % |
c |     21673 |  129525   269009 |   96322   15069   249486    16.6 | 71.703 % |
c |     24236 |  126370   261437 |  105954   16906   301322    17.8 | 75.533 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     27120 |  124797   257602 |   41599   19327   366556    19.0 | 75.533 % |
c |     27221 |  124609   257169 |   45758   19390   367451    19.0 | 77.656 % |
c |     27372 |  124609   257169 |   50334   19541   373598    19.1 | 77.656 % |
c |     27597 |  124480   256852 |   55368   19696   382342    19.4 | 77.819 % |
c |     27934 |  124352   256539 |   60905   19950   393222    19.7 | 77.981 % |
c |     28442 |  124246   256284 |   66995   20427   408671    20.0 | 78.109 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     28536 |  124314   256509 |   41438   20521   411801    20.1 | 78.109 % |
c |     28636 |  124278   256419 |   45581   20615   413150    20.0 | 78.122 % |
c |     28787 |  124212   256258 |   50139   20594   416116    20.2 | 78.206 % |
c |     29012 |  124155   256115 |   55153   20774   422744    20.3 | 78.281 % |
c |     29349 |  123998   255722 |   60669   21061   432926    20.6 | 78.481 % |
c |     29855 |  123924   255541 |   66736   21542   455907    21.2 | 78.574 % |
c |     30614 |  123477   254457 |   73409   22107   479117    21.7 | 79.122 % |
c |     31753 |  123112   253584 |   80750   23117   523958    22.7 | 79.563 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     32704 |  122868   252983 |   40956   23796   542190    22.8 | 79.563 % |
c |     32804 |  122868   252983 |   45051   23896   544156    22.8 | 79.858 % |
c |     32954 |  122865   252976 |   49556   24045   548175    22.8 | 79.862 % |
c |     33180 |  122748   252701 |   54512   24233   556503    23.0 | 79.998 % |
c |     33518 |  122695   252573 |   59963   24544   575429    23.4 | 80.063 % |
c |     34025 |  122496   252082 |   65960   24965   615467    24.7 | 80.303 % |
c |     34784 |  122447   251963 |   72556   25704   643849    25.0 | 80.363 % |
c |     35923 |  122348   251715 |   79811   26752   724264    27.1 | 80.490 % |
c |     37631 |  122084   251065 |   87792   28017   788957    28.2 | 80.823 % |
c |     40193 |  121936   250714 |   96572   30493  1096807    36.0 | 80.996 % |
c |     44037 |  121613   249937 |  106229   33966  1333260    39.3 | 81.387 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     44649 |  121598   249931 |   40532   34330  1361086    39.6 | 81.387 % |
c |     44750 |  121598   249931 |   44585   34431  1363689    39.6 | 81.415 % |
c |     44901 |  121496   249687 |   49043   34550  1367121    39.6 | 81.537 % |
c |     45126 |  121026   248536 |   53948   34437  1367468    39.7 | 82.124 % |
c |     45463 |  121001   248473 |   59342   34739  1383805    39.8 | 82.157 % |
c |     45970 |  120940   248317 |   65277   35124  1405818    40.0 | 82.236 % |
c |     46730 |  120930   248293 |   71804   35808  1432323    40.0 | 82.248 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     47417 |  120940   248346 |   40313   36448  1451377    39.8 | 82.248 % |
c |     47517 |  120934   248332 |   44344   36543  1455647    39.8 | 82.292 % |
c |     47667 |  120876   248204 |   48778   36594  1456457    39.8 | 82.353 % |
c |     47894 |  120869   248187 |   53656   36738  1463986    39.8 | 82.362 % |
c |     48231 |  120869   248187 |   59022   37075  1473745    39.8 | 82.362 % |
c |     48738 |  120659   247667 |   64924   37412  1495976    40.0 | 82.628 % |
c |     49497 |  120597   247517 |   71416   37982  1561617    41.1 | 82.703 % |
c |     50636 |  120480   247240 |   78558   38839  1642896    42.3 | 82.842 % |
c |     52344 |  120473   247225 |   86414   40501  1739485    42.9 | 82.849 % |
c |     54906 |  120255   246700 |   95055   42829  1975102    46.1 | 83.118 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     57045 |  120216   246582 |   40072   44648  2278364    51.0 | 83.118 % |
c |     57145 |  120216   246582 |   44079   44748  2281325    51.0 | 83.168 % |
c |     57297 |  120216   246582 |   48487   44900  2288955    51.0 | 83.168 % |
c |     57523 |  120130   246364 |   53335   44971  2304412    51.2 | 83.280 % |
c |     57860 |  120109   246315 |   58669   45276  2317982    51.2 | 83.304 % |
c |     58367 |  120058   246202 |   64536   45762  2356290    51.5 | 83.358 % |
c |     59126 |  120058   246202 |   70989   46521  2419971    52.0 | 83.358 % |
c |     60265 |  120058   246202 |   78088   47660  2507609    52.6 | 83.358 % |
c |     61973 |  120001   246053 |   85897   49258  2633802    53.5 | 83.437 % |
c |     64535 |  119961   245951 |   94487   51758  2848264    55.0 | 83.491 % |
c |     68379 |  119845   245672 |  103936   55463  3195026    57.6 | 83.630 % |
c |     74146 |  119845   245672 |  114330   61230  4034130    65.9 | 83.630 % |
c |     82795 |  119662   245221 |  125763   69629  4758092    68.3 | 83.864 % |
c |     95770 |  119456   244722 |  138339   82302  6937965    84.3 | 84.119 % |
c |    115231 |  119197   244098 |  152173  101081  9562562    94.6 | 84.432 % |
c ==============================================================================
c [1mFound solution: -49[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    128578 |  119061   243777 |   39687  114237 11744294   102.8 | 84.432 % |
c |    128679 |  119050   243750 |   43655   23872  2191084    91.8 | 84.625 % |
c |    128830 |  119050   243750 |   48021   24023  2198095    91.5 | 84.625 % |
c |    129057 |  119041   243727 |   52823   24247  2206430    91.0 | 84.638 % |
c |    129395 |  119041   243727 |   58105   24585  2234797    90.9 | 84.638 % |
c |    129901 |  119041   243727 |   63916   25091  2270090    90.5 | 84.638 % |
c |    130660 |  119041   243727 |   70307   25850  2324765    89.9 | 84.638 % |
c |    131800 |  119036   243714 |   77338   26967  2390314    88.6 | 84.645 % |
c |    133508 |  119024   243684 |   85072   28662  2521904    88.0 | 84.660 % |
c |    136070 |  118994   243606 |   93579   31211  2742209    87.9 | 84.702 % |
c |    139914 |  118994   243606 |  102937   35055  3395400    96.9 | 84.702 % |
c |    145680 |  118852   243246 |  113231   40787  4097071   100.5 | 84.885 % |
c |    154329 |  118811   243143 |  124554   49099  5460303   111.2 | 84.938 % |
c |    167303 |  118690   242854 |  137010   61891  7674838   124.0 | 85.081 % |
c |    186764 |  118443   242262 |  150711   81251 12728039   156.7 | 85.381 % |
c |    215956 |  118381   242110 |  165782  110427 18354731   166.2 | 85.459 % |
c |    259746 |  118130   241494 |  182360  153926 26304046   170.9 | 85.777 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1400 C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 C376 C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 C107 -C106 -C105 -C104 -C103 -C102 -C#### 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.97 0.91 2/55 25600
Raw data (stat): 25600 (runsolver) R 25599 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 479278398 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6232 0 0 0 982 17 0 0 25 0 1 0 479278398 28004352 6210 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6837 6210 603 41 0 6796 0
vsize: 27348
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6239 0 0 0 1982 17 0 0 25 0 1 0 479278398 28004352 6217 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6837 6217 603 41 0 6796 0
vsize: 27348
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6245 0 0 0 2981 17 0 0 25 0 1 0 479278398 28139520 6223 4294967295 134512640 134672761 3221224624 3221223796 134556602 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6870 6223 603 41 0 6829 0
vsize: 27480
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6254 0 0 0 3981 18 0 0 25 0 1 0 479278398 28139520 6232 4294967295 134512640 134672761 3221224624 3221223796 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6870 6232 603 41 0 6829 0
vsize: 27480
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6262 0 0 0 4981 18 0 0 25 0 1 0 479278398 28139520 6240 4294967295 134512640 134672761 3221224624 3221223796 134556632 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6870 6240 603 41 0 6829 0
vsize: 27480
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6268 0 0 0 5980 18 0 0 25 0 1 0 479278398 28139520 6246 4294967295 134512640 134672761 3221224624 3221223796 134556646 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6870 6246 603 41 0 6829 0
vsize: 27480
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6275 0 0 0 6980 19 0 0 25 0 1 0 479278398 28282880 6253 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6253 603 41 0 6864 0
vsize: 27620
[startup+80.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6284 0 0 0 7980 19 0 0 25 0 1 0 479278398 28282880 6262 4294967295 134512640 134672761 3221224624 3221223840 134561979 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6262 603 41 0 6864 0
vsize: 27620
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6292 0 0 0 8979 19 0 0 25 0 1 0 479278398 28282880 6270 4294967295 134512640 134672761 3221224624 3221223792 134560867 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6270 603 41 0 6864 0
vsize: 27620
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6310 0 0 0 9979 20 0 0 25 0 1 0 479278398 28442624 6288 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6944 6288 603 41 0 6903 0
vsize: 27776
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6319 0 0 0 10979 20 0 0 25 0 1 0 479278398 28442624 6297 4294967295 134512640 134672761 3221224624 3221223812 134556588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6944 6297 603 41 0 6903 0
vsize: 27776
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6579 0 0 0 11978 21 0 0 25 0 1 0 479278398 29888512 6557 4294967295 134512640 134672761 3221224624 3221223792 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7297 6557 603 41 0 7256 0
vsize: 29188
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6581 0 0 0 12978 21 0 0 25 0 1 0 479278398 29888512 6559 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7297 6559 603 41 0 7256 0
vsize: 29188
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6589 0 0 0 13978 22 0 0 25 0 1 0 479278398 29888512 6567 4294967295 134512640 134672761 3221224624 3221223828 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7297 6567 603 41 0 7256 0
vsize: 29188
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6747 0 0 0 14977 22 0 0 25 0 1 0 479278398 30437376 6694 4294967295 134512640 134672761 3221224624 3221223924 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7431 6694 603 41 0 7390 0
vsize: 29724
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 6934 0 0 0 15976 23 0 0 25 0 1 0 479278398 31182848 6849 4294967295 134512640 134672761 3221224624 3221223760 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7613 6849 603 41 0 7572 0
vsize: 30452
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 7243 0 0 0 16975 24 0 0 25 0 1 0 479278398 32301056 7127 4294967295 134512640 134672761 3221224624 3221223776 134561249 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7886 7127 603 41 0 7845 0
vsize: 31544
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 7762 0 0 0 17974 25 0 0 25 0 1 0 479278398 34320384 7646 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8379 7646 603 41 0 8338 0
vsize: 33516
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 7991 0 0 0 18974 26 0 0 25 0 1 0 479278398 35270656 7845 4294967295 134512640 134672761 3221224624 3221223760 134565092 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8611 7845 603 41 0 8570 0
vsize: 34444
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 8277 0 0 0 19973 27 0 0 25 0 1 0 479278398 36360192 8099 4294967295 134512640 134672761 3221224624 3221223796 134556682 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8877 8099 603 41 0 8836 0
vsize: 35508
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 8668 0 0 0 20970 29 0 0 25 0 1 0 479278398 37834752 8490 4294967295 134512640 134672761 3221224624 3221223792 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9237 8490 603 41 0 9196 0
vsize: 36948
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 9175 0 0 0 21968 31 0 0 25 0 1 0 479278398 39833600 8966 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9725 8966 603 41 0 9684 0
vsize: 38900
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 9530 0 0 0 22967 33 0 0 25 0 1 0 479278398 41316352 9321 4294967295 134512640 134672761 3221224624 3221223792 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10087 9321 603 41 0 10046 0
vsize: 40348
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25600
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 9971 0 0 0 23966 34 0 0 25 0 1 0 479278398 43061248 9762 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10513 9762 603 41 0 10472 0
vsize: 42052
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 10464 0 0 0 24964 36 0 0 25 0 1 0 479278398 45072384 10255 4294967295 134512640 134672761 3221224624 3221223792 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11004 10255 603 41 0 10963 0
vsize: 44016
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 10949 0 0 0 25962 38 0 0 25 0 1 0 479278398 47087616 10740 4294967295 134512640 134672761 3221224624 3221223792 134561115 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11496 10740 603 41 0 11455 0
vsize: 45984
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 11242 0 0 0 26961 40 0 0 25 0 1 0 479278398 48422912 11033 4294967295 134512640 134672761 3221224624 3221223792 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11822 11033 603 41 0 11781 0
vsize: 47288
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 11733 0 0 0 27959 41 0 0 25 0 1 0 479278398 50438144 11524 4294967295 134512640 134672761 3221224624 3221223760 134560604 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12314 11524 603 41 0 12273 0
vsize: 49256
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 11972 0 0 0 28958 43 0 0 25 0 1 0 479278398 51384320 11763 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12545 11763 603 41 0 12504 0
vsize: 50180
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 12504 0 0 0 29957 43 0 0 25 0 1 0 479278398 53665792 12295 4294967295 134512640 134672761 3221224624 3221223792 134561275 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13102 12295 603 41 0 13061 0
vsize: 52408
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 13070 0 0 0 30956 45 0 0 25 0 1 0 479278398 55934976 12861 4294967295 134512640 134672761 3221224624 3221223728 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13656 12861 603 41 0 13615 0
vsize: 54624
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 13631 0 0 0 31954 47 0 0 25 0 1 0 479278398 58216448 13422 4294967295 134512640 134672761 3221224624 3221223728 134560510 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14213 13422 603 41 0 14172 0
vsize: 56852
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 14088 0 0 0 32952 49 0 0 25 0 1 0 479278398 60088320 13879 4294967295 134512640 134672761 3221224624 3221223728 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14670 13879 603 41 0 14629 0
vsize: 58680
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 14455 0 0 0 33950 51 0 0 25 0 1 0 479278398 61558784 14246 4294967295 134512640 134672761 3221224624 3221223792 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15029 14246 603 41 0 14988 0
vsize: 60116
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 14809 0 0 0 34949 53 0 0 25 0 1 0 479278398 63037440 14600 4294967295 134512640 134672761 3221224624 3221223792 134561021 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15390 14600 603 41 0 15349 0
vsize: 61560
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 15236 0 0 0 35947 54 0 0 25 0 1 0 479278398 64774144 15027 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15814 15027 603 41 0 15773 0
vsize: 63256
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 15558 0 0 0 36947 55 0 0 25 0 1 0 479278398 66105344 15349 4294967295 134512640 134672761 3221224624 3221223796 134556651 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16139 15349 603 41 0 16098 0
vsize: 64556
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 15917 0 0 0 37946 56 0 0 25 0 1 0 479278398 67440640 15708 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16465 15708 603 41 0 16424 0
vsize: 65860
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 16357 0 0 0 38943 59 0 0 25 0 1 0 479278398 69312512 16148 4294967295 134512640 134672761 3221224624 3221223792 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16922 16148 603 41 0 16881 0
vsize: 67688
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 16628 0 0 0 39942 60 0 0 25 0 1 0 479278398 70393856 16419 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17186 16419 603 41 0 17145 0
vsize: 68744
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 16863 0 0 0 40941 61 0 0 25 0 1 0 479278398 71340032 16654 4294967295 134512640 134672761 3221224624 3221223728 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17417 16654 603 41 0 17376 0
vsize: 69668
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 17161 0 0 0 41940 62 0 0 25 0 1 0 479278398 72544256 16952 4294967295 134512640 134672761 3221224624 3221223792 134560855 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17711 16952 603 41 0 17670 0
vsize: 70844
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 17474 0 0 0 42939 63 0 0 25 0 1 0 479278398 73875456 17265 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18036 17265 603 41 0 17995 0
vsize: 72144
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 17882 0 0 0 43938 65 0 0 25 0 1 0 479278398 75468800 17673 4294967295 134512640 134672761 3221224624 3221223792 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18425 17673 603 41 0 18384 0
vsize: 73700
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 18254 0 0 0 44937 66 0 0 25 0 1 0 479278398 77082624 18045 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18819 18045 603 41 0 18778 0
vsize: 75276
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 18709 0 0 0 45936 67 0 0 25 0 1 0 479278398 78815232 18500 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19242 18500 603 41 0 19201 0
vsize: 76968
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19116 0 0 0 46934 68 0 0 25 0 1 0 479278398 80543744 18907 4294967295 134512640 134672761 3221224624 3221223760 134560688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19664 18907 603 41 0 19623 0
vsize: 78656
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 47933 70 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223792 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 48933 70 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223728 134560477 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 49933 70 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223808 134559616 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 50933 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 51933 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223792 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 52933 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223728 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25602
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 53933 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223792 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 54933 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 55933 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223824 134557911 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 56934 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223808 134559609 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 57934 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223792 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 58934 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 59934 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 60934 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223792 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 61934 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223792 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19217 0 0 0 62935 71 0 0 25 0 1 0 479278398 80756736 18977 4294967295 134512640 134672761 3221224624 3221223792 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18977 603 41 0 19675 0
vsize: 78864
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19218 0 0 0 63935 71 0 0 25 0 1 0 479278398 80756736 18978 4294967295 134512640 134672761 3221224624 3221223792 134560942 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18978 603 41 0 19675 0
vsize: 78864
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19218 0 0 0 64935 71 0 0 25 0 1 0 479278398 80756736 18978 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18978 603 41 0 19675 0
vsize: 78864
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19218 0 0 0 65935 71 0 0 25 0 1 0 479278398 80756736 18978 4294967295 134512640 134672761 3221224624 3221223728 134560393 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19716 18978 603 41 0 19675 0
vsize: 78864
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 19722 0 0 0 66934 72 0 0 25 0 1 0 479278398 82907136 19482 4294967295 134512640 134672761 3221224624 3221223792 134560874 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20241 19482 603 41 0 20200 0
vsize: 80964
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 20282 0 0 0 67933 74 0 0 25 0 1 0 479278398 85180416 20042 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20796 20042 603 41 0 20755 0
vsize: 83184
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 20597 0 0 0 68931 76 0 0 25 0 1 0 479278398 86519808 20357 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21123 20357 603 41 0 21082 0
vsize: 84492
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 20882 0 0 0 69930 77 0 0 25 0 1 0 479278398 87592960 20642 4294967295 134512640 134672761 3221224624 3221223792 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21385 20642 603 41 0 21344 0
vsize: 85540
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 21324 0 0 0 70930 78 0 0 25 0 1 0 479278398 89464832 21084 4294967295 134512640 134672761 3221224624 3221223824 134557911 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21842 21084 603 41 0 21801 0
vsize: 87368
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 21660 0 0 0 71929 78 0 0 25 0 1 0 479278398 90816512 21420 4294967295 134512640 134672761 3221224624 3221223728 134560399 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22172 21420 603 41 0 22131 0
vsize: 88688
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 21987 0 0 0 72928 79 0 0 25 0 1 0 479278398 92160000 21747 4294967295 134512640 134672761 3221224624 3221223792 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22500 21747 603 41 0 22459 0
vsize: 90000
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 22325 0 0 0 73927 81 0 0 25 0 1 0 479278398 93495296 22085 4294967295 134512640 134672761 3221224624 3221223760 134565058 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22826 22085 603 41 0 22785 0
vsize: 91304
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 22571 0 0 0 74926 81 0 0 25 0 1 0 479278398 94568448 22331 4294967295 134512640 134672761 3221224624 3221223760 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23088 22331 603 41 0 23047 0
vsize: 92352
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 22937 0 0 0 75925 83 0 0 25 0 1 0 479278398 96043008 22697 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23448 22697 603 41 0 23407 0
vsize: 93792
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 23392 0 0 0 76924 84 0 0 25 0 1 0 479278398 97910784 23152 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23904 23152 603 41 0 23863 0
vsize: 95616
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 23849 0 0 0 77922 86 0 0 25 0 1 0 479278398 99790848 23609 4294967295 134512640 134672761 3221224624 3221223728 134560154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24363 23609 603 41 0 24322 0
vsize: 97452
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 24292 0 0 0 78921 88 0 0 25 0 1 0 479278398 101646336 24052 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24816 24052 603 41 0 24775 0
vsize: 99264
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 24742 0 0 0 79920 89 0 0 25 0 1 0 479278398 103510016 24502 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25271 24502 603 41 0 25230 0
vsize: 101084
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 25173 0 0 0 80919 90 0 0 25 0 1 0 479278398 105242624 24933 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25694 24933 603 41 0 25653 0
vsize: 102776
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 25585 0 0 0 81918 91 0 0 25 0 1 0 479278398 106975232 25345 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26117 25345 603 41 0 26076 0
vsize: 104468
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 25987 0 0 0 82917 92 0 0 25 0 1 0 479278398 108580864 25747 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26509 25747 603 41 0 26468 0
vsize: 106036
[startup+840.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25604
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 26243 0 0 0 83916 93 0 0 25 0 1 0 479278398 109658112 26003 4294967295 134512640 134672761 3221224624 3221223792 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26772 26003 603 41 0 26731 0
vsize: 107088
[startup+850.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 26589 0 0 0 84913 96 0 0 25 0 1 0 479278398 110989312 26349 4294967295 134512640 134672761 3221224624 3221223792 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27097 26349 603 41 0 27056 0
vsize: 108388
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 26953 0 0 0 85912 97 0 0 25 0 1 0 479278398 112459776 26713 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27456 26713 603 41 0 27415 0
vsize: 109824
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 27202 0 0 0 86911 98 0 0 25 0 1 0 479278398 113532928 26962 4294967295 134512640 134672761 3221224624 3221223808 134558423 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27718 26962 603 41 0 27677 0
vsize: 110872
[startup+880.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 27571 0 0 0 87910 99 0 0 25 0 1 0 479278398 115003392 27331 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28077 27331 603 41 0 28036 0
vsize: 112308
[startup+890.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 27784 0 0 0 88909 100 0 0 25 0 1 0 479278398 115937280 27544 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28305 27544 603 41 0 28264 0
vsize: 113220
[startup+900.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 27986 0 0 0 89909 101 0 0 25 0 1 0 479278398 116748288 27746 4294967295 134512640 134672761 3221224624 3221223728 134560504 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28503 27746 603 41 0 28462 0
vsize: 114012
[startup+910.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 28233 0 0 0 90907 103 0 0 25 0 1 0 479278398 117686272 27993 4294967295 134512640 134672761 3221224624 3221223796 134556667 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28732 27993 603 41 0 28691 0
vsize: 114928
[startup+920.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 28526 0 0 0 91906 104 0 0 25 0 1 0 479278398 118902784 28286 4294967295 134512640 134672761 3221224624 3221223728 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29029 28286 603 41 0 28988 0
vsize: 116116
[startup+930.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 28913 0 0 0 92905 105 0 0 25 0 1 0 479278398 120516608 28673 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29423 28673 603 41 0 29382 0
vsize: 117692
[startup+940.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 29343 0 0 0 93904 107 0 0 25 0 1 0 479278398 122249216 29103 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29846 29103 603 41 0 29805 0
vsize: 119384
[startup+950.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 29745 0 0 0 94903 108 0 0 25 0 1 0 479278398 124502016 29505 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30396 29505 603 41 0 30355 0
vsize: 121584
[startup+960.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 30161 0 0 0 95901 109 0 0 25 0 1 0 479278398 126103552 29921 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30787 29921 603 41 0 30746 0
vsize: 123148
[startup+970.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 30519 0 0 0 96900 110 0 0 25 0 1 0 479278398 127565824 30279 4294967295 134512640 134672761 3221224624 3221223792 134560968 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31144 30279 603 41 0 31103 0
vsize: 124576
[startup+980.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 30866 0 0 0 97900 111 0 0 25 0 1 0 479278398 129028096 30626 4294967295 134512640 134672761 3221224624 3221223792 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31501 30626 603 41 0 31460 0
vsize: 126004
[startup+990.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 31238 0 0 0 98898 113 0 0 25 0 1 0 479278398 130502656 30998 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31861 30998 603 41 0 31820 0
vsize: 127444
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 31492 0 0 0 99897 114 0 0 25 0 1 0 479278398 131571712 31252 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32122 31252 603 41 0 32081 0
vsize: 128488
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 31743 0 0 0 100896 115 0 0 25 0 1 0 479278398 132636672 31503 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32382 31503 603 41 0 32341 0
vsize: 129528
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 32061 0 0 0 101895 116 0 0 25 0 1 0 479278398 133840896 31821 4294967295 134512640 134672761 3221224624 3221223792 134560874 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32676 31821 603 41 0 32635 0
vsize: 130704
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 32467 0 0 0 102894 118 0 0 25 0 1 0 479278398 135569408 32227 4294967295 134512640 134672761 3221224624 3221223728 134560237 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33098 32227 603 41 0 33057 0
vsize: 132392
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 32869 0 0 0 103893 119 0 0 25 0 1 0 479278398 137175040 32629 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33490 32629 603 41 0 33449 0
vsize: 133960
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 33170 0 0 0 104892 121 0 0 25 0 1 0 479278398 138383360 32930 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33785 32930 603 41 0 33744 0
vsize: 135140
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 33449 0 0 0 105890 123 0 0 25 0 1 0 479278398 139595776 33209 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34081 33209 603 41 0 34040 0
vsize: 136324
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 33748 0 0 0 106889 124 0 0 25 0 1 0 479278398 140804096 33508 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34376 33508 603 41 0 34335 0
vsize: 137504
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 34037 0 0 0 107888 125 0 0 25 0 1 0 479278398 142004224 33797 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34669 33797 603 41 0 34628 0
vsize: 138676
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 34323 0 0 0 108887 126 0 0 25 0 1 0 479278398 143077376 34083 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34931 34083 603 41 0 34890 0
vsize: 139724
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25606
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 34610 0 0 0 109886 127 0 0 25 0 1 0 479278398 144281600 34370 4294967295 134512640 134672761 3221224624 3221223792 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35225 34370 603 41 0 35184 0
vsize: 140900
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 3/59 25635
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 34845 0 0 0 110884 128 0 0 25 0 1 0 479278398 145223680 34605 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35455 34605 603 41 0 35414 0
vsize: 141820
[startup+1120.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 25659
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 35107 0 0 0 111884 129 0 0 25 0 1 0 479278398 146288640 34867 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35715 34867 603 41 0 35674 0
vsize: 142860
[startup+1130.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 25659
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 35353 0 0 0 112883 130 0 0 25 0 1 0 479278398 147353600 35113 4294967295 134512640 134672761 3221224624 3221223808 134559045 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35975 35113 603 41 0 35934 0
vsize: 143900
[startup+1140.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 25659
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 35629 0 0 0 113882 131 0 0 25 0 1 0 479278398 148439040 35389 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36240 35389 603 41 0 36199 0
vsize: 144960
[startup+1150.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 25661
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 35890 0 0 0 114882 132 0 0 25 0 1 0 479278398 149504000 35650 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36500 35650 603 41 0 36459 0
vsize: 146000
[startup+1160.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 25661
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 36175 0 0 0 115881 132 0 0 25 0 1 0 479278398 150712320 35935 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36795 35935 603 41 0 36754 0
vsize: 147180
[startup+1170.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 25661
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 36532 0 0 0 116881 133 0 0 25 0 1 0 479278398 152174592 36292 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37152 36292 603 41 0 37111 0
vsize: 148608
[startup+1180.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 25661
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 36885 0 0 0 117880 134 0 0 25 0 1 0 479278398 153645056 36645 4294967295 134512640 134672761 3221224624 3221223792 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37511 36645 603 41 0 37470 0
vsize: 150044
[startup+1190.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 25663
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 37201 0 0 0 118879 135 0 0 25 0 1 0 479278398 154841088 36961 4294967295 134512640 134672761 3221224624 3221223728 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37803 36961 603 41 0 37762 0
vsize: 151212
[startup+1200.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 25663
Raw data (stat): 25600 (minisat+) R 25599 20838 20837 0 -1 0 37504 0 0 0 119879 136 0 0 25 0 1 0 479278398 156164096 37264 4294967295 134512640 134672761 3221224624 3221223728 134560269 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38126 37264 603 41 0 38085 0
vsize: 152504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.02 0.99 0.91 1/55 25663
Raw data (stat): 25600 (minisat+) Z 25599 20838 20837 0 -1 12 37507 0 0 0 119879 143 0 0 25 0 1 0 479278398 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: 10
Real time (s): 1200.08
CPU time (s): 1200.23
CPU user time (s): 1198.79
CPU system time (s): 1.43178
CPU usage (%): 100.012
Max. virtual memory (Kb): 152504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####