PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM	550a32227cb0042826e9d8b0433b2655
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	1400
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	109401
Number of constraints which are clauses	109401
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 5639

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        860092 kB
Buffers:         34764 kB
Cached:         103160 kB
SwapCached:        320 kB
Active:          57676 kB
Inactive:        83392 kB
HighTotal:      131008 kB
HighFree:        23884 kB
LowTotal:       903652 kB
LowFree:        836208 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27820 kB
Committed_AS:    63668 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 01:27:50 (client local time) WITH STATUS 10 IN 1209.23 SECONDS
stats: 4105 7 1209.23 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109401 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 |  109401   218802 |   32820       0        0     nan |  0.000 % |
c   -- subsuming                       
c |         0 |  109401   218802 |   43760       0        0     nan |  0.000 % |
c ==============================================================================
c (current CPU-time: 6.35403 s)
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  193100   415111 |   57929       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/56936          
c   -- var.elim.:  2000/56936          
c   -- var.elim.:  3000/56936          
c   -- var.elim.:  4000/56936          
c   -- var.elim.:  5000/56936          
c   -- var.elim.:  6000/56936          
c   -- var.elim.:  7000/56936          
c   -- var.elim.:  8000/56936          
c   -- var.elim.:  9000/56936          
c   -- var.elim.:  10000/56936          
c   -- var.elim.:  11000/56936          
c   -- var.elim.:  12000/56936          
c   -- var.elim.:  13000/56936          
c   -- var.elim.:  14000/56936          
c   -- var.elim.:  15000/56936          
c   -- var.elim.:  16000/56936          
c   -- var.elim.:  17000/56936          
c   -- var.elim.:  18000/56936          
c   -- var.elim.:  19000/56936          
c   -- var.elim.:  20000/56936          
c   -- var.elim.:  21000/56936          
c   -- var.elim.:  22000/56936          
c   -- var.elim.:  23000/56936          
c   -- var.elim.:  24000/56936          
c   -- var.elim.:  25000/56936          
c   -- var.elim.:  26000/56936          
c   -- var.elim.:  27000/56936          
c   -- var.elim.:  28000/56936          
c   -- var.elim.:  29000/56936          
c   -- var.elim.:  30000/56936          
c   -- var.elim.:  31000/56936          
c   -- var.elim.:  32000/56936          
c   -- var.elim.:  33000/56936          
c   -- var.elim.:  34000/56936          
c   -- var.elim.:  35000/56936          
c   -- var.elim.:  36000/56936          
c   -- var.elim.:  37000/56936          
c   -- var.elim.:  38000/56936          
c   -- var.elim.:  39000/56936          
c   -- var.elim.:  40000/56936          
c   -- var.elim.:  41000/56936          
c   -- var.elim.:  42000/56936          
c   -- var.elim.:  43000/56936          
c   -- var.elim.:  44000/56936          
c   -- var.elim.:  45000/56936          
c   -- var.elim.:  46000/56936          
c   -- var.elim.:  47000/56936          
c   -- var.elim.:  48000/56936          
c   -- var.elim.:  49000/56936          
c   -- var.elim.:  50000/56936          
c   -- var.elim.:  51000/56936          
c   -- var.elim.:  52000/56936          
c   -- var.elim.:  53000/56936          
c   -- var.elim.:  54000/56936          
c   -- var.elim.:  55000/56936          
c   -- var.elim.:  56000/56936          
c   -- var.elim.:  56936/56936          
c   -- var.elim.:  1000/28843          
c   -- var.elim.:  2000/28843          
c   -- var.elim.:  3000/28843          
c   -- var.elim.:  4000/28843          
c   -- var.elim.:  5000/28843          
c   -- var.elim.:  6000/28843          
c   -- var.elim.:  7000/28843          
c   -- var.elim.:  8000/28843          
c   -- var.elim.:  9000/28843          
c   -- var.elim.:  10000/28843          
c   -- var.elim.:  11000/28843          
c   -- var.elim.:  12000/28843          
c   -- var.elim.:  13000/28843          
c   -- var.elim.:  14000/28843          
c   -- var.elim.:  15000/28843          
c   -- var.elim.:  16000/28843          
c   -- var.elim.:  17000/28843          
c   -- var.elim.:  18000/28843          
c   -- var.elim.:  19000/28843          
c   -- var.elim.:  20000/28843          
c   -- var.elim.:  21000/28843          
c   -- var.elim.:  22000/28843          
c   -- var.elim.:  23000/28843          
c   -- var.elim.:  24000/28843          
c   -- var.elim.:  25000/28843          
c   -- var.elim.:  26000/28843          
c   -- var.elim.:  27000/28843          
c   -- var.elim.:  28000/28843          
c   -- var.elim.:  28843/28843          
c   -- var.elim.:  1000/7453          
c   -- var.elim.:  2000/7453          
c   -- var.elim.:  3000/7453          
c   -- var.elim.:  4000/7453          
c   -- var.elim.:  5000/7453          
c   -- var.elim.:  6000/7453          
c   -- var.elim.:  7000/7453          
c   -- var.elim.:  7453/7453          
c   -- subsuming                       
c   -- var.elim.:  1000/11523          
c   -- var.elim.:  2000/11523          
c   -- var.elim.:  3000/11523          
c   -- var.elim.:  4000/11523          
c   -- var.elim.:  5000/11523          
c   -- var.elim.:  6000/11523          
c   -- var.elim.:  7000/11523          
c   -- var.elim.:  8000/11523          
c   -- var.elim.:  9000/11523          
c   -- var.elim.:  10000/11523          
c   -- var.elim.:  11000/11523          
c   -- var.elim.:  11523/11523          
c   -- var.elim.:  520/520          
c   -- subsuming                       
c   -- var.elim.:  1000/2210          
c   -- var.elim.:  2000/2210          
c   -- var.elim.:  2210/2210          
c |         0 |  133843   438595 |      --       0       --      -- |     --   | -59251/23502
c |         0 |  133843   438595 |   53537       0        0     nan |  0.000 % |
c |       102 |  133827   438492 |   58883     101    30476   301.7 | 53.709 % |
c |       252 |  133827   438492 |   64772     251    38182   152.1 | 53.708 % |
c |       477 |  133827   438492 |   71249     476    85930   180.5 | 53.709 % |
c |       814 |  133827   438492 |   78374     813   175252   215.6 | 53.708 % |
c |      1320 |  133803   438243 |   86196    1317   291168   221.1 | 53.750 % |
c |      2079 |  133767   437869 |   94790    2074   437129   210.8 | 53.813 % |
c |      3218 |  133767   437869 |  104269    3213   785138   244.4 | 53.813 % |
c |      4926 |  133767   437869 |  114696    4921  1240708   252.1 | 53.813 % |
c ==============================================================================
c (current CPU-time: 324.967 s)
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |      7036 |  139837   454447 |   41951    7028  1788830   254.5 | 53.813 % |
c   -- subsuming                       
c   -- var.elim.:  1000/16740          
c   -- var.elim.:  2000/16740          
c   -- var.elim.:  3000/16740          
c   -- var.elim.:  4000/16740          
c   -- var.elim.:  5000/16740          
c   -- var.elim.:  6000/16740          
c   -- var.elim.:  7000/16740          
c   -- var.elim.:  8000/16740          
c   -- var.elim.:  9000/16740          
c   -- var.elim.:  10000/16740          
c   -- var.elim.:  11000/16740          
c   -- var.elim.:  12000/16740          
c   -- var.elim.:  13000/16740          
c   -- var.elim.:  14000/16740          
c   -- var.elim.:  15000/16740          
c   -- var.elim.:  16000/16740          
c   -- var.elim.:  16740/16740          
c   -- var.elim.:  1000/4832          
c   -- var.elim.:  2000/4832          
c   -- var.elim.:  3000/4832          
c   -- var.elim.:  4000/4832          
c   -- var.elim.:  4832/4832          
c |      7036 |  133781   453142 |      --    7028       --      -- |     --   | -6056/-1304
c |      7036 |  133781   453142 |   53512    7028  1788830   254.5 | 53.813 % |
c |      7136 |  133781   453142 |   58863    7128  1819749   255.3 | 57.189 % |
c |      7286 |  133781   453142 |   64750    7278  1838509   252.6 | 57.189 % |
c |      7511 |  133781   453142 |   71225    7503  1903732   253.7 | 57.190 % |
c |      7849 |  133781   453142 |   78347    7841  1997327   254.7 | 57.189 % |
c |      8355 |  133724   452524 |   86145    8342  2132561   255.6 | 57.273 % |
c |      9116 |  133724   452524 |   94760    9103  2405408   264.2 | 57.273 % |
c |     10255 |  133724   452524 |  104236   10242  2759165   269.4 | 57.273 % |
c |     11963 |  133469   449835 |  114441   11934  3265678   273.6 | 57.657 % |
c |     14525 |  133353   448745 |  125775   14474  4144758   286.4 | 57.831 % |
c |     18370 |  133071   445990 |  138060   18302  5484161   299.6 | 58.225 % |
c ==============================================================================
c (current CPU-time: 424.353 s)
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |     18887 |  135196   452135 |   40558   18819  5654607   300.5 | 58.225 % |
c   -- subsuming                       
c   -- var.elim.:  1000/13625          
c   -- var.elim.:  2000/13625          
c   -- var.elim.:  3000/13625          
c   -- var.elim.:  4000/13625          
c   -- var.elim.:  5000/13625          
c   -- var.elim.:  6000/13625          
c   -- var.elim.:  7000/13625          
c   -- var.elim.:  8000/13625          
c   -- var.elim.:  9000/13625          
c   -- var.elim.:  10000/13625          
c   -- var.elim.:  11000/13625          
c   -- var.elim.:  12000/13625          
c   -- var.elim.:  13000/13625          
c   -- var.elim.:  13625/13625          
c   -- var.elim.:  1000/2102          
c   -- var.elim.:  2000/2102          
c   -- var.elim.:  2102/2102          
c |     18887 |  133060   440208 |      --   18819       --      -- |     --   | -2118/-3936
c |     18887 |  133060   440208 |   53224   17404  3621625   208.1 | 58.225 % |
c |     18987 |  133060   440208 |   58546   17504  3697335   211.2 | 58.299 % |
c |     19137 |  133060   440208 |   64401   17654  3740728   211.9 | 58.299 % |
c |     19362 |  133060   440208 |   70841   17879  3793349   212.2 | 58.299 % |
c |     19699 |  133060   440208 |   77925   18216  3879734   213.0 | 58.299 % |
c |     20205 |  132994   439519 |   85675   18713  4027699   215.2 | 58.399 % |
c |     20964 |  132955   439201 |   94215   19467  4272598   219.5 | 58.444 % |
c |     22103 |  132871   438522 |  103571   20593  4661943   226.4 | 58.557 % |
c |     23811 |  132869   438500 |  113926   22298  5140323   230.5 | 58.560 % |
c |     26374 |  132825   438042 |  125277   24851  6007613   241.7 | 58.631 % |
c |     30218 |  132563   435393 |  137533   28655  7308060   255.0 | 59.053 % |
c |     35984 |  132170   431421 |  150838   34378  9417109   273.9 | 59.685 % |
c |     44633 |  131702   426881 |  165334   42928 12962548   302.0 | 60.439 % |
c ==============================================================================
c (current CPU-time: 682.619 s)
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |     55406 |  137479   439156 |   41243   53614 17682785   329.8 | 60.439 % |
c   -- subsuming                       
c   -- var.elim.:  1000/17788          
c   -- var.elim.:  2000/17788          
c   -- var.elim.:  3000/17788          
c   -- var.elim.:  4000/17788          
c   -- var.elim.:  5000/17788          
c   -- var.elim.:  6000/17788          
c   -- var.elim.:  7000/17788          
c   -- var.elim.:  8000/17788          
c   -- var.elim.:  9000/17788          
c   -- var.elim.:  10000/17788          
c   -- var.elim.:  11000/17788          
c   -- var.elim.:  12000/17788          
c   -- var.elim.:  13000/17788          
c   -- var.elim.:  14000/17788          
c   -- var.elim.:  15000/17788          
c   -- var.elim.:  16000/17788          
c   -- var.elim.:  17000/17788          
c   -- var.elim.:  17788/17788          
c   -- var.elim.:  1000/4452          
c   -- var.elim.:  2000/4452          
c   -- var.elim.:  3000/4452          
c   -- var.elim.:  4000/4452          
c   -- var.elim.:  4452/4452          
c   -- var.elim.:  4/4          
c   -- subsuming                       
c   -- var.elim.:  1000/4409          
c   -- var.elim.:  2000/4409          
c   -- var.elim.:  3000/4409          
c   -- var.elim.:  4000/4409          
c   -- var.elim.:  4409/4409          
c   -- var.elim.:  133/133          
c |     55406 |  131353   432217 |      --   53614       --      -- |     --   | -6104/-6702
c |     55406 |  131353   432217 |   52541   49771 13726616   275.8 | 60.439 % |
c |     55506 |  131353   432217 |   57795   49871 13752386   275.8 | 62.446 % |
c |     55656 |  131315   431896 |   63556   50020 13840745   276.7 | 62.505 % |
c |     55881 |  131315   431896 |   69912   50245 13975641   278.1 | 62.505 % |
c |     56219 |  131284   431561 |   76885   50565 14084507   278.5 | 62.552 % |
c |     56725 |  131284   431561 |   84573   51071 14269429   279.4 | 62.552 % |
c |     57485 |  131242   431081 |   93001   51820 14557850   280.9 | 62.617 % |
c |     58625 |  131202   430741 |  102270   52950 15016893   283.6 | 62.680 % |
c |     60333 |  131160   430295 |  112461   54652 15732988   287.9 | 62.745 % |
c |     62895 |  131152   430224 |  123699   57209 16811603   293.9 | 62.757 % |
c |     66739 |  130948   428291 |  135858   61012 18595312   304.8 | 63.068 % |
c |     72506 |  130846   427273 |  149327   66763 21250445   318.3 | 63.227 % |
c |     81155 |  130592   424726 |  163941   75371 25820148   342.6 | 63.622 % |
c |     94129 |  130444   423233 |  180131   88253 32742823   371.0 | 63.846 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1400 -C1399 -C1398 -C1397 -C1396 C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 C1301 -C1300 -C1299 -C1298 -C1297 C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 C1055 -C1054 -C1053 -C1052 -C1051 -C1050 C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 #### 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.98 0.91 2/55 26115
Raw data (stat): 26115 (runsolver) R 26114 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 480499835 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9999 s]
Raw data (loadavg): 0.93 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 10784 0 0 0 959 38 0 0 25 0 1 0 480499835 45318144 10088 4294967295 134512640 134672761 3221224560 3221222912 134605492 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11064 10088 603 41 0 11023 0
vsize: 44256
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11613 0 0 0 1948 50 0 0 25 0 1 0 480499835 48742400 10917 4294967295 134512640 134672761 3221224560 3221222992 134604052 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11900 10917 603 41 0 11859 0
vsize: 47600
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11616 0 0 0 2948 50 0 0 25 0 1 0 480499835 48742400 10920 4294967295 134512640 134672761 3221224560 3221223056 134644240 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11900 10920 603 41 0 11859 0
vsize: 47600
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11622 0 0 0 3947 50 0 0 25 0 1 0 480499835 48812032 10926 4294967295 134512640 134672761 3221224560 3221223056 134644269 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11917 10926 603 41 0 11876 0
vsize: 47668
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11625 0 0 0 4947 50 0 0 25 0 1 0 480499835 48812032 10929 4294967295 134512640 134672761 3221224560 3221223056 134644269 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11917 10929 603 41 0 11876 0
vsize: 47668
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11658 0 0 0 5947 50 0 0 25 0 1 0 480499835 49074176 10962 4294967295 134512640 134672761 3221224560 3221221824 134566704 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10962 603 41 0 11940 0
vsize: 47924
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11659 0 0 0 6947 50 0 0 25 0 1 0 480499835 49074176 10963 4294967295 134512640 134672761 3221224560 3221222992 134605448 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10963 603 41 0 11940 0
vsize: 47924
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11661 0 0 0 7947 50 0 0 25 0 1 0 480499835 49074176 10965 4294967295 134512640 134672761 3221224560 3221223056 134644227 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10965 603 41 0 11940 0
vsize: 47924
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11662 0 0 0 8947 50 0 0 25 0 1 0 480499835 49074176 10966 4294967295 134512640 134672761 3221224560 3221222992 134604052 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10966 603 41 0 11940 0
vsize: 47924
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11663 0 0 0 9947 50 0 0 25 0 1 0 480499835 49074176 10967 4294967295 134512640 134672761 3221224560 3221223088 134606979 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10967 603 41 0 11940 0
vsize: 47924
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11664 0 0 0 10948 50 0 0 25 0 1 0 480499835 49074176 10968 4294967295 134512640 134672761 3221224560 3221223056 134644266 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10968 603 41 0 11940 0
vsize: 47924
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11666 0 0 0 11948 50 0 0 25 0 1 0 480499835 49074176 10970 4294967295 134512640 134672761 3221224560 3221222928 134603527 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10970 603 41 0 11940 0
vsize: 47924
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11667 0 0 0 12948 50 0 0 25 0 1 0 480499835 49074176 10971 4294967295 134512640 134672761 3221224560 3221222928 134603565 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10971 603 41 0 11940 0
vsize: 47924
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11669 0 0 0 13948 50 0 0 25 0 1 0 480499835 49074176 10973 4294967295 134512640 134672761 3221224560 3221223008 134643493 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10973 603 41 0 11940 0
vsize: 47924
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11672 0 0 0 14948 50 0 0 25 0 1 0 480499835 49074176 10976 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10976 603 41 0 11940 0
vsize: 47924
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11674 0 0 0 15948 50 0 0 25 0 1 0 480499835 49074176 10978 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10978 603 41 0 11940 0
vsize: 47924
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11676 0 0 0 16948 50 0 0 25 0 1 0 480499835 49074176 10980 4294967295 134512640 134672761 3221224560 3221223008 134643542 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10980 603 41 0 11940 0
vsize: 47924
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11679 0 0 0 17948 50 0 0 25 0 1 0 480499835 49074176 10983 4294967295 134512640 134672761 3221224560 3221223144 134607947 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10983 603 41 0 11940 0
vsize: 47924
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11685 0 0 0 18949 50 0 0 25 0 1 0 480499835 49074176 10989 4294967295 134512640 134672761 3221224560 3221223088 134607100 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11981 10989 603 41 0 11940 0
vsize: 47924
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11717 0 0 0 19948 50 0 0 25 0 1 0 480499835 49106944 10965 4294967295 134512640 134672761 3221224560 3221223008 134643474 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11989 10965 603 41 0 11948 0
vsize: 47956
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11717 0 0 0 20949 50 0 0 25 0 1 0 480499835 49106944 10965 4294967295 134512640 134672761 3221224560 3221223008 134643612 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11989 10965 603 41 0 11948 0
vsize: 47956
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11717 0 0 0 21949 50 0 0 25 0 1 0 480499835 49106944 10965 4294967295 134512640 134672761 3221224560 3221223008 134643542 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11989 10965 603 41 0 11948 0
vsize: 47956
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 11717 0 0 0 22949 51 0 0 25 0 1 0 480499835 48975872 10965 4294967295 134512640 134672761 3221224560 3221223008 134643545 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11957 10965 603 41 0 11916 0
vsize: 47828
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 12095 0 0 0 23948 52 0 0 25 0 1 0 480499835 50733056 11343 4294967295 134512640 134672761 3221224560 3221223272 134643062 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12386 11343 603 41 0 12345 0
vsize: 49544
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26115
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 12095 0 0 0 24948 52 0 0 25 0 1 0 480499835 50733056 11343 4294967295 134512640 134672761 3221224560 3221223056 134607100 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12386 11343 603 41 0 12345 0
vsize: 49544
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 12095 0 0 0 25948 52 0 0 25 0 1 0 480499835 50733056 11343 4294967295 134512640 134672761 3221224560 3221223052 134642716 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12386 11343 603 41 0 12345 0
vsize: 49544
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 12095 0 0 0 26948 52 0 0 25 0 1 0 480499835 50733056 11343 4294967295 134512640 134672761 3221224560 3221223104 134621071 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12386 11343 603 41 0 12345 0
vsize: 49544
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 12095 0 0 0 27948 52 0 0 25 0 1 0 480499835 50733056 11343 4294967295 134512640 134672761 3221224560 3221223104 134621086 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12386 11343 603 41 0 12345 0
vsize: 49544
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 12095 0 0 0 28948 52 0 0 25 0 1 0 480499835 48975872 10965 4294967295 134512640 134672761 3221224560 3221223008 134643516 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11957 10965 603 41 0 11916 0
vsize: 47828
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 12473 0 0 0 29947 53 0 0 25 0 1 0 480499835 48975872 10965 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11957 10965 603 41 0 11916 0
vsize: 47828
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 12609 0 0 0 30947 53 0 0 25 0 1 0 480499835 49491968 11101 4294967295 134512640 134672761 3221224560 3221223684 134566122 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12083 11101 603 41 0 12042 0
vsize: 48332
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 13369 0 0 0 31946 55 0 0 25 0 1 0 480499835 52609024 11861 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12844 11861 603 41 0 12803 0
vsize: 51376
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 16215 0 0 0 32934 67 0 0 25 0 1 0 480499835 58671104 13037 4294967295 134512640 134672761 3221224560 3221223104 134621194 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14324 13037 603 41 0 14283 0
vsize: 57296
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 16216 0 0 0 33867 106 0 0 25 0 1 0 480499835 55681024 12660 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13594 12660 603 41 0 13553 0
vsize: 54376
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 16216 0 0 0 34867 106 0 0 25 0 1 0 480499835 55681024 12660 4294967295 134512640 134672761 3221224560 3221223008 134643580 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13594 12660 603 41 0 13553 0
vsize: 54376
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 16216 0 0 0 35867 106 0 0 25 0 1 0 480499835 55681024 12660 4294967295 134512640 134672761 3221224560 3221223008 134643612 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13594 12660 603 41 0 13553 0
vsize: 54376
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 16216 0 0 0 36867 106 0 0 25 0 1 0 480499835 55681024 12660 4294967295 134512640 134672761 3221224560 3221223008 134643483 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13594 12660 603 41 0 13553 0
vsize: 54376
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 16497 0 0 0 37866 108 0 0 25 0 1 0 480499835 56942592 12941 4294967295 134512640 134672761 3221224560 3221223432 1075353072 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13902 12944 603 41 0 13861 0
vsize: 55608
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 17444 0 0 0 38864 109 0 0 25 0 1 0 480499835 60796928 13888 4294967295 134512640 134672761 3221224560 3221223568 134522555 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14843 13888 603 41 0 14802 0
vsize: 59372
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 18104 0 0 0 39863 111 0 0 25 0 1 0 480499835 63496192 14548 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15502 14548 603 41 0 15461 0
vsize: 62008
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 18783 0 0 0 40861 112 0 0 25 0 1 0 480499835 66269184 15227 4294967295 134512640 134672761 3221224560 3221223744 134615794 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16179 15227 603 41 0 16138 0
vsize: 64716
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 19389 0 0 0 41860 113 0 0 25 0 1 0 480499835 68780032 15833 4294967295 134512640 134672761 3221224560 3221223744 134615739 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16792 15833 603 41 0 16751 0
vsize: 67168
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 22509 0 0 0 42841 132 0 0 25 0 1 0 480499835 80289792 17111 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19602 17111 603 41 0 19561 0
vsize: 78408
[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 22509 0 0 0 43834 139 0 0 25 0 1 0 480499835 77594624 16733 4294967295 134512640 134672761 3221224560 3221222864 134621821 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18944 16733 603 41 0 18903 0
vsize: 75776
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 22509 0 0 0 44834 139 0 0 25 0 1 0 480499835 77594624 16733 4294967295 134512640 134672761 3221224560 3221223008 134644014 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18944 16733 603 41 0 18903 0
vsize: 75776
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 22509 0 0 0 45834 139 0 0 25 0 1 0 480499835 77594624 16733 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18944 16733 603 41 0 18903 0
vsize: 75776
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 22510 0 0 0 46834 139 0 0 25 0 1 0 480499835 77594624 16734 4294967295 134512640 134672761 3221224560 3221223704 134616123 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18944 16734 603 41 0 18903 0
vsize: 75776
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 22512 0 0 0 47834 139 0 0 25 0 1 0 480499835 77594624 16736 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18944 16736 603 41 0 18903 0
vsize: 75776
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 22514 0 0 0 48834 139 0 0 25 0 1 0 480499835 77594624 16738 4294967295 134512640 134672761 3221224560 3221223600 134612934 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18944 16738 603 41 0 18903 0
vsize: 75776
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 23135 0 0 0 49833 140 0 0 25 0 1 0 480499835 80044032 17359 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19542 17359 603 41 0 19501 0
vsize: 78168
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 23652 0 0 0 50832 142 0 0 25 0 1 0 480499835 82223104 17876 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20074 17876 603 41 0 20033 0
vsize: 80296
[startup+520.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 24265 0 0 0 51831 143 0 0 25 0 1 0 480499835 84676608 18489 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20673 18489 603 41 0 20632 0
vsize: 82692
[startup+530.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 24907 0 0 0 52829 145 0 0 25 0 1 0 480499835 87285760 19131 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21310 19131 603 41 0 21269 0
vsize: 85240
[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 25660 0 0 0 53828 146 0 0 25 0 1 0 480499835 90525696 19884 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22101 19884 603 41 0 22060 0
vsize: 88404
[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26117
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 26284 0 0 0 54826 148 0 0 25 0 1 0 480499835 93114368 20508 4294967295 134512640 134672761 3221224560 3221223552 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22733 20508 603 41 0 22692 0
vsize: 90932
[startup+560.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 26819 0 0 0 55825 150 0 0 25 0 1 0 480499835 95178752 21043 4294967295 134512640 134672761 3221224560 3221223704 134616317 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23237 21043 603 41 0 23196 0
vsize: 92948
[startup+570.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 27400 0 0 0 56823 151 0 0 25 0 1 0 480499835 97640448 21624 4294967295 134512640 134672761 3221224560 3221223568 134607968 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23838 21624 603 41 0 23797 0
vsize: 95352
[startup+580.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 28091 0 0 0 57821 154 0 0 25 0 1 0 480499835 100438016 22315 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24521 22315 603 41 0 24480 0
vsize: 98084
[startup+590.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 28702 0 0 0 58819 156 0 0 25 0 1 0 480499835 102883328 22926 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25118 22926 603 41 0 25077 0
vsize: 100472
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 29434 0 0 0 59818 157 0 0 25 0 1 0 480499835 105873408 23658 4294967295 134512640 134672761 3221224560 3221223704 134616347 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25848 23658 603 41 0 25807 0
vsize: 103392
[startup+610.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 29977 0 0 0 60817 158 0 0 25 0 1 0 480499835 108191744 24201 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26414 24201 603 41 0 26373 0
vsize: 105656
[startup+620.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 30585 0 0 0 61816 160 0 0 25 0 1 0 480499835 110624768 24809 4294967295 134512640 134672761 3221224560 3221223744 134615660 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27008 24809 603 41 0 26967 0
vsize: 108032
[startup+630.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 31120 0 0 0 62815 161 0 0 25 0 1 0 480499835 112857088 25344 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27553 25344 603 41 0 27512 0
vsize: 110212
[startup+640.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 31668 0 0 0 63814 162 0 0 25 0 1 0 480499835 115113984 25892 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28104 25892 603 41 0 28063 0
vsize: 112416
[startup+650.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 32243 0 0 0 64813 163 0 0 25 0 1 0 480499835 117411840 26467 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28665 26467 603 41 0 28624 0
vsize: 114660
[startup+660.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 32850 0 0 0 65812 164 0 0 25 0 1 0 480499835 119848960 27074 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29260 27074 603 41 0 29219 0
vsize: 117040
[startup+670.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 33402 0 0 0 66811 166 0 0 25 0 1 0 480499835 122175488 27626 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29828 27626 603 41 0 29787 0
vsize: 119312
[startup+680.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 34157 0 0 0 67809 168 0 0 25 0 1 0 480499835 125276160 28381 4294967295 134512640 134672761 3221224560 3221223704 134616263 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30585 28381 603 41 0 30544 0
vsize: 122340
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37151 0 0 0 68787 189 0 0 25 0 1 0 480499835 129462272 29267 4294967295 134512640 134672761 3221224560 3221223052 134642887 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31607 29267 603 41 0 31566 0
vsize: 126428
[startup+700.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37207 0 0 0 69786 191 0 0 25 0 1 0 480499835 126685184 28864 4294967295 134512640 134672761 3221224560 3221222912 134605852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28864 603 41 0 30888 0
vsize: 123716
[startup+710.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37232 0 0 0 70677 222 0 0 25 0 1 0 480499835 126685184 28889 4294967295 134512640 134672761 3221224560 3221223008 134643548 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30929 28889 603 41 0 30888 0
vsize: 123716
[startup+720.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37232 0 0 0 71677 223 0 0 25 0 1 0 480499835 126685184 28889 4294967295 134512640 134672761 3221224560 3221223008 134643996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28889 603 41 0 30888 0
vsize: 123716
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37232 0 0 0 72677 223 0 0 25 0 1 0 480499835 126685184 28889 4294967295 134512640 134672761 3221224560 3221223008 134643539 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28889 603 41 0 30888 0
vsize: 123716
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37232 0 0 0 73677 223 0 0 25 0 1 0 480499835 126685184 28889 4294967295 134512640 134672761 3221224560 3221222840 1075353072 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28889 603 41 0 30888 0
vsize: 123716
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37610 0 0 0 74676 224 0 0 25 0 1 0 480499835 129622016 29267 4294967295 134512640 134672761 3221224560 3221222732 134642890 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31646 29267 603 41 0 31605 0
vsize: 126584
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37610 0 0 0 75676 225 0 0 25 0 1 0 480499835 129622016 29267 4294967295 134512640 134672761 3221224560 3221223104 134621230 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31646 29267 603 41 0 31605 0
vsize: 126584
[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37610 0 0 0 76676 225 0 0 25 0 1 0 480499835 126685184 28889 4294967295 134512640 134672761 3221224560 3221223008 134643977 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28889 603 41 0 30888 0
vsize: 123716
[startup+780.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37610 0 0 0 77676 225 0 0 25 0 1 0 480499835 126685184 28889 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28889 603 41 0 30888 0
vsize: 123716
[startup+790.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37610 0 0 0 78675 225 0 0 25 0 1 0 480499835 126685184 28889 4294967295 134512640 134672761 3221224560 3221223600 134614266 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28889 603 41 0 30888 0
vsize: 123716
[startup+800.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37610 0 0 0 79675 226 0 0 25 0 1 0 480499835 126685184 28889 4294967295 134512640 134672761 3221224560 3221223704 134616347 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28889 603 41 0 30888 0
vsize: 123716
[startup+810.018 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37610 0 0 0 80675 226 0 0 25 0 1 0 480499835 126685184 28889 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28889 603 41 0 30888 0
vsize: 123716
[startup+820.018 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37611 0 0 0 81675 226 0 0 25 0 1 0 480499835 126685184 28890 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28890 603 41 0 30888 0
vsize: 123716
[startup+830.018 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37613 0 0 0 82675 227 0 0 25 0 1 0 480499835 126685184 28892 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28892 603 41 0 30888 0
vsize: 123716
[startup+840.018 s]
Raw data (loadavg): 1.12 1.02 0.93 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37614 0 0 0 83675 227 0 0 25 0 1 0 480499835 126685184 28893 4294967295 134512640 134672761 3221224560 3221223704 134616108 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28893 603 41 0 30888 0
vsize: 123716
[startup+850.018 s]
Raw data (loadavg): 1.10 1.02 0.93 2/55 26119
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 37615 0 0 0 84674 228 0 0 25 0 1 0 480499835 126685184 28894 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30929 28894 603 41 0 30888 0
vsize: 123716
[startup+860.018 s]
Raw data (loadavg): 1.09 1.01 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 38153 0 0 0 85672 230 0 0 25 0 1 0 480499835 128884736 29432 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31466 29432 603 41 0 31425 0
vsize: 125864
[startup+870.019 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 38750 0 0 0 86671 232 0 0 25 0 1 0 480499835 131387392 30029 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32077 30029 603 41 0 32036 0
vsize: 128308
[startup+880.02 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 39328 0 0 0 87669 233 0 0 25 0 1 0 480499835 133697536 30607 4294967295 134512640 134672761 3221224560 3221223600 134612642 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32641 30607 603 41 0 32600 0
vsize: 130564
[startup+890.02 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 39909 0 0 0 88667 235 0 0 25 0 1 0 480499835 136142848 31188 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33238 31188 603 41 0 33197 0
vsize: 132952
[startup+900.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 40624 0 0 0 89665 237 0 0 25 0 1 0 480499835 138964992 31903 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33927 31903 603 41 0 33886 0
vsize: 135708
[startup+910.019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 41165 0 0 0 90664 239 0 0 25 0 1 0 480499835 141545472 32444 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34557 32444 603 41 0 34516 0
vsize: 138228
[startup+920.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 41994 0 0 0 91662 241 0 0 25 0 1 0 480499835 144842752 33273 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35362 33273 603 41 0 35321 0
vsize: 141448
[startup+930.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 42670 0 0 0 92661 242 0 0 25 0 1 0 480499835 147623936 33949 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36041 33949 603 41 0 36000 0
vsize: 144164
[startup+940.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 43054 0 0 0 93660 243 0 0 25 0 1 0 480499835 149217280 34333 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36430 34333 603 41 0 36389 0
vsize: 145720
[startup+950.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 43418 0 0 0 94659 244 0 0 25 0 1 0 480499835 150650880 34697 4294967295 134512640 134672761 3221224560 3221223600 134614256 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36780 34697 603 41 0 36739 0
vsize: 147120
[startup+960.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 43986 0 0 0 95658 245 0 0 25 0 1 0 480499835 153051136 35265 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37366 35265 603 41 0 37325 0
vsize: 149464
[startup+970.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 44504 0 0 0 96656 247 0 0 25 0 1 0 480499835 155201536 35783 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37891 35783 603 41 0 37850 0
vsize: 151564
[startup+980.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 45593 0 0 0 97654 250 0 0 25 0 1 0 480499835 159612928 36872 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38968 36872 603 41 0 38927 0
vsize: 155872
[startup+990.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 45958 0 0 0 98653 251 0 0 25 0 1 0 480499835 161026048 37237 4294967295 134512640 134672761 3221224560 3221223600 134612614 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39313 37237 603 41 0 39272 0
vsize: 157252
[startup+1000.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 46226 0 0 0 99652 252 0 0 25 0 1 0 480499835 162181120 37505 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39595 37505 603 41 0 39554 0
vsize: 158380
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 46698 0 0 0 100651 253 0 0 25 0 1 0 480499835 164106240 37977 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40065 37977 603 41 0 40024 0
vsize: 160260
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 46951 0 0 0 101651 253 0 0 25 0 1 0 480499835 165134336 38230 4294967295 134512640 134672761 3221224560 3221223704 134616347 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40316 38230 603 41 0 40275 0
vsize: 161264
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 47676 0 0 0 102649 256 0 0 25 0 1 0 480499835 168079360 38955 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41035 38955 603 41 0 40994 0
vsize: 164140
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 48276 0 0 0 103647 258 0 0 25 0 1 0 480499835 170532864 39555 4294967295 134512640 134672761 3221224560 3221223760 134610707 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41634 39555 603 41 0 41593 0
vsize: 166536
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 48945 0 0 0 104645 260 0 0 25 0 1 0 480499835 173236224 40224 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42294 40224 603 41 0 42253 0
vsize: 169176
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 49541 0 0 0 105643 261 0 0 25 0 1 0 480499835 175693824 40820 4294967295 134512640 134672761 3221224560 3221223600 134612614 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42894 40820 603 41 0 42853 0
vsize: 171576
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 49867 0 0 0 106642 263 0 0 25 0 1 0 480499835 177119232 41146 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43242 41146 603 41 0 43201 0
vsize: 172968
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 50451 0 0 0 107641 264 0 0 25 0 1 0 480499835 179466240 41730 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43815 41730 603 41 0 43774 0
vsize: 175260
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 51205 0 0 0 108639 266 0 0 25 0 1 0 480499835 182517760 42484 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44560 42484 603 41 0 44519 0
vsize: 178240
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 52310 0 0 0 109636 270 0 0 25 0 1 0 480499835 186994688 43589 4294967295 134512640 134672761 3221224560 3221223744 134615686 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45653 43589 603 41 0 45612 0
vsize: 182612
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 53010 0 0 0 110634 271 0 0 25 0 1 0 480499835 189956096 44289 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46376 44289 603 41 0 46335 0
vsize: 185504
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 53357 0 0 0 111634 272 0 0 25 0 1 0 480499835 191279104 44636 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46699 44636 603 41 0 46658 0
vsize: 186796
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 54219 0 0 0 112632 274 0 0 25 0 1 0 480499835 194867200 45498 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47575 45498 603 41 0 47534 0
vsize: 190300
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 54528 0 0 0 113632 275 0 0 25 0 1 0 480499835 196177920 45807 4294967295 134512640 134672761 3221224560 3221223744 134615724 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47895 45807 603 41 0 47854 0
vsize: 191580
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26121
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 54821 0 0 0 114631 275 0 0 25 0 1 0 480499835 197263360 46100 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48160 46100 603 41 0 48119 0
vsize: 192640
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26123
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 55429 0 0 0 115629 277 0 0 25 0 1 0 480499835 199831552 46708 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48787 46708 603 41 0 48746 0
vsize: 195148
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26123
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 56182 0 0 0 116628 279 0 0 25 0 1 0 480499835 202948608 47461 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49548 47461 603 41 0 49507 0
vsize: 198192
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26123
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 56472 0 0 0 117628 279 0 0 25 0 1 0 480499835 204087296 47751 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49826 47751 603 41 0 49785 0
vsize: 199304
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26123
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 57020 0 0 0 118626 281 0 0 25 0 1 0 480499835 206315520 48299 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50370 48299 603 41 0 50329 0
vsize: 201480
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26123
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 57740 0 0 0 119625 282 0 0 25 0 1 0 480499835 209281024 49019 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51094 49019 603 41 0 51053 0
vsize: 204376
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26123
Raw data (stat): 26115 (minisat+) R 26114 20024 20023 0 -1 0 58157 0 0 0 120624 283 0 0 25 0 1 0 480499835 211001344 49436 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 51514 49436 603 41 0 51473 0
vsize: 206056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 26123
Raw data (stat): 26115 (minisat+) Z 26114 20024 20023 0 -1 12 58158 0 0 0 120624 298 0 0 25 0 1 0 480499835 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1210.18
CPU time (s): 1209.23
CPU user time (s): 1206.25
CPU system time (s): 2.98355
CPU usage (%): 99.9217
Max. virtual memory (Kb): 206056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####