PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM	550a32227cb0042826e9d8b0433b2655
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	109401
Number of constraints which are clauses	109401
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 6019

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        890944 kB
Buffers:         35480 kB
Cached:          87120 kB
SwapCached:          4 kB
Active:          60444 kB
Inactive:        65048 kB
HighTotal:      131008 kB
HighFree:        40124 kB
LowTotal:       903652 kB
LowFree:        850820 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            12568 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 03:20:48 (client local time) WITH STATUS 10 IN 1200.19 SECONDS
stats: 4481 7 1200.19 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109401 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): .........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  109401   218802 |   36467       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  193094   415099 |   64364       0        0     nan |  0.000 % |
c |       100 |  192550   413981 |   70800      81      590     7.3 |  0.516 % |
c |       250 |  191694   412157 |   77880     191     2087    10.9 |  1.412 % |
c |       476 |  190523   409618 |   85668     373     4634    12.4 |  2.568 % |
c |       814 |  188009   404076 |   94235     603     7316    12.1 |  5.226 % |
c |      1320 |  185071   397592 |  103658    1000    11541    11.5 |  8.340 % |
c |      2079 |  180361   387088 |  114024    1525    18000    11.8 | 13.428 % |
c |      3218 |  174052   372857 |  125427    2298    26933    11.7 | 20.384 % |
c |      4926 |  167171   357178 |  137969    3480    42305    12.2 | 28.065 % |
c |      7488 |  157158   334221 |  151766    5331    61838    11.6 | 39.255 % |
c |     11332 |  144436   304457 |  166943    8039    94187    11.7 | 53.917 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     16748 |  134807   281657 |   44935   11523   152767    13.3 | 53.917 % |
c |     16848 |  134472   280875 |   49428   11599   153817    13.3 | 65.787 % |
c |     16998 |  134230   280308 |   54371   11738   156796    13.4 | 66.068 % |
c |     17223 |  133770   279211 |   59808   11876   159392    13.4 | 66.599 % |
c |     17560 |  133293   278066 |   65789   12117   163106    13.5 | 67.168 % |
c |     18067 |  132451   276026 |   72368   12355   166879    13.5 | 68.197 % |
c |     18826 |  132034   275016 |   79605   12963   188616    14.6 | 68.700 % |
c |     19965 |  130866   272248 |   87565   13720   203418    14.8 | 70.076 % |
c |     21673 |  129525   269009 |   96322   15069   249486    16.6 | 71.703 % |
c |     24236 |  126370   261437 |  105954   16906   301322    17.8 | 75.533 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     27120 |  124797   257602 |   41599   19327   366556    19.0 | 75.533 % |
c |     27221 |  124609   257169 |   45758   19390   367451    19.0 | 77.656 % |
c |     27372 |  124609   257169 |   50334   19541   373598    19.1 | 77.656 % |
c |     27597 |  124480   256852 |   55368   19696   382342    19.4 | 77.819 % |
c |     27934 |  124352   256539 |   60905   19950   393222    19.7 | 77.981 % |
c |     28442 |  124246   256284 |   66995   20427   408671    20.0 | 78.109 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     28536 |  124314   256509 |   41438   20521   411801    20.1 | 78.109 % |
c |     28636 |  124278   256419 |   45581   20615   413150    20.0 | 78.122 % |
c |     28787 |  124212   256258 |   50139   20594   416116    20.2 | 78.206 % |
c |     29012 |  124155   256115 |   55153   20774   422744    20.3 | 78.281 % |
c |     29349 |  123998   255722 |   60669   21061   432926    20.6 | 78.481 % |
c |     29855 |  123924   255541 |   66736   21542   455907    21.2 | 78.574 % |
c |     30614 |  123477   254457 |   73409   22107   479117    21.7 | 79.122 % |
c |     31753 |  123112   253584 |   80750   23117   523958    22.7 | 79.563 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     32704 |  122868   252983 |   40956   23796   542190    22.8 | 79.563 % |
c |     32804 |  122868   252983 |   45051   23896   544156    22.8 | 79.858 % |
c |     32954 |  122865   252976 |   49556   24045   548175    22.8 | 79.862 % |
c |     33180 |  122748   252701 |   54512   24233   556503    23.0 | 79.998 % |
c |     33518 |  122695   252573 |   59963   24544   575429    23.4 | 80.063 % |
c |     34025 |  122496   252082 |   65960   24965   615467    24.7 | 80.303 % |
c |     34784 |  122447   251963 |   72556   25704   643849    25.0 | 80.363 % |
c |     35923 |  122348   251715 |   79811   26752   724264    27.1 | 80.490 % |
c |     37631 |  122084   251065 |   87792   28017   788957    28.2 | 80.823 % |
c |     40193 |  121936   250714 |   96572   30493  1096807    36.0 | 80.996 % |
c |     44037 |  121613   249937 |  106229   33966  1333260    39.3 | 81.387 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     44649 |  121598   249931 |   40532   34330  1361086    39.6 | 81.387 % |
c |     44750 |  121598   249931 |   44585   34431  1363689    39.6 | 81.415 % |
c |     44901 |  121496   249687 |   49043   34550  1367121    39.6 | 81.537 % |
c |     45126 |  121026   248536 |   53948   34437  1367468    39.7 | 82.124 % |
c |     45463 |  121001   248473 |   59342   34739  1383805    39.8 | 82.157 % |
c |     45970 |  120940   248317 |   65277   35124  1405818    40.0 | 82.236 % |
c |     46730 |  120930   248293 |   71804   35808  1432323    40.0 | 82.248 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     47417 |  120940   248346 |   40313   36448  1451377    39.8 | 82.248 % |
c |     47517 |  120934   248332 |   44344   36543  1455647    39.8 | 82.292 % |
c |     47667 |  120876   248204 |   48778   36594  1456457    39.8 | 82.353 % |
c |     47894 |  120869   248187 |   53656   36738  1463986    39.8 | 82.362 % |
c |     48231 |  120869   248187 |   59022   37075  1473745    39.8 | 82.362 % |
c |     48738 |  120659   247667 |   64924   37412  1495976    40.0 | 82.628 % |
c |     49497 |  120597   247517 |   71416   37982  1561617    41.1 | 82.703 % |
c |     50636 |  120480   247240 |   78558   38839  1642896    42.3 | 82.842 % |
c |     52344 |  120473   247225 |   86414   40501  1739485    42.9 | 82.849 % |
c |     54906 |  120255   246700 |   95055   42829  1975102    46.1 | 83.118 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     57045 |  120216   246582 |   40072   44648  2278364    51.0 | 83.118 % |
c |     57145 |  120216   246582 |   44079   44748  2281325    51.0 | 83.168 % |
c |     57297 |  120216   246582 |   48487   44900  2288955    51.0 | 83.168 % |
c |     57523 |  120130   246364 |   53335   44971  2304412    51.2 | 83.280 % |
c |     57860 |  120109   246315 |   58669   45276  2317982    51.2 | 83.304 % |
c |     58367 |  120058   246202 |   64536   45762  2356290    51.5 | 83.358 % |
c |     59126 |  120058   246202 |   70989   46521  2419971    52.0 | 83.358 % |
c |     60265 |  120058   246202 |   78088   47660  2507609    52.6 | 83.358 % |
c |     61973 |  120001   246053 |   85897   49258  2633802    53.5 | 83.437 % |
c |     64535 |  119961   245951 |   94487   51758  2848264    55.0 | 83.491 % |
c |     68379 |  119845   245672 |  103936   55463  3195026    57.6 | 83.630 % |
c |     74146 |  119845   245672 |  114330   61230  4034130    65.9 | 83.630 % |
c |     82795 |  119662   245221 |  125763   69629  4758092    68.3 | 83.864 % |
c |     95770 |  119456   244722 |  138339   82302  6937965    84.3 | 84.119 % |
c |    115231 |  119197   244098 |  152173  101081  9562562    94.6 | 84.432 % |
c ==============================================================================
c [1mFound solution: -49[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    128578 |  119061   243777 |   39687  114237 11744294   102.8 | 84.432 % |
c |    128679 |  119050   243750 |   43655   23872  2191084    91.8 | 84.625 % |
c |    128830 |  119050   243750 |   48021   24023  2198095    91.5 | 84.625 % |
c |    129057 |  119041   243727 |   52823   24247  2206430    91.0 | 84.638 % |
c |    129395 |  119041   243727 |   58105   24585  2234797    90.9 | 84.638 % |
c |    129901 |  119041   243727 |   63916   25091  2270090    90.5 | 84.638 % |
c |    130660 |  119041   243727 |   70307   25850  2324765    89.9 | 84.638 % |
c |    131800 |  119036   243714 |   77338   26967  2390314    88.6 | 84.645 % |
c |    133508 |  119024   243684 |   85072   28662  2521904    88.0 | 84.660 % |
c |    136070 |  118994   243606 |   93579   31211  2742209    87.9 | 84.702 % |
c |    139914 |  118994   243606 |  102937   35055  3395400    96.9 | 84.702 % |
c |    145680 |  118852   243246 |  113231   40787  4097071   100.5 | 84.885 % |
c |    154329 |  118811   243143 |  124554   49099  5460303   111.2 | 84.938 % |
c |    167303 |  118690   242854 |  137010   61891  7674838   124.0 | 85.081 % |
c |    186764 |  118443   242262 |  150711   81251 12728039   156.7 | 85.381 % |
c |    215956 |  118381   242110 |  165782  110427 18354731   166.2 | 85.459 % |
c |    259746 |  118130   241494 |  182360  153926 26304046   170.9 | 85.777 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1400 C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 C376 C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 C107 -C106 -C105 -C104 -C103 -C102 -C#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.97 0.97 0.91 2/54 26151
Raw data (stat): 26151 (runsolver) R 26150 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 422966838 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26151
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6204 0 0 0 980 18 0 0 25 0 1 0 422966838 27889664 6182 4294967295 134512640 134672761 3221224560 3221223732 134556653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6809 6182 603 41 0 6768 0
vsize: 27236
[startup+20.0012 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26151
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6210 0 0 0 1978 18 0 0 25 0 1 0 422966838 27889664 6188 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6809 6188 603 41 0 6768 0
vsize: 27236
[startup+30.0015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26151
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6217 0 0 0 2979 18 0 0 25 0 1 0 422966838 28024832 6195 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6842 6195 603 41 0 6801 0
vsize: 27368
[startup+40.0014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6226 0 0 0 3977 19 0 0 25 0 1 0 422966838 28024832 6204 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6842 6204 603 41 0 6801 0
vsize: 27368
[startup+50.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6233 0 0 0 4976 19 0 0 25 0 1 0 422966838 28024832 6211 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6842 6211 603 41 0 6801 0
vsize: 27368
[startup+60.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6240 0 0 0 5976 19 0 0 25 0 1 0 422966838 28024832 6218 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6842 6218 603 41 0 6801 0
vsize: 27368
[startup+70.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6247 0 0 0 6977 19 0 0 25 0 1 0 422966838 28168192 6225 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6877 6225 603 41 0 6836 0
vsize: 27508
[startup+80.0021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6256 0 0 0 7977 19 0 0 25 0 1 0 422966838 28168192 6234 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6877 6234 603 41 0 6836 0
vsize: 27508
[startup+90.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6262 0 0 0 8977 19 0 0 25 0 1 0 422966838 28168192 6240 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6877 6240 603 41 0 6836 0
vsize: 27508
[startup+100.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6273 0 0 0 9977 19 0 0 25 0 1 0 422966838 28168192 6251 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6877 6251 603 41 0 6836 0
vsize: 27508
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6288 0 0 0 10977 19 0 0 25 0 1 0 422966838 28327936 6266 4294967295 134512640 134672761 3221224560 3221223748 134556588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6916 6266 603 41 0 6875 0
vsize: 27664
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6328 0 0 0 11978 19 0 0 25 0 1 0 422966838 28463104 6306 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6949 6306 603 41 0 6908 0
vsize: 27796
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6490 0 0 0 12978 19 0 0 25 0 1 0 422966838 29499392 6468 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7202 6468 603 41 0 7161 0
vsize: 28808
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6511 0 0 0 13978 19 0 0 25 0 1 0 422966838 29634560 6489 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7235 6489 603 41 0 7194 0
vsize: 28940
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6598 0 0 0 14978 19 0 0 25 0 1 0 422966838 30048256 6576 4294967295 134512640 134672761 3221224560 3221223696 134560661 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7336 6576 603 41 0 7295 0
vsize: 29344
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 6764 0 0 0 15977 20 0 0 25 0 1 0 422966838 30691328 6742 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7493 6742 603 41 0 7452 0
vsize: 29972
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 7053 0 0 0 16977 21 0 0 25 0 1 0 422966838 31797248 7031 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7763 7031 603 41 0 7722 0
vsize: 31052
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 7532 0 0 0 17974 22 0 0 25 0 1 0 422966838 33812480 7510 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8255 7510 603 41 0 8214 0
vsize: 33020
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 7787 0 0 0 18974 23 0 0 25 0 1 0 422966838 34910208 7765 4294967295 134512640 134672761 3221224560 3221223732 134556680 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8523 7765 603 41 0 8482 0
vsize: 34092
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 7994 0 0 0 19973 24 0 0 25 0 1 0 422966838 35717120 7972 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8720 7972 603 41 0 8679 0
vsize: 34880
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 8402 0 0 0 20972 25 0 0 25 0 1 0 422966838 37466112 8380 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9147 8380 603 41 0 9106 0
vsize: 36588
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 8852 0 0 0 21971 27 0 0 25 0 1 0 422966838 39202816 8830 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9571 8830 603 41 0 9530 0
vsize: 38284
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 9212 0 0 0 22970 28 0 0 25 0 1 0 422966838 40685568 9190 4294967295 134512640 134672761 3221224560 3221223728 134561391 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9933 9190 603 41 0 9892 0
vsize: 39732
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 9631 0 0 0 23969 29 0 0 25 0 1 0 422966838 42434560 9609 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10360 9609 603 41 0 10319 0
vsize: 41440
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 10134 0 0 0 24967 31 0 0 25 0 1 0 422966838 44445696 10112 4294967295 134512640 134672761 3221224560 3221223664 134560248 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10851 10112 603 41 0 10810 0
vsize: 43404
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 10668 0 0 0 25966 32 0 0 25 0 1 0 422966838 46596096 10646 4294967295 134512640 134672761 3221224560 3221223728 134560994 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11376 10646 603 41 0 11335 0
vsize: 45504
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 10921 0 0 0 26966 33 0 0 25 0 1 0 422966838 47677440 10899 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11640 10899 603 41 0 11599 0
vsize: 46560
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 11427 0 0 0 27964 34 0 0 25 0 1 0 422966838 49954816 11405 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12196 11405 603 41 0 12155 0
vsize: 48784
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 11655 0 0 0 28964 35 0 0 25 0 1 0 422966838 50892800 11633 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12425 11633 603 41 0 12384 0
vsize: 49700
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26153
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 12160 0 0 0 29962 37 0 0 25 0 1 0 422966838 52903936 12138 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12916 12138 603 41 0 12875 0
vsize: 51664
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 12714 0 0 0 30960 39 0 0 25 0 1 0 422966838 55173120 12692 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13470 12692 603 41 0 13429 0
vsize: 53880
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 13297 0 0 0 31959 40 0 0 25 0 1 0 422966838 57585664 13275 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14059 13275 603 41 0 14018 0
vsize: 56236
[startup+330.007 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 13781 0 0 0 32958 41 0 0 25 0 1 0 422966838 59604992 13759 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14552 13759 603 41 0 14511 0
vsize: 58208
[startup+340.007 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 14147 0 0 0 33957 43 0 0 25 0 1 0 422966838 61075456 14125 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14911 14125 603 41 0 14870 0
vsize: 59644
[startup+350.006 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 14509 0 0 0 34956 44 0 0 25 0 1 0 422966838 62554112 14487 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15272 14487 603 41 0 15231 0
vsize: 61088
[startup+360.007 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 14934 0 0 0 35954 46 0 0 25 0 1 0 422966838 64282624 14912 4294967295 134512640 134672761 3221224560 3221223664 134560350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15694 14912 603 41 0 15653 0
vsize: 62776
[startup+370.007 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 15271 0 0 0 36953 47 0 0 25 0 1 0 422966838 65630208 15249 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16023 15249 603 41 0 15982 0
vsize: 64092
[startup+380.007 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 15599 0 0 0 37952 48 0 0 25 0 1 0 422966838 66957312 15577 4294967295 134512640 134672761 3221224560 3221223744 134559581 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16347 15577 603 41 0 16306 0
vsize: 65388
[startup+390.008 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 16042 0 0 0 38952 49 0 0 25 0 1 0 422966838 68833280 16020 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16805 16020 603 41 0 16764 0
vsize: 67220
[startup+400.008 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 16343 0 0 0 39951 49 0 0 25 0 1 0 422966838 70041600 16321 4294967295 134512640 134672761 3221224560 3221223728 134561375 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17100 16321 603 41 0 17059 0
vsize: 68400
[startup+410.008 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 16564 0 0 0 40951 50 0 0 25 0 1 0 422966838 70844416 16542 4294967295 134512640 134672761 3221224560 3221223744 134559498 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17296 16542 603 41 0 17255 0
vsize: 69184
[startup+420.008 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 16877 0 0 0 41950 51 0 0 25 0 1 0 422966838 72183808 16855 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17623 16855 603 41 0 17582 0
vsize: 70492
[startup+430.009 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 17218 0 0 0 42949 52 0 0 25 0 1 0 422966838 73515008 17196 4294967295 134512640 134672761 3221224560 3221223732 134556632 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17948 17196 603 41 0 17907 0
vsize: 71792
[startup+440.009 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 17568 0 0 0 43949 53 0 0 25 0 1 0 422966838 74981376 17546 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18306 17546 603 41 0 18265 0
vsize: 73224
[startup+450.009 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 17966 0 0 0 44948 54 0 0 25 0 1 0 422966838 76587008 17944 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18698 17944 603 41 0 18657 0
vsize: 74792
[startup+460.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18396 0 0 0 45947 55 0 0 25 0 1 0 422966838 78319616 18374 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19121 18374 603 41 0 19080 0
vsize: 76484
[startup+470.009 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18813 0 0 0 46946 56 0 0 25 0 1 0 422966838 80048128 18791 4294967295 134512640 134672761 3221224560 3221223664 134560252 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19543 18791 603 41 0 19502 0
vsize: 78172
[startup+480.01 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 47946 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+490.011 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 48946 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223664 134560370 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+500.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 49947 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+510.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 50947 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223664 134560367 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+520.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 51947 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223728 134553607 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+530.011 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 52947 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+540.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 53947 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+550.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 54947 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+560.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 55947 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+570.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 56948 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223760 134557842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+580.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 57948 56 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223732 134556667 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+590.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 58948 57 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223664 134560399 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+600.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 59948 57 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223744 134559166 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+610.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 60948 57 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223576 1075353072 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+620.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 61948 57 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+630.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18938 0 0 0 62948 57 0 0 25 0 1 0 422966838 80531456 18916 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18916 603 41 0 19620 0
vsize: 78644
[startup+640.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18939 0 0 0 63949 57 0 0 25 0 1 0 422966838 80531456 18917 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18917 603 41 0 19620 0
vsize: 78644
[startup+650.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18939 0 0 0 64949 57 0 0 25 0 1 0 422966838 80531456 18917 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19661 18917 603 41 0 19620 0
vsize: 78644
[startup+660.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 18959 0 0 0 65949 57 0 0 25 0 1 0 422966838 80666624 18937 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19694 18937 603 41 0 19653 0
vsize: 78776
[startup+670.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 19543 0 0 0 66948 58 0 0 25 0 1 0 422966838 83075072 19521 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20282 19521 603 41 0 20241 0
vsize: 81128
[startup+680.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 20064 0 0 0 67946 60 0 0 25 0 1 0 422966838 85221376 20042 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20806 20042 603 41 0 20765 0
vsize: 83224
[startup+690.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 20381 0 0 0 68944 61 0 0 25 0 1 0 422966838 86425600 20359 4294967295 134512640 134672761 3221224560 3221223732 134556643 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21100 20359 603 41 0 21059 0
vsize: 84400
[startup+700.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 20686 0 0 0 69942 63 0 0 25 0 1 0 422966838 87769088 20664 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21428 20664 603 41 0 21387 0
vsize: 85712
[startup+710.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 21134 0 0 0 70940 64 0 0 25 0 1 0 422966838 89632768 21112 4294967295 134512640 134672761 3221224560 3221223720 134561238 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21883 21112 603 41 0 21842 0
vsize: 87532
[startup+720.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 21449 0 0 0 71940 65 0 0 25 0 1 0 422966838 90841088 21427 4294967295 134512640 134672761 3221224560 3221223696 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22178 21427 603 41 0 22137 0
vsize: 88712
[startup+730.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 21791 0 0 0 72940 65 0 0 25 0 1 0 422966838 92311552 21769 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22537 21769 603 41 0 22496 0
vsize: 90148
[startup+740.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 22149 0 0 0 73939 66 0 0 25 0 1 0 422966838 93773824 22127 4294967295 134512640 134672761 3221224560 3221223664 134560350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22894 22127 603 41 0 22853 0
vsize: 91576
[startup+750.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 22408 0 0 0 74939 67 0 0 25 0 1 0 422966838 94842880 22386 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23155 22386 603 41 0 23114 0
vsize: 92620
[startup+760.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 22796 0 0 0 75938 68 0 0 25 0 1 0 422966838 96436224 22774 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23544 22775 603 41 0 23503 0
vsize: 94176
[startup+770.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 23263 0 0 0 76937 69 0 0 25 0 1 0 422966838 98291712 23241 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23997 23241 603 41 0 23956 0
vsize: 95988
[startup+780.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 23733 0 0 0 77936 70 0 0 25 0 1 0 422966838 100282368 23711 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24483 23711 603 41 0 24442 0
vsize: 97932
[startup+790.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 24181 0 0 0 78935 71 0 0 25 0 1 0 422966838 102006784 24159 4294967295 134512640 134672761 3221224560 3221223728 134560882 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24904 24159 603 41 0 24863 0
vsize: 99616
[startup+800.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 24640 0 0 0 79934 72 0 0 25 0 1 0 422966838 103878656 24618 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25361 24618 603 41 0 25320 0
vsize: 101444
[startup+810.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 25070 0 0 0 80934 73 0 0 25 0 1 0 422966838 105750528 25048 4294967295 134512640 134672761 3221224560 3221223664 134560379 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25818 25048 603 41 0 25777 0
vsize: 103272
[startup+820.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 25470 0 0 0 81933 74 0 0 25 0 1 0 422966838 107347968 25448 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26208 25448 603 41 0 26167 0
vsize: 104832
[startup+830.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 25819 0 0 0 82932 75 0 0 25 0 1 0 422966838 108826624 25797 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26569 25797 603 41 0 26528 0
vsize: 106276
[startup+840.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 26108 0 0 0 83930 76 0 0 25 0 1 0 422966838 109899776 26086 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26831 26086 603 41 0 26790 0
vsize: 107324
[startup+850.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 26485 0 0 0 84929 77 0 0 25 0 1 0 422966838 111505408 26463 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27223 26463 603 41 0 27182 0
vsize: 108892
[startup+860.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 26739 0 0 0 85929 78 0 0 25 0 1 0 422966838 112570368 26717 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27483 26717 603 41 0 27442 0
vsize: 109932
[startup+870.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 27111 0 0 0 86928 78 0 0 25 0 1 0 422966838 114036736 27089 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27841 27089 603 41 0 27800 0
vsize: 111364
[startup+880.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 27403 0 0 0 87928 79 0 0 25 0 1 0 422966838 115228672 27381 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28132 27381 603 41 0 28091 0
vsize: 112528
[startup+890.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 27639 0 0 0 88927 79 0 0 25 0 1 0 422966838 116166656 27617 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28361 27617 603 41 0 28320 0
vsize: 113444
[startup+900.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 27903 0 0 0 89926 81 0 0 25 0 1 0 422966838 117239808 27881 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28623 27881 603 41 0 28582 0
vsize: 114492
[startup+910.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 28092 0 0 0 90926 81 0 0 25 0 1 0 422966838 118046720 28070 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28820 28070 603 41 0 28779 0
vsize: 115280
[startup+920.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 28419 0 0 0 91925 82 0 0 25 0 1 0 422966838 119390208 28397 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29148 28397 603 41 0 29107 0
vsize: 116592
[startup+930.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 28848 0 0 0 92924 84 0 0 25 0 1 0 422966838 121126912 28826 4294967295 134512640 134672761 3221224560 3221223664 134560169 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29572 28826 603 41 0 29531 0
vsize: 118288
[startup+940.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 29271 0 0 0 93923 84 0 0 25 0 1 0 422966838 122863616 29249 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29996 29249 603 41 0 29955 0
vsize: 119984
[startup+950.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 29687 0 0 0 94922 86 0 0 25 0 1 0 422966838 125145088 29665 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30553 29665 603 41 0 30512 0
vsize: 122212
[startup+960.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 30063 0 0 0 95922 86 0 0 25 0 1 0 422966838 126611456 30041 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30911 30041 603 41 0 30870 0
vsize: 123644
[startup+970.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 30435 0 0 0 96921 88 0 0 25 0 1 0 422966838 128212992 30413 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31302 30413 603 41 0 31261 0
vsize: 125208
[startup+980.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 30787 0 0 0 97920 89 0 0 25 0 1 0 422966838 129548288 30765 4294967295 134512640 134672761 3221224560 3221223664 134559872 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31628 30765 603 41 0 31587 0
vsize: 126512
[startup+990.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 31075 0 0 0 98919 89 0 0 25 0 1 0 422966838 130740224 31053 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31919 31053 603 41 0 31878 0
vsize: 127676
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 31383 0 0 0 99919 90 0 0 25 0 1 0 422966838 131952640 31361 4294967295 134512640 134672761 3221224560 3221223664 134560291 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32215 31361 603 41 0 32174 0
vsize: 128860
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 31621 0 0 0 100918 91 0 0 25 0 1 0 422966838 133025792 31599 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32477 31599 603 41 0 32436 0
vsize: 129908
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 32010 0 0 0 101917 92 0 0 25 0 1 0 422966838 134619136 31988 4294967295 134512640 134672761 3221224560 3221223744 134558648 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32866 31988 603 41 0 32825 0
vsize: 131464
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 32407 0 0 0 102916 93 0 0 25 0 1 0 422966838 136224768 32385 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33258 32385 603 41 0 33217 0
vsize: 133032
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 32789 0 0 0 103916 94 0 0 25 0 1 0 422966838 137703424 32767 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33619 32767 603 41 0 33578 0
vsize: 134476
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 33040 0 0 0 104914 95 0 0 25 0 1 0 422966838 138768384 33018 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33879 33018 603 41 0 33838 0
vsize: 135516
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 33388 0 0 0 105914 96 0 0 25 0 1 0 422966838 140226560 33366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34235 33366 603 41 0 34194 0
vsize: 136940
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 33647 0 0 0 106914 96 0 0 25 0 1 0 422966838 141295616 33625 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34496 33625 603 41 0 34455 0
vsize: 137984
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 33942 0 0 0 107913 97 0 0 25 0 1 0 422966838 142372864 33920 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34759 33920 603 41 0 34718 0
vsize: 139036
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 34232 0 0 0 108912 98 0 0 25 0 1 0 422966838 143581184 34210 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35054 34210 603 41 0 35013 0
vsize: 140216
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 34474 0 0 0 109910 99 0 0 25 0 1 0 422966838 144646144 34452 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35314 34452 603 41 0 35273 0
vsize: 141256
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 34719 0 0 0 110909 100 0 0 25 0 1 0 422966838 145575936 34697 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35541 34697 603 41 0 35500 0
vsize: 142164
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 34990 0 0 0 111909 101 0 0 25 0 1 0 422966838 146767872 34968 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35832 34968 603 41 0 35791 0
vsize: 143328
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 35247 0 0 0 112908 102 0 0 25 0 1 0 422966838 147832832 35225 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36092 35225 603 41 0 36051 0
vsize: 144368
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 35512 0 0 0 113907 103 0 0 25 0 1 0 422966838 148885504 35490 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36349 35490 603 41 0 36308 0
vsize: 145396
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 35779 0 0 0 114906 104 0 0 25 0 1 0 422966838 149958656 35757 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36611 35757 603 41 0 36570 0
vsize: 146444
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 36134 0 0 0 115906 105 0 0 25 0 1 0 422966838 151425024 36112 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36969 36112 603 41 0 36928 0
vsize: 147876
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 36497 0 0 0 116905 106 0 0 25 0 1 0 422966838 152887296 36475 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37326 36475 603 41 0 37285 0
vsize: 149304
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 36823 0 0 0 117903 107 0 0 25 0 1 0 422966838 154218496 36801 4294967295 134512640 134672761 3221224560 3221223696 134565045 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37651 36802 603 41 0 37610 0
vsize: 150604
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 37141 0 0 0 118903 108 0 0 25 0 1 0 422966838 155557888 37119 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37978 37119 603 41 0 37937 0
vsize: 151912
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26155
Raw data (stat): 26151 (minisat+) R 26150 20937 20936 0 -1 0 37442 0 0 0 119902 109 0 0 25 0 1 0 422966838 156749824 37420 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38269 37420 603 41 0 38228 0
vsize: 153076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 26155
Raw data (stat): 26151 (minisat+) Z 26150 20937 20936 0 -1 12 37445 0 0 0 119902 116 0 0 25 0 1 0 422966838 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.09
CPU time (s): 1200.19
CPU user time (s): 1199.02
CPU system time (s): 1.16982
CPU usage (%): 100.009
Max. virtual memory (Kb): 153076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####