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 6390

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-14 04:51:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4856 boxname=wulflinc1 idbench=344 idsolver=13 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  02058527b1ad27d5be75faa6974ffa0f  /oldhome/oroussel/tmp/wulflinc1/normalized-frb56-25-1.opb
REAL COMMAND:  minisat+ -w /oldhome/oroussel/tmp/wulflinc1/normalized-frb56-25-1.opb /oldhome/oroussel/tmp/wulflinc1/normalized-frb56-25-1.opb
IDLAUNCH: 4856
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        827760 kB
Buffers:         41308 kB
Cached:         140796 kB
SwapCached:          0 kB
Active:         113364 kB
Inactive:        71856 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        827508 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           7200 kB
Slab:            15864 kB
Committed_AS:    92812 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 05:11:53 (client local time) WITH STATUS 10 IN 1210.01 SECONDS
stats: 4856 7 1210.01 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]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  277758   612583 |   92586       0        0     nan |  0.000 % |
c |       100 |  277758   612583 |  101844     100      824     8.2 |  0.002 % |
c |       250 |  276401   609493 |  112029     221     1520     6.9 |  0.692 % |
c |       476 |  274988   606252 |  123231     409     2964     7.2 |  1.447 % |
c |       815 |  269509   593668 |  135555     632     4214     6.7 |  4.454 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      1067 |  267490   589140 |   89163     843     5500     6.5 |  4.454 % |
c |      1167 |  266128   586021 |   98079     918     6371     6.9 |  6.250 % |
c |      1317 |  264442   582139 |  107887    1002     6646     6.6 |  7.170 % |
c |      1542 |  260071   572078 |  118675    1150     7677     6.7 |  9.553 % |
c |      1879 |  256282   563376 |  130543    1412    10344     7.3 | 11.591 % |
c |      2385 |  250213   549391 |  143597    1765    13634     7.7 | 14.929 % |
c |      3145 |  241733   529770 |  157957    2247    17438     7.8 | 19.865 % |
c |      4284 |  230955   504829 |  173753    3106    27552     8.9 | 25.741 % |
c |      5992 |  211834   460211 |  191128    3908    43234    11.1 | 36.756 % |
c |      8554 |  182492   391735 |  210241    5409    60634    11.2 | 53.755 % |
c |     12398 |  159460   337870 |  231265    7832    91331    11.7 | 67.382 % |
c |     18164 |  140230   292733 |  254392   10759   132102    12.3 | 79.066 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     20733 |  135671   281957 |   45223   11924   155284    13.0 | 79.066 % |
c |     20833 |  135220   280898 |   49745   11910   154856    13.0 | 82.131 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     20971 |  135378   281306 |   45126   12048   156760    13.0 | 82.131 % |
c |     21071 |  135191   280871 |   49638   12092   157467    13.0 | 82.199 % |
c |     21221 |  135157   280792 |   54602   12231   158985    13.0 | 82.218 % |
c |     21447 |  134258   278671 |   60062   12158   155267    12.8 | 82.777 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     21521 |  134199   278521 |   44733   12199   155106    12.7 | 82.777 % |
c |     21623 |  134147   278400 |   49206   12288   155909    12.7 | 82.832 % |
c |     21774 |  133574   277049 |   54126   12328   155511    12.6 | 83.250 % |
c |     21999 |  133413   276674 |   59539   12500   157848    12.6 | 83.278 % |
c |     22336 |  133167   276096 |   65493   12765   161809    12.7 | 83.429 % |
c |     22842 |  132980   275656 |   72042   13114   169264    12.9 | 83.541 % |
c |     23601 |  131683   272601 |   79247   13473   175524    13.0 | 84.338 % |
c |     24740 |  130859   270644 |   87171   14164   204177    14.4 | 84.875 % |
c |     26448 |  130495   269793 |   95889   15605   248870    15.9 | 85.096 % |
c |     29011 |  129826   268201 |  105478   17736   349696    19.7 | 85.537 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     29286 |  129815   268191 |   43271   17949   363800    20.3 | 85.537 % |
c |     29388 |  129815   268191 |   47598   18051   364792    20.2 | 85.566 % |
c |     29538 |  129815   268191 |   52357   18201   367929    20.2 | 85.566 % |
c |     29763 |  129815   268191 |   57593   18426   375837    20.4 | 85.566 % |
c |     30101 |  129815   268191 |   63353   18764   386467    20.6 | 85.566 % |
c |     30608 |  129116   266534 |   69688   18908   390212    20.6 | 86.018 % |
c |     31367 |  129064   266410 |   76657   19599   408792    20.9 | 86.051 % |
c |     32507 |  128960   266168 |   84322   20576   428946    20.8 | 86.112 % |
c |     34216 |  128960   266168 |   92755   22285   550528    24.7 | 86.112 % |
c |     36778 |  128051   264029 |  102030   23963   628191    26.2 | 86.681 % |
c |     40623 |  127663   263122 |  112233   27349   776679    28.4 | 86.910 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     41578 |  127620   262994 |   42540   28244   842169    29.8 | 86.910 % |
c |     41678 |  127531   262787 |   46794   28304   843546    29.8 | 86.977 % |
c |     41828 |  127517   262755 |   51473   28363   848995    29.9 | 86.984 % |
c |     42053 |  127517   262755 |   56620   28588   861301    30.1 | 86.984 % |
c |     42390 |  127517   262755 |   62282   28925   900455    31.1 | 86.984 % |
c |     42896 |  127186   261958 |   68511   28774   912868    31.7 | 87.205 % |
c |     43655 |  127186   261958 |   75362   29533   987765    33.4 | 87.205 % |
c |     44795 |  127111   261783 |   82898   30574  1121854    36.7 | 87.250 % |
c |     46503 |  126910   261319 |   91188   32019  1213520    37.9 | 87.362 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     47214 |  126997   261539 |   42332   32730  1303697    39.8 | 87.362 % |
c |     47314 |  126997   261539 |   46565   32830  1305692    39.8 | 87.348 % |
c |     47464 |  126997   261539 |   51221   32980  1311284    39.8 | 87.348 % |
c |     47689 |  126997   261539 |   56343   33205  1322929    39.8 | 87.348 % |
c |     48026 |  126997   261539 |   61978   33542  1360129    40.6 | 87.348 % |
c |     48532 |  126997   261539 |   68176   34048  1378161    40.5 | 87.348 % |
c |     49292 |  126997   261539 |   74993   34808  1395449    40.1 | 87.348 % |
c |     50431 |  126947   261422 |   82493   35930  1440881    40.1 | 87.378 % |
c |     52139 |  126227   259728 |   90742   36114  1484772    41.1 | 87.826 % |
c |     54701 |  126227   259728 |   99816   38676  1763780    45.6 | 87.826 % |
c |     58546 |  126046   259296 |  109798   42229  2103672    49.8 | 87.949 % |
c |     64312 |  125795   258703 |  120778   47264  2531039    53.6 | 88.111 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     69066 |  125759   258604 |   41919   51906  3302156    63.6 | 88.111 % |
c |     69166 |  125759   258604 |   46110   52006  3304714    63.5 | 88.129 % |
c |     69317 |  125759   258604 |   50721   52157  3315010    63.6 | 88.129 % |
c |     69542 |  125755   258595 |   55794   52362  3325860    63.5 | 88.131 % |
c |     69879 |  125749   258581 |   61373   52698  3353382    63.6 | 88.134 % |
c |     70386 |  125749   258581 |   67510   53205  3416915    64.2 | 88.134 % |
c |     71145 |  125727   258530 |   74262   53930  3472166    64.4 | 88.146 % |
c |     72285 |  125632   258309 |   81688   54871  3572995    65.1 | 88.202 % |
c |     73993 |  125628   258300 |   89857   56561  3773489    66.7 | 88.204 % |
c |     76555 |  125628   258300 |   98842   59123  4016015    67.9 | 88.204 % |
c |     80402 |  125628   258300 |  108727   62970  4571422    72.6 | 88.204 % |
c |     86168 |  125628   258300 |  119599   68736  5368199    78.1 | 88.204 % |
c |     94818 |  125616   258272 |  131559   77381  6777243    87.6 | 88.211 % |
c |    107792 |  125608   258254 |  144715   90352  8622343    95.4 | 88.214 % |
c |    127253 |  125476   257943 |  159187  109193 12148607   111.3 | 88.298 % |
c ==============================================================================
c [1mFound solution: -49[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    138601 |  125458   257913 |   41819  120420 14333995   119.0 | 88.298 % |
c |    138701 |  125458   257913 |   46000   23387  2612804   111.7 | 88.315 % |
c |    138851 |  125458   257913 |   50600   23537  2615584   111.1 | 88.315 % |
c |    139076 |  125454   257904 |   55661   23758  2624429   110.5 | 88.317 % |
c |    139413 |  125239   257396 |   61227   24052  2638794   109.7 | 88.458 % |
c |    139922 |  125239   257396 |   67349   24561  2698367   109.9 | 88.458 % |
c |    140682 |  125239   257396 |   74084   25321  2804600   110.8 | 88.458 % |
c |    141821 |  125225   257362 |   81493   26439  2961258   112.0 | 88.469 % |
c |    143529 |  125225   257362 |   89642   28147  3233683   114.9 | 88.469 % |
c |    146091 |  124961   256743 |   98607   30655  3572574   116.5 | 88.633 % |
c |    149935 |  124890   256575 |  108467   34477  3947129   114.5 | 88.680 % |
c |    155701 |  124890   256575 |  119314   40243  5090008   126.5 | 88.680 % |
c |    164350 |  124886   256566 |  131245   48891  6422639   131.4 | 88.681 % |
c |    177324 |  124729   256203 |  144370   61807  8184742   132.4 | 88.767 % |
c |    196786 |  124729   256203 |  158807   81269 11692082   143.9 | 88.767 % |
c |    225978 |  124729   256203 |  174688  110461 16667331   150.9 | 88.767 % |
c |    269767 |  124729   256203 |  192157  154250 23699582   153.6 | 88.767 % |
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 -C1#### 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.92 0.95 0.94 2/56 22528
Raw data (stat): 22528 (runsolver) R 22527 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 366775851 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.0008 s]
Raw data (loadavg): 0.93 0.96 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6653 0 0 0 983 16 0 0 25 0 1 0 366775851 30322688 6631 4294967295 134512640 134672761 3221224560 3221223728 134561406 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7403 6631 603 41 0 7362 0
vsize: 29612
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 1982 17 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 2982 17 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223776 134561990 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 3982 17 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223732 134556667 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 4982 17 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223696 134560622 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 5982 17 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 6982 18 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 7982 18 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223744 134556589 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 8982 18 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 9981 18 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 10981 19 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223696 134560709 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 11981 19 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223732 134556641 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6848 0 0 0 12981 19 0 0 25 0 1 0 366775851 31485952 6826 4294967295 134512640 134672761 3221224560 3221223824 134562585 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6826 603 41 0 7646 0
vsize: 30748
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6849 0 0 0 13981 19 0 0 25 0 1 0 366775851 31485952 6827 4294967295 134512640 134672761 3221224560 3221223728 134560885 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7687 6827 603 41 0 7646 0
vsize: 30748
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 6953 0 0 0 14981 19 0 0 25 0 1 0 366775851 31928320 6931 4294967295 134512640 134672761 3221224560 3221223696 134560625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7795 6931 603 41 0 7754 0
vsize: 31180
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 7270 0 0 0 15980 20 0 0 25 0 1 0 366775851 33112064 7216 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8084 7216 603 41 0 8043 0
vsize: 32336
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 7618 0 0 0 16979 22 0 0 25 0 1 0 366775851 34459648 7532 4294967295 134512640 134672761 3221224560 3221223712 134561244 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8413 7532 603 41 0 8372 0
vsize: 33652
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 8187 0 0 0 17978 23 0 0 25 0 1 0 366775851 36655104 8070 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8949 8070 603 41 0 8908 0
vsize: 35796
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 8504 0 0 0 18976 25 0 0 25 0 1 0 366775851 37998592 8387 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9277 8387 603 41 0 9236 0
vsize: 37108
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 9004 0 0 0 19975 27 0 0 25 0 1 0 366775851 40013824 8887 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9769 8887 603 41 0 9728 0
vsize: 39076
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 9396 0 0 0 20974 28 0 0 25 0 1 0 366775851 41631744 9279 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10164 9279 603 41 0 10123 0
vsize: 40656
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 10067 0 0 0 21973 28 0 0 25 0 1 0 366775851 44314624 9950 4294967295 134512640 134672761 3221224560 3221223664 134554910 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10819 9950 603 41 0 10778 0
vsize: 43276
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 10509 0 0 0 22972 30 0 0 25 0 1 0 366775851 45993984 10360 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11229 10360 603 41 0 11188 0
vsize: 44916
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 10932 0 0 0 23971 31 0 0 25 0 1 0 366775851 47734784 10783 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11654 10783 603 41 0 11613 0
vsize: 46616
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 11427 0 0 0 24970 32 0 0 25 0 1 0 366775851 49750016 11278 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12146 11278 603 41 0 12105 0
vsize: 48584
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 11947 0 0 0 25968 34 0 0 25 0 1 0 366775851 51896320 11798 4294967295 134512640 134672761 3221224560 3221223708 134560631 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12670 11798 603 41 0 12629 0
vsize: 50680
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22528
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 12466 0 0 0 26967 35 0 0 25 0 1 0 366775851 54292480 12317 4294967295 134512640 134672761 3221224560 3221223728 134561003 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13255 12317 603 41 0 13214 0
vsize: 53020
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 12917 0 0 0 27965 37 0 0 25 0 1 0 366775851 56037376 12768 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13681 12768 603 41 0 13640 0
vsize: 54724
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 13343 0 0 0 28963 39 0 0 25 0 1 0 366775851 57761792 13194 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14102 13194 603 41 0 14061 0
vsize: 56408
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 13845 0 0 0 29962 40 0 0 25 0 1 0 366775851 59904000 13696 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14625 13696 603 41 0 14584 0
vsize: 58500
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 14296 0 0 0 30961 42 0 0 25 0 1 0 366775851 61636608 14147 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15048 14147 603 41 0 15007 0
vsize: 60192
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 14719 0 0 0 31959 44 0 0 25 0 1 0 366775851 63369216 14570 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15471 14570 603 41 0 15430 0
vsize: 61884
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 15143 0 0 0 32958 45 0 0 25 0 1 0 366775851 65110016 14994 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15896 14994 603 41 0 15855 0
vsize: 63584
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 15511 0 0 0 33957 47 0 0 25 0 1 0 366775851 66576384 15362 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16254 15362 603 41 0 16213 0
vsize: 65016
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 15938 0 0 0 34956 48 0 0 25 0 1 0 366775851 68313088 15789 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16678 15789 603 41 0 16637 0
vsize: 66712
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 16303 0 0 0 35955 49 0 0 25 0 1 0 366775851 69918720 16154 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17070 16154 603 41 0 17029 0
vsize: 68280
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 16714 0 0 0 36953 50 0 0 25 0 1 0 366775851 71520256 16565 4294967295 134512640 134672761 3221224560 3221223728 134560874 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17461 16565 603 41 0 17420 0
vsize: 69844
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 17129 0 0 0 37952 52 0 0 25 0 1 0 366775851 73269248 16980 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17888 16980 603 41 0 17847 0
vsize: 71552
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 17570 0 0 0 38951 53 0 0 25 0 1 0 366775851 75005952 17421 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18312 17421 603 41 0 18271 0
vsize: 73248
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 17981 0 0 0 39950 55 0 0 25 0 1 0 366775851 76738560 17832 4294967295 134512640 134672761 3221224560 3221223696 134560657 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18735 17832 603 41 0 18694 0
vsize: 74940
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 18416 0 0 0 40949 56 0 0 25 0 1 0 366775851 78467072 18267 4294967295 134512640 134672761 3221224560 3221223696 134565073 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19157 18267 603 41 0 19116 0
vsize: 76628
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 18857 0 0 0 41948 57 0 0 25 0 1 0 366775851 80203776 18708 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19581 18708 603 41 0 19540 0
vsize: 78324
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 19309 0 0 0 42947 57 0 0 25 0 1 0 366775851 82067456 19160 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20036 19160 603 41 0 19995 0
vsize: 80144
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 19719 0 0 0 43946 59 0 0 25 0 1 0 366775851 83804160 19570 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20460 19570 603 41 0 20419 0
vsize: 81840
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 20018 0 0 0 44945 60 0 0 25 0 1 0 366775851 85004288 19869 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20753 19869 603 41 0 20712 0
vsize: 83012
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 20317 0 0 0 45944 61 0 0 25 0 1 0 366775851 86216704 20168 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21049 20168 603 41 0 21008 0
vsize: 84196
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 20828 0 0 0 46942 63 0 0 25 0 1 0 366775851 88371200 20679 4294967295 134512640 134672761 3221224560 3221223728 134561003 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21575 20679 603 41 0 21534 0
vsize: 86300
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21384 0 0 0 47940 65 0 0 25 0 1 0 366775851 90509312 21235 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22097 21235 603 41 0 22056 0
vsize: 88388
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 48939 67 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223860 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22530
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 49939 67 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22583
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 50908 68 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+520.061 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22583
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 51913 68 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+530.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22583
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 52913 68 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+540.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22583
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 53913 68 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223744 134559324 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+550.061 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 22583
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 54913 68 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+560.062 s]
Raw data (loadavg): 1.07 0.99 0.94 2/56 22585
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 55913 69 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+570.063 s]
Raw data (loadavg): 1.06 0.99 0.94 2/56 22585
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 56913 69 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223664 134560410 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+580.063 s]
Raw data (loadavg): 1.05 0.99 0.94 2/56 22587
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 57912 69 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+590.063 s]
Raw data (loadavg): 1.04 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 58912 70 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+600.064 s]
Raw data (loadavg): 1.04 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 59912 70 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+610.065 s]
Raw data (loadavg): 1.03 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 60912 70 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223744 134558899 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+620.065 s]
Raw data (loadavg): 1.03 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 61912 70 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+630.065 s]
Raw data (loadavg): 1.02 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 62912 70 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223664 134560410 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+640.066 s]
Raw data (loadavg): 1.02 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 63912 70 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223712 134541817 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+650.066 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 64912 70 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+660.067 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 65913 70 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+670.068 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 66913 71 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223664 134560313 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+680.067 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 67913 71 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+690.068 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 68913 71 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223696 134560661 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+700.068 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 69913 71 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+710.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 70913 71 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134561406 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+720.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 71913 71 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+730.069 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 21970 0 0 0 72913 71 0 0 25 0 1 0 366775851 92774400 21790 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22650 21790 603 41 0 22609 0
vsize: 90600
[startup+740.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 22100 0 0 0 73913 72 0 0 25 0 1 0 366775851 93433856 21920 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22811 21920 603 41 0 22770 0
vsize: 91244
[startup+750.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 22420 0 0 0 74912 73 0 0 25 0 1 0 366775851 94629888 22240 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23103 22240 603 41 0 23062 0
vsize: 92412
[startup+760.071 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 22708 0 0 0 75911 74 0 0 25 0 1 0 366775851 95825920 22528 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23395 22528 603 41 0 23354 0
vsize: 93580
[startup+770.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 23029 0 0 0 76910 76 0 0 25 0 1 0 366775851 97161216 22849 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23721 22849 603 41 0 23680 0
vsize: 94884
[startup+780.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 23342 0 0 0 77909 76 0 0 25 0 1 0 366775851 98476032 23162 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24042 23162 603 41 0 24001 0
vsize: 96168
[startup+790.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 23675 0 0 0 78908 78 0 0 25 0 1 0 366775851 99794944 23495 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24364 23495 603 41 0 24323 0
vsize: 97456
[startup+800.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 23974 0 0 0 79907 79 0 0 25 0 1 0 366775851 100986880 23794 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24655 23794 603 41 0 24614 0
vsize: 98620
[startup+810.071 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 24292 0 0 0 80907 79 0 0 25 0 1 0 366775851 102305792 24112 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24977 24112 603 41 0 24936 0
vsize: 99908
[startup+820.071 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 24593 0 0 0 81906 80 0 0 25 0 1 0 366775851 103641088 24413 4294967295 134512640 134672761 3221224560 3221223744 134559618 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25303 24413 603 41 0 25262 0
vsize: 101212
[startup+830.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 24934 0 0 0 82905 81 0 0 25 0 1 0 366775851 104972288 24754 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25628 24754 603 41 0 25587 0
vsize: 102512
[startup+840.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 25244 0 0 0 83904 82 0 0 25 0 1 0 366775851 106295296 25064 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25951 25064 603 41 0 25910 0
vsize: 103804
[startup+850.071 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 25542 0 0 0 84903 83 0 0 25 0 1 0 366775851 107487232 25362 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26242 25362 603 41 0 26201 0
vsize: 104968
[startup+860.072 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 25904 0 0 0 85903 84 0 0 25 0 1 0 366775851 108953600 25724 4294967295 134512640 134672761 3221224560 3221223664 134559808 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26600 25724 603 41 0 26559 0
vsize: 106400
[startup+870.071 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22589
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 26190 0 0 0 86902 85 0 0 25 0 1 0 366775851 110161920 26010 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26895 26010 603 41 0 26854 0
vsize: 107580
[startup+880.072 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 26506 0 0 0 87901 86 0 0 25 0 1 0 366775851 111378432 26326 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27192 26326 603 41 0 27151 0
vsize: 108768
[startup+890.072 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 26839 0 0 0 88900 87 0 0 25 0 1 0 366775851 112832512 26659 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27547 26659 603 41 0 27506 0
vsize: 110188
[startup+900.072 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 27114 0 0 0 89899 88 0 0 25 0 1 0 366775851 113889280 26934 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27805 26934 603 41 0 27764 0
vsize: 111220
[startup+910.073 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 27368 0 0 0 90899 89 0 0 25 0 1 0 366775851 114950144 27188 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28064 27188 603 41 0 28023 0
vsize: 112256
[startup+920.073 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 27670 0 0 0 91898 90 0 0 25 0 1 0 366775851 116150272 27490 4294967295 134512640 134672761 3221224560 3221223696 134560718 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28357 27490 603 41 0 28316 0
vsize: 113428
[startup+930.073 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 27951 0 0 0 92897 91 0 0 25 0 1 0 366775851 117874688 27771 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28778 27771 603 41 0 28737 0
vsize: 115112
[startup+940.074 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 28288 0 0 0 93896 92 0 0 25 0 1 0 366775851 119205888 28108 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29103 28108 603 41 0 29062 0
vsize: 116412
[startup+950.075 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 28591 0 0 0 94896 93 0 0 25 0 1 0 366775851 120406016 28411 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29396 28411 603 41 0 29355 0
vsize: 117584
[startup+960.076 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 28919 0 0 0 95895 93 0 0 25 0 1 0 366775851 121741312 28739 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29722 28739 603 41 0 29681 0
vsize: 118888
[startup+970.075 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 29227 0 0 0 96894 95 0 0 25 0 1 0 366775851 123072512 29047 4294967295 134512640 134672761 3221224560 3221223744 134559182 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30047 29047 603 41 0 30006 0
vsize: 120188
[startup+980.075 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 29488 0 0 0 97893 95 0 0 25 0 1 0 366775851 124137472 29308 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30307 29308 603 41 0 30266 0
vsize: 121228
[startup+990.076 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 29758 0 0 0 98893 96 0 0 25 0 1 0 366775851 125206528 29578 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30568 29578 603 41 0 30527 0
vsize: 122272
[startup+1000.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 30040 0 0 0 99892 97 0 0 25 0 1 0 366775851 126267392 29860 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30827 29860 603 41 0 30786 0
vsize: 123308
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 30392 0 0 0 100890 99 0 0 25 0 1 0 366775851 127737856 30212 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31186 30212 603 41 0 31145 0
vsize: 124744
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 30703 0 0 0 101890 99 0 0 25 0 1 0 366775851 129069056 30523 4294967295 134512640 134672761 3221224560 3221223696 134560557 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31511 30523 603 41 0 31470 0
vsize: 126044
[startup+1030.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 31020 0 0 0 102890 100 0 0 25 0 1 0 366775851 130392064 30840 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31834 30840 603 41 0 31793 0
vsize: 127336
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 31360 0 0 0 103889 101 0 0 25 0 1 0 366775851 131731456 31180 4294967295 134512640 134672761 3221224560 3221223744 134558883 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32161 31180 603 41 0 32120 0
vsize: 128644
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 31683 0 0 0 104888 102 0 0 25 0 1 0 366775851 133054464 31503 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32484 31503 603 41 0 32443 0
vsize: 129936
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 31945 0 0 0 105887 103 0 0 25 0 1 0 366775851 134127616 31765 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32746 31765 603 41 0 32705 0
vsize: 130984
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 32234 0 0 0 106886 104 0 0 25 0 1 0 366775851 135213056 32054 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33011 32054 603 41 0 32970 0
vsize: 132044
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 32512 0 0 0 107886 105 0 0 25 0 1 0 366775851 136409088 32332 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33303 32332 603 41 0 33262 0
vsize: 133212
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 32774 0 0 0 108885 106 0 0 25 0 1 0 366775851 137482240 32594 4294967295 134512640 134672761 3221224560 3221223760 134557916 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33565 32594 603 41 0 33524 0
vsize: 134260
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 33022 0 0 0 109885 106 0 0 25 0 1 0 366775851 138551296 32842 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33826 32842 603 41 0 33785 0
vsize: 135304
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 33271 0 0 0 110884 107 0 0 25 0 1 0 366775851 139481088 33091 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34053 33091 603 41 0 34012 0
vsize: 136212
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 33533 0 0 0 111884 107 0 0 25 0 1 0 366775851 140550144 33353 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34314 33353 603 41 0 34273 0
vsize: 137256
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 33762 0 0 0 112883 108 0 0 25 0 1 0 366775851 141471744 33582 4294967295 134512640 134672761 3221224560 3221223744 134559330 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34539 33582 603 41 0 34498 0
vsize: 138156
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 33992 0 0 0 113883 109 0 0 25 0 1 0 366775851 142401536 33812 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34766 33812 603 41 0 34725 0
vsize: 139064
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 34230 0 0 0 114882 109 0 0 25 0 1 0 366775851 143466496 34050 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35026 34050 603 41 0 34985 0
vsize: 140104
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 34451 0 0 0 115882 110 0 0 25 0 1 0 366775851 144257024 34271 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35219 34271 603 41 0 35178 0
vsize: 140876
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22591
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 34667 0 0 0 116882 111 0 0 25 0 1 0 366775851 145190912 34487 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35447 34487 603 41 0 35406 0
vsize: 141788
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22593
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 34879 0 0 0 117881 111 0 0 25 0 1 0 366775851 145985536 34699 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35641 34699 603 41 0 35600 0
vsize: 142564
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22593
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 35106 0 0 0 118881 112 0 0 25 0 1 0 366775851 146927616 34926 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35871 34926 603 41 0 35830 0
vsize: 143484
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22593
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 35329 0 0 0 119880 112 0 0 25 0 1 0 366775851 147861504 35149 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36099 35149 603 41 0 36058 0
vsize: 144396
[startup+1210.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/56 22593
Raw data (stat): 22528 (minisat+) R 22527 12452 12451 0 -1 0 35583 0 0 0 120880 113 0 0 25 0 1 0 366775851 148922368 35403 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36358 35403 603 41 0 36317 0
vsize: 145432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.15 s]
Raw data (loadavg): 1.00 0.99 0.94 1/56 22593
Raw data (stat): 22528 (minisat+) Z 22527 12452 12451 0 -1 12 35587 0 0 0 120880 120 0 0 25 0 1 0 366775851 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): 1210.15
CPU time (s): 1210.01
CPU user time (s): 1208.8
CPU system time (s): 1.20282
CPU usage (%): 99.9878
Max. virtual memory (Kb): 145432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####