Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -432546 | 1800.04 | 1800.77 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p6000.opb |
MD5SUM | 0c3c379676a8ddac6d8ad36181bfd2e9 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -950703 |
Best CPU time to get the best result obtained on this benchmark | 1800.94 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -950703 |
Optimality of the best value was proved | NO |
Number of variables | 6000 |
Total number of constraints | 2171 |
Number of constraints which are clauses | 222 |
Number of constraints which are cardinality constraints (but not clauses) | 1914 |
Number of constraints which are nor clauses,nor cardinality constraints | 35 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5998 |
Number of terms in the objective function | 5995 |
Biggest coefficient in the objective function | 91110 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 12969603 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 800000 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 28761906 |
Number of bits of the biggest sum of numbers | 25 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.26 c Initial problem consists of 6000 variables and 2294 constraints. 10.56 c No problem reductions applied in OPT. instance. 10.56 c preprocess terminated. Elapsed time: 10.536 10.56 c After prepocess the problem consists of 5924 variables and 2142 constraints. 10.56 c Initial Lower Bound: -12946019 10.59 c Sol. found (all assignments made)... 10.59 o -103202 10.59 c NEW SOLUTION FOUND: -103202 @ 10.561 10.59 c Sol. found (all assignments made)... 10.59 o -104677 10.59 c NEW SOLUTION FOUND: -104677 @ 10.568 10.60 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.62 c Sol. found (all assignments made)... 10.62 o -104832 10.62 c NEW SOLUTION FOUND: -104832 @ 10.59 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.65 c Sol. found (all assignments made)... 10.65 o -104868 10.65 c NEW SOLUTION FOUND: -104868 @ 10.624 10.66 c Sol. found (all assignments made)... 10.66 o -105928 10.66 c NEW SOLUTION FOUND: -105928 @ 10.634 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.68 c Sol. found (all assignments made)... 10.68 o -106343 10.68 c NEW SOLUTION FOUND: -106343 @ 10.651 10.70 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.73 o -106828 10.73 c NEW SOLUTION FOUND: -106828 @ 10.705 10.74 c Sol. found (all assignments made)... 10.74 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 o -106983 10.75 c NEW SOLUTION FOUND: -106983 @ 10.726 10.77 c Sol. found (all assignments made)... 10.78 c Sol. found (all assignments made)... 10.78 c Sol. found (all assignments made)... 10.78 o -107234 10.78 c NEW SOLUTION FOUND: -107234 @ 10.755 10.79 c Sol. found (all assignments made)... 10.79 c Sol. found (all assignments made)... 10.80 c Sol. found (all assignments made)... 10.80 o -107389 10.80 c NEW SOLUTION FOUND: -107389 @ 10.771 10.82 c Sol. found (all assignments made)... 10.83 c Sol. found (all assignments made)... 10.83 c Sol. found (all assignments made)... 10.83 o -108221 10.83 c NEW SOLUTION FOUND: -108221 @ 10.807 10.85 c Sol. found (all assignments made)... 10.85 c Sol. found (all assignments made)... 10.87 c Sol. found (all assignments made)... 10.88 c Sol. found (all assignments made)... 10.90 c Sol. found (all assignments made)... 10.93 c Sol. found (all assignments made)... 10.93 o -108706 10.93 c NEW SOLUTION FOUND: -108706 @ 10.899 10.93 c Sol. found (all assignments made)... 10.94 c Sol. found (all assignments made)... 10.94 c Sol. found (all assignments made)... 10.94 o -109121 10.94 c NEW SOLUTION FOUND: -109121 @ 10.915 10.96 c Sol. found (all assignments made)... 10.97 c Sol. found (all assignments made)... 11.01 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.04 c Sol. found (all assignments made)... 11.05 c Sol. found (all assignments made)... 11.05 o -109527 11.05 c NEW SOLUTION FOUND: -109527 @ 11.02 11.06 c Sol. found (all assignments made)... 11.07 c Sol. found (all assignments made)... 11.10 c Sol. found (all assignments made)... 11.11 c Sol. found (all assignments made)... 11.13 c Sol. found (all assignments made)... 11.15 c Sol. found (all assignments made)... 11.17 c Sol. found (all assignments made)... 11.20 c Sol. found (all assignments made)... 11.20 c Sol. found (all assignments made)... 11.21 c Sol. found (all assignments made)... 11.21 o -110110 11.21 c NEW SOLUTION FOUND: -110110 @ 11.181 11.22 c Sol. found (all assignments made)... 11.23 c Sol. found (all assignments made)... 11.25 c Sol. found (all assignments made)... 11.25 c Sol. found (all assignments made)... 11.27 c Sol. found (all assignments made)... 11.30 c Sol. found (all assignments made)... 11.32 c Sol. found (all assignments made)... 11.35 c Sol. found (all assignments made)... 11.36 c Sol. found (all assignments made)... 11.38 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.45 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.47 c Sol. found (all assignments made)... 11.51 c Sol. found (all assignments made)... 11.53 c Sol. found (all assignments made)... 11.56 c Sol. found (all assignments made)... 11.56 c Sol. found (all assignments made)... 11.59 c Sol. found (all assignments made)... 11.64 c Sol. found (all assignments made)... 11.64 c Sol. found (all assignments made)... 11.67 c Sol. found (all assignments made)... 11.70 c Sol. found (all assignments made)... 11.72 c Sol. found (all assignments made)... 11.73 c Sol. found (all assignments made)... 11.73 o -110161 11.73 c NEW SOLUTION FOUND: -110161 @ 11.705 11.75 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.76 o -110316 11.76 c NEW SOLUTION FOUND: -110316 @ 11.733 11.79 c Sol. found (all assignments made)... 11.81 c Sol. found (all assignments made)... 11.82 c Sol. found (all assignments made)... 11.83 c Sol. found (all assignments made)... 11.84 c Sol. found (all assignments made)... 11.85 c Sol. found (all assignments made)... 11.85 o -110646 11.85 c NEW SOLUTION FOUND: -110646 @ 11.825 11.88 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.91 c Sol. found (all assignments made)... 11.91 o -110801 11.91 c NEW SOLUTION FOUND: -110801 @ 11.88 11.94 c Sol. found (all assignments made)... 11.95 c Sol. found (all assignments made)... 11.96 c Sol. found (all assignments made)... 11.97 c Sol. found (all assignments made)... 11.99 c Sol. found (all assignments made)... 11.99 o -111052 11.99 c NEW SOLUTION FOUND: -111052 @ 11.959 12.00 c Sol. found (all assignments made)... 12.01 c Sol. found (all assignments made)... 12.01 o -111207 12.01 c NEW SOLUTION FOUND: -111207 @ 11.988 12.10 c Sol. found (all assignments made)... 12.13 c Sol. found (all assignments made)... 12.15 c Sol. found (all assignments made)... 12.17 c Sol. found (all assignments made)... 12.23 c Sol. found (all assignments made)... 12.24 c Sol. found (all assignments made)... 12.24 c Sol. found (all assignments made)... 12.25 c Sol. found (all assignments made)... 12.25 o -111212 12.25 c NEW SOLUTION FOUND: -111212 @ 12.221 12.31 c Sol. found (all assignments made)... 12.33 c Sol. found (all assignments made)... 12.37 c Sol. found (all assignments made)... 12.39 c Sol. found (all assignments made)... 12.40 c Sol. found (all assignments made)... 12.45 c Sol. found (all assignments made)... 12.51 c Sol. found (all assignments made)... 12.58 c Sol. found (all assignments made)... 12.60 c Sol. found (all assignments made)... 12.63 c Sol. found (all assignments made)... 12.64 c Sol. found (all assignments made)... 12.66 c Sol. found (all assignments made)... 12.68 c Sol. found (all assignments made)... 12.73 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.84 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.88 c Sol. found (all assignments made)... 12.90 c Sol. found (all assignments made)... 12.91 c Sol. found (all assignments made)... 12.91 o -111489 12.91 c NEW SOLUTION FOUND: -111489 @ 12.885 12.93 c Sol. found (all assignments made)... 12.94 c Sol. found (all assignments made)... 12.95 c Sol. found (all assignments made)... 12.95 c Sol. found (all assignments made)... 12.95 o -111644 12.95 c NEW SOLUTION FOUND: -111644 @ 12.924 12.99 c Sol. found (all assignments made)... 13.00 c Sol. found (all assignments made)... 13.00 o -111895 13.00 c NEW SOLUTION FOUND: -111895 @ 12.978 13.02 c Sol. found (all assignments made)... 13.02 c Sol. found (all assignments made)... 13.03 c Sol. found (all assignments made)... 13.03 o -112050 13.03 c NEW SOLUTION FOUND: -112050 @ 13 13.07 c Sol. found (all assignments made)... 13.13 c Sol. found (all assignments made)... 13.23 c Sol. found (all assignments made)... 13.28 c Sol. found (all assignments made)... 13.45 c Sol. found (all assignments made)... 13.48 c Sol. found (all assignments made)... 13.49 c Sol. found (all assignments made)... 13.51 c Sol. found (all assignments made)... 13.55 c Sol. found (all assignments made)... 13.56 c Sol. found (all assignments made)... 13.57 c Sol. found (all assignments made)... 13.57 c Sol. found (all assignments made)... 13.57 o -112139 13.57 c NEW SOLUTION FOUND: -112139 @ 13.547 13.62 c Sol. found (all assignments made)... 13.66 c Sol. found (all assignments made)... 13.71 c Sol. found (all assignments made)... 13.76 c Sol. found (all assignments made)... 13.92 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 14.00 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.02 c Sol. found (all assignments made)... 14.02 c Sol. found (all assignments made)... 14.02 o -112421 14.02 c NEW SOLUTION FOUND: -112421 @ 13.996 14.05 c Sol. found (all assignments made)... 14.08 c Sol. found (all assignments made)... 14.08 c Sol. found (all assignments made)... 14.09 c Sol. found (all assignments made)... 14.09 o -112827 14.09 c NEW SOLUTION FOUND: -112827 @ 14.06 14.10 c Sol. found (all assignments made)... 14.17 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.72 c Sol. found (all assignments made)... 14.76 c Sol. found (all assignments made)... 14.76 c Sol. found (all assignments made)... 14.77 c Sol. found (all assignments made)... 14.77 o -112948 14.77 c NEW SOLUTION FOUND: -112948 @ 14.741 14.78 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.83 c Sol. found (all assignments made)... 15.06 c Sol. found (all assignments made)... 15.14 c Sol. found (all assignments made)... 15.24 c Sol. found (all assignments made)... 15.30 c Sol. found (all assignments made)... 15.31 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.46 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.50 c Sol. found (all assignments made)... 15.51 c Sol. found (all assignments made)... 15.55 c Restart #1 #Var: 5924 LB: -12946019 @ 15.522 15.84 c Sol. found (all assignments made)... 15.89 c Sol. found (all assignments made)... 16.00 c Sol. found (all assignments made)... 16.04 c Sol. found (all assignments made)... 16.28 c Sol. found (all assignments made)... 16.33 c Sol. found (all assignments made)... 16.42 c Sol. found (all assignments made)... 16.45 c Sol. found (all assignments made)... 16.47 c Sol. found (all assignments made)... 16.53 c Sol. found (all assignments made)... 16.58 c Sol. found (all assignments made)... 16.62 c Sol. found (all assignments made)... 16.69 c Sol. found (all assignments made)... 16.75 c Sol. found (all assignments made)... 16.82 c Sol. found (all assignments made)... 16.83 c Sol. found (all assignments made)... 16.86 c Sol. found (all assignments made)... 16.91 c Sol. found (all assignments made)... 17.00 c Sol. found (all assignments made)... 17.06 c Sol. found (all assignments made)... 17.08 c Sol. found (all assignments made)... 17.15 c Sol. found (all assignments made)... 17.20 c Restart #2 #Var: 5924 LB: -12946019 @ 17.175 17.31 c Sol. found (all assignments made)... 17.36 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.49 c Sol. found (all assignments made)... 17.53 c Sol. found (all assignments made)... 17.61 c Sol. found (all assignments made)... 17.66 c Sol. found (all assignments made)... 17.78 c Sol. found (all assignments made)... 18.12 c Sol. found (all assignments made)... 18.14 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.20 c Sol. found (all assignments made)... 18.38 c Sol. found (all assignments made)... 18.44 c Sol. found (all assignments made)... 18.45 c Sol. found (all assignments made)... 18.52 c Sol. found (all assignments made)... 18.54 c Sol. found (all assignments made)... 18.58 c Sol. found (all assignments made)... 18.60 c Sol. found (all assignments made)... 18.70 c Sol. found (all assignments made)... 18.74 c Sol. found (all assignments made)... 18.76 c Sol. found (all assignments made)... 18.80 c Sol. found (all assignments made)... 18.88 c Sol. found (all assignments made)... 19.05 c Sol. found (all assignments made)... 19.33 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.73 c Sol. found (all assignments made)... 19.82 c Restart #3 #Var: 5924 LB: -12946019 @ 19.787 20.09 c Restart #4 #Var: 5924 LB: -12946019 @ 20.059 20.85 c CHANGE to MIS mode... UB: -112948 MIS: -6577358 LPR: -8762507 (0.15433) Diff: 0.75063 20.85 c Restart #0 #Var: 5924 LB: -12946019 @ 20.821 24.83 c Restart #1 #Var: 5913 LB: -6564223 @ 24.8 28.76 c Sol. found (all assignments made)... 28.76 o -149314 28.76 c NEW SOLUTION FOUND: -149314 @ 28.723 29.02 c Restart #2 #Var: 5913 LB: -6564223 @ 28.988 33.28 c Restart #3 #Var: 5913 LB: -6564223 @ 33.25 37.22 c Sol. found (all assignments made)... 37.22 o -184391 37.22 c NEW SOLUTION FOUND: -184391 @ 37.187 37.68 c Sol. found (all assignments made)... 37.73 c Sol. found (all assignments made)... 37.87 c Restart #4 #Var: 5913 LB: -6562516 @ 37.829 41.57 c Sol. found (all assignments made)... 41.57 o -267775 41.57 c NEW SOLUTION FOUND: -267775 @ 41.534 41.63 c Sol. found (all assignments made)... 41.68 c Sol. found (all assignments made)... 41.73 c Sol. found (all assignments made)... 41.78 c Sol. found (all assignments made)... 41.83 c Sol. found (all assignments made)... 41.89 c Sol. found (all assignments made)... 41.94 c Sol. found (all assignments made)... 41.99 c Sol. found (all assignments made)... 41.99 o -269316 41.99 c NEW SOLUTION FOUND: -269316 @ 41.95 42.04 c Sol. found (all assignments made)... 42.09 c Sol. found (all assignments made)... 42.09 o -272907 42.09 c NEW SOLUTION FOUND: -272907 @ 42.053 42.14 c Sol. found (all assignments made)... 42.20 c Sol. found (all assignments made)... 42.25 c Sol. found (all assignments made)... 42.30 c Sol. found (all assignments made)... 42.35 c Sol. found (all assignments made)... 42.40 c Sol. found (all assignments made)... 42.45 c Sol. found (all assignments made)... 42.50 c Sol. found (all assignments made)... 42.55 c Sol. found (all assignments made)... 42.60 c Sol. found (all assignments made)... 42.65 c Sol. found (all assignments made)... 42.70 c Sol. found (all assignments made)... 42.75 c Sol. found (all assignments made)... 42.80 c Sol. found (all assignments made)... 42.85 c Sol. found (all assignments made)... 42.90 c Sol. found (all assignments made)... 42.95 c Sol. found (all assignments made)... 43.00 c Sol. found (all assignments made)... 43.05 c Sol. found (all assignments made)... 43.10 c Sol. found (all assignments made)... 43.14 c Sol. found (all assignments made)... 43.19 c Sol. found (all assignments made)... 43.24 c Sol. found (all assignments made)... 43.29 c Sol. found (all assignments made)... 43.34 c Sol. found (all assignments made)... 43.38 c Sol. found (all assignments made)... 43.43 c Sol. found (all assignments made)... 43.48 c Sol. found (all assignments made)... 43.53 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.62 c Sol. found (all assignments made)... 43.67 c Sol. found (all assignments made)... 43.71 c Sol. found (all assignments made)... 43.76 c Sol. found (all assignments made)... 43.80 c Sol. found (all assignments made)... 43.85 c Sol. found (all assignments made)... 43.90 c Sol. found (all assignments made)... 43.94 c Sol. found (all assignments made)... 43.99 c Sol. found (all assignments made)... 44.03 c Sol. found (all assignments made)... 44.08 c Sol. found (all assignments made)... 44.12 c Sol. found (all assignments made)... 44.17 c Sol. found (all assignments made)... 44.21 c Sol. found (all assignments made)... 44.26 c Sol. found (all assignments made)... 44.30 c Sol. found (all assignments made)... 44.34 c Sol. found (all assignments made)... 44.39 c Sol. found (all assignments made)... 44.43 c Sol. found (all assignments made)... 44.47 c Sol. found (all assignments made)... 44.52 c Sol. found (all assignments made)... 44.56 c Sol. found (all assignments made)... 44.60 c Sol. found (all assignments made)... 44.64 c Sol. found (all assignments made)... 44.69 c Sol. found (all assignments made)... 44.73 c Sol. found (all assignments made)... 44.77 c Sol. found (all assignments made)... 44.77 o -273788 44.77 c NEW SOLUTION FOUND: -273788 @ 44.732 44.81 c Sol. found (all assignments made)... 44.85 c Sol. found (all assignments made)... 44.90 c Sol. found (all assignments made)... 44.94 c Sol. found (all assignments made)... 44.98 c Sol. found (all assignments made)... 45.02 c Sol. found (all assignments made)... 45.06 c Sol. found (all assignments made)... 45.10 c Sol. found (all assignments made)... 45.14 c Sol. found (all assignments made)... 45.18 c Sol. found (all assignments made)... 45.22 c Sol. found (all assignments made)... 45.26 c Sol. found (all assignments made)... 45.30 c Sol. found (all assignments made)... 45.34 c Sol. found (all assignments made)... 45.38 c Sol. found (all assignments made)... 45.42 c Sol. found (all assignments made)... 45.46 c Sol. found (all assignments made)... 45.50 c Sol. found (all assignments made)... 45.54 c Sol. found (all assignments made)... 45.58 c Sol. found (all assignments made)... 45.61 c Sol. found (all assignments made)... 45.65 c Sol. found (all assignments made)... 45.69 c Sol. found (all assignments made)... 45.73 c Sol. found (all assignments made)... 45.76 c Sol. found (all assignments made)... 45.80 c Sol. found (all assignments made)... 45.84 c Sol. found (all assignments made)... 45.87 c Sol. found (all assignments made)... 45.91 c Sol. found (all assignments made)... 45.95 c Sol. found (all assignments made)... 45.98 c Sol. found (all assignments made)... 46.02 c Sol. found (all assignments made)... 46.06 c Sol. found (all assignments made)... 46.09 c Sol. found (all assignments made)... 46.13 c Sol. found (all assignments made)... 46.16 c Sol. found (all assignments made)... 46.20 c Sol. found (all assignments made)... 46.23 c Sol. found (all assignments made)... 46.27 c Sol. found (all assignments made)... 46.30 c Sol. found (all assignments made)... 46.34 c Sol. found (all assignments made)... 46.37 c Sol. found (all assignments made)... 46.41 c Sol. found (all assignments made)... 46.44 c Sol. found (all assignments made)... 46.47 c Sol. found (all assignments made)... 46.51 c Sol. found (all assignments made)... 46.54 c Sol. found (all assignments made)... 46.57 c Sol. found (all assignments made)... 46.61 c Sol. found (all assignments made)... 46.64 c Sol. found (all assignments made)... 46.67 c Sol. found (all assignments made)... 46.70 c Sol. found (all assignments made)... 46.74 c Sol. found (all assignments made)... 46.77 c Sol. found (all assignments made)... 46.80 c Sol. found (all assignments made)... 46.83 c Sol. found (all assignments made)... 46.86 c Sol. found (all assignments made)... 46.90 c Sol. found (all assignments made)... 46.93 c Sol. found (all assignments made)... 46.96 c Sol. found (all assignments made)... 46.99 c Sol. found (all assignments made)... 47.02 c Sol. found (all assignments made)... 47.05 c Sol. found (all assignments made)... 47.08 c Sol. found (all assignments made)... 47.11 c Sol. found (all assignments made)... 47.14 c Sol. found (all assignments made)... 47.17 c Sol. found (all assignments made)... 47.20 c Sol. found (all assignments made)... 47.23 c Sol. found (all assignments made)... 47.26 c Sol. found (all assignments made)... 47.29 c Sol. found (all assignments made)... 47.32 c Sol. found (all assignments made)... 47.35 c Sol. found (all assignments made)... 47.38 c Sol. found (all assignments made)... 47.41 c Sol. found (all assignments made)... 47.43 c Sol. found (all assignments made)... 47.46 c Sol. found (all assignments made)... 47.49 c Sol. found (all assignments made)... 47.52 c Sol. found (all assignments made)... 47.54 c Sol. found (all assignments made)... 47.57 c Sol. found (all assignments made)... 47.60 c Sol. found (all assignments made)... 47.63 c Sol. found (all assignments made)... 47.65 c Sol. found (all assignments made)... 47.68 c Sol. found (all assignments made)... 47.71 c Sol. found (all assignments made)... 47.73 c Sol. found (all assignments made)... 47.76 c Sol. found (all assignments made)... 47.78 c Sol. found (all assignments made)... 47.81 c Sol. found (all assignments made)... 47.83 c Sol. found (all assignments made)... 47.86 c Sol. found (all assignments made)... 47.88 c Sol. found (all assignments made)... 47.91 c Sol. found (all assignments made)... 47.93 c Sol. found (all assignments made)... 47.96 c Sol. found (all assignments made)... 47.98 c Sol. found (all assignments made)... 48.01 c Sol. found (all assignments made)... 48.03 c Sol. found (all assignments made)... 48.05 c Sol. found (all assignments made)... 48.07 c Sol. found (all assignments made)... 48.10 c Sol. found (all assignments made)... 48.12 c Sol. found (all assignments made)... 48.14 c Sol. found (all assignments made)... 48.17 c Sol. found (all assignments made)... 48.19 c Sol. found (all assignments made)... 48.21 c Sol. found (all assignments made)... 48.23 c Sol. found (all assignments made)... 48.25 c Sol. found (all assignments made)... 48.27 c Sol. found (all assignments made)... 48.29 c Sol. found (all assignments made)... 48.31 c Sol. found (all assignments made)... 48.34 c Sol. found (all assignments made)... 48.36 c Sol. found (all assignments made)... 48.38 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.41 c Sol. found (all assignments made)... 48.44 c Sol. found (all assignments made)... 48.46 c Sol. found (all assignments made)... 48.48 c Sol. found (all assignments made)... 48.50 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.53 c Sol. found (all assignments made)... 48.55 c Sol. found (all assignments made)... 48.57 c Sol. found (all assignments made)... 48.59 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.64 c Sol. found (all assignments made)... 48.66 c Sol. found (all assignments made)... 48.68 c Sol. found (all assignments made)... 48.69 c Sol. found (all assignments made)... 48.71 c Sol. found (all assignments made)... 48.73 c Sol. found (all assignments made)... 48.74 c Sol. found (all assignments made)... 48.76 c Sol. found (all assignments made)... 48.78 c Sol. found (all assignments made)... 48.79 c Sol. found (all assignments made)... 48.81 c Sol. found (all assignments made)... 48.82 c Sol. found (all assignments made)... 48.84 c Sol. found (all assignments made)... 48.86 c Sol. found (all assignments made)... 48.87 c Sol. found (all assignments made)... 48.89 c Sol. found (all assignments made)... 48.90 c Sol. found (all assignments made)... 48.92 c Sol. found (all assignments made)... 48.93 c Sol. found (all assignments made)... 48.94 c Sol. found (all assignments made)... 48.96 c Sol. found (all assignments made)... 48.97 c Sol. found (all assignments made)... 48.99 c Sol. found (all assignments made)... 49.00 c Sol. found (all assignments made)... 49.47 c Sol. found (all assignments made)... 49.56 c Sol. found (all assignments made)... 49.61 c Sol. found (all assignments made)... 49.66 c Sol. found (all assignments made)... 49.72 c Sol. found (all assignments made)... 49.77 c Sol. found (all assignments made)... 49.82 c Sol. found (all assignments made)... 49.87 c Sol. found (all assignments made)... 49.92 c Sol. found (all assignments made)... 49.98 c Sol. found (all assignments made)... 50.03 c Sol. found (all assignments made)... 50.08 c Sol. found (all assignments made)... 50.13 c Sol. found (all assignments made)... 50.18 c Sol. found (all assignments made)... 50.23 c Sol. found (all assignments made)... 50.28 c Sol. found (all assignments made)... 50.32 c Sol. found (all assignments made)... 50.37 c Sol. found (all assignments made)... 50.42 c Sol. found (all assignments made)... 50.47 c Sol. found (all assignments made)... 50.52 c Sol. found (all assignments made)... 50.57 c Sol. found (all assignments made)... 50.61 c Sol. found (all assignments made)... 50.66 c Sol. found (all assignments made)... 50.71 c Sol. found (all assignments made)... 50.76 c Sol. found (all assignments made)... 50.80 c Sol. found (all assignments made)... 50.85 c Sol. found (all assignments made)... 50.90 c Sol. found (all assignments made)... 50.94 c Sol. found (all assignments made)... 50.99 c Sol. found (all assignments made)... 51.03 c Sol. found (all assignments made)... 51.08 c Sol. found (all assignments made)... 51.12 c Sol. found (all assignments made)... 51.17 c Sol. found (all assignments made)... 51.22 c Sol. found (all assignments made)... 51.26 c Sol. found (all assignments made)... 51.31 c Sol. found (all assignments made)... 51.35 c Sol. found (all assignments made)... 51.40 c Sol. found (all assignments made)... 51.44 c Sol. found (all assignments made)... 51.49 c Sol. found (all assignments made)... 51.53 c Sol. found (all assignments made)... 51.58 c Sol. found (all assignments made)... 51.62 c Sol. found (all assignments made)... 51.67 c Sol. found (all assignments made)... 51.71 c Sol. found (all assignments made)... 51.75 c Sol. found (all assignments made)... 51.80 c Sol. found (all assignments made)... 51.84 c Sol. found (all assignments made)... 51.88 c Sol. found (all assignments made)... 51.92 c Sol. found (all assignments made)... 51.96 c Sol. found (all assignments made)... 52.01 c Sol. found (all assignments made)... 52.05 c Sol. found (all assignments made)... 52.09 c Sol. found (all assignments made)... 52.13 c Sol. found (all assignments made)... 52.17 c Sol. found (all assignments made)... 52.21 c Sol. found (all assignments made)... 52.25 c Sol. found (all assignments made)... 52.30 c Sol. found (all assignments made)... 52.34 c Sol. found (all assignments made)... 52.38 c Sol. found (all assignments made)... 52.42 c Sol. found (all assignments made)... 52.46 c Sol. found (all assignments made)... 52.49 c Sol. found (all assignments made)... 52.53 c Sol. found (all assignments made)... 52.57 c Sol. found (all assignments made)... 52.61 c Sol. found (all assignments made)... 52.65 c Sol. found (all assignments made)... 52.69 c Sol. found (all assignments made)... 52.73 c Sol. found (all assignments made)... 52.77 c Sol. found (all assignments made)... 52.81 c Sol. found (all assignments made)... 52.84 c Sol. found (all assignments made)... 52.88 c Sol. found (all assignments made)... 52.92 c Sol. found (all assignments made)... 52.96 c Sol. found (all assignments made)... 52.99 c Sol. found (all assignments made)... 53.03 c Sol. found (all assignments made)... 53.07 c Sol. found (all assignments made)... 53.10 c Sol. found (all assignments made)... 53.14 c Sol. found (all assignments made)... 53.18 c Sol. found (all assignments made)... 53.21 c Sol. found (all assignments made)... 53.24 c Sol. found (all assignments made)... 53.28 c Sol. found (all assignments made)... 53.32 c Sol. found (all assignments made)... 53.35 c Sol. found (all assignments made)... 53.39 c Sol. found (all assignments made)... 53.42 c Sol. found (all assignments made)... 53.46 c Sol. found (all assignments made)... 53.49 c Sol. found (all assignments made)... 53.52 c Sol. found (all assignments made)... 53.56 c Sol. found (all assignments made)... 53.59 c Sol. found (all assignments made)... 53.62 c Sol. found (all assignments made)... 53.65 c Sol. found (all assignments made)... 53.68 c Sol. found (all assignments made)... 53.72 c Sol. found (all assignments made)... 53.75 c Sol. found (all assignments made)... 53.78 c Sol. found (all assignments made)... 53.81 c Sol. found (all assignments made)... 53.84 c Sol. found (all assignments made)... 53.87 c Sol. found (all assignments made)... 53.90 c Sol. found (all assignments made)... 53.93 c Sol. found (all assignments made)... 53.96 c Sol. found (all assignments made)... 53.99 c Sol. found (all assignments made)... 54.02 c Sol. found (all assignments made)... 54.05 c Sol. found (all assignments made)... 54.08 c Sol. found (all assignments made)... 54.11 c Sol. found (all assignments made)... 54.14 c Sol. found (all assignments made)... 54.17 c Sol. found (all assignments made)... 54.20 c Sol. found (all assignments made)... 54.22 c Sol. found (all assignments made)... 54.25 c Sol. found (all assignments made)... 54.28 c Sol. found (all assignments made)... 54.31 c Sol. found (all assignments made)... 54.34 c Sol. found (all assignments made)... 54.36 c Sol. found (all assignments made)... 54.39 c Sol. found (all assignments made)... 54.42 c Sol. found (all assignments made)... 54.44 c Sol. found (all assignments made)... 54.47 c Sol. found (all assignments made)... 54.50 c Sol. found (all assignments made)... 54.52 c Sol. found (all assignments made)... 54.55 c Sol. found (all assignments made)... 54.58 c Sol. found (all assignments made)... 54.60 c Sol. found (all assignments made)... 54.63 c Sol. found (all assignments made)... 54.65 c Sol. found (all assignments made)... 54.68 c Sol. found (all assignments made)... 54.70 c Sol. found (all assignments made)... 54.73 c Sol. found (all assignments made)... 54.75 c Sol. found (all assignments made)... 54.77 c Sol. found (all assignments made)... 54.80 c Sol. found (all assignments made)... 54.82 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.87 c Sol. found (all assignments made)... 54.89 c Sol. found (all assignments made)... 54.91 c Sol. found (all assignments made)... 54.94 c Sol. found (all assignments made)... 54.96 c Sol. found (all assignments made)... 54.98 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.03 c Sol. found (all assignments made)... 55.05 c Sol. found (all assignments made)... 55.07 c Sol. found (all assignments made)... 55.09 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.15 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.19 c Sol. found (all assignments made)... 55.21 c Sol. found (all assignments made)... 55.24 c Sol. found (all assignments made)... 55.25 c Sol. found (all assignments made)... 55.27 c Sol. found (all assignments made)... 55.29 c Sol. found (all assignments made)... 55.31 c Sol. found (all assignments made)... 55.33 c Sol. found (all assignments made)... 55.35 c Sol. found (all assignments made)... 55.37 c Sol. found (all assignments made)... 55.38 c Sol. found (all assignments made)... 55.40 c Sol. found (all assignments made)... 55.42 c Sol. found (all assignments made)... 55.44 c Sol. found (all assignments made)... 55.45 c Sol. found (all assignments made)... 55.47 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.52 c Sol. found (all assignments made)... 55.54 c Sol. found (all assignments made)... 55.55 c Sol. found (all assignments made)... 55.57 c Sol. found (all assignments made)... 55.59 c Sol. found (all assignments made)... 55.60 c Sol. found (all assignments made)... 55.61 c Sol. found (all assignments made)... 55.63 c Sol. found (all assignments made)... 56.09 c Sol. found (all assignments made)... 56.11 c Sol. found (all assignments made)... 56.12 c Sol. found (all assignments made)... 56.14 c Sol. found (all assignments made)... 56.15 c Sol. found (all assignments made)... 56.17 c Sol. found (all assignments made)... 56.19 c Sol. found (all assignments made)... 56.20 c Sol. found (all assignments made)... 56.21 c Sol. found (all assignments made)... 56.23 c Sol. found (all assignments made)... 56.55 c Sol. found (all assignments made)... 56.61 c Sol. found (all assignments made)... 56.66 c Sol. found (all assignments made)... 56.72 c Sol. found (all assignments made)... 56.77 c Sol. found (all assignments made)... 56.82 c Sol. found (all assignments made)... 56.88 c Sol. found (all assignments made)... 56.93 c Sol. found (all assignments made)... 56.99 c Sol. found (all assignments made)... 57.04 c Sol. found (all assignments made)... 57.09 c Sol. found (all assignments made)... 57.15 c Sol. found (all assignments made)... 57.21 c Sol. found (all assignments made)... 57.26 c Sol. found (all assignments made)... 57.31 c Sol. found (all assignments made)... 57.36 c Sol. found (all assignments made)... 57.42 c Sol. found (all assignments made)... 57.47 c Sol. found (all assignments made)... 57.53 c Sol. found (all assignments made)... 57.58 c Sol. found (all assignments made)... 57.63 c Sol. found (all assignments made)... 57.68 c Sol. found (all assignments made)... 57.73 c Sol. found (all assignments made)... 57.78 c Sol. found (all assignments made)... 57.83 c Sol. found (all assignments made)... 57.88 c Sol. found (all assignments made)... 57.93 c Sol. found (all assignments made)... 57.98 c Sol. found (all assignments made)... 58.03 c Sol. found (all assignments made)... 58.08 c Sol. found (all assignments made)... 58.13 c Sol. found (all assignments made)... 58.18 c Sol. found (all assignments made)... 58.22 c Sol. found (all assignments made)... 58.27 c Sol. found (all assignments made)... 58.32 c Sol. found (all assignments made)... 58.37 c Sol. found (all assignments made)... 58.41 c Sol. found (all assignments made)... 58.46 c Sol. found (all assignments made)... 58.51 c Sol. found (all assignments made)... 58.55 c Sol. found (all assignments made)... 58.60 c Sol. found (all assignments made)... 58.65 c Sol. found (all assignments made)... 58.70 c Sol. found (all assignments made)... 58.74 c Sol. found (all assignments made)... 58.79 c Sol. found (all assignments made)... 58.83 c Sol. found (all assignments made)... 58.88 c Sol. found (all assignments made)... 58.93 c Sol. found (all assignments made)... 58.97 c Sol. found (all assignments made)... 59.02 c Sol. found (all assignments made)... 59.06 c Sol. found (all assignments made)... 59.10 c Sol. found (all assignments made)... 59.15 c Sol. found (all assignments made)... 59.19 c Sol. found (all assignments made)... 59.24 c Sol. found (all assignments made)... 59.28 c Sol. found (all assignments made)... 59.33 c Sol. found (all assignments made)... 59.37 c Sol. found (all assignments made)... 59.42 c Sol. found (all assignments made)... 59.46 c Sol. found (all assignments made)... 59.50 c Sol. found (all assignments made)... 59.54 c Sol. found (all assignments made)... 59.59 c Sol. found (all assignments made)... 59.63 c Sol. found (all assignments made)... 59.67 c Sol. found (all assignments made)... 59.71 c Sol. found (all assignments made)... 59.75 c Sol. found (all assignments made)... 59.80 c Sol. found (all assignments made)... 59.84 c Sol. found (all assignments made)... 59.88 c Sol. found (all assignments made)... 59.92 c Sol. found (all assignments made)... 59.96 c Sol. found (all assignments made)... 60.00 c Sol. found (all assignments made)... 60.04 c Sol. found (all assignments made)... 60.08 c Sol. found (all assignments made)... 60.12 c Sol. found (all assignments made)... 60.16 c Sol. found (all assignments made)... 60.20 c Sol. found (all assignments made)... 60.24 c Sol. found (all assignments made)... 60.28 c Sol. found (all assignments made)... 60.32 c Sol. found (all assignments made)... 60.36 c Sol. found (all assignments made)... 60.40 c Sol. found (all assignments made)... 60.44 c Sol. found (all assignments made)... 60.47 c Sol. found (all assignments made)... 60.51 c Sol. found (all assignments made)... 60.55 c Sol. found (all assignments made)... 60.59 c Sol. found (all assignments made)... 60.63 c Sol. found (all assignments made)... 60.66 c Sol. found (all assignments made)... 60.70 c Sol. found (all assignments made)... 60.74 c Sol. found (all assignments made)... 60.77 c Sol. found (all assignments made)... 60.81 c Sol. found (all assignments made)... 60.86 c Restart #5 #Var: 5913 LB: -6562516 @ 60.812 64.24 c Restart #6 #Var: 5913 LB: -6562516 @ 64.183 66.43 c Restart #7 #Var: 5913 LB: -6564223 @ 66.377 71.24 c Restart #8 #Var: 5913 LB: -6562516 @ 71.185 74.85 c Restart #9 #Var: 5913 LB: -6563910 @ 74.793 80.66 c Restart #10 #Var: 5913 LB: -6562516 @ 80.597 92.28 c Restart #11 #Var: 5913 LB: -6561988 @ 92.217 96.76 c Sol. found (all assignments made)... 97.39 c Sol. found (all assignments made)... 98.28 c Sol. found (all assignments made)... 98.58 c Sol. found (all assignments made)... 99.25 c Sol. found (all assignments made)... 99.56 c Sol. found (all assignments made)... 99.86 c Sol. found (all assignments made)... 100.16 c Sol. found (all assignments made)... 100.46 c Sol. found (all assignments made)... 100.75 c Sol. found (all assignments made)... 101.13 c Sol. found (all assignments made)... 101.43 c Sol. found (all assignments made)... 101.75 c Sol. found (all assignments made)... 102.03 c Sol. found (all assignments made)... 102.45 c Sol. found (all assignments made)... 103.07 c Sol. found (all assignments made)... 103.77 c Sol. found (all assignments made)... 104.08 c Sol. found (all assignments made)... 104.47 c Sol. found (all assignments made)... 104.90 c Sol. found (all assignments made)... 105.41 c Sol. found (all assignments made)... 105.71 c Sol. found (all assignments made)... 106.63 c Sol. found (all assignments made)... 107.47 c Sol. found (all assignments made)... 108.32 c Sol. found (all assignments made)... 110.46 c Sol. found (all assignments made)... 111.42 c Sol. found (all assignments made)... 113.58 c Sol. found (all assignments made)... 113.87 c Sol. found (all assignments made)... 114.17 c Sol. found (all assignments made)... 114.47 c Sol. found (all assignments made)... 114.76 c Sol. found (all assignments made)... 115.70 c Sol. found (all assignments made)... 116.88 c Sol. found (all assignments made)... 119.59 c Sol. found (all assignments made)... 122.80 c Sol. found (all assignments made)... 123.07 c Sol. found (all assignments made)... 123.35 c Sol. found (all assignments made)... 124.29 c Sol. found (all assignments made)... 131.79 c Sol. found (all assignments made)... 132.92 c Sol. found (all assignments made)... 133.19 c Sol. found (all assignments made)... 133.47 c Sol. found (all assignments made)... 133.75 c Sol. found (all assignments made)... 134.02 c Sol. found (all assignments made)... 134.30 c Sol. found (all assignments made)... 134.57 c Sol. found (all assignments made)... 134.85 c Sol. found (all assignments made)... 135.12 c Sol. found (all assignments made)... 135.40 c Sol. found (all assignments made)... 135.68 c Sol. found (all assignments made)... 136.23 c Sol. found (all assignments made)... 136.79 c Sol. found (all assignments made)... 137.07 c Sol. found (all assignments made)... 137.62 c Sol. found (all assignments made)... 138.17 c Sol. found (all assignments made)... 139.02 c Sol. found (all assignments made)... 139.85 c Sol. found (all assignments made)... 140.13 c Sol. found (all assignments made)... 143.51 c Sol. found (all assignments made)... 144.08 c Sol. found (all assignments made)... 146.32 c Sol. found (all assignments made)... 146.88 c Sol. found (all assignments made)... 147.17 c Restart #12 #Var: 5913 LB: -6562436 @ 147.08 153.31 c Restart #13 #Var: 5913 LB: -6564223 @ 153.23 167.66 c Restart #14 #Var: 5905 LB: -6555024 @ 167.57 203.26 c Restart #15 #Var: 5900 LB: -6552272 @ 203.16 224.27 c Restart #16 #Var: 5900 LB: -6552352 @ 224.16 228.30 c Sol. found (all assignments made)... 228.35 c Sol. found (all assignments made)... 228.81 c Sol. found (all assignments made)... 228.86 c Sol. found (all assignments made)... 228.94 c Sol. found (all assignments made)... 229.11 c Sol. found (all assignments made)... 229.33 c Sol. found (all assignments made)... 229.76 c Sol. found (all assignments made)... 230.39 c Sol. found (all assignments made)... 230.70 c Sol. found (all assignments made)... 230.75 c Sol. found (all assignments made)... 230.84 c Sol. found (all assignments made)... 231.43 c Sol. found (all assignments made)... 231.54 c Sol. found (all assignments made)... 231.56 c Sol. found (all assignments made)... 231.61 c Sol. found (all assignments made)... 231.63 c Sol. found (all assignments made)... 231.72 c Sol. found (all assignments made)... 231.87 c Sol. found (all assignments made)... 232.25 c Sol. found (all assignments made)... 232.28 c Sol. found (all assignments made)... 232.30 c Sol. found (all assignments made)... 232.49 c Sol. found (all assignments made)... 232.51 c Sol. found (all assignments made)... 232.65 c Sol. found (all assignments made)... 232.67 c Sol. found (all assignments made)... 233.50 c Sol. found (all assignments made)... 233.52 c Sol. found (all assignments made)... 233.67 c Sol. found (all assignments made)... 233.69 c Sol. found (all assignments made)... 233.91 c Sol. found (all assignments made)... 233.94 c Sol. found (all assignments made)... 233.96 c Sol. found (all assignments made)... 234.00 c Sol. found (all assignments made)... 234.07 c Sol. found (all assignments made)... 234.09 c Sol. found (all assignments made)... 234.18 c Sol. found (all assignments made)... 234.20 c Sol. found (all assignments made)... 234.61 c Sol. found (all assignments made)... 239.05 c Sol. found (all assignments made)... 239.07 c Sol. found (all assignments made)... 241.44 c Sol. found (all assignments made)... 242.32 c Sol. found (all assignments made)... 242.77 c Sol. found (all assignments made)... 242.81 c Sol. found (all assignments made)... 243.16 c Sol. found (all assignments made)... 243.70 c Sol. found (all assignments made)... 243.76 c Sol. found (all assignments made)... 243.83 c Sol. found (all assignments made)... 243.88 c Sol. found (all assignments made)... 244.16 c Sol. found (all assignments made)... 244.61 c Sol. found (all assignments made)... 244.83 c Sol. found (all assignments made)... 244.85 c Sol. found (all assignments made)... 245.18 c Sol. found (all assignments made)... 245.41 c Sol. found (all assignments made)... 246.22 c Sol. found (all assignments made)... 248.55 c Sol. found (all assignments made)... 248.84 c Sol. found (all assignments made)... 248.92 c Sol. found (all assignments made)... 249.15 c Sol. found (all assignments made)... 249.36 c Sol. found (all assignments made)... 249.41 c Sol. found (all assignments made)... 249.46 c Sol. found (all assignments made)... 249.63 c Sol. found (all assignments made)... 249.91 c Sol. found (all assignments made)... 249.98 c Sol. found (all assignments made)... 251.71 c Sol. found (all assignments made)... 252.00 c Sol. found (all assignments made)... 252.05 c Sol. found (all assignments made)... 253.81 c Sol. found (all assignments made)... 254.05 c Sol. found (all assignments made)... 254.10 c Sol. found (all assignments made)... 254.65 c Sol. found (all assignments made)... 254.76 c Restart #17 #Var: 5900 LB: -6552352 @ 254.64 264.97 c Restart #18 #Var: 5900 LB: -6554059 @ 264.84 304.58 c Restart #19 #Var: 5900 LB: -6553666 @ 304.44 309.25 c Sol. found (all assignments made)... 309.26 c Sol. found (all assignments made)... 309.28 c Sol. found (all assignments made)... 309.29 c Sol. found (all assignments made)... 309.31 c Sol. found (all assignments made)... 311.85 c Sol. found (all assignments made)... 311.94 c Sol. found (all assignments made)... 312.38 c Sol. found (all assignments made)... 312.46 c Sol. found (all assignments made)... 312.48 c Sol. found (all assignments made)... 312.49 c Sol. found (all assignments made)... 312.51 c Sol. found (all assignments made)... 313.17 c Sol. found (all assignments made)... 313.28 c Sol. found (all assignments made)... 313.92 c Sol. found (all assignments made)... 314.41 c Sol. found (all assignments made)... 314.42 c Sol. found (all assignments made)... 314.45 c Sol. found (all assignments made)... 314.47 c Sol. found (all assignments made)... 314.48 c Sol. found (all assignments made)... 314.49 c Sol. found (all assignments made)... 314.55 c Sol. found (all assignments made)... 314.61 c Sol. found (all assignments made)... 314.82 c Sol. found (all assignments made)... 314.84 c Sol. found (all assignments made)... 314.87 c Sol. found (all assignments made)... 314.88 c Sol. found (all assignments made)... 314.90 c Sol. found (all assignments made)... 314.91 c Sol. found (all assignments made)... 314.97 c Sol. found (all assignments made)... 315.02 c Sol. found (all assignments made)... 315.24 c Sol. found (all assignments made)... 315.25 c Sol. found (all assignments made)... 315.28 c Sol. found (all assignments made)... 315.30 c Sol. found (all assignments made)... 315.31 c Sol. found (all assignments made)... 315.33 c Sol. found (all assignments made)... 315.38 c Sol. found (all assignments made)... 315.44 c Sol. found (all assignments made)... 315.62 c Sol. found (all assignments made)... 315.64 c Sol. found (all assignments made)... 315.65 c Sol. found (all assignments made)... 315.68 c Sol. found (all assignments made)... 315.70 c Sol. found (all assignments made)... 315.76 c Sol. found (all assignments made)... 315.82 c Sol. found (all assignments made)... 316.00 c Sol. found (all assignments made)... 316.01 c Sol. found (all assignments made)... 316.03 c Sol. found (all assignments made)... 316.06 c Sol. found (all assignments made)... 316.07 c Sol. found (all assignments made)... 316.13 c Sol. found (all assignments made)... 316.20 c Sol. found (all assignments made)... 316.89 c Sol. found (all assignments made)... 317.02 c Sol. found (all assignments made)... 317.03 c Sol. found (all assignments made)... 317.11 c Sol. found (all assignments made)... 317.24 c Sol. found (all assignments made)... 317.26 c Sol. found (all assignments made)... 317.33 c Sol. found (all assignments made)... 317.46 c Sol. found (all assignments made)... 317.48 c Sol. found (all assignments made)... 317.55 c Sol. found (all assignments made)... 317.68 c Sol. found (all assignments made)... 317.70 c Sol. found (all assignments made)... 317.89 c Sol. found (all assignments made)... 317.91 c Sol. found (all assignments made)... 318.10 c Sol. found (all assignments made)... 318.12 c Sol. found (all assignments made)... 318.31 c Sol. found (all assignments made)... 318.33 c Sol. found (all assignments made)... 318.42 c Sol. found (all assignments made)... 318.43 c Sol. found (all assignments made)... 320.31 c Sol. found (all assignments made)... 320.39 c Sol. found (all assignments made)... 320.47 c Sol. found (all assignments made)... 320.55 c Sol. found (all assignments made)... 320.63 c Sol. found (all assignments made)... 320.71 c Sol. found (all assignments made)... 321.42 c Sol. found (all assignments made)... 321.48 c Sol. found (all assignments made)... 321.49 c Sol. found (all assignments made)... 321.53 c Sol. found (all assignments made)... 321.54 c Sol. found (all assignments made)... 321.61 c Sol. found (all assignments made)... 321.74 c Sol. found (all assignments made)... 321.75 c Sol. found (all assignments made)... 322.02 c Sol. found (all assignments made)... 322.09 c Sol. found (all assignments made)... 322.11 c Sol. found (all assignments made)... 322.17 c Sol. found (all assignments made)... 322.23 c Sol. found (all assignments made)... 322.27 c Sol. found (all assignments made)... 322.30 c Sol. found (all assignments made)... 322.33 c Sol. found (all assignments made)... 322.47 c Sol. found (all assignments made)... 323.03 c Sol. found (all assignments made)... 323.10 c Sol. found (all assignments made)... 323.24 c Sol. found (all assignments made)... 323.47 c Sol. found (all assignments made)... 323.89 c Sol. found (all assignments made)... 323.98 c Sol. found (all assignments made)... 324.03 c Sol. found (all assignments made)... 324.74 c Restart #20 #Var: 5900 LB: -6553979 @ 324.59 339.18 c Restart #21 #Var: 5897 LB: -6550824 @ 339.03 377.88 c Restart #22 #Var: 5897 LB: -6550824 @ 377.72 417.36 c Restart #23 #Var: 5897 LB: -6550591 @ 417.18 431.34 c Sol. found (all assignments made)... 431.35 c Sol. found (all assignments made)... 431.37 c Sol. found (all assignments made)... 437.61 c Sol. found (all assignments made)... 437.73 c Sol. found (all assignments made)... 437.84 c Sol. found (all assignments made)... 437.96 c Sol. found (all assignments made)... 438.07 c Sol. found (all assignments made)... 438.19 c Sol. found (all assignments made)... 438.30 c Sol. found (all assignments made)... 438.41 c Sol. found (all assignments made)... 438.53 c Sol. found (all assignments made)... 438.64 c Sol. found (all assignments made)... 439.13 c Sol. found (all assignments made)... 439.14 c Sol. found (all assignments made)... 439.16 c Sol. found (all assignments made)... 439.33 c Sol. found (all assignments made)... 439.35 c Sol. found (all assignments made)... 439.36 c Sol. found (all assignments made)... 439.58 c Sol. found (all assignments made)... 439.60 c Sol. found (all assignments made)... 439.62 c Sol. found (all assignments made)... 439.72 c Sol. found (all assignments made)... 439.75 c Sol. found (all assignments made)... 439.76 c Sol. found (all assignments made)... 455.07 c Sol. found (all assignments made)... 455.18 c Sol. found (all assignments made)... 455.29 c Sol. found (all assignments made)... 455.40 c Sol. found (all assignments made)... 455.51 c Sol. found (all assignments made)... 455.62 c Sol. found (all assignments made)... 455.73 c Sol. found (all assignments made)... 455.85 c Sol. found (all assignments made)... 455.96 c Sol. found (all assignments made)... 456.07 c Sol. found (all assignments made)... 456.41 c Restart #24 #Var: 5897 LB: -6551039 @ 456.21 480.66 c Restart #25 #Var: 5892 LB: -6549830 @ 480.45 599.85 c Restart #26 #Var: 5891 LB: -6549031 @ 599.61 607.46 c Sol. found (all assignments made)... 607.57 c Sol. found (all assignments made)... 607.59 c Sol. found (all assignments made)... 607.60 c Sol. found (all assignments made)... 607.62 c Sol. found (all assignments made)... 607.81 c Sol. found (all assignments made)... 607.96 c Sol. found (all assignments made)... 608.42 c Sol. found (all assignments made)... 608.44 c Sol. found (all assignments made)... 608.46 c Sol. found (all assignments made)... 608.48 c Sol. found (all assignments made)... 608.50 c Sol. found (all assignments made)... 608.52 c Sol. found (all assignments made)... 608.54 c Sol. found (all assignments made)... 608.81 c Sol. found (all assignments made)... 608.89 c Sol. found (all assignments made)... 608.91 c Sol. found (all assignments made)... 609.60 c Sol. found (all assignments made)... 609.96 c Sol. found (all assignments made)... 610.14 c Sol. found (all assignments made)... 610.20 c Sol. found (all assignments made)... 611.33 c Sol. found (all assignments made)... 611.39 c Sol. found (all assignments made)... 611.54 c Sol. found (all assignments made)... 611.89 c Sol. found (all assignments made)... 611.95 c Sol. found (all assignments made)... 612.11 c Sol. found (all assignments made)... 612.16 c Sol. found (all assignments made)... 612.48 c Sol. found (all assignments made)... 612.54 c Sol. found (all assignments made)... 612.69 c Sol. found (all assignments made)... 612.75 c Sol. found (all assignments made)... 613.10 c Sol. found (all assignments made)... 613.26 c Sol. found (all assignments made)... 613.66 c Sol. found (all assignments made)... 613.96 c Sol. found (all assignments made)... 614.10 c Sol. found (all assignments made)... 614.12 c Sol. found (all assignments made)... 614.63 c Sol. found (all assignments made)... 615.15 c Sol. found (all assignments made)... 615.56 c Sol. found (all assignments made)... 615.57 c Sol. found (all assignments made)... 615.67 c Sol. found (all assignments made)... 616.19 c Sol. found (all assignments made)... 616.20 c Sol. found (all assignments made)... 616.30 c Sol. found (all assignments made)... 616.70 c Sol. found (all assignments made)... 616.74 c Sol. found (all assignments made)... 616.76 c Sol. found (all assignments made)... 616.82 c Sol. found (all assignments made)... 616.83 c Sol. found (all assignments made)... 617.19 c Sol. found (all assignments made)... 617.21 c Sol. found (all assignments made)... 617.26 c Sol. found (all assignments made)... 617.28 c Sol. found (all assignments made)... 617.29 c Sol. found (all assignments made)... 617.31 c Sol. found (all assignments made)... 617.33 c Sol. found (all assignments made)... 617.35 c Sol. found (all assignments made)... 617.63 c Sol. found (all assignments made)... 617.72 c Sol. found (all assignments made)... 618.25 c Sol. found (all assignments made)... 618.28 c Sol. found (all assignments made)... 618.30 c Sol. found (all assignments made)... 618.32 c Sol. found (all assignments made)... 618.34 c Sol. found (all assignments made)... 618.36 c Sol. found (all assignments made)... 618.38 c Sol. found (all assignments made)... 618.39 c Sol. found (all assignments made)... 618.68 c Sol. found (all assignments made)... 618.93 c Sol. found (all assignments made)... 619.04 c Sol. found (all assignments made)... 619.13 c Sol. found (all assignments made)... 619.20 c Sol. found (all assignments made)... 619.28 c Sol. found (all assignments made)... 619.33 c Sol. found (all assignments made)... 619.43 c Sol. found (all assignments made)... 619.68 c Sol. found (all assignments made)... 619.71 c Sol. found (all assignments made)... 619.73 c Sol. found (all assignments made)... 619.75 c Sol. found (all assignments made)... 619.77 c Sol. found (all assignments made)... 619.79 c Sol. found (all assignments made)... 619.81 c Sol. found (all assignments made)... 619.82 c Sol. found (all assignments made)... 620.11 c Sol. found (all assignments made)... 620.47 c Sol. found (all assignments made)... 620.51 c Sol. found (all assignments made)... 620.53 c Sol. found (all assignments made)... 620.59 c Sol. found (all assignments made)... 620.60 c Sol. found (all assignments made)... 620.96 c Sol. found (all assignments made)... 620.98 c Sol. found (all assignments made)... 621.00 c Sol. found (all assignments made)... 621.02 c Sol. found (all assignments made)... 621.04 c Sol. found (all assignments made)... 621.05 c Sol. found (all assignments made)... 621.07 c Sol. found (all assignments made)... 621.09 c Sol. found (all assignments made)... 621.26 c Sol. found (all assignments made)... 621.47 c Sol. found (all assignments made)... 621.49 c Sol. found (all assignments made)... 621.51 c Sol. found (all assignments made)... 621.53 c Sol. found (all assignments made)... 621.54 c Sol. found (all assignments made)... 621.56 c Sol. found (all assignments made)... 621.64 c Sol. found (all assignments made)... 621.73 c Sol. found (all assignments made)... 621.92 c Sol. found (all assignments made)... 621.94 c Sol. found (all assignments made)... 621.95 c Sol. found (all assignments made)... 621.97 c Sol. found (all assignments made)... 621.99 c Sol. found (all assignments made)... 622.01 c Sol. found (all assignments made)... 622.09 c Sol. found (all assignments made)... 622.18 c Sol. found (all assignments made)... 622.36 c Sol. found (all assignments made)... 622.38 c Sol. found (all assignments made)... 622.40 c Sol. found (all assignments made)... 622.45 c Sol. found (all assignments made)... 622.48 c Sol. found (all assignments made)... 622.64 c Sol. found (all assignments made)... 622.66 c Sol. found (all assignments made)... 622.67 c Sol. found (all assignments made)... 622.94 c Sol. found (all assignments made)... 622.96 c Sol. found (all assignments made)... 622.98 c Sol. found (all assignments made)... 623.15 c Sol. found (all assignments made)... 623.16 c Sol. found (all assignments made)... 623.18 c Sol. found (all assignments made)... 628.84 c Sol. found (all assignments made)... 628.96 c Sol. found (all assignments made)... 629.50 c Sol. found (all assignments made)... 629.52 c Sol. found (all assignments made)... 629.54 c Sol. found (all assignments made)... 629.61 c Sol. found (all assignments made)... 629.67 c Sol. found (all assignments made)... 629.69 c Sol. found (all assignments made)... 629.71 c Sol. found (all assignments made)... 630.09 c Sol. found (all assignments made)... 630.22 c Sol. found (all assignments made)... 630.49 c Sol. found (all assignments made)... 630.65 c Sol. found (all assignments made)... 630.73 c Sol. found (all assignments made)... 630.75 c Sol. found (all assignments made)... 631.55 c Sol. found (all assignments made)... 631.82 c Sol. found (all assignments made)... 632.10 c Sol. found (all assignments made)... 632.15 c Sol. found (all assignments made)... 632.24 c Sol. found (all assignments made)... 632.33 c Sol. found (all assignments made)... 632.42 c Sol. found (all assignments made)... 633.41 c Sol. found (all assignments made)... 633.47 c Sol. found (all assignments made)... 633.50 c Sol. found (all assignments made)... 633.63 c Sol. found (all assignments made)... 633.65 c Sol. found (all assignments made)... 633.67 c Sol. found (all assignments made)... 633.74 c Sol. found (all assignments made)... 634.61 c Sol. found (all assignments made)... 634.75 c Sol. found (all assignments made)... 634.77 c Sol. found (all assignments made)... 634.79 c Sol. found (all assignments made)... 634.86 c Sol. found (all assignments made)... 635.62 c Sol. found (all assignments made)... 636.18 c Sol. found (all assignments made)... 636.25 c Sol. found (all assignments made)... 636.51 c Sol. found (all assignments made)... 636.56 c Sol. found (all assignments made)... 637.08 c Sol. found (all assignments made)... 637.21 c Sol. found (all assignments made)... 637.31 c Sol. found (all assignments made)... 637.62 c Sol. found (all assignments made)... 637.69 c Sol. found (all assignments made)... 637.93 c Sol. found (all assignments made)... 638.21 c Sol. found (all assignments made)... 638.80 c Sol. found (all assignments made)... 638.96 c Sol. found (all assignments made)... 639.15 c Sol. found (all assignments made)... 639.61 c Sol. found (all assignments made)... 639.88 c Sol. found (all assignments made)... 639.98 c Sol. found (all assignments made)... 640.04 c Sol. found (all assignments made)... 640.08 c Sol. found (all assignments made)... 640.32 c Sol. found (all assignments made)... 640.43 c Sol. found (all assignments made)... 640.47 c Sol. found (all assignments made)... 640.67 c Sol. found (all assignments made)... 640.72 c Sol. found (all assignments made)... 640.84 c Sol. found (all assignments made)... 640.94 c Sol. found (all assignments made)... 641.78 c Sol. found (all assignments made)... 641.94 c Sol. found (all assignments made)... 642.13 c Sol. found (all assignments made)... 642.46 c Sol. found (all assignments made)... 642.77 c Sol. found (all assignments made)... 642.85 c Sol. found (all assignments made)... 642.90 c Sol. found (all assignments made)... 642.95 c Sol. found (all assignments made)... 643.15 c Sol. found (all assignments made)... 643.20 c Sol. found (all assignments made)... 643.26 c Sol. found (all assignments made)... 643.39 c Sol. found (all assignments made)... 643.49 c Sol. found (all assignments made)... 643.53 c Sol. found (all assignments made)... 643.61 c Sol. found (all assignments made)... 643.73 c Restart #27 #Var: 5890 LB: -6546852 @ 643.47 664.66 c Restart #28 #Var: 5890 LB: -6546324 @ 664.38 929.02 c Restart #29 #Var: 5890 LB: -6548111 @ 928.66 954.29 c Restart #30 #Var: 5890 LB: -6548111 @ 953.92 960.37 c Sol. found (all assignments made)... 960.37 o -411228 960.37 c NEW SOLUTION FOUND: -411228 @ 959.99 960.37 c Sol. found (all assignments made)... 960.39 c Sol. found (all assignments made)... 960.41 c Sol. found (all assignments made)... 960.41 o -423840 960.41 c NEW SOLUTION FOUND: -423840 @ 960.03 960.45 c Sol. found (all assignments made)... 960.47 c Sol. found (all assignments made)... 960.49 c Sol. found (all assignments made)... 960.51 c Sol. found (all assignments made)... 960.56 c Sol. found (all assignments made)... 960.59 c Sol. found (all assignments made)... 960.61 c Sol. found (all assignments made)... 960.63 c Sol. found (all assignments made)... 960.65 c Sol. found (all assignments made)... 960.65 o -424459 960.65 c NEW SOLUTION FOUND: -424459 @ 960.27 960.69 c Sol. found (all assignments made)... 960.70 c Sol. found (all assignments made)... 960.72 c Sol. found (all assignments made)... 960.74 c Sol. found (all assignments made)... 960.74 o -428074 960.74 c NEW SOLUTION FOUND: -428074 @ 960.36 960.95 c Sol. found (all assignments made)... 960.96 c Sol. found (all assignments made)... 960.96 o -428344 960.96 c NEW SOLUTION FOUND: -428344 @ 960.58 961.00 c Sol. found (all assignments made)... 961.11 c Sol. found (all assignments made)... 961.13 c Sol. found (all assignments made)... 961.47 c Sol. found (all assignments made)... 961.49 c Sol. found (all assignments made)... 961.51 c Sol. found (all assignments made)... 961.53 c Sol. found (all assignments made)... 961.58 c Sol. found (all assignments made)... 961.60 c Sol. found (all assignments made)... 961.62 c Sol. found (all assignments made)... 961.63 c Sol. found (all assignments made)... 961.66 c Sol. found (all assignments made)... 961.68 c Sol. found (all assignments made)... 961.70 c Sol. found (all assignments made)... 961.72 c Sol. found (all assignments made)... 961.73 c Sol. found (all assignments made)... 961.73 o -428725 961.73 c NEW SOLUTION FOUND: -428725 @ 961.36 961.78 c Sol. found (all assignments made)... 961.80 c Sol. found (all assignments made)... 961.82 c Sol. found (all assignments made)... 961.84 c Sol. found (all assignments made)... 961.86 c Sol. found (all assignments made)... 961.86 o -430043 961.86 c NEW SOLUTION FOUND: -430043 @ 961.48 962.27 c Sol. found (all assignments made)... 962.29 c Sol. found (all assignments made)... 962.31 c Sol. found (all assignments made)... 962.33 c Sol. found (all assignments made)... 962.35 c Sol. found (all assignments made)... 964.26 c Sol. found (all assignments made)... 964.29 c Sol. found (all assignments made)... 964.32 c Sol. found (all assignments made)... 964.35 c Sol. found (all assignments made)... 964.38 c Sol. found (all assignments made)... 964.43 c Sol. found (all assignments made)... 964.68 c Sol. found (all assignments made)... 964.70 c Sol. found (all assignments made)... 964.75 c Sol. found (all assignments made)... 964.76 c Sol. found (all assignments made)... 964.78 c Sol. found (all assignments made)... 964.81 c Sol. found (all assignments made)... 964.81 o -430329 964.81 c NEW SOLUTION FOUND: -430329 @ 964.43 965.00 c Sol. found (all assignments made)... 965.03 c Sol. found (all assignments made)... 965.05 c Sol. found (all assignments made)... 965.09 c Sol. found (all assignments made)... 965.19 c Sol. found (all assignments made)... 965.21 c Sol. found (all assignments made)... 965.25 c Sol. found (all assignments made)... 965.26 c Sol. found (all assignments made)... 965.28 c Sol. found (all assignments made)... 965.30 c Sol. found (all assignments made)... 965.30 c Sol. found (all assignments made)... 965.36 c Sol. found (all assignments made)... 965.38 c Sol. found (all assignments made)... 965.40 c Sol. found (all assignments made)... 965.41 c Sol. found (all assignments made)... 965.43 c Sol. found (all assignments made)... 965.61 c Sol. found (all assignments made)... 965.62 c Sol. found (all assignments made)... 965.64 c Sol. found (all assignments made)... 965.65 c Sol. found (all assignments made)... 965.67 c Sol. found (all assignments made)... 965.68 c Sol. found (all assignments made)... 965.70 c Sol. found (all assignments made)... 965.72 c Sol. found (all assignments made)... 965.74 c Sol. found (all assignments made)... 965.74 c Sol. found (all assignments made)... 965.76 c Sol. found (all assignments made)... 965.78 c Sol. found (all assignments made)... 965.80 c Sol. found (all assignments made)... 965.81 c Sol. found (all assignments made)... 965.83 c Sol. found (all assignments made)... 965.84 c Sol. found (all assignments made)... 965.84 o -431420 965.84 c NEW SOLUTION FOUND: -431420 @ 965.46 965.84 c Sol. found (all assignments made)... 968.03 c Sol. found (all assignments made)... 969.01 c Sol. found (all assignments made)... 969.03 c Sol. found (all assignments made)... 969.05 c Sol. found (all assignments made)... 969.12 c Sol. found (all assignments made)... 969.14 c Sol. found (all assignments made)... 969.16 c Sol. found (all assignments made)... 969.20 c Sol. found (all assignments made)... 969.21 c Sol. found (all assignments made)... 969.23 c Sol. found (all assignments made)... 969.25 c Sol. found (all assignments made)... 969.27 c Sol. found (all assignments made)... 969.28 c Sol. found (all assignments made)... 969.30 c Sol. found (all assignments made)... 969.32 c Sol. found (all assignments made)... 969.34 c Sol. found (all assignments made)... 969.35 c Sol. found (all assignments made)... 969.36 c Sol. found (all assignments made)... 969.36 o -432546 969.36 c NEW SOLUTION FOUND: -432546 @ 968.97 969.38 c Sol. found (all assignments made)... 969.41 c Sol. found (all assignments made)... 969.43 c Sol. found (all assignments made)... 969.45 c Sol. found (all assignments made)... 969.46 c Sol. found (all assignments made)... 969.47 c Sol. found (all assignments made)... 969.66 c Sol. found (all assignments made)... 972.40 c Sol. found (all assignments made)... 972.42 c Sol. found (all assignments made)... 975.16 c Sol. found (all assignments made)... 975.18 c Sol. found (all assignments made)... 975.20 c Sol. found (all assignments made)... 975.24 c Sol. found (all assignments made)... 978.20 c Sol. found (all assignments made)... 978.22 c Sol. found (all assignments made)... 978.24 c Sol. found (all assignments made)... 978.26 c Sol. found (all assignments made)... 978.33 c Sol. found (all assignments made)... 979.10 c Restart #31 #Var: 5890 LB: -6548111 @ 978.71 1052.96 c Restart #32 #Var: 5890 LB: -6548639 @ 1052.5 1081.71 c Sol. found (all assignments made)... 1086.41 c Sol. found (all assignments made)... 1086.82 c Sol. found (all assignments made)... 1087.22 c Sol. found (all assignments made)... 1087.62 c Sol. found (all assignments made)... 1088.50 c Sol. found (all assignments made)... 1088.89 c Sol. found (all assignments made)... 1089.88 c Sol. found (all assignments made)... 1091.88 c Restart #33 #Var: 5890 LB: -6548111 @ 1091.5 1128.66 c Restart #34 #Var: 5890 LB: -6548031 @ 1128.2 1161.94 c Sol. found (all assignments made)... 1162.11 c Sol. found (all assignments made)... 1162.13 c Sol. found (all assignments made)... 1162.14 c Sol. found (all assignments made)... 1162.15 c Sol. found (all assignments made)... 1162.16 c Sol. found (all assignments made)... 1162.17 c Sol. found (all assignments made)... 1162.34 c Sol. found (all assignments made)... 1162.37 c Sol. found (all assignments made)... 1162.40 c Sol. found (all assignments made)... 1162.43 c Sol. found (all assignments made)... 1162.44 c Sol. found (all assignments made)... 1162.45 c Sol. found (all assignments made)... 1162.47 c Sol. found (all assignments made)... 1162.53 c Sol. found (all assignments made)... 1162.57 c Sol. found (all assignments made)... 1162.76 c Sol. found (all assignments made)... 1162.81 c Sol. found (all assignments made)... 1162.83 c Sol. found (all assignments made)... 1162.93 c Sol. found (all assignments made)... 1163.20 c Sol. found (all assignments made)... 1163.21 c Sol. found (all assignments made)... 1163.23 c Sol. found (all assignments made)... 1163.58 c Sol. found (all assignments made)... 1163.59 c Sol. found (all assignments made)... 1163.60 c Sol. found (all assignments made)... 1163.61 c Sol. found (all assignments made)... 1163.65 c Sol. found (all assignments made)... 1163.70 c Sol. found (all assignments made)... 1163.71 c Sol. found (all assignments made)... 1163.73 c Sol. found (all assignments made)... 1163.76 c Sol. found (all assignments made)... 1163.77 c Sol. found (all assignments made)... 1163.78 c Sol. found (all assignments made)... 1163.82 c Sol. found (all assignments made)... 1163.87 c Sol. found (all assignments made)... 1163.90 c Sol. found (all assignments made)... 1163.93 c Sol. found (all assignments made)... 1163.97 c Sol. found (all assignments made)... 1164.21 c Sol. found (all assignments made)... 1164.35 c Sol. found (all assignments made)... 1164.49 c Sol. found (all assignments made)... 1165.42 c Sol. found (all assignments made)... 1165.51 c Sol. found (all assignments made)... 1165.54 c Sol. found (all assignments made)... 1165.55 c Sol. found (all assignments made)... 1165.56 c Sol. found (all assignments made)... 1168.24 c Restart #35 #Var: 5890 LB: -6548031 @ 1167.8 1198.06 c Restart #36 #Var: 5890 LB: -6548031 @ 1197.6 1210.98 c Sol. found (all assignments made)... 1211.01 c Sol. found (all assignments made)... 1211.03 c Sol. found (all assignments made)... 1211.05 c Sol. found (all assignments made)... 1219.67 c Sol. found (all assignments made)... 1219.87 c Sol. found (all assignments made)... 1220.06 c Sol. found (all assignments made)... 1220.26 c Sol. found (all assignments made)... 1228.92 c Sol. found (all assignments made)... 1229.12 c Sol. found (all assignments made)... 1229.32 c Sol. found (all assignments made)... 1229.91 c Sol. found (all assignments made)... 1230.48 c Sol. found (all assignments made)... 1230.51 c Sol. found (all assignments made)... 1230.66 c Sol. found (all assignments made)... 1231.06 c Sol. found (all assignments made)... 1231.25 c Sol. found (all assignments made)... 1231.67 c Sol. found (all assignments made)... 1231.71 c Sol. found (all assignments made)... 1231.92 c Sol. found (all assignments made)... 1231.94 c Sol. found (all assignments made)... 1232.67 c Sol. found (all assignments made)... 1232.91 c Sol. found (all assignments made)... 1232.98 c Sol. found (all assignments made)... 1233.08 c Sol. found (all assignments made)... 1233.10 c Sol. found (all assignments made)... 1233.27 c Sol. found (all assignments made)... 1233.32 c Sol. found (all assignments made)... 1234.61 c Sol. found (all assignments made)... 1234.68 c Sol. found (all assignments made)... 1234.74 c Sol. found (all assignments made)... 1234.80 c Sol. found (all assignments made)... 1234.82 c Sol. found (all assignments made)... 1234.84 c Sol. found (all assignments made)... 1234.90 c Sol. found (all assignments made)... 1234.97 c Sol. found (all assignments made)... 1234.99 c Sol. found (all assignments made)... 1235.87 c Sol. found (all assignments made)... 1235.92 c Sol. found (all assignments made)... 1236.30 c Sol. found (all assignments made)... 1236.37 c Sol. found (all assignments made)... 1236.75 c Sol. found (all assignments made)... 1236.82 c Sol. found (all assignments made)... 1250.44 c Sol. found (all assignments made)... 1250.64 c Sol. found (all assignments made)... 1253.99 c Sol. found (all assignments made)... 1254.41 c Sol. found (all assignments made)... 1254.53 c Sol. found (all assignments made)... 1254.95 c Sol. found (all assignments made)... 1255.07 c Sol. found (all assignments made)... 1255.49 c Sol. found (all assignments made)... 1255.79 c Sol. found (all assignments made)... 1255.99 c Sol. found (all assignments made)... 1256.04 c Sol. found (all assignments made)... 1256.08 c Sol. found (all assignments made)... 1256.14 c Sol. found (all assignments made)... 1256.21 c Sol. found (all assignments made)... 1256.23 c Sol. found (all assignments made)... 1256.28 c Sol. found (all assignments made)... 1257.13 c Sol. found (all assignments made)... 1257.18 c Sol. found (all assignments made)... 1257.23 c Sol. found (all assignments made)... 1257.29 c Sol. found (all assignments made)... 1257.36 c Sol. found (all assignments made)... 1257.38 c Sol. found (all assignments made)... 1257.42 c Sol. found (all assignments made)... 1257.59 c Sol. found (all assignments made)... 1257.63 c Sol. found (all assignments made)... 1257.66 c Sol. found (all assignments made)... 1257.68 c Sol. found (all assignments made)... 1257.75 c Sol. found (all assignments made)... 1257.79 c Sol. found (all assignments made)... 1257.81 c Sol. found (all assignments made)... 1257.83 c Sol. found (all assignments made)... 1258.02 c Sol. found (all assignments made)... 1258.04 c Sol. found (all assignments made)... 1258.06 c Sol. found (all assignments made)... 1258.15 c Sol. found (all assignments made)... 1258.22 c Sol. found (all assignments made)... 1258.31 c Sol. found (all assignments made)... 1258.33 c Sol. found (all assignments made)... 1258.35 c Sol. found (all assignments made)... 1258.44 c Sol. found (all assignments made)... 1258.51 c Sol. found (all assignments made)... 1258.62 c Sol. found (all assignments made)... 1258.64 c Sol. found (all assignments made)... 1258.66 c Sol. found (all assignments made)... 1258.76 c Sol. found (all assignments made)... 1258.82 c Sol. found (all assignments made)... 1258.94 c Sol. found (all assignments made)... 1258.96 c Sol. found (all assignments made)... 1258.98 c Sol. found (all assignments made)... 1259.07 c Sol. found (all assignments made)... 1259.14 c Sol. found (all assignments made)... 1259.22 c Sol. found (all assignments made)... 1259.25 c Sol. found (all assignments made)... 1259.27 c Sol. found (all assignments made)... 1259.31 c Sol. found (all assignments made)... 1259.38 c Sol. found (all assignments made)... 1259.40 c Sol. found (all assignments made)... 1259.44 c Sol. found (all assignments made)... 1259.58 c Sol. found (all assignments made)... 1259.88 c Sol. found (all assignments made)... 1259.96 c Sol. found (all assignments made)... 1260.02 c Sol. found (all assignments made)... 1260.08 c Sol. found (all assignments made)... 1260.21 c Sol. found (all assignments made)... 1260.27 c Sol. found (all assignments made)... 1263.34 c Sol. found (all assignments made)... 1263.37 c Sol. found (all assignments made)... 1263.99 c Sol. found (all assignments made)... 1264.02 c Sol. found (all assignments made)... 1264.04 c Sol. found (all assignments made)... 1264.70 c Sol. found (all assignments made)... 1264.73 c Sol. found (all assignments made)... 1266.34 c Restart #37 #Var: 5889 LB: -6547229 @ 1265.9 1294.31 c Restart #38 #Var: 5889 LB: -6547229 @ 1293.8 1479.65 c Restart #39 #Var: 5889 LB: -6547229 @ 1479 1491.12 c Sol. found (all assignments made)... 1491.32 c Sol. found (all assignments made)... 1491.51 c Sol. found (all assignments made)... 1492.08 c Sol. found (all assignments made)... 1492.52 c Sol. found (all assignments made)... 1501.33 c Sol. found (all assignments made)... 1501.49 c Sol. found (all assignments made)... 1501.63 c Sol. found (all assignments made)... 1501.79 c Sol. found (all assignments made)... 1503.23 c Sol. found (all assignments made)... 1503.38 c Sol. found (all assignments made)... 1503.53 c Sol. found (all assignments made)... 1504.11 c Sol. found (all assignments made)... 1519.62 c Sol. found (all assignments made)... 1519.77 c Sol. found (all assignments made)... 1519.92 c Sol. found (all assignments made)... 1535.13 c Sol. found (all assignments made)... 1535.28 c Sol. found (all assignments made)... 1535.43 c Sol. found (all assignments made)... 1535.57 c Sol. found (all assignments made)... 1535.72 c Sol. found (all assignments made)... 1569.35 c Sol. found (all assignments made)... 1569.75 c Sol. found (all assignments made)... 1570.15 c Sol. found (all assignments made)... 1570.54 c Sol. found (all assignments made)... 1570.94 c Sol. found (all assignments made)... 1571.34 c Sol. found (all assignments made)... 1574.29 c Restart #40 #Var: 5889 LB: -6547229 @ 1573.6 1613.90 c Restart #41 #Var: 5889 LB: -6547229 @ 1613.2 1633.32 c Sol. found (all assignments made)... 1635.71 c Sol. found (all assignments made)... 1636.16 c Sol. found (all assignments made)... 1636.77 c Sol. found (all assignments made)... 1640.12 c Sol. found (all assignments made)... 1640.78 c Sol. found (all assignments made)... 1648.83 c Sol. found (all assignments made)... 1651.51 c Sol. found (all assignments made)... 1653.02 c Sol. found (all assignments made)... 1654.97 c Sol. found (all assignments made)... 1655.75 c Sol. found (all assignments made)... 1664.17 c Sol. found (all assignments made)... 1666.27 c Sol. found (all assignments made)... 1666.31 c Sol. found (all assignments made)... 1671.59 c Sol. found (all assignments made)... 1671.62 c Sol. found (all assignments made)... 1671.88 c Sol. found (all assignments made)... 1672.64 c Sol. found (all assignments made)... 1672.94 c Sol. found (all assignments made)... 1673.09 c Sol. found (all assignments made)... 1673.13 c Sol. found (all assignments made)... 1673.69 c Sol. found (all assignments made)... 1676.79 c Sol. found (all assignments made)... 1676.96 c Sol. found (all assignments made)... 1677.47 c Sol. found (all assignments made)... 1677.62 c Sol. found (all assignments made)... 1678.28 c Sol. found (all assignments made)... 1685.09 c Sol. found (all assignments made)... 1686.28 c Sol. found (all assignments made)... 1691.69 c Sol. found (all assignments made)... 1692.44 c Sol. found (all assignments made)... 1694.38 c Sol. found (all assignments made)... 1701.57 c Sol. found (all assignments made)... 1705.12 c Sol. found (all assignments made)... 1706.16 c Sol. found (all assignments made)... 1711.15 c Sol. found (all assignments made)... 1711.19 c Sol. found (all assignments made)... 1711.33 c Sol. found (all assignments made)... 1712.59 c Restart #42 #Var: 5889 LB: -6547229 @ 1711.9 1800.73 s SATISFIABLE 1800.73 c Cost: -432546 1800.73 v -x1 -x1112 -x2223 -x3334 -x4445 -x5556 -x5668 -x5779 -x5890 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 -x1001 -x1113 1800.73 v -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 -x2224 -x2335 -x2446 -x2557 -x2668 -x2779 -x2890 -x3001 1800.73 v -x3112 -x3223 -x3335 -x3446 -x3557 -x3668 -x3779 -x3890 -x4001 -x4112 -x4223 -x4334 -x4446 -x4557 -x4668 -x4779 -x4890 1800.73 v -x5001 x5112 -x5223 -x5334 -x5445 -x5557 -x5569 -x5580 -x5591 -x5602 -x5613 -x5624 -x5635 -x5646 -x5657 -x5669 -x5680 1800.73 v -x5691 -x5702 -x5713 -x5724 -x5735 -x5746 -x5757 -x5768 -x5780 -x5791 -x5802 -x5813 -x5824 -x5835 -x5846 -x5857 -x5868 1800.73 v -x5879 -x5891 -x5902 -x5913 -x5924 -x5935 -x5946 -x5957 -x5968 -x5979 -x5990 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 1800.73 v -x102 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324 1800.73 v -x336 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 1800.73 v -x569 -x580 -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 1800.73 v -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 1800.73 v -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 1800.73 v -x1213 -x1225 -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 1800.73 v -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 1800.73 v -x1591 -x1602 -x1613 -x1624 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 1800.73 v -x1780 -x1791 -x1802 -x1813 -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 1800.73 v -x1968 -x1979 -x1990 -x2002 -x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079 -x2090 -x2101 -x2113 -x2124 -x2135 -x2146 1800.73 v -x2157 -x2168 -x2179 -x2190 -x2201 -x2212 -x2225 -x2236 -x2247 -x2258 -x2269 -x2280 -x2291 -x2302 -x2313 -x2324 -x2336 1800.73 v -x2347 -x2358 -x2369 -x2380 -x2391 -x2402 -x2413 -x2424 -x2435 -x2447 -x2458 -x2469 -x2480 -x2491 -x2502 -x2513 -x2524 1800.73 v -x2535 -x2546 -x2558 -x2569 -x2580 -x2591 -x2602 -x2613 -x2624 x2635 -x2646 -x2657 -x2669 -x2680 -x2691 -x2702 -x2713 1800.73 v -x2724 -x2735 -x2746 -x2757 -x2768 -x2780 -x2791 -x2802 -x2813 -x2824 -x2835 -x2846 -x2857 -x2868 -x2879 x2891 -x2902 1800.73 v -x2913 -x2924 -x2935 -x2946 -x2957 -x2968 -x2979 -x2990 -x3002 -x3013 -x3024 -x3035 -x3046 -x3057 -x3068 -x3079 -x3090 1800.73 v -x3101 -x3113 -x3124 -x3135 -x3146 -x3157 -x3168 -x3179 -x3190 -x3201 -x3212 -x3224 -x3235 -x3246 -x3257 -x3268 -x3279 1800.73 v -x3290 -x3301 -x3312 -x3323 -x3336 -x3347 -x3358 -x3369 -x3380 -x3391 -x3402 -x3413 -x3424 x3435 -x3447 -x3458 -x3469 1800.73 v -x3480 -x3491 -x3502 -x3513 -x3524 -x3535 -x3546 -x3558 -x3569 -x3580 -x3591 -x3602 -x3613 -x3624 -x3635 -x3646 -x3657 1800.73 v -x3669 -x3680 -x3691 -x3702 -x3713 -x3724 -x3735 -x3746 -x3757 -x3768 x3780 -x3791 -x3802 -x3813 -x3824 -x3835 -x3846 1800.73 v -x3857 -x3868 -x3879 -x3891 -x3902 -x3913 -x3924 -x3935 -x3946 -x3957 -x3968 -x3979 -x3990 -x4002 -x4013 -x4024 -x4035 1800.73 v -x4046 x4057 -x4068 -x4079 -x4090 -x4101 -x4113 -x4124 -x4135 -x4146 -x4157 -x4168 -x4179 -x4190 -x4201 -x4212 -x4224 1800.73 v -x4235 x4246 -x4257 -x4268 -x4279 -x4290 -x4301 -x4312 -x4323 x4335 -x4346 -x4357 -x4368 -x4379 -x4390 -x4401 -x4412 -x4423 1800.73 v -x4434 -x4447 -x4458 -x4469 -x4480 -x4491 -x4502 -x4513 -x4524 -x4535 -x4546 -x4558 -x4569 -x4580 -x4591 -x4602 -x4613 1800.73 v -x4624 -x4635 -x4646 -x4657 -x4669 -x4680 -x4691 -x4702 -x4713 -x4724 -x4735 -x4746 -x4757 -x4768 -x4780 -x4791 -x4802 1800.73 v -x4813 -x4824 -x4835 -x4846 -x4857 -x4868 -x4879 -x4891 -x4902 -x4913 -x4924 -x4935 -x4946 -x4957 -x4968 -x4979 -x4990 1800.73 v -x5002 -x5013 x5024 -x5035 -x5046 -x5057 -x5068 -x5079 -x5090 -x5101 -x5113 -x5124 -x5135 -x5146 -x5157 -x5168 -x5179 1800.73 v -x5190 -x5201 -x5212 -x5224 -x5235 -x5246 -x5257 -x5268 -x5279 -x5290 -x5301 -x5312 -x5323 -x5335 -x5346 -x5357 -x5368 1800.73 v -x5379 -x5390 -x5401 -x5412 -x5423 -x5434 -x5446 -x5457 -x5468 -x5479 -x5490 -x5501 -x5512 -x5523 -x5534 -x5545 -x5558 1800.73 v -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 1800.73 v -x5578 -x5579 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5592 -x5593 -x5594 -x5595 -x5596 1800.73 v -x5597 -x5598 -x5599 -x5600 -x5601 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5614 -x5615 1800.73 v -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 1800.73 v -x5634 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 1800.73 v -x5653 -x5654 -x5655 x5656 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5670 -x5671 -x5672 1800.73 v -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 1800.73 v -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 1800.73 v -x5710 -x5711 -x5712 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5725 -x5726 -x5727 -x5728 1800.73 v -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5747 1800.73 v -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5758 -x5759 -x5760 -x5761 x5762 -x5763 -x5764 -x5765 1800.73 v -x5766 -x5767 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5781 -x5782 -x5783 -x5784 -x5785 1800.73 v -x5786 -x5787 -x5788 -x5789 x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5803 -x5804 1800.73 v -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 1800.73 v -x5823 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 1800.73 v -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5858 -x5859 -x5860 1800.73 v -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5869 -x5870 x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 1800.73 v -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 1800.73 v -x5899 -x5900 -x5901 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 x5909 -x5910 -x5911 -x5912 -x5914 -x5915 -x5916 -x5917 1800.73 v -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5936 1800.73 v -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 1800.73 v -x5955 -x5956 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5969 -x5970 -x5971 -x5972 -x5973 1800.73 v -x5974 -x5975 -x5976 -x5977 -x5978 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5991 -x5992 1800.73 v -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 1800.73 v -x20 -x21 -x22 -x23 -x24 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 1800.73 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 1800.73 v -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 1800.73 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 1800.73 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 1800.73 v -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 1800.73 v -x175 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 1800.73 v -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 x220 1800.73 v -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1800.73 v -x245 -x246 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 1800.73 v -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 1800.73 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 1800.73 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 1800.73 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 1800.73 v x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 1800.73 v -x385 -x386 -x387 -x388 -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 1800.73 v -x408 -x409 -x410 -x411 -x412 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 1800.73 v -x431 -x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 1800.73 v -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1800.73 v -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 1800.73 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 1800.73 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 1800.73 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 1800.73 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 1800.73 v -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 1800.73 v -x619 -x620 -x621 -x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 x641 1800.73 v -x642 -x643 -x644 -x645 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664 1800.73 v -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 1800.73 v -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 1800.73 v -x712 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.73 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x758 1800.73 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 1800.73 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 1800.73 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 1800.73 v -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 -x849 -x850 -x851 1800.73 v -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 1800.73 v -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.73 v -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 1800.73 v -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.73 v -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1800.73 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 1800.73 v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.73 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.73 v -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 1800.73 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 1800.73 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 1800.73 v -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 1800.73 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 1800.73 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.73 v -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.73 v -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 1800.73 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1800.73 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 1800.73 v -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 1800.73 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259 -x1260 1800.73 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.73 v -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.73 v -x1298 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 1800.73 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.73 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1800.73 v -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 1800.73 v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 1800.73 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 1800.73 v -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429 1800.73 v -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 1800.73 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.73 v -x1468 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1800.73 v -x1487 -x1488 -x1489 -x1490 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 1800.73 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1800.73 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1800.73 v -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 1800.73 v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 1800.73 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 1800.73 v -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 1800.73 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 1800.73 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.73 v -x1656 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.73 v -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 1800.73 v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 1800.73 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 1800.73 v -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 1800.73 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1769 -x1770 1800.73 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 1800.73 v -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1800.73 v -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x1826 -x1827 1800.73 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1800.73 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 1800.73 v -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 1800.73 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1903 1800.73 v -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 1800.73 v -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 x1938 -x1939 -x1940 1800.73 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1958 -x1959 1800.73 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1800.73 v -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1989 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 1800.73 v -x1998 -x1999 -x2000 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 1800.73 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2036 1800.73 v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 1800.73 v -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 1800.73 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2091 -x2092 1800.73 v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1800.73 v -x2111 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1800.73 v -x2131 -x2132 -x2133 -x2134 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2147 -x2148 -x2149 1800.73 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 1800.73 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 1800.73 v x2188 -x2189 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 1800.73 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2226 -x2227 1800.73 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 1800.73 v -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1800.73 v -x2265 -x2266 -x2267 x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 1800.73 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 1800.73 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1800.73 v -x2321 -x2322 -x2323 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2337 -x2338 -x2339 -x2340 1800.73 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 1800.73 v -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 1800.73 v -x2378 -x2379 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 1800.73 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 -x2415 1800.73 v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1800.73 v -x2434 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 1800.73 v -x2454 -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 1800.73 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1800.73 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.73 v -x2510 -x2511 -x2512 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 1800.73 v -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2547 1800.73 v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 1800.73 v -x2567 -x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 -x2584 -x2585 1800.73 v -x2586 -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2603 -x2604 1800.73 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1800.73 v -x2623 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1800.73 v -x2642 -x2643 -x2644 -x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2658 -x2659 -x2660 1800.73 v -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2681 1800.73 v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 1800.73 v -x2700 x2701 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2714 -x2715 -x2716 -x2717 -x2718 1800.73 v x2719 -x2720 -x2721 -x2722 -x2723 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2736 -x2737 -x2738 1800.73 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.73 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1800.73 v -x2776 -x2777 -x2778 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2793 -x2794 -x2795 1800.73 v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2814 1800.73 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2825 -x2826 -x2827 x2828 -x2829 -x2830 -x2831 -x2832 1800.73 v -x2833 -x2834 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2847 -x2848 -x2849 -x2850 -x2851 1800.73 v -x2852 -x2853 -x2854 -x2855 -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 1800.73 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 x2886 -x2887 -x2888 -x2889 1800.73 v -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2903 -x2904 -x2905 -x2906 -x2908 -x2909 -x2910 1800.73 v -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 1800.73 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2947 -x2948 1800.73 v -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 x2956 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 -x2967 1800.73 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 1800.73 v -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3003 -x3004 -x3005 -x3006 1800.73 v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3025 1800.73 v -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 1800.73 v -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 x3060 -x3061 x3062 -x3063 1800.73 v -x3064 -x3065 x3066 -x3067 -x3069 x3070 -x3071 -x3072 x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3080 x3081 -x3082 x3083 1800.73 v -x3084 -x3085 x3086 -x3087 -x3088 -x3089 x3091 x3092 -x3093 -x3094 -x3095 -x3096 x3097 x3098 -x3099 -x3100 -x3102 -x3103 1800.73 v x3104 x3105 -x3106 -x3107 -x3108 -x3109 x3110 -x3111 x3114 -x3115 x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 x3123 1800.73 v -x3125 -x3126 x3127 -x3128 x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3136 x3137 -x3138 x3139 -x3140 -x3141 x3142 -x3143 1800.73 v -x3144 -x3145 x3147 -x3148 x3149 -x3150 -x3151 -x3152 x3153 -x3154 -x3155 -x3156 x3158 x3159 -x3160 -x3161 x3162 -x3163 1800.73 v -x3164 -x3165 -x3166 x3167 x3169 -x3170 -x3171 x3172 -x3173 -x3174 x3175 -x3176 -x3177 x3178 -x3180 -x3181 x3182 -x3183 1800.73 v -x3184 -x3185 x3186 -x3187 -x3188 -x3189 x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3202 -x3203 1800.73 v -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 1800.73 v -x3222 -x3225 -x3226 -x3227 x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 1800.73 v -x3242 -x3243 -x3244 -x3245 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 1800.73 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 1800.73 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 1800.73 v -x3298 -x3299 -x3300 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3313 -x3314 -x3315 -x3316 1800.73 v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3324 -x3325 -x3326 x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3337 1800.73 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 1800.73 v -x3356 -x3357 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 x3373 -x3374 1800.73 v -x3375 x3376 x3377 -x3378 x3379 -x3381 -x3382 x3383 x3384 -x3385 -x3386 x3387 x3388 -x3389 x3390 -x3392 x3393 -x3394 -x3395 1800.73 v x3396 -x3397 x3398 -x3399 x3400 x3401 -x3403 x3404 -x3405 x3406 -x3407 -x3408 x3409 -x3410 x3411 -x3412 x3414 x3415 -x3416 1800.73 v x3417 -x3418 -x3419 x3420 -x3421 x3422 -x3423 x3425 -x3426 x3427 -x3428 x3429 -x3430 x3431 -x3432 x3433 -x3434 x3436 x3437 1800.73 v -x3438 -x3439 x3440 x3441 -x3442 -x3443 x3444 x3445 -x3448 x3449 -x3450 x3451 -x3452 x3453 -x3454 -x3455 x3456 -x3457 x3459 1800.73 v -x3460 x3461 -x3462 x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.73 v -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 1800.73 v -x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 1800.73 v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 1800.73 v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 1800.73 v -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3570 -x3571 -x3572 -x3573 1800.73 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3592 1800.73 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 1800.73 v -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3625 -x3626 -x3627 -x3628 -x3629 1800.73 v x3630 -x3631 -x3632 -x3633 -x3634 x3636 -x3637 -x3638 -x3639 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3647 -x3648 -x3649 1800.73 v -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 1800.73 v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 1800.73 v -x3688 -x3689 -x3690 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3703 -x3704 -x3705 x3706 1800.73 v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3725 1800.73 v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 1800.73 v -x3744 -x3745 -x3747 -x3748 -x3749 x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3758 -x3759 -x3760 -x3761 -x3762 1800.73 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3781 -x3782 1800.73 v x3783 x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 1800.73 v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 x3812 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 1800.73 v -x3821 -x3822 -x3823 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 x3831 -x3832 -x3833 -x3834 -x3836 -x3837 -x3838 -x3839 1800.73 v -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 1800.73 v -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 x3874 -x3875 -x3876 1800.73 v -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3892 -x3893 -x3894 -x3895 -x3896 1800.73 v -x3897 -x3898 x3899 -x3900 -x3901 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3914 -x3915 1800.73 v -x3916 x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 1800.73 v -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 x3942 -x3943 -x3944 -x3945 -x3947 -x3948 -x3949 x3950 -x3951 -x3952 -x3953 1800.73 v -x3954 -x3955 -x3956 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 1800.73 v -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 1800.73 v -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 x4009 -x4010 1800.73 v -x4011 -x4012 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4025 -x4026 -x4027 -x4028 -x4029 1800.73 v -x4030 -x4031 -x4032 -x4033 -x4034 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 1800.73 v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1800.73 v x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 1800.73 v -x4086 -x4087 -x4088 -x4089 x4091 -x4092 x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 x4102 -x4103 -x4104 -x4105 1800.73 v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4125 1800.73 v -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 1800.73 v -x4144 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4158 -x4159 -x4160 -x4161 -x4162 1800.73 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 x4171 -x4172 x4173 -x4174 -x4175 x4176 -x4177 -x4178 -x4180 -x4181 x4182 1800.73 v -x4183 x4184 -x4185 -x4186 x4187 -x4188 -x4189 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 1800.73 v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 1800.73 v -x4221 -x4222 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 1800.73 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 1800.73 v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 1800.73 v -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 1800.73 v -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 1800.73 v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 1800.73 v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 1800.73 v -x4354 -x4355 -x4356 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 1800.73 v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4391 1800.73 v -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 1800.73 v -x4410 -x4411 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4428 1800.73 v -x4429 -x4430 -x4431 -x4432 -x4433 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4448 -x4449 1800.73 v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 1800.73 v -x4468 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 1800.73 v -x4487 x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 1800.73 v -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 1800.73 v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 1800.73 v -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4559 -x4560 -x4561 -x4562 1800.73 v -x4563 -x4564 x4565 -x4566 -x4567 -x4568 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4581 1800.73 v -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 1800.73 v -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4618 1800.73 v -x4619 x4620 -x4621 -x4622 -x4623 -x4625 x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 1800.73 v -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 1800.73 v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1800.73 v -x4677 -x4678 -x4679 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 1800.73 v -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4714 1800.73 v -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 1800.73 v -x4733 -x4734 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 1800.73 v -x4752 -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 x4770 1800.73 v -x4771 -x4772 -x4773 -x4774 x4775 -x4776 -x4777 x4778 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 1800.73 v -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 1800.73 v -x4810 -x4811 -x4812 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4825 -x4826 -x4827 -x4828 1800.73 v -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 1800.73 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 1800.73 v -x4866 -x4867 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 1800.73 v -x4885 -x4886 -x4887 -x4888 -x4889 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4903 -x4904 1800.73 v -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 1800.73 v -x4923 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 1800.73 v -x4942 -x4943 -x4944 -x4945 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 1800.73 v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 -x4978 1800.73 v x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 1800.73 v -x4999 -x5000 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 1800.73 v -x5019 -x5020 -x5021 -x5022 -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5036 -x5037 1800.73 v -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 x5047 -x5048 x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 1800.73 v -x5058 -x5059 x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 1800.73 v -x5076 -x5077 -x5078 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5091 -x5092 -x5093 -x5094 1800.73 v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5114 1800.73 v -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 x5123 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 1800.73 v -x5133 -x5134 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5147 -x5148 -x5149 -x5150 -x5151 1800.73 v -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 x5166 -x5167 -x5169 -x5170 1800.73 v -x5171 -x5172 x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 1800.73 v -x5189 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 1800.73 v -x5208 -x5209 -x5210 -x5211 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 x5219 -x5220 -x5221 -x5222 -x5225 -x5226 -x5227 1800.73 v -x5228 -x5229 x5230 -x5231 -x5232 -x5233 -x5234 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 1800.73 v -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 1800.73 v -x5265 -x5266 -x5267 -x5269 -x5270 x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 1800.73 v -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5291 -x5292 -x5293 -x5294 -x5295 x5296 -x5297 -x5298 -x5299 -x5300 x5302 -x5303 1800.73 v -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 1800.73 v -x5322 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 1800.73 v -x5342 -x5343 -x5344 -x5345 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 1800.73 v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 1800.73 v -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 1800.73 v -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5413 -x5414 -x5415 -x5416 1800.73 v -x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5435 1800.73 v -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 1800.73 v -x5455 -x5456 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5469 -x5470 -x5471 -x5472 -x5473 1800.73 v -x5474 -x5475 -x5476 x5477 x5478 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5491 -x5492 -x5493 1800.73 v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 1800.73 v -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 1800.73 v -x5531 -x5532 -x5533 -x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 1800.73 v -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5559 -x471 -x1215 -x1988 -x2175 -x2907 1800.73 c Exit Code: 10 1800.73 c Total time: 1800 s
OK -432546
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-39765-1149323910 -o ROOT/results/node67/solver-39765-1149323910 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/39765-1149323910/instance-39765-1149323910.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.96 3/64 27160 /proc/meminfo: memFree=1371952/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=2948 CPUtime=0 /proc/27160/stat : 27160 (bsolo) D 27158 27160 27114 0 -1 0 50 0 0 0 0 0 0 0 19 0 1 0 198060371 3018752 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6890276 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/27160/statm: 737 34 26 55 0 38 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.96 2/64 27160 /proc/meminfo: memFree=1308984/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=71936 CPUtime=9.97 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 16337 0 0 0 989 8 0 0 25 0 1 0 198060371 73662464 16005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 17984 16005 291 55 0 16876 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 71936 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.96 2/64 27160 /proc/meminfo: memFree=1301624/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=79220 CPUtime=19.97 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 18401 0 0 0 1985 12 0 0 25 0 1 0 198060371 81121280 17793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 19805 17793 301 55 0 18697 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 79220 [startup+30.014 s] /proc/loadavg: 0.95 0.96 0.96 2/64 27160 /proc/meminfo: memFree=1298808/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=82056 CPUtime=29.97 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 20210 0 0 0 2983 14 0 0 25 0 1 0 198060371 84025344 18638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 20514 18638 435 55 0 19406 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 82056 [startup+40.0199 s] /proc/loadavg: 0.95 0.96 0.96 2/64 27160 /proc/meminfo: memFree=1296056/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=85076 CPUtime=39.97 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 20940 0 0 0 3980 17 0 0 25 0 1 0 198060371 87117824 19368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 21269 19368 435 55 0 20161 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 85076 [startup+50.0258 s] /proc/loadavg: 0.96 0.96 0.96 2/64 27160 /proc/meminfo: memFree=1250872/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=132992 CPUtime=49.97 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32215 0 0 0 4976 21 0 0 25 0 1 0 198060371 136183808 30643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 33248 30643 435 55 0 32140 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 132992 [startup+60.0316 s] /proc/loadavg: 0.97 0.96 0.96 2/64 27160 /proc/meminfo: memFree=1248376/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=132992 CPUtime=59.97 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32836 0 0 0 5975 22 0 0 25 0 1 0 198060371 136183808 31264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 33248 31264 435 55 0 32140 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 132992 [startup+70.0375 s] /proc/loadavg: 0.97 0.96 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=69.98 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 6975 23 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 118844 [startup+80.0434 s] /proc/loadavg: 0.98 0.96 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=79.97 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 7973 24 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 118844 [startup+90.0492 s] /proc/loadavg: 0.98 0.96 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=89.98 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 8973 25 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 118844 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=99.98 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 9972 26 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 118844 [startup+110.061 s] /proc/loadavg: 0.98 0.96 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=109.98 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 10972 26 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 118844 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=119.98 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 11972 26 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 118844 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=129.98 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 12972 26 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696501 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 118844 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=139.99 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 13972 27 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 118844 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=150 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 14973 27 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 118844 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=159.99 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 15972 27 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 118844 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=170 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 16972 28 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 118844 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=180 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 17971 29 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 118844 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=190 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 18970 30 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 118844 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=118844 CPUtime=200 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 32899 0 0 0 19968 32 0 0 25 0 1 0 198060371 121696256 27834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 29711 27834 435 55 0 28603 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 118844 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.96 2/64 27160 /proc/meminfo: memFree=1261880/2055920 swapFree=4181736/4192956 ################ # More data... # ################ /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1760.34 Current children cumulated vsize (Kb) 219868 [startup+1771.06 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160312/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1770.34 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 176825 209 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1770.34 Current children cumulated vsize (Kb) 219868 [startup+1781.07 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160312/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1780.34 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 177824 210 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1780.34 Current children cumulated vsize (Kb) 219868 [startup+1782.07 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160312/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1781.35 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 177925 210 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 219868 [startup+1783.08 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160312/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1782.35 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 178025 210 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (Kb) 219868 [startup+1784.08 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1783.36 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 178125 211 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 219868 [startup+1785.09 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1784.36 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 178225 211 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1784.36 Current children cumulated vsize (Kb) 219868 [startup+1786.1 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1785.37 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 178326 211 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 219868 [startup+1787.1 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1786.37 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 178426 211 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (Kb) 219868 [startup+1788.11 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1787.37 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 178526 211 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1787.37 Current children cumulated vsize (Kb) 219868 [startup+1789.11 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1788.38 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 178626 212 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 219868 [startup+1790.12 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1789.39 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 178727 212 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 219868 [startup+1791.12 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1790.39 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 178827 212 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 219868 [startup+1792.13 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1791.39 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 178927 212 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (Kb) 219868 [startup+1793.13 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1792.4 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 179028 212 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 219868 [startup+1794.14 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1793.4 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 179128 212 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 219868 [startup+1795.14 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1794.4 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 179228 212 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 219868 [startup+1796.15 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1795.42 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 179329 213 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1795.42 Current children cumulated vsize (Kb) 219868 [startup+1797.15 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1796.42 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 179429 213 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 219868 [startup+1798.16 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1797.42 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 179529 213 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (Kb) 219868 [startup+1799.16 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1798.43 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 179630 213 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 219868 [startup+1800.17 s] /proc/loadavg: 1.01 1.00 0.97 2/64 27355 /proc/meminfo: memFree=1160248/2055920 swapFree=4181736/4192956 [pid=27160] ppid=27158 vsize=219868 CPUtime=1799.43 /proc/27160/stat : 27160 (bsolo) R 27158 27160 27114 0 -1 0 66465 0 0 0 179730 213 0 0 25 0 1 0 198060371 225144832 53090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27160/statm: 54967 53090 435 55 0 53859 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 219868 Child status: 10 Real time (s): 1800.77 CPU time (s): 1800.04 CPU user time (s): 1797.87 CPU system time (s): 2.17067 CPU usage (%): 99.9594 Max. virtual memory (cumulated for all children) (Kb): 220300
Begin job on node67 on Sat Jun 3 08:38:30 UTC 2006 FILE ID= 39765-1149323910 PBS_JOBID= 309497 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/39765-1149323910/instance-39765-1149323910.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-39765-1149323910 -o ROOT/results/node67/solver-39765-1149323910 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/39765-1149323910/instance-39765-1149323910.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 0c3c379676a8ddac6d8ad36181bfd2e9 RANDOM SEED= 666665446 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1372160 kB Buffers: 11384 kB Cached: 606096 kB SwapCached: 2748 kB Active: 35324 kB Inactive: 590756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1372160 kB SwapTotal: 4192956 kB SwapFree: 4181736 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14724 kB Slab: 43644 kB Committed_AS: 306540 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node67 on Sat Jun 3 09:08:31 UTC 2006