PB'05 competition: run trace

Some explanations

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        819000 kB
Buffers:         36404 kB
Cached:         141132 kB
SwapCached:         12 kB
Active:          55896 kB
Inactive:       124540 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        818748 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            29492 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 01:29:55 (client local time) WITH STATUS 10 IN 1209.23 SECONDS
stats: 4106 7 1209.23 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109379 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  109379   218758 |   32813       0        0     nan |  0.000 % |
c   -- subsuming                       
c |         0 |  109379   218758 |   43751       0        0     nan |  0.000 % |
c ==============================================================================
c (current CPU-time: 6.04008 s)
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  193078   415067 |   57923       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/56936          
c   -- var.elim.:  2000/56936          
c   -- var.elim.:  3000/56936          
c   -- var.elim.:  4000/56936          
c   -- var.elim.:  5000/56936          
c   -- var.elim.:  6000/56936          
c   -- var.elim.:  7000/56936          
c   -- var.elim.:  8000/56936          
c   -- var.elim.:  9000/56936          
c   -- var.elim.:  10000/56936          
c   -- var.elim.:  11000/56936          
c   -- var.elim.:  12000/56936          
c   -- var.elim.:  13000/56936          
c   -- var.elim.:  14000/56936          
c   -- var.elim.:  15000/56936          
c   -- var.elim.:  16000/56936          
c   -- var.elim.:  17000/56936          
c   -- var.elim.:  18000/56936          
c   -- var.elim.:  19000/56936          
c   -- var.elim.:  20000/56936          
c   -- var.elim.:  21000/56936          
c   -- var.elim.:  22000/56936          
c   -- var.elim.:  23000/56936          
c   -- var.elim.:  24000/56936          
c   -- var.elim.:  25000/56936          
c   -- var.elim.:  26000/56936          
c   -- var.elim.:  27000/56936          
c   -- var.elim.:  28000/56936          
c   -- var.elim.:  29000/56936          
c   -- var.elim.:  30000/56936          
c   -- var.elim.:  31000/56936          
c   -- var.elim.:  32000/56936          
c   -- var.elim.:  33000/56936          
c   -- var.elim.:  34000/56936          
c   -- var.elim.:  35000/56936          
c   -- var.elim.:  36000/56936          
c   -- var.elim.:  37000/56936          
c   -- var.elim.:  38000/56936          
c   -- var.elim.:  39000/56936          
c   -- var.elim.:  40000/56936          
c   -- var.elim.:  41000/56936          
c   -- var.elim.:  42000/56936          
c   -- var.elim.:  43000/56936          
c   -- var.elim.:  44000/56936          
c   -- var.elim.:  45000/56936          
c   -- var.elim.:  46000/56936          
c   -- var.elim.:  47000/56936          
c   -- var.elim.:  48000/56936          
c   -- var.elim.:  49000/56936          
c   -- var.elim.:  50000/56936          
c   -- var.elim.:  51000/56936          
c   -- var.elim.:  52000/56936          
c   -- var.elim.:  53000/56936          
c   -- var.elim.:  54000/56936          
c   -- var.elim.:  55000/56936          
c   -- var.elim.:  56000/56936          
c   -- var.elim.:  56936/56936          
c   -- var.elim.:  1000/28843          
c   -- var.elim.:  2000/28843          
c   -- var.elim.:  3000/28843          
c   -- var.elim.:  4000/28843          
c   -- var.elim.:  5000/28843          
c   -- var.elim.:  6000/28843          
c   -- var.elim.:  7000/28843          
c   -- var.elim.:  8000/28843          
c   -- var.elim.:  9000/28843          
c   -- var.elim.:  10000/28843          
c   -- var.elim.:  11000/28843          
c   -- var.elim.:  12000/28843          
c   -- var.elim.:  13000/28843          
c   -- var.elim.:  14000/28843          
c   -- var.elim.:  15000/28843          
c   -- var.elim.:  16000/28843          
c   -- var.elim.:  17000/28843          
c   -- var.elim.:  18000/28843          
c   -- var.elim.:  19000/28843          
c   -- var.elim.:  20000/28843          
c   -- var.elim.:  21000/28843          
c   -- var.elim.:  22000/28843          
c   -- var.elim.:  23000/28843          
c   -- var.elim.:  24000/28843          
c   -- var.elim.:  25000/28843          
c   -- var.elim.:  26000/28843          
c   -- var.elim.:  27000/28843          
c   -- var.elim.:  28000/28843          
c   -- var.elim.:  28843/28843          
c   -- var.elim.:  1000/7453          
c   -- var.elim.:  2000/7453          
c   -- var.elim.:  3000/7453          
c   -- var.elim.:  4000/7453          
c   -- var.elim.:  5000/7453          
c   -- var.elim.:  6000/7453          
c   -- var.elim.:  7000/7453          
c   -- var.elim.:  7453/7453          
c   -- subsuming                       
c   -- var.elim.:  1000/11527          
c   -- var.elim.:  2000/11527          
c   -- var.elim.:  3000/11527          
c   -- var.elim.:  4000/11527          
c   -- var.elim.:  5000/11527          
c   -- var.elim.:  6000/11527          
c   -- var.elim.:  7000/11527          
c   -- var.elim.:  8000/11527          
c   -- var.elim.:  9000/11527          
c   -- var.elim.:  10000/11527          
c   -- var.elim.:  11000/11527          
c   -- var.elim.:  11527/11527          
c   -- var.elim.:  521/521          
c   -- subsuming                       
c   -- var.elim.:  1000/2208          
c   -- var.elim.:  2000/2208          
c   -- var.elim.:  2208/2208          
c |         0 |  133829   438579 |      --       0       --      -- |     --   | -59243/23530
c |         0 |  133829   438579 |   53531       0        0     nan |  0.000 % |
c |       100 |  133829   438579 |   58884     100    16563   165.6 | 53.667 % |
c |       251 |  133829   438579 |   64773     251    52223   208.1 | 53.667 % |
c |       476 |  133829   438579 |   71250     476   106063   222.8 | 53.667 % |
c |       813 |  133829   438579 |   78375     813   169799   208.9 | 53.667 % |
c |      1319 |  133829   438579 |   86213    1319   264992   200.9 | 53.667 % |
c |      2078 |  133789   438188 |   94806    2073   444975   214.7 | 53.736 % |
c |      3217 |  133789   438188 |  104286    3212   775206   241.3 | 53.736 % |
c |      4927 |  133789   438188 |  114715    4922  1319928   268.2 | 53.736 % |
c |      7489 |  133789   438188 |  126186    7484  2057792   275.0 | 53.736 % |
c |     11333 |  133750   437845 |  138765   11323  3237366   285.9 | 53.795 % |
c |     17099 |  133694   437259 |  152577   17085  5206772   304.8 | 53.893 % |
c ==============================================================================
c (current CPU-time: 376.775 s)
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |     19567 |  139799   454269 |   41939   19553  6136754   313.9 | 53.893 % |
c   -- subsuming                       
c   -- var.elim.:  1000/17141          
c   -- var.elim.:  2000/17141          
c   -- var.elim.:  3000/17141          
c   -- var.elim.:  4000/17141          
c   -- var.elim.:  5000/17141          
c   -- var.elim.:  6000/17141          
c   -- var.elim.:  7000/17141          
c   -- var.elim.:  8000/17141          
c   -- var.elim.:  9000/17141          
c   -- var.elim.:  10000/17141          
c   -- var.elim.:  11000/17141          
c   -- var.elim.:  12000/17141          
c   -- var.elim.:  13000/17141          
c   -- var.elim.:  14000/17141          
c   -- var.elim.:  15000/17141          
c   -- var.elim.:  16000/17141          
c   -- var.elim.:  17000/17141          
c   -- var.elim.:  17141/17141          
c   -- var.elim.:  1000/5070          
c   -- var.elim.:  2000/5070          
c   -- var.elim.:  3000/5070          
c   -- var.elim.:  4000/5070          
c   -- var.elim.:  5000/5070          
c   -- var.elim.:  5070/5070          
c |     19567 |  133742   446953 |      --   19553       --      -- |     --   | -6046/-1721
c |     19567 |  133742   446953 |   53496   18446  3836379   208.0 | 53.893 % |
c |     19667 |  133742   446953 |   58846   18546  3877965   209.1 | 57.227 % |
c |     19818 |  133742   446953 |   64731   18697  3919354   209.6 | 57.227 % |
c |     20044 |  133742   446953 |   71204   18923  3986740   210.7 | 57.227 % |
c |     20381 |  133742   446953 |   78324   19260  4110970   213.4 | 57.227 % |
c |     20887 |  133698   446465 |   86128   19759  4278774   216.5 | 57.298 % |
c |     21646 |  133674   446200 |   94724   20513  4497774   219.3 | 57.337 % |
c |     22785 |  133674   446200 |  104197   21652  4843498   223.7 | 57.337 % |
c |     24494 |  133499   444415 |  114466   23352  5538656   237.2 | 57.592 % |
c |     27056 |  133312   442522 |  125737   25901  6423841   248.0 | 57.869 % |
c |     30900 |  133032   439883 |  138020   29718  7905367   266.0 | 58.301 % |
c |     36666 |  132648   435890 |  151384   35420 10096477   285.1 | 58.882 % |
c |     45315 |  132336   432995 |  166130   44031 13981968   317.5 | 59.349 % |
c ==============================================================================
c (current CPU-time: 617.048 s)
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |     53098 |  140989   454762 |   42296   51764 17301934   334.2 | 59.349 % |
c   -- subsuming                       
c   -- var.elim.:  1000/20741          
c   -- var.elim.:  2000/20741          
c   -- var.elim.:  3000/20741          
c   -- var.elim.:  4000/20741          
c   -- var.elim.:  5000/20741          
c   -- var.elim.:  6000/20741          
c   -- var.elim.:  7000/20741          
c   -- var.elim.:  8000/20741          
c   -- var.elim.:  9000/20741          
c   -- var.elim.:  10000/20741          
c   -- var.elim.:  11000/20741          
c   -- var.elim.:  12000/20741          
c   -- var.elim.:  13000/20741          
c   -- var.elim.:  14000/20741          
c   -- var.elim.:  15000/20741          
c   -- var.elim.:  16000/20741          
c   -- var.elim.:  17000/20741          
c   -- var.elim.:  18000/20741          
c   -- var.elim.:  19000/20741          
c   -- var.elim.:  20000/20741          
c   -- var.elim.:  20741/20741          
c   -- var.elim.:  1000/6796          
c   -- var.elim.:  2000/6796          
c   -- var.elim.:  3000/6796          
c   -- var.elim.:  4000/6796          
c   -- var.elim.:  5000/6796          
c   -- var.elim.:  6000/6796          
c   -- var.elim.:  6796/6796          
c   -- var.elim.:  4/4          
c   -- subsuming                       
c   -- var.elim.:  1000/6295          
c   -- var.elim.:  2000/6295          
c   -- var.elim.:  3000/6295          
c   -- var.elim.:  4000/6295          
c   -- var.elim.:  5000/6295          
c   -- var.elim.:  6000/6295          
c   -- var.elim.:  6295/6295          
c   -- var.elim.:  99/99          
c |     53098 |  132214   435820 |      --   51764       --      -- |     --   | -8749/-16328
c |     53098 |  132214   435820 |   52885   47409 11884452   250.7 | 59.349 % |
c |     53198 |  132214   435820 |   58174   47509 11928119   251.1 | 61.440 % |
c |     53348 |  132180   435513 |   63975   47658 11975122   251.3 | 61.493 % |
c |     53573 |  132180   435513 |   70372   47883 12129413   253.3 | 61.493 % |
c |     53910 |  132118   434833 |   77373   48211 12202573   253.1 | 61.588 % |
c |     54416 |  132072   434394 |   85081   48712 12393568   254.4 | 61.659 % |
c |     55175 |  131945   433234 |   93499   49440 12700177   256.9 | 61.853 % |
c |     56314 |  131884   432662 |  102801   50567 13231071   261.7 | 61.946 % |
c |     58022 |  131792   431606 |  113003   52269 14035443   268.5 | 62.088 % |
c |     60584 |  131610   429817 |  124131   54800 15162837   276.7 | 62.365 % |
c ==============================================================================
c (current CPU-time: 782.529 s)
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |     63534 |  133938   435594 |   40181   57742 16612434   287.7 | 62.365 % |
c   -- subsuming                       
c   -- var.elim.:  1000/12133          
c   -- var.elim.:  2000/12133          
c   -- var.elim.:  3000/12133          
c   -- var.elim.:  4000/12133          
c   -- var.elim.:  5000/12133          
c   -- var.elim.:  6000/12133          
c   -- var.elim.:  7000/12133          
c   -- var.elim.:  8000/12133          
c   -- var.elim.:  9000/12133          
c   -- var.elim.:  10000/12133          
c   -- var.elim.:  11000/12133          
c   -- var.elim.:  12000/12133          
c   -- var.elim.:  12133/12133          
c   -- var.elim.:  1000/1686          
c   -- var.elim.:  1686/1686          
c   -- var.elim.:  501/501          
c |     63534 |  131594   433210 |      --   57742       --      -- |     --   | -2344/-2383
c |     63534 |  131594   433210 |   52637   57739 16612427   287.7 | 62.365 % |
c |     63634 |  131594   433210 |   57901   57839 16652288   287.9 | 62.497 % |
c |     63785 |  131594   433210 |   63691   57990 16705101   288.1 | 62.497 % |
c |     64012 |  131594   433210 |   70060   58217 16801040   288.6 | 62.497 % |
c |     64350 |  131594   433210 |   77066   58555 16939619   289.3 | 62.497 % |
c |     64856 |  131594   433210 |   84773   59061 17084836   289.3 | 62.497 % |
c |     65615 |  131455   431728 |   93152   59804 17405159   291.0 | 62.709 % |
c |     66755 |  131427   431452 |  102445   60889 17855474   293.2 | 62.752 % |
c |     68464 |  131359   430816 |  112631   62586 18626095   297.6 | 62.857 % |
c |     71026 |  131009   427496 |  123564   65133 19543152   300.0 | 63.380 % |
c |     74870 |  130781   425340 |  135684   68843 21026996   305.4 | 63.731 % |
c |     80636 |  130456   422165 |  148882   74540 23680228   317.7 | 64.226 % |
c |     89285 |  129603   413784 |  162699   82945 27386553   330.2 | 65.530 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1400 -C1399 -C1398 -C1397 C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 C502 -C501 -C500 -C499 #### 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.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (runsolver) R 32646 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 480517174 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 10812 0 0 0 961 37 0 0 25 0 1 0 480517174 45514752 10116 4294967295 134512640 134672761 3221224560 3221222976 134644233 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11112 10116 603 41 0 11071 0
vsize: 44448
[startup+20.0024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11620 0 0 0 1952 46 0 0 25 0 1 0 480517174 48771072 10924 4294967295 134512640 134672761 3221224560 3221223008 134643719 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11907 10924 603 41 0 11866 0
vsize: 47628
[startup+30.0029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11624 0 0 0 2953 46 0 0 25 0 1 0 480517174 48771072 10928 4294967295 134512640 134672761 3221224560 3221222640 134566627 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11907 10928 603 41 0 11866 0
vsize: 47628
[startup+40.0034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11631 0 0 0 3953 46 0 0 25 0 1 0 480517174 48873472 10935 4294967295 134512640 134672761 3221224560 3221222992 134605844 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11932 10935 603 41 0 11891 0
vsize: 47728
[startup+50.0036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11633 0 0 0 4952 46 0 0 25 0 1 0 480517174 48873472 10937 4294967295 134512640 134672761 3221224560 3221223072 134606994 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11932 10937 603 41 0 11891 0
vsize: 47728
[startup+60.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11666 0 0 0 5953 46 0 0 25 0 1 0 480517174 49135616 10970 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10970 603 41 0 11955 0
vsize: 47984
[startup+70.0047 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11667 0 0 0 6953 46 0 0 25 0 1 0 480517174 49135616 10971 4294967295 134512640 134672761 3221224560 3221222992 134605852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10971 603 41 0 11955 0
vsize: 47984
[startup+80.0051 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11669 0 0 0 7953 46 0 0 25 0 1 0 480517174 49135616 10973 4294967295 134512640 134672761 3221224560 3221222960 134565213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10973 603 41 0 11955 0
vsize: 47984
[startup+90.0053 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11670 0 0 0 8953 46 0 0 25 0 1 0 480517174 49135616 10974 4294967295 134512640 134672761 3221224560 3221222992 134605852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10974 603 41 0 11955 0
vsize: 47984
[startup+100.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11671 0 0 0 9953 46 0 0 25 0 1 0 480517174 49135616 10975 4294967295 134512640 134672761 3221224560 3221222816 134621211 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10975 603 41 0 11955 0
vsize: 47984
[startup+110.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11672 0 0 0 10954 46 0 0 25 0 1 0 480517174 49135616 10976 4294967295 134512640 134672761 3221224560 3221222816 134621186 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10976 603 41 0 11955 0
vsize: 47984
[startup+120.007 s]
Raw data (loadavg): 0.99 0.99 0.92 3/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11674 0 0 0 11954 46 0 0 25 0 1 0 480517174 49135616 10978 4294967295 134512640 134672761 3221224560 3221222992 134605661 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10978 603 41 0 11955 0
vsize: 47984
[startup+130.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11675 0 0 0 12954 46 0 0 25 0 1 0 480517174 49135616 10979 4294967295 134512640 134672761 3221224560 3221223152 134608016 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10979 603 41 0 11955 0
vsize: 47984
[startup+140.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11677 0 0 0 13954 46 0 0 25 0 1 0 480517174 49135616 10981 4294967295 134512640 134672761 3221224560 3221223152 134607812 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10981 603 41 0 11955 0
vsize: 47984
[startup+150.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11680 0 0 0 14954 46 0 0 25 0 1 0 480517174 49135616 10984 4294967295 134512640 134672761 3221224560 3221222668 134566513 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10984 603 41 0 11955 0
vsize: 47984
[startup+160.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11682 0 0 0 15954 46 0 0 25 0 1 0 480517174 49135616 10986 4294967295 134512640 134672761 3221224560 3221222368 134566459 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10986 603 41 0 11955 0
vsize: 47984
[startup+170.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11684 0 0 0 16955 46 0 0 25 0 1 0 480517174 49135616 10988 4294967295 134512640 134672761 3221224560 3221223072 134606994 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10988 603 41 0 11955 0
vsize: 47984
[startup+180.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11686 0 0 0 17955 46 0 0 25 0 1 0 480517174 49135616 10990 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10990 603 41 0 11955 0
vsize: 47984
[startup+190.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11691 0 0 0 18955 46 0 0 25 0 1 0 480517174 49135616 10995 4294967295 134512640 134672761 3221224560 3221222992 134604055 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11996 10995 603 41 0 11955 0
vsize: 47984
[startup+200.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11724 0 0 0 19954 47 0 0 25 0 1 0 480517174 49070080 10972 4294967295 134512640 134672761 3221224560 3221223008 134643518 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11980 10972 603 41 0 11939 0
vsize: 47920
[startup+210.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11724 0 0 0 20955 47 0 0 25 0 1 0 480517174 49070080 10972 4294967295 134512640 134672761 3221224560 3221223040 134541816 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11980 10972 603 41 0 11939 0
vsize: 47920
[startup+220.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11724 0 0 0 21954 47 0 0 25 0 1 0 480517174 49070080 10972 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11980 10972 603 41 0 11939 0
vsize: 47920
[startup+230.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11724 0 0 0 22954 47 0 0 25 0 1 0 480517174 49004544 10972 4294967295 134512640 134672761 3221224560 3221223008 134643474 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11964 10972 603 41 0 11923 0
vsize: 47856
[startup+240.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 11724 0 0 0 23954 47 0 0 25 0 1 0 480517174 49004544 10972 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11964 10972 603 41 0 11923 0
vsize: 47856
[startup+250.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 12106 0 0 0 24952 48 0 0 25 0 1 0 480517174 50958336 11354 4294967295 134512640 134672761 3221224560 3221222960 134605852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12441 11354 603 41 0 12400 0
vsize: 49764
[startup+260.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 12106 0 0 0 25952 48 0 0 25 0 1 0 480517174 50958336 11354 4294967295 134512640 134672761 3221224560 3221222960 134604097 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12441 11354 603 41 0 12400 0
vsize: 49764
[startup+270.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 12106 0 0 0 26952 48 0 0 25 0 1 0 480517174 50958336 11354 4294967295 134512640 134672761 3221224560 3221222960 134604077 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12441 11354 603 41 0 12400 0
vsize: 49764
[startup+280.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 12106 0 0 0 27952 48 0 0 25 0 1 0 480517174 50958336 11354 4294967295 134512640 134672761 3221224560 3221223104 134621081 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12441 11354 603 41 0 12400 0
vsize: 49764
[startup+290.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 12106 0 0 0 28952 48 0 0 25 0 1 0 480517174 49004544 10975 4294967295 134512640 134672761 3221224560 3221223008 134643548 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11964 10975 603 41 0 11923 0
vsize: 47856
[startup+300.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 12484 0 0 0 29952 49 0 0 25 0 1 0 480517174 52035584 11353 4294967295 134512640 134672761 3221224560 3221223104 134621044 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12704 11353 603 41 0 12663 0
vsize: 50816
[startup+310.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 12494 0 0 0 30952 49 0 0 25 0 1 0 480517174 49004544 10985 4294967295 134512640 134672761 3221224560 3221223684 134566034 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11964 10985 603 41 0 11923 0
vsize: 47856
[startup+320.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 13244 0 0 0 31950 51 0 0 25 0 1 0 480517174 52133888 11735 4294967295 134512640 134672761 3221224560 3221223760 134610707 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12728 11735 603 41 0 12687 0
vsize: 50912
[startup+330.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 14075 0 0 0 32948 53 0 0 25 0 1 0 480517174 55586816 12566 4294967295 134512640 134672761 3221224560 3221223648 1074743855 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13571 12566 603 41 0 13530 0
vsize: 54284
[startup+340.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 14899 0 0 0 33947 54 0 0 25 0 1 0 480517174 58986496 13390 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14401 13390 603 41 0 14360 0
vsize: 57604
[startup+350.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 15707 0 0 0 34945 56 0 0 25 0 1 0 480517174 62255104 14198 4294967295 134512640 134672761 3221224560 3221223684 134566118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15199 14198 603 41 0 15158 0
vsize: 60796
[startup+360.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 16678 0 0 0 35943 59 0 0 25 0 1 0 480517174 66260992 15169 4294967295 134512640 134672761 3221224560 3221223744 134615705 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16177 15169 603 41 0 16136 0
vsize: 64708
[startup+370.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 17443 0 0 0 36941 60 0 0 25 0 1 0 480517174 69443584 15934 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16954 15934 603 41 0 16913 0
vsize: 67816
[startup+380.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 20409 0 0 0 37929 72 0 0 25 0 1 0 480517174 77033472 17495 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18807 17495 603 41 0 18766 0
vsize: 75228
[startup+390.012 s]
Raw data (loadavg): 0.99 0.99 0.92 1/54 32647
Raw data (stat): 32647 (minisat+) D 32646 27222 27221 0 -1 0 20409 0 0 0 38851 106 0 0 25 0 1 0 480517174 73945088 17117 4294967295 134512640 134672761 3221224560 3221222768 1075730206 0 0 5 16386 3222661533 0 0 17 1 0 0
Raw data (statm): 18053 17117 603 41 0 18012 0
vsize: 72212
[startup+400.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 20409 0 0 0 39840 110 0 0 25 0 1 0 480517174 73945088 17117 4294967295 134512640 134672761 3221224560 3221223008 134644008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18053 17117 603 41 0 18012 0
vsize: 72212
[startup+410.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 20409 0 0 0 40840 110 0 0 25 0 1 0 480517174 73945088 17117 4294967295 134512640 134672761 3221224560 3221223008 134643548 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18053 17117 603 41 0 18012 0
vsize: 72212
[startup+420.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 20409 0 0 0 41839 110 0 0 25 0 1 0 480517174 73945088 17117 4294967295 134512640 134672761 3221224560 3221223600 134614207 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18053 17117 603 41 0 18012 0
vsize: 72212
[startup+430.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 20411 0 0 0 42839 110 0 0 25 0 1 0 480517174 73945088 17119 4294967295 134512640 134672761 3221224560 3221223696 134614488 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18053 17119 603 41 0 18012 0
vsize: 72212
[startup+440.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 20413 0 0 0 43839 110 0 0 25 0 1 0 480517174 73945088 17121 4294967295 134512640 134672761 3221224560 3221223472 134644240 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18053 17121 603 41 0 18012 0
vsize: 72212
[startup+450.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 20415 0 0 0 44839 110 0 0 25 0 1 0 480517174 73945088 17123 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18053 17123 603 41 0 18012 0
vsize: 72212
[startup+460.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 20911 0 0 0 45838 111 0 0 25 0 1 0 480517174 75993088 17619 4294967295 134512640 134672761 3221224560 3221223704 134616299 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18553 17619 603 41 0 18512 0
vsize: 74212
[startup+470.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 21614 0 0 0 46837 112 0 0 25 0 1 0 480517174 78942208 18322 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19273 18322 603 41 0 19232 0
vsize: 77092
[startup+480.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 22196 0 0 0 47837 113 0 0 25 0 1 0 480517174 81281024 18904 4294967295 134512640 134672761 3221224560 3221223744 134615571 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19844 18904 603 41 0 19803 0
vsize: 79376
[startup+490.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 22826 0 0 0 48836 114 0 0 25 0 1 0 480517174 83853312 19534 4294967295 134512640 134672761 3221224560 3221223704 134616356 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20472 19534 603 41 0 20431 0
vsize: 81888
[startup+500.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 23546 0 0 0 49834 116 0 0 25 0 1 0 480517174 86937600 20254 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21225 20254 603 41 0 21184 0
vsize: 84900
[startup+510.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 23993 0 0 0 50834 116 0 0 25 0 1 0 480517174 88772608 20701 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21673 20701 603 41 0 21632 0
vsize: 86692
[startup+520.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 24766 0 0 0 51833 118 0 0 25 0 1 0 480517174 91922432 21474 4294967295 134512640 134672761 3221224560 3221223704 134616312 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22442 21474 603 41 0 22401 0
vsize: 89768
[startup+530.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 25434 0 0 0 52831 120 0 0 25 0 1 0 480517174 94670848 22142 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23113 22142 603 41 0 23072 0
vsize: 92452
[startup+540.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 26164 0 0 0 53830 121 0 0 25 0 1 0 480517174 97681408 22872 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23848 22872 603 41 0 23807 0
vsize: 95392
[startup+550.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 26751 0 0 0 54829 122 0 0 25 0 1 0 480517174 100044800 23459 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24425 23459 603 41 0 24384 0
vsize: 97700
[startup+560.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 27646 0 0 0 55827 125 0 0 25 0 1 0 480517174 103653376 24354 4294967295 134512640 134672761 3221224560 3221223744 134615660 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25306 24354 603 41 0 25265 0
vsize: 101224
[startup+570.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 28377 0 0 0 56825 126 0 0 25 0 1 0 480517174 106610688 25085 4294967295 134512640 134672761 3221224560 3221223684 134566043 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26028 25085 603 41 0 25987 0
vsize: 104112
[startup+580.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 29230 0 0 0 57824 127 0 0 25 0 1 0 480517174 110166016 25938 4294967295 134512640 134672761 3221224560 3221223704 134616347 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26896 25938 603 41 0 26855 0
vsize: 107584
[startup+590.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 29604 0 0 0 58823 128 0 0 25 0 1 0 480517174 111747072 26312 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27282 26312 603 41 0 27241 0
vsize: 109128
[startup+600.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 30130 0 0 0 59823 129 0 0 25 0 1 0 480517174 113864704 26838 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27799 26838 603 41 0 27758 0
vsize: 111196
[startup+610.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 30759 0 0 0 60822 131 0 0 25 0 1 0 480517174 116461568 27467 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28433 27467 603 41 0 28392 0
vsize: 113732
[startup+620.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 33612 0 0 0 61804 148 0 0 25 0 1 0 480517174 125755392 28559 4294967295 134512640 134672761 3221224560 3221215624 134525408 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30702 28559 603 41 0 30661 0
vsize: 122808
[startup+630.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34116 0 0 0 62802 149 0 0 25 0 1 0 480517174 128237568 29063 4294967295 134512640 134672761 3221224560 3221222960 134604028 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31308 29063 603 41 0 31267 0
vsize: 125232
[startup+640.019 s]
Raw data (loadavg): 0.99 0.99 0.92 1/54 32647
Raw data (stat): 32647 (minisat+) D 32646 27222 27221 0 -1 0 34116 0 0 0 63727 183 0 0 25 0 1 0 480517174 125755392 28685 4294967295 134512640 134672761 3221224560 3221222768 1075730206 0 0 5 16386 3222661533 0 0 17 1 0 0
Raw data (statm): 30702 28685 603 41 0 30661 0
vsize: 122808
[startup+650.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34116 0 0 0 64706 193 0 0 25 0 1 0 480517174 125755392 28685 4294967295 134512640 134672761 3221224560 3221223040 134541817 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30702 28685 603 41 0 30661 0
vsize: 122808
[startup+660.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34116 0 0 0 65706 193 0 0 25 0 1 0 480517174 125755392 28685 4294967295 134512640 134672761 3221224560 3221223008 134643966 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30702 28685 603 41 0 30661 0
vsize: 122808
[startup+670.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34116 0 0 0 66706 193 0 0 25 0 1 0 480517174 125755392 28685 4294967295 134512640 134672761 3221224560 3221223008 134643636 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30702 28685 603 41 0 30661 0
vsize: 122808
[startup+680.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34494 0 0 0 67706 193 0 0 25 0 1 0 480517174 128614400 29063 4294967295 134512640 134672761 3221224560 3221223120 134607831 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31400 29063 603 41 0 31359 0
vsize: 125600
[startup+690.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34494 0 0 0 68706 193 0 0 25 0 1 0 480517174 128614400 29063 4294967295 134512640 134672761 3221224560 3221223104 134621081 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31400 29063 603 41 0 31359 0
vsize: 125600
[startup+700.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34494 0 0 0 69706 193 0 0 25 0 1 0 480517174 125755392 28685 4294967295 134512640 134672761 3221224560 3221223008 134643996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30702 28685 603 41 0 30661 0
vsize: 122808
[startup+710.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34494 0 0 0 70706 193 0 0 25 0 1 0 480517174 125743104 28682 4294967295 134512640 134672761 3221224560 3221223704 134616108 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30699 28682 603 41 0 30658 0
vsize: 122796
[startup+720.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34494 0 0 0 71706 193 0 0 25 0 1 0 480517174 125743104 28682 4294967295 134512640 134672761 3221224560 3221223744 134615732 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30699 28682 603 41 0 30658 0
vsize: 122796
[startup+730.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34494 0 0 0 72707 193 0 0 25 0 1 0 480517174 125743104 28682 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30699 28682 603 41 0 30658 0
vsize: 122796
[startup+740.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34494 0 0 0 73707 193 0 0 25 0 1 0 480517174 125743104 28682 4294967295 134512640 134672761 3221224560 3221223408 134604072 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30699 28682 603 41 0 30658 0
vsize: 122796
[startup+750.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34495 0 0 0 74707 193 0 0 25 0 1 0 480517174 125743104 28683 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30699 28683 603 41 0 30658 0
vsize: 122796
[startup+760.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34497 0 0 0 75707 193 0 0 25 0 1 0 480517174 125743104 28685 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30699 28685 603 41 0 30658 0
vsize: 122796
[startup+770.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34499 0 0 0 76707 193 0 0 25 0 1 0 480517174 125743104 28687 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30699 28687 603 41 0 30658 0
vsize: 122796
[startup+780.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 34500 0 0 0 77707 193 0 0 25 0 1 0 480517174 125743104 28688 4294967295 134512640 134672761 3221224560 3221223600 134612791 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30699 28688 603 41 0 30658 0
vsize: 122796
[startup+790.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 36984 0 0 0 78685 215 0 0 25 0 1 0 480517174 128684032 29121 4294967295 134512640 134672761 3221224560 3221223104 134621095 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31417 29121 603 41 0 31376 0
vsize: 125668
[startup+800.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 36984 0 0 0 79674 226 0 0 25 0 1 0 480517174 125784064 28743 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30709 28743 603 41 0 30668 0
vsize: 122836
[startup+810.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 36984 0 0 0 80675 226 0 0 25 0 1 0 480517174 125784064 28743 4294967295 134512640 134672761 3221224560 3221223008 134643548 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30709 28743 603 41 0 30668 0
vsize: 122836
[startup+820.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 36984 0 0 0 81674 226 0 0 25 0 1 0 480517174 125784064 28743 4294967295 134512640 134672761 3221224560 3221223684 134566080 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30709 28743 603 41 0 30668 0
vsize: 122836
[startup+830.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 36985 0 0 0 82674 226 0 0 25 0 1 0 480517174 125784064 28744 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30709 28744 603 41 0 30668 0
vsize: 122836
[startup+840.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 37075 0 0 0 83674 227 0 0 25 0 1 0 480517174 126156800 28834 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30800 28834 603 41 0 30759 0
vsize: 123200
[startup+850.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 37567 0 0 0 84674 227 0 0 25 0 1 0 480517174 128200704 29326 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31299 29326 603 41 0 31258 0
vsize: 125196
[startup+860.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 38174 0 0 0 85673 229 0 0 25 0 1 0 480517174 130768896 29933 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31926 29933 603 41 0 31885 0
vsize: 127704
[startup+870.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 38599 0 0 0 86672 229 0 0 25 0 1 0 480517174 132390912 30358 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32322 30358 603 41 0 32281 0
vsize: 129288
[startup+880.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 39002 0 0 0 87671 231 0 0 25 0 1 0 480517174 134094848 30761 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32738 30761 603 41 0 32697 0
vsize: 130952
[startup+890.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 39293 0 0 0 88670 231 0 0 25 0 1 0 480517174 135290880 31052 4294967295 134512640 134672761 3221224560 3221223704 134616263 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33030 31052 603 41 0 32989 0
vsize: 132120
[startup+900.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 39654 0 0 0 89670 232 0 0 25 0 1 0 480517174 136982528 31413 4294967295 134512640 134672761 3221224560 3221223744 134615919 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33443 31413 603 41 0 33402 0
vsize: 133772
[startup+910.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 40091 0 0 0 90670 233 0 0 25 0 1 0 480517174 138825728 31850 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33893 31850 603 41 0 33852 0
vsize: 135572
[startup+920.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 40556 0 0 0 91669 233 0 0 25 0 1 0 480517174 140746752 32315 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34362 32315 603 41 0 34321 0
vsize: 137448
[startup+930.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 41020 0 0 0 92669 234 0 0 25 0 1 0 480517174 142602240 32779 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34815 32779 603 41 0 34774 0
vsize: 139260
[startup+940.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 41572 0 0 0 93668 234 0 0 25 0 1 0 480517174 144789504 33331 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35349 33331 603 41 0 35308 0
vsize: 141396
[startup+950.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 42229 0 0 0 94668 235 0 0 25 0 1 0 480517174 147591168 33988 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36033 33988 603 41 0 35992 0
vsize: 144132
[startup+960.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 42635 0 0 0 95667 236 0 0 25 0 1 0 480517174 149225472 34394 4294967295 134512640 134672761 3221224560 3221223600 134612628 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36432 34394 603 41 0 36391 0
vsize: 145728
[startup+970.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 43052 0 0 0 96665 238 0 0 25 0 1 0 480517174 150888448 34811 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36838 34811 603 41 0 36797 0
vsize: 147352
[startup+980.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 43418 0 0 0 97664 239 0 0 25 0 1 0 480517174 152453120 35177 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37220 35177 603 41 0 37179 0
vsize: 148880
[startup+990.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 43810 0 0 0 98664 240 0 0 25 0 1 0 480517174 154050560 35569 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37610 35569 603 41 0 37569 0
vsize: 150440
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 44237 0 0 0 99663 241 0 0 25 0 1 0 480517174 155746304 35996 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38024 35996 603 41 0 37983 0
vsize: 152096
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 44444 0 0 0 100662 242 0 0 25 0 1 0 480517174 156536832 36203 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38217 36203 603 41 0 38176 0
vsize: 152868
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 44761 0 0 0 101662 242 0 0 25 0 1 0 480517174 157831168 36520 4294967295 134512640 134672761 3221224560 3221223704 134616284 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38533 36520 603 41 0 38492 0
vsize: 154132
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 45311 0 0 0 102661 244 0 0 25 0 1 0 480517174 160153600 37070 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39100 37070 603 41 0 39059 0
vsize: 156400
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 45706 0 0 0 103661 244 0 0 25 0 1 0 480517174 161693696 37465 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39476 37465 603 41 0 39435 0
vsize: 157904
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 46102 0 0 0 104659 245 0 0 25 0 1 0 480517174 163393536 37861 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39891 37861 603 41 0 39850 0
vsize: 159564
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 46414 0 0 0 105659 246 0 0 25 0 1 0 480517174 164667392 38173 4294967295 134512640 134672761 3221224560 3221223744 134615705 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40202 38173 603 41 0 40161 0
vsize: 160808
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 46635 0 0 0 106658 247 0 0 25 0 1 0 480517174 165576704 38394 4294967295 134512640 134672761 3221224560 3221223704 134616123 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40424 38394 603 41 0 40383 0
vsize: 161696
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 46954 0 0 0 107658 247 0 0 25 0 1 0 480517174 166871040 38713 4294967295 134512640 134672761 3221224560 3221223744 134615579 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40740 38713 603 41 0 40699 0
vsize: 162960
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 47556 0 0 0 108657 249 0 0 25 0 1 0 480517174 169299968 39315 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41333 39315 603 41 0 41292 0
vsize: 165332
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 48411 0 0 0 109655 251 0 0 25 0 1 0 480517174 172777472 40170 4294967295 134512640 134672761 3221224560 3221223600 134614205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42182 40170 603 41 0 42141 0
vsize: 168728
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 48771 0 0 0 110654 252 0 0 25 0 1 0 480517174 174309376 40530 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42556 40530 603 41 0 42515 0
vsize: 170224
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 49134 0 0 0 111653 253 0 0 25 0 1 0 480517174 175730688 40893 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42903 40893 603 41 0 42862 0
vsize: 171612
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 49687 0 0 0 112653 254 0 0 25 0 1 0 480517174 177963008 41446 4294967295 134512640 134672761 3221224560 3221223704 134616373 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43448 41446 603 41 0 43407 0
vsize: 173792
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 50115 0 0 0 113652 254 0 0 25 0 1 0 480517174 179773440 41874 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43890 41874 603 41 0 43849 0
vsize: 175560
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 50692 0 0 0 114651 255 0 0 25 0 1 0 480517174 182149120 42451 4294967295 134512640 134672761 3221224560 3221223776 134610309 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44470 42451 603 41 0 44429 0
vsize: 177880
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 51058 0 0 0 115651 256 0 0 25 0 1 0 480517174 183562240 42817 4294967295 134512640 134672761 3221224560 3221223600 134613809 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44815 42817 603 41 0 44774 0
vsize: 179260
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 51302 0 0 0 116650 257 0 0 25 0 1 0 480517174 184586240 43061 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45065 43061 603 41 0 45024 0
vsize: 180260
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 51834 0 0 0 117649 258 0 0 25 0 1 0 480517174 186822656 43593 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45611 43593 603 41 0 45570 0
vsize: 182444
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 52082 0 0 0 118649 259 0 0 25 0 1 0 480517174 187760640 43841 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45840 43841 603 41 0 45799 0
vsize: 183360
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 52375 0 0 0 119649 259 0 0 25 0 1 0 480517174 189063168 44134 4294967295 134512640 134672761 3221224560 3221223684 134566043 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46158 44134 603 41 0 46117 0
vsize: 184632
[startup+1210.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 32647
Raw data (stat): 32647 (minisat+) R 32646 27222 27221 0 -1 0 52926 0 0 0 120648 260 0 0 25 0 1 0 480517174 191246336 44685 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46691 44685 603 41 0 46650 0
vsize: 186764
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.18 s]
Raw data (loadavg): 0.99 0.99 0.92 1/54 32647
Raw data (stat): 32647 (minisat+) Z 32646 27222 27221 0 -1 12 52927 0 0 0 120648 274 0 0 25 0 1 0 480517174 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): 1210.18
CPU time (s): 1209.23
CPU user time (s): 1206.49
CPU system time (s): 2.74358
CPU usage (%): 99.9218
Max. virtual memory (Kb): 186764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####