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-5.opb
MD5SUM	1694d09a3d3e6cb31138c73ed644b225
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
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	109601
Number of constraints which are clauses	109601
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 5058

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        903048 kB
Buffers:         36680 kB
Cached:          75112 kB
SwapCached:          0 kB
Active:          74552 kB
Inactive:        40108 kB
HighTotal:      131008 kB
HighFree:        51996 kB
LowTotal:       903652 kB
LowFree:        851052 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11352 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 22:04:41 (client local time) WITH STATUS 10 IN 1200.29 SECONDS
stats: 3128 7 1200.29 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109601 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 |  109601   219202 |   36533       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  193124   415097 |   64374       0        0     nan |  0.000 % |
c |       100 |  192416   413617 |   70811      76      921    12.1 |  0.681 % |
c |       250 |  191023   410616 |   77892     179     2197    12.3 |  2.096 % |
c |       475 |  190063   408538 |   85681     361     3680    10.2 |  3.080 % |
c |       812 |  188734   405627 |   94249     637     6636    10.4 |  4.472 % |
c |      1318 |  186843   401468 |  103674    1068    12098    11.3 |  6.468 % |
c |      2078 |  182356   391503 |  114042    1656    20682    12.5 | 11.351 % |
c |      3217 |  177722   381101 |  125446    2499    32422    13.0 | 16.364 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      3529 |  175621   376581 |   58540    2705    34651    12.8 | 16.364 % |
c |      3629 |  175081   375366 |   64394    2776    35448    12.8 | 19.578 % |
c |      3779 |  174172   373327 |   70833    2879    36988    12.8 | 20.559 % |
c |      4004 |  173065   370801 |   77916    3042    38920    12.8 | 21.723 % |
c |      4341 |  171253   366710 |   85708    3295    42788    13.0 | 23.699 % |
c |      4847 |  168168   359645 |   94279    3646    46729    12.8 | 27.155 % |
c |      5606 |  165511   353533 |  103707    4196    52953    12.6 | 30.161 % |
c |      6746 |  160767   342641 |  114077    5044    64353    12.8 | 35.508 % |
c |      8454 |  155384   330180 |  125485    6279    81871    13.0 | 41.640 % |
c |     11016 |  149069   315430 |  138034    8200   110217    13.4 | 48.843 % |
c |     14860 |  139979   293955 |  151837   11004   152130    13.8 | 59.520 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     20499 |  132623   276547 |   44207   15087   233369    15.5 | 59.520 % |
c |     20599 |  132522   276302 |   48627   15164   235097    15.5 | 68.499 % |
c |     20749 |  132324   275837 |   53490   15279   237075    15.5 | 68.729 % |
c |     20974 |  132058   275218 |   58839   15436   241112    15.6 | 69.032 % |
c |     21311 |  131621   274190 |   64723   15651   243787    15.6 | 69.531 % |
c |     21817 |  131015   272757 |   71195   15990   252762    15.8 | 70.240 % |
c |     22576 |  130069   270499 |   78315   16497   264557    16.0 | 71.349 % |
c |     23715 |  128828   267554 |   86146   17352   289981    16.7 | 72.790 % |
c |     25423 |  127390   264042 |   94761   18639   326421    17.5 | 74.562 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     27608 |  126418   261648 |   42139   20404   389011    19.1 | 74.562 % |
c |     27708 |  126083   260820 |   46352   20406   388917    19.1 | 76.186 % |
c |     27858 |  125935   260464 |   50988   20480   393969    19.2 | 76.368 % |
c |     28083 |  125831   260210 |   56087   20649   399264    19.3 | 76.498 % |
c |     28420 |  125831   260210 |   61695   20986   410136    19.5 | 76.498 % |
c |     28926 |  125772   260065 |   67865   21475   417326    19.4 | 76.571 % |
c |     29687 |  125736   259979 |   74651   22220   469844    21.1 | 76.615 % |
c |     30826 |  125376   259109 |   82116   23271   508205    21.8 | 77.053 % |
c |     32535 |  124959   258114 |   90328   24674   574603    23.3 | 77.553 % |
c |     35097 |  124654   257365 |   99361   27056   731371    27.0 | 77.933 % |
c |     38941 |  123674   254985 |  109297   30310   953739    31.5 | 79.143 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     39981 |  123189   253844 |   41063   30770  1040985    33.8 | 79.143 % |
c |     40081 |  123136   253713 |   45169   30862  1043549    33.8 | 79.813 % |
c |     40231 |  122947   253253 |   49686   30899  1043609    33.8 | 80.048 % |
c |     40456 |  122945   253249 |   54654   31123  1055699    33.9 | 80.049 % |
c |     40794 |  122945   253249 |   60120   31461  1069312    34.0 | 80.049 % |
c |     41300 |  122900   253146 |   66132   31902  1099724    34.5 | 80.100 % |
c |     42059 |  122752   252790 |   72745   32334  1144268    35.4 | 80.272 % |
c |     43198 |  122366   251861 |   80020   33089  1185693    35.8 | 80.723 % |
c |     44907 |  122194   251428 |   88022   34657  1295375    37.4 | 80.945 % |
c |     47469 |  121548   249831 |   96824   36732  1490676    40.6 | 81.756 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     49597 |  121162   248821 |   40387   38360  1594354    41.6 | 81.756 % |
c |     49697 |  121121   248722 |   44425   38424  1596348    41.5 | 82.285 % |
c |     49847 |  121069   248597 |   48868   38550  1604324    41.6 | 82.348 % |
c |     50072 |  121069   248597 |   53755   38775  1614451    41.6 | 82.348 % |
c |     50409 |  120960   248347 |   59130   39032  1630054    41.8 | 82.467 % |
c |     50916 |  120636   247540 |   65043   39334  1644118    41.8 | 82.880 % |
c |     51675 |  120511   247232 |   71548   39793  1665108    41.8 | 83.036 % |
c |     52814 |  120273   246658 |   78702   40760  1749498    42.9 | 83.330 % |
c |     54522 |  120044   246077 |   86573   42192  1866998    44.3 | 83.631 % |
c |     57086 |  119856   245625 |   95230   44603  2084904    46.7 | 83.860 % |
c |     60930 |  119757   245394 |  104753   48320  2492696    51.6 | 83.975 % |
c |     66698 |  119630   245101 |  115228   53924  3060814    56.8 | 84.119 % |
c |     75349 |  119586   244999 |  126751   62536  4250466    68.0 | 84.170 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     80708 |  119633   245141 |   39877   67895  4961309    73.1 | 84.170 % |
c |     80808 |  119633   245141 |   43864   67995  4966277    73.0 | 84.150 % |
c |     80958 |  119633   245141 |   48251   68145  4968911    72.9 | 84.150 % |
c |     81183 |  119630   245134 |   53076   68360  4989143    73.0 | 84.154 % |
c |     81520 |  119590   245038 |   58383   68485  5032014    73.5 | 84.203 % |
c |     82026 |  119560   244960 |   64222   68956  5055540    73.3 | 84.243 % |
c |     82785 |  119541   244917 |   70644   69664  5112086    73.4 | 84.264 % |
c |     83924 |  119484   244782 |   77708   70593  5233348    74.1 | 84.330 % |
c |     85632 |  119390   244544 |   85479   72182  5364386    74.3 | 84.452 % |
c |     88194 |  119390   244544 |   94027   74744  5768919    77.2 | 84.452 % |
c |     92038 |  119330   244395 |  103430   78241  6251849    79.9 | 84.529 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     95222 |  119307   244312 |   39769   80797  6489917    80.3 | 84.529 % |
c |     95322 |  119302   244301 |   43745   80801  6494507    80.4 | 84.568 % |
c |     95473 |  119302   244301 |   48120   80952  6499168    80.3 | 84.568 % |
c |     95699 |  119302   244301 |   52932   81178  6517644    80.3 | 84.568 % |
c |     96037 |  119302   244301 |   58225   81516  6558349    80.5 | 84.568 % |
c |     96543 |  119251   244180 |   64048   81893  6601834    80.6 | 84.629 % |
c |     97302 |  119251   244180 |   70453   82652  6683850    80.9 | 84.629 % |
c |     98443 |  119251   244180 |   77498   83793  6792426    81.1 | 84.629 % |
c |    100152 |  119248   244173 |   85248   85501  7044565    82.4 | 84.633 % |
c |    102714 |  119224   244113 |   93773   87981  7416265    84.3 | 84.664 % |
c |    106558 |  119224   244113 |  103150   91825  8083263    88.0 | 84.664 % |
c |    112324 |  119173   243998 |  113465   97535  8694659    89.1 | 84.720 % |
c |    120973 |  119173   243998 |  124812  106184 10419020    98.1 | 84.720 % |
c |    133947 |  119051   243701 |  137293  118592 12175059   102.7 | 84.868 % |
c |    153408 |  118999   243571 |  151022  137826 14991766   108.8 | 84.933 % |
c |    182602 |  118921   243384 |  166124  166833 21119827   126.6 | 85.020 % |
c |    226392 |  118907   243352 |  182737  210607 28689871   136.2 | 85.036 % |
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): 0.91 0.95 0.91 2/54 25591
Raw data (stat): 25591 (runsolver) R 25590 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421072337 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99972 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6232 0 0 0 977 21 0 0 25 0 1 0 421072337 28045312 6210 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6847 6210 603 41 0 6806 0
vsize: 27388
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6243 0 0 0 1977 21 0 0 25 0 1 0 421072337 28045312 6221 4294967295 134512640 134672761 3221224640 3221223812 134556602 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6847 6221 603 41 0 6806 0
vsize: 27388
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6254 0 0 0 2977 21 0 0 25 0 1 0 421072337 28045312 6232 4294967295 134512640 134672761 3221224640 3221223844 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6847 6232 603 41 0 6806 0
vsize: 27388
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6262 0 0 0 3976 21 0 0 25 0 1 0 421072337 28180480 6240 4294967295 134512640 134672761 3221224640 3221223840 134557842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6880 6240 603 41 0 6839 0
vsize: 27520
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6484 0 0 0 4976 21 0 0 25 0 1 0 421072337 29470720 6462 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7195 6462 603 41 0 7154 0
vsize: 28780
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6484 0 0 0 5976 21 0 0 25 0 1 0 421072337 29470720 6462 4294967295 134512640 134672761 3221224640 3221223812 134556643 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7195 6462 603 41 0 7154 0
vsize: 28780
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6484 0 0 0 6976 22 0 0 25 0 1 0 421072337 29470720 6462 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7195 6462 603 41 0 7154 0
vsize: 28780
[startup+80.0011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6484 0 0 0 7976 22 0 0 25 0 1 0 421072337 29470720 6462 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7195 6462 603 41 0 7154 0
vsize: 28780
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6484 0 0 0 8976 22 0 0 25 0 1 0 421072337 29470720 6462 4294967295 134512640 134672761 3221224640 3221223812 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7195 6462 603 41 0 7154 0
vsize: 28780
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6484 0 0 0 9976 22 0 0 25 0 1 0 421072337 29470720 6462 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7195 6462 603 41 0 7154 0
vsize: 28780
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6484 0 0 0 10976 22 0 0 25 0 1 0 421072337 29470720 6462 4294967295 134512640 134672761 3221224640 3221223812 134556632 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7195 6462 603 41 0 7154 0
vsize: 28780
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6484 0 0 0 11977 22 0 0 25 0 1 0 421072337 29470720 6462 4294967295 134512640 134672761 3221224640 3221223836 134556678 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7195 6462 603 41 0 7154 0
vsize: 28780
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6523 0 0 0 12977 22 0 0 25 0 1 0 421072337 29605888 6501 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7228 6501 603 41 0 7187 0
vsize: 28912
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6619 0 0 0 13976 22 0 0 25 0 1 0 421072337 30035968 6565 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7333 6565 603 41 0 7292 0
vsize: 29332
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6714 0 0 0 14976 22 0 0 25 0 1 0 421072337 30302208 6660 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7398 6660 603 41 0 7357 0
vsize: 29592
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 6926 0 0 0 15976 23 0 0 25 0 1 0 421072337 31100928 6840 4294967295 134512640 134672761 3221224640 3221223764 134566037 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7593 6840 603 41 0 7552 0
vsize: 30372
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 7225 0 0 0 16975 24 0 0 25 0 1 0 421072337 32309248 7139 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7888 7139 603 41 0 7847 0
vsize: 31552
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 7591 0 0 0 17974 26 0 0 25 0 1 0 421072337 33570816 7474 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8196 7474 603 41 0 8155 0
vsize: 32784
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 7872 0 0 0 18973 26 0 0 25 0 1 0 421072337 34902016 7755 4294967295 134512640 134672761 3221224640 3221223744 134560198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8521 7755 603 41 0 8480 0
vsize: 34084
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 8167 0 0 0 19972 27 0 0 25 0 1 0 421072337 36110336 8050 4294967295 134512640 134672761 3221224640 3221223808 134560882 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8816 8050 603 41 0 8775 0
vsize: 35264
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 8358 0 0 0 20972 28 0 0 25 0 1 0 421072337 36720640 8210 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8965 8210 603 41 0 8924 0
vsize: 35860
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 8673 0 0 0 21971 29 0 0 25 0 1 0 421072337 38068224 8525 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9294 8525 603 41 0 9253 0
vsize: 37176
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 9211 0 0 0 22969 31 0 0 25 0 1 0 421072337 40214528 9063 4294967295 134512640 134672761 3221224640 3221223776 134560654 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9818 9063 603 41 0 9777 0
vsize: 39272
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 9662 0 0 0 23968 32 0 0 25 0 1 0 421072337 42094592 9514 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10277 9514 603 41 0 10236 0
vsize: 41108
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 10279 0 0 0 24967 33 0 0 25 0 1 0 421072337 44494848 10131 4294967295 134512640 134672761 3221224640 3221223824 134558662 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10863 10131 603 41 0 10822 0
vsize: 43452
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 10830 0 0 0 25966 35 0 0 25 0 1 0 421072337 46776320 10682 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11420 10682 603 41 0 11379 0
vsize: 45680
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 11243 0 0 0 26965 36 0 0 25 0 1 0 421072337 48521216 11095 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11846 11095 603 41 0 11805 0
vsize: 47384
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 11793 0 0 0 27963 38 0 0 25 0 1 0 421072337 50937856 11645 4294967295 134512640 134672761 3221224640 3221223824 134559383 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12436 11645 603 41 0 12395 0
vsize: 49744
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 12129 0 0 0 28962 39 0 0 25 0 1 0 421072337 52166656 11949 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12736 11949 603 41 0 12695 0
vsize: 50944
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 12433 0 0 0 29962 40 0 0 25 0 1 0 421072337 53379072 12253 4294967295 134512640 134672761 3221224640 3221223808 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13032 12253 603 41 0 12991 0
vsize: 52128
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 12921 0 0 0 30960 41 0 0 25 0 1 0 421072337 55398400 12741 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13525 12741 603 41 0 13484 0
vsize: 54100
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 13314 0 0 0 31960 42 0 0 25 0 1 0 421072337 57012224 13134 4294967295 134512640 134672761 3221224640 3221223780 134560629 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13919 13134 603 41 0 13878 0
vsize: 55676
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 13696 0 0 0 32959 43 0 0 25 0 1 0 421072337 58634240 13516 4294967295 134512640 134672761 3221224640 3221223744 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14315 13516 603 41 0 14274 0
vsize: 57260
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 13852 0 0 0 33959 44 0 0 25 0 1 0 421072337 59031552 13642 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14412 13642 603 41 0 14371 0
vsize: 57648
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 14243 0 0 0 34958 44 0 0 25 0 1 0 421072337 60649472 14033 4294967295 134512640 134672761 3221224640 3221223808 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14807 14033 603 41 0 14766 0
vsize: 59228
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 14648 0 0 0 35957 46 0 0 25 0 1 0 421072337 62386176 14438 4294967295 134512640 134672761 3221224640 3221223840 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15231 14438 603 41 0 15190 0
vsize: 60924
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 15078 0 0 0 36956 47 0 0 25 0 1 0 421072337 64131072 14868 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15657 14868 603 41 0 15616 0
vsize: 62628
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 15477 0 0 0 37955 48 0 0 25 0 1 0 421072337 65732608 15267 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16048 15267 603 41 0 16007 0
vsize: 64192
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 15811 0 0 0 38955 48 0 0 25 0 1 0 421072337 67072000 15601 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16375 15601 603 41 0 16334 0
vsize: 65500
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 16138 0 0 0 39954 49 0 0 25 0 1 0 421072337 68403200 15928 4294967295 134512640 134672761 3221224640 3221223808 134561133 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16700 15928 603 41 0 16659 0
vsize: 66800
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 16488 0 0 0 40953 50 0 0 25 0 1 0 421072337 69869568 16278 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17058 16278 603 41 0 17017 0
vsize: 68232
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 16973 0 0 0 41953 51 0 0 25 0 1 0 421072337 71745536 16763 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17516 16763 603 41 0 17475 0
vsize: 70064
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 17420 0 0 0 42952 52 0 0 25 0 1 0 421072337 73621504 17210 4294967295 134512640 134672761 3221224640 3221223744 134560019 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17974 17210 603 41 0 17933 0
vsize: 71896
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 17832 0 0 0 43951 53 0 0 25 0 1 0 421072337 75358208 17622 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18398 17622 603 41 0 18357 0
vsize: 73592
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 18090 0 0 0 44950 54 0 0 25 0 1 0 421072337 76296192 17880 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18627 17880 603 41 0 18586 0
vsize: 74508
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 18319 0 0 0 45950 55 0 0 25 0 1 0 421072337 77234176 18109 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18856 18109 603 41 0 18815 0
vsize: 75424
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 18615 0 0 0 46949 55 0 0 25 0 1 0 421072337 78442496 18405 4294967295 134512640 134672761 3221224640 3221223808 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19151 18405 603 41 0 19110 0
vsize: 76604
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 18934 0 0 0 47949 56 0 0 25 0 1 0 421072337 79781888 18724 4294967295 134512640 134672761 3221224640 3221223808 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19478 18724 603 41 0 19437 0
vsize: 77912
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 19238 0 0 0 48948 57 0 0 25 0 1 0 421072337 80986112 19028 4294967295 134512640 134672761 3221224640 3221223808 134560806 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19772 19028 603 41 0 19731 0
vsize: 79088
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 19733 0 0 0 49947 58 0 0 25 0 1 0 421072337 83005440 19523 4294967295 134512640 134672761 3221224640 3221223776 134560688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20265 19523 603 41 0 20224 0
vsize: 81060
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 20053 0 0 0 50946 59 0 0 25 0 1 0 421072337 84353024 19843 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20594 19843 603 41 0 20553 0
vsize: 82376
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 20380 0 0 0 51946 60 0 0 25 0 1 0 421072337 85692416 20170 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20921 20170 603 41 0 20880 0
vsize: 83684
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 20678 0 0 0 52945 61 0 0 25 0 1 0 421072337 86900736 20468 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21216 20468 603 41 0 21175 0
vsize: 84864
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 21032 0 0 0 53945 61 0 0 25 0 1 0 421072337 88375296 20822 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21576 20822 603 41 0 21535 0
vsize: 86304
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 21373 0 0 0 54944 62 0 0 25 0 1 0 421072337 89722880 21163 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21905 21163 603 41 0 21864 0
vsize: 87620
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 21718 0 0 0 55943 63 0 0 25 0 1 0 421072337 91582464 21508 4294967295 134512640 134672761 3221224640 3221223840 134557842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22359 21508 603 41 0 22318 0
vsize: 89436
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 22065 0 0 0 56943 64 0 0 25 0 1 0 421072337 93048832 21855 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22717 21855 603 41 0 22676 0
vsize: 90868
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 22289 0 0 0 57942 65 0 0 25 0 1 0 421072337 93986816 22079 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22946 22079 603 41 0 22905 0
vsize: 91784
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 22526 0 0 0 58942 65 0 0 25 0 1 0 421072337 94924800 22316 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23175 22316 603 41 0 23134 0
vsize: 92700
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 22857 0 0 0 59941 66 0 0 25 0 1 0 421072337 96272384 22647 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23504 22647 603 41 0 23463 0
vsize: 94016
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 23206 0 0 0 60941 67 0 0 25 0 1 0 421072337 97738752 22996 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23862 22996 603 41 0 23821 0
vsize: 95448
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 23593 0 0 0 61940 68 0 0 25 0 1 0 421072337 99344384 23383 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24254 23383 603 41 0 24213 0
vsize: 97016
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 24018 0 0 0 62939 69 0 0 25 0 1 0 421072337 101081088 23808 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24678 23808 603 41 0 24637 0
vsize: 98712
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 24434 0 0 0 63938 70 0 0 25 0 1 0 421072337 102682624 24224 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25069 24224 603 41 0 25028 0
vsize: 100276
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 24792 0 0 0 64938 71 0 0 25 0 1 0 421072337 104148992 24582 4294967295 134512640 134672761 3221224640 3221223744 134560410 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25427 24582 603 41 0 25386 0
vsize: 101708
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 25209 0 0 0 65937 72 0 0 25 0 1 0 421072337 105881600 24999 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25850 24999 603 41 0 25809 0
vsize: 103400
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 25584 0 0 0 66936 72 0 0 25 0 1 0 421072337 107352064 25374 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26209 25374 603 41 0 26168 0
vsize: 104836
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 25934 0 0 0 67935 74 0 0 25 0 1 0 421072337 108814336 25724 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26566 25724 603 41 0 26525 0
vsize: 106264
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 26300 0 0 0 68934 75 0 0 25 0 1 0 421072337 110276608 26090 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26923 26090 603 41 0 26882 0
vsize: 107692
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 26642 0 0 0 69933 76 0 0 25 0 1 0 421072337 111722496 26432 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27276 26432 603 41 0 27235 0
vsize: 109104
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 26972 0 0 0 70932 77 0 0 25 0 1 0 421072337 113061888 26762 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27603 26762 603 41 0 27562 0
vsize: 110412
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 27227 0 0 0 71932 78 0 0 25 0 1 0 421072337 114126848 27017 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27863 27017 603 41 0 27822 0
vsize: 111452
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 27494 0 0 0 72931 78 0 0 25 0 1 0 421072337 115195904 27284 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28124 27284 603 41 0 28083 0
vsize: 112496
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 27726 0 0 0 73930 80 0 0 25 0 1 0 421072337 116142080 27516 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28355 27516 603 41 0 28314 0
vsize: 113420
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 28009 0 0 0 74929 81 0 0 25 0 1 0 421072337 117342208 27799 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28648 27799 603 41 0 28607 0
vsize: 114592
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 28262 0 0 0 75929 81 0 0 25 0 1 0 421072337 118415360 28052 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28910 28052 603 41 0 28869 0
vsize: 115640
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 28619 0 0 0 76929 81 0 0 25 0 1 0 421072337 119750656 28409 4294967295 134512640 134672761 3221224640 3221223808 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29236 28409 603 41 0 29195 0
vsize: 116944
[startup+780.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 28961 0 0 0 77928 82 0 0 25 0 1 0 421072337 121225216 28751 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29596 28751 603 41 0 29555 0
vsize: 118384
[startup+790.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 29124 0 0 0 78928 83 0 0 25 0 1 0 421072337 121896960 28914 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29760 28914 603 41 0 29719 0
vsize: 119040
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 29386 0 0 0 79926 84 0 0 25 0 1 0 421072337 122970112 29176 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30022 29176 603 41 0 29981 0
vsize: 120088
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 29702 0 0 0 80926 85 0 0 25 0 1 0 421072337 124178432 29492 4294967295 134512640 134672761 3221224640 3221223776 134565073 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30317 29492 603 41 0 30276 0
vsize: 121268
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 30022 0 0 0 81925 85 0 0 25 0 1 0 421072337 125526016 29812 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30646 29812 603 41 0 30605 0
vsize: 122584
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 30255 0 0 0 82925 86 0 0 25 0 1 0 421072337 126464000 30045 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30875 30045 603 41 0 30834 0
vsize: 123500
[startup+840.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 30543 0 0 0 83925 86 0 0 25 0 1 0 421072337 127655936 30333 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31166 30333 603 41 0 31125 0
vsize: 124664
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 30821 0 0 0 84924 87 0 0 25 0 1 0 421072337 128716800 30611 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31425 30611 603 41 0 31384 0
vsize: 125700
[startup+860.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 31111 0 0 0 85924 88 0 0 25 0 1 0 421072337 129921024 30901 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31719 30901 603 41 0 31678 0
vsize: 126876
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 31373 0 0 0 86923 88 0 0 25 0 1 0 421072337 130990080 31163 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31980 31164 603 41 0 31939 0
vsize: 127920
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 31668 0 0 0 87922 89 0 0 25 0 1 0 421072337 132202496 31458 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32276 31458 603 41 0 32235 0
vsize: 129104
[startup+890.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 31919 0 0 0 88922 90 0 0 25 0 1 0 421072337 133279744 31709 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32539 31709 603 41 0 32498 0
vsize: 130156
[startup+900.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 32159 0 0 0 89922 90 0 0 25 0 1 0 421072337 134221824 31949 4294967295 134512640 134672761 3221224640 3221223812 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32769 31949 603 41 0 32728 0
vsize: 131076
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 32399 0 0 0 90921 91 0 0 25 0 1 0 421072337 135163904 32189 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32999 32189 603 41 0 32958 0
vsize: 131996
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25591
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 32681 0 0 0 91920 93 0 0 25 0 1 0 421072337 136380416 32471 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33296 32471 603 41 0 33255 0
vsize: 133184
[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 25638
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 32932 0 0 0 92922 93 0 0 25 0 1 0 421072337 137449472 32722 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33557 32722 603 41 0 33516 0
vsize: 134228
[startup+940.039 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 25644
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 33152 0 0 0 93922 94 0 0 25 0 1 0 421072337 138252288 32942 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33753 32942 603 41 0 33712 0
vsize: 135012
[startup+950.039 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 25644
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 33367 0 0 0 94922 94 0 0 25 0 1 0 421072337 139182080 33157 4294967295 134512640 134672761 3221224640 3221223792 134561244 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33980 33157 603 41 0 33939 0
vsize: 135920
[startup+960.039 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 25644
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 33646 0 0 0 95922 95 0 0 25 0 1 0 421072337 140263424 33436 4294967295 134512640 134672761 3221224640 3221223808 134561391 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34244 33436 603 41 0 34203 0
vsize: 136976
[startup+970.039 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 25644
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 33913 0 0 0 96921 96 0 0 25 0 1 0 421072337 141340672 33703 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34507 33703 603 41 0 34466 0
vsize: 138028
[startup+980.039 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 25644
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 34151 0 0 0 97921 96 0 0 25 0 1 0 421072337 142397440 33941 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34765 33941 603 41 0 34724 0
vsize: 139060
[startup+990.04 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 25644
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 34468 0 0 0 98920 97 0 0 25 0 1 0 421072337 143601664 34258 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35059 34258 603 41 0 35018 0
vsize: 140236
[startup+1000.04 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 34759 0 0 0 99920 98 0 0 25 0 1 0 421072337 144805888 34549 4294967295 134512640 134672761 3221224640 3221223808 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35353 34549 603 41 0 35312 0
vsize: 141412
[startup+1010.04 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 35097 0 0 0 100919 98 0 0 25 0 1 0 421072337 146288640 34887 4294967295 134512640 134672761 3221224640 3221223808 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35715 34887 603 41 0 35674 0
vsize: 142860
[startup+1020.04 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 35364 0 0 0 101919 99 0 0 25 0 1 0 421072337 147353600 35154 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35975 35154 603 41 0 35934 0
vsize: 143900
[startup+1030.04 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 35615 0 0 0 102918 100 0 0 25 0 1 0 421072337 148287488 35405 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36203 35405 603 41 0 36162 0
vsize: 144812
[startup+1040.04 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 35904 0 0 0 103918 100 0 0 25 0 1 0 421072337 149487616 35694 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36496 35694 603 41 0 36455 0
vsize: 145984
[startup+1050.04 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 36177 0 0 0 104917 101 0 0 25 0 1 0 421072337 150679552 35967 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36787 35967 603 41 0 36746 0
vsize: 147148
[startup+1060.04 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 36441 0 0 0 105916 102 0 0 25 0 1 0 421072337 151736320 36231 4294967295 134512640 134672761 3221224640 3221223808 134561003 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37045 36231 603 41 0 37004 0
vsize: 148180
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 36693 0 0 0 106916 103 0 0 25 0 1 0 421072337 152797184 36483 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37304 36483 603 41 0 37263 0
vsize: 149216
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 36913 0 0 0 107915 104 0 0 25 0 1 0 421072337 153604096 36703 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37501 36703 603 41 0 37460 0
vsize: 150004
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 37079 0 0 0 108915 104 0 0 25 0 1 0 421072337 154271744 36869 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37664 36869 603 41 0 37623 0
vsize: 150656
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 37331 0 0 0 109914 105 0 0 25 0 1 0 421072337 155344896 37121 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37926 37121 603 41 0 37885 0
vsize: 151704
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 37620 0 0 0 110913 105 0 0 25 0 1 0 421072337 156553216 37410 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38221 37410 603 41 0 38180 0
vsize: 152884
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 37835 0 0 0 111913 106 0 0 25 0 1 0 421072337 157351936 37625 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38416 37625 603 41 0 38375 0
vsize: 153664
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 38119 0 0 0 112912 107 0 0 25 0 1 0 421072337 158552064 37909 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38709 37909 603 41 0 38668 0
vsize: 154836
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 38417 0 0 0 113912 108 0 0 25 0 1 0 421072337 159744000 38207 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39000 38207 603 41 0 38959 0
vsize: 156000
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 38701 0 0 0 114912 108 0 0 25 0 1 0 421072337 160931840 38491 4294967295 134512640 134672761 3221224640 3221223808 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39290 38491 603 41 0 39249 0
vsize: 157160
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 38979 0 0 0 115911 109 0 0 25 0 1 0 421072337 162136064 38769 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39584 38769 603 41 0 39543 0
vsize: 158336
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 39264 0 0 0 116911 109 0 0 25 0 1 0 421072337 163201024 39054 4294967295 134512640 134672761 3221224640 3221223640 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39844 39054 603 41 0 39803 0
vsize: 159376
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 39528 0 0 0 117910 110 0 0 25 0 1 0 421072337 164261888 39318 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40103 39318 603 41 0 40062 0
vsize: 160412
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 39744 0 0 0 118909 111 0 0 25 0 1 0 421072337 165195776 39534 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40331 39534 603 41 0 40290 0
vsize: 161324
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25646
Raw data (stat): 25591 (minisat+) R 25590 22932 22931 0 -1 0 39946 0 0 0 119909 112 0 0 25 0 1 0 421072337 165994496 39736 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40526 39736 603 41 0 40485 0
vsize: 162104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 25646
Raw data (stat): 25591 (minisat+) Z 25590 22932 22931 0 -1 12 39949 0 0 0 119909 119 0 0 25 0 1 0 421072337 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.12
CPU time (s): 1200.29
CPU user time (s): 1199.1
CPU system time (s): 1.19582
CPU usage (%): 100.014
Max. virtual memory (Kb): 162104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####