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/frb59-26-opb/normalized-frb59-26-3.opb
MD5SUM	b95391b071a3986ad670119101f16613
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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.13
Number of variables	1534
Total number of constraints	126082
Number of constraints which are clauses	126082
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 5272

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        892472 kB
Buffers:         34300 kB
Cached:          64448 kB
SwapCached:        192 kB
Active:          51536 kB
Inactive:        50300 kB
HighTotal:      131008 kB
HighFree:        62692 kB
LowTotal:       903652 kB
LowFree:        829780 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6908 kB
Slab:            34704 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 23:30:00 (client local time) WITH STATUS 10 IN 1200.24 SECONDS
stats: 3735 7 1200.24 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 126082 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 |  126082   252164 |   42027       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 3034   maxlim: 43   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  147074   327188 |   49024       0        0     nan |  0.000 % |
c |       100 |  147056   327126 |   53926      94      927     9.9 |  0.111 % |
c |       250 |  147056   327126 |   59319     244     2387     9.8 |  0.110 % |
c |       475 |  147047   327095 |   65250     466     4381     9.4 |  0.132 % |
c |       812 |  147038   327064 |   71776     801     7660     9.6 |  0.154 % |
c |      1318 |  146978   326858 |   78953    1291    13634    10.6 |  0.308 % |
c |      2077 |  146951   326765 |   86849    2043    22885    11.2 |  0.374 % |
c |      3216 |  146873   326497 |   95533    3150    36562    11.6 |  0.572 % |
c |      4924 |  146522   325294 |  105087    4774    56143    11.8 |  1.497 % |
c |      7487 |  145874   323066 |  115596    7159    89137    12.5 |  3.298 % |
c |     11331 |  145021   320133 |  127155   10766   155716    14.5 |  5.981 % |
c |     17097 |  143657   315451 |  139871   16087   298360    18.5 | 10.444 % |
c |     25746 |  141744   308846 |  153858   24113   555739    23.0 | 17.526 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 44   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     32980 |  141287   307262 |   47095   31010  1097118    35.4 | 17.526 % |
c |     33081 |  141287   307262 |   51804   31111  1102508    35.4 | 19.358 % |
c |     33231 |  141287   307262 |   56984   31261  1112305    35.6 | 19.358 % |
c |     33456 |  141217   307022 |   62683   31459  1126657    35.8 | 19.602 % |
c |     33793 |  141131   306720 |   68951   31766  1138346    35.8 | 19.952 % |
c |     34301 |  141088   306571 |   75846   32162  1160153    36.1 | 20.106 % |
c |     35060 |  141079   306540 |   83431   32852  1206116    36.7 | 20.127 % |
c |     36200 |  140861   305788 |   91774   33810  1279126    37.8 | 21.006 % |
c |     37909 |  140685   305178 |  100952   35425  1349473    38.1 | 21.753 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 45   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     38528 |  140678   305157 |   46892   36040  1424360    39.5 | 21.753 % |
c |     38628 |  140678   305157 |   51581   36140  1428096    39.5 | 21.816 % |
c |     38778 |  140678   305157 |   56739   36290  1434354    39.5 | 21.815 % |
c |     39005 |  140640   305023 |   62413   36505  1439097    39.4 | 21.992 % |
c |     39342 |  140551   304712 |   68654   36765  1451870    39.5 | 22.364 % |
c |     39848 |  140406   304205 |   75520   37199  1476257    39.7 | 23.023 % |
c |     40608 |  140406   304205 |   83072   37959  1527751    40.2 | 23.023 % |
c |     41747 |  140239   303632 |   91379   38969  1578099    40.5 | 23.748 % |
c |     43455 |  140160   303357 |  100517   40589  1667764    41.1 | 24.055 % |
c |     46017 |  140134   303267 |  110568   43033  1855298    43.1 | 24.145 % |
c |     49861 |  139989   302764 |  121625   46621  2101159    45.1 | 24.694 % |
c |     55627 |  139864   302325 |  133788   52296  2472532    47.3 | 25.198 % |
c |     64276 |  139786   302051 |  147167   60888  3690026    60.6 | 25.550 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 48   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     67669 |  139772   302009 |   46590   64272  4047404    63.0 | 25.550 % |
c |     67769 |  139772   302009 |   51249   19252  1637192    85.0 | 25.649 % |
c |     67919 |  139736   301883 |   56373   19396  1641233    84.6 | 25.803 % |
c |     68144 |  139709   301790 |   62011   19613  1651918    84.2 | 25.867 % |
c |     68481 |  139701   301762 |   68212   19945  1661068    83.3 | 25.912 % |
c |     68987 |  139639   301546 |   75033   20429  1675250    82.0 | 26.154 % |
c |     69748 |  139639   301546 |   82537   21190  1744155    82.3 | 26.154 % |
c |     70887 |  139630   301515 |   90790   22326  1824908    81.7 | 26.176 % |
c |     72595 |  139597   301402 |   99869   24005  1923104    80.1 | 26.263 % |
c |     75157 |  139509   301094 |  109856   26503  2061999    77.8 | 26.570 % |
c |     79001 |  139457   300916 |  120842   30310  2577826    85.0 | 26.724 % |
c |     84767 |  139365   300598 |  132926   36022  3001452    83.3 | 27.054 % |
c |     93416 |  139289   300336 |  146219   44635  4063738    91.0 | 27.295 % |
c |    106390 |  139155   299874 |  160841   57478  5901688   102.7 | 27.735 % |
c |    125851 |  139143   299834 |  176925   76918  8809531   114.5 | 27.778 % |
c |    155043 |  139023   299420 |  194617  106044 13738371   129.6 | 28.305 % |
c |    198832 |  138924   299077 |  214079  149677 21379274   142.8 | 28.612 % |
c |    264516 |  138871   298894 |  235487  215323 34488117   160.2 | 28.811 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 -C1460 -C1459 C1458 -C1457 -C1456 -C1455 -C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 -C1433 -C1432 C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -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 -#### 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.97 0.91 2/54 6489
Raw data (stat): 6489 (runsolver) R 6488 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 479800241 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+9.99977 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 5893 0 0 0 981 17 0 0 25 0 1 0 479800241 26083328 5871 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6368 5871 603 41 0 6327 0
vsize: 25472
[startup+19.9999 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 5893 0 0 0 1980 17 0 0 25 0 1 0 479800241 26083328 5871 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6368 5871 603 41 0 6327 0
vsize: 25472
[startup+29.9999 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 5893 0 0 0 2980 17 0 0 25 0 1 0 479800241 26083328 5871 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6368 5871 603 41 0 6327 0
vsize: 25472
[startup+40.0006 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 5893 0 0 0 3979 17 0 0 25 0 1 0 479800241 26083328 5871 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6368 5871 603 41 0 6327 0
vsize: 25472
[startup+50.0008 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 5893 0 0 0 4979 17 0 0 25 0 1 0 479800241 26083328 5871 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6368 5871 603 41 0 6327 0
vsize: 25472
[startup+60.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 5893 0 0 0 5980 17 0 0 25 0 1 0 479800241 26083328 5871 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6368 5871 603 41 0 6327 0
vsize: 25472
[startup+70.0026 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 5893 0 0 0 6980 17 0 0 25 0 1 0 479800241 26083328 5871 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6368 5871 603 41 0 6327 0
vsize: 25472
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 5893 0 0 0 7980 17 0 0 25 0 1 0 479800241 26083328 5871 4294967295 134512640 134672761 3221224560 3221223696 134560661 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6368 5871 603 41 0 6327 0
vsize: 25472
[startup+90.0037 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 5893 0 0 0 8980 18 0 0 25 0 1 0 479800241 26083328 5871 4294967295 134512640 134672761 3221224560 3221223732 134556639 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6368 5871 603 41 0 6327 0
vsize: 25472
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 5893 0 0 0 9980 18 0 0 25 0 1 0 479800241 26083328 5871 4294967295 134512640 134672761 3221224560 3221223728 134561391 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6368 5871 603 41 0 6327 0
vsize: 25472
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 6276 0 0 0 10979 18 0 0 25 0 1 0 479800241 27705344 6254 4294967295 134512640 134672761 3221224560 3221223776 134561993 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6764 6254 603 41 0 6723 0
vsize: 27056
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 6859 0 0 0 11977 21 0 0 25 0 1 0 479800241 30126080 6837 4294967295 134512640 134672761 3221224560 3221223664 134560326 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7354 6837 603 41 0 7313 0
vsize: 29420
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 7054 0 0 0 12976 22 0 0 25 0 1 0 479800241 30797824 7032 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7519 7032 603 41 0 7478 0
vsize: 30076
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 7054 0 0 0 13976 22 0 0 25 0 1 0 479800241 30797824 7032 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7519 7032 603 41 0 7478 0
vsize: 30076
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 7054 0 0 0 14977 22 0 0 25 0 1 0 479800241 30797824 7032 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7519 7032 603 41 0 7478 0
vsize: 30076
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 7054 0 0 0 15977 22 0 0 25 0 1 0 479800241 30797824 7032 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7519 7032 603 41 0 7478 0
vsize: 30076
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 7657 0 0 0 16975 23 0 0 25 0 1 0 479800241 33357824 7635 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8144 7635 603 41 0 8103 0
vsize: 32576
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 8403 0 0 0 17974 25 0 0 25 0 1 0 479800241 36433920 8381 4294967295 134512640 134672761 3221224560 3221223664 134560402 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8895 8381 603 41 0 8854 0
vsize: 35580
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 8877 0 0 0 18972 27 0 0 25 0 1 0 479800241 38322176 8855 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9356 8855 603 41 0 9315 0
vsize: 37424
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 9467 0 0 0 19970 29 0 0 25 0 1 0 479800241 40742912 9445 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9947 9445 603 41 0 9906 0
vsize: 39788
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 10223 0 0 0 20968 31 0 0 25 0 1 0 479800241 43810816 10201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10696 10201 603 41 0 10655 0
vsize: 42784
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 10676 0 0 0 21967 32 0 0 25 0 1 0 479800241 45948928 10654 4294967295 134512640 134672761 3221224560 3221223516 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11218 10654 603 41 0 11177 0
vsize: 44872
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 11265 0 0 0 22964 35 0 0 25 0 1 0 479800241 48365568 11243 4294967295 134512640 134672761 3221224560 3221223728 134561382 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11808 11243 603 41 0 11767 0
vsize: 47232
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 11905 0 0 0 23962 37 0 0 25 0 1 0 479800241 50917376 11883 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12431 11883 603 41 0 12390 0
vsize: 49724
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 12287 0 0 0 24961 39 0 0 25 0 1 0 479800241 52527104 12265 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12824 12265 603 41 0 12783 0
vsize: 51296
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 12642 0 0 0 25959 41 0 0 25 0 1 0 479800241 53874688 12620 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13153 12620 603 41 0 13112 0
vsize: 52612
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 13007 0 0 0 26958 42 0 0 25 0 1 0 479800241 55480320 12985 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13545 12985 603 41 0 13504 0
vsize: 54180
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 13334 0 0 0 27958 43 0 0 25 0 1 0 479800241 56696832 13312 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13842 13313 603 41 0 13801 0
vsize: 55368
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 13809 0 0 0 28956 44 0 0 25 0 1 0 479800241 58695680 13787 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14330 13787 603 41 0 14289 0
vsize: 57320
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 14322 0 0 0 29955 45 0 0 25 0 1 0 479800241 60706816 14300 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14821 14300 603 41 0 14780 0
vsize: 59284
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 14878 0 0 0 30954 47 0 0 25 0 1 0 479800241 63111168 14856 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15408 14856 603 41 0 15367 0
vsize: 61632
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 15412 0 0 0 31953 48 0 0 25 0 1 0 479800241 65249280 15390 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15930 15390 603 41 0 15889 0
vsize: 63720
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 15895 0 0 0 32952 50 0 0 25 0 1 0 479800241 67235840 15873 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16415 15873 603 41 0 16374 0
vsize: 65660
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 16398 0 0 0 33950 51 0 0 25 0 1 0 479800241 69238784 16376 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16904 16376 603 41 0 16863 0
vsize: 67616
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 16895 0 0 0 34949 53 0 0 25 0 1 0 479800241 71249920 16873 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17395 16874 603 41 0 17354 0
vsize: 69580
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 17273 0 0 0 35948 54 0 0 25 0 1 0 479800241 72851456 17251 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17786 17251 603 41 0 17745 0
vsize: 71144
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 17552 0 0 0 36947 55 0 0 25 0 1 0 479800241 73924608 17530 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18048 17530 603 41 0 18007 0
vsize: 72192
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 17969 0 0 0 37946 56 0 0 25 0 1 0 479800241 75673600 17947 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18475 17947 603 41 0 18434 0
vsize: 73900
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 18488 0 0 0 38945 58 0 0 25 0 1 0 479800241 77819904 18466 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18999 18466 603 41 0 18958 0
vsize: 75996
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 18832 0 0 0 39944 59 0 0 25 0 1 0 479800241 79163392 18810 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19327 18810 603 41 0 19286 0
vsize: 77308
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 19367 0 0 0 40943 60 0 0 25 0 1 0 479800241 81309696 19345 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19851 19345 603 41 0 19810 0
vsize: 79404
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 19826 0 0 0 41942 62 0 0 25 0 1 0 479800241 83173376 19804 4294967295 134512640 134672761 3221224560 3221223664 134560381 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20306 19804 603 41 0 20265 0
vsize: 81224
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 20303 0 0 0 42940 63 0 0 25 0 1 0 479800241 85172224 20281 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20794 20281 603 41 0 20753 0
vsize: 83176
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 20746 0 0 0 43940 64 0 0 25 0 1 0 479800241 87052288 20724 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21253 20724 603 41 0 21212 0
vsize: 85012
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 21054 0 0 0 44939 65 0 0 25 0 1 0 479800241 88268800 21032 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21550 21032 603 41 0 21509 0
vsize: 86200
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 21460 0 0 0 45938 66 0 0 25 0 1 0 479800241 89870336 21438 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21941 21438 603 41 0 21900 0
vsize: 87764
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 21915 0 0 0 46937 67 0 0 25 0 1 0 479800241 92266496 21893 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22526 21893 603 41 0 22485 0
vsize: 90104
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 22455 0 0 0 47936 69 0 0 25 0 1 0 479800241 94420992 22433 4294967295 134512640 134672761 3221224560 3221223728 134560909 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23052 22433 603 41 0 23011 0
vsize: 92208
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 22817 0 0 0 48935 70 0 0 25 0 1 0 479800241 95903744 22795 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23414 22795 603 41 0 23373 0
vsize: 93656
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 23153 0 0 0 49934 71 0 0 25 0 1 0 479800241 97386496 23131 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23776 23131 603 41 0 23735 0
vsize: 95104
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 23565 0 0 0 50933 72 0 0 25 0 1 0 479800241 98992128 23543 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24168 23543 603 41 0 24127 0
vsize: 96672
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 23990 0 0 0 51933 73 0 0 25 0 1 0 479800241 100741120 23968 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24595 23968 603 41 0 24554 0
vsize: 98380
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 24345 0 0 0 52931 74 0 0 25 0 1 0 479800241 102215680 24323 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24955 24323 603 41 0 24914 0
vsize: 99820
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 24619 0 0 0 53931 74 0 0 25 0 1 0 479800241 103292928 24597 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25218 24597 603 41 0 25177 0
vsize: 100872
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 24844 0 0 0 54931 75 0 0 25 0 1 0 479800241 104239104 24822 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25449 24822 603 41 0 25408 0
vsize: 101796
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 25108 0 0 0 55930 76 0 0 25 0 1 0 479800241 105316352 25086 4294967295 134512640 134672761 3221224560 3221223728 134560979 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25712 25086 603 41 0 25671 0
vsize: 102848
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 25265 0 0 0 56929 76 0 0 25 0 1 0 479800241 105992192 25243 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25877 25243 603 41 0 25836 0
vsize: 103508
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 25540 0 0 0 57927 78 0 0 25 0 1 0 479800241 107073536 25518 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26141 25518 603 41 0 26100 0
vsize: 104564
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 25771 0 0 0 58926 79 0 0 25 0 1 0 479800241 108019712 25749 4294967295 134512640 134672761 3221224560 3221223732 134556680 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26372 25749 603 41 0 26331 0
vsize: 105488
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 25990 0 0 0 59926 79 0 0 25 0 1 0 479800241 108974080 25968 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26605 25968 603 41 0 26564 0
vsize: 106420
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 26217 0 0 0 60925 80 0 0 25 0 1 0 479800241 109780992 26195 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26802 26195 603 41 0 26761 0
vsize: 107208
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 26414 0 0 0 61925 80 0 0 25 0 1 0 479800241 110592000 26392 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27000 26392 603 41 0 26959 0
vsize: 108000
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 26657 0 0 0 62924 82 0 0 25 0 1 0 479800241 111665152 26635 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27262 26635 603 41 0 27221 0
vsize: 109048
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 26996 0 0 0 63923 82 0 0 25 0 1 0 479800241 112996352 26974 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27587 26974 603 41 0 27546 0
vsize: 110348
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 27183 0 0 0 64923 83 0 0 25 0 1 0 479800241 113799168 27161 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27783 27161 603 41 0 27742 0
vsize: 111132
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 27425 0 0 0 65922 84 0 0 25 0 1 0 479800241 114745344 27403 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28014 27403 603 41 0 27973 0
vsize: 112056
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 27812 0 0 0 66920 86 0 0 25 0 1 0 479800241 116359168 27790 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28408 27790 603 41 0 28367 0
vsize: 113632
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 28234 0 0 0 67919 87 0 0 25 0 1 0 479800241 118104064 28212 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28834 28212 603 41 0 28793 0
vsize: 115336
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 28643 0 0 0 68918 88 0 0 25 0 1 0 479800241 119709696 28621 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29226 28621 603 41 0 29185 0
vsize: 116904
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 29007 0 0 0 69917 89 0 0 25 0 1 0 479800241 121176064 28985 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29584 28985 603 41 0 29543 0
vsize: 118336
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 29385 0 0 0 70917 90 0 0 25 0 1 0 479800241 122781696 29363 4294967295 134512640 134672761 3221224560 3221223744 134559045 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29976 29363 603 41 0 29935 0
vsize: 119904
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 29795 0 0 0 71915 92 0 0 25 0 1 0 479800241 124391424 29773 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30369 29773 603 41 0 30328 0
vsize: 121476
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 30221 0 0 0 72914 93 0 0 25 0 1 0 479800241 126115840 30199 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30790 30199 603 41 0 30749 0
vsize: 123160
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 30635 0 0 0 73913 94 0 0 25 0 1 0 479800241 127881216 30613 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31221 30613 603 41 0 31180 0
vsize: 124884
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 31069 0 0 0 74913 95 0 0 25 0 1 0 479800241 129622016 31047 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31646 31047 603 41 0 31605 0
vsize: 126584
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 31483 0 0 0 75912 96 0 0 25 0 1 0 479800241 131362816 31461 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32071 31461 603 41 0 32030 0
vsize: 128284
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 31802 0 0 0 76911 97 0 0 25 0 1 0 479800241 132722688 31780 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32403 31780 603 41 0 32362 0
vsize: 129612
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 32153 0 0 0 77911 97 0 0 25 0 1 0 479800241 134066176 32131 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32731 32131 603 41 0 32690 0
vsize: 130924
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 32476 0 0 0 78910 99 0 0 25 0 1 0 479800241 135389184 32454 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33054 32454 603 41 0 33013 0
vsize: 132216
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 32777 0 0 0 79909 100 0 0 25 0 1 0 479800241 136597504 32755 4294967295 134512640 134672761 3221224560 3221223744 134558662 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33349 32755 603 41 0 33308 0
vsize: 133396
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 33085 0 0 0 80908 100 0 0 25 0 1 0 479800241 137920512 33063 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33672 33063 603 41 0 33631 0
vsize: 134688
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 33360 0 0 0 81908 101 0 0 25 0 1 0 479800241 138989568 33338 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33933 33338 603 41 0 33892 0
vsize: 135732
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 33592 0 0 0 82908 101 0 0 25 0 1 0 479800241 139927552 33570 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34162 33570 603 41 0 34121 0
vsize: 136648
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 33864 0 0 0 83907 102 0 0 25 0 1 0 479800241 141127680 33842 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34455 33842 603 41 0 34414 0
vsize: 137820
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 34188 0 0 0 84907 103 0 0 25 0 1 0 479800241 142336000 34166 4294967295 134512640 134672761 3221224560 3221223744 134558761 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34750 34166 603 41 0 34709 0
vsize: 139000
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 34480 0 0 0 85906 104 0 0 25 0 1 0 479800241 143544320 34458 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35045 34458 603 41 0 35004 0
vsize: 140180
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 34794 0 0 0 86905 105 0 0 25 0 1 0 479800241 144875520 34772 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35370 34772 603 41 0 35329 0
vsize: 141480
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 35021 0 0 0 87905 105 0 0 25 0 1 0 479800241 145813504 34999 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35599 34999 603 41 0 35558 0
vsize: 142396
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 35229 0 0 0 88904 106 0 0 25 0 1 0 479800241 146616320 35207 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35795 35207 603 41 0 35754 0
vsize: 143180
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 35533 0 0 0 89903 107 0 0 25 0 1 0 479800241 147832832 35511 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36092 35511 603 41 0 36051 0
vsize: 144368
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 35779 0 0 0 90903 108 0 0 25 0 1 0 479800241 148905984 35757 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36354 35757 603 41 0 36313 0
vsize: 145416
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 36051 0 0 0 91903 108 0 0 25 0 1 0 479800241 149983232 36029 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36617 36029 603 41 0 36576 0
vsize: 146468
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 36398 0 0 0 92902 109 0 0 25 0 1 0 479800241 151461888 36376 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36978 36376 603 41 0 36937 0
vsize: 147912
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 36678 0 0 0 93901 110 0 0 25 0 1 0 479800241 152539136 36656 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37241 36656 603 41 0 37200 0
vsize: 148964
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 36891 0 0 0 94900 111 0 0 25 0 1 0 479800241 153358336 36869 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37441 36869 603 41 0 37400 0
vsize: 149764
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 37074 0 0 0 95900 111 0 0 25 0 1 0 479800241 154177536 37052 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37641 37052 603 41 0 37600 0
vsize: 150564
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 37327 0 0 0 96900 112 0 0 25 0 1 0 479800241 155254784 37305 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37904 37305 603 41 0 37863 0
vsize: 151616
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 37612 0 0 0 97899 113 0 0 25 0 1 0 479800241 156323840 37590 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38165 37590 603 41 0 38124 0
vsize: 152660
[startup+990.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 37905 0 0 0 98898 114 0 0 25 0 1 0 479800241 157536256 37883 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38461 37883 603 41 0 38420 0
vsize: 153844
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 38207 0 0 0 99898 115 0 0 25 0 1 0 479800241 158732288 38185 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38753 38185 603 41 0 38712 0
vsize: 155012
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 38462 0 0 0 100896 116 0 0 25 0 1 0 479800241 159809536 38440 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39016 38440 603 41 0 38975 0
vsize: 156064
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 38690 0 0 0 101896 116 0 0 25 0 1 0 479800241 160755712 38668 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39247 38668 603 41 0 39206 0
vsize: 156988
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 38875 0 0 0 102896 117 0 0 25 0 1 0 479800241 161583104 38853 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39449 38853 603 41 0 39408 0
vsize: 157796
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 39048 0 0 0 103896 117 0 0 25 0 1 0 479800241 162254848 39026 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39613 39026 603 41 0 39572 0
vsize: 158452
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 39254 0 0 0 104895 117 0 0 25 0 1 0 479800241 163061760 39232 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39810 39232 603 41 0 39769 0
vsize: 159240
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 39438 0 0 0 105895 118 0 0 25 0 1 0 479800241 163868672 39416 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40007 39416 603 41 0 39966 0
vsize: 160028
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 39612 0 0 0 106895 118 0 0 25 0 1 0 479800241 164540416 39590 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40171 39590 603 41 0 40130 0
vsize: 160684
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 39819 0 0 0 107895 118 0 0 25 0 1 0 479800241 165343232 39797 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40367 39797 603 41 0 40326 0
vsize: 161468
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 40010 0 0 0 108894 119 0 0 25 0 1 0 479800241 166146048 39988 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40563 39988 603 41 0 40522 0
vsize: 162252
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 40175 0 0 0 109894 119 0 0 25 0 1 0 479800241 166821888 40153 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40728 40153 603 41 0 40687 0
vsize: 162912
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 40317 0 0 0 110894 119 0 0 25 0 1 0 479800241 167358464 40295 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40859 40295 603 41 0 40818 0
vsize: 163436
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 40457 0 0 0 111894 120 0 0 25 0 1 0 479800241 168022016 40435 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41021 40435 603 41 0 40980 0
vsize: 164084
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 40636 0 0 0 112894 120 0 0 25 0 1 0 479800241 168693760 40614 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41185 40614 603 41 0 41144 0
vsize: 164740
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 40842 0 0 0 113893 121 0 0 25 0 1 0 479800241 169500672 40820 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41382 40820 603 41 0 41341 0
vsize: 165528
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 41054 0 0 0 114892 122 0 0 25 0 1 0 479800241 170418176 41032 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41606 41032 603 41 0 41565 0
vsize: 166424
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 41264 0 0 0 115891 123 0 0 25 0 1 0 479800241 171220992 41242 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41802 41242 603 41 0 41761 0
vsize: 167208
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 41463 0 0 0 116891 124 0 0 25 0 1 0 479800241 172158976 41441 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42031 41441 603 41 0 41990 0
vsize: 168124
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 41613 0 0 0 117891 124 0 0 25 0 1 0 479800241 172691456 41591 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42161 41591 603 41 0 42120 0
vsize: 168644
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 41810 0 0 0 118890 124 0 0 25 0 1 0 479800241 173490176 41788 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42356 41788 603 41 0 42315 0
vsize: 169424
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6489
Raw data (stat): 6489 (minisat+) R 6488 3260 3259 0 -1 0 42004 0 0 0 119890 125 0 0 25 0 1 0 479800241 174301184 41982 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42554 41982 603 41 0 42513 0
vsize: 170216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6489
Raw data (stat): 6489 (minisat+) Z 6488 3260 3259 0 -1 12 42007 0 0 0 119890 133 0 0 25 0 1 0 479800241 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.1
CPU time (s): 1200.24
CPU user time (s): 1198.91
CPU system time (s): 1.3338
CPU usage (%): 100.012
Max. virtual memory (Kb): 170216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####