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 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-04-13 20:43:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1193 boxname=wulflinc5 idbench=133 idsolver=5 numberseed=0 MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4 /oldhome/oroussel/solvers/minisat+ MD5SUM BENCH: 95af9ee9e7f41d7e844f72bb8840ff83 /oldhome/oroussel/tmp/wulflinc5/normalized-g250.29.opb REAL COMMAND: minisat+ /oldhome/oroussel/tmp/wulflinc5/normalized-g250.29.opb IDLAUNCH: 1193 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 900584 kB Buffers: 33172 kB Cached: 78728 kB SwapCached: 2272 kB Active: 60860 kB Inactive: 56140 kB HighTotal: 131008 kB HighFree: 48356 kB LowTotal: 903652 kB LowFree: 852228 kB SwapTotal: 2097136 kB SwapFree: 2094864 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6924 kB Slab: 11392 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 21:03:26 (client local time) WITH STATUS 0 IN 1200.45 SECONDS stats: 1193 7 1200.45 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 461872 PB-constraints to clauses... c -- Unit propagations: (none) c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 461872 930494 | 153957 0 0 nan | 0.000 % | c | 100 | 461872 930494 | 169352 100 9776 97.8 | 0.000 % | c | 253 | 461872 930494 | 186287 253 37282 147.4 | 0.000 % | c | 478 | 461872 930494 | 204916 478 117761 246.4 | 0.000 % | c | 819 | 461872 930494 | 225408 819 306261 373.9 | 0.000 % | c | 1327 | 461872 930494 | 247949 1327 660276 497.6 | 0.000 % | c | 2086 | 461872 930494 | 272744 2086 1077877 516.7 | 0.000 % | c | 3231 | 461872 930494 | 300018 3231 1993574 617.0 | 0.000 % | c | 4939 | 461872 930494 | 330020 4939 3016806 610.8 | 0.000 % | c | 7504 | 461872 930494 | 363022 7504 5218471 695.4 | 0.000 % | c | 11348 | 461872 930494 | 399324 11348 8680258 764.9 | 0.000 % | c | 17114 | 461872 930494 | 439257 17114 16687175 975.1 | 0.000 % | c | 25763 | 461872 930494 | 483183 25763 22664780 879.7 | 0.000 % | c | 38737 | 461872 930494 | 531501 38737 33750907 871.3 | 0.000 % | c | 58199 | 461872 930494 | 584651 58199 60635918 1041.9 | 0.000 % | c | 87395 | 461872 930494 | 643116 87395 108179773 1237.8 | 0.000 % | #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.97 0.91 2/54 26169 Raw data (stat): 26169 (runsolver) R 26168 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 420700758 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21792 0 0 0 938 60 0 0 25 0 1 0 420700758 90988544 21681 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 22214 21681 603 41 0 22173 0 vsize: 88856 [startup+20.0005 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21793 0 0 0 1938 60 0 0 25 0 1 0 420700758 90988544 21682 4294967295 134512640 134672761 3221224640 3221223744 134560405 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 22214 21682 603 41 0 22173 0 vsize: 88856 [startup+30.0013 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 2937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 22214 21683 603 41 0 22173 0 vsize: 88856 [startup+40.0016 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 3937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 22214 21683 603 41 0 22173 0 vsize: 88856 [startup+50.0029 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 4937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134561201 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 22214 21683 603 41 0 22173 0 vsize: 88856 [startup+60.0035 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 5937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 22214 21683 603 41 0 22173 0 vsize: 88856 [startup+70.0029 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 6937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134560806 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 22214 21683 603 41 0 22173 0 vsize: 88856 [startup+80.0039 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 21794 0 0 0 7937 61 0 0 25 0 1 0 420700758 90988544 21683 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 22214 21683 603 41 0 22173 0 vsize: 88856 [startup+90.0037 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 23472 0 0 0 8935 64 0 0 25 0 1 0 420700758 97861632 23361 4294967295 134512640 134672761 3221224640 3221223776 134560729 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 23892 23361 603 41 0 23851 0 vsize: 95568 [startup+100.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 25049 0 0 0 9932 67 0 0 25 0 1 0 420700758 104411136 24938 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 25491 24938 603 41 0 25450 0 vsize: 101964 [startup+110.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 26661 0 0 0 10927 72 0 0 25 0 1 0 420700758 110948352 26550 4294967295 134512640 134672761 3221224640 3221223744 134560289 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 27087 26550 603 41 0 27046 0 vsize: 108348 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 27994 0 0 0 11924 75 0 0 25 0 1 0 420700758 116371456 27883 4294967295 134512640 134672761 3221224640 3221223596 1075350517 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 28411 27883 603 41 0 28370 0 vsize: 113644 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 29164 0 0 0 12922 78 0 0 25 0 1 0 420700758 121171968 29053 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 29583 29053 603 41 0 29542 0 vsize: 118332 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 30249 0 0 0 13920 80 0 0 25 0 1 0 420700758 125657088 30138 4294967295 134512640 134672761 3221224640 3221223840 134557809 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 30678 30138 603 41 0 30637 0 vsize: 122712 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 31761 0 0 0 14917 83 0 0 25 0 1 0 420700758 131887104 31650 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 32199 31650 603 41 0 32158 0 vsize: 128796 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 32974 0 0 0 15914 86 0 0 25 0 1 0 420700758 136781824 32863 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 33394 32863 603 41 0 33353 0 vsize: 133576 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 34206 0 0 0 16913 88 0 0 25 0 1 0 420700758 141824000 34095 4294967295 134512640 134672761 3221224640 3221223744 134560246 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 34625 34095 603 41 0 34584 0 vsize: 138500 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 35501 0 0 0 17909 91 0 0 25 0 1 0 420700758 147144704 35390 4294967295 134512640 134672761 3221224640 3221223744 134560405 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 35924 35390 603 41 0 35883 0 vsize: 143696 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 36502 0 0 0 18908 93 0 0 25 0 1 0 420700758 151363584 36391 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 36954 36391 603 41 0 36913 0 vsize: 147816 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 37582 0 0 0 19906 95 0 0 25 0 1 0 420700758 155770880 37471 4294967295 134512640 134672761 3221224640 3221223808 134560988 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 38030 37471 603 41 0 37989 0 vsize: 152120 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 38482 0 0 0 20904 97 0 0 25 0 1 0 420700758 159457280 38371 4294967295 134512640 134672761 3221224640 3221223744 134560293 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 38930 38371 603 41 0 38889 0 vsize: 155720 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 39459 0 0 0 21903 99 0 0 25 0 1 0 420700758 163512320 39348 4294967295 134512640 134672761 3221224640 3221223744 134560235 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 39920 39348 603 41 0 39879 0 vsize: 159680 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 40356 0 0 0 22900 101 0 0 25 0 1 0 420700758 167198720 40245 4294967295 134512640 134672761 3221224640 3221223744 134560235 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 40820 40245 603 41 0 40779 0 vsize: 163280 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 41112 0 0 0 23899 103 0 0 25 0 1 0 420700758 170205184 41001 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 41554 41001 603 41 0 41513 0 vsize: 166216 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 42322 0 0 0 24895 107 0 0 25 0 1 0 420700758 175218688 42211 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 42778 42211 603 41 0 42737 0 vsize: 171112 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 43475 0 0 0 25892 109 0 0 25 0 1 0 420700758 179863552 43364 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 43912 43364 603 41 0 43871 0 vsize: 175648 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 44799 0 0 0 26889 113 0 0 25 0 1 0 420700758 185364480 44688 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 45255 44688 603 41 0 45214 0 vsize: 181020 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 46313 0 0 0 27886 116 0 0 25 0 1 0 420700758 191582208 46202 4294967295 134512640 134672761 3221224640 3221223744 134560504 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 46773 46202 603 41 0 46732 0 vsize: 187092 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 47579 0 0 0 28884 119 0 0 25 0 1 0 420700758 196755456 47468 4294967295 134512640 134672761 3221224640 3221223684 1075755419 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 48036 47468 603 41 0 47995 0 vsize: 192144 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 48971 0 0 0 29881 121 0 0 25 0 1 0 420700758 202366976 48860 4294967295 134512640 134672761 3221224640 3221223712 134553549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 49406 48860 603 41 0 49365 0 vsize: 197624 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 50200 0 0 0 30879 124 0 0 25 0 1 0 420700758 207499264 50089 4294967295 134512640 134672761 3221224640 3221223744 134559862 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 50659 50089 603 41 0 50618 0 vsize: 202636 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 51283 0 0 0 31877 126 0 0 25 0 1 0 420700758 211906560 51172 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 51735 51172 603 41 0 51694 0 vsize: 206940 [startup+330.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 52328 0 0 0 32874 129 0 0 25 0 1 0 420700758 216133632 52217 4294967295 134512640 134672761 3221224640 3221223744 134559862 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 52767 52217 603 41 0 52726 0 vsize: 211068 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 53428 0 0 0 33873 130 0 0 25 0 1 0 420700758 220659712 53317 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 53872 53317 603 41 0 53831 0 vsize: 215488 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 54646 0 0 0 34871 132 0 0 25 0 1 0 420700758 225619968 54535 4294967295 134512640 134672761 3221224640 3221223744 134560523 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 55083 54535 603 41 0 55042 0 vsize: 220332 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 55714 0 0 0 35869 134 0 0 25 0 1 0 420700758 229978112 55603 4294967295 134512640 134672761 3221224640 3221223744 134560171 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 56147 55603 603 41 0 56106 0 vsize: 224588 [startup+370.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 56806 0 0 0 36867 137 0 0 25 0 1 0 420700758 234491904 56695 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 57249 56695 603 41 0 57208 0 vsize: 228996 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 57534 0 0 0 37865 139 0 0 25 0 1 0 420700758 237506560 57423 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 57985 57423 603 41 0 57944 0 vsize: 231940 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 58345 0 0 0 38864 140 0 0 25 0 1 0 420700758 240812032 58234 4294967295 134512640 134672761 3221224640 3221223596 1075350331 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 58792 58234 603 41 0 58751 0 vsize: 235168 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 59274 0 0 0 39863 141 0 0 25 0 1 0 420700758 244625408 59163 4294967295 134512640 134672761 3221224640 3221223808 134561005 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 59723 59163 603 41 0 59682 0 vsize: 238892 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 60340 0 0 0 40861 143 0 0 25 0 1 0 420700758 248950784 60229 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 60779 60229 603 41 0 60738 0 vsize: 243116 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 61281 0 0 0 41860 144 0 0 25 0 1 0 420700758 252874752 61170 4294967295 134512640 134672761 3221224640 3221223784 134560553 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 61737 61170 603 41 0 61696 0 vsize: 246948 [startup+430.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 62132 0 0 0 42859 146 0 0 25 0 1 0 420700758 256307200 62021 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 62575 62021 603 41 0 62534 0 vsize: 250300 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 63129 0 0 0 43857 148 0 0 25 0 1 0 420700758 260390912 63018 4294967295 134512640 134672761 3221224640 3221223744 134555091 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 63572 63018 603 41 0 63531 0 vsize: 254288 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 64055 0 0 0 44856 149 0 0 25 0 1 0 420700758 264179712 63944 4294967295 134512640 134672761 3221224640 3221223808 134561011 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 64497 63944 603 41 0 64456 0 vsize: 257988 [startup+460.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 64783 0 0 0 45855 151 0 0 25 0 1 0 420700758 267165696 64672 4294967295 134512640 134672761 3221224640 3221223744 134559902 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 65226 64672 603 41 0 65185 0 vsize: 260904 [startup+470.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 65644 0 0 0 46853 153 0 0 25 0 1 0 420700758 270704640 65533 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 66090 65533 603 41 0 66049 0 vsize: 264360 [startup+480.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 66467 0 0 0 47852 154 0 0 25 0 1 0 420700758 273997824 66356 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 66894 66356 603 41 0 66853 0 vsize: 267576 [startup+490.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 67339 0 0 0 48850 156 0 0 25 0 1 0 420700758 277667840 67228 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 67790 67228 603 41 0 67749 0 vsize: 271160 [startup+500.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 68152 0 0 0 49849 158 0 0 25 0 1 0 420700758 280936448 68041 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 68588 68041 603 41 0 68547 0 vsize: 274352 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 69333 0 0 0 50846 159 0 0 25 0 1 0 420700758 285859840 69222 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 69790 69222 603 41 0 69749 0 vsize: 279160 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 70930 0 0 0 51843 162 0 0 25 0 1 0 420700758 292290560 70819 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 71360 70819 603 41 0 71319 0 vsize: 285440 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 72168 0 0 0 52841 164 0 0 25 0 1 0 420700758 297369600 72057 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 72600 72057 603 41 0 72559 0 vsize: 290400 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 73385 0 0 0 53838 167 0 0 25 0 1 0 420700758 302452736 73274 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 73841 73274 603 41 0 73800 0 vsize: 295364 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 74839 0 0 0 54835 171 0 0 25 0 1 0 420700758 308273152 74728 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 75262 74728 603 41 0 75221 0 vsize: 301048 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 76176 0 0 0 55832 174 0 0 25 0 1 0 420700758 313749504 76065 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 76599 76065 603 41 0 76558 0 vsize: 306396 [startup+570.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 77346 0 0 0 56830 176 0 0 25 0 1 0 420700758 318873600 77235 4294967295 134512640 134672761 3221224640 3221223824 134558899 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 77850 77235 603 41 0 77809 0 vsize: 311400 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 78441 0 0 0 57828 178 0 0 25 0 1 0 420700758 323309568 78330 4294967295 134512640 134672761 3221224640 3221223824 134559354 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 78933 78330 603 41 0 78892 0 vsize: 315732 [startup+590.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 79575 0 0 0 58826 181 0 0 25 0 1 0 420700758 328028160 79464 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 80085 79464 603 41 0 80044 0 vsize: 320340 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 80724 0 0 0 59824 183 0 0 25 0 1 0 420700758 332640256 80613 4294967295 134512640 134672761 3221224640 3221223744 134559933 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 81211 80613 603 41 0 81170 0 vsize: 324844 [startup+610.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 81756 0 0 0 60821 185 0 0 25 0 1 0 420700758 336961536 81645 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 82266 81645 603 41 0 82225 0 vsize: 329064 [startup+620.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 82850 0 0 0 61819 188 0 0 25 0 1 0 420700758 341438464 82739 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 83359 82739 603 41 0 83318 0 vsize: 333436 [startup+630.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 83964 0 0 0 62817 190 0 0 25 0 1 0 420700758 345931776 83853 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 84456 83853 603 41 0 84415 0 vsize: 337824 [startup+640.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 85071 0 0 0 63815 192 0 0 25 0 1 0 420700758 350543872 84960 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 85582 84960 603 41 0 85541 0 vsize: 342328 [startup+650.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 86215 0 0 0 64813 195 0 0 25 0 1 0 420700758 355225600 86104 4294967295 134512640 134672761 3221224640 3221223776 134560598 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 86725 86104 603 41 0 86684 0 vsize: 346900 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 87197 0 0 0 65811 197 0 0 25 0 1 0 420700758 359157760 87086 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 87685 87086 603 41 0 87644 0 vsize: 350740 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 88159 0 0 0 66809 199 0 0 25 0 1 0 420700758 363196416 88048 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 88671 88048 603 41 0 88630 0 vsize: 354684 [startup+680.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 89202 0 0 0 67806 202 0 0 25 0 1 0 420700758 367345664 89091 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 89684 89091 603 41 0 89643 0 vsize: 358736 [startup+690.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 90274 0 0 0 68803 205 0 0 25 0 1 0 420700758 371752960 90163 4294967295 134512640 134672761 3221224640 3221223808 134560895 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 90760 90163 603 41 0 90719 0 vsize: 363040 [startup+700.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 91317 0 0 0 69801 208 0 0 25 0 1 0 420700758 376061952 91206 4294967295 134512640 134672761 3221224640 3221223808 134560912 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 91812 91206 603 41 0 91771 0 vsize: 367248 [startup+710.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 92444 0 0 0 70799 210 0 0 25 0 1 0 420700758 380698624 92333 4294967295 134512640 134672761 3221224640 3221223824 134558885 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 92944 92333 603 41 0 92903 0 vsize: 371776 [startup+720.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 93319 0 0 0 71797 212 0 0 25 0 1 0 420700758 384323584 93208 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 93829 93208 603 41 0 93788 0 vsize: 375316 [startup+730.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 94294 0 0 0 72795 214 0 0 25 0 1 0 420700758 388202496 94183 4294967295 134512640 134672761 3221224640 3221223744 134560218 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 94776 94183 603 41 0 94735 0 vsize: 379104 [startup+740.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 95275 0 0 0 73794 216 0 0 25 0 1 0 420700758 392241152 95164 4294967295 134512640 134672761 3221224640 3221223824 134558846 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 95762 95164 603 41 0 95721 0 vsize: 383048 [startup+750.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 96182 0 0 0 74792 218 0 0 25 0 1 0 420700758 396021760 96071 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 96685 96071 603 41 0 96644 0 vsize: 386740 [startup+760.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 96916 0 0 0 75791 219 0 0 25 0 1 0 420700758 398958592 96805 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 97402 96805 603 41 0 97361 0 vsize: 389608 [startup+770.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 97852 0 0 0 76789 221 0 0 25 0 1 0 420700758 402886656 97741 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 98361 97741 603 41 0 98320 0 vsize: 393444 [startup+780.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 98841 0 0 0 77787 223 0 0 25 0 1 0 420700758 406859776 98730 4294967295 134512640 134672761 3221224640 3221223744 134560218 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 99331 98730 603 41 0 99290 0 vsize: 397324 [startup+790.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 99856 0 0 0 78785 226 0 0 25 0 1 0 420700758 411000832 99745 4294967295 134512640 134672761 3221224640 3221223744 134560212 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 100342 99745 603 41 0 100301 0 vsize: 401368 [startup+800.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 101048 0 0 0 79783 228 0 0 25 0 1 0 420700758 415932416 100937 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 101546 100937 603 41 0 101505 0 vsize: 406184 [startup+810.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 102070 0 0 0 80781 230 0 0 25 0 1 0 420700758 420061184 101959 4294967295 134512640 134672761 3221224640 3221223744 134559877 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 102554 101959 603 41 0 102513 0 vsize: 410216 [startup+820.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 103105 0 0 0 81780 232 0 0 25 0 1 0 420700758 424349696 102994 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 103601 102994 603 41 0 103560 0 vsize: 414404 [startup+830.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 104133 0 0 0 82778 233 0 0 25 0 1 0 420700758 428515328 104022 4294967295 134512640 134672761 3221224640 3221223824 134559330 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 104618 104022 603 41 0 104577 0 vsize: 418472 [startup+840.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 105107 0 0 0 83776 236 0 0 25 0 1 0 420700758 432541696 104996 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 105601 104996 603 41 0 105560 0 vsize: 422404 [startup+850.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 105903 0 0 0 84775 237 0 0 25 0 1 0 420700758 435789824 105792 4294967295 134512640 134672761 3221224640 3221223712 134553549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 106394 105792 603 41 0 106353 0 vsize: 425576 [startup+860.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 106553 0 0 0 85772 240 0 0 25 0 1 0 420700758 438501376 106442 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 107056 106442 603 41 0 107015 0 vsize: 428224 [startup+870.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 107578 0 0 0 86770 243 0 0 25 0 1 0 420700758 442626048 107467 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 108063 107467 603 41 0 108022 0 vsize: 432252 [startup+880.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 108557 0 0 0 87768 245 0 0 25 0 1 0 420700758 446742528 108446 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 109068 108446 603 41 0 109027 0 vsize: 436272 [startup+890.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 109345 0 0 0 88765 247 0 0 25 0 1 0 420700758 449904640 109234 4294967295 134512640 134672761 3221224640 3221223744 134559925 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 109840 109234 603 41 0 109799 0 vsize: 439360 [startup+900.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 110027 0 0 0 89764 249 0 0 25 0 1 0 420700758 452628480 109916 4294967295 134512640 134672761 3221224640 3221223808 134561406 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 110505 109916 603 41 0 110464 0 vsize: 442020 [startup+910.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 110983 0 0 0 90761 252 0 0 25 0 1 0 420700758 456581120 110872 4294967295 134512640 134672761 3221224640 3221223824 134559604 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 111470 110872 603 41 0 111429 0 vsize: 445880 [startup+920.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 111952 0 0 0 91760 253 0 0 25 0 1 0 420700758 460587008 111841 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 112448 111841 603 41 0 112407 0 vsize: 449792 [startup+930.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 112973 0 0 0 92758 255 0 0 25 0 1 0 420700758 464805888 112862 4294967295 134512640 134672761 3221224640 3221223776 134560588 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 113478 112862 603 41 0 113437 0 vsize: 453912 [startup+940.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 113743 0 0 0 93756 258 0 0 25 0 1 0 420700758 467832832 113632 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 114217 113632 603 41 0 114176 0 vsize: 456868 [startup+950.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 114565 0 0 0 94755 259 0 0 25 0 1 0 420700758 471252992 114454 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 115052 114454 603 41 0 115011 0 vsize: 460208 [startup+960.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 115527 0 0 0 95751 262 0 0 25 0 1 0 420700758 475217920 115416 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 116020 115416 603 41 0 115979 0 vsize: 464080 [startup+970.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 116520 0 0 0 96749 265 0 0 25 0 1 0 420700758 479301632 116409 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 117017 116409 603 41 0 116976 0 vsize: 468068 [startup+980.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 117804 0 0 0 97747 267 0 0 25 0 1 0 420700758 484495360 117693 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 118285 117693 603 41 0 118244 0 vsize: 473140 [startup+990.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26169 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 118893 0 0 0 98745 269 0 0 25 0 1 0 420700758 488972288 118782 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 119378 118782 603 41 0 119337 0 vsize: 477512 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26170 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 119845 0 0 0 99740 274 0 0 25 0 1 0 420700758 492871680 119734 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 120330 119734 603 41 0 120289 0 vsize: 481320 [startup+1010.03 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 26222 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 120848 0 0 0 100738 276 0 0 25 0 1 0 420700758 496951296 120737 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 121326 120737 603 41 0 121285 0 vsize: 485304 [startup+1020.03 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 26222 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 121890 0 0 0 101736 278 0 0 25 0 1 0 420700758 501219328 121779 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 122368 121779 603 41 0 122327 0 vsize: 489472 [startup+1030.03 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 26222 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 123025 0 0 0 102734 280 0 0 25 0 1 0 420700758 505856000 122914 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 123500 122914 603 41 0 123459 0 vsize: 494000 [startup+1040.03 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 26222 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 124362 0 0 0 103731 283 0 0 25 0 1 0 420700758 511352832 124251 4294967295 134512640 134672761 3221224640 3221223712 134553549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 124842 124251 603 41 0 124801 0 vsize: 499368 [startup+1050.03 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 26222 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 125596 0 0 0 104729 286 0 0 25 0 1 0 420700758 516419584 125485 4294967295 134512640 134672761 3221224640 3221223808 134560852 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 126079 125485 603 41 0 126038 0 vsize: 504316 [startup+1060.03 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 26222 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 126742 0 0 0 105728 287 0 0 25 0 1 0 420700758 521154560 126631 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 127235 126631 603 41 0 127194 0 vsize: 508940 [startup+1070.03 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 26222 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 127974 0 0 0 106725 290 0 0 25 0 1 0 420700758 526102528 127863 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 128443 127863 603 41 0 128402 0 vsize: 513772 [startup+1080.03 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 128933 0 0 0 107723 292 0 0 25 0 1 0 420700758 530100224 128822 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 129419 128822 603 41 0 129378 0 vsize: 517676 [startup+1090.03 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 130202 0 0 0 108721 294 0 0 25 0 1 0 420700758 535228416 130091 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 130671 130091 603 41 0 130630 0 vsize: 522684 [startup+1100.03 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 131431 0 0 0 109718 297 0 0 25 0 1 0 420700758 540303360 131320 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 131910 131320 603 41 0 131869 0 vsize: 527640 [startup+1110.03 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 132492 0 0 0 110716 300 0 0 25 0 1 0 420700758 544702464 132381 4294967295 134512640 134672761 3221224640 3221223744 134560252 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 132984 132381 603 41 0 132943 0 vsize: 531936 [startup+1120.03 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 133437 0 0 0 111714 302 0 0 25 0 1 0 420700758 548524032 133326 4294967295 134512640 134672761 3221224640 3221223776 134560729 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 133917 133326 603 41 0 133876 0 vsize: 535668 [startup+1130.03 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 134343 0 0 0 112711 305 0 0 25 0 1 0 420700758 552189952 134232 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 134812 134232 603 41 0 134771 0 vsize: 539248 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 135206 0 0 0 113710 306 0 0 25 0 1 0 420700758 555814912 135095 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 135697 135095 603 41 0 135656 0 vsize: 542788 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 136147 0 0 0 114708 308 0 0 25 0 1 0 420700758 559640576 136036 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 136631 136036 603 41 0 136590 0 vsize: 546524 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 137255 0 0 0 115705 312 0 0 25 0 1 0 420700758 564178944 137144 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 137739 137144 603 41 0 137698 0 vsize: 550956 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 138281 0 0 0 116703 314 0 0 25 0 1 0 420700758 568287232 138170 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 138742 138170 603 41 0 138701 0 vsize: 554968 [startup+1180.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 139279 0 0 0 117701 316 0 0 25 0 1 0 420700758 572485632 139168 4294967295 134512640 134672761 3221224640 3221223744 134560514 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 139767 139168 603 41 0 139726 0 vsize: 559068 [startup+1190.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 140361 0 0 0 118698 319 0 0 25 0 1 0 420700758 576794624 140250 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 140819 140250 603 41 0 140778 0 vsize: 563276 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 26224 Raw data (stat): 26169 (minisat+) R 26168 24215 24214 0 -1 0 141325 0 0 0 119697 321 0 0 25 0 1 0 420700758 580808704 141214 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 141799 141214 603 41 0 141758 0 vsize: 567196 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.3 s] Raw data (loadavg): 1.00 0.99 0.92 1/54 26224 Raw data (stat): 26169 (minisat+) Z 26168 24215 24214 0 -1 12 141328 0 0 0 119697 347 0 0 25 0 1 0 420700758 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.3 CPU time (s): 1200.45 CPU user time (s): 1196.97 CPU system time (s): 3.47447 CPU usage (%): 100.012 Max. virtual memory (Kb): 567196 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####