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-5.opb
MD5SUM	1694d09a3d3e6cb31138c73ed644b225
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
Optimality of the best value was proved	NO
Number of terms in the objective function	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	109601
Number of constraints which are clauses	109601
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 5644

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        896732 kB
Buffers:         36168 kB
Cached:          79600 kB
SwapCached:       2144 kB
Active:          66112 kB
Inactive:        54616 kB
HighTotal:      131008 kB
HighFree:        47544 kB
LowTotal:       903652 kB
LowFree:        849188 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11592 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 01:30:09 (client local time) WITH STATUS 10 IN 1209.93 SECONDS
stats: 4108 7 1209.93 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109601 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 |  109601   219202 |   32880       0        0     nan |  0.000 % |
c   -- subsuming                       
c |         0 |  109601   219202 |   43840       0        0     nan |  0.000 % |
c ==============================================================================
c (current CPU-time: 6.05008 s)
c ==============================================================================
c [1mFound solution: -37[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 |  193124   415097 |   57937       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/56820          
c   -- var.elim.:  2000/56820          
c   -- var.elim.:  3000/56820          
c   -- var.elim.:  4000/56820          
c   -- var.elim.:  5000/56820          
c   -- var.elim.:  6000/56820          
c   -- var.elim.:  7000/56820          
c   -- var.elim.:  8000/56820          
c   -- var.elim.:  9000/56820          
c   -- var.elim.:  10000/56820          
c   -- var.elim.:  11000/56820          
c   -- var.elim.:  12000/56820          
c   -- var.elim.:  13000/56820          
c   -- var.elim.:  14000/56820          
c   -- var.elim.:  15000/56820          
c   -- var.elim.:  16000/56820          
c   -- var.elim.:  17000/56820          
c   -- var.elim.:  18000/56820          
c   -- var.elim.:  19000/56820          
c   -- var.elim.:  20000/56820          
c   -- var.elim.:  21000/56820          
c   -- var.elim.:  22000/56820          
c   -- var.elim.:  23000/56820          
c   -- var.elim.:  24000/56820          
c   -- var.elim.:  25000/56820          
c   -- var.elim.:  26000/56820          
c   -- var.elim.:  27000/56820          
c   -- var.elim.:  28000/56820          
c   -- var.elim.:  29000/56820          
c   -- var.elim.:  30000/56820          
c   -- var.elim.:  31000/56820          
c   -- var.elim.:  32000/56820          
c   -- var.elim.:  33000/56820          
c   -- var.elim.:  34000/56820          
c   -- var.elim.:  35000/56820          
c   -- var.elim.:  36000/56820          
c   -- var.elim.:  37000/56820          
c   -- var.elim.:  38000/56820          
c   -- var.elim.:  39000/56820          
c   -- var.elim.:  40000/56820          
c   -- var.elim.:  41000/56820          
c   -- var.elim.:  42000/56820          
c   -- var.elim.:  43000/56820          
c   -- var.elim.:  44000/56820          
c   -- var.elim.:  45000/56820          
c   -- var.elim.:  46000/56820          
c   -- var.elim.:  47000/56820          
c   -- var.elim.:  48000/56820          
c   -- var.elim.:  49000/56820          
c   -- var.elim.:  50000/56820          
c   -- var.elim.:  51000/56820          
c   -- var.elim.:  52000/56820          
c   -- var.elim.:  53000/56820          
c   -- var.elim.:  54000/56820          
c   -- var.elim.:  55000/56820          
c   -- var.elim.:  56000/56820          
c   -- var.elim.:  56820/56820          
c   -- var.elim.:  1000/28775          
c   -- var.elim.:  2000/28775          
c   -- var.elim.:  3000/28775          
c   -- var.elim.:  4000/28775          
c   -- var.elim.:  5000/28775          
c   -- var.elim.:  6000/28775          
c   -- var.elim.:  7000/28775          
c   -- var.elim.:  8000/28775          
c   -- var.elim.:  9000/28775          
c   -- var.elim.:  10000/28775          
c   -- var.elim.:  11000/28775          
c   -- var.elim.:  12000/28775          
c   -- var.elim.:  13000/28775          
c   -- var.elim.:  14000/28775          
c   -- var.elim.:  15000/28775          
c   -- var.elim.:  16000/28775          
c   -- var.elim.:  17000/28775          
c   -- var.elim.:  18000/28775          
c   -- var.elim.:  19000/28775          
c   -- var.elim.:  20000/28775          
c   -- var.elim.:  21000/28775          
c   -- var.elim.:  22000/28775          
c   -- var.elim.:  23000/28775          
c   -- var.elim.:  24000/28775          
c   -- var.elim.:  25000/28775          
c   -- var.elim.:  26000/28775          
c   -- var.elim.:  27000/28775          
c   -- var.elim.:  28000/28775          
c   -- var.elim.:  28775/28775          
c   -- var.elim.:  1000/7038          
c   -- var.elim.:  2000/7038          
c   -- var.elim.:  3000/7038          
c   -- var.elim.:  4000/7038          
c   -- var.elim.:  5000/7038          
c   -- var.elim.:  6000/7038          
c   -- var.elim.:  7000/7038          
c   -- var.elim.:  7038/7038          
c   -- subsuming                       
c   -- var.elim.:  1000/11395          
c   -- var.elim.:  2000/11395          
c   -- var.elim.:  3000/11395          
c   -- var.elim.:  4000/11395          
c   -- var.elim.:  5000/11395          
c   -- var.elim.:  6000/11395          
c   -- var.elim.:  7000/11395          
c   -- var.elim.:  8000/11395          
c   -- var.elim.:  9000/11395          
c   -- var.elim.:  10000/11395          
c   -- var.elim.:  11000/11395          
c   -- var.elim.:  11395/11395          
c   -- var.elim.:  410/410          
c   -- subsuming                       
c |         0 |  133902   437505 |      --       0       --      -- |     --   | -59222/22409
c |         0 |  133902   437505 |   53560       0        0     nan |  0.000 % |
c |       100 |  133902   437505 |   58916     100    20626   206.3 | 53.851 % |
c ==============================================================================
c (current CPU-time: 321.59 s)
c ==============================================================================
c [1mFound solution: -43[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 |       205 |  147793   475614 |   44337     205    53063   258.8 | 53.851 % |
c   -- subsuming                       
c   -- var.elim.:  1000/23867          
c   -- var.elim.:  2000/23867          
c   -- var.elim.:  3000/23867          
c   -- var.elim.:  4000/23867          
c   -- var.elim.:  5000/23867          
c   -- var.elim.:  6000/23867          
c   -- var.elim.:  7000/23867          
c   -- var.elim.:  8000/23867          
c   -- var.elim.:  9000/23867          
c   -- var.elim.:  10000/23867          
c   -- var.elim.:  11000/23867          
c   -- var.elim.:  12000/23867          
c   -- var.elim.:  13000/23867          
c   -- var.elim.:  14000/23867          
c   -- var.elim.:  15000/23867          
c   -- var.elim.:  16000/23867          
c   -- var.elim.:  17000/23867          
c   -- var.elim.:  18000/23867          
c   -- var.elim.:  19000/23867          
c   -- var.elim.:  20000/23867          
c   -- var.elim.:  21000/23867          
c   -- var.elim.:  22000/23867          
c   -- var.elim.:  23000/23867          
c   -- var.elim.:  23867/23867          
c   -- var.elim.:  1000/10335          
c   -- var.elim.:  2000/10335          
c   -- var.elim.:  3000/10335          
c   -- var.elim.:  4000/10335          
c   -- var.elim.:  5000/10335          
c   -- var.elim.:  6000/10335          
c   -- var.elim.:  7000/10335          
c   -- var.elim.:  8000/10335          
c   -- var.elim.:  9000/10335          
c   -- var.elim.:  10000/10335          
c   -- var.elim.:  10335/10335          
c   -- var.elim.:  53/53          
c   -- subsuming                       
c   -- var.elim.:  1000/8738          
c   -- var.elim.:  2000/8738          
c   -- var.elim.:  3000/8738          
c   -- var.elim.:  4000/8738          
c   -- var.elim.:  5000/8738          
c   -- var.elim.:  6000/8738          
c   -- var.elim.:  7000/8738          
c   -- var.elim.:  8000/8738          
c   -- var.elim.:  8738/8738          
c   -- var.elim.:  145/145          
c |       205 |  134212   456014 |      --     205       --      -- |     --   | -13560/-19557
c |       205 |  134212   456014 |   53684     205    53063   258.8 | 53.851 % |
c |       305 |  134212   456014 |   59053     305    75617   247.9 | 61.397 % |
c |       455 |  134212   456014 |   64958     455   105567   232.0 | 61.397 % |
c |       680 |  134212   456014 |   71454     680   143815   211.5 | 61.397 % |
c |      1017 |  134212   456014 |   78599    1017   217110   213.5 | 61.397 % |
c |      1523 |  134155   455379 |   86423    1522   319974   210.2 | 61.478 % |
c |      2282 |  134155   455379 |   95065    2281   477524   209.3 | 61.478 % |
c |      3421 |  134088   454683 |  104519    3412   722630   211.8 | 61.562 % |
c |      5129 |  133714   450566 |  114651    5091  1112126   218.4 | 62.068 % |
c |      7691 |  133668   450057 |  126072    7649  1735741   226.9 | 62.134 % |
c |     11535 |  133530   448719 |  138536   11478  2800786   244.0 | 62.317 % |
c |     17301 |  133231   445800 |  152049   17215  4698077   272.9 | 62.681 % |
c |     25950 |  132299   436161 |  166084   25759  7655859   297.2 | 64.018 % |
c |     38925 |  130935   422888 |  180809   38525 12373757   321.2 | 65.991 % |
c |     58386 |  129614   409984 |  196883   57746 20024160   346.8 | 67.863 % |
c |     87578 |  128030   394254 |  213925   86524 32798345   379.1 | 70.078 % |
c ==============================================================================
c (current CPU-time: 1111.94 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 |     91807 |  129671   394841 |   38901   90647 34908593   385.1 | 70.078 % |
c   -- subsuming                       
c   -- var.elim.:  1000/12165          
c   -- var.elim.:  2000/12165          
c   -- var.elim.:  3000/12165          
c   -- var.elim.:  4000/12165          
c   -- var.elim.:  5000/12165          
c   -- var.elim.:  6000/12165          
c   -- var.elim.:  7000/12165          
c   -- var.elim.:  8000/12165          
c   -- var.elim.:  9000/12165          
c   -- var.elim.:  10000/12165          
c   -- var.elim.:  11000/12165          
c   -- var.elim.:  12000/12165          
c   -- var.elim.:  12165/12165          
c   -- var.elim.:  1000/4946          
c   -- var.elim.:  2000/4946          
c   -- var.elim.:  3000/4946          
c   -- var.elim.:  4000/4946          
c   -- var.elim.:  4946/4946          
c   -- var.elim.:  1000/5676          
c   -- var.elim.:  2000/5676          
c   -- var.elim.:  3000/5676          
c   -- var.elim.:  4000/5676          
c   -- var.elim.:  5000/5676          
c   -- var.elim.:  5676/5676          
c   -- var.elim.:  1000/3366          
c   -- var.elim.:  2000/3366          
c   -- var.elim.:  3000/3366          
c   -- var.elim.:  3366/3366          
c   -- var.elim.:  160/160          
c   -- subsuming                       
c   -- var.elim.:  1000/4002          
c   -- var.elim.:  2000/4002          
c   -- var.elim.:  3000/4002          
c   -- var.elim.:  4000/4002          
c   -- var.elim.:  4002/4002          
c   -- var.elim.:  214/214          
c   -- subsuming                       
c   -- var.elim.:  65/65          
c   -- var.elim.:  60/60          
c |     91807 |  127505   377181 |      --   90647       --      -- |     --   | -2148/-15956
c |     91807 |  127505   377181 |   51002   90647 34908593   385.1 | 70.078 % |
c |     91908 |  127505   377181 |   56102   22695  2588369   114.1 | 71.114 % |
c |     92058 |  127505   377181 |   61712   22845  2635494   115.4 | 71.115 % |
c |     92283 |  127505   377181 |   67883   23070  2732537   118.4 | 71.114 % |
c |     92620 |  127505   377181 |   74672   23407  2832230   121.0 | 71.115 % |
c |     93126 |  127505   377181 |   82139   23913  3020473   126.3 | 71.115 % |
c |     93886 |  127505   377181 |   90353   24673  3257940   132.0 | 71.115 % |
c |     95025 |  127503   377158 |   99386   25808  3692743   143.1 | 71.117 % |
c |     96733 |  127469   376858 |  109296   27513  4336664   157.6 | 71.166 % |
c |     99295 |  127356   375759 |  120119   30047  5365121   178.6 | 71.322 % |
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 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144#### 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.93 0.98 0.93 2/54 3337
Raw data (stat): 3337 (runsolver) R 3336 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 422296987 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99989 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 10801 0 0 0 958 40 0 0 25 0 1 0 422296987 44728320 10106 4294967295 134512640 134672761 3221224560 3221222976 134631446 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10920 10106 603 41 0 10879 0
vsize: 43680
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11631 0 0 0 1946 51 0 0 25 0 1 0 422296987 48091136 10936 4294967295 134512640 134672761 3221224560 3221222992 134604652 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11741 10936 603 41 0 11700 0
vsize: 46964
[startup+30.0008 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11637 0 0 0 2946 51 0 0 25 0 1 0 422296987 48091136 10942 4294967295 134512640 134672761 3221224560 3221222992 134604069 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11741 10942 603 41 0 11700 0
vsize: 46964
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11638 0 0 0 3945 51 0 0 25 0 1 0 422296987 48091136 10943 4294967295 134512640 134672761 3221224560 3221222992 134604652 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11741 10943 603 41 0 11700 0
vsize: 46964
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11639 0 0 0 4944 51 0 0 25 0 1 0 422296987 48091136 10944 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11741 10944 603 41 0 11700 0
vsize: 46964
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11672 0 0 0 5944 51 0 0 25 0 1 0 422296987 48353280 10977 4294967295 134512640 134672761 3221224560 3221223056 134644277 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10977 603 41 0 11764 0
vsize: 47220
[startup+70.0028 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11672 0 0 0 6945 51 0 0 25 0 1 0 422296987 48353280 10977 4294967295 134512640 134672761 3221224560 3221222560 134566548 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10977 603 41 0 11764 0
vsize: 47220
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11674 0 0 0 7945 51 0 0 25 0 1 0 422296987 48353280 10979 4294967295 134512640 134672761 3221224560 3221222992 134604652 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10979 603 41 0 11764 0
vsize: 47220
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11675 0 0 0 8945 51 0 0 25 0 1 0 422296987 48353280 10980 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10980 603 41 0 11764 0
vsize: 47220
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11676 0 0 0 9945 51 0 0 25 0 1 0 422296987 48353280 10981 4294967295 134512640 134672761 3221224560 3221222928 134603510 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10981 603 41 0 11764 0
vsize: 47220
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11678 0 0 0 10945 51 0 0 25 0 1 0 422296987 48353280 10983 4294967295 134512640 134672761 3221224560 3221223088 134606977 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10983 603 41 0 11764 0
vsize: 47220
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11678 0 0 0 11946 51 0 0 25 0 1 0 422296987 48353280 10983 4294967295 134512640 134672761 3221224560 3221223088 134606977 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10983 603 41 0 11764 0
vsize: 47220
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11680 0 0 0 12946 51 0 0 25 0 1 0 422296987 48353280 10985 4294967295 134512640 134672761 3221224560 3221223088 134607107 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10985 603 41 0 11764 0
vsize: 47220
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11681 0 0 0 13946 51 0 0 25 0 1 0 422296987 48353280 10986 4294967295 134512640 134672761 3221224560 3221223072 134606994 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10986 603 41 0 11764 0
vsize: 47220
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11683 0 0 0 14946 51 0 0 25 0 1 0 422296987 48353280 10988 4294967295 134512640 134672761 3221224560 3221223088 134606977 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10988 603 41 0 11764 0
vsize: 47220
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11685 0 0 0 15946 51 0 0 25 0 1 0 422296987 48353280 10990 4294967295 134512640 134672761 3221224560 3221222992 134605448 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11805 10990 603 41 0 11764 0
vsize: 47220
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11705 0 0 0 16947 51 0 0 25 0 1 0 422296987 48615424 11010 4294967295 134512640 134672761 3221224560 3221222816 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11869 11010 603 41 0 11828 0
vsize: 47476
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11709 0 0 0 17947 51 0 0 25 0 1 0 422296987 48615424 11014 4294967295 134512640 134672761 3221224560 3221222992 134604097 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11869 11014 603 41 0 11828 0
vsize: 47476
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11713 0 0 0 18947 51 0 0 25 0 1 0 422296987 48615424 11018 4294967295 134512640 134672761 3221224560 3221223056 134644275 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11869 11018 603 41 0 11828 0
vsize: 47476
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11720 0 0 0 19947 51 0 0 25 0 1 0 422296987 48615424 11025 4294967295 134512640 134672761 3221224560 3221223152 134607812 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11869 11025 603 41 0 11828 0
vsize: 47476
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11725 0 0 0 20947 51 0 0 25 0 1 0 422296987 48615424 11030 4294967295 134512640 134672761 3221224560 3221222864 134566556 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11869 11030 603 41 0 11828 0
vsize: 47476
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11729 0 0 0 21947 52 0 0 25 0 1 0 422296987 48386048 10978 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11813 10978 603 41 0 11772 0
vsize: 47252
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11729 0 0 0 22947 52 0 0 25 0 1 0 422296987 48386048 10978 4294967295 134512640 134672761 3221224560 3221223008 134643542 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11813 10978 603 41 0 11772 0
vsize: 47252
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11729 0 0 0 23947 52 0 0 25 0 1 0 422296987 48386048 10978 4294967295 134512640 134672761 3221224560 3221223008 134643539 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11813 10978 603 41 0 11772 0
vsize: 47252
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 11729 0 0 0 24947 52 0 0 25 0 1 0 422296987 48386048 10978 4294967295 134512640 134672761 3221224560 3221223008 134643565 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11813 10978 603 41 0 11772 0
vsize: 47252
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 12107 0 0 0 25946 53 0 0 25 0 1 0 422296987 50237440 11356 4294967295 134512640 134672761 3221224560 3221223272 134643316 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12265 11356 603 41 0 12224 0
vsize: 49060
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 12107 0 0 0 26947 53 0 0 25 0 1 0 422296987 50237440 11356 4294967295 134512640 134672761 3221224560 3221223056 134606420 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12265 11356 603 41 0 12224 0
vsize: 49060
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 12107 0 0 0 27947 53 0 0 25 0 1 0 422296987 50237440 11356 4294967295 134512640 134672761 3221224560 3221223024 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12265 11356 603 41 0 12224 0
vsize: 49060
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 12107 0 0 0 28947 53 0 0 25 0 1 0 422296987 50237440 11356 4294967295 134512640 134672761 3221224560 3221223052 134642890 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12265 11356 603 41 0 12224 0
vsize: 49060
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 12107 0 0 0 29947 53 0 0 25 0 1 0 422296987 50237440 11356 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12265 11356 603 41 0 12224 0
vsize: 49060
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 12107 0 0 0 30947 53 0 0 25 0 1 0 422296987 48386048 10978 4294967295 134512640 134672761 3221224560 3221223008 134643471 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11813 10978 603 41 0 11772 0
vsize: 47252
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 12107 0 0 0 31947 53 0 0 25 0 1 0 422296987 48386048 10978 4294967295 134512640 134672761 3221224560 3221223008 134643951 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11813 10978 603 41 0 11772 0
vsize: 47252
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15183 0 0 0 32886 113 0 0 25 0 1 0 422296987 55877632 11841 4294967295 134512640 134672761 3221224560 3221222912 134604052 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13642 11841 603 41 0 13601 0
vsize: 54568
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15183 0 0 0 33824 148 0 0 25 0 1 0 422296987 55877632 11841 4294967295 134512640 134672761 3221224560 3221223008 134643548 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13642 11841 603 41 0 13601 0
vsize: 54568
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15183 0 0 0 34823 148 0 0 25 0 1 0 422296987 55877632 11841 4294967295 134512640 134672761 3221224560 3221223008 134643516 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13642 11841 603 41 0 13601 0
vsize: 54568
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15183 0 0 0 35823 148 0 0 25 0 1 0 422296987 55877632 11841 4294967295 134512640 134672761 3221224560 3221223008 134643524 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13642 11841 603 41 0 13601 0
vsize: 54568
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15183 0 0 0 36823 148 0 0 25 0 1 0 422296987 55877632 11841 4294967295 134512640 134672761 3221224560 3221223008 134644032 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13642 11841 603 41 0 13601 0
vsize: 54568
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15558 0 0 0 37822 149 0 0 25 0 1 0 422296987 58900480 12216 4294967295 134512640 134672761 3221224560 3221223272 134643292 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14380 12216 603 41 0 14339 0
vsize: 57520
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15561 0 0 0 38823 149 0 0 25 0 1 0 422296987 58900480 12219 4294967295 134512640 134672761 3221224560 3221222784 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14380 12219 603 41 0 14339 0
vsize: 57520
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15561 0 0 0 39823 149 0 0 25 0 1 0 422296987 58900480 12219 4294967295 134512640 134672761 3221224560 3221223104 134621049 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14380 12219 603 41 0 14339 0
vsize: 57520
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15561 0 0 0 40823 149 0 0 25 0 1 0 422296987 55877632 11841 4294967295 134512640 134672761 3221224560 3221223008 134643570 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13642 11841 603 41 0 13601 0
vsize: 54568
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15561 0 0 0 41823 149 0 0 25 0 1 0 422296987 55877632 11841 4294967295 134512640 134672761 3221224560 3221223008 134643483 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13642 11841 603 41 0 13601 0
vsize: 54568
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 15600 0 0 0 42823 149 0 0 25 0 1 0 422296987 56119296 11880 4294967295 134512640 134672761 3221224560 3221223684 134566065 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13701 11880 603 41 0 13660 0
vsize: 54804
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 16037 0 0 0 43821 151 0 0 25 0 1 0 422296987 57909248 12317 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14138 12317 603 41 0 14097 0
vsize: 56552
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 16690 0 0 0 44819 153 0 0 25 0 1 0 422296987 60657664 12970 4294967295 134512640 134672761 3221224560 3221223760 134610707 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14809 12970 603 41 0 14768 0
vsize: 59236
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 17447 0 0 0 45818 154 0 0 25 0 1 0 422296987 63619072 13727 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15532 13727 603 41 0 15491 0
vsize: 62128
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 18266 0 0 0 46816 156 0 0 25 0 1 0 422296987 66998272 14546 4294967295 134512640 134672761 3221224560 3221223744 134615579 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16357 14546 603 41 0 16316 0
vsize: 65428
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 19153 0 0 0 47813 158 0 0 25 0 1 0 422296987 70623232 15433 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17242 15433 603 41 0 17201 0
vsize: 68968
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 19674 0 0 0 48811 161 0 0 25 0 1 0 422296987 72802304 15954 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17774 15954 603 41 0 17733 0
vsize: 71096
[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 20451 0 0 0 49809 163 0 0 25 0 1 0 422296987 76058624 16731 4294967295 134512640 134672761 3221224560 3221223684 134566071 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18569 16731 603 41 0 18528 0
vsize: 74276
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 21192 0 0 0 50807 164 0 0 25 0 1 0 422296987 79044608 17472 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19298 17472 603 41 0 19257 0
vsize: 77192
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 21615 0 0 0 51806 165 0 0 25 0 1 0 422296987 80818176 17895 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19731 17895 603 41 0 19690 0
vsize: 78924
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 22161 0 0 0 52804 167 0 0 25 0 1 0 422296987 83042304 18441 4294967295 134512640 134672761 3221224560 3221223408 134604052 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20274 18441 603 41 0 20233 0
vsize: 81096
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 22741 0 0 0 53803 168 0 0 25 0 1 0 422296987 85360640 19021 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20840 19021 603 41 0 20799 0
vsize: 83360
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 23266 0 0 0 54802 169 0 0 25 0 1 0 422296987 87547904 19546 4294967295 134512640 134672761 3221224560 3221223684 134566077 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21374 19546 603 41 0 21333 0
vsize: 85496
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 23894 0 0 0 55800 171 0 0 25 0 1 0 422296987 90009600 20174 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21975 20174 603 41 0 21934 0
vsize: 87900
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 24543 0 0 0 56799 173 0 0 25 0 1 0 422296987 92753920 20823 4294967295 134512640 134672761 3221224560 3221223704 134616108 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22645 20823 603 41 0 22604 0
vsize: 90580
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 25162 0 0 0 57797 175 0 0 25 0 1 0 422296987 95367168 21442 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23283 21442 603 41 0 23242 0
vsize: 93132
[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 25848 0 0 0 58795 176 0 0 25 0 1 0 422296987 98156544 22128 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23964 22128 603 41 0 23923 0
vsize: 95856
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 26407 0 0 0 59794 178 0 0 25 0 1 0 422296987 100413440 22687 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24515 22687 603 41 0 24474 0
vsize: 98060
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 26722 0 0 0 60792 179 0 0 25 0 1 0 422296987 101720064 23002 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24834 23002 603 41 0 24793 0
vsize: 99336
[startup+620.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 27309 0 0 0 61790 181 0 0 25 0 1 0 422296987 104198144 23589 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25439 23589 603 41 0 25398 0
vsize: 101756
[startup+630.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 27823 0 0 0 62789 182 0 0 25 0 1 0 422296987 106258432 24103 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25942 24103 603 41 0 25901 0
vsize: 103768
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 28099 0 0 0 63788 183 0 0 25 0 1 0 422296987 107417600 24379 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26225 24379 603 41 0 26184 0
vsize: 104900
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 28635 0 0 0 64787 185 0 0 25 0 1 0 422296987 109629440 24915 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26765 24915 603 41 0 26724 0
vsize: 107060
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 29073 0 0 0 65785 186 0 0 25 0 1 0 422296987 111312896 25353 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27176 25353 603 41 0 27135 0
vsize: 108704
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 29756 0 0 0 66784 188 0 0 25 0 1 0 422296987 114171904 26036 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27874 26036 603 41 0 27833 0
vsize: 111496
[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 30434 0 0 0 67781 190 0 0 25 0 1 0 422296987 116961280 26714 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28555 26714 603 41 0 28514 0
vsize: 114220
[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 30899 0 0 0 68780 191 0 0 25 0 1 0 422296987 118796288 27179 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29003 27179 603 41 0 28962 0
vsize: 116012
[startup+700.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 31291 0 0 0 69779 193 0 0 25 0 1 0 422296987 120356864 27571 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29384 27571 603 41 0 29343 0
vsize: 117536
[startup+710.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 31897 0 0 0 70777 195 0 0 25 0 1 0 422296987 122945536 28177 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30016 28177 603 41 0 29975 0
vsize: 120064
[startup+720.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 32385 0 0 0 71775 196 0 0 25 0 1 0 422296987 124866560 28665 4294967295 134512640 134672761 3221224560 3221223704 134616161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30485 28665 603 41 0 30444 0
vsize: 121940
[startup+730.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 32922 0 0 0 72774 197 0 0 25 0 1 0 422296987 127066112 29202 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31022 29202 603 41 0 30981 0
vsize: 124088
[startup+740.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 33488 0 0 0 73772 199 0 0 25 0 1 0 422296987 129421312 29768 4294967295 134512640 134672761 3221224560 3221223432 1075353072 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31597 29768 603 41 0 31556 0
vsize: 126388
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 33938 0 0 0 74771 200 0 0 25 0 1 0 422296987 131235840 30218 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32040 30218 603 41 0 31999 0
vsize: 128160
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 34409 0 0 0 75769 202 0 0 25 0 1 0 422296987 133206016 30689 4294967295 134512640 134672761 3221224560 3221223744 134615732 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32521 30689 603 41 0 32480 0
vsize: 130084
[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 35235 0 0 0 76768 203 0 0 25 0 1 0 422296987 136507392 31515 4294967295 134512640 134672761 3221224560 3221223704 134616139 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33327 31515 603 41 0 33286 0
vsize: 133308
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 35555 0 0 0 77767 204 0 0 25 0 1 0 422296987 137814016 31835 4294967295 134512640 134672761 3221224560 3221223744 134615807 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33646 31835 603 41 0 33605 0
vsize: 134584
[startup+790.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 36183 0 0 0 78766 206 0 0 25 0 1 0 422296987 140386304 32463 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34274 32463 603 41 0 34233 0
vsize: 137096
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 36817 0 0 0 79765 207 0 0 25 0 1 0 422296987 142946304 33097 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34899 33097 603 41 0 34858 0
vsize: 139596
[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 37150 0 0 0 80764 208 0 0 25 0 1 0 422296987 144359424 33430 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35244 33430 603 41 0 35203 0
vsize: 140976
[startup+820.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 37673 0 0 0 81763 209 0 0 25 0 1 0 422296987 146501632 33953 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35767 33953 603 41 0 35726 0
vsize: 143068
[startup+830.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 38124 0 0 0 82762 210 0 0 25 0 1 0 422296987 148316160 34404 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36210 34404 603 41 0 36169 0
vsize: 144840
[startup+840.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 38464 0 0 0 83761 211 0 0 25 0 1 0 422296987 150007808 34744 4294967295 134512640 134672761 3221224560 3221223704 134616263 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36623 34744 603 41 0 36582 0
vsize: 146492
[startup+850.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 38850 0 0 0 84761 212 0 0 25 0 1 0 422296987 151539712 35130 4294967295 134512640 134672761 3221224560 3221223744 134615732 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36997 35130 603 41 0 36956 0
vsize: 147988
[startup+860.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 39221 0 0 0 85760 212 0 0 25 0 1 0 422296987 153137152 35501 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37387 35501 603 41 0 37346 0
vsize: 149548
[startup+870.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 39740 0 0 0 86759 213 0 0 25 0 1 0 422296987 155226112 36020 4294967295 134512640 134672761 3221224560 3221223704 134616356 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37897 36020 603 41 0 37856 0
vsize: 151588
[startup+880.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 40254 0 0 0 87758 215 0 0 25 0 1 0 422296987 157306880 36534 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38405 36534 603 41 0 38364 0
vsize: 153620
[startup+890.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 40690 0 0 0 88757 216 0 0 25 0 1 0 422296987 159125504 36970 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38849 36970 603 41 0 38808 0
vsize: 155396
[startup+900.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 40920 0 0 0 89757 216 0 0 25 0 1 0 422296987 160022528 37200 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39068 37200 603 41 0 39027 0
vsize: 156272
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 41280 0 0 0 90756 217 0 0 25 0 1 0 422296987 161546240 37560 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39440 37560 603 41 0 39399 0
vsize: 157760
[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 41815 0 0 0 91754 219 0 0 25 0 1 0 422296987 163627008 38095 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39948 38095 603 41 0 39907 0
vsize: 159792
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 42292 0 0 0 92753 221 0 0 25 0 1 0 422296987 165621760 38572 4294967295 134512640 134672761 3221224560 3221223704 134616312 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40435 38572 603 41 0 40394 0
vsize: 161740
[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 42642 0 0 0 93752 222 0 0 25 0 1 0 422296987 167047168 38922 4294967295 134512640 134672761 3221224560 3221223580 134565024 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40783 38922 603 41 0 40742 0
vsize: 163132
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 43008 0 0 0 94751 223 0 0 25 0 1 0 422296987 168583168 39288 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41158 39288 603 41 0 41117 0
vsize: 164632
[startup+960.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 43319 0 0 0 95750 224 0 0 25 0 1 0 422296987 169848832 39599 4294967295 134512640 134672761 3221224560 3221223704 134616161 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41467 39599 603 41 0 41426 0
vsize: 165868
[startup+970.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 43778 0 0 0 96749 225 0 0 25 0 1 0 422296987 171749376 40058 4294967295 134512640 134672761 3221224560 3221223600 134614239 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41931 40058 603 41 0 41890 0
vsize: 167724
[startup+980.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 44261 0 0 0 97748 226 0 0 25 0 1 0 422296987 173645824 40541 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42394 40541 603 41 0 42353 0
vsize: 169576
[startup+990.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 44650 0 0 0 98748 227 0 0 25 0 1 0 422296987 175280128 40930 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42793 40930 603 41 0 42752 0
vsize: 171172
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 45223 0 0 0 99747 228 0 0 25 0 1 0 422296987 177655808 41503 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43373 41503 603 41 0 43332 0
vsize: 173492
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 45623 0 0 0 100747 228 0 0 25 0 1 0 422296987 179183616 41903 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43746 41903 603 41 0 43705 0
vsize: 174984
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 46143 0 0 0 101746 230 0 0 25 0 1 0 422296987 181354496 42423 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44276 42423 603 41 0 44235 0
vsize: 177104
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 46671 0 0 0 102744 231 0 0 25 0 1 0 422296987 183476224 42951 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44794 42951 603 41 0 44753 0
vsize: 179176
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 47092 0 0 0 103744 232 0 0 25 0 1 0 422296987 185188352 43372 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45212 43372 603 41 0 45171 0
vsize: 180848
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 47438 0 0 0 104743 233 0 0 25 0 1 0 422296987 186626048 43718 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45563 43718 603 41 0 45522 0
vsize: 182252
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 47899 0 0 0 105742 234 0 0 25 0 1 0 422296987 188588032 44179 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46042 44179 603 41 0 46001 0
vsize: 184168
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 48451 0 0 0 106742 235 0 0 25 0 1 0 422296987 190803968 44731 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46583 44731 603 41 0 46542 0
vsize: 186332
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 48694 0 0 0 107742 235 0 0 25 0 1 0 422296987 191807488 44974 4294967295 134512640 134672761 3221224560 3221223744 134615579 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46828 44974 603 41 0 46787 0
vsize: 187312
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 48971 0 0 0 108741 236 0 0 25 0 1 0 422296987 193155072 45251 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47157 45251 603 41 0 47116 0
vsize: 188628
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 49714 0 0 0 109740 237 0 0 25 0 1 0 422296987 196243456 45994 4294967295 134512640 134672761 3221224560 3221223704 134616284 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47911 45994 603 41 0 47870 0
vsize: 191644
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 50018 0 0 0 110740 237 0 0 25 0 1 0 422296987 197423104 46298 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48199 46298 603 41 0 48158 0
vsize: 192796
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 53115 0 0 0 111715 262 0 0 25 0 1 0 422296987 200962048 46950 4294967295 134512640 134672761 3221224560 3221223104 134621164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49063 46950 603 41 0 49022 0
vsize: 196252
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 53115 0 0 0 112707 271 0 0 25 0 1 0 422296987 198340608 46572 4294967295 134512640 134672761 3221224560 3221223008 134643624 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48423 46572 603 41 0 48382 0
vsize: 193692
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 53115 0 0 0 113706 271 0 0 25 0 1 0 422296987 198340608 46572 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48423 46572 603 41 0 48382 0
vsize: 193692
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 53115 0 0 0 114706 271 0 0 25 0 1 0 422296987 198340608 46572 4294967295 134512640 134672761 3221224560 3221223008 134643966 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48423 46572 603 41 0 48382 0
vsize: 193692
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 53115 0 0 0 115705 272 0 0 25 0 1 0 422296987 198340608 46572 4294967295 134512640 134672761 3221224560 3221223008 134643951 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48423 46572 603 41 0 48382 0
vsize: 193692
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 53493 0 0 0 116704 272 0 0 25 0 1 0 422296987 198340608 46572 4294967295 134512640 134672761 3221224560 3221223008 134643474 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48423 46572 603 41 0 48382 0
vsize: 193692
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 54027 0 0 0 117703 274 0 0 25 0 1 0 422296987 198864896 46639 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48551 46639 603 41 0 48510 0
vsize: 194204
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 54027 0 0 0 118703 274 0 0 25 0 1 0 422296987 198864896 46639 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48551 46639 603 41 0 48510 0
vsize: 194204
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 54027 0 0 0 119703 274 0 0 25 0 1 0 422296987 198864896 46639 4294967295 134512640 134672761 3221224560 3221223744 134615807 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48551 46639 603 41 0 48510 0
vsize: 194204
[startup+1210.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 3337
Raw data (stat): 3337 (minisat+) R 3336 29151 29150 0 -1 0 54027 0 0 0 120703 274 0 0 25 0 1 0 422296987 198864896 46639 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48551 46639 603 41 0 48510 0
vsize: 194204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.19 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 3337
Raw data (stat): 3337 (minisat+) Z 3336 29151 29150 0 -1 12 54028 0 0 0 120704 288 0 0 25 0 1 0 422296987 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 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.19
CPU time (s): 1209.93
CPU user time (s): 1207.04
CPU system time (s): 2.88456
CPU usage (%): 99.9786
Max. virtual memory (Kb): 196252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####