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 4676

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        896620 kB
Buffers:         33960 kB
Cached:          67176 kB
SwapCached:        320 kB
Active:          59480 kB
Inactive:        44840 kB
HighTotal:      131008 kB
HighFree:        59780 kB
LowTotal:       903652 kB
LowFree:        836840 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27972 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 20:07:15 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 3517 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.59 0.85 0.67 2/55 22656
Raw data (stat): 22656 (runsolver) R 22655 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478577078 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.65 0.86 0.67 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 21792 0 0 0 935 63 0 0 25 0 1 0 478577078 90988544 21681 4294967295 134512640 134672761 3221224560 3221223708 1074733095 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21681 603 41 0 22173 0
vsize: 88856
[startup+20.0022 s]
Raw data (loadavg): 0.71 0.86 0.67 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 21793 0 0 0 1935 64 0 0 25 0 1 0 478577078 90988544 21682 4294967295 134512640 134672761 3221224560 3221223664 134560218 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.0018 s]
Raw data (loadavg): 0.75 0.86 0.68 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 21794 0 0 0 2935 64 0 0 25 0 1 0 478577078 90988544 21683 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+40.0029 s]
Raw data (loadavg): 0.79 0.87 0.68 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 21794 0 0 0 3935 64 0 0 25 0 1 0 478577078 90988544 21683 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+50.0038 s]
Raw data (loadavg): 0.82 0.87 0.68 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 21794 0 0 0 4935 64 0 0 25 0 1 0 478577078 90988544 21683 4294967295 134512640 134672761 3221224560 3221223664 134560196 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.0044 s]
Raw data (loadavg): 0.85 0.88 0.69 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 21794 0 0 0 5935 64 0 0 25 0 1 0 478577078 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+70.0046 s]
Raw data (loadavg): 0.87 0.88 0.69 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 21794 0 0 0 6935 64 0 0 25 0 1 0 478577078 90988544 21683 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22214 21683 603 41 0 22173 0
vsize: 88856
[startup+80.0045 s]
Raw data (loadavg): 0.89 0.88 0.69 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 21794 0 0 0 7935 64 0 0 25 0 1 0 478577078 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+90.0051 s]
Raw data (loadavg): 0.91 0.89 0.69 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 23402 0 0 0 8932 67 0 0 25 0 1 0 478577078 97570816 23291 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23821 23291 603 41 0 23780 0
vsize: 95284
[startup+100.005 s]
Raw data (loadavg): 0.92 0.89 0.70 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 24991 0 0 0 9929 70 0 0 25 0 1 0 478577078 104124416 24880 4294967295 134512640 134672761 3221224560 3221223744 134559538 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25421 24880 603 41 0 25380 0
vsize: 101684
[startup+110.006 s]
Raw data (loadavg): 0.93 0.89 0.70 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 26607 0 0 0 10925 75 0 0 25 0 1 0 478577078 110764032 26496 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27042 26496 603 41 0 27001 0
vsize: 108168
[startup+120.007 s]
Raw data (loadavg): 0.94 0.90 0.70 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 27941 0 0 0 11921 79 0 0 25 0 1 0 478577078 116191232 27830 4294967295 134512640 134672761 3221224560 3221223664 134560529 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28367 27830 603 41 0 28326 0
vsize: 113468
[startup+130.007 s]
Raw data (loadavg): 0.95 0.90 0.71 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 29123 0 0 0 12919 82 0 0 25 0 1 0 478577078 121073664 29012 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29559 29012 603 41 0 29518 0
vsize: 118236
[startup+140.008 s]
Raw data (loadavg): 0.96 0.90 0.71 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 30184 0 0 0 13916 84 0 0 25 0 1 0 478577078 125435904 30073 4294967295 134512640 134672761 3221224560 3221223672 1075347105 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30624 30073 603 41 0 30583 0
vsize: 122496
[startup+150.009 s]
Raw data (loadavg): 0.96 0.90 0.71 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 31717 0 0 0 14913 87 0 0 25 0 1 0 478577078 131698688 31606 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32153 31606 603 41 0 32112 0
vsize: 128612
[startup+160.009 s]
Raw data (loadavg): 0.97 0.91 0.71 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 32928 0 0 0 15910 90 0 0 25 0 1 0 478577078 136597504 32817 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33349 32817 603 41 0 33308 0
vsize: 133396
[startup+170.009 s]
Raw data (loadavg): 0.97 0.91 0.72 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 34162 0 0 0 16907 93 0 0 25 0 1 0 478577078 141668352 34051 4294967295 134512640 134672761 3221224560 3221223664 134555116 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34587 34051 603 41 0 34546 0
vsize: 138348
[startup+180.009 s]
Raw data (loadavg): 0.98 0.91 0.72 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 35457 0 0 0 17905 95 0 0 25 0 1 0 478577078 147005440 35346 4294967295 134512640 134672761 3221224560 3221223664 134559835 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35890 35346 603 41 0 35849 0
vsize: 143560
[startup+190.009 s]
Raw data (loadavg): 0.98 0.91 0.72 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 36462 0 0 0 18903 98 0 0 25 0 1 0 478577078 151216128 36351 4294967295 134512640 134672761 3221224560 3221223664 134560022 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36918 36351 603 41 0 36877 0
vsize: 147672
[startup+200.009 s]
Raw data (loadavg): 0.98 0.92 0.73 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 37532 0 0 0 19900 101 0 0 25 0 1 0 478577078 155570176 37421 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37981 37421 603 41 0 37940 0
vsize: 151924
[startup+210.01 s]
Raw data (loadavg): 0.98 0.92 0.73 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 38445 0 0 0 20898 104 0 0 25 0 1 0 478577078 159379456 38334 4294967295 134512640 134672761 3221224560 3221223724 134559748 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38911 38334 603 41 0 38870 0
vsize: 155644
[startup+220.01 s]
Raw data (loadavg): 0.99 0.92 0.73 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 39403 0 0 0 21896 106 0 0 25 0 1 0 478577078 163205120 39292 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39845 39292 603 41 0 39804 0
vsize: 159380
[startup+230.01 s]
Raw data (loadavg): 0.99 0.92 0.73 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 40302 0 0 0 22894 107 0 0 25 0 1 0 478577078 166920192 40191 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40752 40191 603 41 0 40711 0
vsize: 163008
[startup+240.011 s]
Raw data (loadavg): 0.99 0.92 0.73 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 41068 0 0 0 23893 108 0 0 25 0 1 0 478577078 170033152 40957 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41512 40957 603 41 0 41471 0
vsize: 166048
[startup+250.011 s]
Raw data (loadavg): 0.99 0.93 0.74 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 42236 0 0 0 24891 111 0 0 25 0 1 0 478577078 174903296 42125 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42701 42125 603 41 0 42660 0
vsize: 170804
[startup+260.012 s]
Raw data (loadavg): 0.99 0.93 0.74 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 43414 0 0 0 25888 114 0 0 25 0 1 0 478577078 179675136 43303 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43866 43303 603 41 0 43825 0
vsize: 175464
[startup+270.012 s]
Raw data (loadavg): 0.99 0.93 0.74 2/55 22656
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 44703 0 0 0 26886 116 0 0 25 0 1 0 478577078 184872960 44592 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45135 44592 603 41 0 45094 0
vsize: 180540
[startup+280.011 s]
Raw data (loadavg): 0.99 0.93 0.74 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 46233 0 0 0 27883 119 0 0 25 0 1 0 478577078 191213568 46122 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46683 46122 603 41 0 46642 0
vsize: 186732
[startup+290.013 s]
Raw data (loadavg): 0.99 0.93 0.74 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 47488 0 0 0 28880 122 0 0 25 0 1 0 478577078 196308992 47377 4294967295 134512640 134672761 3221224560 3221223632 134553557 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47927 47377 603 41 0 47886 0
vsize: 191708
[startup+300.012 s]
Raw data (loadavg): 0.99 0.94 0.75 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 48887 0 0 0 29878 124 0 0 25 0 1 0 478577078 202059776 48776 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49331 48776 603 41 0 49290 0
vsize: 197324
[startup+310.013 s]
Raw data (loadavg): 0.99 0.94 0.75 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 50115 0 0 0 30877 126 0 0 25 0 1 0 478577078 207081472 50004 4294967295 134512640 134672761 3221224560 3221223628 1075346557 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50557 50004 603 41 0 50516 0
vsize: 202228
[startup+320.013 s]
Raw data (loadavg): 0.99 0.94 0.75 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 51206 0 0 0 31874 128 0 0 25 0 1 0 478577078 211488768 51095 4294967295 134512640 134672761 3221224560 3221223744 134559330 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51633 51095 603 41 0 51592 0
vsize: 206532
[startup+330.013 s]
Raw data (loadavg): 0.99 0.94 0.75 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 52239 0 0 0 32873 130 0 0 25 0 1 0 478577078 215764992 52128 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52677 52128 603 41 0 52636 0
vsize: 210708
[startup+340.013 s]
Raw data (loadavg): 0.99 0.94 0.75 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 53352 0 0 0 33870 133 0 0 25 0 1 0 478577078 220319744 53241 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53789 53241 603 41 0 53748 0
vsize: 215156
[startup+350.013 s]
Raw data (loadavg): 0.99 0.94 0.76 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 54566 0 0 0 34867 136 0 0 25 0 1 0 478577078 225263616 54455 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54996 54455 603 41 0 54955 0
vsize: 219984
[startup+360.014 s]
Raw data (loadavg): 0.99 0.94 0.76 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 55623 0 0 0 35865 138 0 0 25 0 1 0 478577078 229658624 55512 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56069 55512 603 41 0 56028 0
vsize: 224276
[startup+370.014 s]
Raw data (loadavg): 0.99 0.95 0.76 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 56722 0 0 0 36863 140 0 0 25 0 1 0 478577078 234217472 56611 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 57182 56611 603 41 0 57141 0
vsize: 228728
[startup+380.014 s]
Raw data (loadavg): 0.99 0.95 0.76 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 57472 0 0 0 37862 142 0 0 25 0 1 0 478577078 237228032 57361 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 57917 57361 603 41 0 57876 0
vsize: 231668
[startup+390.014 s]
Raw data (loadavg): 0.99 0.95 0.76 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 58272 0 0 0 38861 143 0 0 25 0 1 0 478577078 240508928 58161 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 58718 58161 603 41 0 58677 0
vsize: 234872
[startup+400.014 s]
Raw data (loadavg): 0.99 0.95 0.77 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 59202 0 0 0 39859 146 0 0 25 0 1 0 478577078 244363264 59091 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 59659 59091 603 41 0 59618 0
vsize: 238636
[startup+410.015 s]
Raw data (loadavg): 0.99 0.95 0.77 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 60270 0 0 0 40856 148 0 0 25 0 1 0 478577078 248684544 60159 4294967295 134512640 134672761 3221224560 3221223696 134560706 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 60714 60159 603 41 0 60673 0
vsize: 242856
[startup+420.014 s]
Raw data (loadavg): 0.99 0.95 0.77 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 61215 0 0 0 41855 150 0 0 25 0 1 0 478577078 252608512 61104 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 61672 61104 603 41 0 61631 0
vsize: 246688
[startup+430.014 s]
Raw data (loadavg): 0.99 0.95 0.77 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 62041 0 0 0 42853 151 0 0 25 0 1 0 478577078 256004096 61930 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 62501 61930 603 41 0 62460 0
vsize: 250004
[startup+440.014 s]
Raw data (loadavg): 0.99 0.95 0.77 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 63024 0 0 0 43851 154 0 0 25 0 1 0 478577078 259944448 62913 4294967295 134512640 134672761 3221224560 3221223664 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 63463 62913 603 41 0 63422 0
vsize: 253852
[startup+450.014 s]
Raw data (loadavg): 0.99 0.95 0.78 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 63990 0 0 0 44849 156 0 0 25 0 1 0 478577078 263983104 63879 4294967295 134512640 134672761 3221224560 3221223664 134555116 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 64449 63879 603 41 0 64408 0
vsize: 257796
[startup+460.015 s]
Raw data (loadavg): 0.99 0.95 0.78 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 64722 0 0 0 45848 157 0 0 25 0 1 0 478577078 266854400 64611 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 65150 64611 603 41 0 65109 0
vsize: 260600
[startup+470.015 s]
Raw data (loadavg): 0.99 0.96 0.78 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 65583 0 0 0 46847 158 0 0 25 0 1 0 478577078 270397440 65472 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 66015 65472 603 41 0 65974 0
vsize: 264060
[startup+480.015 s]
Raw data (loadavg): 0.99 0.96 0.78 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 66391 0 0 0 47845 160 0 0 25 0 1 0 478577078 273690624 66280 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 66819 66280 603 41 0 66778 0
vsize: 267276
[startup+490.016 s]
Raw data (loadavg): 0.99 0.96 0.78 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 67250 0 0 0 48843 163 0 0 25 0 1 0 478577078 277254144 67139 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 67689 67139 603 41 0 67648 0
vsize: 270756
[startup+500.016 s]
Raw data (loadavg): 0.99 0.96 0.79 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 68039 0 0 0 49842 164 0 0 25 0 1 0 478577078 280457216 67928 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68471 67928 603 41 0 68430 0
vsize: 273884
[startup+510.016 s]
Raw data (loadavg): 0.99 0.96 0.79 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 69176 0 0 0 50839 166 0 0 25 0 1 0 478577078 285216768 69065 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 69633 69065 603 41 0 69592 0
vsize: 278532
[startup+520.016 s]
Raw data (loadavg): 0.99 0.96 0.79 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 70802 0 0 0 51835 170 0 0 25 0 1 0 478577078 291848192 70691 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 71252 70691 603 41 0 71211 0
vsize: 285008
[startup+530.016 s]
Raw data (loadavg): 0.99 0.96 0.79 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 72063 0 0 0 52832 174 0 0 25 0 1 0 478577078 296960000 71952 4294967295 134512640 134672761 3221224560 3221223664 134554718 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 72500 71952 603 41 0 72459 0
vsize: 290000
[startup+540.017 s]
Raw data (loadavg): 0.99 0.96 0.79 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 73245 0 0 0 53829 177 0 0 25 0 1 0 478577078 301764608 73134 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 73673 73134 603 41 0 73632 0
vsize: 294692
[startup+550.017 s]
Raw data (loadavg): 0.99 0.96 0.80 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 74701 0 0 0 54826 180 0 0 25 0 1 0 478577078 307847168 74590 4294967295 134512640 134672761 3221224560 3221223728 134560882 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 75158 74590 603 41 0 75117 0
vsize: 300632
[startup+560.017 s]
Raw data (loadavg): 0.99 0.96 0.80 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 76026 0 0 0 55824 182 0 0 25 0 1 0 478577078 313225216 75915 4294967295 134512640 134672761 3221224560 3221223664 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 76471 75915 603 41 0 76430 0
vsize: 305884
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 22658
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 77215 0 0 0 56821 186 0 0 25 0 1 0 478577078 318058496 77104 4294967295 134512640 134672761 3221224560 3221223664 134560229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 77651 77104 603 41 0 77610 0
vsize: 310604
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 78303 0 0 0 57818 188 0 0 25 0 1 0 478577078 322748416 78192 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 78796 78192 603 41 0 78755 0
vsize: 315184
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 79455 0 0 0 58815 191 0 0 25 0 1 0 478577078 327471104 79344 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 79949 79344 603 41 0 79908 0
vsize: 319796
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 80606 0 0 0 59813 194 0 0 25 0 1 0 478577078 332234752 80495 4294967295 134512640 134672761 3221224560 3221223632 134553549 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 81112 80495 603 41 0 81071 0
vsize: 324448
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 81652 0 0 0 60811 196 0 0 25 0 1 0 478577078 336539648 81541 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 82163 81541 603 41 0 82122 0
vsize: 328652
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 82700 0 0 0 61809 198 0 0 25 0 1 0 478577078 340856832 82589 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 83217 82589 603 41 0 83176 0
vsize: 332868
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 83809 0 0 0 62806 201 0 0 25 0 1 0 478577078 345321472 83698 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 84307 83698 603 41 0 84266 0
vsize: 337228
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 84940 0 0 0 63803 204 0 0 25 0 1 0 478577078 350027776 84829 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 85456 84832 603 41 0 85415 0
vsize: 341824
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 86073 0 0 0 64801 207 0 0 25 0 1 0 478577078 354652160 85962 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 86585 85962 603 41 0 86544 0
vsize: 346340
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 87091 0 0 0 65800 208 0 0 25 0 1 0 478577078 358772736 86980 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 87591 86980 603 41 0 87550 0
vsize: 350364
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 88047 0 0 0 66798 210 0 0 25 0 1 0 478577078 362737664 87936 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 88559 87936 603 41 0 88518 0
vsize: 354236
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 89040 0 0 0 67797 211 0 0 25 0 1 0 478577078 366768128 88929 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 89543 88929 603 41 0 89502 0
vsize: 358172
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 90102 0 0 0 68794 214 0 0 25 0 1 0 478577078 371163136 89991 4294967295 134512640 134672761 3221224560 3221223664 134560299 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 90616 89991 603 41 0 90575 0
vsize: 362464
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 91161 0 0 0 69792 217 0 0 25 0 1 0 478577078 375463936 91050 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 91666 91050 603 41 0 91625 0
vsize: 366664
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 92271 0 0 0 70789 220 0 0 25 0 1 0 478577078 380026880 92160 4294967295 134512640 134672761 3221224560 3221223664 134560125 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 92780 92160 603 41 0 92739 0
vsize: 371120
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 93185 0 0 0 71787 222 0 0 25 0 1 0 478577078 383676416 93074 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 93671 93074 603 41 0 93630 0
vsize: 374684
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 94171 0 0 0 72785 224 0 0 25 0 1 0 478577078 387723264 94060 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 94659 94060 603 41 0 94618 0
vsize: 378636
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 95125 0 0 0 73783 226 0 0 25 0 1 0 478577078 391614464 95014 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 95609 95014 603 41 0 95568 0
vsize: 382436
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 96081 0 0 0 74782 228 0 0 25 0 1 0 478577078 395640832 95970 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 96592 95970 603 41 0 96551 0
vsize: 386368
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 96810 0 0 0 75780 229 0 0 25 0 1 0 478577078 398557184 96699 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 97304 96699 603 41 0 97263 0
vsize: 389216
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 22660
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 97748 0 0 0 76779 231 0 0 25 0 1 0 478577078 402341888 97637 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 98228 97637 603 41 0 98187 0
vsize: 392912
[startup+780.024 s]
Raw data (loadavg): 1.07 0.99 0.83 2/55 22713
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 98673 0 0 0 77777 233 0 0 25 0 1 0 478577078 406200320 98562 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 99170 98562 603 41 0 99129 0
vsize: 396680
[startup+790.025 s]
Raw data (loadavg): 1.06 0.99 0.84 2/55 22713
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 99694 0 0 0 78776 234 0 0 25 0 1 0 478577078 410349568 99583 4294967295 134512640 134672761 3221224560 3221223664 134560025 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 100183 99583 603 41 0 100142 0
vsize: 400732
[startup+800.025 s]
Raw data (loadavg): 1.05 0.99 0.84 2/55 22713
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 100892 0 0 0 79772 238 0 0 25 0 1 0 478577078 415313920 100781 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 101395 100781 603 41 0 101354 0
vsize: 405580
[startup+810.026 s]
Raw data (loadavg): 1.04 0.99 0.84 2/55 22713
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 101919 0 0 0 80770 240 0 0 25 0 1 0 478577078 419459072 101808 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 102407 101808 603 41 0 102366 0
vsize: 409628
[startup+820.026 s]
Raw data (loadavg): 1.04 0.99 0.84 2/55 22713
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 102916 0 0 0 81768 242 0 0 25 0 1 0 478577078 423514112 102805 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 103397 102805 603 41 0 103356 0
vsize: 413588
[startup+830.026 s]
Raw data (loadavg): 1.03 0.99 0.84 2/55 22713
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 103989 0 0 0 82765 245 0 0 25 0 1 0 478577078 427966464 103878 4294967295 134512640 134672761 3221224560 3221223664 134559902 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 104484 103878 603 41 0 104443 0
vsize: 417936
[startup+840.027 s]
Raw data (loadavg): 1.03 0.99 0.84 2/55 22713
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 104958 0 0 0 83763 248 0 0 25 0 1 0 478577078 431886336 104847 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 105441 104847 603 41 0 105400 0
vsize: 421764
[startup+850.027 s]
Raw data (loadavg): 1.02 0.99 0.84 2/55 22715
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 105787 0 0 0 84762 250 0 0 25 0 1 0 478577078 435343360 105676 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 106285 105676 603 41 0 106244 0
vsize: 425140
[startup+860.029 s]
Raw data (loadavg): 1.02 0.99 0.84 2/55 22715
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 106444 0 0 0 85760 252 0 0 25 0 1 0 478577078 438091776 106333 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 106956 106333 603 41 0 106915 0
vsize: 427824
[startup+870.028 s]
Raw data (loadavg): 1.01 0.99 0.84 2/55 22715
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 107442 0 0 0 86758 254 0 0 25 0 1 0 478577078 442085376 107331 4294967295 134512640 134672761 3221224560 3221223664 134560212 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 107931 107331 603 41 0 107890 0
vsize: 431724
[startup+880.028 s]
Raw data (loadavg): 1.01 0.99 0.84 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 108379 0 0 0 87756 256 0 0 25 0 1 0 478577078 445911040 108268 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 108865 108268 603 41 0 108824 0
vsize: 435460
[startup+890.028 s]
Raw data (loadavg): 1.01 0.99 0.85 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 109224 0 0 0 88755 257 0 0 25 0 1 0 478577078 449458176 109113 4294967295 134512640 134672761 3221224560 3221223664 134560054 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 109731 109113 603 41 0 109690 0
vsize: 438924
[startup+900.028 s]
Raw data (loadavg): 1.01 0.99 0.85 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 109875 0 0 0 89754 258 0 0 25 0 1 0 478577078 452022272 109764 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 110357 109764 603 41 0 110316 0
vsize: 441428
[startup+910.029 s]
Raw data (loadavg): 1.01 0.99 0.85 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 110845 0 0 0 90752 261 0 0 25 0 1 0 478577078 455987200 110734 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 111325 110734 603 41 0 111284 0
vsize: 445300
[startup+920.029 s]
Raw data (loadavg): 1.00 0.99 0.85 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 111820 0 0 0 91750 262 0 0 25 0 1 0 478577078 460021760 111709 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 112310 111709 603 41 0 112269 0
vsize: 449240
[startup+930.029 s]
Raw data (loadavg): 1.00 0.99 0.85 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 112828 0 0 0 92748 264 0 0 25 0 1 0 478577078 464183296 112717 4294967295 134512640 134672761 3221224560 3221223696 134560642 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 113326 112717 603 41 0 113285 0
vsize: 453304
[startup+940.029 s]
Raw data (loadavg): 1.00 0.99 0.85 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 113611 0 0 0 93747 265 0 0 25 0 1 0 478577078 467304448 113500 4294967295 134512640 134672761 3221224560 3221223664 134559808 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 114088 113500 603 41 0 114047 0
vsize: 456352
[startup+950.029 s]
Raw data (loadavg): 1.00 0.99 0.85 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 114469 0 0 0 94745 267 0 0 25 0 1 0 478577078 470839296 114358 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 114951 114358 603 41 0 114910 0
vsize: 459804
[startup+960.03 s]
Raw data (loadavg): 1.00 0.99 0.85 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 115401 0 0 0 95744 270 0 0 25 0 1 0 478577078 474677248 115290 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 115888 115290 603 41 0 115847 0
vsize: 463552
[startup+970.03 s]
Raw data (loadavg): 1.00 0.99 0.85 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 116370 0 0 0 96740 272 0 0 25 0 1 0 478577078 478621696 116259 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 116851 116261 603 41 0 116810 0
vsize: 467404
[startup+980.03 s]
Raw data (loadavg): 1.00 0.99 0.85 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 117687 0 0 0 97737 275 0 0 25 0 1 0 478577078 484081664 117576 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 118184 117576 603 41 0 118143 0
vsize: 472736
[startup+990.031 s]
Raw data (loadavg): 1.00 0.99 0.86 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 118771 0 0 0 98735 278 0 0 25 0 1 0 478577078 488443904 118660 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 119249 118660 603 41 0 119208 0
vsize: 476996
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 119683 0 0 0 99733 280 0 0 25 0 1 0 478577078 492249088 119572 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 120178 119572 603 41 0 120137 0
vsize: 480712
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 120698 0 0 0 100730 283 0 0 25 0 1 0 478577078 496357376 120587 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 121181 120587 603 41 0 121140 0
vsize: 484724
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 121736 0 0 0 101728 285 0 0 25 0 1 0 478577078 500649984 121625 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 122229 121625 603 41 0 122188 0
vsize: 488916
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 122864 0 0 0 102726 287 0 0 25 0 1 0 478577078 505171968 122753 4294967295 134512640 134672761 3221224560 3221223664 134559914 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 123333 122753 603 41 0 123292 0
vsize: 493332
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 124183 0 0 0 103723 291 0 0 25 0 1 0 478577078 510668800 124072 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 124675 124072 603 41 0 124634 0
vsize: 498700
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 125411 0 0 0 104721 293 0 0 25 0 1 0 478577078 515612672 125300 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 125882 125300 603 41 0 125841 0
vsize: 503528
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 126602 0 0 0 105719 296 0 0 25 0 1 0 478577078 520568832 126491 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 127092 126491 603 41 0 127051 0
vsize: 508368
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 127806 0 0 0 106717 298 0 0 25 0 1 0 478577078 525443072 127695 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 128282 127695 603 41 0 128241 0
vsize: 513128
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 128769 0 0 0 107714 300 0 0 25 0 1 0 478577078 529453056 128658 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 129261 128658 603 41 0 129220 0
vsize: 517044
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 130022 0 0 0 108712 303 0 0 25 0 1 0 478577078 534556672 129911 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 130507 129911 603 41 0 130466 0
vsize: 522028
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 131272 0 0 0 109709 306 0 0 25 0 1 0 478577078 539684864 131161 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 131759 131161 603 41 0 131718 0
vsize: 527036
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 132347 0 0 0 110708 307 0 0 25 0 1 0 478577078 544112640 132236 4294967295 134512640 134672761 3221224560 3221223744 134559079 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 132840 132236 603 41 0 132799 0
vsize: 531360
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22717
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 133360 0 0 0 111706 309 0 0 25 0 1 0 478577078 548229120 133249 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 133845 133249 603 41 0 133804 0
vsize: 535380
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22719
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 134227 0 0 0 112705 311 0 0 25 0 1 0 478577078 551763968 134116 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 134708 134116 603 41 0 134667 0
vsize: 538832
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22719
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 135069 0 0 0 113704 312 0 0 25 0 1 0 478577078 555253760 134958 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 135560 134958 603 41 0 135519 0
vsize: 542240
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22719
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 135969 0 0 0 114702 314 0 0 25 0 1 0 478577078 558948352 135858 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 136462 135858 603 41 0 136421 0
vsize: 545848
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22719
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 137119 0 0 0 115700 316 0 0 25 0 1 0 478577078 563552256 137008 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 137586 137008 603 41 0 137545 0
vsize: 550344
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22719
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 138124 0 0 0 116698 319 0 0 25 0 1 0 478577078 567754752 138013 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 138612 138013 603 41 0 138571 0
vsize: 554448
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22721
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 139136 0 0 0 117696 320 0 0 25 0 1 0 478577078 571895808 139025 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 139623 139025 603 41 0 139582 0
vsize: 558492
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.87 2/55 22721
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 140178 0 0 0 118694 323 0 0 25 0 1 0 478577078 576090112 140067 4294967295 134512640 134672761 3221224560 3221223744 134558925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 140647 140067 603 41 0 140606 0
vsize: 562588
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.88 2/55 22721
Raw data (stat): 22656 (minisat+) R 22655 20024 20023 0 -1 0 141168 0 0 0 119692 325 0 0 25 0 1 0 478577078 580210688 141057 4294967295 134512640 134672761 3221224560 3221223696 134560709 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 141653 141057 603 41 0 141612 0
vsize: 566612
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 1.00 0.99 0.88 1/55 22721
Raw data (stat): 22656 (minisat+) Z 22655 20024 20023 0 -1 12 141171 0 0 0 119692 351 0 0 25 0 1 0 478577078 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

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