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 5262

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        901488 kB
Buffers:         26636 kB
Cached:          86176 kB
SwapCached:          0 kB
Active:          36452 kB
Inactive:        79256 kB
HighTotal:      131008 kB
HighFree:        41132 kB
LowTotal:       903652 kB
LowFree:        860356 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11788 kB
Committed_AS:    63760 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 23:24:18 (client local time) WITH STATUS 10 IN 1200.22 SECONDS
stats: 3729 7 1200.22 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]---> Adder-cost: 2772   maxlim: 40   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  128575   287324 |   42858       0        0     nan |  0.000 % |
c |       100 |  128575   287324 |   47143     100      705     7.0 |  0.073 % |
c |       250 |  128575   287324 |   51858     250     2119     8.5 |  0.072 % |
c |       475 |  128557   287262 |   57043     471     4160     8.8 |  0.121 % |
c |       812 |  128539   287200 |   62748     803     7183     8.9 |  0.170 % |
c |      1318 |  128530   287169 |   69023    1307    12627     9.7 |  0.194 % |
c |      2077 |  128512   287107 |   75925    2062    21228    10.3 |  0.241 % |
c |      3216 |  128452   286901 |   83518    3188    37848    11.9 |  0.409 % |
c |      4924 |  128309   286408 |   91869    4852    57879    11.9 |  0.819 % |
c |      7486 |  128088   285649 |  101056    7347    93701    12.8 |  1.469 % |
c |     11330 |  127405   283302 |  111162   10992   162624    14.8 |  3.705 % |
c |     17096 |  126388   279815 |  122278   16387   357635    21.8 |  6.978 % |
c |     25745 |  124364   272851 |  134506   24118   615747    25.5 | 14.605 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 41   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     27475 |  124109   271972 |   41369   25774   698945    27.1 | 14.605 % |
c |     27575 |  124109   271972 |   45505   25874   702746    27.2 | 15.708 % |
c |     27725 |  124067   271826 |   50056   26012   706086    27.1 | 15.901 % |
c |     27950 |  124031   271700 |   55062   26226   714144    27.2 | 16.069 % |
c |     28287 |  123969   271484 |   60568   26547   725339    27.3 | 16.334 % |
c |     28793 |  123956   271437 |   66625   27049   748556    27.7 | 16.406 % |
c |     29552 |  123652   270389 |   73287   27719   775739    28.0 | 17.803 % |
c |     30691 |  123602   270217 |   80616   28720   815195    28.4 | 17.970 % |
c |     32400 |  123425   269604 |   88678   30318   922532    30.4 | 18.693 % |
c |     34965 |  123278   269095 |   97545   32744  1217086    37.2 | 19.293 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 42   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     37506 |  123049   268297 |   41016   35160  1344862    38.2 | 19.293 % |
c |     37606 |  123016   268184 |   45117   35254  1347537    38.2 | 20.467 % |
c |     37756 |  123005   268145 |   49629   35401  1352077    38.2 | 20.516 % |
c |     37981 |  122946   267936 |   54592   35610  1364009    38.3 | 20.827 % |
c |     38318 |  122874   267688 |   60051   35874  1380231    38.5 | 21.116 % |
c |     38824 |  122789   267393 |   66056   36316  1415246    39.0 | 21.478 % |
c |     39584 |  122743   267233 |   72662   36928  1454445    39.4 | 21.645 % |
c |     40723 |  122675   266997 |   79928   38021  1498078    39.4 | 21.935 % |
c |     42431 |  122623   266817 |   87921   39608  1605913    40.5 | 22.126 % |
c |     44994 |  122117   265053 |   96713   41858  1732754    41.4 | 24.533 % |
c |     48840 |  122069   264887 |  106384   45669  2079817    45.5 | 24.747 % |
c |     54608 |  121838   264082 |  117023   51080  2790380    54.6 | 25.782 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 43   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     58713 |  121735   263732 |   40578   54985  3271293    59.5 | 25.782 % |
c |     58814 |  121702   263615 |   44635   18796  1406646    74.8 | 26.328 % |
c |     58965 |  121702   263615 |   49099   18947  1414400    74.7 | 26.330 % |
c |     59192 |  121687   263564 |   54009   19160  1430311    74.7 | 26.378 % |
c |     59530 |  121687   263564 |   59410   19498  1450808    74.4 | 26.377 % |
c |     60037 |  121687   263564 |   65351   20005  1475343    73.7 | 26.377 % |
c |     60796 |  121687   263564 |   71886   20764  1517521    73.1 | 26.377 % |
c |     61939 |  121643   263414 |   79075   21884  1661181    75.9 | 26.547 % |
c |     63650 |  121604   263277 |   86982   23565  1891629    80.3 | 26.715 % |
c |     66212 |  121531   263028 |   95680   26096  2124705    81.4 | 27.002 % |
c |     70057 |  121514   262969 |  105248   29919  2577147    86.1 | 27.074 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 44   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     73110 |  121508   262952 |   40502   32968  3151321    95.6 | 27.074 % |
c |     73211 |  121508   262952 |   44552   33069  3156208    95.4 | 27.115 % |
c |     73361 |  121508   262952 |   49007   33219  3159736    95.1 | 27.115 % |
c |     73591 |  121508   262952 |   53908   33449  3185062    95.2 | 27.117 % |
c |     73931 |  121477   262847 |   59298   33757  3209042    95.1 | 27.237 % |
c |     74438 |  121448   262746 |   65228   34232  3253146    95.0 | 27.332 % |
c |     75197 |  121448   262746 |   71751   34991  3308089    94.5 | 27.333 % |
c |     76336 |  121414   262628 |   78926   36111  3393060    94.0 | 27.477 % |
c |     78044 |  121386   262530 |   86819   37790  3548702    93.9 | 27.596 % |
c |     80606 |  121337   262357 |   95501   40336  3763637    93.3 | 27.837 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 45   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     83410 |  121327   262325 |   40442   43138  4013629    93.0 | 27.837 % |
c |     83510 |  121327   262325 |   44486   18796  1208432    64.3 | 27.902 % |
c |     83660 |  121327   262325 |   48934   18946  1216024    64.2 | 27.902 % |
c |     83885 |  121300   262230 |   53828   19167  1227721    64.1 | 28.048 % |
c |     84222 |  121280   262160 |   59211   19494  1236695    63.4 | 28.118 % |
c |     84728 |  121274   262140 |   65132   19996  1276902    63.9 | 28.142 % |
c |     85487 |  121246   262042 |   71645   20737  1336387    64.4 | 28.264 % |
c |     86626 |  121214   261930 |   78810   21844  1423362    65.2 | 28.359 % |
c |     88335 |  121214   261930 |   86691   23553  1529968    65.0 | 28.359 % |
c |     90898 |  121199   261879 |   95360   26109  1797230    68.8 | 28.408 % |
c |     94743 |  121093   261517 |  104896   29890  2088329    69.9 | 28.863 % |
c |    100509 |  121087   261497 |  115385   35652  2697172    75.7 | 28.887 % |
c |    109159 |  121034   261312 |  126924   44251  3807491    86.0 | 29.128 % |
c |    122133 |  121034   261312 |  139616   57225  6586977   115.1 | 29.129 % |
c |    141595 |  121017   261253 |  153578   76660  8219261   107.2 | 29.200 % |
c |    170787 |  120971   261093 |  168936  105811 13964384   132.0 | 29.369 % |
c |    214576 |  120971   261093 |  185829  149600 22013352   147.1 | 29.370 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 46   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    228968 |  120972   261101 |   40324  163992 24680992   150.5 | 29.370 % |
c |    229069 |  120972   261101 |   44356   17942  2536366   141.4 | 29.385 % |
c |    229219 |  120911   260892 |   48792   18081  2540321   140.5 | 29.626 % |
c |    229444 |  120893   260830 |   53671   18294  2545179   139.1 | 29.673 % |
c |    229781 |  120893   260830 |   59038   18631  2552977   137.0 | 29.673 % |
c |    230287 |  120868   260743 |   64942   19134  2567029   134.2 | 29.794 % |
c |    231046 |  120847   260672 |   71436   19879  2599365   130.8 | 29.866 % |
c |    232185 |  120790   260477 |   78580   20999  2651153   126.3 | 30.106 % |
c |    233894 |  120740   260303 |   86438   22700  2738071   120.6 | 30.346 % |
c |    236456 |  120740   260303 |   95081   25262  3030219   120.0 | 30.346 % |
c |    240300 |  120734   260283 |  104590   29083  3338208   114.8 | 30.370 % |
c |    246066 |  120698   260157 |  115049   34833  3844308   110.4 | 30.540 % |
c |    254716 |  120641   259960 |  126553   43469  4731048   108.8 | 30.851 % |
c |    267690 |  120641   259960 |  139209   56443  7277057   128.9 | 30.851 % |
c |    287151 |  120620   259885 |  153130   75899  9998887   131.7 | 30.971 % |
c |    316344 |  120539   259606 |  168443  105053 13756147   130.9 | 31.355 % |
c |    360133 |  120539   259606 |  185287  148842 24102241   161.9 | 31.355 % |
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 #### 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): 1.07 1.00 0.92 2/55 2371
Raw data (stat): 2371 (runsolver) R 2370 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 357030408 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 2371
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5167 0 0 0 982 16 0 0 25 0 1 0 357030408 22700032 5145 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5542 5145 603 41 0 5501 0
vsize: 22168
[startup+20.0002 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 2371
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5167 0 0 0 1982 16 0 0 25 0 1 0 357030408 22700032 5145 4294967295 134512640 134672761 3221224560 3221223732 134556653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5542 5145 603 41 0 5501 0
vsize: 22168
[startup+30.001 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 2371
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5167 0 0 0 2983 16 0 0 25 0 1 0 357030408 22700032 5145 4294967295 134512640 134672761 3221224560 3221223728 134560833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5542 5145 603 41 0 5501 0
vsize: 22168
[startup+40.0007 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 2371
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5167 0 0 0 3982 17 0 0 25 0 1 0 357030408 22700032 5145 4294967295 134512640 134672761 3221224560 3221223728 134561261 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5542 5145 603 41 0 5501 0
vsize: 22168
[startup+50.0014 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 2371
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5167 0 0 0 4982 17 0 0 25 0 1 0 357030408 22700032 5145 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5542 5145 603 41 0 5501 0
vsize: 22168
[startup+60.0015 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 2371
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5167 0 0 0 5982 17 0 0 25 0 1 0 357030408 22700032 5145 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5542 5145 603 41 0 5501 0
vsize: 22168
[startup+70.0018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 2371
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5167 0 0 0 6983 17 0 0 25 0 1 0 357030408 22700032 5145 4294967295 134512640 134672761 3221224560 3221223664 134560410 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5542 5145 603 41 0 5501 0
vsize: 22168
[startup+80.0025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5167 0 0 0 7982 17 0 0 25 0 1 0 357030408 22700032 5145 4294967295 134512640 134672761 3221224560 3221223712 134542670 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5542 5145 603 41 0 5501 0
vsize: 22168
[startup+90.0022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5354 0 0 0 8982 18 0 0 25 0 1 0 357030408 23506944 5332 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5739 5332 603 41 0 5698 0
vsize: 22956
[startup+100.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5968 0 0 0 9980 20 0 0 25 0 1 0 357030408 25985024 5946 4294967295 134512640 134672761 3221224560 3221223556 1075351081 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6344 5946 603 41 0 6303 0
vsize: 25376
[startup+110.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5968 0 0 0 10980 20 0 0 25 0 1 0 357030408 25985024 5946 4294967295 134512640 134672761 3221224560 3221223744 134559581 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6344 5946 603 41 0 6303 0
vsize: 25376
[startup+120.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 5968 0 0 0 11980 20 0 0 25 0 1 0 357030408 25985024 5946 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6344 5946 603 41 0 6303 0
vsize: 25376
[startup+130.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 6279 0 0 0 12979 21 0 0 25 0 1 0 357030408 27328512 6257 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6672 6257 603 41 0 6631 0
vsize: 26688
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 6709 0 0 0 13978 22 0 0 25 0 1 0 357030408 29024256 6687 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7086 6687 603 41 0 7045 0
vsize: 28344
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 6709 0 0 0 14978 22 0 0 25 0 1 0 357030408 29024256 6687 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7086 6687 603 41 0 7045 0
vsize: 28344
[startup+160.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 6709 0 0 0 15978 22 0 0 25 0 1 0 357030408 29024256 6687 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7086 6687 603 41 0 7045 0
vsize: 28344
[startup+170.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 6709 0 0 0 16979 22 0 0 25 0 1 0 357030408 29024256 6687 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7086 6687 603 41 0 7045 0
vsize: 28344
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 7216 0 0 0 17977 24 0 0 25 0 1 0 357030408 31158272 7194 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7607 7194 603 41 0 7566 0
vsize: 30428
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 8002 0 0 0 18975 26 0 0 25 0 1 0 357030408 34385920 7980 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8395 7980 603 41 0 8354 0
vsize: 33580
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 8792 0 0 0 19973 28 0 0 25 0 1 0 357030408 37605376 8770 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9181 8770 603 41 0 9140 0
vsize: 36724
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 9459 0 0 0 20971 30 0 0 25 0 1 0 357030408 40296448 9437 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9838 9437 603 41 0 9797 0
vsize: 39352
[startup+220.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 9853 0 0 0 21970 32 0 0 25 0 1 0 357030408 41902080 9831 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10230 9831 603 41 0 10189 0
vsize: 40920
[startup+230.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 10229 0 0 0 22968 33 0 0 25 0 1 0 357030408 43753472 10207 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10682 10207 603 41 0 10641 0
vsize: 42728
[startup+240.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 10598 0 0 0 23967 35 0 0 25 0 1 0 357030408 45228032 10576 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11042 10576 603 41 0 11001 0
vsize: 44168
[startup+250.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 10942 0 0 0 24966 36 0 0 25 0 1 0 357030408 46694400 10920 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11400 10920 603 41 0 11359 0
vsize: 45600
[startup+260.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 11255 0 0 0 25965 37 0 0 25 0 1 0 357030408 47915008 11233 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11698 11233 603 41 0 11657 0
vsize: 46792
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 11687 0 0 0 26965 38 0 0 25 0 1 0 357030408 49659904 11665 4294967295 134512640 134672761 3221224560 3221223696 134560577 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12124 11665 603 41 0 12083 0
vsize: 48496
[startup+280.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 12173 0 0 0 27963 39 0 0 25 0 1 0 357030408 51679232 12151 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12617 12151 603 41 0 12576 0
vsize: 50468
[startup+290.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 12749 0 0 0 28962 40 0 0 25 0 1 0 357030408 53960704 12727 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13174 12727 603 41 0 13133 0
vsize: 52696
[startup+300.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 13266 0 0 0 29961 42 0 0 25 0 1 0 357030408 56115200 13244 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13700 13244 603 41 0 13659 0
vsize: 54800
[startup+310.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 13677 0 0 0 30960 43 0 0 25 0 1 0 357030408 57847808 13655 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14123 13655 603 41 0 14082 0
vsize: 56492
[startup+320.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 14213 0 0 0 31958 45 0 0 25 0 1 0 357030408 59990016 14191 4294967295 134512640 134672761 3221224560 3221223744 134558768 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14646 14191 603 41 0 14605 0
vsize: 58584
[startup+330.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 14960 0 0 0 32956 47 0 0 25 0 1 0 357030408 63082496 14938 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15401 14938 603 41 0 15360 0
vsize: 61604
[startup+340.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 15632 0 0 0 33954 49 0 0 25 0 1 0 357030408 65773568 15610 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16058 15610 603 41 0 16017 0
vsize: 64232
[startup+350.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 16305 0 0 0 34953 50 0 0 25 0 1 0 357030408 68579328 16283 4294967295 134512640 134672761 3221224560 3221223728 134561127 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16743 16283 603 41 0 16702 0
vsize: 66972
[startup+360.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 17064 0 0 0 35952 52 0 0 25 0 1 0 357030408 71667712 17042 4294967295 134512640 134672761 3221224560 3221223664 134560169 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17497 17042 603 41 0 17456 0
vsize: 69988
[startup+370.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 17478 0 0 0 36951 53 0 0 25 0 1 0 357030408 73289728 17456 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17893 17456 603 41 0 17852 0
vsize: 71572
[startup+380.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 17959 0 0 0 37950 54 0 0 25 0 1 0 357030408 75288576 17937 4294967295 134512640 134672761 3221224560 3221223728 134560994 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18381 17937 603 41 0 18340 0
vsize: 73524
[startup+390.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 18255 0 0 0 38949 55 0 0 25 0 1 0 357030408 76488704 18233 4294967295 134512640 134672761 3221224560 3221223728 134561207 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18674 18233 603 41 0 18633 0
vsize: 74696
[startup+400.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 18585 0 0 0 39948 56 0 0 25 0 1 0 357030408 77815808 18563 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18998 18563 603 41 0 18957 0
vsize: 75992
[startup+410.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 18883 0 0 0 40947 57 0 0 25 0 1 0 357030408 79024128 18861 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19293 18861 603 41 0 19252 0
vsize: 77172
[startup+420.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 19175 0 0 0 41947 58 0 0 25 0 1 0 357030408 80232448 19153 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19588 19153 603 41 0 19547 0
vsize: 78352
[startup+430.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 19484 0 0 0 42946 58 0 0 25 0 1 0 357030408 81436672 19462 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19882 19462 603 41 0 19841 0
vsize: 79528
[startup+440.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 19718 0 0 0 43946 59 0 0 25 0 1 0 357030408 82505728 19696 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20143 19696 603 41 0 20102 0
vsize: 80572
[startup+450.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 19973 0 0 0 44945 60 0 0 25 0 1 0 357030408 83447808 19951 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20373 19951 603 41 0 20332 0
vsize: 81492
[startup+460.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 20275 0 0 0 45945 61 0 0 25 0 1 0 357030408 84652032 20253 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20667 20253 603 41 0 20626 0
vsize: 82668
[startup+470.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 20546 0 0 0 46944 61 0 0 25 0 1 0 357030408 85860352 20524 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20962 20524 603 41 0 20921 0
vsize: 83848
[startup+480.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 20889 0 0 0 47943 63 0 0 25 0 1 0 357030408 87728128 20867 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21418 20867 603 41 0 21377 0
vsize: 85672
[startup+490.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 21260 0 0 0 48942 64 0 0 25 0 1 0 357030408 89194496 21238 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21776 21238 603 41 0 21735 0
vsize: 87104
[startup+500.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 21634 0 0 0 49942 64 0 0 25 0 1 0 357030408 90804224 21612 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22169 21612 603 41 0 22128 0
vsize: 88676
[startup+510.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 22056 0 0 0 50942 65 0 0 25 0 1 0 357030408 92549120 22034 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22595 22034 603 41 0 22554 0
vsize: 90380
[startup+520.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 22547 0 0 0 51941 66 0 0 25 0 1 0 357030408 94543872 22525 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23082 22525 603 41 0 23041 0
vsize: 92328
[startup+530.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 22991 0 0 0 52940 67 0 0 25 0 1 0 357030408 96264192 22969 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23502 22969 603 41 0 23461 0
vsize: 94008
[startup+540.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 23466 0 0 0 53939 68 0 0 25 0 1 0 357030408 98263040 23444 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23990 23444 603 41 0 23949 0
vsize: 95960
[startup+550.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 23911 0 0 0 54938 69 0 0 25 0 1 0 357030408 100073472 23889 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24432 23889 603 41 0 24391 0
vsize: 97728
[startup+560.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 24240 0 0 0 55938 69 0 0 25 0 1 0 357030408 101408768 24218 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24758 24218 603 41 0 24717 0
vsize: 99032
[startup+570.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 24581 0 0 0 56937 70 0 0 25 0 1 0 357030408 102879232 24559 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25117 24559 603 41 0 25076 0
vsize: 100468
[startup+580.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 24912 0 0 0 57936 71 0 0 25 0 1 0 357030408 104218624 24890 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25444 24890 603 41 0 25403 0
vsize: 101776
[startup+590.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 25279 0 0 0 58936 72 0 0 25 0 1 0 357030408 105684992 25257 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25802 25257 603 41 0 25761 0
vsize: 103208
[startup+600.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 25630 0 0 0 59935 73 0 0 25 0 1 0 357030408 107159552 25608 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26162 25608 603 41 0 26121 0
vsize: 104648
[startup+610.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 25937 0 0 0 60934 74 0 0 25 0 1 0 357030408 108363776 25915 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26456 25915 603 41 0 26415 0
vsize: 105824
[startup+620.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 26276 0 0 0 61933 75 0 0 25 0 1 0 357030408 109699072 26254 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26782 26254 603 41 0 26741 0
vsize: 107128
[startup+630.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 26658 0 0 0 62932 76 0 0 25 0 1 0 357030408 111292416 26636 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27171 26636 603 41 0 27130 0
vsize: 108684
[startup+640.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 27039 0 0 0 63931 77 0 0 25 0 1 0 357030408 112902144 27017 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27564 27017 603 41 0 27523 0
vsize: 110256
[startup+650.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 27439 0 0 0 64930 78 0 0 25 0 1 0 357030408 114515968 27417 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27958 27417 603 41 0 27917 0
vsize: 111832
[startup+660.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 27738 0 0 0 65929 79 0 0 25 0 1 0 357030408 115716096 27716 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28251 27716 603 41 0 28210 0
vsize: 113004
[startup+670.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28011 0 0 0 66929 80 0 0 25 0 1 0 357030408 116797440 27989 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28515 27989 603 41 0 28474 0
vsize: 114060
[startup+680.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 67927 81 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223664 134554642 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+690.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 68928 81 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+700.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 69928 81 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+710.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 70928 81 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560912 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+720.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 71928 81 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223640 134553505 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+730.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 72928 81 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+740.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 73928 82 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223664 134554907 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+750.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 74928 82 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+760.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 75928 82 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+770.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 76928 82 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+780.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 77928 82 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+790.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 78928 82 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+800.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 79927 83 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+810.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 80927 83 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+820.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 81927 83 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+830.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 82927 83 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+840.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 83927 83 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+850.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 84927 83 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+860.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 85927 83 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+870.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 86927 83 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+880.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 87927 84 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+890.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 88927 84 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+900.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28283 0 0 0 89927 84 0 0 25 0 1 0 357030408 117899264 28261 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28261 603 41 0 28743 0
vsize: 115136
[startup+910.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 90927 84 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+920.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 91927 84 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+930.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 92927 84 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+940.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 93927 84 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+950.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 94927 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+960.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 95927 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+970.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 96927 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+980.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 97927 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+990.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 98928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 99928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 100928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223664 134559883 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 101928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134561207 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 102928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 103928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 104928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223744 134559489 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 105928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 106928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 107928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223664 134560171 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 108928 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 109929 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 110929 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 111929 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 112929 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28284 0 0 0 113929 85 0 0 25 0 1 0 357030408 117899264 28262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28262 603 41 0 28743 0
vsize: 115136
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28285 0 0 0 114929 85 0 0 25 0 1 0 357030408 117899264 28263 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28784 28263 603 41 0 28743 0
vsize: 115136
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28286 0 0 0 115929 86 0 0 25 0 1 0 357030408 117899264 28264 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28784 28264 603 41 0 28743 0
vsize: 115136
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28315 0 0 0 116929 86 0 0 25 0 1 0 357030408 118034432 28293 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28817 28293 603 41 0 28776 0
vsize: 115268
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28498 0 0 0 117929 87 0 0 25 0 1 0 357030408 118845440 28476 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29015 28476 603 41 0 28974 0
vsize: 116060
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 28681 0 0 0 118928 87 0 0 25 0 1 0 357030408 119508992 28659 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29177 28659 603 41 0 29136 0
vsize: 116708
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 2373
Raw data (stat): 2371 (minisat+) R 2370 30927 30926 0 -1 0 29015 0 0 0 119927 88 0 0 25 0 1 0 357030408 120995840 28993 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29540 28993 603 41 0 29499 0
vsize: 118160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 2373
Raw data (stat): 2371 (minisat+) Z 2370 30927 30926 0 -1 12 29018 0 0 0 119928 93 0 0 25 0 1 0 357030408 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.07
CPU time (s): 1200.22
CPU user time (s): 1199.28
CPU system time (s): 0.938857
CPU usage (%): 100.013
Max. virtual memory (Kb): 118160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####