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/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUM	baa7b619e2dc55a18c674a719d78c00c
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	1272
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	1272
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	1272
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.12
Number of variables	1272
Total number of constraints	94127
Number of constraints which are clauses	94127
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 5635

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        878076 kB
Buffers:         37208 kB
Cached:          97636 kB
SwapCached:          0 kB
Active:          75180 kB
Inactive:        64308 kB
HighTotal:      131008 kB
HighFree:        27720 kB
LowTotal:       903652 kB
LowFree:        850356 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            11544 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 01:26:52 (client local time) WITH STATUS 10 IN 1210.07 SECONDS
stats: 4101 7 1210.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94127 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 |   94127   188254 |   28238       0        0     nan |  0.000 % |
c   -- subsuming                       
c |         0 |   94127   188254 |   37650       0        0     nan |  0.000 % |
c ==============================================================================
c (current CPU-time: 4.98724 s)
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:70300     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  169206   364382 |   50761       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/51109          
c   -- var.elim.:  2000/51109          
c   -- var.elim.:  3000/51109          
c   -- var.elim.:  4000/51109          
c   -- var.elim.:  5000/51109          
c   -- var.elim.:  6000/51109          
c   -- var.elim.:  7000/51109          
c   -- var.elim.:  8000/51109          
c   -- var.elim.:  9000/51109          
c   -- var.elim.:  10000/51109          
c   -- var.elim.:  11000/51109          
c   -- var.elim.:  12000/51109          
c   -- var.elim.:  13000/51109          
c   -- var.elim.:  14000/51109          
c   -- var.elim.:  15000/51109          
c   -- var.elim.:  16000/51109          
c   -- var.elim.:  17000/51109          
c   -- var.elim.:  18000/51109          
c   -- var.elim.:  19000/51109          
c   -- var.elim.:  20000/51109          
c   -- var.elim.:  21000/51109          
c   -- var.elim.:  22000/51109          
c   -- var.elim.:  23000/51109          
c   -- var.elim.:  24000/51109          
c   -- var.elim.:  25000/51109          
c   -- var.elim.:  26000/51109          
c   -- var.elim.:  27000/51109          
c   -- var.elim.:  28000/51109          
c   -- var.elim.:  29000/51109          
c   -- var.elim.:  30000/51109          
c   -- var.elim.:  31000/51109          
c   -- var.elim.:  32000/51109          
c   -- var.elim.:  33000/51109          
c   -- var.elim.:  34000/51109          
c   -- var.elim.:  35000/51109          
c   -- var.elim.:  36000/51109          
c   -- var.elim.:  37000/51109          
c   -- var.elim.:  38000/51109          
c   -- var.elim.:  39000/51109          
c   -- var.elim.:  40000/51109          
c   -- var.elim.:  41000/51109          
c   -- var.elim.:  42000/51109          
c   -- var.elim.:  43000/51109          
c   -- var.elim.:  44000/51109          
c   -- var.elim.:  45000/51109          
c   -- var.elim.:  46000/51109          
c   -- var.elim.:  47000/51109          
c   -- var.elim.:  48000/51109          
c   -- var.elim.:  49000/51109          
c   -- var.elim.:  50000/51109          
c   -- var.elim.:  51000/51109          
c   -- var.elim.:  51109/51109          
c   -- var.elim.:  1000/25898          
c   -- var.elim.:  2000/25898          
c   -- var.elim.:  3000/25898          
c   -- var.elim.:  4000/25898          
c   -- var.elim.:  5000/25898          
c   -- var.elim.:  6000/25898          
c   -- var.elim.:  7000/25898          
c   -- var.elim.:  8000/25898          
c   -- var.elim.:  9000/25898          
c   -- var.elim.:  10000/25898          
c   -- var.elim.:  11000/25898          
c   -- var.elim.:  12000/25898          
c   -- var.elim.:  13000/25898          
c   -- var.elim.:  14000/25898          
c   -- var.elim.:  15000/25898          
c   -- var.elim.:  16000/25898          
c   -- var.elim.:  17000/25898          
c   -- var.elim.:  18000/25898          
c   -- var.elim.:  19000/25898          
c   -- var.elim.:  20000/25898          
c   -- var.elim.:  21000/25898          
c   -- var.elim.:  22000/25898          
c   -- var.elim.:  23000/25898          
c   -- var.elim.:  24000/25898          
c   -- var.elim.:  25000/25898          
c   -- var.elim.:  25898/25898          
c   -- var.elim.:  299/299          
c   -- var.elim.:  133/133          
c   -- var.elim.:  14/14          
c   -- subsuming                       
c   -- var.elim.:  1000/9593          
c   -- var.elim.:  2000/9593          
c   -- var.elim.:  3000/9593          
c   -- var.elim.:  4000/9593          
c   -- var.elim.:  5000/9593          
c   -- var.elim.:  6000/9593          
c   -- var.elim.:  7000/9593          
c   -- var.elim.:  8000/9593          
c   -- var.elim.:  9000/9593          
c   -- var.elim.:  9593/9593          
c   -- var.elim.:  425/425          
c |         0 |  114499   370155 |      --       0       --      -- |     --   | -54707/5774
c |         0 |  114499   370155 |   45799       0        0     nan |  0.000 % |
c |       100 |  114499   370155 |   50379     100    12696   127.0 | 56.435 % |
c |       250 |  114499   370155 |   55417     250    33991   136.0 | 56.434 % |
c |       475 |  114499   370155 |   60959     475    69942   147.2 | 56.434 % |
c |       812 |  114499   370155 |   67055     812   138865   171.0 | 56.435 % |
c |      1318 |  114483   369981 |   73750    1315   219073   166.6 | 56.466 % |
c |      2077 |  114473   369868 |   81118    2073   344880   166.4 | 56.485 % |
c |      3216 |  114449   369633 |   89211    3209   567439   176.8 | 56.531 % |
c |      4924 |  114343   368608 |   98041    4900   956547   195.2 | 56.737 % |
c |      7486 |  114327   368416 |  107830    7455  1557926   209.0 | 56.768 % |
c |     11330 |  113971   365075 |  118244   11230  2489186   221.7 | 57.457 % |
c ==============================================================================
c (current CPU-time: 303.537 s)
c ==============================================================================
c [1mFound solution: -38[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 |     12249 |  114017   365211 |   34205   12149  2751343   226.5 | 57.457 % |
c   -- subsuming                       
c   -- var.elim.:  1000/7864          
c   -- var.elim.:  2000/7864          
c   -- var.elim.:  3000/7864          
c   -- var.elim.:  4000/7864          
c   -- var.elim.:  5000/7864          
c   -- var.elim.:  6000/7864          
c   -- var.elim.:  7000/7864          
c   -- var.elim.:  7864/7864          
c   -- var.elim.:  109/109          
c |     12249 |  113971   364996 |      --   12149       --      -- |     --   | -36/-19
c |     12249 |  113971   364996 |   45588   11233  1818204   161.9 | 57.457 % |
c |     12350 |  113971   364996 |   50147   11334  1839772   162.3 | 57.488 % |
c |     12500 |  113951   364803 |   55152   11483  1865119   162.4 | 57.527 % |
c |     12725 |  113915   364498 |   60648   11705  1927842   164.7 | 57.597 % |
c |     13063 |  113915   364498 |   66713   12043  2011283   167.0 | 57.597 % |
c |     13571 |  113915   364498 |   73384   12551  2140678   170.6 | 57.597 % |
c |     14330 |  113801   363380 |   80642   13297  2327481   175.0 | 57.817 % |
c |     15469 |  113731   362733 |   88651   14429  2615267   181.3 | 57.953 % |
c |     17177 |  113465   360348 |   97288   16101  3101313   192.6 | 58.468 % |
c |     19739 |  113225   358183 |  106791   18620  3869904   207.8 | 58.933 % |
c ==============================================================================
c (current CPU-time: 357.684 s)
c ==============================================================================
c [1mFound solution: -40[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 |     21174 |  123260   385237 |   36977   20055  4375451   218.2 | 58.933 % |
c   -- subsuming                       
c   -- var.elim.:  1000/20133          
c   -- var.elim.:  2000/20133          
c   -- var.elim.:  3000/20133          
c   -- var.elim.:  4000/20133          
c   -- var.elim.:  5000/20133          
c   -- var.elim.:  6000/20133          
c   -- var.elim.:  7000/20133          
c   -- var.elim.:  8000/20133          
c   -- var.elim.:  9000/20133          
c   -- var.elim.:  10000/20133          
c   -- var.elim.:  11000/20133          
c   -- var.elim.:  12000/20133          
c   -- var.elim.:  13000/20133          
c   -- var.elim.:  14000/20133          
c   -- var.elim.:  15000/20133          
c   -- var.elim.:  16000/20133          
c   -- var.elim.:  17000/20133          
c   -- var.elim.:  18000/20133          
c   -- var.elim.:  19000/20133          
c   -- var.elim.:  20000/20133          
c   -- var.elim.:  20133/20133          
c   -- var.elim.:  1000/7005          
c   -- var.elim.:  2000/7005          
c   -- var.elim.:  3000/7005          
c   -- var.elim.:  4000/7005          
c   -- var.elim.:  5000/7005          
c   -- var.elim.:  6000/7005          
c   -- var.elim.:  7000/7005          
c   -- var.elim.:  7005/7005          
c   -- var.elim.:  24/24          
c   -- subsuming                       
c   -- var.elim.:  1000/6943          
c   -- var.elim.:  2000/6943          
c   -- var.elim.:  3000/6943          
c   -- var.elim.:  4000/6943          
c   -- var.elim.:  5000/6943          
c   -- var.elim.:  6000/6943          
c   -- var.elim.:  6943/6943          
c   -- var.elim.:  179/179          
c |     21174 |  113352   368433 |      --   20055       --      -- |     --   | -9890/-16589
c |     21174 |  113352   368433 |   45340   19878  4280255   215.3 | 58.933 % |
c |     21274 |  113352   368433 |   49874   19978  4290290   214.8 | 66.755 % |
c |     21425 |  113352   368433 |   54862   20129  4318581   214.5 | 66.755 % |
c |     21650 |  113316   368097 |   60329   20349  4357611   214.1 | 66.811 % |
c |     21987 |  113282   367739 |   66342   20666  4440293   214.9 | 66.861 % |
c |     22493 |  113282   367739 |   72976   21172  4596183   217.1 | 66.861 % |
c |     23252 |  113248   367417 |   80250   21928  4793182   218.6 | 66.914 % |
c |     24391 |  113038   365489 |   88111   23055  5016283   217.6 | 67.242 % |
c |     26099 |  112938   364620 |   96837   24713  5531457   223.8 | 67.398 % |
c |     28661 |  112688   362319 |  106284   27239  6305859   231.5 | 67.789 % |
c |     32506 |  112480   360287 |  116697   31047  7563535   243.6 | 68.114 % |
c |     38272 |  111947   355048 |  127759   36637  9536508   260.3 | 68.932 % |
c |     46922 |  111247   348440 |  139656   45139 12640933   280.0 | 69.997 % |
c |     59897 |  110429   340347 |  152492   57863 17542906   303.2 | 71.233 % |
c ==============================================================================
c (current CPU-time: 708.437 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 |     64424 |  113820   346942 |   34145   62320 19311239   309.9 | 71.233 % |
c   -- subsuming                       
c   -- var.elim.:  1000/12608          
c   -- var.elim.:  2000/12608          
c   -- var.elim.:  3000/12608          
c   -- var.elim.:  4000/12608          
c   -- var.elim.:  5000/12608          
c   -- var.elim.:  6000/12608          
c   -- var.elim.:  7000/12608          
c   -- var.elim.:  8000/12608          
c   -- var.elim.:  9000/12608          
c   -- var.elim.:  10000/12608          
c   -- var.elim.:  11000/12608          
c   -- var.elim.:  12000/12608          
c   -- var.elim.:  12608/12608          
c   -- var.elim.:  1000/3026          
c   -- var.elim.:  2000/3026          
c   -- var.elim.:  3000/3026          
c   -- var.elim.:  3026/3026          
c |     64424 |  110077   338330 |      --   62320       --      -- |     --   | -3730/-7274
c |     64424 |  110077   338330 |   44030   62320 19311239   309.9 | 71.233 % |
c |     64524 |  110077   338330 |   48433   62420 19330057   309.7 | 72.102 % |
c |     64674 |  110077   338330 |   53277   62570 19376899   309.7 | 72.102 % |
c |     64900 |  110077   338330 |   58604   62796 19441562   309.6 | 72.102 % |
c |     65237 |  110077   338330 |   64465   63133 19590058   310.3 | 72.102 % |
c |     65743 |  110077   338330 |   70912   63639 19755300   310.4 | 72.102 % |
c |     66502 |  110044   337984 |   77979   64223 19899037   309.8 | 72.148 % |
c |     67641 |  109978   337366 |   85726   65347 20227273   309.5 | 72.250 % |
c |     69349 |  109899   336707 |   94231   67038 20894658   311.7 | 72.371 % |
c |     71911 |  109817   335914 |  103577   69581 21693954   311.8 | 72.497 % |
c |     75755 |  109707   334892 |  113820   73407 23118977   314.9 | 72.661 % |
c |     81521 |  109433   332117 |  124890   79073 25117874   317.7 | 73.072 % |
c |     90170 |  109243   330338 |  137140   87646 28310833   323.0 | 73.366 % |
c |    103144 |  108658   324672 |  150046  100140 33213107   331.7 | 74.259 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 C1038 -C1037 -C1036 -C1035 -C1034 -C1033 C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 C988 -C987 -C986 -C985 -C984 C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 C335 -C334 -C333 -C332 #### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/54 31716
Raw data (stat): 31716 (runsolver) R 31715 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 408715799 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.0007 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10188 0 0 0 956 41 0 0 25 0 1 0 408715799 43651072 9597 4294967295 134512640 134672761 3221224560 3221223008 134643719 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10657 9597 603 41 0 10616 0
vsize: 42628
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10461 0 0 0 1956 42 0 0 25 0 1 0 408715799 44687360 9870 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10910 9870 603 41 0 10869 0
vsize: 43640
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10468 0 0 0 2956 42 0 0 25 0 1 0 408715799 44687360 9877 4294967295 134512640 134672761 3221224560 3221222992 134605852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10910 9877 603 41 0 10869 0
vsize: 43640
[startup+40.0021 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10469 0 0 0 3956 43 0 0 25 0 1 0 408715799 44687360 9878 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10910 9878 603 41 0 10869 0
vsize: 43640
[startup+50.0042 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10470 0 0 0 4956 43 0 0 25 0 1 0 408715799 44687360 9879 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10910 9879 603 41 0 10869 0
vsize: 43640
[startup+60.0042 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10471 0 0 0 5956 43 0 0 25 0 1 0 408715799 44687360 9880 4294967295 134512640 134672761 3221224560 3221223056 134644266 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10910 9880 603 41 0 10869 0
vsize: 43640
[startup+70.0043 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10472 0 0 0 6957 43 0 0 25 0 1 0 408715799 44687360 9881 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10910 9881 603 41 0 10869 0
vsize: 43640
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10505 0 0 0 7957 43 0 0 25 0 1 0 408715799 44949504 9914 4294967295 134512640 134672761 3221224560 3221222992 134604052 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10974 9914 603 41 0 10933 0
vsize: 43896
[startup+90.0045 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10506 0 0 0 8957 43 0 0 25 0 1 0 408715799 44949504 9915 4294967295 134512640 134672761 3221224560 3221222784 1075349796 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10974 9915 603 41 0 10933 0
vsize: 43896
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10507 0 0 0 9957 43 0 0 25 0 1 0 408715799 44949504 9916 4294967295 134512640 134672761 3221224560 3221223088 134606977 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10974 9916 603 41 0 10933 0
vsize: 43896
[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10508 0 0 0 10957 43 0 0 25 0 1 0 408715799 44949504 9917 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10974 9917 603 41 0 10933 0
vsize: 43896
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10511 0 0 0 11958 43 0 0 25 0 1 0 408715799 44949504 9920 4294967295 134512640 134672761 3221224560 3221222992 134604052 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10974 9920 603 41 0 10933 0
vsize: 43896
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10512 0 0 0 12958 43 0 0 25 0 1 0 408715799 44949504 9921 4294967295 134512640 134672761 3221224560 3221222064 134566697 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10974 9921 603 41 0 10933 0
vsize: 43896
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10514 0 0 0 13958 43 0 0 25 0 1 0 408715799 44949504 9923 4294967295 134512640 134672761 3221224560 3221223152 134607998 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10974 9923 603 41 0 10933 0
vsize: 43896
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10515 0 0 0 14958 43 0 0 25 0 1 0 408715799 44949504 9924 4294967295 134512640 134672761 3221224560 3221223008 134643984 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10974 9924 603 41 0 10933 0
vsize: 43896
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10533 0 0 0 15958 43 0 0 25 0 1 0 408715799 45178880 9942 4294967295 134512640 134672761 3221224560 3221223056 134644260 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11030 9942 603 41 0 10989 0
vsize: 44120
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10536 0 0 0 16958 43 0 0 25 0 1 0 408715799 45178880 9945 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11030 9945 603 41 0 10989 0
vsize: 44120
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10540 0 0 0 17959 43 0 0 25 0 1 0 408715799 45178880 9949 4294967295 134512640 134672761 3221224560 3221223040 134541817 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11030 9949 603 41 0 10989 0
vsize: 44120
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10545 0 0 0 18959 43 0 0 25 0 1 0 408715799 45178880 9954 4294967295 134512640 134672761 3221224560 3221223088 134606977 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11030 9954 603 41 0 10989 0
vsize: 44120
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10549 0 0 0 19959 43 0 0 25 0 1 0 408715799 45178880 9958 4294967295 134512640 134672761 3221224560 3221223008 134644016 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11030 9958 603 41 0 10989 0
vsize: 44120
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10549 0 0 0 20959 43 0 0 25 0 1 0 408715799 45178880 9958 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11030 9958 603 41 0 10989 0
vsize: 44120
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10881 0 0 0 21957 44 0 0 25 0 1 0 408715799 47652864 10290 4294967295 134512640 134672761 3221224560 3221222960 134604052 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11634 10290 603 41 0 11593 0
vsize: 46536
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10881 0 0 0 22957 44 0 0 25 0 1 0 408715799 47652864 10290 4294967295 134512640 134672761 3221224560 3221222784 134621211 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11634 10290 603 41 0 11593 0
vsize: 46536
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10881 0 0 0 23957 44 0 0 25 0 1 0 408715799 47652864 10290 4294967295 134512640 134672761 3221224560 3221223052 134642759 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11634 10290 603 41 0 11593 0
vsize: 46536
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10881 0 0 0 24958 44 0 0 25 0 1 0 408715799 47652864 10290 4294967295 134512640 134672761 3221224560 3221223104 134621071 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11634 10290 603 41 0 11593 0
vsize: 46536
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10881 0 0 0 25957 44 0 0 25 0 1 0 408715799 45178880 9958 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11030 9958 603 41 0 10989 0
vsize: 44120
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 10891 0 0 0 26958 44 0 0 25 0 1 0 408715799 45178880 9968 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11030 9968 603 41 0 10989 0
vsize: 44120
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 11427 0 0 0 27957 45 0 0 25 0 1 0 408715799 47296512 10504 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11547 10504 603 41 0 11506 0
vsize: 46188
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 12122 0 0 0 28955 47 0 0 25 0 1 0 408715799 50180096 11199 4294967295 134512640 134672761 3221224560 3221223684 134566077 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12251 11199 603 41 0 12210 0
vsize: 49004
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 12746 0 0 0 29954 48 0 0 25 0 1 0 408715799 52793344 11823 4294967295 134512640 134672761 3221224560 3221223600 134614266 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12889 11823 603 41 0 12848 0
vsize: 51556
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 14960 0 0 0 30944 58 0 0 25 0 1 0 408715799 57106432 12782 4294967295 134512640 134672761 3221224560 3221223104 134621242 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13942 12782 603 41 0 13901 0
vsize: 55768
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 14960 0 0 0 31944 58 0 0 25 0 1 0 408715799 55230464 12450 4294967295 134512640 134672761 3221224560 3221223008 134644040 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13484 12450 603 41 0 13443 0
vsize: 53936
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 14962 0 0 0 32945 58 0 0 25 0 1 0 408715799 55230464 12452 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13484 12452 603 41 0 13443 0
vsize: 53936
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 15000 0 0 0 33945 58 0 0 25 0 1 0 408715799 55484416 12490 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13546 12490 603 41 0 13505 0
vsize: 54184
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 15751 0 0 0 34943 60 0 0 25 0 1 0 408715799 58564608 13241 4294967295 134512640 134672761 3221224560 3221223696 134614690 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14298 13242 603 41 0 14257 0
vsize: 57192
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 18680 0 0 0 35931 71 0 0 25 0 1 0 408715799 70492160 14882 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17210 14882 603 41 0 17169 0
vsize: 68840
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 18733 0 0 0 36920 82 0 0 25 0 1 0 408715799 67788800 14550 4294967295 134512640 134672761 3221224560 3221222768 1075730206 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16550 14550 603 41 0 16509 0
vsize: 66200
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 18733 0 0 0 37840 137 0 0 25 0 1 0 408715799 67788800 14550 4294967295 134512640 134672761 3221224560 3221223008 134643977 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16550 14550 603 41 0 16509 0
vsize: 66200
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 18733 0 0 0 38840 137 0 0 25 0 1 0 408715799 67788800 14550 4294967295 134512640 134672761 3221224560 3221223008 134643951 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16550 14550 603 41 0 16509 0
vsize: 66200
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 18733 0 0 0 39840 137 0 0 25 0 1 0 408715799 67788800 14550 4294967295 134512640 134672761 3221224560 3221223008 134643524 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16550 14550 603 41 0 16509 0
vsize: 66200
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 19064 0 0 0 40839 138 0 0 25 0 1 0 408715799 70082560 14881 4294967295 134512640 134672761 3221224560 3221223104 134621044 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17110 14881 603 41 0 17069 0
vsize: 68440
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 19065 0 0 0 41840 138 0 0 25 0 1 0 408715799 67788800 14550 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16550 14550 603 41 0 16509 0
vsize: 66200
[startup+430.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 19065 0 0 0 42840 138 0 0 25 0 1 0 408715799 67788800 14550 4294967295 134512640 134672761 3221224560 3221223008 134643577 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16550 14550 603 41 0 16509 0
vsize: 66200
[startup+440.009 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 19249 0 0 0 43840 138 0 0 25 0 1 0 408715799 68575232 14734 4294967295 134512640 134672761 3221224560 3221223552 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16742 14734 603 41 0 16701 0
vsize: 66968
[startup+450.009 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 19778 0 0 0 44838 140 0 0 25 0 1 0 408715799 70737920 15263 4294967295 134512640 134672761 3221224560 3221223600 134614256 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17270 15263 603 41 0 17229 0
vsize: 69080
[startup+460.01 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 20335 0 0 0 45837 141 0 0 25 0 1 0 408715799 72970240 15820 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17815 15820 603 41 0 17774 0
vsize: 71260
[startup+470.01 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 20860 0 0 0 46837 141 0 0 25 0 1 0 408715799 75190272 16345 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18357 16345 603 41 0 18316 0
vsize: 73428
[startup+480.01 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 21462 0 0 0 47836 143 0 0 25 0 1 0 408715799 77660160 16947 4294967295 134512640 134672761 3221224560 3221223744 134615571 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18960 16947 603 41 0 18919 0
vsize: 75840
[startup+490.011 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 22099 0 0 0 48835 144 0 0 25 0 1 0 408715799 80248832 17584 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19592 17584 603 41 0 19551 0
vsize: 78368
[startup+500.01 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 22703 0 0 0 49834 145 0 0 25 0 1 0 408715799 82874368 18188 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20233 18188 603 41 0 20192 0
vsize: 80932
[startup+510.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 23336 0 0 0 50833 146 0 0 25 0 1 0 408715799 85430272 18821 4294967295 134512640 134672761 3221224560 3221223704 134616299 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20857 18821 603 41 0 20816 0
vsize: 83428
[startup+520.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 23796 0 0 0 51832 147 0 0 25 0 1 0 408715799 87252992 19281 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21302 19281 603 41 0 21261 0
vsize: 85208
[startup+530.011 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 24391 0 0 0 52831 148 0 0 25 0 1 0 408715799 89739264 19876 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21909 19876 603 41 0 21868 0
vsize: 87636
[startup+540.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 25295 0 0 0 53830 150 0 0 25 0 1 0 408715799 93368320 20780 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22795 20780 603 41 0 22754 0
vsize: 91180
[startup+550.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 25922 0 0 0 54828 152 0 0 25 0 1 0 408715799 96026624 21407 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23444 21407 603 41 0 23403 0
vsize: 93776
[startup+560.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 26323 0 0 0 55826 154 0 0 25 0 1 0 408715799 97591296 21808 4294967295 134512640 134672761 3221224560 3221223704 134616317 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23826 21808 603 41 0 23785 0
vsize: 95304
[startup+570.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 26638 0 0 0 56825 155 0 0 25 0 1 0 408715799 98889728 22123 4294967295 134512640 134672761 3221224560 3221223704 134616293 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24143 22123 603 41 0 24102 0
vsize: 96572
[startup+580.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 27358 0 0 0 57823 157 0 0 25 0 1 0 408715799 101793792 22843 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24852 22843 603 41 0 24811 0
vsize: 99408
[startup+590.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 27832 0 0 0 58823 158 0 0 25 0 1 0 408715799 103837696 23317 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25351 23317 603 41 0 25310 0
vsize: 101404
[startup+600.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 28447 0 0 0 59822 159 0 0 25 0 1 0 408715799 106315776 23932 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25956 23932 603 41 0 25915 0
vsize: 103824
[startup+610.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 29056 0 0 0 60821 160 0 0 25 0 1 0 408715799 108748800 24541 4294967295 134512640 134672761 3221224560 3221223744 134615665 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26550 24541 603 41 0 26509 0
vsize: 106200
[startup+620.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 29812 0 0 0 61819 162 0 0 25 0 1 0 408715799 111927296 25297 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27326 25297 603 41 0 27285 0
vsize: 109304
[startup+630.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 30251 0 0 0 62818 163 0 0 25 0 1 0 408715799 113721344 25736 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27764 25736 603 41 0 27723 0
vsize: 111056
[startup+640.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 30668 0 0 0 63817 164 0 0 25 0 1 0 408715799 115343360 26153 4294967295 134512640 134672761 3221224560 3221223744 134615732 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28160 26153 603 41 0 28119 0
vsize: 112640
[startup+650.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 31006 0 0 0 64816 165 0 0 25 0 1 0 408715799 116723712 26491 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28497 26491 603 41 0 28456 0
vsize: 113988
[startup+660.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 31394 0 0 0 65816 166 0 0 25 0 1 0 408715799 118292480 26879 4294967295 134512640 134672761 3221224560 3221223552 134565146 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28880 26879 603 41 0 28839 0
vsize: 115520
[startup+670.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 31757 0 0 0 66815 167 0 0 25 0 1 0 408715799 119844864 27242 4294967295 134512640 134672761 3221224560 3221223600 134613768 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29259 27242 603 41 0 29218 0
vsize: 117036
[startup+680.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 32332 0 0 0 67815 167 0 0 25 0 1 0 408715799 122167296 27817 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29826 27817 603 41 0 29785 0
vsize: 119304
[startup+690.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 32687 0 0 0 68814 168 0 0 25 0 1 0 408715799 123621376 28172 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30181 28172 603 41 0 30140 0
vsize: 120724
[startup+700.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 33263 0 0 0 69813 169 0 0 25 0 1 0 408715799 125992960 28748 4294967295 134512640 134672761 3221224560 3221223600 134614266 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30760 28748 603 41 0 30719 0
vsize: 123040
[startup+710.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 33862 0 0 0 70811 171 0 0 25 0 1 0 408715799 128389120 29347 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31345 29347 603 41 0 31304 0
vsize: 125380
[startup+720.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 36569 0 0 0 71790 192 0 0 25 0 1 0 408715799 131375104 29892 4294967295 134512640 134672761 3221224560 3221223104 134621122 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32074 29892 603 41 0 32033 0
vsize: 128296
[startup+730.011 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 36569 0 0 0 72778 204 0 0 25 0 1 0 408715799 128876544 29551 4294967295 134512640 134672761 3221224560 3221223008 134643951 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31464 29551 603 41 0 31423 0
vsize: 125856
[startup+740.011 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 36842 0 0 0 73777 206 0 0 25 0 1 0 408715799 130027520 29824 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31745 29824 603 41 0 31704 0
vsize: 126980
[startup+750.011 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 37174 0 0 0 74776 206 0 0 25 0 1 0 408715799 131448832 30156 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32092 30156 603 41 0 32051 0
vsize: 128368
[startup+760.011 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 37479 0 0 0 75776 207 0 0 25 0 1 0 408715799 132616192 30461 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32377 30461 603 41 0 32336 0
vsize: 129508
[startup+770.012 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 37937 0 0 0 76775 208 0 0 25 0 1 0 408715799 134823936 30919 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32916 30919 603 41 0 32875 0
vsize: 131664
[startup+780.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 38506 0 0 0 77773 210 0 0 25 0 1 0 408715799 137060352 31488 4294967295 134512640 134672761 3221224560 3221223704 134616299 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33462 31488 603 41 0 33421 0
vsize: 133848
[startup+790.013 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 38792 0 0 0 78773 211 0 0 25 0 1 0 408715799 138244096 31774 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33751 31774 603 41 0 33710 0
vsize: 135004
[startup+800.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 39319 0 0 0 79772 212 0 0 25 0 1 0 408715799 140406784 32301 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34279 32301 603 41 0 34238 0
vsize: 137116
[startup+810.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 39743 0 0 0 80771 213 0 0 25 0 1 0 408715799 142114816 32725 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34696 32725 603 41 0 34655 0
vsize: 138784
[startup+820.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 40386 0 0 0 81770 214 0 0 25 0 1 0 408715799 144744448 33368 4294967295 134512640 134672761 3221224560 3221223744 134615724 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35338 33368 603 41 0 35297 0
vsize: 141352
[startup+830.013 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 40913 0 0 0 82768 216 0 0 25 0 1 0 408715799 146952192 33895 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35877 33895 603 41 0 35836 0
vsize: 143508
[startup+840.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 41391 0 0 0 83767 217 0 0 25 0 1 0 408715799 148889600 34373 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36350 34373 603 41 0 36309 0
vsize: 145400
[startup+850.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 41784 0 0 0 84766 218 0 0 25 0 1 0 408715799 150433792 34766 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36727 34766 603 41 0 36686 0
vsize: 146908
[startup+860.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 42112 0 0 0 85766 219 0 0 25 0 1 0 408715799 151875584 35094 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37079 35094 603 41 0 37038 0
vsize: 148316
[startup+870.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 42512 0 0 0 86764 221 0 0 25 0 1 0 408715799 153423872 35494 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37457 35494 603 41 0 37416 0
vsize: 149828
[startup+880.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 43053 0 0 0 87763 222 0 0 25 0 1 0 408715799 155680768 36035 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38008 36035 603 41 0 37967 0
vsize: 152032
[startup+890.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 43385 0 0 0 88763 222 0 0 25 0 1 0 408715799 156983296 36367 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38326 36367 603 41 0 38285 0
vsize: 153304
[startup+900.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 43740 0 0 0 89762 223 0 0 25 0 1 0 408715799 158543872 36722 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38707 36722 603 41 0 38666 0
vsize: 154828
[startup+910.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 44091 0 0 0 90762 224 0 0 25 0 1 0 408715799 159932416 37073 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39046 37073 603 41 0 39005 0
vsize: 156184
[startup+920.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 44636 0 0 0 91761 225 0 0 25 0 1 0 408715799 162095104 37618 4294967295 134512640 134672761 3221224560 3221223728 134553598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39574 37618 603 41 0 39533 0
vsize: 158296
[startup+930.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 45230 0 0 0 92760 226 0 0 25 0 1 0 408715799 164552704 38212 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40174 38212 603 41 0 40133 0
vsize: 160696
[startup+940.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 45615 0 0 0 93760 226 0 0 25 0 1 0 408715799 166084608 38597 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40548 38597 603 41 0 40507 0
vsize: 162192
[startup+950.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 45957 0 0 0 94760 227 0 0 25 0 1 0 408715799 167522304 38939 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40899 38939 603 41 0 40858 0
vsize: 163596
[startup+960.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 46302 0 0 0 95759 227 0 0 25 0 1 0 408715799 168894464 39284 4294967295 134512640 134672761 3221224560 3221223744 134615940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41234 39284 603 41 0 41193 0
vsize: 164936
[startup+970.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 46930 0 0 0 96758 228 0 0 25 0 1 0 408715799 171474944 39912 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41864 39912 603 41 0 41823 0
vsize: 167456
[startup+980.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 47267 0 0 0 97758 229 0 0 25 0 1 0 408715799 172912640 40249 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42215 40249 603 41 0 42174 0
vsize: 168860
[startup+990.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 47626 0 0 0 98757 230 0 0 25 0 1 0 408715799 174366720 40608 4294967295 134512640 134672761 3221224560 3221223744 134615583 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42570 40608 603 41 0 42529 0
vsize: 170280
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 48163 0 0 0 99756 231 0 0 25 0 1 0 408715799 176513024 41145 4294967295 134512640 134672761 3221224560 3221223704 134616312 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43094 41145 603 41 0 43053 0
vsize: 172376
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 48422 0 0 0 100755 232 0 0 25 0 1 0 408715799 177659904 41404 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43374 41404 603 41 0 43333 0
vsize: 173496
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 49010 0 0 0 101754 234 0 0 25 0 1 0 408715799 179965952 41992 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43937 41992 603 41 0 43896 0
vsize: 175748
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 49119 0 0 0 102754 234 0 0 25 0 1 0 408715799 180486144 42101 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44064 42101 603 41 0 44023 0
vsize: 176256
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 49440 0 0 0 103754 234 0 0 25 0 1 0 408715799 181772288 42422 4294967295 134512640 134672761 3221224560 3221223408 134604652 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44378 42422 603 41 0 44337 0
vsize: 177512
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 50005 0 0 0 104752 236 0 0 25 0 1 0 408715799 184135680 42987 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44955 42987 603 41 0 44914 0
vsize: 179820
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 50314 0 0 0 105752 236 0 0 25 0 1 0 408715799 185298944 43296 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45239 43296 603 41 0 45198 0
vsize: 180956
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 50617 0 0 0 106751 237 0 0 25 0 1 0 408715799 186572800 43599 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45550 43599 603 41 0 45509 0
vsize: 182200
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 51092 0 0 0 107751 238 0 0 25 0 1 0 408715799 188555264 44074 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46034 44074 603 41 0 45993 0
vsize: 184136
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 51564 0 0 0 108750 239 0 0 25 0 1 0 408715799 190509056 44546 4294967295 134512640 134672761 3221224560 3221223600 134612628 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46511 44546 603 41 0 46470 0
vsize: 186044
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 52019 0 0 0 109749 240 0 0 25 0 1 0 408715799 192315392 45001 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46952 45001 603 41 0 46911 0
vsize: 187808
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 52523 0 0 0 110749 241 0 0 25 0 1 0 408715799 194420736 45505 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47466 45505 603 41 0 47425 0
vsize: 189864
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 52843 0 0 0 111748 242 0 0 25 0 1 0 408715799 195698688 45825 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47778 45825 603 41 0 47737 0
vsize: 191112
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 53243 0 0 0 112747 243 0 0 25 0 1 0 408715799 197332992 46225 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48177 46225 603 41 0 48136 0
vsize: 192708
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 54043 0 0 0 113746 244 0 0 25 0 1 0 408715799 200527872 47025 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48957 47025 603 41 0 48916 0
vsize: 195828
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 54647 0 0 0 114744 246 0 0 25 0 1 0 408715799 203022336 47629 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49566 47629 603 41 0 49525 0
vsize: 198264
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 55166 0 0 0 115743 247 0 0 25 0 1 0 408715799 205225984 48148 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50104 48148 603 41 0 50063 0
vsize: 200416
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 55466 0 0 0 116743 248 0 0 25 0 1 0 408715799 206405632 48448 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50392 48448 603 41 0 50351 0
vsize: 201568
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 55789 0 0 0 117742 248 0 0 25 0 1 0 408715799 207708160 48771 4294967295 134512640 134672761 3221224560 3221223744 134615673 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50710 48771 603 41 0 50669 0
vsize: 202840
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 56291 0 0 0 118742 249 0 0 25 0 1 0 408715799 209788928 49273 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51218 49273 603 41 0 51177 0
vsize: 204872
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 56463 0 0 0 119741 250 0 0 25 0 1 0 408715799 210448384 49445 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51379 49445 603 41 0 51338 0
vsize: 205516
[startup+1210.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31716
Raw data (stat): 31716 (minisat+) R 31715 26667 26666 0 -1 0 56750 0 0 0 120741 250 0 0 25 0 1 0 408715799 211615744 49732 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51664 49732 603 41 0 51623 0
vsize: 206656
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.17 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 31716
Raw data (stat): 31716 (minisat+) Z 31715 26667 26666 0 -1 12 56751 0 0 0 120742 264 0 0 25 0 1 0 408715799 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.17
CPU time (s): 1210.07
CPU user time (s): 1207.42
CPU system time (s): 2.6486
CPU usage (%): 99.9918
Max. virtual memory (Kb): 206656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####