Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 17713151 | 1800.02 | 1800.56 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb |
MD5SUM | e99162fa0a9c8caac0a04031bf39653d |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5749754 |
Best CPU time to get the best result obtained on this benchmark | 1800.59 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4815872 |
Optimality of the best value was proved | NO |
Number of variables | 7812 |
Total number of constraints | 284 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 284 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 540 |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1450667950777 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1450667950777 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.01 c BIG Int formula... 0.20 c Initial problem consists of 7812 variables and 316 constraints. 0.22 c No problem reductions applied in OPT. instance. 0.22 c preprocess terminated. Elapsed time: 0.213 0.22 c After prepocess the problem consists of 3840 variables and 316 constraints. 0.22 c Initial Lower Bound: 0 0.32 c Restart #1 #Var: 3840 LB: 0 @ 0.315 0.49 c Restart #2 #Var: 3840 LB: 0 @ 0.488 0.74 c Restart #3 #Var: 3840 LB: 0 @ 0.734 1.06 c Restart #4 #Var: 3840 LB: 0 @ 1.053 1.45 c Restart #5 #Var: 3840 LB: 0 @ 1.443 1.91 c Restart #6 #Var: 3840 LB: 0 @ 1.905 2.43 c Restart #7 #Var: 3840 LB: 0 @ 2.429 3.04 c Restart #8 #Var: 3840 LB: 0 @ 3.036 3.76 c Restart #9 #Var: 3840 LB: 0 @ 3.757 4.45 c Restart #10 #Var: 3840 LB: 0 @ 4.444 5.58 c Restart #11 #Var: 3840 LB: 0 @ 5.579 6.74 c Restart #12 #Var: 3840 LB: 0 @ 6.733 7.98 c Restart #13 #Var: 3840 LB: 0 @ 7.973 9.31 c Restart #14 #Var: 3840 LB: 0 @ 9.303 10.85 c Restart #15 #Var: 3840 LB: 0 @ 10.836 12.01 c Restart #16 #Var: 3840 LB: 0 @ 11.999 13.69 c Restart #17 #Var: 3840 LB: 0 @ 13.675 15.23 c Restart #18 #Var: 3840 LB: 0 @ 15.219 17.22 c Restart #19 #Var: 3840 LB: 0 @ 17.211 19.23 c Restart #20 #Var: 3840 LB: 0 @ 19.222 21.19 c Restart #21 #Var: 3840 LB: 0 @ 21.172 23.63 c Restart #22 #Var: 3840 LB: 0 @ 23.613 26.21 c Restart #23 #Var: 3840 LB: 0 @ 26.191 27.94 c Restart #24 #Var: 3840 LB: 0 @ 27.923 30.96 c Restart #25 #Var: 3840 LB: 0 @ 30.944 32.69 c Restart #26 #Var: 3840 LB: 0 @ 32.67 34.59 c Restart #27 #Var: 3840 LB: 0 @ 34.571 36.70 c Restart #28 #Var: 3840 LB: 0 @ 36.681 38.82 c Restart #29 #Var: 3840 LB: 0 @ 38.798 41.06 c Restart #30 #Var: 3840 LB: 0 @ 41.043 43.52 c Restart #31 #Var: 3840 LB: 0 @ 43.499 56.41 c Restart #32 #Var: 3840 LB: 0 @ 56.387 58.30 c Sol. found (all assignments made)... 58.30 o 28863494 58.30 c NEW SOLUTION FOUND: 28863494 @ 58.276 58.31 c Sol. found (all assignments made)... 58.31 o 28863430 58.31 c NEW SOLUTION FOUND: 28863430 @ 58.283 58.32 c Sol. found (all assignments made)... 58.32 c Sol. found (all assignments made)... 58.39 c Sol. found (all assignments made)... 58.39 o 28744089 58.39 c NEW SOLUTION FOUND: 28744089 @ 58.366 58.42 c Sol. found (all assignments made)... 58.42 o 28744033 58.42 c NEW SOLUTION FOUND: 28744033 @ 58.396 58.43 c Sol. found (all assignments made)... 58.45 c Sol. found (all assignments made)... 58.58 c Sol. found (all assignments made)... 58.61 c Sol. found (all assignments made)... 58.62 c Sol. found (all assignments made)... 58.63 c Sol. found (all assignments made)... 58.79 c Sol. found (all assignments made)... 58.81 c Sol. found (all assignments made)... 58.98 c Sol. found (all assignments made)... 59.00 c Sol. found (all assignments made)... 59.01 c Sol. found (all assignments made)... 59.02 c Sol. found (all assignments made)... 59.03 c Sol. found (all assignments made)... 59.13 c Sol. found (all assignments made)... 59.14 c Sol. found (all assignments made)... 59.16 c Sol. found (all assignments made)... 59.43 c Sol. found (all assignments made)... 59.48 c Sol. found (all assignments made)... 59.50 c Sol. found (all assignments made)... 59.51 c Sol. found (all assignments made)... 59.57 c Sol. found (all assignments made)... 59.70 c Sol. found (all assignments made)... 59.71 c Sol. found (all assignments made)... 59.72 c Sol. found (all assignments made)... 59.77 c Sol. found (all assignments made)... 59.87 c Sol. found (all assignments made)... 59.91 c Sol. found (all assignments made)... 59.92 c Sol. found (all assignments made)... 59.97 c Sol. found (all assignments made)... 61.24 c Sol. found (all assignments made)... 61.53 c Sol. found (all assignments made)... 61.55 c Sol. found (all assignments made)... 61.55 o 28731849 61.55 c NEW SOLUTION FOUND: 28731849 @ 61.527 61.57 c Sol. found (all assignments made)... 61.57 o 28731817 61.57 c NEW SOLUTION FOUND: 28731817 @ 61.547 61.59 c Sol. found (all assignments made)... 61.59 o 28731785 61.59 c NEW SOLUTION FOUND: 28731785 @ 61.561 61.59 c Sol. found (all assignments made)... 61.73 c Sol. found (all assignments made)... 61.74 c Sol. found (all assignments made)... 61.76 c Sol. found (all assignments made)... 61.77 c Sol. found (all assignments made)... 61.79 c Sol. found (all assignments made)... 61.80 c Sol. found (all assignments made)... 61.81 c Sol. found (all assignments made)... 61.81 c Sol. found (all assignments made)... 61.96 c Sol. found (all assignments made)... 61.96 c Sol. found (all assignments made)... 61.99 c Sol. found (all assignments made)... 61.99 c Sol. found (all assignments made)... 62.12 c Sol. found (all assignments made)... 62.15 c Sol. found (all assignments made)... 62.16 c Sol. found (all assignments made)... 62.22 c Sol. found (all assignments made)... 62.23 c Sol. found (all assignments made)... 62.23 o 28731761 62.23 c NEW SOLUTION FOUND: 28731761 @ 62.201 62.25 c Sol. found (all assignments made)... 62.25 c Sol. found (all assignments made)... 62.49 c Sol. found (all assignments made)... 62.51 c Sol. found (all assignments made)... 62.55 c Sol. found (all assignments made)... 62.57 c Sol. found (all assignments made)... 62.64 c Sol. found (all assignments made)... 62.66 c Sol. found (all assignments made)... 62.68 c Sol. found (all assignments made)... 62.68 o 28731753 62.68 c NEW SOLUTION FOUND: 28731753 @ 62.655 62.72 c Sol. found (all assignments made)... 62.93 c Sol. found (all assignments made)... 62.96 c Sol. found (all assignments made)... 62.97 c Sol. found (all assignments made)... 62.99 c Sol. found (all assignments made)... 63.02 c Sol. found (all assignments made)... 63.05 c Sol. found (all assignments made)... 63.06 c Sol. found (all assignments made)... 63.07 c Sol. found (all assignments made)... 63.13 c Sol. found (all assignments made)... 63.18 c Sol. found (all assignments made)... 63.18 c Sol. found (all assignments made)... 63.20 c Sol. found (all assignments made)... 63.20 c Sol. found (all assignments made)... 63.22 c Sol. found (all assignments made)... 63.26 c Sol. found (all assignments made)... 63.48 c Sol. found (all assignments made)... 63.65 c Sol. found (all assignments made)... 64.95 c Sol. found (all assignments made)... 65.26 c Sol. found (all assignments made)... 65.49 c Sol. found (all assignments made)... 65.49 c Sol. found (all assignments made)... 65.51 c Sol. found (all assignments made)... 65.64 c Sol. found (all assignments made)... 65.67 c Sol. found (all assignments made)... 65.67 c Sol. found (all assignments made)... 65.69 c Sol. found (all assignments made)... 65.71 c Sol. found (all assignments made)... 65.86 c Sol. found (all assignments made)... 65.88 c Sol. found (all assignments made)... 65.89 c Sol. found (all assignments made)... 65.94 c Sol. found (all assignments made)... 65.94 o 28731745 65.94 c NEW SOLUTION FOUND: 28731745 @ 65.91 65.95 c Sol. found (all assignments made)... 65.97 c Sol. found (all assignments made)... 65.99 c Sol. found (all assignments made)... 66.00 c Sol. found (all assignments made)... 66.03 c Sol. found (all assignments made)... 66.06 c Sol. found (all assignments made)... 66.07 c Sol. found (all assignments made)... 66.09 c Sol. found (all assignments made)... 66.18 c Sol. found (all assignments made)... 66.20 c Sol. found (all assignments made)... 66.21 c Sol. found (all assignments made)... 66.25 c Sol. found (all assignments made)... 66.26 c Sol. found (all assignments made)... 66.29 c Sol. found (all assignments made)... 66.32 c Sol. found (all assignments made)... 66.34 c Sol. found (all assignments made)... 66.35 c Sol. found (all assignments made)... 66.41 c Sol. found (all assignments made)... 66.44 c Sol. found (all assignments made)... 66.45 c Sol. found (all assignments made)... 66.58 c Sol. found (all assignments made)... 66.60 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.82 c Sol. found (all assignments made)... 66.84 c Sol. found (all assignments made)... 66.84 c Sol. found (all assignments made)... 66.90 c Sol. found (all assignments made)... 66.92 c Sol. found (all assignments made)... 66.93 c Sol. found (all assignments made)... 67.00 c Sol. found (all assignments made)... 67.03 c Sol. found (all assignments made)... 67.04 c Sol. found (all assignments made)... 67.09 c Sol. found (all assignments made)... 67.11 c Sol. found (all assignments made)... 67.12 c Sol. found (all assignments made)... 67.15 c Sol. found (all assignments made)... 67.16 c Sol. found (all assignments made)... 67.18 c Sol. found (all assignments made)... 67.20 c Sol. found (all assignments made)... 67.22 c Sol. found (all assignments made)... 67.23 c Sol. found (all assignments made)... 67.30 c Sol. found (all assignments made)... 67.31 c Sol. found (all assignments made)... 67.32 c Sol. found (all assignments made)... 67.39 c Sol. found (all assignments made)... 67.44 c Sol. found (all assignments made)... 67.45 c Sol. found (all assignments made)... 67.45 c Sol. found (all assignments made)... 67.53 c Sol. found (all assignments made)... 67.54 c Sol. found (all assignments made)... 67.54 c Sol. found (all assignments made)... 67.60 c Sol. found (all assignments made)... 67.61 c Sol. found (all assignments made)... 67.65 c Sol. found (all assignments made)... 67.71 c Sol. found (all assignments made)... 67.74 c Sol. found (all assignments made)... 67.76 c Sol. found (all assignments made)... 67.76 c Sol. found (all assignments made)... 67.89 c Sol. found (all assignments made)... 68.40 c Sol. found (all assignments made)... 68.61 c Sol. found (all assignments made)... 69.43 c Sol. found (all assignments made)... 69.52 c Sol. found (all assignments made)... 69.57 c Sol. found (all assignments made)... 69.58 c Sol. found (all assignments made)... 69.59 c Sol. found (all assignments made)... 69.67 c Sol. found (all assignments made)... 69.71 c Sol. found (all assignments made)... 69.72 c Sol. found (all assignments made)... 69.73 c Sol. found (all assignments made)... 69.81 c Sol. found (all assignments made)... 69.82 c Sol. found (all assignments made)... 69.84 c Sol. found (all assignments made)... 69.88 c Sol. found (all assignments made)... 69.90 c Sol. found (all assignments made)... 69.91 c Sol. found (all assignments made)... 69.97 c Sol. found (all assignments made)... 69.98 c Sol. found (all assignments made)... 69.99 c Sol. found (all assignments made)... 70.08 c Sol. found (all assignments made)... 70.09 c Sol. found (all assignments made)... 70.10 c Sol. found (all assignments made)... 70.14 c Sol. found (all assignments made)... 70.15 c Sol. found (all assignments made)... 70.19 c Sol. found (all assignments made)... 70.24 c Sol. found (all assignments made)... 70.25 c Sol. found (all assignments made)... 70.26 c Sol. found (all assignments made)... 70.33 c Sol. found (all assignments made)... 70.34 c Sol. found (all assignments made)... 70.37 c Sol. found (all assignments made)... 70.42 c Sol. found (all assignments made)... 70.44 c Sol. found (all assignments made)... 70.50 c Sol. found (all assignments made)... 70.51 c Sol. found (all assignments made)... 70.51 c Sol. found (all assignments made)... 70.56 c Sol. found (all assignments made)... 70.57 c Sol. found (all assignments made)... 70.58 c Sol. found (all assignments made)... 70.73 c Sol. found (all assignments made)... 70.74 c Sol. found (all assignments made)... 70.75 c Sol. found (all assignments made)... 70.86 c Sol. found (all assignments made)... 70.88 c Sol. found (all assignments made)... 70.90 c Sol. found (all assignments made)... 70.92 c Sol. found (all assignments made)... 70.94 c Sol. found (all assignments made)... 70.95 c Sol. found (all assignments made)... 71.05 c Sol. found (all assignments made)... 71.06 c Sol. found (all assignments made)... 71.07 c Sol. found (all assignments made)... 71.13 c Sol. found (all assignments made)... 71.14 c Sol. found (all assignments made)... 71.14 c Sol. found (all assignments made)... 73.71 c Sol. found (all assignments made)... 73.88 c Sol. found (all assignments made)... 74.08 c Sol. found (all assignments made)... 74.08 o 28731741 74.08 c NEW SOLUTION FOUND: 28731741 @ 74.054 74.09 c Sol. found (all assignments made)... 74.13 c Sol. found (all assignments made)... 74.22 c Sol. found (all assignments made)... 74.25 c Sol. found (all assignments made)... 74.27 c Sol. found (all assignments made)... 74.28 c Sol. found (all assignments made)... 74.32 c Sol. found (all assignments made)... 74.39 c Sol. found (all assignments made)... 74.42 c Sol. found (all assignments made)... 74.44 c Sol. found (all assignments made)... 74.45 c Sol. found (all assignments made)... 74.52 c Sol. found (all assignments made)... 74.55 c Sol. found (all assignments made)... 74.57 c Sol. found (all assignments made)... 74.58 c Sol. found (all assignments made)... 74.70 c Sol. found (all assignments made)... 74.72 c Sol. found (all assignments made)... 74.73 c Sol. found (all assignments made)... 74.77 c Sol. found (all assignments made)... 74.78 c Sol. found (all assignments made)... 74.80 c Sol. found (all assignments made)... 74.84 c Sol. found (all assignments made)... 74.86 c Sol. found (all assignments made)... 74.87 c Sol. found (all assignments made)... 74.92 c Sol. found (all assignments made)... 74.93 c Sol. found (all assignments made)... 74.94 c Sol. found (all assignments made)... 75.00 c Sol. found (all assignments made)... 75.02 c Sol. found (all assignments made)... 75.03 c Sol. found (all assignments made)... 75.15 c Sol. found (all assignments made)... 75.16 c Sol. found (all assignments made)... 75.17 c Sol. found (all assignments made)... 75.21 c Sol. found (all assignments made)... 75.21 c Sol. found (all assignments made)... 75.23 c Sol. found (all assignments made)... 75.32 c Sol. found (all assignments made)... 75.34 c Sol. found (all assignments made)... 75.34 c Sol. found (all assignments made)... 75.41 c Sol. found (all assignments made)... 75.43 c Sol. found (all assignments made)... 75.43 c Sol. found (all assignments made)... 75.53 c Sol. found (all assignments made)... 75.54 c Sol. found (all assignments made)... 75.55 c Sol. found (all assignments made)... 75.60 c Sol. found (all assignments made)... 75.61 c Sol. found (all assignments made)... 75.64 c Sol. found (all assignments made)... 75.78 c Sol. found (all assignments made)... 75.80 c Sol. found (all assignments made)... 75.81 c Sol. found (all assignments made)... 75.86 c Sol. found (all assignments made)... 75.87 c Sol. found (all assignments made)... 75.88 c Sol. found (all assignments made)... 76.22 c Sol. found (all assignments made)... 76.52 c Sol. found (all assignments made)... 76.56 c Sol. found (all assignments made)... 76.57 c Sol. found (all assignments made)... 76.59 c Sol. found (all assignments made)... 76.63 c Sol. found (all assignments made)... 76.65 c Sol. found (all assignments made)... 76.66 c Sol. found (all assignments made)... 76.71 c Sol. found (all assignments made)... 76.73 c Sol. found (all assignments made)... 76.76 c Sol. found (all assignments made)... 76.77 c Sol. found (all assignments made)... 76.79 c Sol. found (all assignments made)... 76.87 c Sol. found (all assignments made)... 76.89 c Sol. found (all assignments made)... 76.90 c Sol. found (all assignments made)... 77.01 c Sol. found (all assignments made)... 77.01 c Sol. found (all assignments made)... 77.03 c Sol. found (all assignments made)... 77.10 c Sol. found (all assignments made)... 77.15 c Sol. found (all assignments made)... 77.16 c Sol. found (all assignments made)... 77.20 c Sol. found (all assignments made)... 77.29 c Sol. found (all assignments made)... 77.31 c Sol. found (all assignments made)... 77.31 c Sol. found (all assignments made)... 77.36 c Sol. found (all assignments made)... 77.38 c Sol. found (all assignments made)... 77.39 c Sol. found (all assignments made)... 77.42 c Sol. found (all assignments made)... 77.43 c Sol. found (all assignments made)... 77.44 c Sol. found (all assignments made)... 77.50 c Sol. found (all assignments made)... 77.57 c Sol. found (all assignments made)... 77.59 c Sol. found (all assignments made)... 77.60 c Sol. found (all assignments made)... 77.73 c Sol. found (all assignments made)... 77.75 c Sol. found (all assignments made)... 77.75 c Sol. found (all assignments made)... 77.92 c Sol. found (all assignments made)... 77.94 c Sol. found (all assignments made)... 77.95 c Sol. found (all assignments made)... 77.97 c Sol. found (all assignments made)... 77.98 c Sol. found (all assignments made)... 77.99 c Sol. found (all assignments made)... 78.08 c Sol. found (all assignments made)... 78.09 c Sol. found (all assignments made)... 78.11 c Sol. found (all assignments made)... 78.16 c Sol. found (all assignments made)... 78.18 c Sol. found (all assignments made)... 78.18 c Sol. found (all assignments made)... 78.23 c Sol. found (all assignments made)... 78.25 c Sol. found (all assignments made)... 78.26 c Sol. found (all assignments made)... 78.31 c Sol. found (all assignments made)... 78.33 c Sol. found (all assignments made)... 78.34 c Sol. found (all assignments made)... 78.45 c Sol. found (all assignments made)... 78.47 c Sol. found (all assignments made)... 78.48 c Sol. found (all assignments made)... 78.53 c Sol. found (all assignments made)... 78.55 c Sol. found (all assignments made)... 78.55 c Sol. found (all assignments made)... 81.74 c Sol. found (all assignments made)... 81.75 c Sol. found (all assignments made)... 81.76 c Sol. found (all assignments made)... 81.82 c Sol. found (all assignments made)... 81.88 c Sol. found (all assignments made)... 81.91 c Sol. found (all assignments made)... 81.92 c Sol. found (all assignments made)... 81.94 c Sol. found (all assignments made)... 82.02 c Sol. found (all assignments made)... 82.04 c Sol. found (all assignments made)... 82.06 c Sol. found (all assignments made)... 82.14 c Sol. found (all assignments made)... 82.16 c Sol. found (all assignments made)... 82.17 c Sol. found (all assignments made)... 82.32 c Sol. found (all assignments made)... 82.34 c Sol. found (all assignments made)... 82.37 c Sol. found (all assignments made)... 82.42 c Sol. found (all assignments made)... 82.44 c Sol. found (all assignments made)... 82.51 c Sol. found (all assignments made)... 82.52 c Sol. found (all assignments made)... 82.54 c Sol. found (all assignments made)... 82.62 c Sol. found (all assignments made)... 82.64 c Sol. found (all assignments made)... 82.66 c Sol. found (all assignments made)... 82.77 c Sol. found (all assignments made)... 82.79 c Sol. found (all assignments made)... 82.80 c Sol. found (all assignments made)... 82.99 c Sol. found (all assignments made)... 82.99 c Sol. found (all assignments made)... 83.01 c Sol. found (all assignments made)... 83.05 c Sol. found (all assignments made)... 83.06 c Sol. found (all assignments made)... 83.06 c Sol. found (all assignments made)... 83.18 c Sol. found (all assignments made)... 83.18 c Sol. found (all assignments made)... 83.19 c Sol. found (all assignments made)... 83.24 c Sol. found (all assignments made)... 83.25 c Sol. found (all assignments made)... 83.26 c Sol. found (all assignments made)... 83.37 c Sol. found (all assignments made)... 83.38 c Sol. found (all assignments made)... 83.40 c Sol. found (all assignments made)... 83.49 c Sol. found (all assignments made)... 83.51 c Sol. found (all assignments made)... 83.51 c Sol. found (all assignments made)... 83.60 c Sol. found (all assignments made)... 83.62 c Sol. found (all assignments made)... 83.63 c Sol. found (all assignments made)... 83.69 c Sol. found (all assignments made)... 83.71 c Sol. found (all assignments made)... 83.71 c Sol. found (all assignments made)... 83.83 c Sol. found (all assignments made)... 83.85 c Sol. found (all assignments made)... 83.89 c Sol. found (all assignments made)... 83.95 c Sol. found (all assignments made)... 83.96 c Sol. found (all assignments made)... 83.97 c Sol. found (all assignments made)... 84.18 c Sol. found (all assignments made)... 84.26 c Sol. found (all assignments made)... 84.27 c Sol. found (all assignments made)... 84.28 c Sol. found (all assignments made)... 84.34 c Sol. found (all assignments made)... 84.36 c Sol. found (all assignments made)... 84.37 c Sol. found (all assignments made)... 84.38 c Sol. found (all assignments made)... 84.44 c Sol. found (all assignments made)... 84.47 c Sol. found (all assignments made)... 84.49 c Sol. found (all assignments made)... 84.52 c Sol. found (all assignments made)... 84.53 c Sol. found (all assignments made)... 84.64 c Sol. found (all assignments made)... 84.66 c Sol. found (all assignments made)... 84.67 c Sol. found (all assignments made)... 84.78 c Sol. found (all assignments made)... 84.80 c Sol. found (all assignments made)... 84.82 c Sol. found (all assignments made)... 84.93 c Sol. found (all assignments made)... 84.95 c Sol. found (all assignments made)... 84.96 c Sol. found (all assignments made)... 85.04 c Sol. found (all assignments made)... 85.06 c Sol. found (all assignments made)... 85.09 c Sol. found (all assignments made)... 85.12 c Sol. found (all assignments made)... 85.14 c Sol. found (all assignments made)... 85.14 c Sol. found (all assignments made)... 85.23 c Sol. found (all assignments made)... 85.24 c Sol. found (all assignments made)... 85.24 c Sol. found (all assignments made)... 85.40 c Sol. found (all assignments made)... 85.43 c Sol. found (all assignments made)... 85.45 c Sol. found (all assignments made)... 85.53 c Sol. found (all assignments made)... 85.54 c Sol. found (all assignments made)... 85.55 c Sol. found (all assignments made)... 85.61 c Sol. found (all assignments made)... 85.63 c Sol. found (all assignments made)... 85.64 c Sol. found (all assignments made)... 85.72 c Sol. found (all assignments made)... 85.73 c Sol. found (all assignments made)... 85.73 c Sol. found (all assignments made)... 85.81 c Sol. found (all assignments made)... 85.83 c Sol. found (all assignments made)... 85.84 c Sol. found (all assignments made)... 85.92 c Sol. found (all assignments made)... 85.94 c Sol. found (all assignments made)... 85.95 c Sol. found (all assignments made)... 86.04 c Sol. found (all assignments made)... 86.06 c Sol. found (all assignments made)... 86.07 c Sol. found (all assignments made)... 86.12 c Sol. found (all assignments made)... 86.14 c Sol. found (all assignments made)... 86.15 c Sol. found (all assignments made)... 86.25 c Sol. found (all assignments made)... 86.26 c Sol. found (all assignments made)... 86.27 c Sol. found (all assignments made)... 86.33 c Sol. found (all assignments made)... 86.33 c Sol. found (all assignments made)... 86.35 c Sol. found (all assignments made)... 87.53 c Sol. found (all assignments made)... 87.70 c Sol. found (all assignments made)... 87.71 c Sol. found (all assignments made)... 87.73 c Sol. found (all assignments made)... 87.80 c Sol. found (all assignments made)... 87.90 c Sol. found (all assignments made)... 87.90 c Sol. found (all assignments made)... 87.91 c Sol. found (all assignments made)... 87.97 c Sol. found (all assignments made)... 88.02 c Sol. found (all assignments made)... 88.03 c Sol. found (all assignments made)... 88.04 c Sol. found (all assignments made)... 88.09 c Sol. found (all assignments made)... 88.16 c Sol. found (all assignments made)... 88.19 c Sol. found (all assignments made)... 88.20 c Sol. found (all assignments made)... 88.21 c Sol. found (all assignments made)... 88.29 c Sol. found (all assignments made)... 88.33 c Sol. found (all assignments made)... 88.34 c Sol. found (all assignments made)... 88.36 c Sol. found (all assignments made)... 88.41 c Sol. found (all assignments made)... 88.44 c Sol. found (all assignments made)... 88.46 c Sol. found (all assignments made)... 88.48 c Sol. found (all assignments made)... 88.56 c Sol. found (all assignments made)... 88.57 c Sol. found (all assignments made)... 88.59 c Sol. found (all assignments made)... 88.67 c Sol. found (all assignments made)... 88.69 c Sol. found (all assignments made)... 88.70 c Sol. found (all assignments made)... 88.75 c Sol. found (all assignments made)... 88.78 c Sol. found (all assignments made)... 88.80 c Sol. found (all assignments made)... 88.82 c Sol. found (all assignments made)... 88.87 c Sol. found (all assignments made)... 88.88 c Sol. found (all assignments made)... 88.92 c Sol. found (all assignments made)... 88.98 c Sol. found (all assignments made)... 88.99 c Sol. found (all assignments made)... 89.00 c Sol. found (all assignments made)... 89.03 c Sol. found (all assignments made)... 89.05 c Sol. found (all assignments made)... 89.07 c Sol. found (all assignments made)... 89.15 c Sol. found (all assignments made)... 89.18 c Sol. found (all assignments made)... 89.19 c Sol. found (all assignments made)... 89.26 c Sol. found (all assignments made)... 89.27 c Sol. found (all assignments made)... 89.28 c Sol. found (all assignments made)... 89.32 c Sol. found (all assignments made)... 89.33 c Sol. found (all assignments made)... 89.34 c Sol. found (all assignments made)... 89.43 c Sol. found (all assignments made)... 89.44 c Sol. found (all assignments made)... 89.47 c Sol. found (all assignments made)... 89.50 c Sol. found (all assignments made)... 89.52 c Sol. found (all assignments made)... 89.53 c Sol. found (all assignments made)... 89.57 c Sol. found (all assignments made)... 89.59 c Sol. found (all assignments made)... 89.60 c Sol. found (all assignments made)... 89.65 c Sol. found (all assignments made)... 89.66 c Sol. found (all assignments made)... 89.68 c Sol. found (all assignments made)... 89.75 c Sol. found (all assignments made)... 89.76 c Sol. found (all assignments made)... 89.77 c Sol. found (all assignments made)... 89.82 c Sol. found (all assignments made)... 89.83 c Sol. found (all assignments made)... 89.85 c Sol. found (all assignments made)... 89.87 c Sol. found (all assignments made)... 89.88 c Sol. found (all assignments made)... 89.89 c Sol. found (all assignments made)... 89.98 c Sol. found (all assignments made)... 90.01 c Sol. found (all assignments made)... 90.02 c Sol. found (all assignments made)... 90.03 c Sol. found (all assignments made)... 90.09 c Sol. found (all assignments made)... 90.15 c Sol. found (all assignments made)... 90.19 c Sol. found (all assignments made)... 90.20 c Sol. found (all assignments made)... 90.21 c Sol. found (all assignments made)... 90.30 c Sol. found (all assignments made)... 90.32 c Sol. found (all assignments made)... 90.33 c Sol. found (all assignments made)... 90.42 c Sol. found (all assignments made)... 90.44 c Sol. found (all assignments made)... 90.45 c Sol. found (all assignments made)... 90.56 c Sol. found (all assignments made)... 90.57 c Sol. found (all assignments made)... 90.58 c Sol. found (all assignments made)... 90.63 c Sol. found (all assignments made)... 90.68 c Sol. found (all assignments made)... 90.70 c Sol. found (all assignments made)... 90.71 c Sol. found (all assignments made)... 90.79 c Sol. found (all assignments made)... 90.80 c Sol. found (all assignments made)... 90.82 c Sol. found (all assignments made)... 90.88 c Sol. found (all assignments made)... 90.89 c Sol. found (all assignments made)... 90.89 c Sol. found (all assignments made)... 90.97 c Sol. found (all assignments made)... 90.98 c Sol. found (all assignments made)... 90.98 c Sol. found (all assignments made)... 91.08 c Sol. found (all assignments made)... 91.09 c Sol. found (all assignments made)... 91.10 c Sol. found (all assignments made)... 91.14 c Sol. found (all assignments made)... 91.17 c Sol. found (all assignments made)... 91.18 c Sol. found (all assignments made)... 91.23 c Sol. found (all assignments made)... 91.24 c Sol. found (all assignments made)... 91.25 c Sol. found (all assignments made)... 91.33 c Sol. found (all assignments made)... 91.35 c Sol. found (all assignments made)... 91.35 c Sol. found (all assignments made)... 91.40 c Sol. found (all assignments made)... 91.43 c Sol. found (all assignments made)... 91.44 c Sol. found (all assignments made)... 91.46 c Sol. found (all assignments made)... 91.57 c Sol. found (all assignments made)... 91.58 c Sol. found (all assignments made)... 91.60 c Sol. found (all assignments made)... 91.68 c Sol. found (all assignments made)... 91.71 c Sol. found (all assignments made)... 91.72 c Sol. found (all assignments made)... 91.77 c Sol. found (all assignments made)... 91.78 c Sol. found (all assignments made)... 91.80 c Sol. found (all assignments made)... 91.86 c Sol. found (all assignments made)... 91.88 c Sol. found (all assignments made)... 91.89 c Sol. found (all assignments made)... 91.93 c Sol. found (all assignments made)... 91.95 c Sol. found (all assignments made)... 91.96 c Sol. found (all assignments made)... 91.99 c Sol. found (all assignments made)... 92.00 c Sol. found (all assignments made)... 92.02 c Sol. found (all assignments made)... 92.09 c Sol. found (all assignments made)... 92.11 c Sol. found (all assignments made)... 92.12 c Sol. found (all assignments made)... 92.17 c Sol. found (all assignments made)... 92.19 c Sol. found (all assignments made)... 92.20 c Sol. found (all assignments made)... 94.41 c Sol. found (all assignments made)... 94.95 c Sol. found (all assignments made)... 95.18 c Sol. found (all assignments made)... 95.50 c Sol. found (all assignments made)... 95.73 c Sol. found (all assignments made)... 96.00 c Sol. found (all assignments made)... 96.30 c Sol. found (all assignments made)... 97.55 c Sol. found (all assignments made)... 97.56 c Sol. found (all assignments made)... 97.58 c Sol. found (all assignments made)... 97.64 c Sol. found (all assignments made)... 97.67 c Sol. found (all assignments made)... 97.68 c Sol. found (all assignments made)... 97.72 c Sol. found (all assignments made)... 97.75 c Sol. found (all assignments made)... 97.76 c Sol. found (all assignments made)... 97.82 c Sol. found (all assignments made)... 97.83 c Sol. found (all assignments made)... 97.86 c Sol. found (all assignments made)... 97.90 c Sol. found (all assignments made)... 97.92 c Sol. found (all assignments made)... 97.92 c Sol. found (all assignments made)... 98.01 c Sol. found (all assignments made)... 98.02 c Sol. found (all assignments made)... 98.06 c Sol. found (all assignments made)... 98.10 c Sol. found (all assignments made)... 98.11 c Sol. found (all assignments made)... 98.14 c Sol. found (all assignments made)... 98.15 c Sol. found (all assignments made)... 98.23 c Sol. found (all assignments made)... 98.24 c Sol. found (all assignments made)... 98.26 c Sol. found (all assignments made)... 98.35 c Sol. found (all assignments made)... 98.36 c Sol. found (all assignments made)... 98.39 c Sol. found (all assignments made)... 98.39 c Sol. found (all assignments made)... 98.45 c Sol. found (all assignments made)... 98.46 c Sol. found (all assignments made)... 98.48 c Sol. found (all assignments made)... 98.49 c Sol. found (all assignments made)... 98.60 c Sol. found (all assignments made)... 98.62 c Sol. found (all assignments made)... 98.63 c Sol. found (all assignments made)... 98.64 c Sol. found (all assignments made)... 98.69 c Sol. found (all assignments made)... 98.70 c Sol. found (all assignments made)... 98.74 c Sol. found (all assignments made)... 98.76 c Sol. found (all assignments made)... 98.84 c Sol. found (all assignments made)... 98.86 c Sol. found (all assignments made)... 98.88 c Sol. found (all assignments made)... 98.96 c Sol. found (all assignments made)... 98.98 c Sol. found (all assignments made)... 98.99 c Sol. found (all assignments made)... 99.06 c Sol. found (all assignments made)... 99.09 c Sol. found (all assignments made)... 99.10 c Sol. found (all assignments made)... 99.15 c Sol. found (all assignments made)... 99.16 c Sol. found (all assignments made)... 99.20 c Sol. found (all assignments made)... 99.21 c Sol. found (all assignments made)... 99.32 c Sol. found (all assignments made)... 99.33 c Sol. found (all assignments made)... 99.35 c Sol. found (all assignments made)... 99.35 c Sol. found (all assignments made)... 99.37 c Sol. found (all assignments made)... 99.39 c Sol. found (all assignments made)... 99.41 c Sol. found (all assignments made)... 99.42 c Sol. found (all assignments made)... 99.49 c Sol. found (all assignments made)... 99.50 c Sol. found (all assignments made)... 99.54 c Sol. found (all assignments made)... 99.55 c Sol. found (all assignments made)... 99.60 c Sol. found (all assignments made)... 99.62 c Sol. found (all assignments made)... 99.66 c Sol. found (all assignments made)... 99.68 c Sol. found (all assignments made)... 99.78 c Sol. found (all assignments made)... 99.78 c Sol. found (all assignments made)... 99.82 c Sol. found (all assignments made)... 99.85 c Sol. found (all assignments made)... 99.86 c Sol. found (all assignments made)... 99.93 c Sol. found (all assignments made)... 99.96 c Sol. found (all assignments made)... 99.96 c Sol. found (all assignments made)... 100.03 c Sol. found (all assignments made)... 100.05 c Sol. found (all assignments made)... 100.09 c Sol. found (all assignments made)... 100.10 c Sol. found (all assignments made)... 100.12 c Sol. found (all assignments made)... 100.52 c Sol. found (all assignments made)... 100.64 c Sol. found (all assignments made)... 100.65 c Sol. found (all assignments made)... 100.68 c Sol. found (all assignments made)... 100.77 c Sol. found (all assignments made)... 100.78 c Sol. found (all assignments made)... 100.80 c Sol. found (all assignments made)... 100.88 c Sol. found (all assignments made)... 100.89 c Sol. found (all assignments made)... 100.92 c Sol. found (all assignments made)... 100.97 c Sol. found (all assignments made)... 101.03 c Sol. found (all assignments made)... 101.04 c Sol. found (all assignments made)... 101.05 c Sol. found (all assignments made)... 101.18 c Sol. found (all assignments made)... 101.19 c Sol. found (all assignments made)... 101.20 c Sol. found (all assignments made)... 101.25 c Sol. found (all assignments made)... 101.26 c Sol. found (all assignments made)... 101.29 c Sol. found (all assignments made)... 101.30 c Sol. found (all assignments made)... 101.39 c Sol. found (all assignments made)... 101.40 c Sol. found (all assignments made)... 101.42 c Sol. found (all assignments made)... 101.46 c Sol. found (all assignments made)... 101.48 c Sol. found (all assignments made)... 101.52 c Sol. found (all assignments made)... 101.53 c Sol. found (all assignments made)... 101.65 c Sol. found (all assignments made)... 101.66 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.69 c Sol. found (all assignments made)... 101.83 c Sol. found (all assignments made)... 101.84 c Sol. found (all assignments made)... 101.87 c Sol. found (all assignments made)... 101.88 c Sol. found (all assignments made)... 101.90 c Sol. found (all assignments made)... 101.90 c Sol. found (all assignments made)... 101.95 c Sol. found (all assignments made)... 101.95 c Sol. found (all assignments made)... 102.09 c Sol. found (all assignments made)... 102.12 c Sol. found (all assignments made)... 102.13 c Sol. found (all assignments made)... 102.18 c Sol. found (all assignments made)... 102.19 c Sol. found (all assignments made)... 102.20 c Sol. found (all assignments made)... 102.33 c Sol. found (all assignments made)... 102.35 c Sol. found (all assignments made)... 102.43 c Sol. found (all assignments made)... 102.45 c Sol. found (all assignments made)... 102.47 c Sol. found (all assignments made)... 102.55 c Sol. found (all assignments made)... 102.58 c Sol. found (all assignments made)... 102.62 c Sol. found (all assignments made)... 102.63 c Sol. found (all assignments made)... 102.71 c Sol. found (all assignments made)... 102.73 c Sol. found (all assignments made)... 102.76 c Sol. found (all assignments made)... 102.77 c Sol. found (all assignments made)... 102.79 c Sol. found (all assignments made)... 102.80 c Sol. found (all assignments made)... 102.84 c Sol. found (all assignments made)... 102.85 c Sol. found (all assignments made)... 102.95 c Sol. found (all assignments made)... 102.96 c Sol. found (all assignments made)... 103.00 c Sol. found (all assignments made)... 103.01 c Sol. found (all assignments made)... 103.10 c Sol. found (all assignments made)... 103.11 c Sol. found (all assignments made)... 103.14 c Sol. found (all assignments made)... 103.15 c Sol. found (all assignments made)... 103.17 c Sol. found (all assignments made)... 103.18 c Sol. found (all assignments made)... 103.20 c Restart #33 #Var: 3840 LB: 0 @ 103.17 112.94 c Restart #34 #Var: 3840 LB: 0 @ 112.9 115.74 c Restart #35 #Var: 3840 LB: 0 @ 115.7 115.99 c Sol. found (all assignments made)... 115.99 o 19433954 115.99 c NEW SOLUTION FOUND: 19433954 @ 115.95 116.00 c Sol. found (all assignments made)... 116.00 o 19433874 116.00 c NEW SOLUTION FOUND: 19433874 @ 115.96 116.01 c Sol. found (all assignments made)... 116.01 o 19432594 116.01 c NEW SOLUTION FOUND: 19432594 @ 115.97 116.02 c Sol. found (all assignments made)... 116.04 c Sol. found (all assignments made)... 116.07 c Sol. found (all assignments made)... 116.09 c Sol. found (all assignments made)... 116.10 c Sol. found (all assignments made)... 116.14 c Sol. found (all assignments made)... 116.15 c Sol. found (all assignments made)... 116.17 c Sol. found (all assignments made)... 116.18 c Sol. found (all assignments made)... 116.22 c Sol. found (all assignments made)... 116.23 c Sol. found (all assignments made)... 116.25 c Sol. found (all assignments made)... 116.27 c Sol. found (all assignments made)... 116.29 c Sol. found (all assignments made)... 116.30 c Sol. found (all assignments made)... 116.32 c Sol. found (all assignments made)... 116.34 c Sol. found (all assignments made)... 116.37 c Sol. found (all assignments made)... 116.37 c Sol. found (all assignments made)... 116.41 c Sol. found (all assignments made)... 116.42 c Sol. found (all assignments made)... 116.57 c Sol. found (all assignments made)... 116.58 c Sol. found (all assignments made)... 116.64 c Sol. found (all assignments made)... 116.66 c Sol. found (all assignments made)... 116.71 c Sol. found (all assignments made)... 116.72 c Sol. found (all assignments made)... 116.74 c Sol. found (all assignments made)... 116.76 c Sol. found (all assignments made)... 116.81 c Sol. found (all assignments made)... 116.82 c Sol. found (all assignments made)... 116.84 c Sol. found (all assignments made)... 116.85 c Sol. found (all assignments made)... 116.89 c Sol. found (all assignments made)... 116.90 c Sol. found (all assignments made)... 116.92 c Sol. found (all assignments made)... 116.93 c Sol. found (all assignments made)... 116.96 c Sol. found (all assignments made)... 116.97 c Sol. found (all assignments made)... 117.01 c Sol. found (all assignments made)... 117.01 c Sol. found (all assignments made)... 117.03 c Sol. found (all assignments made)... 117.04 c Sol. found (all assignments made)... 117.20 c Sol. found (all assignments made)... 117.22 c Sol. found (all assignments made)... 117.23 c Sol. found (all assignments made)... 117.25 c Sol. found (all assignments made)... 117.26 c Sol. found (all assignments made)... 117.27 c Sol. found (all assignments made)... 117.44 c Sol. found (all assignments made)... 117.46 c Sol. found (all assignments made)... 117.58 c Sol. found (all assignments made)... 117.59 c Sol. found (all assignments made)... 117.70 c Sol. found (all assignments made)... 117.71 c Sol. found (all assignments made)... 117.74 c Sol. found (all assignments made)... 117.74 o 19431449 117.74 c NEW SOLUTION FOUND: 19431449 @ 117.7 117.75 c Sol. found (all assignments made)... 117.75 o 19431369 117.75 c NEW SOLUTION FOUND: 19431369 @ 117.71 117.79 c Sol. found (all assignments made)... 117.79 o 19431329 117.79 c NEW SOLUTION FOUND: 19431329 @ 117.75 117.81 c Sol. found (all assignments made)... 117.83 c Sol. found (all assignments made)... 117.84 c Sol. found (all assignments made)... 117.88 c Sol. found (all assignments made)... 117.88 o 19431324 117.88 c NEW SOLUTION FOUND: 19431324 @ 117.84 117.89 c Sol. found (all assignments made)... 117.91 c Sol. found (all assignments made)... 117.92 c Sol. found (all assignments made)... 117.95 c Sol. found (all assignments made)... 117.96 c Sol. found (all assignments made)... 117.96 o 19431319 117.96 c NEW SOLUTION FOUND: 19431319 @ 117.92 118.00 c Sol. found (all assignments made)... 118.01 c Sol. found (all assignments made)... 118.04 c Sol. found (all assignments made)... 118.04 o 19431314 118.04 c NEW SOLUTION FOUND: 19431314 @ 118 118.05 c Sol. found (all assignments made)... 118.12 c Sol. found (all assignments made)... 118.13 c Sol. found (all assignments made)... 118.13 o 19431129 118.13 c NEW SOLUTION FOUND: 19431129 @ 118.08 118.24 c Sol. found (all assignments made)... 118.24 o 19431124 118.24 c NEW SOLUTION FOUND: 19431124 @ 118.2 118.25 c Sol. found (all assignments made)... 118.39 c Sol. found (all assignments made)... 118.39 c Sol. found (all assignments made)... 118.39 o 19431114 118.39 c NEW SOLUTION FOUND: 19431114 @ 118.35 118.44 c Sol. found (all assignments made)... 118.45 c Sol. found (all assignments made)... 118.47 c Sol. found (all assignments made)... 118.47 o 19430354 118.47 c NEW SOLUTION FOUND: 19430354 @ 118.43 118.48 c Sol. found (all assignments made)... 118.52 c Sol. found (all assignments made)... 118.54 c Sol. found (all assignments made)... 118.55 c Sol. found (all assignments made)... 118.55 c Sol. found (all assignments made)... 118.58 c Sol. found (all assignments made)... 118.58 c Sol. found (all assignments made)... 118.61 c Sol. found (all assignments made)... 118.63 c Sol. found (all assignments made)... 118.64 c Sol. found (all assignments made)... 118.68 c Sol. found (all assignments made)... 118.71 c Sol. found (all assignments made)... 118.73 c Sol. found (all assignments made)... 118.78 c Sol. found (all assignments made)... 118.83 c Sol. found (all assignments made)... 118.89 c Sol. found (all assignments made)... 118.90 c Sol. found (all assignments made)... 118.90 o 19335122 118.90 c NEW SOLUTION FOUND: 19335122 @ 118.86 118.92 c Sol. found (all assignments made)... 118.93 c Sol. found (all assignments made)... 118.95 c Sol. found (all assignments made)... 118.97 c Sol. found (all assignments made)... 120.17 c Sol. found (all assignments made)... 120.18 c Sol. found (all assignments made)... 120.23 c Sol. found (all assignments made)... 120.24 c Sol. found (all assignments made)... 120.29 c Sol. found (all assignments made)... 120.31 c Sol. found (all assignments made)... 120.32 c Sol. found (all assignments made)... 120.34 c Sol. found (all assignments made)... 120.35 c Sol. found (all assignments made)... 120.36 c Sol. found (all assignments made)... 120.38 c Sol. found (all assignments made)... 120.39 c Sol. found (all assignments made)... 120.40 c Sol. found (all assignments made)... 120.41 c Sol. found (all assignments made)... 120.42 c Sol. found (all assignments made)... 120.43 c Sol. found (all assignments made)... 121.75 c Sol. found (all assignments made)... 121.76 c Sol. found (all assignments made)... 121.77 c Sol. found (all assignments made)... 121.77 c Sol. found (all assignments made)... 121.79 c Sol. found (all assignments made)... 121.79 c Sol. found (all assignments made)... 121.79 o 19258292 121.79 c NEW SOLUTION FOUND: 19258292 @ 121.75 121.85 c Sol. found (all assignments made)... 121.89 c Sol. found (all assignments made)... 122.02 c Sol. found (all assignments made)... 122.06 c Sol. found (all assignments made)... 122.08 c Sol. found (all assignments made)... 122.12 c Sol. found (all assignments made)... 122.84 c Sol. found (all assignments made)... 122.84 o 19178488 122.84 c NEW SOLUTION FOUND: 19178488 @ 122.79 122.84 c Sol. found (all assignments made)... 122.84 o 19178483 122.84 c NEW SOLUTION FOUND: 19178483 @ 122.8 122.86 c Sol. found (all assignments made)... 122.86 o 19078161 122.86 c NEW SOLUTION FOUND: 19078161 @ 122.81 122.89 c Sol. found (all assignments made)... 122.92 c Sol. found (all assignments made)... 122.92 c Sol. found (all assignments made)... 122.94 c Sol. found (all assignments made)... 122.94 c Sol. found (all assignments made)... 122.96 c Sol. found (all assignments made)... 122.96 c Sol. found (all assignments made)... 122.98 c Sol. found (all assignments made)... 122.98 c Sol. found (all assignments made)... 123.05 c Sol. found (all assignments made)... 123.11 c Sol. found (all assignments made)... 123.19 c Sol. found (all assignments made)... 123.19 c Sol. found (all assignments made)... 123.20 c Sol. found (all assignments made)... 123.21 c Sol. found (all assignments made)... 123.26 c Sol. found (all assignments made)... 123.26 c Sol. found (all assignments made)... 123.28 c Sol. found (all assignments made)... 123.28 c Sol. found (all assignments made)... 129.70 c Sol. found (all assignments made)... 129.70 c Sol. found (all assignments made)... 129.73 c Sol. found (all assignments made)... 129.73 c Sol. found (all assignments made)... 129.76 c Sol. found (all assignments made)... 129.76 c Sol. found (all assignments made)... 129.80 c Sol. found (all assignments made)... 129.81 c Sol. found (all assignments made)... 129.83 c Sol. found (all assignments made)... 129.83 c Sol. found (all assignments made)... 129.86 c Sol. found (all assignments made)... 129.86 c Sol. found (all assignments made)... 129.92 c Sol. found (all assignments made)... 129.92 c Sol. found (all assignments made)... 129.94 c Sol. found (all assignments made)... 129.94 c Sol. found (all assignments made)... 129.99 c Sol. found (all assignments made)... 129.99 c Sol. found (all assignments made)... 130.01 c Sol. found (all assignments made)... 130.02 c Sol. found (all assignments made)... 130.08 c Sol. found (all assignments made)... 130.08 c Sol. found (all assignments made)... 130.11 c Sol. found (all assignments made)... 130.11 c Sol. found (all assignments made)... 130.13 c Sol. found (all assignments made)... 130.14 c Sol. found (all assignments made)... 130.17 c Sol. found (all assignments made)... 130.17 c Sol. found (all assignments made)... 130.19 c Sol. found (all assignments made)... 130.19 c Sol. found (all assignments made)... 130.21 c Sol. found (all assignments made)... 130.21 c Sol. found (all assignments made)... 130.34 c Sol. found (all assignments made)... 130.34 c Sol. found (all assignments made)... 130.36 c Sol. found (all assignments made)... 130.36 c Sol. found (all assignments made)... 130.38 c Sol. found (all assignments made)... 130.38 c Sol. found (all assignments made)... 130.44 c Sol. found (all assignments made)... 130.45 c Sol. found (all assignments made)... 130.47 c Sol. found (all assignments made)... 130.48 c Sol. found (all assignments made)... 130.52 c Sol. found (all assignments made)... 130.53 c Sol. found (all assignments made)... 130.55 c Sol. found (all assignments made)... 130.56 c Sol. found (all assignments made)... 131.15 c Sol. found (all assignments made)... 131.15 o 19001333 131.15 c NEW SOLUTION FOUND: 19001333 @ 131.1 131.15 c Sol. found (all assignments made)... 131.17 c Sol. found (all assignments made)... 131.17 o 19001331 131.17 c NEW SOLUTION FOUND: 19001331 @ 131.12 131.18 c Sol. found (all assignments made)... 131.22 c Sol. found (all assignments made)... 131.22 c Sol. found (all assignments made)... 131.24 c Sol. found (all assignments made)... 131.25 c Sol. found (all assignments made)... 131.30 c Sol. found (all assignments made)... 131.31 c Sol. found (all assignments made)... 131.33 c Sol. found (all assignments made)... 131.33 c Sol. found (all assignments made)... 131.34 c Sol. found (all assignments made)... 131.35 c Sol. found (all assignments made)... 131.39 c Sol. found (all assignments made)... 131.40 c Sol. found (all assignments made)... 131.42 c Sol. found (all assignments made)... 131.42 c Sol. found (all assignments made)... 131.44 c Sol. found (all assignments made)... 131.44 c Sol. found (all assignments made)... 131.51 c Sol. found (all assignments made)... 131.51 c Sol. found (all assignments made)... 131.51 c Sol. found (all assignments made)... 131.54 c Sol. found (all assignments made)... 131.55 c Sol. found (all assignments made)... 131.55 c Sol. found (all assignments made)... 131.68 c Sol. found (all assignments made)... 131.69 c Sol. found (all assignments made)... 131.71 c Sol. found (all assignments made)... 131.71 c Sol. found (all assignments made)... 131.75 c Sol. found (all assignments made)... 131.76 c Sol. found (all assignments made)... 131.77 c Sol. found (all assignments made)... 131.78 c Sol. found (all assignments made)... 132.01 c Sol. found (all assignments made)... 132.01 c Sol. found (all assignments made)... 132.01 c Sol. found (all assignments made)... 132.05 c Sol. found (all assignments made)... 132.05 c Sol. found (all assignments made)... 132.06 c Sol. found (all assignments made)... 132.13 c Sol. found (all assignments made)... 132.14 c Sol. found (all assignments made)... 132.16 c Sol. found (all assignments made)... 132.16 c Sol. found (all assignments made)... 132.18 c Sol. found (all assignments made)... 132.18 c Sol. found (all assignments made)... 132.24 c Sol. found (all assignments made)... 132.24 c Sol. found (all assignments made)... 132.26 c Sol. found (all assignments made)... 132.26 c Sol. found (all assignments made)... 132.28 c Sol. found (all assignments made)... 132.28 c Sol. found (all assignments made)... 133.00 c Sol. found (all assignments made)... 133.21 c Sol. found (all assignments made)... 141.88 c Sol. found (all assignments made)... 141.91 c Sol. found (all assignments made)... 141.95 c Sol. found (all assignments made)... 141.95 c Sol. found (all assignments made)... 141.97 c Sol. found (all assignments made)... 141.97 c Sol. found (all assignments made)... 142.02 c Sol. found (all assignments made)... 142.02 c Sol. found (all assignments made)... 142.08 c Sol. found (all assignments made)... 142.08 c Sol. found (all assignments made)... 142.09 c Sol. found (all assignments made)... 142.09 c Sol. found (all assignments made)... 142.15 c Sol. found (all assignments made)... 142.15 c Sol. found (all assignments made)... 142.18 c Sol. found (all assignments made)... 142.19 c Sol. found (all assignments made)... 142.23 c Sol. found (all assignments made)... 142.23 c Sol. found (all assignments made)... 142.26 c Sol. found (all assignments made)... 142.26 c Sol. found (all assignments made)... 142.31 c Sol. found (all assignments made)... 142.32 c Sol. found (all assignments made)... 142.34 c Sol. found (all assignments made)... 142.35 c Sol. found (all assignments made)... 142.37 c Sol. found (all assignments made)... 142.40 c Sol. found (all assignments made)... 142.44 c Sol. found (all assignments made)... 142.44 c Sol. found (all assignments made)... 142.45 c Sol. found (all assignments made)... 142.46 c Sol. found (all assignments made)... 142.46 c Sol. found (all assignments made)... 142.49 c Sol. found (all assignments made)... 142.49 c Sol. found (all assignments made)... 142.51 c Sol. found (all assignments made)... 142.51 c Sol. found (all assignments made)... 142.52 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.56 c Sol. found (all assignments made)... 142.59 c Sol. found (all assignments made)... 142.59 c Sol. found (all assignments made)... 142.60 c Sol. found (all assignments made)... 142.60 c Sol. found (all assignments made)... 142.64 c Sol. found (all assignments made)... 142.64 c Sol. found (all assignments made)... 142.65 c Sol. found (all assignments made)... 142.65 c Sol. found (all assignments made)... 142.72 c Sol. found (all assignments made)... 142.73 c Sol. found (all assignments made)... 142.74 c Sol. found (all assignments made)... 142.75 c Sol. found (all assignments made)... 142.80 c Sol. found (all assignments made)... 142.80 c Sol. found (all assignments made)... 142.81 c Sol. found (all assignments made)... 142.82 c Sol. found (all assignments made)... 142.83 c Sol. found (all assignments made)... 142.83 c Sol. found (all assignments made)... 142.87 c Sol. found (all assignments made)... 142.87 c Sol. found (all assignments made)... 142.88 c Sol. found (all assignments made)... 146.59 c Sol. found (all assignments made)... 146.60 c Sol. found (all assignments made)... 146.62 c Sol. found (all assignments made)... 146.62 c Sol. found (all assignments made)... 146.66 c Sol. found (all assignments made)... 146.66 c Sol. found (all assignments made)... 146.66 c Sol. found (all assignments made)... 146.68 c Sol. found (all assignments made)... 146.68 c Sol. found (all assignments made)... 146.69 c Sol. found (all assignments made)... 146.75 c Sol. found (all assignments made)... 146.77 c Sol. found (all assignments made)... 146.79 c Sol. found (all assignments made)... 146.79 c Sol. found (all assignments made)... 146.81 c Sol. found (all assignments made)... 146.81 c Sol. found (all assignments made)... 146.87 c Sol. found (all assignments made)... 146.87 c Sol. found (all assignments made)... 146.89 c Sol. found (all assignments made)... 146.90 c Sol. found (all assignments made)... 147.07 c Sol. found (all assignments made)... 147.07 c Sol. found (all assignments made)... 147.09 c Sol. found (all assignments made)... 147.09 c Sol. found (all assignments made)... 147.13 c Sol. found (all assignments made)... 147.13 c Sol. found (all assignments made)... 147.15 c Sol. found (all assignments made)... 147.15 c Sol. found (all assignments made)... 147.31 c Sol. found (all assignments made)... 147.31 c Sol. found (all assignments made)... 147.33 c Sol. found (all assignments made)... 147.34 c Sol. found (all assignments made)... 147.43 c Sol. found (all assignments made)... 147.44 c Sol. found (all assignments made)... 147.45 c Sol. found (all assignments made)... 147.45 c Sol. found (all assignments made)... 149.51 c Sol. found (all assignments made)... 149.51 o 18980739 149.51 c NEW SOLUTION FOUND: 18980739 @ 149.46 149.52 c Sol. found (all assignments made)... 149.52 o 18980734 149.52 c NEW SOLUTION FOUND: 18980734 @ 149.46 149.53 c Sol. found (all assignments made)... 149.53 o 18980732 149.53 c NEW SOLUTION FOUND: 18980732 @ 149.47 149.54 c Sol. found (all assignments made)... 149.99 c Sol. found (all assignments made)... 149.99 c Sol. found (all assignments made)... 150.01 c Sol. found (all assignments made)... 150.02 c Sol. found (all assignments made)... 167.39 c Restart #36 #Var: 3840 LB: 0 @ 167.33 174.75 c Restart #37 #Var: 3840 LB: 0 @ 174.69 181.61 c Restart #38 #Var: 3840 LB: 0 @ 181.54 184.49 c Restart #39 #Var: 3840 LB: 0 @ 184.43 187.46 c CHANGE to MIS mode... UB: 18980732 MIS: 0 LPR: -2147483648 (0) Diff: -0 187.46 c Restart #0 #Var: 3840 LB: 0 @ 187.4 187.93 c Restart #1 #Var: 3840 LB: 0 @ 187.86 188.50 c Restart #2 #Var: 3840 LB: 53 @ 188.44 189.01 c Sol. found (all assignments made)... 189.01 o 18333376 189.01 c NEW SOLUTION FOUND: 18333376 @ 188.94 189.01 c Sol. found (all assignments made)... 189.01 c Sol. found (all assignments made)... 189.02 c Sol. found (all assignments made)... 189.02 o 18138800 189.02 c NEW SOLUTION FOUND: 18138800 @ 188.96 189.04 c Sol. found (all assignments made)... 189.05 c Sol. found (all assignments made)... 189.05 o 18069200 189.05 c NEW SOLUTION FOUND: 18069200 @ 188.98 189.05 c Sol. found (all assignments made)... 189.08 c Sol. found (all assignments made)... 189.08 c Sol. found (all assignments made)... 189.09 c Sol. found (all assignments made)... 189.10 c Sol. found (all assignments made)... 189.11 c Sol. found (all assignments made)... 189.16 c Sol. found (all assignments made)... 189.17 c Sol. found (all assignments made)... 189.19 c Sol. found (all assignments made)... 189.20 c Sol. found (all assignments made)... 189.22 c Sol. found (all assignments made)... 189.23 c Sol. found (all assignments made)... 189.25 c Sol. found (all assignments made)... 189.30 c Sol. found (all assignments made)... 189.32 c Sol. found (all assignments made)... 189.33 c Sol. found (all assignments made)... 189.34 c Sol. found (all assignments made)... 189.34 o 18069195 189.34 c NEW SOLUTION FOUND: 18069195 @ 189.27 189.35 c Sol. found (all assignments made)... 189.39 c Sol. found (all assignments made)... 189.41 c Sol. found (all assignments made)... 189.41 c Sol. found (all assignments made)... 189.43 c Sol. found (all assignments made)... 189.45 c Sol. found (all assignments made)... 189.47 c Sol. found (all assignments made)... 189.47 c Sol. found (all assignments made)... 189.48 c Sol. found (all assignments made)... 189.50 c Sol. found (all assignments made)... 189.53 c Sol. found (all assignments made)... 189.53 c Sol. found (all assignments made)... 189.54 c Sol. found (all assignments made)... 189.55 c Sol. found (all assignments made)... 189.56 c Sol. found (all assignments made)... 189.56 o 18069187 189.56 c NEW SOLUTION FOUND: 18069187 @ 189.49 189.64 c Sol. found (all assignments made)... 189.65 c Sol. found (all assignments made)... 189.66 c Sol. found (all assignments made)... 189.66 c Sol. found (all assignments made)... 189.73 c Sol. found (all assignments made)... 189.75 c Sol. found (all assignments made)... 189.78 c Sol. found (all assignments made)... 189.80 c Sol. found (all assignments made)... 189.86 c Sol. found (all assignments made)... 189.87 c Sol. found (all assignments made)... 189.88 c Sol. found (all assignments made)... 189.90 c Sol. found (all assignments made)... 189.92 c Sol. found (all assignments made)... 189.92 c Sol. found (all assignments made)... 189.94 c Sol. found (all assignments made)... 189.95 c Sol. found (all assignments made)... 189.98 c Sol. found (all assignments made)... 189.98 c Sol. found (all assignments made)... 189.99 c Sol. found (all assignments made)... 189.99 c Sol. found (all assignments made)... 189.99 o 18069180 189.99 c NEW SOLUTION FOUND: 18069180 @ 189.93 190.03 c Sol. found (all assignments made)... 190.03 c Sol. found (all assignments made)... 190.04 c Sol. found (all assignments made)... 190.05 c Sol. found (all assignments made)... 190.06 c Sol. found (all assignments made)... 190.07 c Sol. found (all assignments made)... 190.09 c Sol. found (all assignments made)... 190.09 o 18069136 190.09 c NEW SOLUTION FOUND: 18069136 @ 190.02 190.09 c Sol. found (all assignments made)... 190.11 c Sol. found (all assignments made)... 190.11 o 17874575 190.11 c NEW SOLUTION FOUND: 17874575 @ 190.05 190.12 c Sol. found (all assignments made)... 190.24 c Sol. found (all assignments made)... 190.25 c Sol. found (all assignments made)... 190.28 c Sol. found (all assignments made)... 190.31 c Sol. found (all assignments made)... 190.32 c Sol. found (all assignments made)... 190.35 c Sol. found (all assignments made)... 190.35 c Sol. found (all assignments made)... 190.35 o 17874572 190.35 c NEW SOLUTION FOUND: 17874572 @ 190.28 190.37 c Sol. found (all assignments made)... 190.41 c Sol. found (all assignments made)... 190.41 c Sol. found (all assignments made)... 190.43 c Sol. found (all assignments made)... 190.45 c Sol. found (all assignments made)... 190.54 c Sol. found (all assignments made)... 190.58 c Sol. found (all assignments made)... 190.61 c Sol. found (all assignments made)... 190.61 c Sol. found (all assignments made)... 190.68 c Sol. found (all assignments made)... 190.68 c Sol. found (all assignments made)... 190.89 c Sol. found (all assignments made)... 191.01 c Sol. found (all assignments made)... 191.02 c Sol. found (all assignments made)... 191.03 c Sol. found (all assignments made)... 191.07 c Sol. found (all assignments made)... 191.08 c Sol. found (all assignments made)... 191.11 c Sol. found (all assignments made)... 191.11 o 17874563 191.11 c NEW SOLUTION FOUND: 17874563 @ 191.03 191.11 c Sol. found (all assignments made)... 191.16 c Sol. found (all assignments made)... 191.16 c Sol. found (all assignments made)... 191.25 c Sol. found (all assignments made)... 191.27 c Sol. found (all assignments made)... 191.34 c Sol. found (all assignments made)... 191.38 c Sol. found (all assignments made)... 191.43 c Sol. found (all assignments made)... 191.48 c Sol. found (all assignments made)... 191.49 c Sol. found (all assignments made)... 191.60 c Sol. found (all assignments made)... 191.61 c Sol. found (all assignments made)... 191.62 c Sol. found (all assignments made)... 191.62 o 17759877 191.62 c NEW SOLUTION FOUND: 17759877 @ 191.55 191.64 c Sol. found (all assignments made)... 191.65 c Sol. found (all assignments made)... 191.66 c Sol. found (all assignments made)... 191.66 c Sol. found (all assignments made)... 191.71 c Sol. found (all assignments made)... 191.87 c Sol. found (all assignments made)... 191.89 c Sol. found (all assignments made)... 191.90 c Sol. found (all assignments made)... 191.97 c Sol. found (all assignments made)... 191.98 c Sol. found (all assignments made)... 192.01 c Sol. found (all assignments made)... 192.09 c Sol. found (all assignments made)... 192.10 c Sol. found (all assignments made)... 192.14 c Sol. found (all assignments made)... 192.17 c Sol. found (all assignments made)... 192.19 c Sol. found (all assignments made)... 192.24 c Sol. found (all assignments made)... 192.26 c Sol. found (all assignments made)... 192.35 c Sol. found (all assignments made)... 192.38 c Sol. found (all assignments made)... 192.41 c Sol. found (all assignments made)... 192.44 c Sol. found (all assignments made)... 192.47 c Sol. found (all assignments made)... 192.59 c Sol. found (all assignments made)... 192.66 c Sol. found (all assignments made)... 193.06 c Sol. found (all assignments made)... 193.12 c Sol. found (all assignments made)... 193.12 c Sol. found (all assignments made)... 193.36 c Sol. found (all assignments made)... 193.56 c Sol. found (all assignments made)... 193.59 c Sol. found (all assignments made)... 193.79 c Sol. found (all assignments made)... 193.80 c Sol. found (all assignments made)... 193.81 c Sol. found (all assignments made)... 193.82 c Sol. found (all assignments made)... 193.82 c Sol. found (all assignments made)... 193.83 c Sol. found (all assignments made)... 193.84 c Sol. found (all assignments made)... 193.84 o 17713151 193.84 c NEW SOLUTION FOUND: 17713151 @ 193.77 193.86 c Sol. found (all assignments made)... 193.86 c Sol. found (all assignments made)... 193.89 c Sol. found (all assignments made)... 193.89 c Sol. found (all assignments made)... 193.90 c Sol. found (all assignments made)... 193.91 c Sol. found (all assignments made)... 193.91 c Sol. found (all assignments made)... 193.93 c Sol. found (all assignments made)... 193.94 c Sol. found (all assignments made)... 193.95 c Sol. found (all assignments made)... 193.96 c Sol. found (all assignments made)... 193.96 c Sol. found (all assignments made)... 193.97 c Sol. found (all assignments made)... 193.98 c Sol. found (all assignments made)... 194.07 c Sol. found (all assignments made)... 194.13 c Sol. found (all assignments made)... 194.20 c Sol. found (all assignments made)... 194.21 c Sol. found (all assignments made)... 194.32 c Sol. found (all assignments made)... 194.40 c Sol. found (all assignments made)... 194.51 c Sol. found (all assignments made)... 194.74 c Sol. found (all assignments made)... 194.75 c Sol. found (all assignments made)... 194.76 c Sol. found (all assignments made)... 194.82 c Sol. found (all assignments made)... 194.88 c Sol. found (all assignments made)... 194.89 c Sol. found (all assignments made)... 194.91 c Sol. found (all assignments made)... 194.97 c Sol. found (all assignments made)... 195.08 c Sol. found (all assignments made)... 195.10 c Sol. found (all assignments made)... 195.46 c Sol. found (all assignments made)... 195.73 c Sol. found (all assignments made)... 195.74 c Sol. found (all assignments made)... 195.76 c Sol. found (all assignments made)... 195.78 c Sol. found (all assignments made)... 195.81 c Restart #3 #Var: 3840 LB: 53 @ 195.73 196.80 c Restart #4 #Var: 3840 LB: 53 @ 196.72 197.98 c Restart #5 #Var: 3840 LB: 53 @ 197.91 199.11 c Restart #6 #Var: 3840 LB: 53 @ 199.03 200.33 c Restart #7 #Var: 3840 LB: 53 @ 200.25 201.72 c Restart #8 #Var: 3840 LB: 53 @ 201.64 203.34 c Restart #9 #Var: 3840 LB: 53 @ 203.26 204.80 c Restart #10 #Var: 3840 LB: 53 @ 204.72 206.60 c Restart #11 #Var: 3840 LB: 53 @ 206.52 208.02 c Restart #12 #Var: 3840 LB: 53 @ 207.94 217.72 c Restart #13 #Var: 3840 LB: 53 @ 217.63 229.28 c Restart #14 #Var: 3840 LB: 53 @ 229.2 230.98 c Restart #15 #Var: 3840 LB: 53 @ 230.89 233.50 c Restart #16 #Var: 3840 LB: 0 @ 233.41 253.34 c Restart #17 #Var: 3840 LB: 53 @ 253.25 255.60 c Restart #18 #Var: 3840 LB: 53 @ 255.51 258.52 c Restart #19 #Var: 3840 LB: 53 @ 258.42 262.33 c Restart #20 #Var: 3840 LB: 53 @ 262.24 273.06 c Restart #21 #Var: 3840 LB: 53 @ 272.95 275.80 c Restart #22 #Var: 3840 LB: 53 @ 275.7 287.68 c Restart #23 #Var: 3840 LB: 53 @ 287.57 301.01 c Restart #24 #Var: 3840 LB: 53 @ 300.9 308.28 c Restart #25 #Var: 3840 LB: 53 @ 308.17 313.77 c Restart #26 #Var: 3840 LB: 53 @ 313.66 318.74 c Restart #27 #Var: 3840 LB: 53 @ 318.63 321.78 c Restart #28 #Var: 3840 LB: 53 @ 321.66 326.25 c Restart #29 #Var: 3840 LB: 53 @ 326.13 329.75 c Restart #30 #Var: 3840 LB: 53 @ 329.63 334.01 c Restart #31 #Var: 3840 LB: 0 @ 333.9 339.80 c Restart #32 #Var: 3840 LB: 53 @ 339.68 345.65 c Restart #33 #Var: 3840 LB: 53 @ 345.53 352.68 c Restart #34 #Var: 3840 LB: 0 @ 352.56 360.45 c Restart #35 #Var: 3840 LB: 53 @ 360.32 407.50 c Restart #36 #Var: 3840 LB: 53 @ 407.36 413.46 c Restart #37 #Var: 3840 LB: 53 @ 413.32 418.64 c Restart #38 #Var: 3840 LB: 53 @ 418.5 463.76 c Restart #39 #Var: 3840 LB: 53 @ 463.6 470.22 c Restart #40 #Var: 3840 LB: 53 @ 470.06 497.89 c Restart #41 #Var: 3840 LB: 53 @ 497.72 564.62 c Restart #42 #Var: 3840 LB: 53 @ 564.44 597.96 c Restart #43 #Var: 3840 LB: 53 @ 597.77 602.97 c Restart #44 #Var: 3840 LB: 0 @ 602.78 609.09 c Restart #45 #Var: 3840 LB: 53 @ 608.89 613.79 c Restart #46 #Var: 3840 LB: 53 @ 613.59 623.55 c Restart #47 #Var: 3840 LB: 53 @ 623.35 628.57 c Restart #48 #Var: 3840 LB: 53 @ 628.37 635.60 c Restart #49 #Var: 3840 LB: 53 @ 635.39 651.06 c Restart #50 #Var: 3840 LB: 53 @ 650.86 700.55 c Restart #51 #Var: 3840 LB: 53 @ 700.33 708.37 c Restart #52 #Var: 3840 LB: 0 @ 708.15 719.77 c Restart #53 #Var: 3840 LB: 0 @ 719.54 728.94 c Restart #54 #Var: 3840 LB: 53 @ 728.71 735.57 c Restart #55 #Var: 3840 LB: 53 @ 735.34 811.47 c Restart #56 #Var: 3840 LB: 53 @ 811.21 819.57 c Restart #57 #Var: 3840 LB: 53 @ 819.32 930.65 c Restart #58 #Var: 3840 LB: 53 @ 930.36 1060.03 c Restart #59 #Var: 3840 LB: 0 @ 1059.7 1078.13 c Restart #60 #Var: 3840 LB: 53 @ 1077.8 1086.20 c Restart #61 #Var: 3840 LB: 0 @ 1085.9 1092.71 c Restart #62 #Var: 3840 LB: 53 @ 1092.4 1102.84 c Restart #63 #Var: 3840 LB: 53 @ 1102.5 1113.60 c Restart #64 #Var: 3840 LB: 0 @ 1113.3 1126.51 c Restart #65 #Var: 3840 LB: 0 @ 1126.2 1141.21 c Restart #66 #Var: 3840 LB: 0 @ 1140.9 1154.65 c Restart #67 #Var: 3840 LB: 0 @ 1154.3 1168.35 c Restart #68 #Var: 3840 LB: 53 @ 1168 1183.56 c Restart #69 #Var: 3840 LB: 0 @ 1183.2 1197.64 c Restart #70 #Var: 3840 LB: 0 @ 1197.3 1212.79 c Restart #71 #Var: 3840 LB: 0 @ 1212.4 1227.08 c Restart #72 #Var: 3840 LB: 0 @ 1226.7 1242.54 c Restart #73 #Var: 3840 LB: 53 @ 1242.2 1257.25 c Restart #74 #Var: 3840 LB: 53 @ 1256.9 1272.47 c Restart #75 #Var: 3840 LB: 0 @ 1272.1 1287.48 c Restart #76 #Var: 3840 LB: 0 @ 1287.1 1379.64 c Restart #77 #Var: 3840 LB: 0 @ 1379.2 1438.15 c Restart #78 #Var: 3840 LB: 53 @ 1437.7 1573.34 c Restart #79 #Var: 3840 LB: 0 @ 1572.9 1589.54 c Restart #80 #Var: 3840 LB: 0 @ 1589.1 1620.21 c Restart #81 #Var: 3840 LB: 0 @ 1619.7 1745.95 c Restart #82 #Var: 3840 LB: 53 @ 1745.4 1800.54 s SATISFIABLE 1800.54 c Cost: 17713151 1800.54 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.54 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.54 v -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1800.54 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.54 v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 1800.54 v -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5581 -x5582 -x5583 -x5584 1800.54 v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 1800.54 v -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 1800.54 v -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 1800.54 v -x5936 -x5937 -x5938 -x5939 -x5940 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 1800.54 v x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 1800.54 v -x6270 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 1800.54 v -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6901 -x6902 -x6903 1800.54 v -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 1800.54 v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 x7231 x7232 x7233 x7234 x7235 -x7236 -x7237 -x7238 1800.54 v -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 1800.54 v -x7256 -x7257 -x7258 -x7259 -x7260 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 1800.54 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x391 x392 x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.54 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 1800.54 v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 1800.54 v -x745 -x746 -x747 -x748 -x749 -x750 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.54 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.54 v -x1080 x1381 -x1382 -x1383 x1384 x1385 x1386 -x1387 x1388 x1389 x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 1800.54 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 1800.54 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1800.54 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1800.54 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1800.54 v -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 1800.54 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1800.54 v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 1800.54 v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 -x3032 -x3033 -x3034 1800.54 v -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 1800.54 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 1800.54 v -x3399 x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 1800.54 v -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 1800.54 v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 1800.54 v -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1800.54 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 1800.54 v -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 1800.54 v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 1800.54 v -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 1800.54 v -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x5041 x5042 x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 1800.54 v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 1800.54 v -x5070 x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 1800.54 v -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 x5162 x5163 x5164 x5165 1800.54 v x5166 x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 1800.54 v -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 1800.54 v -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 1800.54 v -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 1800.54 v -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5281 1800.54 v x5282 x5283 x5284 x5285 x5286 x5287 x5288 x5289 x5290 x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 1800.54 v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 1800.54 v -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 1800.54 v -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 1800.54 v -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 1800.54 v -x5369 -x5370 x5371 x5372 x5373 -x5374 x5375 x5376 x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 1800.54 v -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 -x5402 -x5403 1800.54 v -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 x5412 -x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 1800.54 v -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 1800.54 v -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 1800.54 v -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 1800.54 v -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 1800.54 v -x5490 -x5491 x5492 x5493 x5494 x5495 x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 1800.54 v -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 1800.54 v -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 1800.54 v -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 1800.54 v -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 1800.54 v -x5576 -x5577 -x5578 -x5579 -x5580 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 1800.54 v -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 1800.54 v -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 1800.54 v -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 1800.54 v -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 1800.54 v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 1800.54 v -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 1800.54 v -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 -x5741 1800.54 v -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 1800.54 v -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 1800.54 v -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 1800.54 v -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 1800.54 v -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 1800.54 v x5827 -x5828 x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 1800.54 v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 1800.54 v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 1800.54 v -x5879 -x5880 x5881 x5882 x5883 x5884 x5885 x5886 x5887 x5888 x5889 x5890 -x5891 x5892 -x5893 -x5894 -x5895 -x5896 -x5897 1800.54 v -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5941 x5942 -x5943 -x5944 -x5945 1800.54 v -x5946 -x5947 x5948 -x5949 -x5950 x5951 -x5952 x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 1800.54 v -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 1800.54 v x5981 x5982 -x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 1800.54 v -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 1800.54 v -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 1800.54 v -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 1800.54 v -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 x6061 -x6062 x6063 x6064 -x6065 -x6066 -x6067 1800.54 v -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 1800.54 v -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 1800.54 v -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 1800.54 v -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 1800.54 v -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 x6151 x6152 x6153 1800.54 v -x6154 -x6155 x6156 x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 1800.54 v -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 1800.54 v -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 1800.54 v -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 1800.54 v -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 1800.54 v -x6240 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 x6283 -x6284 -x6285 -x6286 1800.54 v -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 1800.54 v -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 1800.54 v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 1800.54 v -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 1800.54 v -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 x6363 -x6364 -x6365 -x6366 x6367 -x6368 x6369 -x6370 x6371 x6372 1800.54 v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 1800.54 v -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 1800.54 v -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 x6422 x6423 x6424 1800.54 v x6425 -x6426 x6427 x6428 x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 1800.54 v -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 1800.54 v -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 1800.54 v -x6477 -x6478 -x6479 -x6480 x6481 x6482 x6483 x6484 x6485 x6486 x6487 x6488 x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 1800.54 v -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 1800.54 v -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 1800.54 v -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 x6541 x6542 -x6543 x6544 x6545 x6546 x6547 1800.54 v -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 1800.54 v -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6601 -x6602 -x6603 -x6604 x6605 x6606 x6607 x6608 -x6609 -x6610 -x6611 -x6612 1800.54 v -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 1800.54 v -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 1800.54 v -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 x6663 1800.54 v x6664 -x6665 x6666 x6667 x6668 x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 1800.54 v -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 x6691 -x6692 x6693 -x6694 x6695 -x6696 -x6697 -x6698 -x6699 1800.54 v -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 1800.54 v -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 1800.54 v -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 1800.54 v -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 x6763 -x6764 -x6765 -x6766 -x6767 1800.54 v -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 1800.54 v -x6785 -x6786 -x6787 -x6788 -x6789 x6790 -x6791 x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 1800.54 v -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 1800.54 v -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 1800.54 v -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 x6853 1800.54 v -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 1800.54 v -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 1800.54 v -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6931 -x6932 -x6933 -x6934 1800.54 v -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 1800.54 v -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 1800.54 v -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 1800.54 v -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 1800.54 v -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 1800.54 v -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 1800.54 v -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 1800.54 v -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 1800.54 v -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 x7081 x7082 x7083 x7084 x7085 x7086 x7087 x7088 x7089 1800.54 v x7090 x7091 x7092 x7093 x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 1800.54 v -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 1800.54 v -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 1800.54 v -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 1800.54 v -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 1800.54 v -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 1800.54 v -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 1800.54 v -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 1800.54 v -x7227 -x7228 -x7229 -x7230 -x7261 x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 x7270 -x7271 x7272 -x7273 -x7274 1800.54 v -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 1800.54 v -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 1800.54 v -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 1800.54 v -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 1800.54 v -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 1800.54 v -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 1800.54 v -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 x7392 x7393 x7394 1800.54 v -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 1800.54 v -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 1800.54 v -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 x7441 x7442 x7443 x7444 x7445 x7446 1800.54 v x7447 x7448 x7449 x7450 -x7451 x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 1800.54 v -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 1800.54 v -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 1800.54 v -x7499 -x7500 x7501 x7502 x7503 x7504 x7505 x7506 x7507 x7508 x7509 x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 1800.54 v -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 x7532 -x7533 -x7534 1800.54 v -x7535 -x7536 -x7537 -x7538 x7539 x7540 x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 1800.54 v -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 1800.54 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 1800.54 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 1800.54 v -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.54 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.54 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.54 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.54 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 x243 x244 x245 x246 x247 x248 -x249 x250 -x251 -x252 -x253 1800.54 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.54 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.54 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.54 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.54 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.54 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.54 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 1800.54 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 1800.54 v -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 1800.54 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 1800.54 v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 1800.54 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 1800.54 v -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 1800.54 v -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 -x573 -x574 -x575 -x576 -x577 1800.54 v -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1800.54 v -x599 -x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 1800.54 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 x634 x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 1800.54 v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 1800.54 v -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 1800.54 v -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 1800.54 v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x751 x752 x753 x754 x755 -x756 x757 1800.54 v x758 x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1800.54 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1800.54 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1800.54 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.54 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.54 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1800.54 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.54 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 1800.54 v -x926 -x927 -x928 -x929 -x930 x931 -x932 x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.54 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 x964 x965 x966 -x967 -x968 1800.54 v x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 1800.54 v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 1800.54 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 1800.54 v x1026 x1027 x1028 x1029 x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1800.54 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.54 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.54 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.54 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.54 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.54 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.54 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.54 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.54 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.54 v -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.54 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.54 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.54 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.54 v -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.54 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.54 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.54 v -x1347 -x1348 -x1349 -x1350 x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.54 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 1800.54 v -x1412 x1413 -x1414 -x1415 -x1416 x1417 x1418 x1419 x1420 -x1421 x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1800.54 v -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1800.54 v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 1800.54 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 1800.54 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 1800.54 v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 1800.54 v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 1800.54 v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 1800.54 v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1800.54 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 1800.54 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 1800.54 v x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.54 v -x1619 -x1620 -x1621 -x1622 -x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1800.54 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.54 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.54 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.54 v -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.54 v -x1706 -x1707 -x1708 -x1709 -x1710 x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 1800.54 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.54 v -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.54 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1800.54 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.54 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.54 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.54 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.54 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.54 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.54 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 1800.54 v x1925 x1926 x1927 x1928 x1929 x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.54 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1800.54 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.54 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.54 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1800.54 v x2011 x2012 x2013 x2014 x2015 x2016 x2017 x2018 x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1800.54 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1800.54 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1800.54 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1800.54 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.54 v -x2128 -x2129 -x2130 x2131 x2132 x2133 x2134 -x2135 -x2136 x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1800.54 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 x2162 x2163 1800.54 v x2164 x2165 x2166 x2167 x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1800.54 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 1800.54 v x2201 x2202 x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 1800.54 v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 1800.54 v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 1800.54 v -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1800.54 v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 1800.54 v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 1800.54 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 x2312 x2313 x2314 x2315 x2316 x2317 x2318 x2319 x2320 x2321 x2322 1800.54 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.54 v -x2340 x2341 x2342 x2343 -x2344 x2345 x2346 x2347 x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 1800.54 v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 -x2405 1800.54 v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 1800.54 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 x2432 x2433 x2434 x2435 x2436 x2437 x2438 -x2439 -x2440 -x2441 1800.54 v x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.54 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1800.54 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 1800.54 v x2493 x2494 x2495 x2496 x2497 x2498 -x2499 x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 1800.54 v -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 x2523 -x2524 x2525 x2526 -x2527 -x2528 -x2529 1800.54 v -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 1800.54 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 1800.54 v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1800.54 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 1800.54 v -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 x2614 -x2615 1800.54 v -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 1800.54 v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 x2642 x2643 x2644 x2645 x2646 x2647 x2648 -x2649 -x2650 -x2651 1800.54 v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 1800.54 v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 x2680 x2681 x2682 x2683 -x2684 -x2685 -x2686 1800.54 v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 1800.54 v -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 1800.54 v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 1800.54 v -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 1800.54 v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 1800.54 v -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 1800.54 v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 1800.54 v -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 1800.54 v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 1800.54 v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 1800.54 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 1800.54 v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 1800.54 v -x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 1800.54 v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 1800.54 v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 1800.54 v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 1800.54 v -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 1800.54 v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 1800.54 v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 1800.54 v -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 1800.54 v -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 1800.54 v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 1800.54 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 1800.54 v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 1800.54 v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 1800.54 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 1800.54 v -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 1800.54 v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 1800.54 v x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1800.54 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.54 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1800.54 v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1800.54 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 x3305 -x3306 -x3307 -x3308 1800.54 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.54 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.54 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.54 v -x3360 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 1800.54 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 1800.54 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 1800.54 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1800.54 v -x3488 -x3489 x3490 x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1800.54 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 1800.54 v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1800.54 v -x3540 x3541 x3542 x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3550 x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 1800.54 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 x3572 x3573 x3574 x3575 x3576 1800.54 v x3577 x3578 x3579 x3580 x3581 x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 1800.54 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 x3602 x3603 x3604 x3605 x3606 x3607 x3608 x3609 x3610 x3611 x3612 -x3613 1800.54 v -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 1800.54 v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 1800.54 v -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 1800.54 v -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 1800.54 v -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 1800.54 v -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 1800.54 v -x3716 -x3717 -x3718 -x3719 -x3720 x3751 x3752 x3753 x3754 -x3755 x3756 x3757 x3758 x3759 x3760 x3761 -x3762 -x3763 -x3764 1800.54 v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 1800.54 v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 1800.54 v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 1800.54 v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 1800.54 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 1800.54 v x3850 x3851 x3852 -x3853 x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 1800.54 v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 1800.54 v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 1800.54 v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 1800.54 v -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 1800.54 v -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 1800.54 v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 1800.54 v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 1800.54 v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 1800.54 v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 1800.54 v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 1800.54 v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 1800.54 v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 1800.54 v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 1800.54 v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 1800.54 v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 1800.54 v -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 1800.54 v -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 1800.54 v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 1800.54 v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 1800.54 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 1800.54 v -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 1800.54 v -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 x4272 x4273 1800.54 v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 1800.54 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 1800.54 v -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 1800.54 v -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 1800.54 v -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 1800.54 v -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 1800.54 v -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 1800.54 v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 1800.54 v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 1800.54 v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 1800.54 v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 1800.54 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 1800.54 v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 1800.54 v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 x4534 x4535 -x4536 -x4537 -x4538 x4539 x4540 -x4541 x4542 1800.54 v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 1800.54 v -x4560 -x4561 -x4562 -x4563 -x4564 x4565 x4566 x4567 -x4568 x4569 -x4570 x4571 x4572 x4573 -x4574 -x4575 -x4576 -x4577 1800.54 v -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 x4592 -x4593 -x4594 1800.54 v -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 1800.54 v -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 x4621 -x4622 -x4623 -x4624 x4625 x4626 -x4627 x4628 x4629 1800.54 v x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 1800.54 v -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 1800.54 v -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 1800.54 v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 1800.54 v -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 1800.54 v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 1800.54 v -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 x4774 x4775 x4776 x4777 x4778 x4779 1800.54 v -x4780 -x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 1800.54 v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 1800.54 v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1800.54 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 1800.54 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 1800.54 v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 1800.54 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 -x4892 x4893 x4894 x4895 x4896 -x4897 x4898 x4899 1800.54 v x4900 x4901 x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 1800.54 v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 1800.54 v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4951 1800.54 v x4952 x4953 x4954 x4955 x4956 x4957 x4958 x4959 x4960 x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 1800.54 v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 1800.54 v -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 1800.54 v -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 1800.54 v -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 1800.54 v -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 x5075 -x5076 -x5077 -x5078 -x5079 x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 1800.54 v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 1800.54 v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 1800.54 v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x7561 -x7562 -x7673 -x7736 -x7747 -x7758 x7769 1800.54 v -x7780 -x7791 x7802 -x7563 x7574 -x7585 x7596 x7607 -x7618 -x7629 -x7640 -x7651 x7662 x7674 -x7685 -x7696 -x7707 -x7718 1800.54 v x7729 x7732 x7733 -x7734 -x7735 x7737 -x7738 -x7739 x7740 x7741 -x7742 -x7743 x7744 -x7745 -x7746 -x7748 -x7749 x7750 -x7751 1800.54 v x7752 -x7753 -x7754 x7755 -x7756 x7757 x7759 x7760 -x7761 -x7762 x7763 -x7764 x7765 x7766 -x7767 -x7768 x7770 -x7771 -x7772 1800.54 v x7773 -x7774 x7775 -x7776 x7777 -x7778 x7779 x7781 x7782 x7783 x7784 -x7785 x7786 x7787 -x7788 x7789 -x7790 -x7792 -x7793 1800.54 v -x7794 -x7795 -x7796 x7797 -x7798 -x7799 -x7800 -x7801 x7803 -x7804 -x7805 -x7806 x7807 -x7808 x7809 -x7810 x7811 x7812 1800.54 v -x7564 -x7565 x7566 -x7567 -x7568 x7569 -x7570 -x7571 -x7572 -x7573 x7575 -x7576 -x7577 -x7578 -x7579 x7580 x7581 x7582 1800.54 v -x7583 x7584 x7586 -x7587 -x7588 -x7589 -x7590 -x7591 x7592 x7593 -x7594 x7595 -x7597 -x7598 x7599 -x7600 -x7601 x7602 1800.54 v -x7603 x7604 -x7605 x7606 x7608 -x7609 -x7610 -x7611 -x7612 -x7613 x7614 x7615 -x7616 x7617 x7619 x7620 -x7621 -x7622 -x7623 1800.54 v -x7624 x7625 -x7626 -x7627 x7628 -x7630 -x7631 x7632 x7633 x7634 -x7635 -x7636 -x7637 x7638 x7639 -x7641 x7642 -x7643 x7644 1800.54 v x7645 -x7646 -x7647 x7648 x7649 x7650 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 x7658 -x7659 -x7660 -x7661 -x7663 -x7664 1800.54 v -x7665 -x7666 -x7667 x7668 -x7669 -x7670 x7671 -x7672 -x7675 -x7676 x7677 -x7678 x7679 x7680 x7681 -x7682 -x7683 -x7684 1800.54 v x7686 -x7687 -x7688 x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7697 -x7698 -x7699 -x7700 x7701 -x7702 x7703 -x7704 1800.54 v x7705 -x7706 -x7708 -x7709 -x7710 -x7711 x7712 x7713 x7714 x7715 -x7716 -x7717 x7719 x7720 -x7721 -x7722 -x7723 x7724 -x7725 1800.54 v x7726 -x7727 -x7728 x7730 -x7731 1800.54 c Exit Code: 10 1800.54 c Total time: 1800 s
OK 17713151
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/node27/watcher-40558-1149304530 -o ROOT/results/node27/solver-40558-1149304530 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/40558-1149304530/instance-40558-1149304530.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 27752 /proc/meminfo: memFree=1739976/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=4932 CPUtime=0 /proc/27752/stat : 27752 (bsolo) D 27750 27752 27706 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 196116488 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/27752/statm: 1233 330 226 55 0 125 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1729432/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=15240 CPUtime=9.98 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 3028 0 0 0 992 6 0 0 25 0 1 0 196116488 15605760 2920 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537571 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 3810 2920 297 55 0 2702 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 15240 [startup+20.0079 s] /proc/loadavg: 0.94 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1729368/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=15372 CPUtime=19.98 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 3065 0 0 0 1991 7 0 0 25 0 1 0 196116488 15740928 2957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 3843 2957 297 55 0 2735 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 15372 [startup+30.0139 s] /proc/loadavg: 0.95 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1729432/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=15372 CPUtime=29.99 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 3065 0 0 0 2991 8 0 0 25 0 1 0 196116488 15740928 2957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 3843 2957 297 55 0 2735 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 15372 [startup+40.02 s] /proc/loadavg: 0.96 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1729432/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=15372 CPUtime=40 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 3065 0 0 0 3990 10 0 0 25 0 1 0 196116488 15740928 2957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 3843 2957 297 55 0 2735 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 15372 [startup+50.026 s] /proc/loadavg: 0.96 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1729368/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=15300 CPUtime=49.99 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 3096 0 0 0 4989 10 0 0 25 0 1 0 196116488 15667200 2959 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 3825 2959 297 55 0 2717 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 15300 [startup+60.031 s] /proc/loadavg: 0.97 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1729112/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=15772 CPUtime=60 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 3282 0 0 0 5989 11 0 0 25 0 1 0 196116488 16150528 3058 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 3943 3058 298 55 0 2835 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 15772 [startup+70.0371 s] /proc/loadavg: 0.97 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1728152/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=16668 CPUtime=70 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 3800 0 0 0 6989 11 0 0 25 0 1 0 196116488 17068032 3286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4167 3286 298 55 0 3059 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 16668 [startup+80.0431 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727320/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=17572 CPUtime=80 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4257 0 0 0 7988 12 0 0 25 0 1 0 196116488 17993728 3501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4393 3501 298 55 0 3285 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 17572 [startup+90.0491 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727128/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=17592 CPUtime=90.01 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4461 0 0 0 8988 13 0 0 25 0 1 0 196116488 18014208 3533 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695676 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4398 3533 298 55 0 3290 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 17592 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727384/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=17164 CPUtime=100.01 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4528 0 0 0 9988 13 0 0 25 0 1 0 196116488 17575936 3426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4291 3426 298 55 0 3183 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 17164 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727576/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=16972 CPUtime=110.01 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4528 0 0 0 10988 13 0 0 25 0 1 0 196116488 17379328 3378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4243 3378 298 55 0 3135 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 16972 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727576/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=16972 CPUtime=120.02 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4528 0 0 0 11988 14 0 0 25 0 1 0 196116488 17379328 3378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4243 3378 298 55 0 3135 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 16972 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727576/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=16972 CPUtime=130.02 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4528 0 0 0 12988 14 0 0 25 0 1 0 196116488 17379328 3378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4243 3378 298 55 0 3135 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 16972 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727576/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=16972 CPUtime=140.03 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4551 0 0 0 13989 14 0 0 25 0 1 0 196116488 17379328 3378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4243 3378 298 55 0 3135 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 16972 [startup+150.095 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727320/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=17204 CPUtime=150.03 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4714 0 0 0 14989 14 0 0 25 0 1 0 196116488 17616896 3436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4301 3436 298 55 0 3193 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 17204 [startup+160.101 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727512/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=16972 CPUtime=160.03 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4763 0 0 0 15988 15 0 0 25 0 1 0 196116488 17379328 3378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4243 3378 298 55 0 3135 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 16972 [startup+170.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727512/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=16972 CPUtime=170.03 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4763 0 0 0 16988 15 0 0 25 0 1 0 196116488 17379328 3378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4243 3378 298 55 0 3135 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 16972 [startup+180.112 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727512/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=16972 CPUtime=180.04 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4763 0 0 0 17988 16 0 0 25 0 1 0 196116488 17379328 3378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4243 3378 298 55 0 3135 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 16972 [startup+190.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727512/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=16972 CPUtime=190.04 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4763 0 0 0 18987 17 0 0 25 0 1 0 196116488 17379328 3378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4243 3378 298 55 0 3135 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 16972 [startup+200.124 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727576/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=16972 CPUtime=200.04 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 4763 0 0 0 19986 18 0 0 25 0 1 0 196116488 17379328 3378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 4243 3378 298 55 0 3135 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 16972 [startup+210.131 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27752 /proc/meminfo: memFree=1727576/2055920 swapFree=4180900/4192956 ################ # More data... # ################ /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 47372 [startup+1771.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696800/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1770.52 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 176976 76 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548214 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 47372 [startup+1781.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696800/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1780.53 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 177977 76 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 47372 [startup+1782.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1781.53 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 178077 76 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 47372 [startup+1783.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1782.54 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 178178 76 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 47372 [startup+1784.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1783.54 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 178278 76 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 47372 [startup+1785.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1784.55 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 178379 76 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 47372 [startup+1786.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1785.55 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 178479 76 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 47372 [startup+1787.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1786.56 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 178580 76 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 47372 [startup+1788.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1787.57 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 178680 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 47372 [startup+1789.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1788.57 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 178780 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 47372 [startup+1790.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1789.58 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 178881 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 47372 [startup+1791.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1790.58 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 178981 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 47372 [startup+1792.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1791.58 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 179081 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 47372 [startup+1793.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1792.59 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 179182 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134620502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 47372 [startup+1794.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1793.59 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 179282 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 47372 [startup+1795.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1794.6 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 179383 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 47372 [startup+1796.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1795.6 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 179483 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 47372 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1796.61 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 179584 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 47372 [startup+1798.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1797.61 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 179684 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 47372 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1798.62 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 179785 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 47372 [startup+1800.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27754 /proc/meminfo: memFree=1696864/2055920 swapFree=4180900/4192956 [pid=27752] ppid=27750 vsize=47372 CPUtime=1799.62 /proc/27752/stat : 27752 (bsolo) R 27750 27752 27706 0 -1 0 14499 0 0 0 179885 77 0 0 25 0 1 0 196116488 48508928 10978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27752/statm: 11843 10978 298 55 0 10735 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 47372 Child status: 10 Real time (s): 1800.56 CPU time (s): 1800.02 CPU user time (s): 1799.24 CPU system time (s): 0.780881 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (Kb): 47900
Begin job on node27 on Sat Jun 3 03:15:30 UTC 2006 FILE ID= 40558-1149304530 PBS_JOBID= 307547 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/40558-1149304530/instance-40558-1149304530.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-40558-1149304530 -o ROOT/results/node27/solver-40558-1149304530 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node27/40558-1149304530/instance-40558-1149304530.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= e99162fa0a9c8caac0a04031bf39653d RANDOM SEED= 733211134 /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.234 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 : 5914.62 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.234 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: 1740184 kB Buffers: 20292 kB Cached: 225824 kB SwapCached: 3784 kB Active: 79928 kB Inactive: 174928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1740184 kB SwapTotal: 4192956 kB SwapFree: 4180900 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14776 kB Slab: 46980 kB Committed_AS: 337040 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Sat Jun 3 03:45:31 UTC 2006