PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
MD5SUM	b95391b071a3986ad670119101f16613
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	1534
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.13
Number of variables	1534
Total number of constraints	126082
Number of constraints which are clauses	126082
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 5646

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-14 01:10:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4111 boxname=wulflinc23 idbench=351 idsolver=11 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b95391b071a3986ad670119101f16613  /oldhome/oroussel/tmp/wulflinc23/normalized-frb59-26-3.opb
REAL COMMAND:  minisat+ -S /oldhome/oroussel/tmp/wulflinc23/normalized-frb59-26-3.opb /oldhome/oroussel/tmp/wulflinc23/normalized-frb59-26-3.opb
IDLAUNCH: 4111
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        890856 kB
Buffers:         34704 kB
Cached:          65812 kB
SwapCached:        192 kB
Active:          55456 kB
Inactive:        48104 kB
HighTotal:      131008 kB
HighFree:        61404 kB
LowTotal:       903652 kB
LowFree:        829452 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6908 kB
Slab:            34608 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:57 (client local time) WITH STATUS 10 IN 1200.21 SECONDS
stats: 4111 7 1200.21 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 126082 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 |  126082   252164 |   37824       0        0     nan |  0.000 % |
c   -- subsuming                       
c |         0 |  126082   252164 |   50432       0        0     nan |  0.000 % |
c ==============================================================================
c (current CPU-time: 7.66983 s)
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:85954     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  216998   465444 |   65099       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/61898          
c   -- var.elim.:  2000/61898          
c   -- var.elim.:  3000/61898          
c   -- var.elim.:  4000/61898          
c   -- var.elim.:  5000/61898          
c   -- var.elim.:  6000/61898          
c   -- var.elim.:  7000/61898          
c   -- var.elim.:  8000/61898          
c   -- var.elim.:  9000/61898          
c   -- var.elim.:  10000/61898          
c   -- var.elim.:  11000/61898          
c   -- var.elim.:  12000/61898          
c   -- var.elim.:  13000/61898          
c   -- var.elim.:  14000/61898          
c   -- var.elim.:  15000/61898          
c   -- var.elim.:  16000/61898          
c   -- var.elim.:  17000/61898          
c   -- var.elim.:  18000/61898          
c   -- var.elim.:  19000/61898          
c   -- var.elim.:  20000/61898          
c   -- var.elim.:  21000/61898          
c   -- var.elim.:  22000/61898          
c   -- var.elim.:  23000/61898          
c   -- var.elim.:  24000/61898          
c   -- var.elim.:  25000/61898          
c   -- var.elim.:  26000/61898          
c   -- var.elim.:  27000/61898          
c   -- var.elim.:  28000/61898          
c   -- var.elim.:  29000/61898          
c   -- var.elim.:  30000/61898          
c   -- var.elim.:  31000/61898          
c   -- var.elim.:  32000/61898          
c   -- var.elim.:  33000/61898          
c   -- var.elim.:  34000/61898          
c   -- var.elim.:  35000/61898          
c   -- var.elim.:  36000/61898          
c   -- var.elim.:  37000/61898          
c   -- var.elim.:  38000/61898          
c   -- var.elim.:  39000/61898          
c   -- var.elim.:  40000/61898          
c   -- var.elim.:  41000/61898          
c   -- var.elim.:  42000/61898          
c   -- var.elim.:  43000/61898          
c   -- var.elim.:  44000/61898          
c   -- var.elim.:  45000/61898          
c   -- var.elim.:  46000/61898          
c   -- var.elim.:  47000/61898          
c   -- var.elim.:  48000/61898          
c   -- var.elim.:  49000/61898          
c   -- var.elim.:  50000/61898          
c   -- var.elim.:  51000/61898          
c   -- var.elim.:  52000/61898          
c   -- var.elim.:  53000/61898          
c   -- var.elim.:  54000/61898          
c   -- var.elim.:  55000/61898          
c   -- var.elim.:  56000/61898          
c   -- var.elim.:  57000/61898          
c   -- var.elim.:  58000/61898          
c   -- var.elim.:  59000/61898          
c   -- var.elim.:  60000/61898          
c   -- var.elim.:  61000/61898          
c   -- var.elim.:  61898/61898          
c   -- var.elim.:  1000/31315          
c   -- var.elim.:  2000/31315          
c   -- var.elim.:  3000/31315          
c   -- var.elim.:  4000/31315          
c   -- var.elim.:  5000/31315          
c   -- var.elim.:  6000/31315          
c   -- var.elim.:  7000/31315          
c   -- var.elim.:  8000/31315          
c   -- var.elim.:  9000/31315          
c   -- var.elim.:  10000/31315          
c   -- var.elim.:  11000/31315          
c   -- var.elim.:  12000/31315          
c   -- var.elim.:  13000/31315          
c   -- var.elim.:  14000/31315          
c   -- var.elim.:  15000/31315          
c   -- var.elim.:  16000/31315          
c   -- var.elim.:  17000/31315          
c   -- var.elim.:  18000/31315          
c   -- var.elim.:  19000/31315          
c   -- var.elim.:  20000/31315          
c   -- var.elim.:  21000/31315          
c   -- var.elim.:  22000/31315          
c   -- var.elim.:  23000/31315          
c   -- var.elim.:  24000/31315          
c   -- var.elim.:  25000/31315          
c   -- var.elim.:  26000/31315          
c   -- var.elim.:  27000/31315          
c   -- var.elim.:  28000/31315          
c   -- var.elim.:  29000/31315          
c   -- var.elim.:  30000/31315          
c   -- var.elim.:  31000/31315          
c   -- var.elim.:  31315/31315          
c   -- var.elim.:  1000/7514          
c   -- var.elim.:  2000/7514          
c   -- var.elim.:  3000/7514          
c   -- var.elim.:  4000/7514          
c   -- var.elim.:  5000/7514          
c   -- var.elim.:  6000/7514          
c   -- var.elim.:  7000/7514          
c   -- var.elim.:  7514/7514          
c   -- var.elim.:  94/94          
c   -- subsuming                       
c   -- var.elim.:  1000/11843          
c   -- var.elim.:  2000/11843          
c   -- var.elim.:  3000/11843          
c   -- var.elim.:  4000/11843          
c   -- var.elim.:  5000/11843          
c   -- var.elim.:  6000/11843          
c   -- var.elim.:  7000/11843          
c   -- var.elim.:  8000/11843          
c   -- var.elim.:  9000/11843          
c   -- var.elim.:  10000/11843          
c   -- var.elim.:  11000/11843          
c   -- var.elim.:  11843/11843          
c   -- var.elim.:  295/295          
c |         0 |  150830   474900 |      --       0       --      -- |     --   | -66168/9457
c |         0 |  150830   474900 |   60332       0        0     nan |  0.000 % |
c |       100 |  150830   474900 |   66365     100    22566   225.7 | 56.134 % |
c |       251 |  150830   474900 |   73001     251    60855   242.5 | 56.134 % |
c |       476 |  150830   474900 |   80301     476   108399   227.7 | 56.134 % |
c |       813 |  150830   474900 |   88332     813   189671   233.3 | 56.134 % |
c |      1319 |  150814   474711 |   97154    1317   305056   231.6 | 56.160 % |
c |      2080 |  150778   474378 |  106844    2076   522370   251.6 | 56.217 % |
c |      3219 |  150754   474136 |  117510    3212   775664   241.5 | 56.256 % |
c |      4927 |  150700   473616 |  129215    4915  1211555   246.5 | 56.342 % |
c |      7489 |  150676   473387 |  142114    7471  1799867   240.9 | 56.381 % |
c |     11334 |  150412   470892 |  156051   11274  2925708   259.5 | 56.804 % |
c |     17100 |  150050   467760 |  171244   17006  4937561   290.3 | 57.385 % |
c |     25750 |  149266   460501 |  187384   25499  8157112   319.9 | 58.642 % |
c |     38724 |  148481   452843 |  205038   38281 13228582   345.6 | 59.867 % |
c ==============================================================================
c (current CPU-time: 613.337 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 |     45618 |  151216   455668 |   45364   45066 16356115   362.9 | 59.867 % |
c   -- subsuming                       
c   -- var.elim.:  1000/13752          
c   -- var.elim.:  2000/13752          
c   -- var.elim.:  3000/13752          
c   -- var.elim.:  4000/13752          
c   -- var.elim.:  5000/13752          
c   -- var.elim.:  6000/13752          
c   -- var.elim.:  7000/13752          
c   -- var.elim.:  8000/13752          
c   -- var.elim.:  9000/13752          
c   -- var.elim.:  10000/13752          
c   -- var.elim.:  11000/13752          
c   -- var.elim.:  12000/13752          
c   -- var.elim.:  13000/13752          
c   -- var.elim.:  13752/13752          
c   -- var.elim.:  1000/2459          
c   -- var.elim.:  2000/2459          
c   -- var.elim.:  2459/2459          
c |     45618 |  147806   446036 |      --   45066       --      -- |     --   | -3400/-7060
c |     45618 |  147806   446036 |   59122   39671  8444539   212.9 | 59.867 % |
c |     45718 |  147806   446036 |   65034   39771  8473057   213.0 | 63.052 % |
c |     45868 |  147764   445625 |   71517   39920  8511815   213.2 | 63.109 % |
c |     46094 |  147764   445625 |   78669   40146  8603634   214.3 | 63.109 % |
c |     46431 |  147736   445352 |   86520   40455  8705172   215.2 | 63.152 % |
c |     46938 |  147736   445352 |   95172   40962  8924317   217.9 | 63.152 % |
c |     47698 |  147689   444905 |  104656   41695  9138800   219.2 | 63.213 % |
c |     48837 |  147641   444486 |  115084   42815  9506868   222.0 | 63.282 % |
c |     50546 |  147641   444486 |  126592   44524 10187842   228.8 | 63.282 % |
c |     53109 |  147603   444102 |  139216   47072 11332049   240.7 | 63.337 % |
c |     56954 |  147541   443524 |  153073   50907 13214521   259.6 | 63.431 % |
c |     62720 |  147387   442049 |  168204   56624 15826838   279.5 | 63.662 % |
c |     71370 |  146997   438245 |  184535   65167 20000558   306.9 | 64.248 % |
c ==============================================================================
c (current CPU-time: 873.664 s)
c ==============================================================================
c [1mFound solution: -46[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 |     74730 |  147222   438409 |   44166   68509 21824814   318.6 | 64.248 % |
c   -- subsuming                       
c   -- var.elim.:  1000/9896          
c   -- var.elim.:  2000/9896          
c   -- var.elim.:  3000/9896          
c   -- var.elim.:  4000/9896          
c   -- var.elim.:  5000/9896          
c   -- var.elim.:  6000/9896          
c   -- var.elim.:  7000/9896          
c   -- var.elim.:  8000/9896          
c   -- var.elim.:  9000/9896          
c   -- var.elim.:  9896/9896          
c   -- var.elim.:  417/417          
c |     74730 |  146963   437967 |      --   68509       --      -- |     --   | -252/-148
c |     74730 |  146963   437967 |   58785   65431 16083704   245.8 | 64.248 % |
c |     74830 |  146963   437967 |   64663   65531 16137443   246.3 | 64.456 % |
c |     74980 |  146963   437967 |   71130   65681 16164572   246.1 | 64.456 % |
c |     75206 |  146963   437967 |   78243   65907 16246487   246.5 | 64.456 % |
c |     75544 |  146963   437967 |   86067   66245 16403361   247.6 | 64.456 % |
c |     76050 |  146925   437606 |   94649   66743 16559919   248.1 | 64.514 % |
c |     76809 |  146925   437606 |  104114   67502 16923598   250.7 | 64.514 % |
c |     77948 |  146925   437606 |  114526   68641 17418132   253.8 | 64.514 % |
c |     79656 |  146925   437606 |  125978   70349 18025346   256.2 | 64.514 % |
c |     82218 |  146859   437020 |  138514   72897 19325515   265.1 | 64.611 % |
c |     86062 |  146791   436353 |  152295   76735 21013860   273.8 | 64.714 % |
c |     91830 |  146739   435830 |  167465   82479 23811584   288.7 | 64.789 % |
c |    100481 |  146480   433419 |  183886   90992 27559230   302.9 | 65.174 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 -C1455 -C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 C1249 -C1248 -C1247 C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 C861 -C860 -C859 -C858 -C857 -C856 C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 C547 -C546 -C545 -C544 C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -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 -C14#### 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.91 2/54 7143
Raw data (stat): 7143 (runsolver) R 7142 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 480525974 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 11938 0 0 0 967 31 0 0 25 0 1 0 480525974 48091136 11126 4294967295 134512640 134672761 3221224560 3221223008 134606977 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11741 11126 603 41 0 11700 0
vsize: 46964
[startup+20.0004 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12879 0 0 0 1941 56 0 0 25 0 1 0 480525974 51994624 12067 4294967295 134512640 134672761 3221224560 3221223088 134606928 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12694 12067 603 41 0 12653 0
vsize: 50776
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12893 0 0 0 2941 57 0 0 25 0 1 0 480525974 52088832 12081 4294967295 134512640 134672761 3221224560 3221223152 134607998 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12717 12081 603 41 0 12676 0
vsize: 50868
[startup+40.0003 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12926 0 0 0 3941 57 0 0 25 0 1 0 480525974 52350976 12114 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12114 603 41 0 12740 0
vsize: 51124
[startup+50.0014 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12927 0 0 0 4940 57 0 0 25 0 1 0 480525974 52350976 12115 4294967295 134512640 134672761 3221224560 3221223008 134643565 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12115 603 41 0 12740 0
vsize: 51124
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12928 0 0 0 5940 58 0 0 25 0 1 0 480525974 52350976 12116 4294967295 134512640 134672761 3221224560 3221223088 134606420 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12116 603 41 0 12740 0
vsize: 51124
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12929 0 0 0 6939 58 0 0 25 0 1 0 480525974 52350976 12117 4294967295 134512640 134672761 3221224560 3221223056 134644254 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12117 603 41 0 12740 0
vsize: 51124
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12930 0 0 0 7939 58 0 0 25 0 1 0 480525974 52350976 12118 4294967295 134512640 134672761 3221224560 3221222992 134605448 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12118 603 41 0 12740 0
vsize: 51124
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12931 0 0 0 8939 58 0 0 25 0 1 0 480525974 52350976 12119 4294967295 134512640 134672761 3221224560 3221222928 134603512 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12119 603 41 0 12740 0
vsize: 51124
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12933 0 0 0 9939 59 0 0 25 0 1 0 480525974 52350976 12121 4294967295 134512640 134672761 3221224560 3221223088 134606415 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12121 603 41 0 12740 0
vsize: 51124
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12934 0 0 0 10938 59 0 0 25 0 1 0 480525974 52350976 12122 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12122 603 41 0 12740 0
vsize: 51124
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12935 0 0 0 11938 60 0 0 25 0 1 0 480525974 52350976 12123 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12123 603 41 0 12740 0
vsize: 51124
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12937 0 0 0 12938 60 0 0 25 0 1 0 480525974 52350976 12125 4294967295 134512640 134672761 3221224560 3221223120 134541816 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12125 603 41 0 12740 0
vsize: 51124
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12938 0 0 0 13938 60 0 0 25 0 1 0 480525974 52350976 12126 4294967295 134512640 134672761 3221224560 3221222992 134604097 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12126 603 41 0 12740 0
vsize: 51124
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12953 0 0 0 14937 60 0 0 25 0 1 0 480525974 52350976 12141 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12141 603 41 0 12740 0
vsize: 51124
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12954 0 0 0 15937 60 0 0 25 0 1 0 480525974 52350976 12142 4294967295 134512640 134672761 3221224560 3221222560 134566733 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12781 12142 603 41 0 12740 0
vsize: 51124
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12975 0 0 0 16937 60 0 0 25 0 1 0 480525974 52613120 12163 4294967295 134512640 134672761 3221224560 3221223056 134644288 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12845 12163 603 41 0 12804 0
vsize: 51380
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12979 0 0 0 17937 61 0 0 25 0 1 0 480525974 52613120 12167 4294967295 134512640 134672761 3221224560 3221223008 134643562 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12845 12167 603 41 0 12804 0
vsize: 51380
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12983 0 0 0 18936 61 0 0 25 0 1 0 480525974 52613120 12171 4294967295 134512640 134672761 3221224560 3221223068 134644216 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12845 12171 603 41 0 12804 0
vsize: 51380
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12988 0 0 0 19936 62 0 0 25 0 1 0 480525974 52613120 12176 4294967295 134512640 134672761 3221224560 3221223088 134606420 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12845 12176 603 41 0 12804 0
vsize: 51380
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12993 0 0 0 20935 63 0 0 25 0 1 0 480525974 52613120 12181 4294967295 134512640 134672761 3221224560 3221222992 134604052 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12845 12181 603 41 0 12804 0
vsize: 51380
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 12998 0 0 0 21935 63 0 0 25 0 1 0 480525974 52613120 12186 4294967295 134512640 134672761 3221224560 3221223088 134606974 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12845 12186 603 41 0 12804 0
vsize: 51380
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13004 0 0 0 22935 63 0 0 25 0 1 0 480525974 52613120 12192 4294967295 134512640 134672761 3221224560 3221222928 134603506 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12845 12192 603 41 0 12804 0
vsize: 51380
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13038 0 0 0 23934 63 0 0 25 0 1 0 480525974 52625408 12165 4294967295 134512640 134672761 3221224560 3221223008 134643474 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12848 12165 603 41 0 12807 0
vsize: 51392
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13038 0 0 0 24934 64 0 0 25 0 1 0 480525974 52625408 12165 4294967295 134512640 134672761 3221224560 3221223008 134643545 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12848 12165 603 41 0 12807 0
vsize: 51392
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13038 0 0 0 25934 64 0 0 25 0 1 0 480525974 52625408 12165 4294967295 134512640 134672761 3221224560 3221223008 134644016 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12848 12165 603 41 0 12807 0
vsize: 51392
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13038 0 0 0 26933 64 0 0 25 0 1 0 480525974 52625408 12165 4294967295 134512640 134672761 3221224560 3221223008 134644014 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12848 12165 603 41 0 12807 0
vsize: 51392
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13478 0 0 0 27932 66 0 0 25 0 1 0 480525974 54738944 12544 4294967295 134512640 134672761 3221224560 3221223088 134541816 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13364 12544 603 41 0 13323 0
vsize: 53456
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13478 0 0 0 28932 66 0 0 25 0 1 0 480525974 54738944 12544 4294967295 134512640 134672761 3221224560 3221223120 134607998 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13364 12544 603 41 0 13323 0
vsize: 53456
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13478 0 0 0 29931 66 0 0 25 0 1 0 480525974 54738944 12544 4294967295 134512640 134672761 3221224560 3221223052 134642735 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13364 12544 603 41 0 13323 0
vsize: 53456
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13478 0 0 0 30931 67 0 0 25 0 1 0 480525974 54738944 12544 4294967295 134512640 134672761 3221224560 3221223104 134621088 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13364 12544 603 41 0 13323 0
vsize: 53456
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13478 0 0 0 31931 67 0 0 25 0 1 0 480525974 52363264 12104 4294967295 134512640 134672761 3221224560 3221223008 134643567 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12784 12104 603 41 0 12743 0
vsize: 51136
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13478 0 0 0 32930 68 0 0 25 0 1 0 480525974 52363264 12104 4294967295 134512640 134672761 3221224560 3221223008 134643474 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12784 12104 603 41 0 12743 0
vsize: 51136
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 13622 0 0 0 33929 69 0 0 25 0 1 0 480525974 52994048 12248 4294967295 134512640 134672761 3221224560 3221223744 134615676 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12938 12248 603 41 0 12897 0
vsize: 51752
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 14103 0 0 0 34927 71 0 0 25 0 1 0 480525974 54980608 12729 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13423 12729 603 41 0 13382 0
vsize: 53692
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 14692 0 0 0 35926 72 0 0 25 0 1 0 480525974 57298944 13318 4294967295 134512640 134672761 3221224560 3221223760 134610738 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13989 13318 603 41 0 13948 0
vsize: 55956
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 15231 0 0 0 36924 74 0 0 25 0 1 0 480525974 59633664 13857 4294967295 134512640 134672761 3221224560 3221223392 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14559 13857 603 41 0 14518 0
vsize: 58236
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 15870 0 0 0 37922 76 0 0 25 0 1 0 480525974 62136320 14496 4294967295 134512640 134672761 3221224560 3221223704 134616139 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15170 14496 603 41 0 15129 0
vsize: 60680
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 16545 0 0 0 38920 78 0 0 25 0 1 0 480525974 65007616 15171 4294967295 134512640 134672761 3221224560 3221223760 134610707 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15871 15171 603 41 0 15830 0
vsize: 63484
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 17303 0 0 0 39917 81 0 0 25 0 1 0 480525974 68034560 15929 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16610 15929 603 41 0 16569 0
vsize: 66440
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 17985 0 0 0 40916 83 0 0 25 0 1 0 480525974 70914048 16611 4294967295 134512640 134672761 3221224560 3221223704 134616293 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17313 16611 603 41 0 17272 0
vsize: 69252
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 18597 0 0 0 41915 84 0 0 25 0 1 0 480525974 73392128 17223 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17918 17223 603 41 0 17877 0
vsize: 71672
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 19358 0 0 0 42913 86 0 0 25 0 1 0 480525974 76517376 17984 4294967295 134512640 134672761 3221224560 3221223712 134565137 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18681 17984 603 41 0 18640 0
vsize: 74724
[startup+440.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 20088 0 0 0 43911 88 0 0 25 0 1 0 480525974 79482880 18714 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19405 18714 603 41 0 19364 0
vsize: 77620
[startup+450.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 20512 0 0 0 44909 90 0 0 25 0 1 0 480525974 81231872 19138 4294967295 134512640 134672761 3221224560 3221223472 134644243 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19832 19138 603 41 0 19791 0
vsize: 79328
[startup+460.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 21057 0 0 0 45908 91 0 0 25 0 1 0 480525974 83423232 19683 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20367 19683 603 41 0 20326 0
vsize: 81468
[startup+470.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 21623 0 0 0 46907 92 0 0 25 0 1 0 480525974 85729280 20249 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20930 20249 603 41 0 20889 0
vsize: 83720
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 22043 0 0 0 47906 94 0 0 25 0 1 0 480525974 87429120 20669 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21345 20669 603 41 0 21304 0
vsize: 85380
[startup+490.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 22568 0 0 0 48904 95 0 0 25 0 1 0 480525974 89657344 21194 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21889 21194 603 41 0 21848 0
vsize: 87556
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 23039 0 0 0 49903 97 0 0 25 0 1 0 480525974 91598848 21665 4294967295 134512640 134672761 3221224560 3221223600 134614191 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22363 21665 603 41 0 22322 0
vsize: 89452
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 23524 0 0 0 50902 98 0 0 25 0 1 0 480525974 93515776 22150 4294967295 134512640 134672761 3221224560 3221223704 134616132 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22831 22150 603 41 0 22790 0
vsize: 91324
[startup+520.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 24154 0 0 0 51900 99 0 0 25 0 1 0 480525974 96190464 22780 4294967295 134512640 134672761 3221224560 3221223740 134553584 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23484 22780 603 41 0 23443 0
vsize: 93936
[startup+530.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 24724 0 0 0 52899 101 0 0 25 0 1 0 480525974 98516992 23350 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24052 23350 603 41 0 24011 0
vsize: 96208
[startup+540.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 25253 0 0 0 53897 103 0 0 25 0 1 0 480525974 100687872 23879 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24582 23879 603 41 0 24541 0
vsize: 98328
[startup+550.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 25785 0 0 0 54896 104 0 0 25 0 1 0 480525974 102871040 24411 4294967295 134512640 134672761 3221224560 3221223760 134610686 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25115 24411 603 41 0 25074 0
vsize: 100460
[startup+560.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 26350 0 0 0 55895 105 0 0 25 0 1 0 480525974 105177088 24976 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25678 24976 603 41 0 25637 0
vsize: 102712
[startup+570.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 26965 0 0 0 56894 107 0 0 25 0 1 0 480525974 107757568 25591 4294967295 134512640 134672761 3221224560 3221223232 134621179 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26308 25591 603 41 0 26267 0
vsize: 105232
[startup+580.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 27298 0 0 0 57892 108 0 0 25 0 1 0 480525974 109039616 25924 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26621 25924 603 41 0 26580 0
vsize: 106484
[startup+590.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 28284 0 0 0 58890 110 0 0 25 0 1 0 480525974 113065984 26910 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27604 26910 603 41 0 27563 0
vsize: 110416
[startup+600.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 28621 0 0 0 59889 111 0 0 25 0 1 0 480525974 114483200 27247 4294967295 134512640 134672761 3221224560 3221223704 134616154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27950 27247 603 41 0 27909 0
vsize: 111800
[startup+610.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 29018 0 0 0 60888 113 0 0 25 0 1 0 480525974 116076544 27644 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28339 27644 603 41 0 28298 0
vsize: 113356
[startup+620.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32033 0 0 0 61873 127 0 0 25 0 1 0 480525974 128118784 28913 4294967295 134512640 134672761 3221224560 3221223104 134621090 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31279 28913 603 41 0 31238 0
vsize: 125116
[startup+630.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32033 0 0 0 62849 152 0 0 25 0 1 0 480525974 124768256 28489 4294967295 134512640 134672761 3221224560 3221222768 1075730206 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28489 603 41 0 30420 0
vsize: 121844
[startup+640.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32033 0 0 0 63847 153 0 0 25 0 1 0 480525974 124768256 28489 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28489 603 41 0 30420 0
vsize: 121844
[startup+650.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32033 0 0 0 64847 153 0 0 25 0 1 0 480525974 124768256 28489 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28489 603 41 0 30420 0
vsize: 121844
[startup+660.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32033 0 0 0 65847 154 0 0 25 0 1 0 480525974 124768256 28489 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28489 603 41 0 30420 0
vsize: 121844
[startup+670.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32033 0 0 0 66847 154 0 0 25 0 1 0 480525974 124768256 28489 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28489 603 41 0 30420 0
vsize: 121844
[startup+680.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32033 0 0 0 67847 154 0 0 25 0 1 0 480525974 124768256 28489 4294967295 134512640 134672761 3221224560 3221223600 134612628 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28489 603 41 0 30420 0
vsize: 121844
[startup+690.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32033 0 0 0 68846 155 0 0 25 0 1 0 480525974 124768256 28489 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28489 603 41 0 30420 0
vsize: 121844
[startup+700.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32035 0 0 0 69846 155 0 0 25 0 1 0 480525974 124768256 28491 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28491 603 41 0 30420 0
vsize: 121844
[startup+710.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32037 0 0 0 70846 155 0 0 25 0 1 0 480525974 124768256 28493 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28493 603 41 0 30420 0
vsize: 121844
[startup+720.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32038 0 0 0 71846 156 0 0 25 0 1 0 480525974 124768256 28494 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28494 603 41 0 30420 0
vsize: 121844
[startup+730.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32039 0 0 0 72846 156 0 0 25 0 1 0 480525974 124768256 28495 4294967295 134512640 134672761 3221224560 3221223744 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28495 603 41 0 30420 0
vsize: 121844
[startup+740.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32040 0 0 0 73846 156 0 0 25 0 1 0 480525974 124768256 28496 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28496 603 41 0 30420 0
vsize: 121844
[startup+750.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32042 0 0 0 74846 156 0 0 25 0 1 0 480525974 124768256 28498 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28498 603 41 0 30420 0
vsize: 121844
[startup+760.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32043 0 0 0 75846 156 0 0 25 0 1 0 480525974 124768256 28499 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28499 603 41 0 30420 0
vsize: 121844
[startup+770.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32044 0 0 0 76846 157 0 0 25 0 1 0 480525974 124768256 28500 4294967295 134512640 134672761 3221224560 3221223744 134615549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28500 603 41 0 30420 0
vsize: 121844
[startup+780.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32046 0 0 0 77845 157 0 0 25 0 1 0 480525974 124768256 28502 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30461 28502 603 41 0 30420 0
vsize: 121844
[startup+790.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 32448 0 0 0 78844 158 0 0 25 0 1 0 480525974 126459904 28904 4294967295 134512640 134672761 3221224560 3221223600 134612783 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30874 28904 603 41 0 30833 0
vsize: 123496
[startup+800.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 33064 0 0 0 79843 160 0 0 25 0 1 0 480525974 128884736 29520 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31466 29520 603 41 0 31425 0
vsize: 125864
[startup+810.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 33534 0 0 0 80842 160 0 0 25 0 1 0 480525974 130863104 29990 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31949 29990 603 41 0 31908 0
vsize: 127796
[startup+820.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 34277 0 0 0 81841 162 0 0 25 0 1 0 480525974 133943296 30733 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32701 30733 603 41 0 32660 0
vsize: 130804
[startup+830.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 34769 0 0 0 82840 163 0 0 25 0 1 0 480525974 135892992 31225 4294967295 134512640 134672761 3221224560 3221223744 134615732 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33177 31225 603 41 0 33136 0
vsize: 132708
[startup+840.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 35173 0 0 0 83839 164 0 0 25 0 1 0 480525974 137584640 31629 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33590 31629 603 41 0 33549 0
vsize: 134360
[startup+850.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 35732 0 0 0 84838 165 0 0 25 0 1 0 480525974 139882496 32188 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34151 32188 603 41 0 34110 0
vsize: 136604
[startup+860.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 36312 0 0 0 85836 167 0 0 25 0 1 0 480525974 142442496 32768 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34776 32768 603 41 0 34735 0
vsize: 139104
[startup+870.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 36978 0 0 0 86834 169 0 0 25 0 1 0 480525974 145170432 33434 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35442 33434 603 41 0 35401 0
vsize: 141768
[startup+880.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39939 0 0 0 87816 187 0 0 25 0 1 0 480525974 151265280 34510 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36930 34510 603 41 0 36889 0
vsize: 147720
[startup+890.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39939 0 0 0 88816 187 0 0 25 0 1 0 480525974 147791872 34086 4294967295 134512640 134672761 3221224560 3221223008 134643969 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36082 34086 603 41 0 36041 0
vsize: 144328
[startup+900.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39939 0 0 0 89816 188 0 0 25 0 1 0 480525974 147791872 34086 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36082 34086 603 41 0 36041 0
vsize: 144328
[startup+910.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39939 0 0 0 90815 188 0 0 25 0 1 0 480525974 147791872 34086 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36082 34086 603 41 0 36041 0
vsize: 144328
[startup+920.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39939 0 0 0 91815 188 0 0 25 0 1 0 480525974 147791872 34086 4294967295 134512640 134672761 3221224560 3221223744 134615632 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36082 34086 603 41 0 36041 0
vsize: 144328
[startup+930.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39940 0 0 0 92815 189 0 0 25 0 1 0 480525974 147791872 34087 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36082 34087 603 41 0 36041 0
vsize: 144328
[startup+940.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39942 0 0 0 93815 189 0 0 25 0 1 0 480525974 147791872 34089 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36082 34089 603 41 0 36041 0
vsize: 144328
[startup+950.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39942 0 0 0 94815 189 0 0 25 0 1 0 480525974 147791872 34089 4294967295 134512640 134672761 3221224560 3221223704 134616247 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36082 34089 603 41 0 36041 0
vsize: 144328
[startup+960.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39944 0 0 0 95815 189 0 0 25 0 1 0 480525974 147791872 34091 4294967295 134512640 134672761 3221224560 3221223552 134565092 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36082 34091 603 41 0 36041 0
vsize: 144328
[startup+970.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39945 0 0 0 96815 190 0 0 25 0 1 0 480525974 147791872 34092 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36082 34092 603 41 0 36041 0
vsize: 144328
[startup+980.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39946 0 0 0 97814 190 0 0 25 0 1 0 480525974 147791872 34093 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36082 34093 603 41 0 36041 0
vsize: 144328
[startup+990.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39947 0 0 0 98814 191 0 0 25 0 1 0 480525974 147791872 34094 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36082 34094 603 41 0 36041 0
vsize: 144328
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 39949 0 0 0 99814 191 0 0 25 0 1 0 480525974 147791872 34096 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36082 34096 603 41 0 36041 0
vsize: 144328
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 40266 0 0 0 100814 191 0 0 25 0 1 0 480525974 149176320 34413 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36420 34413 603 41 0 36379 0
vsize: 145680
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 40724 0 0 0 101813 193 0 0 25 0 1 0 480525974 151080960 34871 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36885 34871 603 41 0 36844 0
vsize: 147540
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 41392 0 0 0 102811 194 0 0 25 0 1 0 480525974 153718784 35539 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37529 35539 603 41 0 37488 0
vsize: 150116
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 42038 0 0 0 103810 196 0 0 25 0 1 0 480525974 156397568 36185 4294967295 134512640 134672761 3221224560 3221223704 134616247 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38183 36185 603 41 0 38142 0
vsize: 152732
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 42278 0 0 0 104810 196 0 0 25 0 1 0 480525974 157396992 36425 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38427 36425 603 41 0 38386 0
vsize: 153708
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 42670 0 0 0 105809 197 0 0 25 0 1 0 480525974 158941184 36817 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38804 36817 603 41 0 38763 0
vsize: 155216
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 43116 0 0 0 106808 198 0 0 25 0 1 0 480525974 160788480 37263 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39255 37263 603 41 0 39214 0
vsize: 157020
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 43596 0 0 0 107808 199 0 0 25 0 1 0 480525974 162725888 37743 4294967295 134512640 134672761 3221224560 3221223704 134616312 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39728 37743 603 41 0 39687 0
vsize: 158912
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 43815 0 0 0 108808 199 0 0 25 0 1 0 480525974 163631104 37962 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39949 37962 603 41 0 39908 0
vsize: 159796
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 44343 0 0 0 109807 200 0 0 25 0 1 0 480525974 165834752 38490 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40487 38490 603 41 0 40446 0
vsize: 161948
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 44887 0 0 0 110807 201 0 0 25 0 1 0 480525974 168042496 39034 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41026 39034 603 41 0 40985 0
vsize: 164104
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 45486 0 0 0 111806 202 0 0 25 0 1 0 480525974 170520576 39633 4294967295 134512640 134672761 3221224560 3221223744 134615758 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41631 39633 603 41 0 41590 0
vsize: 166524
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 45810 0 0 0 112805 202 0 0 25 0 1 0 480525974 171823104 39957 4294967295 134512640 134672761 3221224560 3221223744 134615711 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41949 39957 603 41 0 41908 0
vsize: 167796
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 46206 0 0 0 113804 204 0 0 25 0 1 0 480525974 173404160 40353 4294967295 134512640 134672761 3221224560 3221223704 134616293 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42335 40353 603 41 0 42294 0
vsize: 169340
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 46443 0 0 0 114804 204 0 0 25 0 1 0 480525974 174460928 40590 4294967295 134512640 134672761 3221224560 3221223704 134616263 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 42593 40590 603 41 0 42552 0
vsize: 170372
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 47024 0 0 0 115803 205 0 0 25 0 1 0 480525974 176795648 41171 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43163 41171 603 41 0 43122 0
vsize: 172652
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 47487 0 0 0 116801 207 0 0 25 0 1 0 480525974 178712576 41634 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43631 41634 603 41 0 43590 0
vsize: 174524
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 47786 0 0 0 117801 208 0 0 25 0 1 0 480525974 179863552 41933 4294967295 134512640 134672761 3221224560 3221223704 134616284 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43912 41933 603 41 0 43871 0
vsize: 175648
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 48184 0 0 0 118800 209 0 0 25 0 1 0 480525974 181534720 42331 4294967295 134512640 134672761 3221224560 3221223600 134614271 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44320 42331 603 41 0 44279 0
vsize: 177280
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7143
Raw data (stat): 7143 (minisat+) R 7142 3260 3259 0 -1 0 48725 0 0 0 119799 210 0 0 25 0 1 0 480525974 183713792 42872 4294967295 134512640 134672761 3221224560 3221223744 134615732 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44852 42872 603 41 0 44811 0
vsize: 179408
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 7143
Raw data (stat): 7143 (minisat+) Z 7142 3260 3259 0 -1 12 48726 0 0 0 119799 220 0 0 25 0 1 0 480525974 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.13
CPU time (s): 1200.21
CPU user time (s): 1198
CPU system time (s): 2.20766
CPU usage (%): 100.007
Max. virtual memory (Kb): 179408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####