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-3.opb
MD5SUM	3f087816af6a7fb75be2e9f81cc24df7
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
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	109379
Number of constraints which are clauses	109379
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 6391

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-14 04:51:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4858 boxname=wulflinc11 idbench=346 idsolver=13 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3f087816af6a7fb75be2e9f81cc24df7  /oldhome/oroussel/tmp/wulflinc11/normalized-frb56-25-3.opb
REAL COMMAND:  minisat+ -w /oldhome/oroussel/tmp/wulflinc11/normalized-frb56-25-3.opb /oldhome/oroussel/tmp/wulflinc11/normalized-frb56-25-3.opb
IDLAUNCH: 4858
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        892948 kB
Buffers:         36304 kB
Cached:          80348 kB
SwapCached:       4932 kB
Active:          60740 kB
Inactive:        63740 kB
HighTotal:      131008 kB
HighFree:        46900 kB
LowTotal:       903652 kB
LowFree:        846048 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11648 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 05:12:00 (client local time) WITH STATUS 10 IN 1200.26 SECONDS
stats: 4858 7 1200.26 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109379 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 |  109379   218758 |   36459       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  277406   611874 |   92468       0        0     nan |  0.000 % |
c |       102 |  277383   611823 |  101714     101      667     6.6 |  0.023 % |
c |       252 |  275886   608403 |  111886     196     1119     5.7 |  0.801 % |
c |       477 |  274307   604800 |  123074     387     2569     6.6 |  1.612 % |
c |       814 |  268807   592247 |  135382     624     5149     8.3 |  4.445 % |
c |      1320 |  262160   576961 |  148920     931     7672     8.2 |  8.054 % |
c |      2079 |  251499   552375 |  163812    1430    12149     8.5 | 13.949 % |
c |      3218 |  240515   527030 |  180193    2289    18183     7.9 | 20.008 % |
c |      4926 |  224162   489177 |  198213    3571    37429    10.5 | 29.178 % |
c |      7488 |  194590   420213 |  218034    5048    55331    11.0 | 46.104 % |
c |     11332 |  169192   360760 |  239838    7226    82294    11.4 | 61.293 % |
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 |     11498 |  168702   359674 |   56234    7327    83296    11.4 | 61.293 % |
c |     11598 |  167488   356838 |   61857    7370    83732    11.4 | 62.368 % |
c |     11748 |  167111   355959 |   68043    7487    86019    11.5 | 62.571 % |
c |     11973 |  166750   355116 |   74847    7670    87467    11.4 | 62.782 % |
c |     12310 |  163888   348403 |   82332    7807    88807    11.4 | 64.507 % |
c |     12817 |  162686   345572 |   90565    8182    93908    11.5 | 65.227 % |
c |     13576 |  158335   335383 |   99621    8735   100099    11.5 | 67.816 % |
c |     14715 |  154411   326135 |  109584    9336   107847    11.6 | 70.175 % |
c |     16423 |  146149   306666 |  120542    9892   113986    11.5 | 75.291 % |
c |     18985 |  139552   291188 |  132596   11421   131942    11.6 | 79.333 % |
c |     22829 |  134284   278804 |  145856   13761   174883    12.7 | 82.559 % |
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 |     26031 |  132053   273503 |   44017   16212   248713    15.3 | 82.559 % |
c |     26131 |  131846   273010 |   48418   16202   248054    15.3 | 84.055 % |
c |     26281 |  131822   272955 |   53260   16340   251588    15.4 | 84.067 % |
c |     26506 |  131692   272653 |   58586   16552   258680    15.6 | 84.141 % |
c |     26843 |  131554   272324 |   64445   16800   260099    15.5 | 84.230 % |
c |     27350 |  131548   272310 |   70889   17303   286353    16.5 | 84.234 % |
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 |     28037 |  130834   270652 |   43611   17329   293007    16.9 | 84.234 % |
c |     28137 |  130834   270652 |   47972   17429   293905    16.9 | 84.743 % |
c |     28287 |  130760   270473 |   52769   17510   293540    16.8 | 84.796 % |
c |     28512 |  130720   270380 |   58046   17641   296450    16.8 | 84.819 % |
c |     28849 |  130608   270115 |   63850   17901   303332    16.9 | 84.889 % |
c |     29355 |  130532   269934 |   70235   18294   315242    17.2 | 84.940 % |
c |     30115 |  129695   267965 |   77259   18390   318505    17.3 | 85.460 % |
c |     31255 |  128915   266118 |   84985   18995   341867    18.0 | 85.960 % |
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 |     31656 |  128862   265976 |   42954   19243   356629    18.5 | 85.960 % |
c |     31757 |  128852   265953 |   47249   19334   357478    18.5 | 85.991 % |
c |     31908 |  128625   265424 |   51974   19410   358845    18.5 | 86.124 % |
c |     32133 |  128621   265415 |   57171   19631   366122    18.7 | 86.126 % |
c |     32470 |  128460   265034 |   62888   19926   371010    18.6 | 86.229 % |
c |     32976 |  128043   264053 |   69177   20299   383381    18.9 | 86.492 % |
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 |     33171 |  128071   264130 |   42690   20407   390795    19.2 | 86.492 % |
c |     33271 |  128071   264130 |   46959   20507   391825    19.1 | 86.490 % |
c |     33422 |  127978   263913 |   51654   20467   395631    19.3 | 86.546 % |
c |     33647 |  127774   263436 |   56820   20364   390454    19.2 | 86.671 % |
c |     33984 |  127774   263436 |   62502   20701   402480    19.4 | 86.671 % |
c |     34493 |  127617   263069 |   68752   21066   444133    21.1 | 86.769 % |
c |     35252 |  127611   263055 |   75627   21808   471770    21.6 | 86.772 % |
c |     36391 |  127593   263013 |   83190   22941   512790    22.4 | 86.783 % |
c |     38100 |  127160   261995 |   91509   24351   583930    24.0 | 87.054 % |
c |     40662 |  126903   261389 |  100660   26560   670907    25.3 | 87.218 % |
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 |     41178 |  126863   261277 |   42287   26902   704525    26.2 | 87.218 % |
c |     41278 |  126863   261277 |   46515   27002   706500    26.2 | 87.233 % |
c |     41429 |  126859   261268 |   51167   27146   709542    26.1 | 87.235 % |
c |     41655 |  126859   261268 |   56283   27372   717990    26.2 | 87.235 % |
c |     41992 |  126859   261268 |   61912   27709   730232    26.4 | 87.235 % |
c |     42498 |  126859   261268 |   68103   28215   764257    27.1 | 87.235 % |
c |     43257 |  126853   261254 |   74914   28968   813315    28.1 | 87.238 % |
c |     44397 |  126354   260086 |   82405   29296   884461    30.2 | 87.543 % |
c |     46105 |  126354   260086 |   90645   31004  1197926    38.6 | 87.543 % |
c |     48668 |  125959   259157 |   99710   33227  1427574    43.0 | 87.789 % |
c |     52514 |  125747   258658 |  109681   36728  1885845    51.3 | 87.921 % |
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 |     55205 |  125822   258847 |   41940   39419  2217882    56.3 | 87.921 % |
c |     55305 |  125822   258847 |   46134   39519  2221400    56.2 | 87.910 % |
c |     55455 |  125498   258089 |   50747   39408  2220554    56.3 | 88.109 % |
c |     55680 |  125498   258089 |   55822   39633  2235279    56.4 | 88.109 % |
c |     56017 |  125494   258080 |   61404   39951  2250429    56.3 | 88.111 % |
c |     56524 |  125494   258080 |   67544   40458  2334924    57.7 | 88.111 % |
c |     57283 |  125305   257638 |   74299   40965  2364435    57.7 | 88.224 % |
c |     58422 |  125046   257024 |   81729   41547  2418074    58.2 | 88.394 % |
c |     60130 |  124956   256810 |   89902   43032  2682554    62.3 | 88.448 % |
c |     62692 |  124603   255979 |   98892   45244  2994581    66.2 | 88.675 % |
c |     66536 |  124531   255808 |  108781   48853  3368415    69.0 | 88.720 % |
c |     72302 |  124519   255780 |  119659   54573  4045809    74.1 | 88.727 % |
c |     80951 |  124479   255688 |  131625   63111  5631382    89.2 | 88.748 % |
c |     93926 |  124465   255654 |  144788   76041  7739750   101.8 | 88.759 % |
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 |    107462 |  124434   255565 |   41478   89221 11637986   130.4 | 88.759 % |
c |    107562 |  124434   255565 |   45625   89321 11652704   130.5 | 88.775 % |
c |    107712 |  124434   255565 |   50188   89471 11655042   130.3 | 88.775 % |
c |    107937 |  124434   255565 |   55207   89696 11684274   130.3 | 88.775 % |
c |    108274 |  124434   255565 |   60727   90033 11710382   130.1 | 88.775 % |
c |    108780 |  124434   255565 |   66800   90539 11754743   129.8 | 88.775 % |
c |    109539 |  124434   255565 |   73480   91298 11840937   129.7 | 88.775 % |
c |    110679 |  124434   255565 |   80828   92438 12016379   130.0 | 88.775 % |
c |    112389 |  124434   255565 |   88911   94148 12303564   130.7 | 88.775 % |
c |    114951 |  124424   255542 |   97802   96627 12692874   131.4 | 88.780 % |
c |    118796 |  124418   255528 |  107583  100464 13368497   133.1 | 88.784 % |
c |    124562 |  124418   255528 |  118341  106230 14649228   137.9 | 88.784 % |
c |    133212 |  124414   255519 |  130175  114876 16020503   139.5 | 88.785 % |
c |    146186 |  124414   255519 |  143193  127850 18788999   147.0 | 88.785 % |
c |    165647 |  124414   255519 |  157512  147311 21818177   148.1 | 88.785 % |
c |    194841 |  124414   255519 |  173263  176505 28178535   159.6 | 88.785 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.92 2/54 7349
Raw data (stat): 7349 (runsolver) R 7348 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 423630065 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0015 s]
Raw data (loadavg): 0.87 0.95 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6656 0 0 0 979 19 0 0 25 0 1 0 423630065 30277632 6634 4294967295 134512640 134672761 3221224560 3221223760 134561967 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7392 6634 603 41 0 7351 0
vsize: 29568
[startup+20.002 s]
Raw data (loadavg): 0.89 0.96 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6657 0 0 0 1978 19 0 0 25 0 1 0 423630065 30277632 6635 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6635 603 41 0 7351 0
vsize: 29568
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.96 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6657 0 0 0 2978 19 0 0 25 0 1 0 423630065 30277632 6635 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6635 603 41 0 7351 0
vsize: 29568
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.96 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6657 0 0 0 3978 19 0 0 25 0 1 0 423630065 30277632 6635 4294967295 134512640 134672761 3221224560 3221223732 134556646 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7392 6635 603 41 0 7351 0
vsize: 29568
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6657 0 0 0 4978 19 0 0 25 0 1 0 423630065 30277632 6635 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7392 6635 603 41 0 7351 0
vsize: 29568
[startup+60.0044 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6657 0 0 0 5978 19 0 0 25 0 1 0 423630065 30277632 6635 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7392 6635 603 41 0 7351 0
vsize: 29568
[startup+70.0052 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6657 0 0 0 6978 19 0 0 25 0 1 0 423630065 30277632 6635 4294967295 134512640 134672761 3221224560 3221223776 134561987 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7392 6635 603 41 0 7351 0
vsize: 29568
[startup+80.0056 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6657 0 0 0 7978 19 0 0 25 0 1 0 423630065 30277632 6635 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7392 6635 603 41 0 7351 0
vsize: 29568
[startup+90.0054 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6657 0 0 0 8979 20 0 0 25 0 1 0 423630065 30277632 6635 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7392 6635 603 41 0 7351 0
vsize: 29568
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6657 0 0 0 9979 20 0 0 25 0 1 0 423630065 30277632 6635 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7392 6635 603 41 0 7351 0
vsize: 29568
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6877 0 0 0 10978 20 0 0 25 0 1 0 423630065 31617024 6855 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7719 6855 603 41 0 7678 0
vsize: 30876
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6877 0 0 0 11978 20 0 0 25 0 1 0 423630065 31617024 6855 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7719 6855 603 41 0 7678 0
vsize: 30876
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6877 0 0 0 12979 20 0 0 25 0 1 0 423630065 31617024 6855 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7719 6855 603 41 0 7678 0
vsize: 30876
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 6877 0 0 0 13978 20 0 0 25 0 1 0 423630065 31617024 6855 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7719 6855 603 41 0 7678 0
vsize: 30876
[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 7024 0 0 0 14977 21 0 0 25 0 1 0 423630065 31916032 6939 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7792 6939 603 41 0 7751 0
vsize: 31168
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 7192 0 0 0 15977 21 0 0 25 0 1 0 423630065 32342016 7043 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7896 7043 603 41 0 7855 0
vsize: 31584
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 7456 0 0 0 16976 23 0 0 25 0 1 0 423630065 33423360 7307 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8160 7307 603 41 0 8119 0
vsize: 32640
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 8012 0 0 0 17975 24 0 0 25 0 1 0 423630065 35577856 7831 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8686 7831 603 41 0 8645 0
vsize: 34744
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 8558 0 0 0 18974 25 0 0 25 0 1 0 423630065 37990400 8377 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9275 8377 603 41 0 9234 0
vsize: 37100
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 9204 0 0 0 19972 27 0 0 25 0 1 0 423630065 40419328 8992 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9868 8992 603 41 0 9827 0
vsize: 39472
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 9448 0 0 0 20972 27 0 0 25 0 1 0 423630065 41496576 9236 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10131 9236 603 41 0 10090 0
vsize: 40524
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 9992 0 0 0 21971 28 0 0 25 0 1 0 423630065 43638784 9780 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10654 9780 603 41 0 10613 0
vsize: 42616
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 10517 0 0 0 22970 30 0 0 25 0 1 0 423630065 45780992 10305 4294967295 134512640 134672761 3221224560 3221223684 134566071 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11177 10305 603 41 0 11136 0
vsize: 44708
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 11006 0 0 0 23969 31 0 0 25 0 1 0 423630065 47804416 10794 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11671 10794 603 41 0 11630 0
vsize: 46684
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 11521 0 0 0 24967 33 0 0 25 0 1 0 423630065 49950720 11309 4294967295 134512640 134672761 3221224560 3221223664 134560326 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12195 11309 603 41 0 12154 0
vsize: 48780
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 12094 0 0 0 25965 35 0 0 25 0 1 0 423630065 52211712 11882 4294967295 134512640 134672761 3221224560 3221223744 134558761 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12747 11882 603 41 0 12706 0
vsize: 50988
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 12590 0 0 0 26963 37 0 0 25 0 1 0 423630065 54202368 12378 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13233 12378 603 41 0 13192 0
vsize: 52932
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 12990 0 0 0 27963 38 0 0 25 0 1 0 423630065 55934976 12778 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13656 12778 603 41 0 13615 0
vsize: 54624
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 13587 0 0 0 28962 39 0 0 25 0 1 0 423630065 58601472 13375 4294967295 134512640 134672761 3221224560 3221223712 134561249 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14307 13375 603 41 0 14266 0
vsize: 57228
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 14019 0 0 0 29960 41 0 0 25 0 1 0 423630065 60346368 13807 4294967295 134512640 134672761 3221224560 3221223664 134560022 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14733 13807 603 41 0 14692 0
vsize: 58932
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 14601 0 0 0 30958 43 0 0 25 0 1 0 423630065 62758912 14389 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15322 14389 603 41 0 15281 0
vsize: 61288
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 15081 0 0 0 31957 45 0 0 25 0 1 0 423630065 64614400 14869 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15775 14869 603 41 0 15734 0
vsize: 63100
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 15689 0 0 0 32955 46 0 0 25 0 1 0 423630065 67149824 15477 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16394 15477 603 41 0 16353 0
vsize: 65576
[startup+340.013 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 16315 0 0 0 33953 48 0 0 25 0 1 0 423630065 69689344 16103 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17014 16103 603 41 0 16973 0
vsize: 68056
[startup+350.013 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 16909 0 0 0 34952 50 0 0 25 0 1 0 423630065 72093696 16697 4294967295 134512640 134672761 3221224560 3221223664 134559851 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17601 16697 603 41 0 17560 0
vsize: 70404
[startup+360.014 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 17473 0 0 0 35950 52 0 0 25 0 1 0 423630065 74498048 17261 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18188 17261 603 41 0 18147 0
vsize: 72752
[startup+370.015 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 18012 0 0 0 36949 53 0 0 25 0 1 0 423630065 76640256 17800 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18711 17800 603 41 0 18670 0
vsize: 74844
[startup+380.014 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 18553 0 0 0 37948 54 0 0 25 0 1 0 423630065 78905344 18341 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19264 18341 603 41 0 19223 0
vsize: 77056
[startup+390.014 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 19089 0 0 0 38947 56 0 0 25 0 1 0 423630065 80838656 18845 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19736 18845 603 41 0 19695 0
vsize: 78944
[startup+400.014 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 19363 0 0 0 39946 56 0 0 25 0 1 0 423630065 82046976 19119 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20031 19119 603 41 0 19990 0
vsize: 80124
[startup+410.015 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 19756 0 0 0 40945 58 0 0 25 0 1 0 423630065 83644416 19512 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20421 19512 603 41 0 20380 0
vsize: 81684
[startup+420.015 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 20127 0 0 0 41945 58 0 0 25 0 1 0 423630065 85114880 19883 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20780 19883 603 41 0 20739 0
vsize: 83120
[startup+430.016 s]
Raw data (loadavg): 1.09 1.00 0.93 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 20468 0 0 0 42944 59 0 0 25 0 1 0 423630065 86573056 20224 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21136 20224 603 41 0 21095 0
vsize: 84544
[startup+440.016 s]
Raw data (loadavg): 1.15 1.02 0.94 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 20887 0 0 0 43943 61 0 0 25 0 1 0 423630065 88178688 20643 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21528 20643 603 41 0 21487 0
vsize: 86112
[startup+450.016 s]
Raw data (loadavg): 1.13 1.02 0.94 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 21274 0 0 0 44941 62 0 0 25 0 1 0 423630065 89784320 21030 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21920 21030 603 41 0 21879 0
vsize: 87680
[startup+460.016 s]
Raw data (loadavg): 1.11 1.02 0.94 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 21759 0 0 0 45940 64 0 0 25 0 1 0 423630065 91799552 21515 4294967295 134512640 134672761 3221224560 3221223744 134559572 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22412 21515 603 41 0 22371 0
vsize: 89648
[startup+470.016 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 22257 0 0 0 46939 65 0 0 25 0 1 0 423630065 93818880 22013 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22905 22013 603 41 0 22864 0
vsize: 91620
[startup+480.017 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 7349
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 22636 0 0 0 47938 66 0 0 25 0 1 0 423630065 95289344 22392 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23264 22392 603 41 0 23223 0
vsize: 93056
[startup+490.017 s]
Raw data (loadavg): 1.06 1.01 0.94 3/56 7371
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 23095 0 0 0 48936 68 0 0 25 0 1 0 423630065 97169408 22851 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23723 22851 603 41 0 23682 0
vsize: 94892
[startup+500.018 s]
Raw data (loadavg): 1.28 1.06 0.95 2/58 7392
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 23399 0 0 0 49935 70 0 0 25 0 1 0 423630065 98500608 23155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24048 23155 603 41 0 24007 0
vsize: 96192
[startup+510.018 s]
Raw data (loadavg): 1.24 1.06 0.95 2/54 7402
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 23695 0 0 0 50934 71 0 0 25 0 1 0 423630065 99696640 23451 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24340 23451 603 41 0 24299 0
vsize: 97360
[startup+520.019 s]
Raw data (loadavg): 1.20 1.06 0.95 2/54 7402
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 24051 0 0 0 51933 72 0 0 25 0 1 0 423630065 101167104 23807 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24699 23807 603 41 0 24658 0
vsize: 98796
[startup+530.019 s]
Raw data (loadavg): 1.17 1.06 0.95 2/54 7402
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 24422 0 0 0 52932 73 0 0 25 0 1 0 423630065 102637568 24178 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25058 24178 603 41 0 25017 0
vsize: 100232
[startup+540.021 s]
Raw data (loadavg): 1.14 1.05 0.95 2/54 7402
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 24806 0 0 0 53930 75 0 0 25 0 1 0 423630065 104239104 24562 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25449 24562 603 41 0 25408 0
vsize: 101796
[startup+550.021 s]
Raw data (loadavg): 1.12 1.05 0.95 2/54 7402
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 25187 0 0 0 54929 76 0 0 25 0 1 0 423630065 105701376 24943 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25806 24943 603 41 0 25765 0
vsize: 103224
[startup+560.021 s]
Raw data (loadavg): 1.10 1.05 0.95 2/54 7402
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 25535 0 0 0 55928 78 0 0 25 0 1 0 423630065 107155456 25291 4294967295 134512640 134672761 3221224560 3221223696 134560622 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26161 25291 603 41 0 26120 0
vsize: 104644
[startup+570.022 s]
Raw data (loadavg): 1.09 1.05 0.95 2/54 7402
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 25899 0 0 0 56927 79 0 0 25 0 1 0 423630065 108621824 25655 4294967295 134512640 134672761 3221224560 3221223664 134560226 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26519 25655 603 41 0 26478 0
vsize: 106076
[startup+580.021 s]
Raw data (loadavg): 1.07 1.05 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 26232 0 0 0 57926 80 0 0 25 0 1 0 423630065 110071808 25988 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26873 25988 603 41 0 26832 0
vsize: 107492
[startup+590.022 s]
Raw data (loadavg): 1.06 1.04 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 26563 0 0 0 58926 81 0 0 25 0 1 0 423630065 111407104 26319 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27199 26319 603 41 0 27158 0
vsize: 108796
[startup+600.022 s]
Raw data (loadavg): 1.05 1.04 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 26869 0 0 0 59925 82 0 0 25 0 1 0 423630065 112615424 26625 4294967295 134512640 134672761 3221224560 3221223712 134565213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27494 26625 603 41 0 27453 0
vsize: 109976
[startup+610.022 s]
Raw data (loadavg): 1.04 1.04 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 27172 0 0 0 60924 82 0 0 25 0 1 0 423630065 114343936 26928 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27916 26928 603 41 0 27875 0
vsize: 111664
[startup+620.023 s]
Raw data (loadavg): 1.04 1.04 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 27467 0 0 0 61924 83 0 0 25 0 1 0 423630065 115548160 27223 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28210 27223 603 41 0 28169 0
vsize: 112840
[startup+630.022 s]
Raw data (loadavg): 1.03 1.04 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 27724 0 0 0 62924 83 0 0 25 0 1 0 423630065 116617216 27480 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28471 27480 603 41 0 28430 0
vsize: 113884
[startup+640.023 s]
Raw data (loadavg): 1.02 1.03 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 27980 0 0 0 63923 84 0 0 25 0 1 0 423630065 117690368 27736 4294967295 134512640 134672761 3221224560 3221223664 134559887 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28733 27736 603 41 0 28692 0
vsize: 114932
[startup+650.024 s]
Raw data (loadavg): 1.02 1.03 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 28226 0 0 0 64923 85 0 0 25 0 1 0 423630065 118632448 27982 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28963 27982 603 41 0 28922 0
vsize: 115852
[startup+660.024 s]
Raw data (loadavg): 1.02 1.03 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 28508 0 0 0 65922 85 0 0 25 0 1 0 423630065 119840768 28264 4294967295 134512640 134672761 3221224560 3221223664 134560410 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29258 28264 603 41 0 29217 0
vsize: 117032
[startup+670.025 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 28814 0 0 0 66922 86 0 0 25 0 1 0 423630065 121040896 28570 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29551 28570 603 41 0 29510 0
vsize: 118204
[startup+680.025 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 29093 0 0 0 67921 87 0 0 25 0 1 0 423630065 122232832 28849 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29842 28849 603 41 0 29801 0
vsize: 119368
[startup+690.026 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 29427 0 0 0 68921 88 0 0 25 0 1 0 423630065 123559936 29183 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30166 29183 603 41 0 30125 0
vsize: 120664
[startup+700.026 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 29709 0 0 0 69920 89 0 0 25 0 1 0 423630065 124764160 29465 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30460 29465 603 41 0 30419 0
vsize: 121840
[startup+710.027 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 30009 0 0 0 70918 90 0 0 25 0 1 0 423630065 125972480 29765 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30755 29765 603 41 0 30714 0
vsize: 123020
[startup+720.028 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 30328 0 0 0 71917 91 0 0 25 0 1 0 423630065 127172608 30084 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31048 30084 603 41 0 31007 0
vsize: 124192
[startup+730.027 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 30667 0 0 0 72916 92 0 0 25 0 1 0 423630065 128643072 30423 4294967295 134512640 134672761 3221224560 3221223664 134560054 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31407 30423 603 41 0 31366 0
vsize: 125628
[startup+740.028 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 30982 0 0 0 73916 93 0 0 25 0 1 0 423630065 129851392 30738 4294967295 134512640 134672761 3221224560 3221223728 134561207 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31702 30738 603 41 0 31661 0
vsize: 126808
[startup+750.028 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 31311 0 0 0 74915 93 0 0 25 0 1 0 423630065 131305472 31067 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32057 31067 603 41 0 32016 0
vsize: 128228
[startup+760.028 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 31671 0 0 0 75914 94 0 0 25 0 1 0 423630065 132775936 31427 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32416 31427 603 41 0 32375 0
vsize: 129664
[startup+770.029 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 32047 0 0 0 76913 95 0 0 25 0 1 0 423630065 134250496 31803 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32776 31803 603 41 0 32735 0
vsize: 131104
[startup+780.029 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 32379 0 0 0 77913 96 0 0 25 0 1 0 423630065 135581696 32135 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33101 32135 603 41 0 33060 0
vsize: 132404
[startup+790.03 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 32706 0 0 0 78912 97 0 0 25 0 1 0 423630065 136908800 32462 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33425 32462 603 41 0 33384 0
vsize: 133700
[startup+800.03 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 33058 0 0 0 79912 98 0 0 25 0 1 0 423630065 138362880 32814 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33780 32814 603 41 0 33739 0
vsize: 135120
[startup+810.03 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 33427 0 0 0 80911 99 0 0 25 0 1 0 423630065 139821056 33183 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34136 33183 603 41 0 34095 0
vsize: 136544
[startup+820.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 7404
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 33798 0 0 0 81910 100 0 0 25 0 1 0 423630065 141410304 33554 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34524 33554 603 41 0 34483 0
vsize: 138096
[startup+830.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 34172 0 0 0 82909 101 0 0 25 0 1 0 423630065 142880768 33928 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34883 33928 603 41 0 34842 0
vsize: 139532
[startup+840.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 34531 0 0 0 83909 102 0 0 25 0 1 0 423630065 144359424 34287 4294967295 134512640 134672761 3221224560 3221223516 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35244 34287 603 41 0 35203 0
vsize: 140976
[startup+850.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 34889 0 0 0 84908 103 0 0 25 0 1 0 423630065 145829888 34645 4294967295 134512640 134672761 3221224560 3221223664 134559925 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35603 34645 603 41 0 35562 0
vsize: 142412
[startup+860.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 35259 0 0 0 85906 104 0 0 25 0 1 0 423630065 147423232 35015 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35992 35015 603 41 0 35951 0
vsize: 143968
[startup+870.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 35588 0 0 0 86905 106 0 0 25 0 1 0 423630065 148746240 35344 4294967295 134512640 134672761 3221224560 3221223744 134558671 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36315 35344 603 41 0 36274 0
vsize: 145260
[startup+880.033 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 35922 0 0 0 87904 107 0 0 25 0 1 0 423630065 150081536 35678 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36641 35678 603 41 0 36600 0
vsize: 146564
[startup+890.034 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 36242 0 0 0 88903 108 0 0 25 0 1 0 423630065 151416832 35998 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36967 35998 603 41 0 36926 0
vsize: 147868
[startup+900.035 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 36474 0 0 0 89901 109 0 0 25 0 1 0 423630065 152350720 36230 4294967295 134512640 134672761 3221224560 3221223728 134561256 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37195 36230 603 41 0 37154 0
vsize: 148780
[startup+910.035 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 36726 0 0 0 90901 110 0 0 25 0 1 0 423630065 153280512 36482 4294967295 134512640 134672761 3221224560 3221223728 134560842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37422 36482 603 41 0 37381 0
vsize: 149688
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 36984 0 0 0 91900 111 0 0 25 0 1 0 423630065 154337280 36740 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37680 36740 603 41 0 37639 0
vsize: 150720
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 37290 0 0 0 92900 111 0 0 25 0 1 0 423630065 155676672 37046 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38007 37046 603 41 0 37966 0
vsize: 152028
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 37547 0 0 0 93899 112 0 0 25 0 1 0 423630065 156618752 37303 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38237 37303 603 41 0 38196 0
vsize: 152948
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 37777 0 0 0 94898 113 0 0 25 0 1 0 423630065 157687808 37533 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38498 37533 603 41 0 38457 0
vsize: 153992
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 38010 0 0 0 95898 114 0 0 25 0 1 0 423630065 158633984 37766 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38729 37766 603 41 0 38688 0
vsize: 154916
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 38183 0 0 0 96898 114 0 0 25 0 1 0 423630065 159305728 37939 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38893 37939 603 41 0 38852 0
vsize: 155572
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 38415 0 0 0 97898 115 0 0 25 0 1 0 423630065 160235520 38171 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39120 38171 603 41 0 39079 0
vsize: 156480
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 38658 0 0 0 98897 115 0 0 25 0 1 0 423630065 161169408 38414 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39348 38414 603 41 0 39307 0
vsize: 157392
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 38893 0 0 0 99897 116 0 0 25 0 1 0 423630065 162230272 38649 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39607 38649 603 41 0 39566 0
vsize: 158428
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 39143 0 0 0 100897 116 0 0 25 0 1 0 423630065 163176448 38899 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39838 38899 603 41 0 39797 0
vsize: 159352
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 39420 0 0 0 101896 117 0 0 25 0 1 0 423630065 164376576 39176 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40131 39176 603 41 0 40090 0
vsize: 160524
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 39661 0 0 0 102896 117 0 0 25 0 1 0 423630065 165318656 39417 4294967295 134512640 134672761 3221224560 3221223696 134560706 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40361 39417 603 41 0 40320 0
vsize: 161444
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 39881 0 0 0 103895 118 0 0 25 0 1 0 423630065 166252544 39637 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40589 39637 603 41 0 40548 0
vsize: 162356
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 40114 0 0 0 104895 118 0 0 25 0 1 0 423630065 167194624 39870 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40819 39870 603 41 0 40778 0
vsize: 163276
[startup+1060.04 s]
Raw data (loadavg): 1.07 1.02 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 40338 0 0 0 105894 119 0 0 25 0 1 0 423630065 168001536 40094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41016 40094 603 41 0 40975 0
vsize: 164064
[startup+1070.04 s]
Raw data (loadavg): 1.06 1.01 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 40569 0 0 0 106894 120 0 0 25 0 1 0 423630065 169066496 40325 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41276 40325 603 41 0 41235 0
vsize: 165104
[startup+1080.04 s]
Raw data (loadavg): 1.05 1.01 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 40799 0 0 0 107894 120 0 0 25 0 1 0 423630065 170000384 40555 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41504 40555 603 41 0 41463 0
vsize: 166016
[startup+1090.04 s]
Raw data (loadavg): 1.04 1.01 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 41048 0 0 0 108894 121 0 0 25 0 1 0 423630065 170938368 40804 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41733 40804 603 41 0 41692 0
vsize: 166932
[startup+1100.04 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 41284 0 0 0 109893 122 0 0 25 0 1 0 423630065 171868160 41040 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41960 41040 603 41 0 41919 0
vsize: 167840
[startup+1110.04 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 41527 0 0 0 110892 123 0 0 25 0 1 0 423630065 172924928 41283 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42218 41283 603 41 0 42177 0
vsize: 168872
[startup+1120.04 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 41773 0 0 0 111892 123 0 0 25 0 1 0 423630065 173854720 41529 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42445 41529 603 41 0 42404 0
vsize: 169780
[startup+1130.04 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 42033 0 0 0 112891 124 0 0 25 0 1 0 423630065 174919680 41789 4294967295 134512640 134672761 3221224560 3221223664 134560326 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42705 41789 603 41 0 42664 0
vsize: 170820
[startup+1140.04 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 42269 0 0 0 113891 125 0 0 25 0 1 0 423630065 175976448 42025 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42963 42025 603 41 0 42922 0
vsize: 171852
[startup+1150.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 42533 0 0 0 114890 125 0 0 25 0 1 0 423630065 177045504 42289 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43224 42289 603 41 0 43183 0
vsize: 172896
[startup+1160.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 42775 0 0 0 115890 126 0 0 25 0 1 0 423630065 177975296 42531 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43451 42531 603 41 0 43410 0
vsize: 173804
[startup+1170.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 43000 0 0 0 116889 127 0 0 25 0 1 0 423630065 178905088 42756 4294967295 134512640 134672761 3221224560 3221223744 134558883 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43678 42756 603 41 0 43637 0
vsize: 174712
[startup+1180.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 43194 0 0 0 117889 127 0 0 25 0 1 0 423630065 179703808 42950 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43873 42950 603 41 0 43832 0
vsize: 175492
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 43388 0 0 0 118889 128 0 0 25 0 1 0 423630065 180490240 43144 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44065 43144 603 41 0 44024 0
vsize: 176260
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7406
Raw data (stat): 7349 (minisat+) R 7348 32461 32460 0 -1 0 43595 0 0 0 119888 129 0 0 25 0 1 0 423630065 181284864 43351 4294967295 134512640 134672761 3221224560 3221223664 134560059 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44259 43351 603 41 0 44218 0
vsize: 177036
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 7406
Raw data (stat): 7349 (minisat+) Z 7348 32461 32460 0 -1 12 43598 0 0 0 119888 137 0 0 25 0 1 0 423630065 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.13
CPU time (s): 1200.26
CPU user time (s): 1198.89
CPU system time (s): 1.37379
CPU usage (%): 100.011
Max. virtual memory (Kb): 177036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####