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 5846

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-04-14 02:00:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4269 boxname=wulflinc3 idbench=133 idsolver=12 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  95af9ee9e7f41d7e844f72bb8840ff83  /oldhome/oroussel/tmp/wulflinc3/normalized-g250.29.opb
REAL COMMAND:  minisat+ -cb -gs /oldhome/oroussel/tmp/wulflinc3/normalized-g250.29.opb /oldhome/oroussel/tmp/wulflinc3/normalized-g250.29.opb
IDLAUNCH: 4269
/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:        858348 kB
Buffers:         36168 kB
Cached:         116412 kB
SwapCached:       3276 kB
Active:          92168 kB
Inactive:        66492 kB
HighTotal:      131008 kB
HighFree:        10724 kB
LowTotal:       903652 kB
LowFree:        847624 kB
SwapTotal:     2097136 kB
SwapFree:      2093860 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11984 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 02:20:20 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 4269 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 461872 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  461872   930494 |  153957       0        0     nan |  0.000 % |
c |       100 |  461872   930494 |  169352     100     9776    97.8 |  0.000 % |
c |       253 |  461872   930494 |  186287     253    37282   147.4 |  0.000 % |
c |       478 |  461872   930494 |  204916     478   117761   246.4 |  0.000 % |
c |       819 |  461872   930494 |  225408     819   306261   373.9 |  0.000 % |
c |      1327 |  461872   930494 |  247949    1327   660276   497.6 |  0.000 % |
c |      2086 |  461872   930494 |  272744    2086  1077877   516.7 |  0.000 % |
c |      3231 |  461872   930494 |  300018    3231  1993574   617.0 |  0.000 % |
c |      4939 |  461872   930494 |  330020    4939  3016806   610.8 |  0.000 % |
c |      7504 |  461872   930494 |  363022    7504  5218471   695.4 |  0.000 % |
c |     11348 |  461872   930494 |  399324   11348  8680258   764.9 |  0.000 % |
c |     17114 |  461872   930494 |  439257   17114 16687175   975.1 |  0.000 % |
c |     25763 |  461872   930494 |  483183   25763 22664780   879.7 |  0.000 % |
c |     38737 |  461872   930494 |  531501   38737 33750907   871.3 |  0.000 % |
c |     58199 |  461872   930494 |  584651   58199 60635918  1041.9 |  0.000 % |
c |     87395 |  461872   930494 |  643116   87395 108179773  1237.8 |  0.000 % |
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 18703
Raw data (stat): 18703 (runsolver) R 18702 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 422598345 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18703
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 21793 0 0 0 933 66 0 0 25 0 1 0 422598345 90988544 21682 4294967295 134512640 134672761 3221224560 3221223664 134560402 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21682 603 41 0 22173 0
vsize: 88856
[startup+20.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18703
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 21793 0 0 0 1932 66 0 0 25 0 1 0 422598345 90988544 21682 4294967295 134512640 134672761 3221224560 3221223664 134560264 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21682 603 41 0 22173 0
vsize: 88856
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18703
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 21794 0 0 0 2932 66 0 0 25 0 1 0 422598345 90988544 21683 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18703
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 21794 0 0 0 3931 67 0 0 25 0 1 0 422598345 90988544 21683 4294967295 134512640 134672761 3221224560 3221223664 134560367 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+50.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18703
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 21794 0 0 0 4931 67 0 0 25 0 1 0 422598345 90988544 21683 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 21794 0 0 0 5930 68 0 0 25 0 1 0 422598345 90988544 21683 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 21794 0 0 0 6931 68 0 0 25 0 1 0 422598345 90988544 21683 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 21794 0 0 0 7931 68 0 0 25 0 1 0 422598345 90988544 21683 4294967295 134512640 134672761 3221224560 3221223664 134560303 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 23529 0 0 0 8928 71 0 0 25 0 1 0 422598345 98140160 23418 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23960 23418 603 41 0 23919 0
vsize: 95840
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 25105 0 0 0 9925 74 0 0 25 0 1 0 422598345 104538112 24994 4294967295 134512640 134672761 3221224560 3221223728 134560842 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25522 24994 603 41 0 25481 0
vsize: 102088
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 26738 0 0 0 10920 78 0 0 25 0 1 0 422598345 111300608 26627 4294967295 134512640 134672761 3221224560 3221223576 1075353072 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27173 26627 603 41 0 27132 0
vsize: 108692
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 28096 0 0 0 11918 80 0 0 25 0 1 0 422598345 116867072 27985 4294967295 134512640 134672761 3221224560 3221223664 134560402 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28532 27985 603 41 0 28491 0
vsize: 114128
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 29265 0 0 0 12916 82 0 0 25 0 1 0 422598345 121626624 29154 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29694 29154 603 41 0 29653 0
vsize: 118776
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 30401 0 0 0 13914 85 0 0 25 0 1 0 422598345 126251008 30290 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30823 30290 603 41 0 30782 0
vsize: 123292
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 31908 0 0 0 14911 88 0 0 25 0 1 0 422598345 132382720 31797 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32320 31797 603 41 0 32279 0
vsize: 129280
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 33127 0 0 0 15908 91 0 0 25 0 1 0 422598345 137428992 33016 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33552 33016 603 41 0 33511 0
vsize: 134208
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 34411 0 0 0 16906 94 0 0 25 0 1 0 422598345 142630912 34300 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34822 34300 603 41 0 34781 0
vsize: 139288
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 35682 0 0 0 17903 97 0 0 25 0 1 0 422598345 147832832 35571 4294967295 134512640 134672761 3221224560 3221223744 134558853 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36092 35571 603 41 0 36051 0
vsize: 144368
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 36699 0 0 0 18902 98 0 0 25 0 1 0 422598345 152162304 36588 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37149 36588 603 41 0 37108 0
vsize: 148596
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 37771 0 0 0 19900 100 0 0 25 0 1 0 422598345 156528640 37660 4294967295 134512640 134672761 3221224560 3221223664 134559958 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38215 37660 603 41 0 38174 0
vsize: 152860
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 38657 0 0 0 20899 101 0 0 25 0 1 0 422598345 160206848 38546 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39113 38546 603 41 0 39072 0
vsize: 156452
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 39650 0 0 0 21897 103 0 0 25 0 1 0 422598345 164290560 39539 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40110 39539 603 41 0 40069 0
vsize: 160440
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 40525 0 0 0 22895 105 0 0 25 0 1 0 422598345 167849984 40414 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40979 40414 603 41 0 40938 0
vsize: 163916
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 41287 0 0 0 23894 107 0 0 25 0 1 0 422598345 170975232 41176 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 41742 41176 603 41 0 41701 0
vsize: 166968
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 42626 0 0 0 24891 110 0 0 25 0 1 0 422598345 176414720 42515 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 43070 42515 603 41 0 43029 0
vsize: 172280
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 43762 0 0 0 25888 112 0 0 25 0 1 0 422598345 181035008 43651 4294967295 134512640 134672761 3221224560 3221223744 134558775 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 44198 43651 603 41 0 44157 0
vsize: 176792
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 45225 0 0 0 26886 115 0 0 25 0 1 0 422598345 187080704 45114 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 45674 45114 603 41 0 45633 0
vsize: 182696
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 46712 0 0 0 27883 118 0 0 25 0 1 0 422598345 193138688 46601 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47153 46601 603 41 0 47112 0
vsize: 188612
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18705
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 48037 0 0 0 28881 121 0 0 25 0 1 0 422598345 198647808 47926 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48498 47926 603 41 0 48457 0
vsize: 193992
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 49365 0 0 0 29877 124 0 0 25 0 1 0 422598345 204062720 49254 4294967295 134512640 134672761 3221224560 3221223664 134560402 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 49820 49254 603 41 0 49779 0
vsize: 199280
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 50548 0 0 0 30876 126 0 0 25 0 1 0 422598345 208871424 50437 4294967295 134512640 134672761 3221224560 3221223664 134560019 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 50994 50437 603 41 0 50953 0
vsize: 203976
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 51627 0 0 0 31874 128 0 0 25 0 1 0 422598345 213270528 51516 4294967295 134512640 134672761 3221224560 3221223744 134558761 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 52068 51516 603 41 0 52027 0
vsize: 208272
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 52720 0 0 0 32872 129 0 0 25 0 1 0 422598345 217702400 52609 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 53150 52609 603 41 0 53109 0
vsize: 212600
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 53922 0 0 0 33871 131 0 0 25 0 1 0 422598345 222662656 53811 4294967295 134512640 134672761 3221224560 3221223664 134560025 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 54361 53811 603 41 0 54320 0
vsize: 217444
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 55069 0 0 0 34869 133 0 0 25 0 1 0 422598345 227336192 54958 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 55502 54958 603 41 0 55461 0
vsize: 222008
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 56201 0 0 0 35867 135 0 0 25 0 1 0 422598345 232001536 56090 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 56641 56090 603 41 0 56600 0
vsize: 226564
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 57074 0 0 0 36866 137 0 0 25 0 1 0 422598345 235577344 56963 4294967295 134512640 134672761 3221224560 3221223744 134559199 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57514 56963 603 41 0 57473 0
vsize: 230056
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 57895 0 0 0 37865 138 0 0 25 0 1 0 422598345 239005696 57784 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58351 57784 603 41 0 58310 0
vsize: 233404
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 58690 0 0 0 38863 140 0 0 25 0 1 0 422598345 242147328 58579 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 59118 58579 603 41 0 59077 0
vsize: 236472
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 59712 0 0 0 39860 143 0 0 25 0 1 0 422598345 246345728 59601 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60143 59601 603 41 0 60102 0
vsize: 240572
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 60783 0 0 0 40858 145 0 0 25 0 1 0 422598345 250851328 60672 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 61243 60672 603 41 0 61202 0
vsize: 244972
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 61650 0 0 0 41857 146 0 0 25 0 1 0 422598345 254373888 61539 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 62103 61539 603 41 0 62062 0
vsize: 248412
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 62544 0 0 0 42855 148 0 0 25 0 1 0 422598345 258043904 62433 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 62999 62433 603 41 0 62958 0
vsize: 251996
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 63570 0 0 0 43853 150 0 0 25 0 1 0 422598345 262209536 63459 4294967295 134512640 134672761 3221224560 3221223744 134559482 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 64016 63459 603 41 0 63975 0
vsize: 256064
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 64396 0 0 0 44852 152 0 0 25 0 1 0 422598345 265625600 64285 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 64850 64285 603 41 0 64809 0
vsize: 259400
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 65248 0 0 0 45850 154 0 0 25 0 1 0 422598345 269029376 65137 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 65681 65137 603 41 0 65640 0
vsize: 262724
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 66056 0 0 0 46850 155 0 0 25 0 1 0 422598345 272330752 65945 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 66487 65945 603 41 0 66446 0
vsize: 265948
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 66914 0 0 0 47849 156 0 0 25 0 1 0 422598345 275877888 66803 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 67353 66803 603 41 0 67312 0
vsize: 269412
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 67742 0 0 0 48847 158 0 0 25 0 1 0 422598345 279269376 67631 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68181 67631 603 41 0 68140 0
vsize: 272724
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 68640 0 0 0 49845 160 0 0 25 0 1 0 422598345 282902528 68529 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 69068 68529 603 41 0 69027 0
vsize: 276272
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 70247 0 0 0 50842 162 0 0 25 0 1 0 422598345 289497088 70136 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70678 70136 603 41 0 70637 0
vsize: 282712
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 71630 0 0 0 51839 165 0 0 25 0 1 0 422598345 295219200 71519 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 72075 71519 603 41 0 72034 0
vsize: 288300
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 72800 0 0 0 52836 168 0 0 25 0 1 0 422598345 299966464 72689 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 73234 72689 603 41 0 73193 0
vsize: 292936
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 74195 0 0 0 53834 171 0 0 25 0 1 0 422598345 305758208 74084 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 74648 74084 603 41 0 74607 0
vsize: 298592
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 75626 0 0 0 54831 174 0 0 25 0 1 0 422598345 311578624 75515 4294967295 134512640 134672761 3221224560 3221223664 134560410 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 76069 75515 603 41 0 76028 0
vsize: 304276
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 76839 0 0 0 55829 176 0 0 25 0 1 0 422598345 316526592 76728 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 77277 76728 603 41 0 77236 0
vsize: 309108
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 78003 0 0 0 56827 178 0 0 25 0 1 0 422598345 321544192 77892 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 78502 77892 603 41 0 78461 0
vsize: 314008
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 79141 0 0 0 57825 180 0 0 25 0 1 0 422598345 326213632 79030 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 79642 79030 603 41 0 79601 0
vsize: 318568
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 80297 0 0 0 58823 182 0 0 25 0 1 0 422598345 330977280 80186 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 80805 80186 603 41 0 80764 0
vsize: 323220
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 81373 0 0 0 59820 185 0 0 25 0 1 0 422598345 335409152 81262 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 81887 81262 603 41 0 81846 0
vsize: 327548
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 82445 0 0 0 60819 187 0 0 25 0 1 0 422598345 339730432 82334 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 82942 82334 603 41 0 82901 0
vsize: 331768
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 83535 0 0 0 61817 189 0 0 25 0 1 0 422598345 344219648 83424 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 84038 83424 603 41 0 83997 0
vsize: 336152
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 84721 0 0 0 62815 191 0 0 25 0 1 0 422598345 349040640 84610 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 85215 84610 603 41 0 85174 0
vsize: 340860
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 85850 0 0 0 63813 193 0 0 25 0 1 0 422598345 353665024 85739 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 86344 85739 603 41 0 86303 0
vsize: 345376
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 86932 0 0 0 64810 196 0 0 25 0 1 0 422598345 358055936 86821 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 87416 86821 603 41 0 87375 0
vsize: 349664
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 87844 0 0 0 65809 197 0 0 25 0 1 0 422598345 361897984 87733 4294967295 134512640 134672761 3221224560 3221223576 1075353072 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 88354 87734 603 41 0 88313 0
vsize: 353416
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 88840 0 0 0 66807 200 0 0 25 0 1 0 422598345 365928448 88729 4294967295 134512640 134672761 3221224560 3221223664 134559875 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 89338 88729 603 41 0 89297 0
vsize: 357352
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 89938 0 0 0 67805 201 0 0 25 0 1 0 422598345 370470912 89827 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 90447 89827 603 41 0 90406 0
vsize: 361788
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 91016 0 0 0 68804 203 0 0 25 0 1 0 422598345 374894592 90905 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 91527 90905 603 41 0 91486 0
vsize: 366108
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 92103 0 0 0 69802 205 0 0 25 0 1 0 422598345 379236352 91992 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 92587 91992 603 41 0 92546 0
vsize: 370348
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 93080 0 0 0 70801 207 0 0 25 0 1 0 422598345 383254528 92969 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 93568 92969 603 41 0 93527 0
vsize: 374272
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 94059 0 0 0 71800 208 0 0 25 0 1 0 422598345 387305472 93948 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 94557 93948 603 41 0 94516 0
vsize: 378228
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 95024 0 0 0 72797 211 0 0 25 0 1 0 422598345 391200768 94913 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 95508 94913 603 41 0 95467 0
vsize: 382032
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 95969 0 0 0 73795 213 0 0 25 0 1 0 422598345 395096064 95858 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 96459 95858 603 41 0 96418 0
vsize: 385836
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 96733 0 0 0 74793 215 0 0 25 0 1 0 422598345 398286848 96622 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 97238 96622 603 41 0 97197 0
vsize: 388952
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 97686 0 0 0 75791 217 0 0 25 0 1 0 422598345 402202624 97575 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 98194 97575 603 41 0 98153 0
vsize: 392776
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 98619 0 0 0 76790 219 0 0 25 0 1 0 422598345 405925888 98508 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 99103 98508 603 41 0 99062 0
vsize: 396412
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 99652 0 0 0 77788 220 0 0 25 0 1 0 422598345 410206208 99541 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 100148 99541 603 41 0 100107 0
vsize: 400592
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 100850 0 0 0 78787 222 0 0 25 0 1 0 422598345 415178752 100739 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 101362 100739 603 41 0 101321 0
vsize: 405448
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 101898 0 0 0 79784 225 0 0 25 0 1 0 422598345 419459072 101787 4294967295 134512640 134672761 3221224560 3221223728 134560979 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 102407 101787 603 41 0 102366 0
vsize: 409628
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 102891 0 0 0 80783 227 0 0 25 0 1 0 422598345 423514112 102780 4294967295 134512640 134672761 3221224560 3221223744 134559498 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 103397 102780 603 41 0 103356 0
vsize: 413588
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 103989 0 0 0 81781 228 0 0 25 0 1 0 422598345 427966464 103878 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 104484 103878 603 41 0 104443 0
vsize: 417936
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 104961 0 0 0 82780 230 0 0 25 0 1 0 422598345 431886336 104850 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 105441 104850 603 41 0 105400 0
vsize: 421764
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 105799 0 0 0 83778 232 0 0 25 0 1 0 422598345 435343360 105688 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 106285 105688 603 41 0 106244 0
vsize: 425140
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 106464 0 0 0 84777 234 0 0 25 0 1 0 422598345 438091776 106353 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 106956 106353 603 41 0 106915 0
vsize: 427824
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 107486 0 0 0 85775 236 0 0 25 0 1 0 422598345 442359808 107375 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 107998 107375 603 41 0 107957 0
vsize: 431992
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 108458 0 0 0 86773 238 0 0 25 0 1 0 422598345 446316544 108347 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 108964 108347 603 41 0 108923 0
vsize: 435856
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 109276 0 0 0 87772 239 0 0 25 0 1 0 422598345 449593344 109165 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 109764 109165 603 41 0 109723 0
vsize: 439056
[startup+890.026 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 109937 0 0 0 88770 241 0 0 25 0 1 0 422598345 452292608 109826 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 110423 109826 603 41 0 110382 0
vsize: 441692
[startup+900.025 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 110930 0 0 0 89768 243 0 0 25 0 1 0 422598345 456409088 110819 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 111428 110819 603 41 0 111387 0
vsize: 445712
[startup+910.026 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 111910 0 0 0 90766 245 0 0 25 0 1 0 422598345 460439552 111799 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 112412 111799 603 41 0 112371 0
vsize: 449648
[startup+920.026 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 112941 0 0 0 91764 247 0 0 25 0 1 0 422598345 464592896 112830 4294967295 134512640 134672761 3221224560 3221223664 134559887 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 113426 112830 603 41 0 113385 0
vsize: 453704
[startup+930.026 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 113718 0 0 0 92763 249 0 0 25 0 1 0 422598345 467849216 113607 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 114221 113607 603 41 0 114180 0
vsize: 456884
[startup+940.025 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 114557 0 0 0 93762 250 0 0 25 0 1 0 422598345 471248896 114446 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 115051 114446 603 41 0 115010 0
vsize: 460204
[startup+950.026 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 115520 0 0 0 94760 252 0 0 25 0 1 0 422598345 475226112 115409 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 116022 115409 603 41 0 115981 0
vsize: 464088
[startup+960.026 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 116523 0 0 0 95758 254 0 0 25 0 1 0 422598345 479305728 116412 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 117018 116412 603 41 0 116977 0
vsize: 468072
[startup+970.026 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 117811 0 0 0 96755 256 0 0 25 0 1 0 422598345 484487168 117700 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 118283 117700 603 41 0 118242 0
vsize: 473132
[startup+980.026 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 118914 0 0 0 97754 258 0 0 25 0 1 0 422598345 489115648 118803 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 119413 118803 603 41 0 119372 0
vsize: 477652
[startup+990.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 119863 0 0 0 98752 260 0 0 25 0 1 0 422598345 492924928 119752 4294967295 134512640 134672761 3221224560 3221223700 134560556 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 120343 119752 603 41 0 120302 0
vsize: 481372
[startup+1000.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 120906 0 0 0 99750 263 0 0 25 0 1 0 422598345 497192960 120795 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 121385 120795 603 41 0 121344 0
vsize: 485540
[startup+1010.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 121960 0 0 0 100747 265 0 0 25 0 1 0 422598345 501477376 121849 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 122431 121849 603 41 0 122390 0
vsize: 489724
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 123090 0 0 0 101746 267 0 0 25 0 1 0 422598345 506109952 122979 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 123562 122979 603 41 0 123521 0
vsize: 494248
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 124462 0 0 0 102743 270 0 0 25 0 1 0 422598345 511758336 124351 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 124941 124351 603 41 0 124900 0
vsize: 499764
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 125714 0 0 0 103741 272 0 0 25 0 1 0 422598345 516849664 125603 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 126184 125603 603 41 0 126143 0
vsize: 504736
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 126868 0 0 0 104739 274 0 0 25 0 1 0 422598345 521687040 126757 4294967295 134512640 134672761 3221224560 3221223744 134558656 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 127365 126757 603 41 0 127324 0
vsize: 509460
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 128045 0 0 0 105738 276 0 0 25 0 1 0 422598345 526401536 127934 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 128516 127934 603 41 0 128475 0
vsize: 514064
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 129093 0 0 0 106736 278 0 0 25 0 1 0 422598345 530694144 128982 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 129564 128982 603 41 0 129523 0
vsize: 518256
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 130375 0 0 0 107733 281 0 0 25 0 1 0 422598345 535941120 130264 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 130845 130264 603 41 0 130804 0
vsize: 523380
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 131590 0 0 0 108731 283 0 0 25 0 1 0 422598345 540917760 131479 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 132060 131479 603 41 0 132019 0
vsize: 528240
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 132636 0 0 0 109730 284 0 0 25 0 1 0 422598345 545210368 132525 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 133108 132525 603 41 0 133067 0
vsize: 532432
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 133561 0 0 0 110728 287 0 0 25 0 1 0 422598345 549044224 133450 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 134044 133450 603 41 0 134003 0
vsize: 536176
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 134506 0 0 0 111727 288 0 0 25 0 1 0 422598345 552845312 134395 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 134972 134395 603 41 0 134931 0
vsize: 539888
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 135391 0 0 0 112725 290 0 0 25 0 1 0 422598345 556490752 135280 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 135862 135280 603 41 0 135821 0
vsize: 543448
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 136356 0 0 0 113723 292 0 0 25 0 1 0 422598345 560492544 136245 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 136839 136245 603 41 0 136798 0
vsize: 547356
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 137492 0 0 0 114720 295 0 0 25 0 1 0 422598345 565075968 137381 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 137958 137381 603 41 0 137917 0
vsize: 551832
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 138527 0 0 0 115719 297 0 0 25 0 1 0 422598345 569401344 138416 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 139014 138416 603 41 0 138973 0
vsize: 556056
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 139544 0 0 0 116717 299 0 0 25 0 1 0 422598345 573575168 139433 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 140033 139433 603 41 0 139992 0
vsize: 560132
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 140573 0 0 0 117715 301 0 0 25 0 1 0 422598345 577728512 140462 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 141047 140462 603 41 0 141006 0
vsize: 564188
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 141569 0 0 0 118714 302 0 0 25 0 1 0 422598345 581865472 141458 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 142057 141458 603 41 0 142016 0
vsize: 568228
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18707
Raw data (stat): 18703 (minisat+) R 18702 10720 10719 0 -1 0 142541 0 0 0 119711 305 0 0 25 0 1 0 422598345 585768960 142430 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 143010 142430 603 41 0 142969 0
vsize: 572040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 18707
Raw data (stat): 18703 (minisat+) Z 18702 10720 10719 0 -1 12 142544 0 0 0 119711 331 0 0 25 0 1 0 422598345 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.3
CPU time (s): 1200.44
CPU user time (s): 1197.12
CPU system time (s): 3.3185
CPU usage (%): 100.011
Max. virtual memory (Kb): 572040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####