PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM	a5354df485c2b6c1695d0d26c0cdb212
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.13
Number of variables	1534
Total number of constraints	125982
Number of constraints which are clauses	125982
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 5653

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        848224 kB
Buffers:         40780 kB
Cached:         121196 kB
SwapCached:          0 kB
Active:         113436 kB
Inactive:        51632 kB
HighTotal:      131008 kB
HighFree:        17108 kB
LowTotal:       903652 kB
LowFree:        831116 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           7200 kB
Slab:            15600 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 01:38:05 (client local time) WITH STATUS 10 IN 1210.04 SECONDS
stats: 4113 7 1210.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 125982 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 |  125982   251964 |   37794       0        0     nan |  0.000 % |
c   -- subsuming                       
c |         0 |  125982   251964 |   50392       0        0     nan |  0.000 % |
c ==============================================================================
c (current CPU-time: 7.47286 s)
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:85954     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  216727   464837 |   65018       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/61774          
c   -- var.elim.:  2000/61774          
c   -- var.elim.:  3000/61774          
c   -- var.elim.:  4000/61774          
c   -- var.elim.:  5000/61774          
c   -- var.elim.:  6000/61774          
c   -- var.elim.:  7000/61774          
c   -- var.elim.:  8000/61774          
c   -- var.elim.:  9000/61774          
c   -- var.elim.:  10000/61774          
c   -- var.elim.:  11000/61774          
c   -- var.elim.:  12000/61774          
c   -- var.elim.:  13000/61774          
c   -- var.elim.:  14000/61774          
c   -- var.elim.:  15000/61774          
c   -- var.elim.:  16000/61774          
c   -- var.elim.:  17000/61774          
c   -- var.elim.:  18000/61774          
c   -- var.elim.:  19000/61774          
c   -- var.elim.:  20000/61774          
c   -- var.elim.:  21000/61774          
c   -- var.elim.:  22000/61774          
c   -- var.elim.:  23000/61774          
c   -- var.elim.:  24000/61774          
c   -- var.elim.:  25000/61774          
c   -- var.elim.:  26000/61774          
c   -- var.elim.:  27000/61774          
c   -- var.elim.:  28000/61774          
c   -- var.elim.:  29000/61774          
c   -- var.elim.:  30000/61774          
c   -- var.elim.:  31000/61774          
c   -- var.elim.:  32000/61774          
c   -- var.elim.:  33000/61774          
c   -- var.elim.:  34000/61774          
c   -- var.elim.:  35000/61774          
c   -- var.elim.:  36000/61774          
c   -- var.elim.:  37000/61774          
c   -- var.elim.:  38000/61774          
c   -- var.elim.:  39000/61774          
c   -- var.elim.:  40000/61774          
c   -- var.elim.:  41000/61774          
c   -- var.elim.:  42000/61774          
c   -- var.elim.:  43000/61774          
c   -- var.elim.:  44000/61774          
c   -- var.elim.:  45000/61774          
c   -- var.elim.:  46000/61774          
c   -- var.elim.:  47000/61774          
c   -- var.elim.:  48000/61774          
c   -- var.elim.:  49000/61774          
c   -- var.elim.:  50000/61774          
c   -- var.elim.:  51000/61774          
c   -- var.elim.:  52000/61774          
c   -- var.elim.:  53000/61774          
c   -- var.elim.:  54000/61774          
c   -- var.elim.:  55000/61774          
c   -- var.elim.:  56000/61774          
c   -- var.elim.:  57000/61774          
c   -- var.elim.:  58000/61774          
c   -- var.elim.:  59000/61774          
c   -- var.elim.:  60000/61774          
c   -- var.elim.:  61000/61774          
c   -- var.elim.:  61774/61774          
c   -- var.elim.:  1000/31242          
c   -- var.elim.:  2000/31242          
c   -- var.elim.:  3000/31242          
c   -- var.elim.:  4000/31242          
c   -- var.elim.:  5000/31242          
c   -- var.elim.:  6000/31242          
c   -- var.elim.:  7000/31242          
c   -- var.elim.:  8000/31242          
c   -- var.elim.:  9000/31242          
c   -- var.elim.:  10000/31242          
c   -- var.elim.:  11000/31242          
c   -- var.elim.:  12000/31242          
c   -- var.elim.:  13000/31242          
c   -- var.elim.:  14000/31242          
c   -- var.elim.:  15000/31242          
c   -- var.elim.:  16000/31242          
c   -- var.elim.:  17000/31242          
c   -- var.elim.:  18000/31242          
c   -- var.elim.:  19000/31242          
c   -- var.elim.:  20000/31242          
c   -- var.elim.:  21000/31242          
c   -- var.elim.:  22000/31242          
c   -- var.elim.:  23000/31242          
c   -- var.elim.:  24000/31242          
c   -- var.elim.:  25000/31242          
c   -- var.elim.:  26000/31242          
c   -- var.elim.:  27000/31242          
c   -- var.elim.:  28000/31242          
c   -- var.elim.:  29000/31242          
c   -- var.elim.:  30000/31242          
c   -- var.elim.:  31000/31242          
c   -- var.elim.:  31242/31242          
c   -- var.elim.:  1000/5766          
c   -- var.elim.:  2000/5766          
c   -- var.elim.:  3000/5766          
c   -- var.elim.:  4000/5766          
c   -- var.elim.:  5000/5766          
c   -- var.elim.:  5766/5766          
c   -- var.elim.:  94/94          
c   -- subsuming                       
c   -- var.elim.:  1000/11700          
c   -- var.elim.:  2000/11700          
c   -- var.elim.:  3000/11700          
c   -- var.elim.:  4000/11700          
c   -- var.elim.:  5000/11700          
c   -- var.elim.:  6000/11700          
c   -- var.elim.:  7000/11700          
c   -- var.elim.:  8000/11700          
c   -- var.elim.:  9000/11700          
c   -- var.elim.:  10000/11700          
c   -- var.elim.:  11000/11700          
c   -- var.elim.:  11700/11700          
c   -- var.elim.:  171/171          
c |         0 |  150651   473588 |      --       0       --      -- |     --   | -66070/8769
c |         0 |  150651   473588 |   60260       0        0     nan |  0.000 % |
c |       100 |  150635   473399 |   66279      96    20005   208.4 | 56.215 % |
c |       250 |  150635   473399 |   72907     246    44649   181.5 | 56.215 % |
c |       476 |  150607   473154 |   80183     470    82688   175.9 | 56.260 % |
c |       814 |  150591   472974 |   88192     805   140538   174.6 | 56.286 % |
c |      1320 |  150567   472732 |   96995    1309   247524   189.1 | 56.325 % |
c |      2079 |  150541   472481 |  106677    2063   398122   193.0 | 56.366 % |
c |      3218 |  150503   472069 |  117315    3198   649184   203.0 | 56.427 % |
c |      4926 |  150453   471566 |  129003    4901  1015269   207.2 | 56.508 % |
c |      7488 |  150433   471354 |  141885    7451  1642677   220.5 | 56.540 % |
c |     11332 |  150385   470874 |  156023   11291  2573704   227.9 | 56.617 % |
c |     17098 |  150241   469535 |  171462   17036  4258305   250.0 | 56.849 % |
c |     25747 |  149891   466288 |  188168   25642  7102063   277.0 | 57.411 % |
c |     38721 |  149545   463010 |  206507   38538 11830353   307.0 | 57.967 % |
c ==============================================================================
c (current CPU-time: 543.665 s)
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |     45319 |  156092   478046 |   46827   45086 14759946   327.4 | 57.967 % |
c   -- subsuming                       
c   -- var.elim.:  1000/17573          
c   -- var.elim.:  2000/17573          
c   -- var.elim.:  3000/17573          
c   -- var.elim.:  4000/17573          
c   -- var.elim.:  5000/17573          
c   -- var.elim.:  6000/17573          
c   -- var.elim.:  7000/17573          
c   -- var.elim.:  8000/17573          
c   -- var.elim.:  9000/17573          
c   -- var.elim.:  10000/17573          
c   -- var.elim.:  11000/17573          
c   -- var.elim.:  12000/17573          
c   -- var.elim.:  13000/17573          
c   -- var.elim.:  14000/17573          
c   -- var.elim.:  15000/17573          
c   -- var.elim.:  16000/17573          
c   -- var.elim.:  17000/17573          
c   -- var.elim.:  17573/17573          
c   -- var.elim.:  1000/4808          
c   -- var.elim.:  2000/4808          
c   -- var.elim.:  3000/4808          
c   -- var.elim.:  4000/4808          
c   -- var.elim.:  4808/4808          
c   -- var.elim.:  88/88          
c   -- subsuming                       
c   -- var.elim.:  1000/4546          
c   -- var.elim.:  2000/4546          
c   -- var.elim.:  3000/4546          
c   -- var.elim.:  4000/4546          
c   -- var.elim.:  4546/4546          
c   -- var.elim.:  105/105          
c |     45319 |  149349   469338 |      --   45086       --      -- |     --   | -6709/-8639
c |     45319 |  149349   469338 |   59739   44388 14283498   321.8 | 57.967 % |
c |     45419 |  149349   469338 |   65713   44488 14322562   321.9 | 62.335 % |
c |     45569 |  149349   469338 |   72284   44638 14393060   322.4 | 62.335 % |
c |     45795 |  149349   469338 |   79513   44864 14468732   322.5 | 62.335 % |
c |     46132 |  149310   468944 |   87441   45195 14577512   322.5 | 62.390 % |
c |     46638 |  149268   468592 |   96159   45696 14723999   322.2 | 62.451 % |
c |     47400 |  149218   468171 |  105739   46450 14977882   322.5 | 62.524 % |
c |     48539 |  149188   467888 |  116290   47584 15389692   323.4 | 62.568 % |
c |     50247 |  149104   467043 |  127847   49270 16015650   325.1 | 62.690 % |
c |     52809 |  148872   464781 |  140412   51775 17070321   329.7 | 63.028 % |
c |     56653 |  148628   462315 |  154201   55604 18453103   331.9 | 63.381 % |
c |     62419 |  148282   458977 |  169226   61282 20661935   337.2 | 63.882 % |
c |     71068 |  147433   450726 |  185083   69729 23783015   341.1 | 65.108 % |
c |     84043 |  146889   445684 |  202840   82601 28690822   347.3 | 65.895 % |
c |    103504 |  145824   435601 |  221506  101877 36621924   359.5 | 67.398 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 -C1455 -C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 C989 -C988 -C987 -C986 -C985 -C984 C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C5#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/56 19049
Raw data (stat): 19049 (runsolver) R 19048 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 365492902 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.93 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 11957 0 0 0 966 32 0 0 25 0 1 0 365492902 48914432 11113 4294967295 134512640 134672761 3221224560 3221222848 134603538 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11942 11113 603 41 0 11901 0
vsize: 47768
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12901 0 0 0 1946 52 0 0 25 0 1 0 365492902 52838400 12057 4294967295 134512640 134672761 3221224560 3221222992 134604097 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12900 12057 603 41 0 12859 0
vsize: 51600
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12915 0 0 0 2946 52 0 0 25 0 1 0 365492902 52924416 12071 4294967295 134512640 134672761 3221224560 3221222764 134642762 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12921 12071 603 41 0 12880 0
vsize: 51684
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12948 0 0 0 3946 52 0 0 25 0 1 0 365492902 53186560 12104 4294967295 134512640 134672761 3221224560 3221223152 134607998 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12985 12104 603 41 0 12944 0
vsize: 51940
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12949 0 0 0 4946 52 0 0 25 0 1 0 365492902 53186560 12105 4294967295 134512640 134672761 3221224560 3221223008 134643567 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12105 603 41 0 12944 0
vsize: 51940
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12950 0 0 0 5946 52 0 0 25 0 1 0 365492902 53186560 12106 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12106 603 41 0 12944 0
vsize: 51940
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12951 0 0 0 6946 52 0 0 25 0 1 0 365492902 53186560 12107 4294967295 134512640 134672761 3221224560 3221223088 134606977 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12107 603 41 0 12944 0
vsize: 51940
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12953 0 0 0 7946 53 0 0 25 0 1 0 365492902 53186560 12109 4294967295 134512640 134672761 3221224560 3221222992 134604069 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12109 603 41 0 12944 0
vsize: 51940
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12954 0 0 0 8946 53 0 0 25 0 1 0 365492902 53186560 12110 4294967295 134512640 134672761 3221224560 3221222984 1075353062 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12110 603 41 0 12944 0
vsize: 51940
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12955 0 0 0 9946 53 0 0 25 0 1 0 365492902 53186560 12111 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12111 603 41 0 12944 0
vsize: 51940
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12956 0 0 0 10946 53 0 0 25 0 1 0 365492902 53186560 12112 4294967295 134512640 134672761 3221224560 3221223008 134643948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12112 603 41 0 12944 0
vsize: 51940
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12958 0 0 0 11946 53 0 0 25 0 1 0 365492902 53186560 12114 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12114 603 41 0 12944 0
vsize: 51940
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12959 0 0 0 12946 53 0 0 25 0 1 0 365492902 53186560 12115 4294967295 134512640 134672761 3221224560 3221223008 134643624 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12115 603 41 0 12944 0
vsize: 51940
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12964 0 0 0 13946 54 0 0 25 0 1 0 365492902 53186560 12120 4294967295 134512640 134672761 3221224560 3221222992 134604652 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12120 603 41 0 12944 0
vsize: 51940
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12975 0 0 0 14946 54 0 0 25 0 1 0 365492902 53186560 12131 4294967295 134512640 134672761 3221224560 3221222992 134604072 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12985 12131 603 41 0 12944 0
vsize: 51940
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 12996 0 0 0 15946 54 0 0 25 0 1 0 365492902 53448704 12152 4294967295 134512640 134672761 3221224560 3221223056 134644251 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13049 12152 603 41 0 13008 0
vsize: 52196
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13001 0 0 0 16946 54 0 0 25 0 1 0 365492902 53448704 12157 4294967295 134512640 134672761 3221224560 3221222992 134604052 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13049 12157 603 41 0 13008 0
vsize: 52196
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13004 0 0 0 17946 54 0 0 25 0 1 0 365492902 53448704 12160 4294967295 134512640 134672761 3221224560 3221223008 134643777 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13049 12160 603 41 0 13008 0
vsize: 52196
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13009 0 0 0 18946 54 0 0 25 0 1 0 365492902 53448704 12165 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13049 12165 603 41 0 13008 0
vsize: 52196
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19049
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13014 0 0 0 19946 54 0 0 25 0 1 0 365492902 53448704 12170 4294967295 134512640 134672761 3221224560 3221222080 134566560 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13049 12170 603 41 0 13008 0
vsize: 52196
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13020 0 0 0 20946 54 0 0 25 0 1 0 365492902 53448704 12176 4294967295 134512640 134672761 3221224560 3221223056 134644251 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13049 12176 603 41 0 13008 0
vsize: 52196
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13025 0 0 0 21946 54 0 0 25 0 1 0 365492902 53448704 12181 4294967295 134512640 134672761 3221224560 3221223056 134644266 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13049 12181 603 41 0 13008 0
vsize: 52196
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13060 0 0 0 22946 55 0 0 25 0 1 0 365492902 53460992 12155 4294967295 134512640 134672761 3221224560 3221223008 134643984 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13052 12155 603 41 0 13011 0
vsize: 52208
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13060 0 0 0 23946 55 0 0 25 0 1 0 365492902 53460992 12155 4294967295 134512640 134672761 3221224560 3221223008 134643577 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13052 12155 603 41 0 13011 0
vsize: 52208
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13060 0 0 0 24946 56 0 0 25 0 1 0 365492902 53460992 12155 4294967295 134512640 134672761 3221224560 3221223008 134643548 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13052 12155 603 41 0 13011 0
vsize: 52208
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13060 0 0 0 25945 56 0 0 25 0 1 0 365492902 53460992 12155 4294967295 134512640 134672761 3221224560 3221223008 134643984 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13052 12155 603 41 0 13011 0
vsize: 52208
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13500 0 0 0 26945 57 0 0 25 0 1 0 365492902 55566336 12534 4294967295 134512640 134672761 3221224560 3221222960 134604052 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13566 12534 603 41 0 13525 0
vsize: 54264
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13500 0 0 0 27945 57 0 0 25 0 1 0 365492902 55566336 12534 4294967295 134512640 134672761 3221224560 3221223052 134642766 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13566 12534 603 41 0 13525 0
vsize: 54264
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13500 0 0 0 28945 57 0 0 25 0 1 0 365492902 55566336 12534 4294967295 134512640 134672761 3221224560 3221223024 134644240 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13566 12534 603 41 0 13525 0
vsize: 54264
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13500 0 0 0 29944 57 0 0 25 0 1 0 365492902 55566336 12534 4294967295 134512640 134672761 3221224560 3221223104 134621046 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13566 12534 603 41 0 13525 0
vsize: 54264
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13500 0 0 0 30944 58 0 0 25 0 1 0 365492902 53198848 12094 4294967295 134512640 134672761 3221224560 3221223008 134643987 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12988 12094 603 41 0 12947 0
vsize: 51952
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13500 0 0 0 31944 58 0 0 25 0 1 0 365492902 53198848 12094 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12988 12094 603 41 0 12947 0
vsize: 51952
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 13655 0 0 0 32944 58 0 0 25 0 1 0 365492902 53841920 12249 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13145 12249 603 41 0 13104 0
vsize: 52580
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 14253 0 0 0 33942 60 0 0 25 0 1 0 365492902 56365056 12847 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13761 12847 603 41 0 13720 0
vsize: 55044
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 14837 0 0 0 34941 62 0 0 25 0 1 0 365492902 58720256 13431 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14336 13431 603 41 0 14295 0
vsize: 57344
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 15536 0 0 0 35939 63 0 0 25 0 1 0 365492902 61612032 14130 4294967295 134512640 134672761 3221224560 3221223684 134566034 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15042 14130 603 41 0 15001 0
vsize: 60168
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 16356 0 0 0 36938 65 0 0 25 0 1 0 365492902 64901120 14950 4294967295 134512640 134672761 3221224560 3221223600 134612614 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15845 14950 603 41 0 15804 0
vsize: 63380
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 17031 0 0 0 37936 66 0 0 25 0 1 0 365492902 67723264 15625 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16534 15625 603 41 0 16493 0
vsize: 66136
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 17849 0 0 0 38935 68 0 0 25 0 1 0 365492902 71028736 16443 4294967295 134512640 134672761 3221224560 3221223600 134612628 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17341 16443 603 41 0 17300 0
vsize: 69364
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 18414 0 0 0 39933 70 0 0 25 0 1 0 365492902 73359360 17008 4294967295 134512640 134672761 3221224560 3221223600 134612892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17910 17008 603 41 0 17869 0
vsize: 71640
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 19147 0 0 0 40932 71 0 0 25 0 1 0 365492902 76406784 17741 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18654 17741 603 41 0 18613 0
vsize: 74616
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 20004 0 0 0 41930 73 0 0 25 0 1 0 365492902 79855616 18598 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19496 18598 603 41 0 19455 0
vsize: 77984
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 20642 0 0 0 42929 75 0 0 25 0 1 0 365492902 82534400 19236 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20150 19236 603 41 0 20109 0
vsize: 80600
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 21394 0 0 0 43927 76 0 0 25 0 1 0 365492902 85495808 19988 4294967295 134512640 134672761 3221224560 3221223704 134616132 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20873 19988 603 41 0 20832 0
vsize: 83492
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 22163 0 0 0 44925 78 0 0 25 0 1 0 365492902 88764416 20757 4294967295 134512640 134672761 3221224560 3221223600 134612867 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21671 20757 603 41 0 21630 0
vsize: 86684
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 22903 0 0 0 45924 80 0 0 25 0 1 0 365492902 91811840 21497 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22415 21497 603 41 0 22374 0
vsize: 89660
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 23562 0 0 0 46923 81 0 0 25 0 1 0 365492902 94535680 22156 4294967295 134512640 134672761 3221224560 3221223704 134616299 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23080 22156 603 41 0 23039 0
vsize: 92320
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 24020 0 0 0 47922 83 0 0 25 0 1 0 365492902 96477184 22614 4294967295 134512640 134672761 3221224560 3221223704 134616356 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23554 22614 603 41 0 23513 0
vsize: 94216
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 24513 0 0 0 48921 84 0 0 25 0 1 0 365492902 98426880 23107 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24030 23107 603 41 0 23989 0
vsize: 96120
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19051
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 25297 0 0 0 49919 86 0 0 25 0 1 0 365492902 101683200 23891 4294967295 134512640 134672761 3221224560 3221223600 134613099 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24825 23891 603 41 0 24784 0
vsize: 99300
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 25866 0 0 0 50918 87 0 0 25 0 1 0 365492902 103907328 24460 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25368 24460 603 41 0 25327 0
vsize: 101472
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 26596 0 0 0 51916 89 0 0 25 0 1 0 365492902 106991616 25190 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26121 25190 603 41 0 26080 0
vsize: 104484
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 27227 0 0 0 52915 90 0 0 25 0 1 0 365492902 109559808 25821 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26748 25821 603 41 0 26707 0
vsize: 106992
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 27616 0 0 0 53914 91 0 0 25 0 1 0 365492902 111140864 26210 4294967295 134512640 134672761 3221224560 3221223704 134616132 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27134 26210 603 41 0 27093 0
vsize: 108536
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 30659 0 0 0 54901 104 0 0 25 0 1 0 365492902 122703872 27446 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29957 27446 603 41 0 29916 0
vsize: 119828
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 30659 0 0 0 55878 127 0 0 25 0 1 0 365492902 119242752 27022 4294967295 134512640 134672761 3221224560 3221222912 134605682 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29112 27022 603 41 0 29071 0
vsize: 116448
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 30659 0 0 0 56843 137 0 0 25 0 1 0 365492902 119242752 27022 4294967295 134512640 134672761 3221224560 3221223008 134643548 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29112 27022 603 41 0 29071 0
vsize: 116448
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 30659 0 0 0 57842 137 0 0 25 0 1 0 365492902 119242752 27022 4294967295 134512640 134672761 3221224560 3221223008 134643516 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29112 27022 603 41 0 29071 0
vsize: 116448
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 30659 0 0 0 58842 137 0 0 25 0 1 0 365492902 119242752 27022 4294967295 134512640 134672761 3221224560 3221223008 134643951 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29112 27022 603 41 0 29071 0
vsize: 116448
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 31083 0 0 0 59841 138 0 0 25 0 1 0 365492902 122421248 27446 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29888 27446 603 41 0 29847 0
vsize: 119552
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 31083 0 0 0 60841 138 0 0 25 0 1 0 365492902 119242752 27022 4294967295 134512640 134672761 3221224560 3221223008 134643636 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29112 27022 603 41 0 29071 0
vsize: 116448
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 31083 0 0 0 61841 138 0 0 25 0 1 0 365492902 119242752 27022 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29112 27022 603 41 0 29071 0
vsize: 116448
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 31084 0 0 0 62841 139 0 0 25 0 1 0 365492902 119242752 27023 4294967295 134512640 134672761 3221224560 3221223744 134615736 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29112 27023 603 41 0 29071 0
vsize: 116448
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 31606 0 0 0 63840 140 0 0 25 0 1 0 365492902 121372672 27545 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29632 27545 603 41 0 29591 0
vsize: 118528
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 31993 0 0 0 64839 141 0 0 25 0 1 0 365492902 122933248 27932 4294967295 134512640 134672761 3221224560 3221223744 134615635 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30013 27932 603 41 0 29972 0
vsize: 120052
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 32543 0 0 0 65838 142 0 0 25 0 1 0 365492902 125181952 28482 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30562 28482 603 41 0 30521 0
vsize: 122248
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 33125 0 0 0 66837 144 0 0 25 0 1 0 365492902 127590400 29064 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31150 29064 603 41 0 31109 0
vsize: 124600
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 33557 0 0 0 67836 144 0 0 25 0 1 0 365492902 129318912 29496 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31572 29496 603 41 0 31531 0
vsize: 126288
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 34024 0 0 0 68835 146 0 0 25 0 1 0 365492902 131264512 29963 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32047 29963 603 41 0 32006 0
vsize: 128188
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 34584 0 0 0 69834 147 0 0 25 0 1 0 365492902 133525504 30523 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32599 30523 603 41 0 32558 0
vsize: 130396
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 34889 0 0 0 70834 147 0 0 25 0 1 0 365492902 134844416 30828 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32921 30828 603 41 0 32880 0
vsize: 131684
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 35296 0 0 0 71833 148 0 0 25 0 1 0 365492902 136421376 31235 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33306 31235 603 41 0 33265 0
vsize: 133224
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 35545 0 0 0 72832 149 0 0 25 0 1 0 365492902 137482240 31484 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33565 31484 603 41 0 33524 0
vsize: 134260
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 36190 0 0 0 73831 150 0 0 25 0 1 0 365492902 140066816 32129 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34196 32129 603 41 0 34155 0
vsize: 136784
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 36573 0 0 0 74831 151 0 0 25 0 1 0 365492902 141660160 32512 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34585 32512 603 41 0 34544 0
vsize: 138340
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 37048 0 0 0 75830 152 0 0 25 0 1 0 365492902 143638528 32987 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35068 32987 603 41 0 35027 0
vsize: 140272
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 37308 0 0 0 76829 153 0 0 25 0 1 0 365492902 144695296 33247 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35326 33247 603 41 0 35285 0
vsize: 141304
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 37621 0 0 0 77829 153 0 0 25 0 1 0 365492902 146014208 33560 4294967295 134512640 134672761 3221224560 3221223696 134614701 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35648 33560 603 41 0 35607 0
vsize: 142592
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 37945 0 0 0 78829 154 0 0 25 0 1 0 365492902 147300352 33884 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35962 33884 603 41 0 35921 0
vsize: 143848
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19053
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 38341 0 0 0 79828 154 0 0 25 0 1 0 365492902 148967424 34280 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36369 34280 603 41 0 36328 0
vsize: 145476
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 38641 0 0 0 80827 156 0 0 25 0 1 0 365492902 150409216 34580 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36721 34580 603 41 0 36680 0
vsize: 146884
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 39039 0 0 0 81827 156 0 0 25 0 1 0 365492902 151969792 34978 4294967295 134512640 134672761 3221224560 3221223704 134616126 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37102 34978 603 41 0 37061 0
vsize: 148408
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 39469 0 0 0 82826 157 0 0 25 0 1 0 365492902 153755648 35408 4294967295 134512640 134672761 3221224560 3221223704 134616293 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37538 35408 603 41 0 37497 0
vsize: 150152
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 39881 0 0 0 83825 158 0 0 25 0 1 0 365492902 155459584 35820 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37954 35820 603 41 0 37913 0
vsize: 151816
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 40166 0 0 0 84825 159 0 0 25 0 1 0 365492902 156614656 36105 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38236 36105 603 41 0 38195 0
vsize: 152944
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 40453 0 0 0 85824 160 0 0 25 0 1 0 365492902 157777920 36392 4294967295 134512640 134672761 3221224560 3221223760 134610707 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38520 36392 603 41 0 38479 0
vsize: 154080
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 40954 0 0 0 86823 161 0 0 25 0 1 0 365492902 159879168 36893 4294967295 134512640 134672761 3221224560 3221223744 134615758 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39033 36893 603 41 0 38992 0
vsize: 156132
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 41481 0 0 0 87822 162 0 0 25 0 1 0 365492902 161959936 37420 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39541 37420 603 41 0 39500 0
vsize: 158164
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 42048 0 0 0 88821 163 0 0 25 0 1 0 365492902 164278272 37987 4294967295 134512640 134672761 3221224560 3221223704 134616233 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40107 37987 603 41 0 40066 0
vsize: 160428
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 42463 0 0 0 89821 163 0 0 25 0 1 0 365492902 165969920 38402 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40520 38402 603 41 0 40479 0
vsize: 162080
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 42962 0 0 0 90820 165 0 0 25 0 1 0 365492902 168034304 38901 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41024 38901 603 41 0 40983 0
vsize: 164096
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 43275 0 0 0 91819 166 0 0 25 0 1 0 365492902 169340928 39214 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41343 39214 603 41 0 41302 0
vsize: 165372
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 43518 0 0 0 92819 166 0 0 25 0 1 0 365492902 170266624 39457 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41569 39457 603 41 0 41528 0
vsize: 166276
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 44086 0 0 0 93817 168 0 0 25 0 1 0 365492902 172630016 40025 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42146 40025 603 41 0 42105 0
vsize: 168584
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 44404 0 0 0 94817 168 0 0 25 0 1 0 365492902 173948928 40343 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42468 40343 603 41 0 42427 0
vsize: 169872
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 44790 0 0 0 95816 169 0 0 25 0 1 0 365492902 175468544 40729 4294967295 134512640 134672761 3221224560 3221223704 134616111 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42839 40729 603 41 0 42798 0
vsize: 171356
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 44978 0 0 0 96816 170 0 0 25 0 1 0 365492902 176259072 40917 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43032 40917 603 41 0 42991 0
vsize: 172128
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 45415 0 0 0 97815 171 0 0 25 0 1 0 365492902 178102272 41354 4294967295 134512640 134672761 3221224560 3221223704 134616347 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43482 41354 603 41 0 43441 0
vsize: 173928
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 45770 0 0 0 98814 172 0 0 25 0 1 0 365492902 179560448 41709 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43838 41709 603 41 0 43797 0
vsize: 175352
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 46062 0 0 0 99813 173 0 0 25 0 1 0 365492902 180756480 42001 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44130 42001 603 41 0 44089 0
vsize: 176520
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 46384 0 0 0 100813 174 0 0 25 0 1 0 365492902 182067200 42323 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44450 42323 603 41 0 44409 0
vsize: 177800
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 46720 0 0 0 101812 174 0 0 25 0 1 0 365492902 183357440 42659 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44765 42659 603 41 0 44724 0
vsize: 179060
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 47103 0 0 0 102812 175 0 0 25 0 1 0 365492902 184999936 43042 4294967295 134512640 134672761 3221224560 3221223568 134522549 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45166 43042 603 41 0 45125 0
vsize: 180664
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 47614 0 0 0 103811 176 0 0 25 0 1 0 365492902 187113472 43553 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45682 43553 603 41 0 45641 0
vsize: 182728
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 47862 0 0 0 104810 177 0 0 25 0 1 0 365492902 188059648 43801 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45913 43801 603 41 0 45872 0
vsize: 183652
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 48155 0 0 0 105810 177 0 0 25 0 1 0 365492902 189243392 44094 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46202 44094 603 41 0 46161 0
vsize: 184808
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 48762 0 0 0 106809 178 0 0 25 0 1 0 365492902 191709184 44701 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46804 44701 603 41 0 46763 0
vsize: 187216
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 49476 0 0 0 107808 180 0 0 25 0 1 0 365492902 194682880 45415 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47530 45415 603 41 0 47489 0
vsize: 190120
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 50038 0 0 0 108807 181 0 0 25 0 1 0 365492902 196960256 45977 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48086 45977 603 41 0 48045 0
vsize: 192344
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19055
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 50404 0 0 0 109806 182 0 0 25 0 1 0 365492902 198389760 46343 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48435 46343 603 41 0 48394 0
vsize: 193740
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 50589 0 0 0 110806 182 0 0 25 0 1 0 365492902 199168000 46528 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48625 46528 603 41 0 48584 0
vsize: 194500
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 50853 0 0 0 111806 183 0 0 25 0 1 0 365492902 200327168 46792 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48908 46792 603 41 0 48867 0
vsize: 195632
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 51171 0 0 0 112805 183 0 0 25 0 1 0 365492902 201527296 47110 4294967295 134512640 134672761 3221224560 3221223704 134616347 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49201 47110 603 41 0 49160 0
vsize: 196804
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 51494 0 0 0 113805 184 0 0 25 0 1 0 365492902 202862592 47433 4294967295 134512640 134672761 3221224560 3221223704 134616347 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49527 47433 603 41 0 49486 0
vsize: 198108
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 51856 0 0 0 114804 185 0 0 25 0 1 0 365492902 204439552 47795 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49912 47795 603 41 0 49871 0
vsize: 199648
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 52096 0 0 0 115803 186 0 0 25 0 1 0 365492902 205324288 48035 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50128 48035 603 41 0 50087 0
vsize: 200512
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 52301 0 0 0 116803 186 0 0 25 0 1 0 365492902 206188544 48240 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50339 48240 603 41 0 50298 0
vsize: 201356
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 52678 0 0 0 117802 187 0 0 25 0 1 0 365492902 207773696 48617 4294967295 134512640 134672761 3221224560 3221223704 134616154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50726 48617 603 41 0 50685 0
vsize: 202904
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 52816 0 0 0 118802 188 0 0 25 0 1 0 365492902 208273408 48755 4294967295 134512640 134672761 3221224560 3221223744 134615724 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50848 48755 603 41 0 50807 0
vsize: 203392
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 53130 0 0 0 119801 189 0 0 25 0 1 0 365492902 209547264 49069 4294967295 134512640 134672761 3221224560 3221223600 134614333 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51159 49069 603 41 0 51118 0
vsize: 204636
[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 19057
Raw data (stat): 19049 (minisat+) R 19048 12452 12451 0 -1 0 53551 0 0 0 120800 190 0 0 25 0 1 0 365492902 211353600 49490 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51600 49490 603 41 0 51559 0
vsize: 206400
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 19057
Raw data (stat): 19049 (minisat+) Z 19048 12452 12451 0 -1 12 53552 0 0 0 120801 202 0 0 25 0 1 0 365492902 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.16
CPU time (s): 1210.04
CPU user time (s): 1208.01
CPU system time (s): 2.02569
CPU usage (%): 99.99
Max. virtual memory (Kb): 206400
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####