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-1.opb
MD5SUM	02058527b1ad27d5be75faa6974ffa0f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.11
Number of variables	1400
Total number of constraints	109676
Number of constraints which are clauses	109676
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 5261

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        902032 kB
Buffers:         36784 kB
Cached:          75960 kB
SwapCached:          0 kB
Active:          75344 kB
Inactive:        40268 kB
HighTotal:      131008 kB
HighFree:        51156 kB
LowTotal:       903652 kB
LowFree:        850876 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            11400 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 23:23:59 (client local time) WITH STATUS 10 IN 1200.19 SECONDS
stats: 3728 7 1200.19 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109676 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 |  109676   219352 |   36558       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 2772   maxlim: 39   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  128839   287832 |   42946       0        0     nan |  0.000 % |
c |       100 |  128830   287801 |   47240      97      738     7.6 |  0.074 % |
c |       250 |  128830   287801 |   51964     247     1836     7.4 |  0.073 % |
c |       476 |  128830   287801 |   57161     473     3562     7.5 |  0.073 % |
c |       813 |  128821   287770 |   62877     808     7755     9.6 |  0.096 % |
c |      1319 |  128803   287708 |   69164    1308    15426    11.8 |  0.145 % |
c |      2078 |  128758   287553 |   76081    2052    23478    11.4 |  0.265 % |
c |      3217 |  128713   287398 |   83689    3177    35951    11.3 |  0.385 % |
c |      4925 |  128599   287006 |   92058    4855    59027    12.2 |  0.698 % |
c |      7487 |  128447   286482 |  101264    7373   101649    13.8 |  1.132 % |
c |     11331 |  127759   284124 |  111390   10991   182099    16.6 |  3.179 % |
c |     17097 |  126628   280229 |  122529   16377   319409    19.5 |  7.105 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 40   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     23113 |  125552   276536 |   41850   22003   514737    23.4 |  7.105 % |
c |     23213 |  125535   276477 |   46035   22096   517560    23.4 | 11.311 % |
c |     23363 |  125535   276477 |   50638   22246   521805    23.5 | 11.310 % |
c |     23588 |  125515   276407 |   55702   22451   527889    23.5 | 11.381 % |
c |     23925 |  125506   276376 |   61272   22784   535383    23.5 | 11.407 % |
c |     24431 |  125347   275829 |   67399   23138   547288    23.7 | 11.983 % |
c |     25190 |  125127   275065 |   74139   23821   576393    24.2 | 12.897 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 42   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     25727 |  125114   275027 |   41704   24351   611131    25.1 | 12.897 % |
c |     25828 |  125097   274968 |   45874   24443   614425    25.1 | 13.083 % |
c |     25978 |  125008   274665 |   50461   24568   619320    25.2 | 13.468 % |
c |     26204 |  124956   274485 |   55508   24780   628686    25.4 | 13.660 % |
c |     26541 |  124880   274223 |   61058   25053   637666    25.5 | 13.926 % |
c |     27047 |  124803   273956 |   67164   25524   652436    25.6 | 14.238 % |
c |     27806 |  124743   273748 |   73881   26261   686977    26.2 | 14.478 % |
c |     28945 |  124662   273467 |   81269   27354   745714    27.3 | 14.769 % |
c |     30655 |  124479   272838 |   89396   28907   846130    29.3 | 15.489 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 43   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     31664 |  124428   272664 |   41476   29887   961417    32.2 | 15.489 % |
c |     31765 |  124411   272605 |   45623   29986   964100    32.2 | 15.773 % |
c |     31916 |  124384   272512 |   50185   30099   972633    32.3 | 15.917 % |
c |     32141 |  124327   272317 |   55204   30288   978173    32.3 | 16.013 % |
c |     32479 |  124258   272078 |   60725   30595   988705    32.3 | 16.280 % |
c |     32985 |  124231   271985 |   66797   31036  1011740    32.6 | 16.352 % |
c |     33744 |  124142   271676 |   73477   31731  1049835    33.1 | 16.687 % |
c |     34883 |  123257   268597 |   80824   32567  1102014    33.8 | 20.774 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 44   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     35688 |  123221   268474 |   41073   33358  1172516    35.1 | 20.774 % |
c |     35788 |  123198   268395 |   45180   33450  1178815    35.2 | 21.058 % |
c |     35939 |  123198   268395 |   49698   33601  1186469    35.3 | 21.060 % |
c |     36164 |  123198   268395 |   54668   33826  1196851    35.4 | 21.058 % |
c |     36501 |  123101   268058 |   60134   34008  1207633    35.5 | 21.442 % |
c |     37007 |  123068   267945 |   66148   34507  1239005    35.9 | 21.587 % |
c |     37766 |  123030   267815 |   72763   35219  1272671    36.1 | 21.732 % |
c |     38905 |  122953   267548 |   80039   36294  1321302    36.4 | 22.043 % |
c |     40613 |  122953   267548 |   88043   38002  1624273    42.7 | 22.043 % |
c |     43175 |  122953   267548 |   96847   40564  2048924    50.5 | 22.043 % |
c |     47019 |  122941   267508 |  106532   44368  2360508    53.2 | 22.093 % |
c |     52785 |  122579   266250 |  117186   49748  2690399    54.1 | 23.630 % |
c |     61435 |  122358   265483 |  128904   58172  3692023    63.5 | 24.639 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 45   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     62190 |  122304   265301 |   40768   58770  3738282    63.6 | 24.639 % |
c |     62290 |  122304   265301 |   44844   18916  1294186    68.4 | 24.876 % |
c |     62440 |  122283   265230 |   49329   19053  1298617    68.2 | 24.946 % |
c |     62665 |  122283   265230 |   54262   19278  1318365    68.4 | 24.947 % |
c |     63002 |  122251   265120 |   59688   19597  1330850    67.9 | 25.068 % |
c |     63508 |  122251   265120 |   65657   20103  1401418    69.7 | 25.068 % |
c |     64267 |  122236   265069 |   72222   20855  1452409    69.6 | 25.114 % |
c |     65406 |  122145   264754 |   79445   21968  1543067    70.2 | 25.547 % |
c |     67116 |  122075   264514 |   87389   23658  1661147    70.2 | 25.812 % |
c |     69678 |  122056   264447 |   96128   26216  2093480    79.9 | 25.907 % |
c |     73523 |  121874   263821 |  105741   29946  2456857    82.0 | 26.581 % |
c |     79289 |  121874   263821 |  116315   35712  3082237    86.3 | 26.582 % |
c |     87938 |  121808   263593 |  127947   44316  4568711   103.1 | 26.845 % |
c |    100913 |  121659   263080 |  140742   57178  7421008   129.8 | 27.445 % |
c |    120374 |  121574   262783 |  154816   76583 10915263   142.5 | 27.782 % |
c |    149567 |  121574   262783 |  170298  105776 17781564   168.1 | 27.783 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 46   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    179502 |  121509   262563 |   40503  135612 22932144   169.1 | 27.783 % |
c |    179603 |  121499   262527 |   44553   16910  2840259   168.0 | 28.136 % |
c |    179753 |  121499   262527 |   49008   17060  2843511   166.7 | 28.136 % |
c |    179978 |  121499   262527 |   53909   17285  2847062   164.7 | 28.136 % |
c |    180315 |  121463   262401 |   59300   17617  2854208   162.0 | 28.305 % |
c |    180821 |  121440   262318 |   65230   18118  2868716   158.3 | 28.448 % |
c |    181580 |  121434   262298 |   71753   18873  2888383   153.0 | 28.473 % |
c |    182719 |  121416   262238 |   78928   19998  2927211   146.4 | 28.544 % |
c |    184428 |  121384   262132 |   86821   21701  3121838   143.9 | 28.688 % |
c |    186990 |  121263   261713 |   95503   24199  3249783   134.3 | 29.241 % |
c |    190834 |  121263   261713 |  105054   28043  3568257   127.2 | 29.241 % |
c |    196600 |  121154   261334 |  115559   33741  4064854   120.5 | 29.747 % |
c |    205249 |  121139   261283 |  127115   42388  5825089   137.4 | 29.793 % |
c |    218223 |  121075   261059 |  139827   55334  7853548   141.9 | 30.082 % |
c |    237684 |  120980   260730 |  153810   74572  9602303   128.8 | 30.443 % |
c |    266876 |  120971   260699 |  169191  103725 16285061   157.0 | 30.468 % |
c |    310666 |  120971   260699 |  186110  147515 22491511   152.5 | 30.466 % |
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.84 0.94 0.90 2/54 30510
Raw data (stat): 30510 (runsolver) R 30509 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 407979380 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 30510
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 5182 0 0 0 982 16 0 0 25 0 1 0 407979380 22880256 5160 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5586 5160 603 41 0 5545 0
vsize: 22344
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 30510
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 5182 0 0 0 1982 16 0 0 25 0 1 0 407979380 22880256 5160 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5586 5160 603 41 0 5545 0
vsize: 22344
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 30510
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 5182 0 0 0 2982 16 0 0 25 0 1 0 407979380 22880256 5160 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5586 5160 603 41 0 5545 0
vsize: 22344
[startup+40.0029 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 30510
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 5182 0 0 0 3981 17 0 0 25 0 1 0 407979380 22880256 5160 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5586 5160 603 41 0 5545 0
vsize: 22344
[startup+50.0046 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 30510
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 5182 0 0 0 4981 17 0 0 25 0 1 0 407979380 22880256 5160 4294967295 134512640 134672761 3221224560 3221223732 134556664 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5586 5160 603 41 0 5545 0
vsize: 22344
[startup+60.0054 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 30510
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 5182 0 0 0 5981 17 0 0 25 0 1 0 407979380 22880256 5160 4294967295 134512640 134672761 3221224560 3221223704 134560553 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5586 5160 603 41 0 5545 0
vsize: 22344
[startup+70.0062 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 30510
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 5182 0 0 0 6981 17 0 0 25 0 1 0 407979380 22880256 5160 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5586 5160 603 41 0 5545 0
vsize: 22344
[startup+80.0066 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 30510
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 5182 0 0 0 7980 18 0 0 25 0 1 0 407979380 22880256 5160 4294967295 134512640 134672761 3221224560 3221223712 134565086 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5586 5160 603 41 0 5545 0
vsize: 22344
[startup+90.0068 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 5375 0 0 0 8979 19 0 0 25 0 1 0 407979380 23556096 5353 4294967295 134512640 134672761 3221224560 3221223732 134556667 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5751 5353 603 41 0 5710 0
vsize: 23004
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 5918 0 0 0 9977 21 0 0 25 0 1 0 407979380 25837568 5896 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6308 5897 603 41 0 6267 0
vsize: 25232
[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 6499 0 0 0 10975 23 0 0 25 0 1 0 407979380 28155904 6477 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6874 6477 603 41 0 6833 0
vsize: 27496
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 6499 0 0 0 11976 23 0 0 25 0 1 0 407979380 28155904 6477 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6874 6477 603 41 0 6833 0
vsize: 27496
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 6499 0 0 0 12976 23 0 0 25 0 1 0 407979380 28155904 6477 4294967295 134512640 134672761 3221224560 3221223744 134558909 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6874 6477 603 41 0 6833 0
vsize: 27496
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 6499 0 0 0 13975 23 0 0 25 0 1 0 407979380 28155904 6477 4294967295 134512640 134672761 3221224560 3221223664 134560424 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6874 6477 603 41 0 6833 0
vsize: 27496
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 7233 0 0 0 14973 25 0 0 25 0 1 0 407979380 31232000 7211 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7625 7211 603 41 0 7584 0
vsize: 30500
[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 7645 0 0 0 15972 26 0 0 25 0 1 0 407979380 32845824 7623 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8019 7623 603 41 0 7978 0
vsize: 32076
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 8386 0 0 0 16971 28 0 0 25 0 1 0 407979380 35938304 8364 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8774 8364 603 41 0 8733 0
vsize: 35096
[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 9258 0 0 0 17968 31 0 0 25 0 1 0 407979380 39440384 9236 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9629 9236 603 41 0 9588 0
vsize: 38516
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 10186 0 0 0 18966 33 0 0 25 0 1 0 407979380 43347968 10164 4294967295 134512640 134672761 3221224560 3221223728 134561121 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10583 10164 603 41 0 10542 0
vsize: 42332
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 10680 0 0 0 19964 35 0 0 25 0 1 0 407979380 45359104 10658 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11074 10658 603 41 0 11033 0
vsize: 44296
[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 11076 0 0 0 20963 37 0 0 25 0 1 0 407979380 46972928 11054 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11468 11054 603 41 0 11427 0
vsize: 45872
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 11820 0 0 0 21961 39 0 0 25 0 1 0 407979380 50319360 11798 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12285 11798 603 41 0 12244 0
vsize: 49140
[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 12520 0 0 0 22959 41 0 0 25 0 1 0 407979380 53137408 12498 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12973 12498 603 41 0 12932 0
vsize: 51892
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 13264 0 0 0 23957 43 0 0 25 0 1 0 407979380 56213504 13242 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13724 13242 603 41 0 13683 0
vsize: 54896
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 13928 0 0 0 24955 45 0 0 25 0 1 0 407979380 58904576 13906 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14381 13906 603 41 0 14340 0
vsize: 57524
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 14498 0 0 0 25954 47 0 0 25 0 1 0 407979380 61181952 14476 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14937 14476 603 41 0 14896 0
vsize: 59748
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 15043 0 0 0 26952 49 0 0 25 0 1 0 407979380 63463424 15021 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15494 15021 603 41 0 15453 0
vsize: 61976
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 15603 0 0 0 27951 50 0 0 25 0 1 0 407979380 65740800 15581 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16050 15581 603 41 0 16009 0
vsize: 64200
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 16121 0 0 0 28949 52 0 0 25 0 1 0 407979380 67756032 16099 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16542 16099 603 41 0 16501 0
vsize: 66168
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 16633 0 0 0 29948 53 0 0 25 0 1 0 407979380 69902336 16611 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17066 16611 603 41 0 17025 0
vsize: 68264
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 17151 0 0 0 30948 54 0 0 25 0 1 0 407979380 72036352 17129 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17587 17129 603 41 0 17546 0
vsize: 70348
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 17662 0 0 0 31946 55 0 0 25 0 1 0 407979380 74043392 17640 4294967295 134512640 134672761 3221224560 3221223728 134560876 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18077 17640 603 41 0 18036 0
vsize: 72308
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 18137 0 0 0 32945 57 0 0 25 0 1 0 407979380 76042240 18115 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18565 18115 603 41 0 18524 0
vsize: 74260
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 18670 0 0 0 33944 58 0 0 25 0 1 0 407979380 78188544 18648 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19089 18648 603 41 0 19048 0
vsize: 76356
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 19160 0 0 0 34942 60 0 0 25 0 1 0 407979380 80216064 19138 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19584 19138 603 41 0 19543 0
vsize: 78336
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 19614 0 0 0 35943 61 0 0 25 0 1 0 407979380 82071552 19592 4294967295 134512640 134672761 3221224560 3221223728 134561226 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20037 19592 603 41 0 19996 0
vsize: 80148
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 20043 0 0 0 36941 62 0 0 25 0 1 0 407979380 83808256 20021 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20461 20021 603 41 0 20420 0
vsize: 81844
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 20470 0 0 0 37939 64 0 0 25 0 1 0 407979380 85549056 20448 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20886 20448 603 41 0 20845 0
vsize: 83544
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 20911 0 0 0 38938 66 0 0 25 0 1 0 407979380 87425024 20889 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21344 20889 603 41 0 21303 0
vsize: 85376
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 21296 0 0 0 39936 67 0 0 25 0 1 0 407979380 88911872 21274 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21707 21274 603 41 0 21666 0
vsize: 86828
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 21488 0 0 0 40935 67 0 0 25 0 1 0 407979380 89714688 21466 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21903 21466 603 41 0 21862 0
vsize: 87612
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 21690 0 0 0 41934 68 0 0 25 0 1 0 407979380 90521600 21668 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22100 21668 603 41 0 22059 0
vsize: 88400
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 22090 0 0 0 42934 69 0 0 25 0 1 0 407979380 92262400 22068 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22525 22068 603 41 0 22484 0
vsize: 90100
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 22499 0 0 0 43932 71 0 0 25 0 1 0 407979380 93872128 22477 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22918 22477 603 41 0 22877 0
vsize: 91672
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 22865 0 0 0 44932 72 0 0 25 0 1 0 407979380 95346688 22843 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23278 22843 603 41 0 23237 0
vsize: 93112
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 23320 0 0 0 45930 73 0 0 25 0 1 0 407979380 97222656 23298 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23736 23298 603 41 0 23695 0
vsize: 94944
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 23721 0 0 0 46929 75 0 0 25 0 1 0 407979380 98832384 23699 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24129 23699 603 41 0 24088 0
vsize: 96516
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 24077 0 0 0 47927 77 0 0 25 0 1 0 407979380 100311040 24055 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24490 24055 603 41 0 24449 0
vsize: 97960
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 24417 0 0 0 48926 78 0 0 25 0 1 0 407979380 101650432 24395 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24817 24395 603 41 0 24776 0
vsize: 99268
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 24770 0 0 0 49926 79 0 0 25 0 1 0 407979380 103124992 24748 4294967295 134512640 134672761 3221224560 3221223724 134561235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25177 24748 603 41 0 25136 0
vsize: 100708
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 25127 0 0 0 50925 80 0 0 25 0 1 0 407979380 104591360 25105 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25535 25105 603 41 0 25494 0
vsize: 102140
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 25497 0 0 0 51924 81 0 0 25 0 1 0 407979380 106582016 25475 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26021 25475 603 41 0 25980 0
vsize: 104084
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 25969 0 0 0 52922 82 0 0 25 0 1 0 407979380 108601344 25947 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26514 25947 603 41 0 26473 0
vsize: 106056
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 53921 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223860 134556651 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 54921 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 55921 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 56922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223496 1075352235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 57922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 58922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 59922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 60922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 61922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 62923 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 63923 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 64922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223664 134560158 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 65921 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 66921 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 67922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 68922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 69922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223664 134560254 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26360 0 0 0 70922 84 0 0 25 0 1 0 407979380 110112768 26338 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26338 603 41 0 26842 0
vsize: 107532
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26361 0 0 0 71922 84 0 0 25 0 1 0 407979380 110112768 26339 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26339 603 41 0 26842 0
vsize: 107532
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26361 0 0 0 72923 84 0 0 25 0 1 0 407979380 110112768 26339 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26339 603 41 0 26842 0
vsize: 107532
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26361 0 0 0 73923 84 0 0 25 0 1 0 407979380 110112768 26339 4294967295 134512640 134672761 3221224560 3221223760 134557852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26339 603 41 0 26842 0
vsize: 107532
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26361 0 0 0 74923 84 0 0 25 0 1 0 407979380 110112768 26339 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26339 603 41 0 26842 0
vsize: 107532
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 75923 84 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 76923 84 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 77923 84 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 78923 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 79923 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 80923 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 81923 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 82923 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 83923 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 84923 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 85924 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134561201 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 86924 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 87924 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 88924 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 89924 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 90924 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 91925 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26362 0 0 0 92925 85 0 0 25 0 1 0 407979380 110112768 26340 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26340 603 41 0 26842 0
vsize: 107532
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26364 0 0 0 93925 85 0 0 25 0 1 0 407979380 110112768 26342 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26342 603 41 0 26842 0
vsize: 107532
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26365 0 0 0 94925 85 0 0 25 0 1 0 407979380 110112768 26343 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26343 603 41 0 26842 0
vsize: 107532
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26367 0 0 0 95925 85 0 0 25 0 1 0 407979380 110112768 26345 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26345 603 41 0 26842 0
vsize: 107532
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26368 0 0 0 96925 85 0 0 25 0 1 0 407979380 110112768 26346 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26346 603 41 0 26842 0
vsize: 107532
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26369 0 0 0 97926 85 0 0 25 0 1 0 407979380 110112768 26347 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26348 603 41 0 26842 0
vsize: 107532
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26371 0 0 0 98926 85 0 0 25 0 1 0 407979380 110112768 26349 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26349 603 41 0 26842 0
vsize: 107532
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26372 0 0 0 99926 85 0 0 25 0 1 0 407979380 110112768 26350 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26350 603 41 0 26842 0
vsize: 107532
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26373 0 0 0 100926 85 0 0 25 0 1 0 407979380 110112768 26351 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26883 26351 603 41 0 26842 0
vsize: 107532
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26519 0 0 0 101925 85 0 0 25 0 1 0 407979380 110780416 26497 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27046 26497 603 41 0 27005 0
vsize: 108184
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26730 0 0 0 102923 86 0 0 25 0 1 0 407979380 111591424 26708 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27244 26708 603 41 0 27203 0
vsize: 108976
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 26968 0 0 0 103922 87 0 0 25 0 1 0 407979380 112521216 26946 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27471 26946 603 41 0 27430 0
vsize: 109884
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 27187 0 0 0 104922 88 0 0 25 0 1 0 407979380 113455104 27165 4294967295 134512640 134672761 3221224560 3221223728 134561220 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27699 27165 603 41 0 27658 0
vsize: 110796
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 27396 0 0 0 105921 89 0 0 25 0 1 0 407979380 114262016 27374 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27896 27374 603 41 0 27855 0
vsize: 111584
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 27608 0 0 0 106921 89 0 0 25 0 1 0 407979380 115187712 27586 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28122 27586 603 41 0 28081 0
vsize: 112488
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 27820 0 0 0 107920 90 0 0 25 0 1 0 407979380 115986432 27798 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28317 27798 603 41 0 28276 0
vsize: 113268
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 28038 0 0 0 108920 90 0 0 25 0 1 0 407979380 116924416 28016 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28546 28016 603 41 0 28505 0
vsize: 114184
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 28253 0 0 0 109919 91 0 0 25 0 1 0 407979380 117858304 28231 4294967295 134512640 134672761 3221224560 3221223664 134560148 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28774 28231 603 41 0 28733 0
vsize: 115096
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 28444 0 0 0 110918 92 0 0 25 0 1 0 407979380 118648832 28422 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28967 28422 603 41 0 28926 0
vsize: 115868
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 28630 0 0 0 111917 93 0 0 25 0 1 0 407979380 119316480 28608 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29130 28608 603 41 0 29089 0
vsize: 116520
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 28813 0 0 0 112917 94 0 0 25 0 1 0 407979380 120123392 28791 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29327 28791 603 41 0 29286 0
vsize: 117308
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 29011 0 0 0 113916 95 0 0 25 0 1 0 407979380 120926208 28989 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29523 28989 603 41 0 29482 0
vsize: 118092
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 29195 0 0 0 114916 95 0 0 25 0 1 0 407979380 121720832 29173 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29717 29173 603 41 0 29676 0
vsize: 118868
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 29395 0 0 0 115916 96 0 0 25 0 1 0 407979380 122519552 29373 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29912 29373 603 41 0 29871 0
vsize: 119648
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 29580 0 0 0 116915 96 0 0 25 0 1 0 407979380 123183104 29558 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30074 29558 603 41 0 30033 0
vsize: 120296
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 29784 0 0 0 117915 97 0 0 25 0 1 0 407979380 124116992 29762 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30302 29762 603 41 0 30261 0
vsize: 121208
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 30000 0 0 0 118914 98 0 0 25 0 1 0 407979380 124915712 29978 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30497 29978 603 41 0 30456 0
vsize: 121988
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30512
Raw data (stat): 30510 (minisat+) R 30509 26667 26666 0 -1 0 30194 0 0 0 119913 99 0 0 25 0 1 0 407979380 125718528 30172 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30693 30172 603 41 0 30652 0
vsize: 122772
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 30512
Raw data (stat): 30510 (minisat+) Z 30509 26667 26666 0 -1 12 30197 0 0 0 119913 105 0 0 25 0 1 0 407979380 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.09
CPU time (s): 1200.19
CPU user time (s): 1199.14
CPU system time (s): 1.05284
CPU usage (%): 100.008
Max. virtual memory (Kb): 122772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####