PB'05 competition: run trace

Some explanations

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        847612 kB
Buffers:         36216 kB
Cached:         126972 kB
SwapCached:       3276 kB
Active:          83184 kB
Inactive:        86168 kB
HighTotal:      131008 kB
HighFree:         5628 kB
LowTotal:       903652 kB
LowFree:        841984 kB
SwapTotal:     2097136 kB
SwapFree:      2093860 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11968 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 03:21:04 (client local time) WITH STATUS 10 IN 1200.3 SECONDS
stats: 4484 7 1200.3 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109601 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  109601   219202 |   36533       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  193124   415097 |   64374       0        0     nan |  0.000 % |
c |       100 |  192416   413617 |   70811      76      921    12.1 |  0.681 % |
c |       250 |  191023   410616 |   77892     179     2197    12.3 |  2.096 % |
c |       475 |  190063   408538 |   85681     361     3680    10.2 |  3.080 % |
c |       812 |  188734   405627 |   94249     637     6636    10.4 |  4.472 % |
c |      1318 |  186843   401468 |  103674    1068    12098    11.3 |  6.468 % |
c |      2078 |  182356   391503 |  114042    1656    20682    12.5 | 11.351 % |
c |      3217 |  177722   381101 |  125446    2499    32422    13.0 | 16.364 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      3529 |  175621   376581 |   58540    2705    34651    12.8 | 16.364 % |
c |      3629 |  175081   375366 |   64394    2776    35448    12.8 | 19.578 % |
c |      3779 |  174172   373327 |   70833    2879    36988    12.8 | 20.559 % |
c |      4004 |  173065   370801 |   77916    3042    38920    12.8 | 21.723 % |
c |      4341 |  171253   366710 |   85708    3295    42788    13.0 | 23.699 % |
c |      4847 |  168168   359645 |   94279    3646    46729    12.8 | 27.155 % |
c |      5606 |  165511   353533 |  103707    4196    52953    12.6 | 30.161 % |
c |      6746 |  160767   342641 |  114077    5044    64353    12.8 | 35.508 % |
c |      8454 |  155384   330180 |  125485    6279    81871    13.0 | 41.640 % |
c |     11016 |  149069   315430 |  138034    8200   110217    13.4 | 48.843 % |
c |     14860 |  139979   293955 |  151837   11004   152130    13.8 | 59.520 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     20499 |  132623   276547 |   44207   15087   233369    15.5 | 59.520 % |
c |     20599 |  132522   276302 |   48627   15164   235097    15.5 | 68.499 % |
c |     20749 |  132324   275837 |   53490   15279   237075    15.5 | 68.729 % |
c |     20974 |  132058   275218 |   58839   15436   241112    15.6 | 69.032 % |
c |     21311 |  131621   274190 |   64723   15651   243787    15.6 | 69.531 % |
c |     21817 |  131015   272757 |   71195   15990   252762    15.8 | 70.240 % |
c |     22576 |  130069   270499 |   78315   16497   264557    16.0 | 71.349 % |
c |     23715 |  128828   267554 |   86146   17352   289981    16.7 | 72.790 % |
c |     25423 |  127390   264042 |   94761   18639   326421    17.5 | 74.562 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     27608 |  126418   261648 |   42139   20404   389011    19.1 | 74.562 % |
c |     27708 |  126083   260820 |   46352   20406   388917    19.1 | 76.186 % |
c |     27858 |  125935   260464 |   50988   20480   393969    19.2 | 76.368 % |
c |     28083 |  125831   260210 |   56087   20649   399264    19.3 | 76.498 % |
c |     28420 |  125831   260210 |   61695   20986   410136    19.5 | 76.498 % |
c |     28926 |  125772   260065 |   67865   21475   417326    19.4 | 76.571 % |
c |     29687 |  125736   259979 |   74651   22220   469844    21.1 | 76.615 % |
c |     30826 |  125376   259109 |   82116   23271   508205    21.8 | 77.053 % |
c |     32535 |  124959   258114 |   90328   24674   574603    23.3 | 77.553 % |
c |     35097 |  124654   257365 |   99361   27056   731371    27.0 | 77.933 % |
c |     38941 |  123674   254985 |  109297   30310   953739    31.5 | 79.143 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     39981 |  123189   253844 |   41063   30770  1040985    33.8 | 79.143 % |
c |     40081 |  123136   253713 |   45169   30862  1043549    33.8 | 79.813 % |
c |     40231 |  122947   253253 |   49686   30899  1043609    33.8 | 80.048 % |
c |     40456 |  122945   253249 |   54654   31123  1055699    33.9 | 80.049 % |
c |     40794 |  122945   253249 |   60120   31461  1069312    34.0 | 80.049 % |
c |     41300 |  122900   253146 |   66132   31902  1099724    34.5 | 80.100 % |
c |     42059 |  122752   252790 |   72745   32334  1144268    35.4 | 80.272 % |
c |     43198 |  122366   251861 |   80020   33089  1185693    35.8 | 80.723 % |
c |     44907 |  122194   251428 |   88022   34657  1295375    37.4 | 80.945 % |
c |     47469 |  121548   249831 |   96824   36732  1490676    40.6 | 81.756 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     49597 |  121162   248821 |   40387   38360  1594354    41.6 | 81.756 % |
c |     49697 |  121121   248722 |   44425   38424  1596348    41.5 | 82.285 % |
c |     49847 |  121069   248597 |   48868   38550  1604324    41.6 | 82.348 % |
c |     50072 |  121069   248597 |   53755   38775  1614451    41.6 | 82.348 % |
c |     50409 |  120960   248347 |   59130   39032  1630054    41.8 | 82.467 % |
c |     50916 |  120636   247540 |   65043   39334  1644118    41.8 | 82.880 % |
c |     51675 |  120511   247232 |   71548   39793  1665108    41.8 | 83.036 % |
c |     52814 |  120273   246658 |   78702   40760  1749498    42.9 | 83.330 % |
c |     54522 |  120044   246077 |   86573   42192  1866998    44.3 | 83.631 % |
c |     57086 |  119856   245625 |   95230   44603  2084904    46.7 | 83.860 % |
c |     60930 |  119757   245394 |  104753   48320  2492696    51.6 | 83.975 % |
c |     66698 |  119630   245101 |  115228   53924  3060814    56.8 | 84.119 % |
c |     75349 |  119586   244999 |  126751   62536  4250466    68.0 | 84.170 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     80708 |  119633   245141 |   39877   67895  4961309    73.1 | 84.170 % |
c |     80808 |  119633   245141 |   43864   67995  4966277    73.0 | 84.150 % |
c |     80958 |  119633   245141 |   48251   68145  4968911    72.9 | 84.150 % |
c |     81183 |  119630   245134 |   53076   68360  4989143    73.0 | 84.154 % |
c |     81520 |  119590   245038 |   58383   68485  5032014    73.5 | 84.203 % |
c |     82026 |  119560   244960 |   64222   68956  5055540    73.3 | 84.243 % |
c |     82785 |  119541   244917 |   70644   69664  5112086    73.4 | 84.264 % |
c |     83924 |  119484   244782 |   77708   70593  5233348    74.1 | 84.330 % |
c |     85632 |  119390   244544 |   85479   72182  5364386    74.3 | 84.452 % |
c |     88194 |  119390   244544 |   94027   74744  5768919    77.2 | 84.452 % |
c |     92038 |  119330   244395 |  103430   78241  6251849    79.9 | 84.529 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     95222 |  119307   244312 |   39769   80797  6489917    80.3 | 84.529 % |
c |     95322 |  119302   244301 |   43745   80801  6494507    80.4 | 84.568 % |
c |     95473 |  119302   244301 |   48120   80952  6499168    80.3 | 84.568 % |
c |     95699 |  119302   244301 |   52932   81178  6517644    80.3 | 84.568 % |
c |     96037 |  119302   244301 |   58225   81516  6558349    80.5 | 84.568 % |
c |     96543 |  119251   244180 |   64048   81893  6601834    80.6 | 84.629 % |
c |     97302 |  119251   244180 |   70453   82652  6683850    80.9 | 84.629 % |
c |     98443 |  119251   244180 |   77498   83793  6792426    81.1 | 84.629 % |
c |    100152 |  119248   244173 |   85248   85501  7044565    82.4 | 84.633 % |
c |    102714 |  119224   244113 |   93773   87981  7416265    84.3 | 84.664 % |
c |    106558 |  119224   244113 |  103150   91825  8083263    88.0 | 84.664 % |
c |    112324 |  119173   243998 |  113465   97535  8694659    89.1 | 84.720 % |
c |    120973 |  119173   243998 |  124812  106184 10419020    98.1 | 84.720 % |
c |    133947 |  119051   243701 |  137293  118592 12175059   102.7 | 84.868 % |
c |    153408 |  118999   243571 |  151022  137826 14991766   108.8 | 84.933 % |
c |    182602 |  118921   243384 |  166124  166833 21119827   126.6 | 85.020 % |
c |    226392 |  118907   243352 |  182737  210607 28689871   136.2 | 85.036 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 C702 -C701 C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.96 1.00 0.93 2/54 19030
Raw data (stat): 19030 (runsolver) R 19029 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 422962734 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.0002 s]
Raw data (loadavg): 0.96 1.00 0.93 2/54 19030
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6204 0 0 0 982 16 0 0 25 0 1 0 422962734 27930624 6182 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6819 6182 603 41 0 6778 0
vsize: 27276
[startup+20.003 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6215 0 0 0 1981 17 0 0 25 0 1 0 422962734 27930624 6193 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6819 6193 603 41 0 6778 0
vsize: 27276
[startup+30.0039 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6226 0 0 0 2981 17 0 0 25 0 1 0 422962734 27930624 6204 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6819 6204 603 41 0 6778 0
vsize: 27276
[startup+40.0047 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6234 0 0 0 3981 17 0 0 25 0 1 0 422962734 28065792 6212 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6852 6212 603 41 0 6811 0
vsize: 27408
[startup+50.005 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6394 0 0 0 4980 18 0 0 25 0 1 0 422962734 29077504 6372 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7099 6372 603 41 0 7058 0
vsize: 28396
[startup+60.0052 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6394 0 0 0 5980 18 0 0 25 0 1 0 422962734 29077504 6372 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7099 6372 603 41 0 7058 0
vsize: 28396
[startup+70.0063 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6394 0 0 0 6980 18 0 0 25 0 1 0 422962734 29077504 6372 4294967295 134512640 134672761 3221224560 3221223732 134556660 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7099 6372 603 41 0 7058 0
vsize: 28396
[startup+80.0066 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6394 0 0 0 7980 18 0 0 25 0 1 0 422962734 29077504 6372 4294967295 134512640 134672761 3221224560 3221223712 134561249 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7099 6372 603 41 0 7058 0
vsize: 28396
[startup+90.0067 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6394 0 0 0 8980 18 0 0 25 0 1 0 422962734 29077504 6372 4294967295 134512640 134672761 3221224560 3221223760 134557809 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7099 6372 603 41 0 7058 0
vsize: 28396
[startup+100.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6394 0 0 0 9981 18 0 0 25 0 1 0 422962734 29077504 6372 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7099 6372 603 41 0 7058 0
vsize: 28396
[startup+110.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6394 0 0 0 10981 18 0 0 25 0 1 0 422962734 29077504 6372 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7099 6372 603 41 0 7058 0
vsize: 28396
[startup+120.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6423 0 0 0 11981 18 0 0 25 0 1 0 422962734 29212672 6401 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7132 6401 603 41 0 7091 0
vsize: 28528
[startup+130.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6472 0 0 0 12981 19 0 0 25 0 1 0 422962734 29483008 6450 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7198 6450 603 41 0 7157 0
vsize: 28792
[startup+140.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6540 0 0 0 13981 19 0 0 25 0 1 0 422962734 29810688 6518 4294967295 134512640 134672761 3221224560 3221223696 134560683 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7278 6518 603 41 0 7237 0
vsize: 29112
[startup+150.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6663 0 0 0 14981 19 0 0 25 0 1 0 422962734 30212096 6641 4294967295 134512640 134672761 3221224560 3221223728 134560917 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7376 6641 603 41 0 7335 0
vsize: 29504
[startup+160.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 6872 0 0 0 15980 20 0 0 25 0 1 0 422962734 31141888 6850 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7603 6850 603 41 0 7562 0
vsize: 30412
[startup+170.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 7170 0 0 0 16979 21 0 0 25 0 1 0 422962734 32354304 7148 4294967295 134512640 134672761 3221224560 3221223516 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7899 7148 603 41 0 7858 0
vsize: 31596
[startup+180.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 7512 0 0 0 17979 22 0 0 25 0 1 0 422962734 33746944 7490 4294967295 134512640 134672761 3221224560 3221223712 134565094 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8239 7490 603 41 0 8198 0
vsize: 32956
[startup+190.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 7818 0 0 0 18978 22 0 0 25 0 1 0 422962734 35090432 7796 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8567 7796 603 41 0 8526 0
vsize: 34268
[startup+200.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 8080 0 0 0 19977 24 0 0 25 0 1 0 422962734 36085760 8058 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8810 8058 603 41 0 8769 0
vsize: 35240
[startup+210.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 8261 0 0 0 20977 24 0 0 25 0 1 0 422962734 36892672 8239 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9007 8239 603 41 0 8966 0
vsize: 36028
[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 8616 0 0 0 21975 25 0 0 25 0 1 0 422962734 38244352 8594 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9337 8594 603 41 0 9296 0
vsize: 37348
[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 9112 0 0 0 22974 27 0 0 25 0 1 0 422962734 40263680 9090 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9830 9090 603 41 0 9789 0
vsize: 39320
[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 9629 0 0 0 23973 28 0 0 25 0 1 0 422962734 42426368 9607 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10358 9607 603 41 0 10317 0
vsize: 41432
[startup+250.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19032
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 10304 0 0 0 24972 30 0 0 25 0 1 0 422962734 45113344 10282 4294967295 134512640 134672761 3221224560 3221223664 134560010 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11014 10282 603 41 0 10973 0
vsize: 44056
[startup+260.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 10757 0 0 0 25970 31 0 0 25 0 1 0 422962734 46985216 10735 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11471 10735 603 41 0 11430 0
vsize: 45884
[startup+270.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 11215 0 0 0 26970 32 0 0 25 0 1 0 422962734 48869376 11193 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11931 11193 603 41 0 11890 0
vsize: 47724
[startup+280.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 11729 0 0 0 27969 33 0 0 25 0 1 0 422962734 51269632 11707 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12517 11707 603 41 0 12476 0
vsize: 50068
[startup+290.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 12005 0 0 0 28968 34 0 0 25 0 1 0 422962734 52342784 11983 4294967295 134512640 134672761 3221224560 3221223732 134556671 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12779 11983 603 41 0 12738 0
vsize: 51116
[startup+300.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 12362 0 0 0 29967 35 0 0 25 0 1 0 422962734 53821440 12340 4294967295 134512640 134672761 3221224560 3221223516 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13140 12340 603 41 0 13099 0
vsize: 52560
[startup+310.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 12874 0 0 0 30966 37 0 0 25 0 1 0 422962734 55844864 12852 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13634 12852 603 41 0 13593 0
vsize: 54536
[startup+320.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 13210 0 0 0 31965 38 0 0 25 0 1 0 422962734 57196544 13188 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13964 13188 603 41 0 13923 0
vsize: 55856
[startup+330.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 13573 0 0 0 32964 39 0 0 25 0 1 0 422962734 58671104 13551 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14324 13551 603 41 0 14283 0
vsize: 57296
[startup+340.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 13737 0 0 0 33964 40 0 0 25 0 1 0 422962734 59342848 13715 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14488 13715 603 41 0 14447 0
vsize: 57952
[startup+350.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 14142 0 0 0 34963 40 0 0 25 0 1 0 422962734 60960768 14120 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14883 14120 603 41 0 14842 0
vsize: 59532
[startup+360.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 14555 0 0 0 35963 41 0 0 25 0 1 0 422962734 62701568 14533 4294967295 134512640 134672761 3221224560 3221223728 134560954 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15308 14533 603 41 0 15267 0
vsize: 61232
[startup+370.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 15066 0 0 0 36962 42 0 0 25 0 1 0 422962734 64831488 15044 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15828 15044 603 41 0 15787 0
vsize: 63312
[startup+380.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 15349 0 0 0 37961 43 0 0 25 0 1 0 422962734 65912832 15327 4294967295 134512640 134672761 3221224560 3221223728 134560882 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16092 15327 603 41 0 16051 0
vsize: 64368
[startup+390.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 15710 0 0 0 38960 44 0 0 25 0 1 0 422962734 67391488 15688 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16453 15688 603 41 0 16412 0
vsize: 65812
[startup+400.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 16039 0 0 0 39959 46 0 0 25 0 1 0 422962734 68726784 16017 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16779 16017 603 41 0 16738 0
vsize: 67116
[startup+410.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 16455 0 0 0 40958 46 0 0 25 0 1 0 422962734 70455296 16433 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17201 16433 603 41 0 17160 0
vsize: 68804
[startup+420.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 16923 0 0 0 41957 48 0 0 25 0 1 0 422962734 72314880 16901 4294967295 134512640 134672761 3221224560 3221223664 134559835 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17655 16901 603 41 0 17614 0
vsize: 70620
[startup+430.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 17381 0 0 0 42956 49 0 0 25 0 1 0 422962734 74190848 17359 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18113 17359 603 41 0 18072 0
vsize: 72452
[startup+440.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 17680 0 0 0 43956 49 0 0 25 0 1 0 422962734 75390976 17658 4294967295 134512640 134672761 3221224560 3221223760 134557809 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18406 17658 603 41 0 18365 0
vsize: 73624
[startup+450.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 17990 0 0 0 44955 50 0 0 25 0 1 0 422962734 76734464 17968 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18734 17968 603 41 0 18693 0
vsize: 74936
[startup+460.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 18202 0 0 0 45955 51 0 0 25 0 1 0 422962734 77545472 18180 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18932 18180 603 41 0 18891 0
vsize: 75728
[startup+470.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 18514 0 0 0 46954 52 0 0 25 0 1 0 422962734 78888960 18492 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19260 18492 603 41 0 19219 0
vsize: 77040
[startup+480.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 18866 0 0 0 47953 52 0 0 25 0 1 0 422962734 80224256 18844 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19586 18844 603 41 0 19545 0
vsize: 78344
[startup+490.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 19216 0 0 0 48953 53 0 0 25 0 1 0 422962734 81707008 19194 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19948 19194 603 41 0 19907 0
vsize: 79792
[startup+500.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 19638 0 0 0 49952 55 0 0 25 0 1 0 422962734 83456000 19616 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20375 19616 603 41 0 20334 0
vsize: 81500
[startup+510.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 19984 0 0 0 50951 56 0 0 25 0 1 0 422962734 84803584 19962 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20704 19962 603 41 0 20663 0
vsize: 82816
[startup+520.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 20301 0 0 0 51950 57 0 0 25 0 1 0 422962734 86138880 20279 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21030 20279 603 41 0 20989 0
vsize: 84120
[startup+530.025 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 20599 0 0 0 52949 58 0 0 25 0 1 0 422962734 87347200 20577 4294967295 134512640 134672761 3221224560 3221223696 134565134 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21325 20577 603 41 0 21284 0
vsize: 85300
[startup+540.025 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 20966 0 0 0 53949 58 0 0 25 0 1 0 422962734 88825856 20944 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21686 20944 603 41 0 21645 0
vsize: 86744
[startup+550.026 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 21298 0 0 0 54949 59 0 0 25 0 1 0 422962734 90161152 21276 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22012 21276 603 41 0 21971 0
vsize: 88048
[startup+560.028 s]
Raw data (loadavg): 0.99 1.00 0.93 3/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 21664 0 0 0 55948 60 0 0 25 0 1 0 422962734 92147712 21642 4294967295 134512640 134672761 3221224560 3221223728 134560964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22497 21642 603 41 0 22456 0
vsize: 89988
[startup+570.028 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 21906 0 0 0 56948 61 0 0 25 0 1 0 422962734 93220864 21884 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22759 21884 603 41 0 22718 0
vsize: 91036
[startup+580.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 22171 0 0 0 57947 62 0 0 25 0 1 0 422962734 94302208 22149 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23023 22149 603 41 0 22982 0
vsize: 92092
[startup+590.029 s]
Raw data (loadavg): 0.99 1.00 0.93 3/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 22450 0 0 0 58946 63 0 0 25 0 1 0 422962734 95375360 22428 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23285 22428 603 41 0 23244 0
vsize: 93140
[startup+600.037 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 22756 0 0 0 59946 63 0 0 25 0 1 0 422962734 96591872 22734 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23582 22734 603 41 0 23541 0
vsize: 94328
[startup+610.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 23160 0 0 0 60946 64 0 0 25 0 1 0 422962734 98328576 23138 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24006 23138 603 41 0 23965 0
vsize: 96024
[startup+620.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 23565 0 0 0 61944 66 0 0 25 0 1 0 422962734 99942400 23543 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24400 23543 603 41 0 24359 0
vsize: 97600
[startup+630.041 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 23980 0 0 0 62944 67 0 0 25 0 1 0 422962734 101683200 23958 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24825 23958 603 41 0 24784 0
vsize: 99300
[startup+640.042 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 24388 0 0 0 63943 68 0 0 25 0 1 0 422962734 103280640 24366 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25215 24366 603 41 0 25174 0
vsize: 100860
[startup+650.043 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 24739 0 0 0 64942 69 0 0 25 0 1 0 422962734 104755200 24717 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25575 24717 603 41 0 25534 0
vsize: 102300
[startup+660.043 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 25176 0 0 0 65941 70 0 0 25 0 1 0 422962734 106487808 25154 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25998 25154 603 41 0 25957 0
vsize: 103992
[startup+670.043 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 25529 0 0 0 66941 71 0 0 25 0 1 0 422962734 107958272 25507 4294967295 134512640 134672761 3221224560 3221223664 134560154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26357 25507 603 41 0 26316 0
vsize: 105428
[startup+680.044 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 25876 0 0 0 67940 72 0 0 25 0 1 0 422962734 109424640 25854 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26715 25854 603 41 0 26674 0
vsize: 106860
[startup+690.044 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 26221 0 0 0 68939 73 0 0 25 0 1 0 422962734 110755840 26199 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27040 26199 603 41 0 26999 0
vsize: 108160
[startup+700.045 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 26597 0 0 0 69938 74 0 0 25 0 1 0 422962734 112357376 26575 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27431 26575 603 41 0 27390 0
vsize: 109724
[startup+710.046 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 26849 0 0 0 70938 74 0 0 25 0 1 0 422962734 113291264 26827 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27659 26827 603 41 0 27618 0
vsize: 110636
[startup+720.045 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 27147 0 0 0 71937 75 0 0 25 0 1 0 422962734 114622464 27125 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27984 27125 603 41 0 27943 0
vsize: 111936
[startup+730.046 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 27360 0 0 0 72937 76 0 0 25 0 1 0 422962734 115433472 27338 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28182 27338 603 41 0 28141 0
vsize: 112728
[startup+740.046 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 27614 0 0 0 73936 77 0 0 25 0 1 0 422962734 116510720 27592 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28445 27592 603 41 0 28404 0
vsize: 113780
[startup+750.047 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 27918 0 0 0 74935 78 0 0 25 0 1 0 422962734 117710848 27896 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28738 27896 603 41 0 28697 0
vsize: 114952
[startup+760.047 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 28212 0 0 0 75935 78 0 0 25 0 1 0 422962734 118915072 28190 4294967295 134512640 134672761 3221224560 3221223664 134559925 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29032 28190 603 41 0 28991 0
vsize: 116128
[startup+770.047 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 28577 0 0 0 76935 79 0 0 25 0 1 0 422962734 120397824 28555 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29394 28555 603 41 0 29353 0
vsize: 117576
[startup+780.048 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 28783 0 0 0 77934 79 0 0 25 0 1 0 422962734 121204736 28761 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29591 28761 603 41 0 29550 0
vsize: 118364
[startup+790.047 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 29015 0 0 0 78934 80 0 0 25 0 1 0 422962734 122130432 28993 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29817 28993 603 41 0 29776 0
vsize: 119268
[startup+800.048 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 29330 0 0 0 79933 80 0 0 25 0 1 0 422962734 123457536 29308 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30141 29308 603 41 0 30100 0
vsize: 120564
[startup+810.048 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 29629 0 0 0 80933 81 0 0 25 0 1 0 422962734 124657664 29607 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30434 29607 603 41 0 30393 0
vsize: 121736
[startup+820.048 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 29917 0 0 0 81932 82 0 0 25 0 1 0 422962734 125861888 29895 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30728 29895 603 41 0 30687 0
vsize: 122912
[startup+830.049 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 30172 0 0 0 82932 82 0 0 25 0 1 0 422962734 126935040 30150 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30990 30150 603 41 0 30949 0
vsize: 123960
[startup+840.049 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 30450 0 0 0 83931 83 0 0 25 0 1 0 422962734 127995904 30428 4294967295 134512640 134672761 3221224560 3221223728 134561133 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31249 30428 603 41 0 31208 0
vsize: 124996
[startup+850.049 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 30738 0 0 0 84930 84 0 0 25 0 1 0 422962734 129196032 30716 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31542 30716 603 41 0 31501 0
vsize: 126168
[startup+860.049 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 31018 0 0 0 85930 85 0 0 25 0 1 0 422962734 130400256 30996 4294967295 134512640 134672761 3221224560 3221223664 134560291 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31836 30996 603 41 0 31795 0
vsize: 127344
[startup+870.049 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 31292 0 0 0 86929 86 0 0 25 0 1 0 422962734 131477504 31270 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32099 31270 603 41 0 32058 0
vsize: 128396
[startup+880.05 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 31564 0 0 0 87929 86 0 0 25 0 1 0 422962734 132554752 31542 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32362 31542 603 41 0 32321 0
vsize: 129448
[startup+890.051 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 31840 0 0 0 88929 87 0 0 25 0 1 0 422962734 133767168 31818 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32658 31818 603 41 0 32617 0
vsize: 130632
[startup+900.052 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 32049 0 0 0 89928 87 0 0 25 0 1 0 422962734 134569984 32027 4294967295 134512640 134672761 3221224560 3221223664 134559887 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32854 32027 603 41 0 32813 0
vsize: 131416
[startup+910.051 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 32348 0 0 0 90927 88 0 0 25 0 1 0 422962734 135774208 32326 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33148 32326 603 41 0 33107 0
vsize: 132592
[startup+920.051 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 32587 0 0 0 91927 89 0 0 25 0 1 0 422962734 136712192 32565 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33377 32565 603 41 0 33336 0
vsize: 133508
[startup+930.052 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 32846 0 0 0 92927 89 0 0 25 0 1 0 422962734 137785344 32824 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33639 32824 603 41 0 33598 0
vsize: 134556
[startup+940.052 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 33036 0 0 0 93926 90 0 0 25 0 1 0 422962734 138584064 33014 4294967295 134512640 134672761 3221224560 3221223728 134561127 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33834 33014 603 41 0 33793 0
vsize: 135336
[startup+950.053 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 33282 0 0 0 94926 91 0 0 25 0 1 0 422962734 139530240 33260 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34065 33260 603 41 0 34024 0
vsize: 136260
[startup+960.054 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 33565 0 0 0 95925 92 0 0 25 0 1 0 422962734 140734464 33543 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34359 33543 603 41 0 34318 0
vsize: 137436
[startup+970.053 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 33816 0 0 0 96925 92 0 0 25 0 1 0 422962734 141799424 33794 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34619 33794 603 41 0 34578 0
vsize: 138476
[startup+980.054 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 34108 0 0 0 97924 93 0 0 25 0 1 0 422962734 143003648 34086 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34913 34086 603 41 0 34872 0
vsize: 139652
[startup+990.055 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 34397 0 0 0 98924 94 0 0 25 0 1 0 422962734 144097280 34375 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35180 34375 603 41 0 35139 0
vsize: 140720
[startup+1000.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 34718 0 0 0 99923 95 0 0 25 0 1 0 422962734 145420288 34696 4294967295 134512640 134672761 3221224560 3221223696 134560557 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35503 34696 603 41 0 35462 0
vsize: 142012
[startup+1010.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 35020 0 0 0 100922 96 0 0 25 0 1 0 422962734 146632704 34998 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35799 34998 603 41 0 35758 0
vsize: 143196
[startup+1020.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 35270 0 0 0 101922 97 0 0 25 0 1 0 422962734 147693568 35248 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36058 35248 603 41 0 36017 0
vsize: 144232
[startup+1030.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 35553 0 0 0 102921 97 0 0 25 0 1 0 422962734 148893696 35531 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36351 35531 603 41 0 36310 0
vsize: 145404
[startup+1040.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 35830 0 0 0 103921 98 0 0 25 0 1 0 422962734 149962752 35808 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36612 35808 603 41 0 36571 0
vsize: 146448
[startup+1050.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 36093 0 0 0 104920 98 0 0 25 0 1 0 422962734 151027712 36071 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36872 36071 603 41 0 36831 0
vsize: 147488
[startup+1060.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 36359 0 0 0 105920 99 0 0 25 0 1 0 422962734 152096768 36337 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37133 36337 603 41 0 37092 0
vsize: 148532
[startup+1070.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 36597 0 0 0 106919 100 0 0 25 0 1 0 422962734 153161728 36575 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37393 36575 603 41 0 37352 0
vsize: 149572
[startup+1080.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 36772 0 0 0 107919 100 0 0 25 0 1 0 422962734 153841664 36750 4294967295 134512640 134672761 3221224560 3221223732 134556646 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37559 36750 603 41 0 37518 0
vsize: 150236
[startup+1090.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 36986 0 0 0 108918 101 0 0 25 0 1 0 422962734 154648576 36964 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37756 36964 603 41 0 37715 0
vsize: 151024
[startup+1100.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 37289 0 0 0 109917 102 0 0 25 0 1 0 422962734 155983872 37267 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38082 37267 603 41 0 38041 0
vsize: 152328
[startup+1110.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 37503 0 0 0 110916 103 0 0 25 0 1 0 422962734 156798976 37481 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38281 37481 603 41 0 38240 0
vsize: 153124
[startup+1120.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 37764 0 0 0 111916 103 0 0 25 0 1 0 422962734 157872128 37742 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38543 37742 603 41 0 38502 0
vsize: 154172
[startup+1130.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 38072 0 0 0 112915 104 0 0 25 0 1 0 422962734 159207424 38050 4294967295 134512640 134672761 3221224560 3221223728 134560867 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38869 38050 603 41 0 38828 0
vsize: 155476
[startup+1140.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 38361 0 0 0 113915 105 0 0 25 0 1 0 422962734 160276480 38339 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39130 38339 603 41 0 39089 0
vsize: 156520
[startup+1150.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 38638 0 0 0 114914 105 0 0 25 0 1 0 422962734 161468416 38616 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39421 38616 603 41 0 39380 0
vsize: 157684
[startup+1160.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 38926 0 0 0 115914 106 0 0 25 0 1 0 422962734 162664448 38904 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39713 38904 603 41 0 39672 0
vsize: 158852
[startup+1170.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 39199 0 0 0 116913 107 0 0 25 0 1 0 422962734 163721216 39177 4294967295 134512640 134672761 3221224560 3221223664 134559824 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39971 39177 603 41 0 39930 0
vsize: 159884
[startup+1180.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 39428 0 0 0 117913 108 0 0 25 0 1 0 422962734 164663296 39406 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40201 39406 603 41 0 40160 0
vsize: 160804
[startup+1190.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 39639 0 0 0 118912 108 0 0 25 0 1 0 422962734 165597184 39617 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40429 39617 603 41 0 40388 0
vsize: 161716
[startup+1200.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 19034
Raw data (stat): 19030 (minisat+) R 19029 10720 10719 0 -1 0 39823 0 0 0 119912 109 0 0 25 0 1 0 422962734 166252544 39801 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40589 39801 603 41 0 40548 0
vsize: 162356
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 1.00 0.93 1/54 19034
Raw data (stat): 19030 (minisat+) Z 19029 10720 10719 0 -1 12 39826 0 0 0 119912 117 0 0 25 0 1 0 422962734 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.14
CPU time (s): 1200.3
CPU user time (s): 1199.12
CPU system time (s): 1.17082
CPU usage (%): 100.013
Max. virtual memory (Kb): 162356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####