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 6222

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        850528 kB
Buffers:         38100 kB
Cached:         125644 kB
SwapCached:          0 kB
Active:          84744 kB
Inactive:        81848 kB
HighTotal:      131008 kB
HighFree:         1484 kB
LowTotal:       903652 kB
LowFree:        849044 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11852 kB
Committed_AS:    63468 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 04:10:51 (client local time) WITH STATUS 0 IN 1200.53 SECONDS
stats: 4645 7 1200.53 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 28921
Raw data (stat): 28921 (runsolver) R 28920 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 423269722 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 21793 0 0 0 933 65 0 0 25 0 1 0 423269722 90988544 21682 4294967295 134512640 134672761 3221224576 3221223680 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21682 603 41 0 22173 0
vsize: 88856
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 21793 0 0 0 1933 66 0 0 25 0 1 0 423269722 90988544 21682 4294967295 134512640 134672761 3221224576 3221223744 134560983 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.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 21794 0 0 0 2933 66 0 0 25 0 1 0 423269722 90988544 21683 4294967295 134512640 134672761 3221224576 3221223712 134560622 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.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 21794 0 0 0 3932 67 0 0 25 0 1 0 423269722 90988544 21683 4294967295 134512640 134672761 3221224576 3221223680 134560246 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.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 21794 0 0 0 4932 67 0 0 25 0 1 0 423269722 90988544 21683 4294967295 134512640 134672761 3221224576 3221223680 134559914 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 21794 0 0 0 5931 67 0 0 25 0 1 0 423269722 90988544 21683 4294967295 134512640 134672761 3221224576 3221223744 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+70.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 21794 0 0 0 6931 68 0 0 25 0 1 0 423269722 90988544 21683 4294967295 134512640 134672761 3221224576 3221223728 134565083 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.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 21794 0 0 0 7931 68 0 0 25 0 1 0 423269722 90988544 21683 4294967295 134512640 134672761 3221224576 3221223744 134560983 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.0022 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 23599 0 0 0 8928 72 0 0 25 0 1 0 423269722 98422784 23488 4294967295 134512640 134672761 3221224576 3221223712 134565092 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24029 23488 603 41 0 23988 0
vsize: 96116
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 25150 0 0 0 9924 75 0 0 25 0 1 0 423269722 104808448 25039 4294967295 134512640 134672761 3221224576 3221223712 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25588 25039 603 41 0 25547 0
vsize: 102352
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 26768 0 0 0 10921 79 0 0 25 0 1 0 423269722 111435776 26657 4294967295 134512640 134672761 3221224576 3221223680 134560396 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27206 26657 603 41 0 27165 0
vsize: 108824
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 28111 0 0 0 11918 82 0 0 25 0 1 0 423269722 116867072 28000 4294967295 134512640 134672761 3221224576 3221223592 1075353072 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28532 28000 603 41 0 28491 0
vsize: 114128
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 29265 0 0 0 12914 85 0 0 25 0 1 0 423269722 121626624 29154 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29694 29154 603 41 0 29653 0
vsize: 118776
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 30384 0 0 0 13912 88 0 0 25 0 1 0 423269722 126251008 30273 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30823 30273 603 41 0 30782 0
vsize: 123292
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 31883 0 0 0 14909 91 0 0 25 0 1 0 423269722 132382720 31772 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32320 31772 603 41 0 32279 0
vsize: 129280
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 33079 0 0 0 15907 93 0 0 25 0 1 0 423269722 137289728 32968 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33518 32968 603 41 0 33477 0
vsize: 134072
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 34338 0 0 0 16905 96 0 0 25 0 1 0 423269722 142356480 34227 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34755 34227 603 41 0 34714 0
vsize: 139020
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 35619 0 0 0 17901 100 0 0 25 0 1 0 423269722 147685376 35508 4294967295 134512640 134672761 3221224576 3221223680 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36056 35508 603 41 0 36015 0
vsize: 144224
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 36624 0 0 0 18899 102 0 0 25 0 1 0 423269722 151883776 36513 4294967295 134512640 134672761 3221224576 3221223712 134560604 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37081 36513 603 41 0 37040 0
vsize: 148324
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 37682 0 0 0 19897 104 0 0 25 0 1 0 423269722 156258304 37571 4294967295 134512640 134672761 3221224576 3221223576 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38149 37571 603 41 0 38108 0
vsize: 152596
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 38561 0 0 0 20896 105 0 0 25 0 1 0 423269722 159797248 38450 4294967295 134512640 134672761 3221224576 3221223744 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39013 38450 603 41 0 38972 0
vsize: 156052
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 39555 0 0 0 21894 107 0 0 25 0 1 0 423269722 163880960 39444 4294967295 134512640 134672761 3221224576 3221223680 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40010 39444 603 41 0 39969 0
vsize: 160040
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 40430 0 0 0 22893 109 0 0 25 0 1 0 423269722 167464960 40319 4294967295 134512640 134672761 3221224576 3221223760 134559340 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40885 40319 603 41 0 40844 0
vsize: 163540
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 41191 0 0 0 23892 111 0 0 25 0 1 0 423269722 170582016 41080 4294967295 134512640 134672761 3221224576 3221223648 134553549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41646 41080 603 41 0 41605 0
vsize: 166584
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 42438 0 0 0 24890 113 0 0 25 0 1 0 423269722 175726592 42327 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42902 42327 603 41 0 42861 0
vsize: 171608
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 43575 0 0 0 25887 115 0 0 25 0 1 0 423269722 180346880 43464 4294967295 134512640 134672761 3221224576 3221223760 134558656 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44030 43464 603 41 0 43989 0
vsize: 176120
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 44955 0 0 0 26885 118 0 0 25 0 1 0 423269722 185970688 44844 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45403 44844 603 41 0 45362 0
vsize: 181612
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 46471 0 0 0 27881 121 0 0 25 0 1 0 423269722 192163840 46360 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46915 46360 603 41 0 46874 0
vsize: 187660
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 47766 0 0 0 28879 124 0 0 25 0 1 0 423269722 197423104 47655 4294967295 134512640 134672761 3221224576 3221223744 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48199 47655 603 41 0 48158 0
vsize: 192796
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 49136 0 0 0 29876 127 0 0 25 0 1 0 423269722 203128832 49025 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49592 49025 603 41 0 49551 0
vsize: 198368
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 50353 0 0 0 30874 129 0 0 25 0 1 0 423269722 208039936 50242 4294967295 134512640 134672761 3221224576 3221223680 134559872 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50791 50242 603 41 0 50750 0
vsize: 203164
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 51392 0 0 0 31872 131 0 0 25 0 1 0 423269722 212320256 51281 4294967295 134512640 134672761 3221224576 3221223680 134560289 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51836 51281 603 41 0 51795 0
vsize: 207344
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 52501 0 0 0 32871 133 0 0 25 0 1 0 423269722 216866816 52390 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52946 52390 603 41 0 52905 0
vsize: 211784
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 53594 0 0 0 33868 136 0 0 25 0 1 0 423269722 221282304 53483 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54024 53483 603 41 0 53983 0
vsize: 216096
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 54796 0 0 0 34866 138 0 0 25 0 1 0 423269722 226222080 54685 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55230 54685 603 41 0 55189 0
vsize: 220920
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 55868 0 0 0 35864 140 0 0 25 0 1 0 423269722 230617088 55757 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56303 55757 603 41 0 56262 0
vsize: 225212
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 56899 0 0 0 36862 143 0 0 25 0 1 0 423269722 234893312 56788 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 57347 56788 603 41 0 57306 0
vsize: 229388
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 57660 0 0 0 37860 144 0 0 25 0 1 0 423269722 238051328 57549 4294967295 134512640 134672761 3221224576 3221223760 134559330 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 58118 57549 603 41 0 58077 0
vsize: 232472
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 58482 0 0 0 38859 146 0 0 25 0 1 0 423269722 241319936 58371 4294967295 134512640 134672761 3221224576 3221223760 134558899 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 58916 58371 603 41 0 58875 0
vsize: 235664
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 59409 0 0 0 39857 148 0 0 25 0 1 0 423269722 245157888 59298 4294967295 134512640 134672761 3221224576 3221223744 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 59853 59298 603 41 0 59812 0
vsize: 239412
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 60497 0 0 0 40854 151 0 0 25 0 1 0 423269722 249618432 60386 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 60942 60386 603 41 0 60901 0
vsize: 243768
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 61401 0 0 0 41853 152 0 0 25 0 1 0 423269722 253284352 61290 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 61837 61290 603 41 0 61796 0
vsize: 247348
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 62262 0 0 0 42852 154 0 0 25 0 1 0 423269722 256823296 62151 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 62701 62151 603 41 0 62660 0
vsize: 250804
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 63276 0 0 0 43850 156 0 0 25 0 1 0 423269722 260997120 63165 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 63720 63165 603 41 0 63679 0
vsize: 254880
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 64162 0 0 0 44848 158 0 0 25 0 1 0 423269722 264663040 64051 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64615 64051 603 41 0 64574 0
vsize: 258460
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 64939 0 0 0 45847 159 0 0 25 0 1 0 423269722 267804672 64828 4294967295 134512640 134672761 3221224576 3221223744 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 65382 64828 603 41 0 65341 0
vsize: 261528
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 65759 0 0 0 46846 160 0 0 25 0 1 0 423269722 271233024 65648 4294967295 134512640 134672761 3221224576 3221223744 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 66219 65648 603 41 0 66178 0
vsize: 264876
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 66619 0 0 0 47845 162 0 0 25 0 1 0 423269722 274649088 66508 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 67053 66508 603 41 0 67012 0
vsize: 268212
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 67431 0 0 0 48843 164 0 0 25 0 1 0 423269722 278056960 67320 4294967295 134512640 134672761 3221224576 3221223744 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 67885 67320 603 41 0 67844 0
vsize: 271540
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 68290 0 0 0 49841 166 0 0 25 0 1 0 423269722 281546752 68179 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 68737 68179 603 41 0 68696 0
vsize: 274948
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 69563 0 0 0 50839 168 0 0 25 0 1 0 423269722 286740480 69452 4294967295 134512640 134672761 3221224576 3221223680 134560229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 70005 69452 603 41 0 69964 0
vsize: 280020
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 71104 0 0 0 51835 172 0 0 25 0 1 0 423269722 293068800 70993 4294967295 134512640 134672761 3221224576 3221223744 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 71550 70993 603 41 0 71509 0
vsize: 286200
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 72286 0 0 0 52833 175 0 0 25 0 1 0 423269722 297910272 72175 4294967295 134512640 134672761 3221224576 3221223760 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72732 72175 603 41 0 72691 0
vsize: 290928
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 73577 0 0 0 53831 177 0 0 25 0 1 0 423269722 303144960 73466 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 74010 73466 603 41 0 73969 0
vsize: 296040
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28921
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 75042 0 0 0 54828 180 0 0 25 0 1 0 423269722 309211136 74931 4294967295 134512640 134672761 3221224576 3221223680 134560252 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 75491 74931 603 41 0 75450 0
vsize: 301964
[startup+560.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28974
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 76370 0 0 0 55830 182 0 0 25 0 1 0 423269722 314621952 76259 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 76812 76259 603 41 0 76771 0
vsize: 307248
[startup+570.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28974
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 77490 0 0 0 56827 185 0 0 25 0 1 0 423269722 319434752 77379 4294967295 134512640 134672761 3221224576 3221223744 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 77987 77379 603 41 0 77946 0
vsize: 311948
[startup+580.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28974
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 78600 0 0 0 57826 187 0 0 25 0 1 0 423269722 323997696 78489 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 79101 78489 603 41 0 79060 0
vsize: 316404
[startup+590.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28974
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 79742 0 0 0 58822 190 0 0 25 0 1 0 423269722 328732672 79631 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 80257 79631 603 41 0 80216 0
vsize: 321028
[startup+600.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28974
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 80878 0 0 0 59820 193 0 0 25 0 1 0 423269722 333357056 80767 4294967295 134512640 134672761 3221224576 3221223744 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 81386 80767 603 41 0 81345 0
vsize: 325544
[startup+610.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28974
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 81911 0 0 0 60818 195 0 0 25 0 1 0 423269722 337498112 81800 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 82397 81800 603 41 0 82356 0
vsize: 329588
[startup+620.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28974
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 82990 0 0 0 61816 197 0 0 25 0 1 0 423269722 341991424 82879 4294967295 134512640 134672761 3221224576 3221223744 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 83494 82879 603 41 0 83453 0
vsize: 333976
[startup+630.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 84178 0 0 0 62813 200 0 0 25 0 1 0 423269722 346832896 84067 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 84676 84067 603 41 0 84635 0
vsize: 338704
[startup+640.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 85249 0 0 0 63811 202 0 0 25 0 1 0 423269722 351281152 85138 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 85762 85138 603 41 0 85721 0
vsize: 343048
[startup+650.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 86366 0 0 0 64810 204 0 0 25 0 1 0 423269722 355782656 86255 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 86861 86255 603 41 0 86820 0
vsize: 347444
[startup+660.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 87338 0 0 0 65807 207 0 0 25 0 1 0 423269722 359718912 87227 4294967295 134512640 134672761 3221224576 3221223680 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 87822 87227 603 41 0 87781 0
vsize: 351288
[startup+670.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 88310 0 0 0 66805 209 0 0 25 0 1 0 423269722 363724800 88199 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 88800 88199 603 41 0 88759 0
vsize: 355200
[startup+680.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 89348 0 0 0 67803 211 0 0 25 0 1 0 423269722 367992832 89237 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 89842 89237 603 41 0 89801 0
vsize: 359368
[startup+690.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 90454 0 0 0 68802 213 0 0 25 0 1 0 423269722 372547584 90343 4294967295 134512640 134672761 3221224576 3221223680 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 90954 90343 603 41 0 90913 0
vsize: 363816
[startup+700.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 91485 0 0 0 69800 215 0 0 25 0 1 0 423269722 376713216 91374 4294967295 134512640 134672761 3221224576 3221223680 134560224 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 91971 91374 603 41 0 91930 0
vsize: 367884
[startup+710.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 92589 0 0 0 70798 217 0 0 25 0 1 0 423269722 381304832 92478 4294967295 134512640 134672761 3221224576 3221223648 134553549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 93092 92478 603 41 0 93051 0
vsize: 372368
[startup+720.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 93440 0 0 0 71797 219 0 0 25 0 1 0 423269722 384790528 93329 4294967295 134512640 134672761 3221224576 3221223680 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 93943 93329 603 41 0 93902 0
vsize: 375772
[startup+730.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 94411 0 0 0 72795 220 0 0 25 0 1 0 423269722 388685824 94300 4294967295 134512640 134672761 3221224576 3221223680 134560212 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 94894 94300 603 41 0 94853 0
vsize: 379576
[startup+740.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 95445 0 0 0 73794 222 0 0 25 0 1 0 423269722 392998912 95334 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 95947 95334 603 41 0 95906 0
vsize: 383788
[startup+750.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 96274 0 0 0 74792 224 0 0 25 0 1 0 423269722 396328960 96163 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 96760 96163 603 41 0 96719 0
vsize: 387040
[startup+760.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 97035 0 0 0 75791 225 0 0 25 0 1 0 423269722 399523840 96924 4294967295 134512640 134672761 3221224576 3221223680 134560224 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 97540 96924 603 41 0 97499 0
vsize: 390160
[startup+770.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 97968 0 0 0 76790 227 0 0 25 0 1 0 423269722 403308544 97857 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 98464 97857 603 41 0 98423 0
vsize: 393856
[startup+780.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 98998 0 0 0 77787 229 0 0 25 0 1 0 423269722 407564288 98887 4294967295 134512640 134672761 3221224576 3221223648 134553549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 99503 98887 603 41 0 99462 0
vsize: 398012
[startup+790.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 99995 0 0 0 78786 231 0 0 25 0 1 0 423269722 411598848 99884 4294967295 134512640 134672761 3221224576 3221223648 134553549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 100488 99884 603 41 0 100447 0
vsize: 401952
[startup+800.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 101224 0 0 0 79783 234 0 0 25 0 1 0 423269722 416698368 101113 4294967295 134512640 134672761 3221224576 3221223680 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 101733 101113 603 41 0 101692 0
vsize: 406932
[startup+810.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 102165 0 0 0 80782 235 0 0 25 0 1 0 423269722 420438016 102054 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 102646 102054 603 41 0 102605 0
vsize: 410584
[startup+820.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 103260 0 0 0 81780 238 0 0 25 0 1 0 423269722 425029632 103149 4294967295 134512640 134672761 3221224576 3221223760 134559340 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 103767 103149 603 41 0 103726 0
vsize: 415068
[startup+830.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 104231 0 0 0 82778 240 0 0 25 0 1 0 423269722 428953600 104120 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 104725 104120 603 41 0 104684 0
vsize: 418900
[startup+840.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 105195 0 0 0 83777 241 0 0 25 0 1 0 423269722 432861184 105084 4294967295 134512640 134672761 3221224576 3221223744 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 105679 105084 603 41 0 105638 0
vsize: 422716
[startup+850.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 105996 0 0 0 84776 242 0 0 25 0 1 0 423269722 436191232 105885 4294967295 134512640 134672761 3221224576 3221223744 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 106492 105885 603 41 0 106451 0
vsize: 425968
[startup+860.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 106648 0 0 0 85774 244 0 0 25 0 1 0 423269722 438906880 106537 4294967295 134512640 134672761 3221224576 3221223744 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 107155 106537 603 41 0 107114 0
vsize: 428620
[startup+870.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28976
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 107676 0 0 0 86773 246 0 0 25 0 1 0 423269722 443043840 107565 4294967295 134512640 134672761 3221224576 3221223680 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 108165 107565 603 41 0 108124 0
vsize: 432660
[startup+880.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 108672 0 0 0 87771 248 0 0 25 0 1 0 423269722 447139840 108561 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 109165 108561 603 41 0 109124 0
vsize: 436660
[startup+890.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 109438 0 0 0 88769 250 0 0 25 0 1 0 423269722 450277376 109327 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 109931 109327 603 41 0 109890 0
vsize: 439724
[startup+900.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 110155 0 0 0 89768 252 0 0 25 0 1 0 423269722 453251072 110044 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 110657 110044 603 41 0 110616 0
vsize: 442628
[startup+910.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 111124 0 0 0 90765 254 0 0 25 0 1 0 423269722 457117696 111013 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 111601 111013 603 41 0 111560 0
vsize: 446404
[startup+920.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 112028 0 0 0 91763 256 0 0 25 0 1 0 423269722 460840960 111917 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 112510 111917 603 41 0 112469 0
vsize: 450040
[startup+930.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 113071 0 0 0 92762 258 0 0 25 0 1 0 423269722 465137664 112960 4294967295 134512640 134672761 3221224576 3221223680 134559872 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 113559 112960 603 41 0 113518 0
vsize: 454236
[startup+940.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 113835 0 0 0 93761 259 0 0 25 0 1 0 423269722 468262912 113724 4294967295 134512640 134672761 3221224576 3221223744 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 114322 113724 603 41 0 114281 0
vsize: 457288
[startup+950.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 114642 0 0 0 94759 261 0 0 25 0 1 0 423269722 471523328 114531 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 115118 114531 603 41 0 115077 0
vsize: 460472
[startup+960.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 115600 0 0 0 95756 264 0 0 25 0 1 0 423269722 475488256 115489 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 116086 115489 603 41 0 116045 0
vsize: 464344
[startup+970.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 116668 0 0 0 96754 266 0 0 25 0 1 0 423269722 479838208 116557 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 117148 116557 603 41 0 117107 0
vsize: 468592
[startup+980.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 117914 0 0 0 97752 268 0 0 25 0 1 0 423269722 485031936 117803 4294967295 134512640 134672761 3221224576 3221223744 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 118416 117803 603 41 0 118375 0
vsize: 473664
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 119030 0 0 0 98751 270 0 0 25 0 1 0 423269722 489521152 118919 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 119512 118919 603 41 0 119471 0
vsize: 478048
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 119936 0 0 0 99749 272 0 0 25 0 1 0 423269722 493191168 119825 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 120408 119825 603 41 0 120367 0
vsize: 481632
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 120999 0 0 0 100747 274 0 0 25 0 1 0 423269722 497610752 120888 4294967295 134512640 134672761 3221224576 3221223648 134553549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 121487 120888 603 41 0 121446 0
vsize: 485948
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 122040 0 0 0 101745 276 0 0 25 0 1 0 423269722 501891072 121929 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 122532 121929 603 41 0 122491 0
vsize: 490128
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 123173 0 0 0 102743 279 0 0 25 0 1 0 423269722 506527744 123062 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 123664 123062 603 41 0 123623 0
vsize: 494656
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 124507 0 0 0 103740 282 0 0 25 0 1 0 423269722 511889408 124396 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 124973 124396 603 41 0 124932 0
vsize: 499892
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 125757 0 0 0 104737 285 0 0 25 0 1 0 423269722 517124096 125646 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 126251 125646 603 41 0 126210 0
vsize: 505004
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 126906 0 0 0 105735 288 0 0 25 0 1 0 423269722 521826304 126795 4294967295 134512640 134672761 3221224576 3221223744 134560855 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 127399 126795 603 41 0 127358 0
vsize: 509596
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 128057 0 0 0 106733 290 0 0 25 0 1 0 423269722 526536704 127946 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 128549 127946 603 41 0 128508 0
vsize: 514196
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 129112 0 0 0 107731 292 0 0 25 0 1 0 423269722 530837504 129001 4294967295 134512640 134672761 3221224576 3221223760 134559041 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 129599 129001 603 41 0 129558 0
vsize: 518396
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 130375 0 0 0 108728 295 0 0 25 0 1 0 423269722 535941120 130264 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 130845 130264 603 41 0 130804 0
vsize: 523380
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 131582 0 0 0 109726 297 0 0 25 0 1 0 423269722 540917760 131471 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 132060 131471 603 41 0 132019 0
vsize: 528240
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 132611 0 0 0 110725 299 0 0 25 0 1 0 423269722 545071104 132500 4294967295 134512640 134672761 3221224576 3221223744 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 133074 132500 603 41 0 133033 0
vsize: 532296
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 133540 0 0 0 111723 300 0 0 25 0 1 0 423269722 548909056 133429 4294967295 134512640 134672761 3221224576 3221223744 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 134011 133429 603 41 0 133970 0
vsize: 536044
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 134465 0 0 0 112721 303 0 0 25 0 1 0 423269722 552710144 134354 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 134939 134354 603 41 0 134898 0
vsize: 539756
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 135359 0 0 0 113719 305 0 0 25 0 1 0 423269722 556355584 135248 4294967295 134512640 134672761 3221224576 3221223744 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 135829 135248 603 41 0 135788 0
vsize: 543316
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 136297 0 0 0 114717 307 0 0 25 0 1 0 423269722 560205824 136186 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 136769 136186 603 41 0 136728 0
vsize: 547076
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 137412 0 0 0 115715 310 0 0 25 0 1 0 423269722 564797440 137301 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 137890 137301 603 41 0 137849 0
vsize: 551560
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 138448 0 0 0 116713 312 0 0 25 0 1 0 423269722 568987648 138337 4294967295 134512640 134672761 3221224576 3221223744 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 138913 138337 603 41 0 138872 0
vsize: 555652
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 139447 0 0 0 117711 314 0 0 25 0 1 0 423269722 573153280 139336 4294967295 134512640 134672761 3221224576 3221223744 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 139930 139336 603 41 0 139889 0
vsize: 559720
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 140480 0 0 0 118709 316 0 0 25 0 1 0 423269722 577327104 140369 4294967295 134512640 134672761 3221224576 3221223744 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 140949 140369 603 41 0 140908 0
vsize: 563796
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28978
Raw data (stat): 28921 (minisat+) R 28920 22932 22931 0 -1 0 141461 0 0 0 119707 318 0 0 25 0 1 0 423269722 581308416 141350 4294967295 134512640 134672761 3221224576 3221223712 134560716 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 141921 141350 603 41 0 141880 0
vsize: 567684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.33 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28978
Raw data (stat): 28921 (minisat+) Z 28920 22932 22931 0 -1 12 141464 0 0 0 119707 344 0 0 25 0 1 0 423269722 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.33
CPU time (s): 1200.53
CPU user time (s): 1197.08
CPU system time (s): 3.44848
CPU usage (%): 100.016
Max. virtual memory (Kb): 567684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####