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 5438

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-04-13 23:59:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3893 boxname=wulflinc3 idbench=133 idsolver=11 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  95af9ee9e7f41d7e844f72bb8840ff83  /oldhome/oroussel/tmp/wulflinc3/normalized-g250.29.opb
REAL COMMAND:  minisat+ -S /oldhome/oroussel/tmp/wulflinc3/normalized-g250.29.opb /oldhome/oroussel/tmp/wulflinc3/normalized-g250.29.opb
IDLAUNCH: 3893
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        862084 kB
Buffers:         35428 kB
Cached:         113480 kB
SwapCached:       3276 kB
Active:          79864 kB
Inactive:        75164 kB
HighTotal:      131008 kB
HighFree:        13580 kB
LowTotal:       903652 kB
LowFree:        848504 kB
SwapTotal:     2097136 kB
SwapFree:      2093860 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11848 kB
Committed_AS:    71672 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 00:19:09 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 3893 7 1200.42 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 =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  461872   930494 |  138561       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/14500          
c   -- var.elim.:  2000/14500          
c   -- var.elim.:  3000/14500          
c   -- var.elim.:  4000/14500          
c   -- var.elim.:  5000/14500          
c   -- var.elim.:  6000/14500          
c   -- var.elim.:  7000/14500          
c   -- var.elim.:  8000/14500          
c   -- var.elim.:#### 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.85 0.94 0.90 2/54 17996
Raw data (stat): 17996 (runsolver) R 17995 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421871077 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.0009 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 17996
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 20973 0 0 0 942 56 0 0 25 0 1 0 421871077 87773184 20866 4294967295 134512640 134672761 3221224576 3221223484 134643004 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21429 20866 603 41 0 21388 0
vsize: 85716
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 17996
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 26675 0 0 0 1931 67 0 0 25 0 1 0 421871077 111464448 26568 4294967295 134512640 134672761 3221224576 3221223168 134621515 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27213 26568 603 41 0 27172 0
vsize: 108852
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 17996
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 26675 0 0 0 2931 67 0 0 25 0 1 0 421871077 111464448 26568 4294967295 134512640 134672761 3221224576 3221223168 134621359 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27213 26568 603 41 0 27172 0
vsize: 108852
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 17996
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 26686 0 0 0 3931 67 0 0 25 0 1 0 421871077 111468544 26579 4294967295 134512640 134672761 3221224576 3221223616 134613815 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27214 26579 603 41 0 27173 0
vsize: 108856
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 17996
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 26686 0 0 0 4931 67 0 0 25 0 1 0 421871077 111468544 26579 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27214 26579 603 41 0 27173 0
vsize: 108856
[startup+60.0072 s]
Raw data (loadavg): 1.02 0.96 0.91 2/56 18043
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 26686 0 0 0 5931 68 0 0 25 0 1 0 421871077 111468544 26579 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27214 26579 603 41 0 27173 0
vsize: 108856
[startup+70.0074 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 18049
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 26686 0 0 0 6932 68 0 0 25 0 1 0 421871077 111468544 26579 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27214 26579 603 41 0 27173 0
vsize: 108856
[startup+80.0073 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 18049
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 26686 0 0 0 7932 68 0 0 25 0 1 0 421871077 111468544 26579 4294967295 134512640 134672761 3221224576 3221223760 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27214 26579 603 41 0 27173 0
vsize: 108856
[startup+90.0071 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18049
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 26686 0 0 0 8932 68 0 0 25 0 1 0 421871077 111468544 26579 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27214 26579 603 41 0 27173 0
vsize: 108856
[startup+100.007 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18049
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 26703 0 0 0 9932 68 0 0 25 0 1 0 421871077 111714304 26596 4294967295 134512640 134672761 3221224576 3221223760 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27274 26596 603 41 0 27233 0
vsize: 109096
[startup+110.007 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18049
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 28510 0 0 0 10928 72 0 0 25 0 1 0 421871077 119025664 28403 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29059 28403 603 41 0 29018 0
vsize: 116236
[startup+120.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18049
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 30199 0 0 0 11924 76 0 0 25 0 1 0 421871077 125968384 30092 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30754 30092 603 41 0 30713 0
vsize: 123016
[startup+130.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 31614 0 0 0 12921 80 0 0 25 0 1 0 421871077 131772416 31507 4294967295 134512640 134672761 3221224576 3221223616 134614228 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32171 31507 603 41 0 32130 0
vsize: 128684
[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 32992 0 0 0 13919 82 0 0 25 0 1 0 421871077 137412608 32885 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33548 32885 603 41 0 33507 0
vsize: 134192
[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 34369 0 0 0 14916 84 0 0 25 0 1 0 421871077 143065088 34262 4294967295 134512640 134672761 3221224576 3221223616 134614228 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34928 34262 603 41 0 34887 0
vsize: 139712
[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 35871 0 0 0 15913 88 0 0 25 0 1 0 421871077 149139456 35764 4294967295 134512640 134672761 3221224576 3221223760 134615583 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36411 35764 603 41 0 36370 0
vsize: 145644
[startup+170.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 36868 0 0 0 16911 90 0 0 25 0 1 0 421871077 153247744 36761 4294967295 134512640 134672761 3221224576 3221223760 134615732 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37414 36761 603 41 0 37373 0
vsize: 149656
[startup+180.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 38131 0 0 0 17908 93 0 0 25 0 1 0 421871077 158425088 38024 4294967295 134512640 134672761 3221224576 3221223616 134614228 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38678 38024 603 41 0 38637 0
vsize: 154712
[startup+190.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 39571 0 0 0 18907 95 0 0 25 0 1 0 421871077 164282368 39464 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40108 39464 603 41 0 40067 0
vsize: 160432
[startup+200.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 40682 0 0 0 19903 98 0 0 25 0 1 0 421871077 168923136 40575 4294967295 134512640 134672761 3221224576 3221223808 134541816 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41241 40575 603 41 0 41200 0
vsize: 164964
[startup+210.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 41850 0 0 0 20902 99 0 0 25 0 1 0 421871077 173678592 41743 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42402 41743 603 41 0 42361 0
vsize: 169608
[startup+220.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 42783 0 0 0 21900 102 0 0 25 0 1 0 421871077 177393664 42676 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43309 42676 603 41 0 43268 0
vsize: 173236
[startup+230.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 43983 0 0 0 22898 104 0 0 25 0 1 0 421871077 182370304 43876 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44524 43876 603 41 0 44483 0
vsize: 178096
[startup+240.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 45021 0 0 0 23894 108 0 0 25 0 1 0 421871077 186757120 44914 4294967295 134512640 134672761 3221224576 3221223760 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45595 44914 603 41 0 45554 0
vsize: 182380
[startup+250.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 45991 0 0 0 24893 109 0 0 25 0 1 0 421871077 190779392 45884 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46577 45884 603 41 0 46536 0
vsize: 186308
[startup+260.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 46954 0 0 0 25892 111 0 0 25 0 1 0 421871077 194732032 46847 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47542 46847 603 41 0 47501 0
vsize: 190168
[startup+270.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 47893 0 0 0 26890 112 0 0 25 0 1 0 421871077 198574080 47786 4294967295 134512640 134672761 3221224576 3221223616 134613815 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48480 47786 603 41 0 48439 0
vsize: 193920
[startup+280.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 48894 0 0 0 27888 115 0 0 25 0 1 0 421871077 202612736 48787 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49466 48787 603 41 0 49425 0
vsize: 197864
[startup+290.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 49871 0 0 0 28886 117 0 0 25 0 1 0 421871077 206594048 49764 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50438 49764 603 41 0 50397 0
vsize: 201752
[startup+300.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 50952 0 0 0 29884 120 0 0 25 0 1 0 421871077 210993152 50845 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51512 50845 603 41 0 51471 0
vsize: 206048
[startup+310.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 52146 0 0 0 30881 122 0 0 25 0 1 0 421871077 215900160 52039 4294967295 134512640 134672761 3221224576 3221223760 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52710 52039 603 41 0 52669 0
vsize: 210840
[startup+320.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 53380 0 0 0 31878 125 0 0 25 0 1 0 421871077 220930048 53273 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53938 53273 603 41 0 53897 0
vsize: 215752
[startup+330.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 54416 0 0 0 32876 128 0 0 25 0 1 0 421871077 225173504 54309 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54974 54309 603 41 0 54933 0
vsize: 219896
[startup+340.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 55553 0 0 0 33874 130 0 0 25 0 1 0 421871077 229904384 55446 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56129 55446 603 41 0 56088 0
vsize: 224516
[startup+350.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 56509 0 0 0 34872 132 0 0 25 0 1 0 421871077 233730048 56402 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 57063 56402 603 41 0 57022 0
vsize: 228252
[startup+360.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18051
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 57395 0 0 0 35870 134 0 0 25 0 1 0 421871077 237436928 57288 4294967295 134512640 134672761 3221224576 3221223776 134610686 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 57968 57288 603 41 0 57927 0
vsize: 231872
[startup+370.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 58352 0 0 0 36869 136 0 0 25 0 1 0 421871077 241291264 58245 4294967295 134512640 134672761 3221224576 3221223776 134610646 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 58909 58245 603 41 0 58868 0
vsize: 235636
[startup+380.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 59382 0 0 0 37867 138 0 0 25 0 1 0 421871077 245555200 59275 4294967295 134512640 134672761 3221224576 3221223760 134615921 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 59950 59275 603 41 0 59909 0
vsize: 239800
[startup+390.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 60197 0 0 0 38865 140 0 0 25 0 1 0 421871077 248889344 60090 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 60764 60090 603 41 0 60723 0
vsize: 243056
[startup+400.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 61055 0 0 0 39864 141 0 0 25 0 1 0 421871077 252452864 60948 4294967295 134512640 134672761 3221224576 3221223760 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 61634 60948 603 41 0 61593 0
vsize: 246536
[startup+410.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 61796 0 0 0 40862 143 0 0 25 0 1 0 421871077 255463424 61689 4294967295 134512640 134672761 3221224576 3221223680 134604307 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 62369 61689 603 41 0 62328 0
vsize: 249476
[startup+420.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 62741 0 0 0 41860 145 0 0 25 0 1 0 421871077 259297280 62634 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 63305 62634 603 41 0 63264 0
vsize: 253220
[startup+430.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 63469 0 0 0 42859 146 0 0 25 0 1 0 421871077 262344704 63362 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64049 63362 603 41 0 64008 0
vsize: 256196
[startup+440.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 64284 0 0 0 43857 148 0 0 25 0 1 0 421871077 265613312 64177 4294967295 134512640 134672761 3221224576 3221223760 134615689 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64847 64177 603 41 0 64806 0
vsize: 259388
[startup+450.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 65005 0 0 0 44856 150 0 0 25 0 1 0 421871077 268648448 64898 4294967295 134512640 134672761 3221224576 3221223760 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 65588 64898 603 41 0 65547 0
vsize: 262352
[startup+460.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 65792 0 0 0 45854 152 0 0 25 0 1 0 421871077 271814656 65685 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 66361 65685 603 41 0 66320 0
vsize: 265444
[startup+470.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 66703 0 0 0 46852 154 0 0 25 0 1 0 421871077 275488768 66596 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 67258 66596 603 41 0 67217 0
vsize: 269032
[startup+480.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 67337 0 0 0 47850 156 0 0 25 0 1 0 421871077 278138880 67230 4294967295 134512640 134672761 3221224576 3221223760 134615732 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 67905 67230 603 41 0 67864 0
vsize: 271620
[startup+490.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 67859 0 0 0 48849 158 0 0 25 0 1 0 421871077 280260608 67752 4294967295 134512640 134672761 3221224576 3221223760 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 68423 67752 603 41 0 68382 0
vsize: 273692
[startup+500.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 68353 0 0 0 49848 158 0 0 25 0 1 0 421871077 282365952 68246 4294967295 134512640 134672761 3221224576 3221223760 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 68937 68246 603 41 0 68896 0
vsize: 275748
[startup+510.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 68971 0 0 0 50847 160 0 0 25 0 1 0 421871077 284844032 68864 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 69542 68864 603 41 0 69501 0
vsize: 278168
[startup+520.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 69683 0 0 0 51846 161 0 0 25 0 1 0 421871077 287711232 69576 4294967295 134512640 134672761 3221224576 3221223760 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 70242 69576 603 41 0 70201 0
vsize: 280968
[startup+530.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 70445 0 0 0 52845 162 0 0 25 0 1 0 421871077 290889728 70338 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 71018 70338 603 41 0 70977 0
vsize: 284072
[startup+540.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 71573 0 0 0 53842 165 0 0 25 0 1 0 421871077 295448576 71466 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72131 71466 603 41 0 72090 0
vsize: 288524
[startup+550.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 72660 0 0 0 54840 167 0 0 25 0 1 0 421871077 299925504 72553 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 73224 72553 603 41 0 73183 0
vsize: 292896
[startup+560.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 73552 0 0 0 55838 169 0 0 25 0 1 0 421871077 303595520 73445 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 74120 73445 603 41 0 74079 0
vsize: 296480
[startup+570.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 74544 0 0 0 56836 172 0 0 25 0 1 0 421871077 307634176 74437 4294967295 134512640 134672761 3221224576 3221223760 134615773 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 75106 74437 603 41 0 75065 0
vsize: 300424
[startup+580.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 75527 0 0 0 57834 174 0 0 25 0 1 0 421871077 311685120 75420 4294967295 134512640 134672761 3221224576 3221223760 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 76095 75420 603 41 0 76054 0
vsize: 304380
[startup+590.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 76557 0 0 0 58832 176 0 0 25 0 1 0 421871077 316141568 76450 4294967295 134512640 134672761 3221224576 3221223760 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 77183 76450 603 41 0 77142 0
vsize: 308732
[startup+600.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 77395 0 0 0 59831 178 0 0 25 0 1 0 421871077 319590400 77288 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 78025 77288 603 41 0 77984 0
vsize: 312100
[startup+610.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 78138 0 0 0 60830 179 0 0 25 0 1 0 421871077 322617344 78031 4294967295 134512640 134672761 3221224576 3221223760 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 78764 78031 603 41 0 78723 0
vsize: 315056
[startup+620.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 78944 0 0 0 61828 181 0 0 25 0 1 0 421871077 325914624 78837 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 79569 78837 603 41 0 79528 0
vsize: 318276
[startup+630.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 79838 0 0 0 62825 184 0 0 25 0 1 0 421871077 329605120 79731 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 80470 79731 603 41 0 80429 0
vsize: 321880
[startup+640.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 80609 0 0 0 63823 186 0 0 25 0 1 0 421871077 332718080 80502 4294967295 134512640 134672761 3221224576 3221223388 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 81230 80502 603 41 0 81189 0
vsize: 324920
[startup+650.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 81573 0 0 0 64822 187 0 0 25 0 1 0 421871077 336683008 81466 4294967295 134512640 134672761 3221224576 3221223760 134615940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 82198 81466 603 41 0 82157 0
vsize: 328792
[startup+660.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 82215 0 0 0 65821 188 0 0 25 0 1 0 421871077 339271680 82108 4294967295 134512640 134672761 3221224576 3221223760 134615693 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 82830 82108 603 41 0 82789 0
vsize: 331320
[startup+670.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 82903 0 0 0 66819 190 0 0 25 0 1 0 421871077 342188032 82796 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 83542 82796 603 41 0 83501 0
vsize: 334168
[startup+680.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 83501 0 0 0 67818 191 0 0 25 0 1 0 421871077 344547328 83394 4294967295 134512640 134672761 3221224576 3221223760 134615665 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 84118 83394 603 41 0 84077 0
vsize: 336472
[startup+690.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 84242 0 0 0 68817 193 0 0 25 0 1 0 421871077 347570176 84135 4294967295 134512640 134672761 3221224576 3221223616 134612684 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 84856 84135 603 41 0 84815 0
vsize: 339424
[startup+700.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 84991 0 0 0 69815 195 0 0 25 0 1 0 421871077 350670848 84884 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 85613 84884 603 41 0 85572 0
vsize: 342452
[startup+710.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 85967 0 0 0 70813 197 0 0 25 0 1 0 421871077 354697216 85860 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 86596 85860 603 41 0 86555 0
vsize: 346384
[startup+720.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 86830 0 0 0 71811 199 0 0 25 0 1 0 421871077 358236160 86723 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 87460 86723 603 41 0 87419 0
vsize: 349840
[startup+730.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 87784 0 0 0 72809 201 0 0 25 0 1 0 421871077 362164224 87677 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 88419 87677 603 41 0 88378 0
vsize: 353676
[startup+740.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 88891 0 0 0 73806 204 0 0 25 0 1 0 421871077 366645248 88784 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 89513 88784 603 41 0 89472 0
vsize: 358052
[startup+750.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 89697 0 0 0 74804 206 0 0 25 0 1 0 421871077 369979392 89590 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 90327 89590 603 41 0 90286 0
vsize: 361308
[startup+760.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 90290 0 0 0 75803 208 0 0 25 0 1 0 421871077 372371456 90183 4294967295 134512640 134672761 3221224576 3221223616 134614228 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 90911 90183 603 41 0 90870 0
vsize: 363644
[startup+770.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 90844 0 0 0 76802 209 0 0 25 0 1 0 421871077 374603776 90737 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 91456 90737 603 41 0 91415 0
vsize: 365824
[startup+780.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 91429 0 0 0 77801 211 0 0 25 0 1 0 421871077 377085952 91322 4294967295 134512640 134672761 3221224576 3221223760 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 92062 91322 603 41 0 92021 0
vsize: 368248
[startup+790.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 91941 0 0 0 78800 212 0 0 25 0 1 0 421871077 379076608 91834 4294967295 134512640 134672761 3221224576 3221223760 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 92548 91834 603 41 0 92507 0
vsize: 370192
[startup+800.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 92405 0 0 0 79799 213 0 0 25 0 1 0 421871077 381075456 92298 4294967295 134512640 134672761 3221224576 3221223760 134615693 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 93036 92298 603 41 0 92995 0
vsize: 372144
[startup+810.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 93234 0 0 0 80798 214 0 0 25 0 1 0 421871077 384499712 93127 4294967295 134512640 134672761 3221224576 3221223760 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 93872 93127 603 41 0 93831 0
vsize: 375488
[startup+820.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 93825 0 0 0 81797 215 0 0 25 0 1 0 421871077 386879488 93718 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 94453 93718 603 41 0 94412 0
vsize: 377812
[startup+830.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 94465 0 0 0 82795 217 0 0 25 0 1 0 421871077 389529600 94358 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 95100 94358 603 41 0 95059 0
vsize: 380400
[startup+840.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 95137 0 0 0 83794 218 0 0 25 0 1 0 421871077 392278016 95030 4294967295 134512640 134672761 3221224576 3221223616 134614205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 95771 95030 603 41 0 95730 0
vsize: 383084
[startup+850.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 95868 0 0 0 84792 221 0 0 25 0 1 0 421871077 395177984 95761 4294967295 134512640 134672761 3221224576 3221223616 134612614 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 96479 95761 603 41 0 96438 0
vsize: 385916
[startup+860.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 96820 0 0 0 85790 223 0 0 25 0 1 0 421871077 399126528 96713 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 97443 96713 603 41 0 97402 0
vsize: 389772
[startup+870.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 97360 0 0 0 86789 224 0 0 25 0 1 0 421871077 401395712 97253 4294967295 134512640 134672761 3221224576 3221223760 134615791 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 97997 97253 603 41 0 97956 0
vsize: 391988
[startup+880.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 98111 0 0 0 87787 226 0 0 25 0 1 0 421871077 404447232 98004 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 98742 98004 603 41 0 98701 0
vsize: 394968
[startup+890.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 99336 0 0 0 88785 228 0 0 25 0 1 0 421871077 409505792 99229 4294967295 134512640 134672761 3221224576 3221223760 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 99977 99229 603 41 0 99936 0
vsize: 399908
[startup+900.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 100394 0 0 0 89783 231 0 0 25 0 1 0 421871077 413777920 100287 4294967295 134512640 134672761 3221224576 3221223616 134614228 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 101020 100287 603 41 0 100979 0
vsize: 404080
[startup+910.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 101342 0 0 0 90781 233 0 0 25 0 1 0 421871077 417722368 101235 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 101983 101235 603 41 0 101942 0
vsize: 407932
[startup+920.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 102109 0 0 0 91779 234 0 0 25 0 1 0 421871077 420773888 102002 4294967295 134512640 134672761 3221224576 3221223760 134615940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 102728 102002 603 41 0 102687 0
vsize: 410912
[startup+930.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 102856 0 0 0 92778 236 0 0 25 0 1 0 421871077 423845888 102749 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 103478 102749 603 41 0 103437 0
vsize: 413912
[startup+940.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 103689 0 0 0 93776 238 0 0 25 0 1 0 421871077 427278336 103582 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 104316 103582 603 41 0 104275 0
vsize: 417264
[startup+950.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 104278 0 0 0 94775 239 0 0 25 0 1 0 421871077 429658112 104171 4294967295 134512640 134672761 3221224576 3221223760 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 104897 104171 603 41 0 104856 0
vsize: 419588
[startup+960.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 104925 0 0 0 95774 240 0 0 25 0 1 0 421871077 432308224 104818 4294967295 134512640 134672761 3221224576 3221223572 1075346557 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 105544 104818 603 41 0 105503 0
vsize: 422176
[startup+970.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 105552 0 0 0 96773 241 0 0 25 0 1 0 421871077 434950144 105445 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 106189 105445 603 41 0 106148 0
vsize: 424756
[startup+980.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 106263 0 0 0 97772 243 0 0 25 0 1 0 421871077 437825536 106156 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 106891 106156 603 41 0 106850 0
vsize: 427564
[startup+990.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 107121 0 0 0 98770 245 0 0 25 0 1 0 421871077 441327616 107014 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 107746 107014 603 41 0 107705 0
vsize: 430984
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 107687 0 0 0 99769 246 0 0 25 0 1 0 421871077 443588608 107580 4294967295 134512640 134672761 3221224576 3221223760 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 108298 107580 603 41 0 108257 0
vsize: 433192
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 108461 0 0 0 100767 248 0 0 25 0 1 0 421871077 446861312 108354 4294967295 134512640 134672761 3221224576 3221223760 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 109097 108354 603 41 0 109056 0
vsize: 436388
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 109097 0 0 0 101766 249 0 0 25 0 1 0 421871077 449355776 108990 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 109706 108990 603 41 0 109665 0
vsize: 438824
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 109662 0 0 0 102765 251 0 0 25 0 1 0 421871077 451731456 109555 4294967295 134512640 134672761 3221224576 3221223760 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 110286 109555 603 41 0 110245 0
vsize: 441144
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 110201 0 0 0 103764 252 0 0 25 0 1 0 421871077 453963776 110094 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 110831 110094 603 41 0 110790 0
vsize: 443324
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 110602 0 0 0 104763 253 0 0 25 0 1 0 421871077 455663616 110495 4294967295 134512640 134672761 3221224576 3221223760 134615940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 111246 110495 603 41 0 111205 0
vsize: 444984
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 111017 0 0 0 105762 254 0 0 25 0 1 0 421871077 457261056 110910 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 111636 110910 603 41 0 111595 0
vsize: 446544
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 111470 0 0 0 106761 255 0 0 25 0 1 0 421871077 459218944 111363 4294967295 134512640 134672761 3221224576 3221223760 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 112114 111363 603 41 0 112073 0
vsize: 448456
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 111942 0 0 0 107760 256 0 0 25 0 1 0 421871077 461049856 111835 4294967295 134512640 134672761 3221224576 3221223760 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 112561 111835 603 41 0 112520 0
vsize: 450244
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 112760 0 0 0 108758 258 0 0 25 0 1 0 421871077 464519168 112653 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 113408 112653 603 41 0 113367 0
vsize: 453632
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 113319 0 0 0 109757 260 0 0 25 0 1 0 421871077 466694144 113212 4294967295 134512640 134672761 3221224576 3221223760 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 113939 113212 603 41 0 113898 0
vsize: 455756
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 114136 0 0 0 110755 261 0 0 25 0 1 0 421871077 470077440 114029 4294967295 134512640 134672761 3221224576 3221223760 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 114765 114029 603 41 0 114724 0
vsize: 459060
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 115112 0 0 0 111753 264 0 0 25 0 1 0 421871077 474120192 115005 4294967295 134512640 134672761 3221224576 3221223760 134615741 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 115752 115005 603 41 0 115711 0
vsize: 463008
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 115558 0 0 0 112752 265 0 0 25 0 1 0 421871077 475963392 115451 4294967295 134512640 134672761 3221224576 3221223760 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 116202 115451 603 41 0 116161 0
vsize: 464808
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 116256 0 0 0 113751 267 0 0 25 0 1 0 421871077 478773248 116149 4294967295 134512640 134672761 3221224576 3221223760 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 116888 116149 603 41 0 116847 0
vsize: 467552
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 116943 0 0 0 114750 268 0 0 25 0 1 0 421871077 481574912 116836 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 117572 116836 603 41 0 117531 0
vsize: 470288
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 117572 0 0 0 115748 270 0 0 25 0 1 0 421871077 484130816 117465 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 118196 117465 603 41 0 118155 0
vsize: 472784
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 118075 0 0 0 116747 271 0 0 25 0 1 0 421871077 486219776 117968 4294967295 134512640 134672761 3221224576 3221223760 134615804 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 118706 117968 603 41 0 118665 0
vsize: 474824
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 118674 0 0 0 117746 272 0 0 25 0 1 0 421871077 488759296 118567 4294967295 134512640 134672761 3221224576 3221223760 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 119326 118567 603 41 0 119285 0
vsize: 477304
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 119170 0 0 0 118745 273 0 0 25 0 1 0 421871077 490795008 119063 4294967295 134512640 134672761 3221224576 3221223760 134615720 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 119823 119063 603 41 0 119782 0
vsize: 479292
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18053
Raw data (stat): 17996 (minisat+) R 17995 10720 10719 0 -1 0 119821 0 0 0 119745 274 0 0 25 0 1 0 421871077 493465600 119714 4294967295 134512640 134672761 3221224576 3221223760 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 120475 119714 603 41 0 120434 0
vsize: 481900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 18053
Raw data (stat): 17996 (minisat+) Z 17995 10720 10719 0 -1 12 119821 0 0 0 119745 296 0 0 25 0 1 0 421871077 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.24
CPU time (s): 1200.42
CPU user time (s): 1197.45
CPU system time (s): 2.96355
CPU usage (%): 100.015
Max. virtual memory (Kb): 481900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####