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/submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUM	95af9ee9e7f41d7e844f72bb8840ff83
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	14500
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	14500
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	14500
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12398
Number of variables	14500
Total number of constraints	461872
Number of constraints which are clauses	461872
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	29
Trace number 4885

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-13 20:43:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1193 boxname=wulflinc5 idbench=133 idsolver=5 numberseed=0
MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4  /oldhome/oroussel/solvers/minisat+
MD5SUM BENCH:  95af9ee9e7f41d7e844f72bb8840ff83  /oldhome/oroussel/tmp/wulflinc5/normalized-g250.29.opb
REAL COMMAND:  minisat+ /oldhome/oroussel/tmp/wulflinc5/normalized-g250.29.opb
IDLAUNCH: 1193
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        900584 kB
Buffers:         33172 kB
Cached:          78728 kB
SwapCached:       2272 kB
Active:          60860 kB
Inactive:        56140 kB
HighTotal:      131008 kB
HighFree:        48356 kB
LowTotal:       903652 kB
LowFree:        852228 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11392 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 21:03:26 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 1193 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 461872 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  461872   930494 |  153957       0        0     nan |  0.000 % |
c |       100 |  461872   930494 |  169352     100     9776    97.8 |  0.000 % |
c |       253 |  461872   930494 |  186287     253    37282   147.4 |  0.000 % |
c |       478 |  461872   930494 |  204916     478   117761   246.4 |  0.000 % |
c |       819 |  461872   930494 |  225408     819   306261   373.9 |  0.000 % |
c |      1327 |  461872   930494 |  247949    1327   660276   497.6 |  0.000 % |
c |      2086 |  461872   930494 |  272744    2086  1077877   516.7 |  0.000 % |
c |      3231 |  461872   930494 |  300018    3231  1993574   617.0 |  0.000 % |
c |      4939 |  461872   930494 |  330020    4939  3016806   610.8 |  0.000 % |
c |      7504 |  461872   930494 |  363022    7504  5218471   695.4 |  0.000 % |
c |     11348 |  461872   930494 |  399324   11348  8680258   764.9 |  0.000 % |
c |     17114 |  461872   930494 |  439257   17114 16687175   975.1 |  0.000 % |
c |     25763 |  461872   930494 |  483183   25763 22664780   879.7 |  0.000 % |
c |     38737 |  461872   930494 |  531501   38737 33750907   871.3 |  0.000 % |
c |     58199 |  461872   930494 |  584651   58199 60635918  1041.9 |  0.000 % |
c |     87395 |  461872   930494 |  643116   87395 108179773  1237.8 |  0.000 % |
#### 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.97 0.91 2/54 26169
Raw data (stat): 26169 (runsolver) R 26168 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 420700758 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 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.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21792 0 0 0 938 60 0 0 25 0 1 0 420700758 90988544 21681 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21681 603 41 0 22173 0
vsize: 88856
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21793 0 0 0 1938 60 0 0 25 0 1 0 420700758 90988544 21682 4294967295 134512640 134672761 3221224640 3221223744 134560405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21682 603 41 0 22173 0
vsize: 88856
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 2937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 3937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 4937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134561201 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 5937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 6937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134560806 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 7937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 23472 0 0 0 8935 64 0 0 25 0 1 0 420700758 97861632 23361 4294967295 134512640 134672761 3221224640 3221223776 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23892 23361 603 41 0 23851 0
vsize: 95568
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 25049 0 0 0 9932 67 0 0 25 0 1 0 420700758 104411136 24938 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25491 24938 603 41 0 25450 0
vsize: 101964
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 26661 0 0 0 10927 72 0 0 25 0 1 0 420700758 110948352 26550 4294967295 134512640 134672761 3221224640 3221223744 134560289 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27087 26550 603 41 0 27046 0
vsize: 108348
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 27994 0 0 0 11924 75 0 0 25 0 1 0 420700758 116371456 27883 4294967295 134512640 134672761 3221224640 3221223596 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28411 27883 603 41 0 28370 0
vsize: 113644
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 29164 0 0 0 12922 78 0 0 25 0 1 0 420700758 121171968 29053 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29583 29053 603 41 0 29542 0
vsize: 118332
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 30249 0 0 0 13920 80 0 0 25 0 1 0 420700758 125657088 30138 4294967295 134512640 134672761 3221224640 3221223840 134557809 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30678 30138 603 41 0 30637 0
vsize: 122712
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 31761 0 0 0 14917 83 0 0 25 0 1 0 420700758 131887104 31650 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32199 31650 603 41 0 32158 0
vsize: 128796
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 32974 0 0 0 15914 86 0 0 25 0 1 0 420700758 136781824 32863 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33394 32863 603 41 0 33353 0
vsize: 133576
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 34206 0 0 0 16913 88 0 0 25 0 1 0 420700758 141824000 34095 4294967295 134512640 134672761 3221224640 3221223744 134560246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34625 34095 603 41 0 34584 0
vsize: 138500
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 35501 0 0 0 17909 91 0 0 25 0 1 0 420700758 147144704 35390 4294967295 134512640 134672761 3221224640 3221223744 134560405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35924 35390 603 41 0 35883 0
vsize: 143696
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 36502 0 0 0 18908 93 0 0 25 0 1 0 420700758 151363584 36391 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36954 36391 603 41 0 36913 0
vsize: 147816
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 37582 0 0 0 19906 95 0 0 25 0 1 0 420700758 155770880 37471 4294967295 134512640 134672761 3221224640 3221223808 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38030 37471 603 41 0 37989 0
vsize: 152120
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 38482 0 0 0 20904 97 0 0 25 0 1 0 420700758 159457280 38371 4294967295 134512640 134672761 3221224640 3221223744 134560293 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38930 38371 603 41 0 38889 0
vsize: 155720
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 39459 0 0 0 21903 99 0 0 25 0 1 0 420700758 163512320 39348 4294967295 134512640 134672761 3221224640 3221223744 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39920 39348 603 41 0 39879 0
vsize: 159680
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 40356 0 0 0 22900 101 0 0 25 0 1 0 420700758 167198720 40245 4294967295 134512640 134672761 3221224640 3221223744 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40820 40245 603 41 0 40779 0
vsize: 163280
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 41112 0 0 0 23899 103 0 0 25 0 1 0 420700758 170205184 41001 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41554 41001 603 41 0 41513 0
vsize: 166216
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 42322 0 0 0 24895 107 0 0 25 0 1 0 420700758 175218688 42211 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42778 42211 603 41 0 42737 0
vsize: 171112
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 43475 0 0 0 25892 109 0 0 25 0 1 0 420700758 179863552 43364 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43912 43364 603 41 0 43871 0
vsize: 175648
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 44799 0 0 0 26889 113 0 0 25 0 1 0 420700758 185364480 44688 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45255 44688 603 41 0 45214 0
vsize: 181020
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 46313 0 0 0 27886 116 0 0 25 0 1 0 420700758 191582208 46202 4294967295 134512640 134672761 3221224640 3221223744 134560504 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46773 46202 603 41 0 46732 0
vsize: 187092
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 47579 0 0 0 28884 119 0 0 25 0 1 0 420700758 196755456 47468 4294967295 134512640 134672761 3221224640 3221223684 1075755419 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48036 47468 603 41 0 47995 0
vsize: 192144
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 48971 0 0 0 29881 121 0 0 25 0 1 0 420700758 202366976 48860 4294967295 134512640 134672761 3221224640 3221223712 134553549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49406 48860 603 41 0 49365 0
vsize: 197624
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 50200 0 0 0 30879 124 0 0 25 0 1 0 420700758 207499264 50089 4294967295 134512640 134672761 3221224640 3221223744 134559862 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50659 50089 603 41 0 50618 0
vsize: 202636
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 51283 0 0 0 31877 126 0 0 25 0 1 0 420700758 211906560 51172 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51735 51172 603 41 0 51694 0
vsize: 206940
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 52328 0 0 0 32874 129 0 0 25 0 1 0 420700758 216133632 52217 4294967295 134512640 134672761 3221224640 3221223744 134559862 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52767 52217 603 41 0 52726 0
vsize: 211068
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 53428 0 0 0 33873 130 0 0 25 0 1 0 420700758 220659712 53317 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53872 53317 603 41 0 53831 0
vsize: 215488
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 54646 0 0 0 34871 132 0 0 25 0 1 0 420700758 225619968 54535 4294967295 134512640 134672761 3221224640 3221223744 134560523 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55083 54535 603 41 0 55042 0
vsize: 220332
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 55714 0 0 0 35869 134 0 0 25 0 1 0 420700758 229978112 55603 4294967295 134512640 134672761 3221224640 3221223744 134560171 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56147 55603 603 41 0 56106 0
vsize: 224588
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 56806 0 0 0 36867 137 0 0 25 0 1 0 420700758 234491904 56695 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 57249 56695 603 41 0 57208 0
vsize: 228996
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 57534 0 0 0 37865 139 0 0 25 0 1 0 420700758 237506560 57423 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 57985 57423 603 41 0 57944 0
vsize: 231940
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 58345 0 0 0 38864 140 0 0 25 0 1 0 420700758 240812032 58234 4294967295 134512640 134672761 3221224640 3221223596 1075350331 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 58792 58234 603 41 0 58751 0
vsize: 235168
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 59274 0 0 0 39863 141 0 0 25 0 1 0 420700758 244625408 59163 4294967295 134512640 134672761 3221224640 3221223808 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 59723 59163 603 41 0 59682 0
vsize: 238892
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 60340 0 0 0 40861 143 0 0 25 0 1 0 420700758 248950784 60229 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 60779 60229 603 41 0 60738 0
vsize: 243116
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 61281 0 0 0 41860 144 0 0 25 0 1 0 420700758 252874752 61170 4294967295 134512640 134672761 3221224640 3221223784 134560553 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 61737 61170 603 41 0 61696 0
vsize: 246948
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 62132 0 0 0 42859 146 0 0 25 0 1 0 420700758 256307200 62021 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 62575 62021 603 41 0 62534 0
vsize: 250300
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 63129 0 0 0 43857 148 0 0 25 0 1 0 420700758 260390912 63018 4294967295 134512640 134672761 3221224640 3221223744 134555091 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 63572 63018 603 41 0 63531 0
vsize: 254288
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 64055 0 0 0 44856 149 0 0 25 0 1 0 420700758 264179712 63944 4294967295 134512640 134672761 3221224640 3221223808 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64497 63944 603 41 0 64456 0
vsize: 257988
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 64783 0 0 0 45855 151 0 0 25 0 1 0 420700758 267165696 64672 4294967295 134512640 134672761 3221224640 3221223744 134559902 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 65226 64672 603 41 0 65185 0
vsize: 260904
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 65644 0 0 0 46853 153 0 0 25 0 1 0 420700758 270704640 65533 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 66090 65533 603 41 0 66049 0
vsize: 264360
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 66467 0 0 0 47852 154 0 0 25 0 1 0 420700758 273997824 66356 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 66894 66356 603 41 0 66853 0
vsize: 267576
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 67339 0 0 0 48850 156 0 0 25 0 1 0 420700758 277667840 67228 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 67790 67228 603 41 0 67749 0
vsize: 271160
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 68152 0 0 0 49849 158 0 0 25 0 1 0 420700758 280936448 68041 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68588 68041 603 41 0 68547 0
vsize: 274352
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 69333 0 0 0 50846 159 0 0 25 0 1 0 420700758 285859840 69222 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 69790 69222 603 41 0 69749 0
vsize: 279160
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 70930 0 0 0 51843 162 0 0 25 0 1 0 420700758 292290560 70819 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 71360 70819 603 41 0 71319 0
vsize: 285440
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 72168 0 0 0 52841 164 0 0 25 0 1 0 420700758 297369600 72057 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72600 72057 603 41 0 72559 0
vsize: 290400
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 73385 0 0 0 53838 167 0 0 25 0 1 0 420700758 302452736 73274 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 73841 73274 603 41 0 73800 0
vsize: 295364
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 74839 0 0 0 54835 171 0 0 25 0 1 0 420700758 308273152 74728 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 75262 74728 603 41 0 75221 0
vsize: 301048
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 76176 0 0 0 55832 174 0 0 25 0 1 0 420700758 313749504 76065 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 76599 76065 603 41 0 76558 0
vsize: 306396
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 77346 0 0 0 56830 176 0 0 25 0 1 0 420700758 318873600 77235 4294967295 134512640 134672761 3221224640 3221223824 134558899 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 77850 77235 603 41 0 77809 0
vsize: 311400
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 78441 0 0 0 57828 178 0 0 25 0 1 0 420700758 323309568 78330 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 78933 78330 603 41 0 78892 0
vsize: 315732
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 79575 0 0 0 58826 181 0 0 25 0 1 0 420700758 328028160 79464 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 80085 79464 603 41 0 80044 0
vsize: 320340
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 80724 0 0 0 59824 183 0 0 25 0 1 0 420700758 332640256 80613 4294967295 134512640 134672761 3221224640 3221223744 134559933 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 81211 80613 603 41 0 81170 0
vsize: 324844
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 81756 0 0 0 60821 185 0 0 25 0 1 0 420700758 336961536 81645 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 82266 81645 603 41 0 82225 0
vsize: 329064
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 82850 0 0 0 61819 188 0 0 25 0 1 0 420700758 341438464 82739 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 83359 82739 603 41 0 83318 0
vsize: 333436
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 83964 0 0 0 62817 190 0 0 25 0 1 0 420700758 345931776 83853 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 84456 83853 603 41 0 84415 0
vsize: 337824
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 85071 0 0 0 63815 192 0 0 25 0 1 0 420700758 350543872 84960 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 85582 84960 603 41 0 85541 0
vsize: 342328
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 86215 0 0 0 64813 195 0 0 25 0 1 0 420700758 355225600 86104 4294967295 134512640 134672761 3221224640 3221223776 134560598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 86725 86104 603 41 0 86684 0
vsize: 346900
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 87197 0 0 0 65811 197 0 0 25 0 1 0 420700758 359157760 87086 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 87685 87086 603 41 0 87644 0
vsize: 350740
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 88159 0 0 0 66809 199 0 0 25 0 1 0 420700758 363196416 88048 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 88671 88048 603 41 0 88630 0
vsize: 354684
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 89202 0 0 0 67806 202 0 0 25 0 1 0 420700758 367345664 89091 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 89684 89091 603 41 0 89643 0
vsize: 358736
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 90274 0 0 0 68803 205 0 0 25 0 1 0 420700758 371752960 90163 4294967295 134512640 134672761 3221224640 3221223808 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 90760 90163 603 41 0 90719 0
vsize: 363040
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 91317 0 0 0 69801 208 0 0 25 0 1 0 420700758 376061952 91206 4294967295 134512640 134672761 3221224640 3221223808 134560912 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 91812 91206 603 41 0 91771 0
vsize: 367248
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 92444 0 0 0 70799 210 0 0 25 0 1 0 420700758 380698624 92333 4294967295 134512640 134672761 3221224640 3221223824 134558885 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 92944 92333 603 41 0 92903 0
vsize: 371776
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 93319 0 0 0 71797 212 0 0 25 0 1 0 420700758 384323584 93208 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 93829 93208 603 41 0 93788 0
vsize: 375316
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 94294 0 0 0 72795 214 0 0 25 0 1 0 420700758 388202496 94183 4294967295 134512640 134672761 3221224640 3221223744 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 94776 94183 603 41 0 94735 0
vsize: 379104
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 95275 0 0 0 73794 216 0 0 25 0 1 0 420700758 392241152 95164 4294967295 134512640 134672761 3221224640 3221223824 134558846 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 95762 95164 603 41 0 95721 0
vsize: 383048
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 96182 0 0 0 74792 218 0 0 25 0 1 0 420700758 396021760 96071 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 96685 96071 603 41 0 96644 0
vsize: 386740
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 96916 0 0 0 75791 219 0 0 25 0 1 0 420700758 398958592 96805 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 97402 96805 603 41 0 97361 0
vsize: 389608
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 97852 0 0 0 76789 221 0 0 25 0 1 0 420700758 402886656 97741 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 98361 97741 603 41 0 98320 0
vsize: 393444
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 98841 0 0 0 77787 223 0 0 25 0 1 0 420700758 406859776 98730 4294967295 134512640 134672761 3221224640 3221223744 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 99331 98730 603 41 0 99290 0
vsize: 397324
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 99856 0 0 0 78785 226 0 0 25 0 1 0 420700758 411000832 99745 4294967295 134512640 134672761 3221224640 3221223744 134560212 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 100342 99745 603 41 0 100301 0
vsize: 401368
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 101048 0 0 0 79783 228 0 0 25 0 1 0 420700758 415932416 100937 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 101546 100937 603 41 0 101505 0
vsize: 406184
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 102070 0 0 0 80781 230 0 0 25 0 1 0 420700758 420061184 101959 4294967295 134512640 134672761 3221224640 3221223744 134559877 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 102554 101959 603 41 0 102513 0
vsize: 410216
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 103105 0 0 0 81780 232 0 0 25 0 1 0 420700758 424349696 102994 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 103601 102994 603 41 0 103560 0
vsize: 414404
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 104133 0 0 0 82778 233 0 0 25 0 1 0 420700758 428515328 104022 4294967295 134512640 134672761 3221224640 3221223824 134559330 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 104618 104022 603 41 0 104577 0
vsize: 418472
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 105107 0 0 0 83776 236 0 0 25 0 1 0 420700758 432541696 104996 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 105601 104996 603 41 0 105560 0
vsize: 422404
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 105903 0 0 0 84775 237 0 0 25 0 1 0 420700758 435789824 105792 4294967295 134512640 134672761 3221224640 3221223712 134553549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 106394 105792 603 41 0 106353 0
vsize: 425576
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 106553 0 0 0 85772 240 0 0 25 0 1 0 420700758 438501376 106442 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 107056 106442 603 41 0 107015 0
vsize: 428224
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 107578 0 0 0 86770 243 0 0 25 0 1 0 420700758 442626048 107467 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 108063 107467 603 41 0 108022 0
vsize: 432252
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 108557 0 0 0 87768 245 0 0 25 0 1 0 420700758 446742528 108446 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 109068 108446 603 41 0 109027 0
vsize: 436272
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 109345 0 0 0 88765 247 0 0 25 0 1 0 420700758 449904640 109234 4294967295 134512640 134672761 3221224640 3221223744 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 109840 109234 603 41 0 109799 0
vsize: 439360
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 110027 0 0 0 89764 249 0 0 25 0 1 0 420700758 452628480 109916 4294967295 134512640 134672761 3221224640 3221223808 134561406 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 110505 109916 603 41 0 110464 0
vsize: 442020
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 110983 0 0 0 90761 252 0 0 25 0 1 0 420700758 456581120 110872 4294967295 134512640 134672761 3221224640 3221223824 134559604 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 111470 110872 603 41 0 111429 0
vsize: 445880
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 111952 0 0 0 91760 253 0 0 25 0 1 0 420700758 460587008 111841 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 112448 111841 603 41 0 112407 0
vsize: 449792
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 112973 0 0 0 92758 255 0 0 25 0 1 0 420700758 464805888 112862 4294967295 134512640 134672761 3221224640 3221223776 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 113478 112862 603 41 0 113437 0
vsize: 453912
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 113743 0 0 0 93756 258 0 0 25 0 1 0 420700758 467832832 113632 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 114217 113632 603 41 0 114176 0
vsize: 456868
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 114565 0 0 0 94755 259 0 0 25 0 1 0 420700758 471252992 114454 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 115052 114454 603 41 0 115011 0
vsize: 460208
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 115527 0 0 0 95751 262 0 0 25 0 1 0 420700758 475217920 115416 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 116020 115416 603 41 0 115979 0
vsize: 464080
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 116520 0 0 0 96749 265 0 0 25 0 1 0 420700758 479301632 116409 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 117017 116409 603 41 0 116976 0
vsize: 468068
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 117804 0 0 0 97747 267 0 0 25 0 1 0 420700758 484495360 117693 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 118285 117693 603 41 0 118244 0
vsize: 473140
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26169
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 118893 0 0 0 98745 269 0 0 25 0 1 0 420700758 488972288 118782 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 119378 118782 603 41 0 119337 0
vsize: 477512
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26170
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 119845 0 0 0 99740 274 0 0 25 0 1 0 420700758 492871680 119734 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 120330 119734 603 41 0 120289 0
vsize: 481320
[startup+1010.03 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 26222
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 120848 0 0 0 100738 276 0 0 25 0 1 0 420700758 496951296 120737 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 121326 120737 603 41 0 121285 0
vsize: 485304
[startup+1020.03 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 26222
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 121890 0 0 0 101736 278 0 0 25 0 1 0 420700758 501219328 121779 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 122368 121779 603 41 0 122327 0
vsize: 489472
[startup+1030.03 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 26222
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 123025 0 0 0 102734 280 0 0 25 0 1 0 420700758 505856000 122914 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 123500 122914 603 41 0 123459 0
vsize: 494000
[startup+1040.03 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 26222
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 124362 0 0 0 103731 283 0 0 25 0 1 0 420700758 511352832 124251 4294967295 134512640 134672761 3221224640 3221223712 134553549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 124842 124251 603 41 0 124801 0
vsize: 499368
[startup+1050.03 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 26222
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 125596 0 0 0 104729 286 0 0 25 0 1 0 420700758 516419584 125485 4294967295 134512640 134672761 3221224640 3221223808 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 126079 125485 603 41 0 126038 0
vsize: 504316
[startup+1060.03 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 26222
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 126742 0 0 0 105728 287 0 0 25 0 1 0 420700758 521154560 126631 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 127235 126631 603 41 0 127194 0
vsize: 508940
[startup+1070.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 26222
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 127974 0 0 0 106725 290 0 0 25 0 1 0 420700758 526102528 127863 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 128443 127863 603 41 0 128402 0
vsize: 513772
[startup+1080.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 128933 0 0 0 107723 292 0 0 25 0 1 0 420700758 530100224 128822 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 129419 128822 603 41 0 129378 0
vsize: 517676
[startup+1090.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 130202 0 0 0 108721 294 0 0 25 0 1 0 420700758 535228416 130091 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 130671 130091 603 41 0 130630 0
vsize: 522684
[startup+1100.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 131431 0 0 0 109718 297 0 0 25 0 1 0 420700758 540303360 131320 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 131910 131320 603 41 0 131869 0
vsize: 527640
[startup+1110.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 132492 0 0 0 110716 300 0 0 25 0 1 0 420700758 544702464 132381 4294967295 134512640 134672761 3221224640 3221223744 134560252 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 132984 132381 603 41 0 132943 0
vsize: 531936
[startup+1120.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 133437 0 0 0 111714 302 0 0 25 0 1 0 420700758 548524032 133326 4294967295 134512640 134672761 3221224640 3221223776 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 133917 133326 603 41 0 133876 0
vsize: 535668
[startup+1130.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 134343 0 0 0 112711 305 0 0 25 0 1 0 420700758 552189952 134232 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 134812 134232 603 41 0 134771 0
vsize: 539248
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 135206 0 0 0 113710 306 0 0 25 0 1 0 420700758 555814912 135095 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 135697 135095 603 41 0 135656 0
vsize: 542788
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 136147 0 0 0 114708 308 0 0 25 0 1 0 420700758 559640576 136036 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 136631 136036 603 41 0 136590 0
vsize: 546524
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 137255 0 0 0 115705 312 0 0 25 0 1 0 420700758 564178944 137144 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 137739 137144 603 41 0 137698 0
vsize: 550956
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 138281 0 0 0 116703 314 0 0 25 0 1 0 420700758 568287232 138170 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 138742 138170 603 41 0 138701 0
vsize: 554968
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 139279 0 0 0 117701 316 0 0 25 0 1 0 420700758 572485632 139168 4294967295 134512640 134672761 3221224640 3221223744 134560514 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 139767 139168 603 41 0 139726 0
vsize: 559068
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 140361 0 0 0 118698 319 0 0 25 0 1 0 420700758 576794624 140250 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 140819 140250 603 41 0 140778 0
vsize: 563276
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 26224
Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 141325 0 0 0 119697 321 0 0 25 0 1 0 420700758 580808704 141214 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 141799 141214 603 41 0 141758 0
vsize: 567196
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 26224
Raw data (stat): 26169 (minisat+) Z 26168 24215 24214 0 -1 12 141328 0 0 0 119697 347 0 0 25 0 1 0 420700758 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.3
CPU time (s): 1200.45
CPU user time (s): 1196.97
CPU system time (s): 3.47447
CPU usage (%): 100.012
Max. virtual memory (Kb): 567196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####