Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 282 | 1800.02 | 1800.55 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:98.opb |
MD5SUM | 6272f76e60106089ef6773ef02321eb2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 1180.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4 |
Optimality of the best value was proved | YES |
Number of variables | 4624 |
Total number of constraints | 5263 |
Number of constraints which are clauses | 4404 |
Number of constraints which are cardinality constraints (but not clauses) | 859 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 4624 |
Biggest coefficient in the objective function | 2577 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 13335 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 2577 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 13335 |
Number of bits of the biggest sum of numbers | 14 |
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.02 c INFO: OSL Context initialized. 0.15 c Initial problem consists of 4624 variables and 5263 constraints. 0.17 c preprocess terminated. Elapsed time: 0.154 0.17 c After prepocess the problem consists of 4620 variables and 5259 constraints. 0.17 c Initial Lower Bound: -2576 1.45 c Sol. found (all assignments made)... 1.45 o 2378 1.45 c NEW SOLUTION FOUND: 2378 @ 1.428 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 o 2377 1.45 c NEW SOLUTION FOUND: 2377 @ 1.435 1.46 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.48 o 2375 1.48 c NEW SOLUTION FOUND: 2375 @ 1.463 1.49 c Sol. found (all assignments made)... 1.49 o 2374 1.49 c NEW SOLUTION FOUND: 2374 @ 1.475 1.50 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 o 2372 1.52 c NEW SOLUTION FOUND: 2372 @ 1.497 1.52 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 o 2371 1.53 c NEW SOLUTION FOUND: 2371 @ 1.507 1.53 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 o 2369 1.54 c NEW SOLUTION FOUND: 2369 @ 1.517 1.54 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.56 o 2367 1.56 c NEW SOLUTION FOUND: 2367 @ 1.539 1.56 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 o 2366 1.60 c NEW SOLUTION FOUND: 2366 @ 1.581 1.61 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.82 c Sol. found (all assignments made)... 1.86 c Sol. found (all assignments made)... 1.87 c Sol. found (all assignments made)... 1.88 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.91 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.93 c Sol. found (all assignments made)... 1.93 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 1.97 o 2364 1.97 c NEW SOLUTION FOUND: 2364 @ 1.949 1.97 c Sol. found (all assignments made)... 1.98 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 1.99 o 2362 1.99 c NEW SOLUTION FOUND: 2362 @ 1.968 1.99 c Sol. found (all assignments made)... 1.99 c Sol. found (all assignments made)... 2.08 c Sol. found (all assignments made)... 2.12 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.53 c Restart #1 #Var: 4620 LB: -2576 @ 2.506 4.10 c Sol. found (all assignments made)... 4.10 o 559 4.10 c NEW SOLUTION FOUND: 559 @ 4.073 4.10 c Sol. found (all assignments made)... 4.10 o 558 4.10 c NEW SOLUTION FOUND: 558 @ 4.077 4.10 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.11 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.12 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.13 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 c Sol. found (all assignments made)... 4.14 o 557 4.14 c NEW SOLUTION FOUND: 557 @ 4.118 4.14 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.15 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.16 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.19 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.20 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.21 c Sol. found (all assignments made)... 4.22 c Sol. found (all assignments made)... 4.22 o 556 4.22 c NEW SOLUTION FOUND: 556 @ 4.197 4.22 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.23 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.24 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.25 c Sol. found (all assignments made)... 4.26 c Sol. found (all assignments made)... 4.26 o 555 4.26 c NEW SOLUTION FOUND: 555 @ 4.239 4.26 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.27 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 o 554 4.28 c NEW SOLUTION FOUND: 554 @ 4.254 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.28 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.29 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.30 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.31 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.32 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.33 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.34 o 553 4.34 c NEW SOLUTION FOUND: 553 @ 4.315 4.34 c Sol. found (all assignments made)... 4.34 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.35 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.36 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.37 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.39 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.45 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.48 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.49 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.51 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.52 c Sol. found (all assignments made)... 4.55 c Sol. found (all assignments made)... 4.55 o 552 4.55 c NEW SOLUTION FOUND: 552 @ 4.527 4.55 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.56 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.58 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.59 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.64 c Sol. found (all assignments made)... 4.64 o 551 4.64 c NEW SOLUTION FOUND: 551 @ 4.616 4.64 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.65 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.67 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 o 550 4.73 c NEW SOLUTION FOUND: 550 @ 4.701 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.78 c Sol. found (all assignments made)... 4.78 o 549 4.78 c NEW SOLUTION FOUND: 549 @ 4.754 4.79 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.88 o 548 4.88 c NEW SOLUTION FOUND: 548 @ 4.854 4.88 c Sol. found (all assignments made)... 4.88 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.89 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.90 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.05 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.08 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.31 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.32 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.33 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.34 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.39 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.40 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.41 c Sol. found (all assignments made)... 5.51 c Restart #2 #Var: 4620 LB: -2576 @ 5.488 6.59 c Sol. found (all assignments made)... 6.59 o 540 6.59 c NEW SOLUTION FOUND: 540 @ 6.561 6.59 c Sol. found (all assignments made)... 6.59 o 539 6.59 c NEW SOLUTION FOUND: 539 @ 6.564 6.59 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.60 o 538 6.60 c NEW SOLUTION FOUND: 538 @ 6.571 6.60 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.61 c Sol. found (all assignments made)... 6.61 o 537 6.61 c NEW SOLUTION FOUND: 537 @ 6.581 6.61 c Sol. found (all assignments made)... 6.61 c Sol. found (all assignments made)... 6.62 c Sol. found (all assignments made)... 6.62 o 535 6.62 c NEW SOLUTION FOUND: 535 @ 6.593 6.62 c Sol. found (all assignments made)... 6.62 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.63 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.64 c Sol. found (all assignments made)... 6.65 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.66 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.67 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.68 c Sol. found (all assignments made)... 6.69 c Sol. found (all assignments made)... 6.69 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.70 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.71 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.73 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.74 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.75 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.76 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.77 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.79 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.80 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.81 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.82 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.83 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.86 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.88 c Sol. found (all assignments made)... 6.88 c Sol. found (all assignments made)... 6.88 c Sol. found (all assignments made)... 6.90 c Sol. found (all assignments made)... 6.90 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.91 c Sol. found (all assignments made)... 6.92 c Sol. found (all assignments made)... 6.92 o 534 6.92 c NEW SOLUTION FOUND: 534 @ 6.898 6.93 c Sol. found (all assignments made)... 6.93 o 533 6.93 c NEW SOLUTION FOUND: 533 @ 6.901 6.93 c Sol. found (all assignments made)... 6.93 c Sol. found (all assignments made)... 6.93 o 532 6.93 c NEW SOLUTION FOUND: 532 @ 6.909 6.94 c Sol. found (all assignments made)... 6.94 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 o 531 6.95 c NEW SOLUTION FOUND: 531 @ 6.92 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 o 530 6.96 c NEW SOLUTION FOUND: 530 @ 6.929 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.00 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.01 c Sol. found (all assignments made)... 7.03 c Sol. found (all assignments made)... 7.03 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.05 c Sol. found (all assignments made)... 7.05 c Sol. found (all assignments made)... 7.05 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.06 c Sol. found (all assignments made)... 7.09 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.13 c Sol. found (all assignments made)... 7.13 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.15 c Sol. found (all assignments made)... 7.18 c Sol. found (all assignments made)... 7.19 c Sol. found (all assignments made)... 7.19 c Sol. found (all assignments made)... 7.19 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.25 c Sol. found (all assignments made)... 7.25 c Sol. found (all assignments made)... 7.35 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.38 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.43 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.45 c Sol. found (all assignments made)... 7.50 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.51 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.52 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.53 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.58 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.61 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.73 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.91 c Restart #3 #Var: 4620 LB: -2576 @ 7.889 8.96 c Sol. found (all assignments made)... 8.96 o 333 8.96 c NEW SOLUTION FOUND: 333 @ 8.932 8.96 c Sol. found (all assignments made)... 8.96 c Sol. found (all assignments made)... 8.96 o 330 8.96 c NEW SOLUTION FOUND: 330 @ 8.937 8.97 c Sol. found (all assignments made)... 8.97 o 328 8.97 c NEW SOLUTION FOUND: 328 @ 8.948 8.98 c Sol. found (all assignments made)... 8.98 o 325 8.98 c NEW SOLUTION FOUND: 325 @ 8.952 9.09 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.16 c Sol. found (all assignments made)... 9.16 o 324 9.16 c NEW SOLUTION FOUND: 324 @ 9.139 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.17 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.30 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.35 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.43 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.44 c Sol. found (all assignments made)... 9.45 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.49 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.50 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.54 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.72 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.90 c Sol. found (all assignments made)... 9.91 c Sol. found (all assignments made)... 9.92 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.93 c Sol. found (all assignments made)... 9.94 c Sol. found (all assignments made)... 9.97 c Sol. found (all assignments made)... 9.98 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 9.99 c Sol. found (all assignments made)... 10.00 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.01 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.03 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.06 o 321 10.06 c NEW SOLUTION FOUND: 321 @ 10.031 10.07 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.08 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.09 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.13 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.14 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.64 c Sol. found (all assignments made)... 10.68 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 11.31 c Restart #4 #Var: 4620 LB: -2576 @ 11.282 15.15 c Restart #5 #Var: 4620 LB: -2576 @ 15.123 17.97 c Restart #6 #Var: 4620 LB: -2576 @ 17.944 21.13 c Restart #7 #Var: 4620 LB: -2576 @ 21.096 53.83 c CHANGE to MIS mode... UB: 321 MIS: -1742 LPR: 0 (9.4353) Diff: -inf 53.83 c Restart #0 #Var: 4620 LB: -2576 @ 53.785 55.37 c Restart #1 #Var: 4620 LB: -1729 @ 55.329 56.31 c Sol. found (all assignments made)... 56.31 o 300 56.31 c NEW SOLUTION FOUND: 300 @ 56.261 56.31 c Sol. found (all assignments made)... 56.31 o 297 56.31 c NEW SOLUTION FOUND: 297 @ 56.265 56.31 c Sol. found (all assignments made)... 56.32 c Sol. found (all assignments made)... 56.32 c Sol. found (all assignments made)... 56.32 o 296 56.32 c NEW SOLUTION FOUND: 296 @ 56.273 56.33 c Sol. found (all assignments made)... 56.34 c Sol. found (all assignments made)... 56.34 o 295 56.34 c NEW SOLUTION FOUND: 295 @ 56.298 56.35 c Sol. found (all assignments made)... 56.35 o 294 56.35 c NEW SOLUTION FOUND: 294 @ 56.302 56.35 c Sol. found (all assignments made)... 56.37 c Sol. found (all assignments made)... 56.37 c Sol. found (all assignments made)... 56.37 o 293 56.37 c NEW SOLUTION FOUND: 293 @ 56.324 56.42 c Sol. found (all assignments made)... 56.57 c Sol. found (all assignments made)... 56.57 o 291 56.57 c NEW SOLUTION FOUND: 291 @ 56.523 56.57 c Sol. found (all assignments made)... 56.63 c Sol. found (all assignments made)... 56.63 c Sol. found (all assignments made)... 56.67 c Sol. found (all assignments made)... 56.67 c Sol. found (all assignments made)... 56.68 c Sol. found (all assignments made)... 56.68 o 290 56.68 c NEW SOLUTION FOUND: 290 @ 56.631 56.68 c Sol. found (all assignments made)... 56.68 c Sol. found (all assignments made)... 56.68 c Sol. found (all assignments made)... 56.70 c Sol. found (all assignments made)... 56.71 c Sol. found (all assignments made)... 56.71 c Sol. found (all assignments made)... 56.72 c Sol. found (all assignments made)... 56.72 c Sol. found (all assignments made)... 56.72 o 288 56.72 c NEW SOLUTION FOUND: 288 @ 56.676 56.72 c Sol. found (all assignments made)... 56.72 o 287 56.72 c NEW SOLUTION FOUND: 287 @ 56.68 56.73 c Sol. found (all assignments made)... 56.79 c Sol. found (all assignments made)... 56.79 c Sol. found (all assignments made)... 56.79 o 286 56.79 c NEW SOLUTION FOUND: 286 @ 56.747 56.81 c Sol. found (all assignments made)... 56.82 c Sol. found (all assignments made)... 56.83 c Sol. found (all assignments made)... 56.83 o 285 56.83 c NEW SOLUTION FOUND: 285 @ 56.781 56.83 c Sol. found (all assignments made)... 56.83 c Sol. found (all assignments made)... 56.87 c Sol. found (all assignments made)... 56.87 c Sol. found (all assignments made)... 56.88 c Sol. found (all assignments made)... 56.88 c Sol. found (all assignments made)... 56.88 c Sol. found (all assignments made)... 56.88 o 283 56.88 c NEW SOLUTION FOUND: 283 @ 56.837 56.88 c Sol. found (all assignments made)... 56.88 o 282 56.88 c NEW SOLUTION FOUND: 282 @ 56.84 56.89 c Sol. found (all assignments made)... 56.98 c Sol. found (all assignments made)... 56.99 c Sol. found (all assignments made)... 57.10 c Sol. found (all assignments made)... 57.10 c Sol. found (all assignments made)... 57.13 c Sol. found (all assignments made)... 57.14 c Sol. found (all assignments made)... 57.36 c Sol. found (all assignments made)... 57.36 c Sol. found (all assignments made)... 57.37 c Sol. found (all assignments made)... 57.37 c Sol. found (all assignments made)... 57.59 c Restart #2 #Var: 4620 LB: -1722 @ 57.544 59.75 c Restart #3 #Var: 4620 LB: -1742 @ 59.7 63.05 c Restart #4 #Var: 4620 LB: -1743 @ 63.007 66.33 c Restart #5 #Var: 4620 LB: -1719 @ 66.284 70.77 c Restart #6 #Var: 4620 LB: -1750 @ 70.723 75.29 c Restart #7 #Var: 4620 LB: -1754 @ 75.239 80.91 c Restart #8 #Var: 4620 LB: -1738 @ 80.862 86.68 c Restart #9 #Var: 4620 LB: -1729 @ 86.628 93.47 c Restart #10 #Var: 4620 LB: -1739 @ 93.413 100.13 c Restart #11 #Var: 4620 LB: -1726 @ 100.07 108.15 c Restart #12 #Var: 4620 LB: -1731 @ 108.09 116.86 c Restart #13 #Var: 4620 LB: -1765 @ 116.8 127.39 c Restart #14 #Var: 4620 LB: -1735 @ 127.32 136.70 c Restart #15 #Var: 4620 LB: -1735 @ 136.63 147.02 c Restart #16 #Var: 4620 LB: -1730 @ 146.96 156.93 c Restart #17 #Var: 4620 LB: -1728 @ 156.86 168.77 c Restart #18 #Var: 4620 LB: -1731 @ 168.7 179.64 c Restart #19 #Var: 4620 LB: -1741 @ 179.56 193.26 c Restart #20 #Var: 4620 LB: -1736 @ 193.18 205.68 c Restart #21 #Var: 4620 LB: -1725 @ 205.59 219.40 c Restart #22 #Var: 4620 LB: -1742 @ 219.31 232.97 c Restart #23 #Var: 4620 LB: -1737 @ 232.88 247.95 c Restart #24 #Var: 4620 LB: -1732 @ 247.85 261.56 c Restart #25 #Var: 4620 LB: -1740 @ 261.46 278.46 c Restart #26 #Var: 4620 LB: -1724 @ 278.35 293.59 c Restart #27 #Var: 4620 LB: -1736 @ 293.48 311.37 c Restart #28 #Var: 4620 LB: -1753 @ 311.26 329.35 c Restart #29 #Var: 4620 LB: -1732 @ 329.23 350.85 c Restart #30 #Var: 4620 LB: -1729 @ 350.73 369.61 c Restart #31 #Var: 4620 LB: -1737 @ 369.48 391.98 c Restart #32 #Var: 4620 LB: -1744 @ 391.84 410.22 c Restart #33 #Var: 4620 LB: -1750 @ 410.08 431.85 c Restart #34 #Var: 4620 LB: -1742 @ 431.71 453.11 c Restart #35 #Var: 4620 LB: -1748 @ 452.96 476.48 c Restart #36 #Var: 4620 LB: -1719 @ 476.32 496.85 c Restart #37 #Var: 4620 LB: -1761 @ 496.68 521.85 c Restart #38 #Var: 4620 LB: -1740 @ 521.67 543.04 c Restart #39 #Var: 4620 LB: -1748 @ 542.87 566.61 c Restart #40 #Var: 4620 LB: -1741 @ 566.42 591.15 c Restart #41 #Var: 4620 LB: -1740 @ 590.96 621.04 c Restart #42 #Var: 4620 LB: -1743 @ 620.84 646.16 c Restart #43 #Var: 4620 LB: -1735 @ 645.95 673.69 c Restart #44 #Var: 4620 LB: -1720 @ 673.48 697.59 c Restart #45 #Var: 4620 LB: -1734 @ 697.37 728.21 c Restart #46 #Var: 4620 LB: -1740 @ 727.98 755.00 c Restart #47 #Var: 4620 LB: -1736 @ 754.76 781.23 c Restart #48 #Var: 4620 LB: -1753 @ 780.99 808.42 c Restart #49 #Var: 4620 LB: -1735 @ 808.17 842.99 c Restart #50 #Var: 4620 LB: -1767 @ 842.73 871.88 c Restart #51 #Var: 4620 LB: -1715 @ 871.61 903.94 c Restart #52 #Var: 4620 LB: -1734 @ 903.66 931.70 c Restart #53 #Var: 4620 LB: -1735 @ 931.41 965.14 c Restart #54 #Var: 4620 LB: -1720 @ 964.84 991.04 c Restart #55 #Var: 4620 LB: -1729 @ 990.74 1021.79 c Restart #56 #Var: 4620 LB: -1718 @ 1021.5 1053.55 c Restart #57 #Var: 4620 LB: -1759 @ 1053.2 1092.83 c Restart #58 #Var: 4620 LB: -1735 @ 1092.5 1125.21 c Restart #59 #Var: 4620 LB: -1725 @ 1124.9 1163.16 c Restart #60 #Var: 4620 LB: -1719 @ 1162.8 1198.80 c Restart #61 #Var: 4620 LB: -1744 @ 1198.4 1233.50 c Restart #62 #Var: 4620 LB: -1741 @ 1233.1 1271.96 c Restart #63 #Var: 4620 LB: -1741 @ 1271.6 1310.92 c Restart #64 #Var: 4620 LB: -1754 @ 1310.5 1348.74 c Restart #65 #Var: 4620 LB: -1731 @ 1348.3 1390.16 c Restart #66 #Var: 4620 LB: -1728 @ 1389.7 1429.49 c Restart #67 #Var: 4620 LB: -1738 @ 1429.1 1469.86 c Restart #68 #Var: 4620 LB: -1740 @ 1469.4 1509.52 c Restart #69 #Var: 4620 LB: -1749 @ 1509.1 1558.16 c Restart #70 #Var: 4620 LB: -1746 @ 1557.7 1596.94 c Restart #71 #Var: 4620 LB: -1724 @ 1596.5 1638.62 c Restart #72 #Var: 4620 LB: -1735 @ 1638.1 1681.57 c Restart #73 #Var: 4620 LB: -1709 @ 1681.1 1722.62 c Restart #74 #Var: 4620 LB: -1747 @ 1722.1 1764.05 c Restart #75 #Var: 4620 LB: -1740 @ 1763.5 1800.53 s SATISFIABLE 1800.53 c Cost: 282 1800.53 v -x4222 -x3660 -x4227 -x3781 -x3681 x3133 -x2611 -x4226 -x3896 -x3780 -x3680 x2610 -x335 -x4027 -x3782 x3134 x2616 x1997 1800.53 v -x336 -x4229 -x4026 -x3895 -x3783 -x3682 -x3136 x2615 x1406 -x1104 -x560 x339 -x4230 -x4032 -x3899 -x3784 -x3684 -x3137 1800.53 v -x2617 x1998 -x1109 x337 -x4233 -x4031 -x3791 x2621 -x2000 x1409 -x1108 -x559 -x417 x338 -x4231 -x4033 -x3900 -x3785 -x3685 1800.53 v x2620 -x2001 x1410 x1084 -x563 x4477 -x4286 -x4232 -x4037 -x3786 -x3725 -x3687 -x2618 -x1360 x1226 -x1111 x1083 -x4036 1800.53 v -x3787 -x3724 -x3688 -x2619 x1231 -x1112 x1089 -x564 x4480 -x4285 -x4034 -x3726 -x3311 x1230 -x1115 x1088 x4481 -x4035 1800.53 v -x3729 -x1113 x1090 -x655 -x4291 -x3728 -x3310 x2166 x1233 -x1114 x1094 -x990 -x654 -x4336 -x4289 -x3733 x1234 x1093 -x656 1800.53 v -x4335 -x3732 -x3316 x2165 x1237 x1091 -x993 -x657 -x388 -x4290 -x3730 -x3314 x1235 x1092 -x994 -x658 -x392 -x4360 -x4337 1800.53 v -x4294 -x3731 x2171 x1236 x854 -x665 x4339 -x3315 x2169 x859 -x659 -x4363 -x3319 x858 -x660 -x4364 x4340 x2170 -x661 x4342 1800.53 v -x3573 -x2174 x861 x53 x4343 -x3572 -x1980 x862 x57 -x3709 -x3574 -x1979 x1337 x865 -x317 -x4622 x1984 x863 -x3635 x1983 1800.53 v x1336 x864 -x320 -x3639 x4623 -x321 -x3656 -x3149 x3131 -x1994 -x3659 -x1993 -x4221 -x3676 x3135 -x4223 -x3675 -x3139 x1939 1800.53 v -x4228 -x3138 x2612 x1999 x340 -x4225 -x3897 -x3794 -x3683 x2613 -x2003 x1405 -x639 -x413 -x4234 -x4028 -x3901 -x3795 -x3686 1800.53 v x2614 -x2002 -x1103 -x4029 -x3790 -x3690 -x2625 x2452 x1411 -x1356 -x1105 -x561 -x416 -x4030 -x3689 x2456 -x1110 -x565 1800.53 v x4476 -x4281 -x4041 -x3903 -x3788 -x1359 -x1107 -x3904 x1225 -x1116 x1085 x4482 -x4287 -x3306 -x1414 x1227 x1086 -x834 1800.53 v -x567 -x3727 x1232 x1087 -x838 -x568 -x4292 -x3741 -x3312 -x2161 x1229 x1098 -x989 -x4331 -x3737 x1238 -x4485 -x4330 -x4295 1800.53 v -x3736 -x3317 x2167 -x995 -x668 -x387 -x4293 -x669 -x391 -x4359 -x4338 -x3320 x2172 -x664 x4341 -x3318 x853 -x4365 x4345 1800.53 v x2175 -x998 x855 -x662 x4344 x2173 x860 -x3705 x857 x52 x866 x56 -x4368 -x3708 -x316 -x225 -x3575 -x1981 -x229 -x3634 -x3583 1800.53 v -x1982 x1338 -x322 -x3638 x3579 x3578 x1988 -x1460 -x3655 -x3148 x3130 -x3661 x3132 -x1935 -x3891 -x1995 -x4269 -x3890 1800.53 v -x3793 -x3143 -x1996 x1938 x1401 -x635 -x348 -x4224 -x3792 -x3677 -x555 -x344 -x4242 -x3898 -x3678 -x3664 -x3457 -x2628 1800.53 v -x2007 x1407 -x638 -x554 -x412 -x343 -x4238 -x3902 -x3679 -x2629 x4472 -x4237 -x4044 -x3906 -x3694 -x3286 -x2624 x2451 1800.53 v x1412 -x1355 -x562 -x418 -x4045 -x3905 -x3290 x2455 -x1106 -x566 x4478 -x4040 -x3789 -x2622 -x1415 -x1361 -x1124 -x570 1800.53 v -x4280 -x1413 -x1120 -x569 x4483 -x4282 -x4038 -x3738 -x1119 -x1101 -x985 -x833 -x421 -x4288 -x3740 -x3305 x1228 x1102 1800.53 v -x837 -x4486 -x4284 -x3307 -x1364 x1246 x1097 -x991 -x667 x513 -x4484 -x4296 -x3313 x2160 x1242 -x666 -x517 -x4355 -x3734 1800.53 v -x3309 x2162 x1241 x1095 -x996 -x492 -x389 -x4332 -x3321 x2168 -x393 -x4361 -x4333 -x3735 x2164 -x999 x4334 x2176 -x997 1800.53 v -x4366 -x4349 -x663 -x395 x856 -x396 -x4369 -x3704 x874 -x312 x54 -x4367 -x1333 x870 x58 -x3710 -x3580 x1720 -x1332 x869 1800.53 v -x318 -x224 -x3582 -x1724 -x228 -x3636 -x1991 x1456 x1339 -x323 -x60 -x3640 -x1992 -x61 -x3713 x3576 x1987 -x1459 x1340 1800.53 v -x542 -x324 x1341 -x325 -x3657 -x3150 -x2280 x4270 -x3662 x3146 x1934 -x345 x4268 x3147 -x347 -x4239 -x3665 -x3453 -x3154 1800.53 v -x3142 -x2627 x2195 -x2010 x1940 -x634 -x408 -x4241 -x3892 -x3663 -x2626 -x2011 x1400 -x4043 -x3893 -x3697 -x3456 -x3214 1800.53 v -x3140 -x2006 x1402 -x1351 -x640 -x414 -x341 -x4042 -x3894 -x3698 -x3218 x1408 -x556 -x4235 -x3910 -x3693 -x3285 x2453 1800.53 v -x2004 x1943 x1404 -x1357 -x1121 -x557 -x419 -x342 x4471 -x3289 x2457 -x1416 -x1123 -x558 x4473 -x4236 -x3691 -x2623 -x1362 1800.53 v -x1100 -x643 -x574 -x422 x4479 -x3739 -x1099 -x420 x4475 -x4039 -x2459 -x1365 x1243 -x1117 -x835 x463 x4487 -x4283 -x2460 1800.53 v -x1363 x1245 -x984 -x839 -x467 -x383 -x4304 -x1118 -x986 x512 -x488 -x382 -x4300 -x3308 -x992 -x516 -x4299 -x3329 x1239 1800.53 v x1096 -x988 -x841 x491 -x390 -x4354 -x3325 x2163 -x1000 -x842 -x394 -x4356 -x4352 -x3324 x2184 x1240 -x398 -x4362 -x4353 1800.53 v x2180 -x397 x48 -x4358 -x4348 -x3700 x2179 x871 x47 -x4370 x873 -x4346 -x3706 x55 -x3630 -x3581 -x311 x59 -x3711 -x3629 -x2264 1800.53 v -x1990 x1719 x867 -x313 -x226 -x63 -x1989 x1723 -x1334 -x319 -x230 -x62 -x3802 -x3714 -x3637 x1455 -x1335 x868 -x538 -x315 1800.53 v -x3806 -x3712 -x3641 -x326 -x3642 x3577 x1985 -x1461 x1345 -x541 -x232 -x3643 -x233 -x3653 -x3151 x3145 -x2279 x1930 x4271 1800.53 v -x3658 x3144 -x346 -x3654 -x3155 -x2191 -x2009 x1936 -x630 -x4240 -x3666 -x3153 -x2008 -x3696 -x3452 x2194 -x2047 x1941 1800.53 v -x636 -x3695 x2447 -x407 -x3913 -x3458 -x3213 -x3141 -x2790 x2446 x1944 -x641 -x409 -x3914 -x3217 x1942 x1403 -x1350 -x1122 1800.53 v -x415 -x3909 -x3287 x2454 -x2005 -x1424 -x1352 -x644 -x577 -x411 -x3291 x2458 x1420 -x1358 -x829 -x642 -x578 -x423 -x3907 1800.53 v -x3692 -x3461 -x2462 x1812 -x1419 -x1354 -x828 -x573 -x204 x4474 -x2461 x1816 -x1366 x1244 -x4495 -x4301 -x3293 -x836 -x571 1800.53 v x462 x4491 -x4303 -x3294 -x840 -x466 x4490 -x3326 -x2929 -x844 x514 -x487 -x157 -x3328 -x2933 -x987 -x843 -x518 -x384 -x4351 1800.53 v -x4297 x2181 -x1008 x493 -x385 -x4350 x2183 -x1004 -x386 -x4298 -x3322 -x1003 x520 -x402 -x4357 -x872 x521 -x4378 -x3323 1800.53 v x2177 x496 -x4374 -x3699 -x220 x49 -x4373 -x4347 -x3701 x2260 -x2178 -x219 x50 -x3707 x51 -x3703 -x2263 x1721 x1451 -x227 1800.53 v -x67 -x3715 -x3631 x1725 -x314 -x231 x4580 -x3801 -x3632 x1457 -x1348 -x537 -x334 -x235 -x3805 -x3633 -x1349 -x330 -x234 1800.53 v -x3647 x1986 x1727 -x1462 x1344 -x543 -x329 x1728 -x4279 -x3152 -x2281 x809 x295 -x4275 -x3652 -x3156 x1929 x813 -x4274 1800.53 v -x3674 -x3614 -x3448 -x2190 -x2043 x1931 -x3670 x1937 -x629 -x3912 -x3669 -x3454 -x2840 -x2786 -x2285 x2196 x2046 x1933 1800.53 v -x631 -x3911 -x3281 x1945 -x637 -x3459 -x3280 -x3215 -x2789 -x1421 -x633 -x576 -x3219 x2448 -x1423 -x645 -x575 -x410 -x3462 1800.53 v -x3288 x2449 -x2302 -x2199 -x431 -x200 -x3460 -x3292 x2450 -x2306 -x1353 -x427 -x4492 -x3908 -x3296 -x3221 x2466 x1811 1800.53 v -x1417 -x1374 -x426 -x203 -x4494 -x4302 -x3295 -x3222 x1815 -x1370 -x830 x508 -x1418 -x1369 -x831 -x572 x507 -x483 x464 1800.53 v -x153 -x3327 -x832 -x468 x4488 -x2928 -x1837 -x1005 -x848 x515 -x489 -x156 x2932 -x2182 -x1841 -x1007 -x519 -x4489 x523 1800.53 v x494 x470 -x405 x522 -x471 -x406 -x4375 -x1001 x497 -x401 -x4377 x495 -x1002 -x399 x1715 -x4371 x2259 x1714 x70 -x3702 -x221 1800.53 v x71 x4576 -x4372 -x3723 -x2265 x1722 -x1347 -x533 -x331 -x222 -x66 -x3719 x1726 x1450 -x1346 -x333 -x223 x4579 -x3803 -x3718 1800.53 v -x3650 x1730 x1452 -x539 -x239 -x64 -x3807 -x3651 x1729 x1458 -x3646 x2268 x1454 x1342 -x544 -x327 x1463 -x4278 -x3671 -x3610 1800.53 v -x3164 -x2282 -x2186 x808 x294 -x3673 -x3160 x812 -x4272 -x3613 -x3159 -x2836 -x2286 -x2192 -x2042 -x3447 -x3209 -x2284 1800.53 v x1932 -x4273 -x3667 -x3449 -x3208 -x2839 -x2785 x2197 x2048 x1953 -x1574 -x3455 -x1949 -x1422 -x632 -x3668 -x3451 -x3216 1800.53 v -x2791 x2200 -x1948 -x653 -x428 -x3463 -x3282 -x3220 -x2198 -x649 -x430 -x3283 -x3224 x2469 -x2301 x2051 -x1371 -x648 -x199 1800.53 v -x4493 -x3284 -x3223 x2470 -x2305 -x1373 x458 -x3300 -x2794 x2465 x1813 -x1620 x457 -x424 -x205 x1817 -x1624 -x4011 -x3358 1800.53 v x2463 -x1367 -x851 x465 -x425 -x152 -x3362 -x1006 -x852 x509 x482 -x469 -x2930 -x1836 -x1819 -x1368 -x847 x510 x484 x473 1800.53 v -x404 -x208 -x158 x2934 -x1840 -x1820 x511 -x490 x472 -x403 -x845 -x527 x486 -x4376 x498 x2936 -x161 x2937 x2255 -x400 x69 1800.53 v x68 -x3720 x2261 -x1787 -x3797 -x3722 -x1791 x1716 -x332 x4575 -x3796 -x3649 -x2266 x1717 -x242 -x3648 x1718 -x532 -x243 1800.53 v x4581 -x3804 -x3716 x2269 -x1912 x1734 -x534 -x238 -x65 -x3808 x2267 -x1916 x1453 -x540 -x3809 -x3717 -x3644 -x1471 -x1343 1800.53 v -x536 -x328 -x236 -x3810 x1467 -x545 -x4276 -x3672 -x3609 -x3163 -x2283 x2038 x810 x296 -x2287 -x2185 x814 -x3615 -x3157 1800.53 v -x2835 -x2781 x2187 -x2044 x1950 -x1570 -x2193 x1952 -x3158 -x2841 -x2787 x2189 -x2096 x2049 -x1573 -x816 -x650 -x300 -x3450 1800.53 v -x3210 x2201 -x817 -x652 -x429 -x3618 -x3471 -x3211 -x2792 x2468 x2052 -x1946 -x195 -x3467 -x3212 x2467 x2050 x1807 -x1372 1800.53 v -x3466 -x3303 -x3228 -x2844 -x2795 -x2303 -x1947 x1806 -x646 -x201 -x3304 -x2793 -x2307 -x4007 -x3299 x1814 -x1619 -x1435 1800.53 v -x850 -x647 -x206 -x148 x2924 x1818 -x1623 -x849 x459 -x4010 -x3357 -x3297 x2923 x2464 -x2309 -x1822 x460 -x209 -x154 -x3361 1800.53 v -x2310 -x1821 x461 -x207 -x2979 x2931 -x1838 -x530 x477 -x159 -x2983 x2935 -x1842 -x531 x485 x2939 -x846 -x721 -x526 x506 1800.53 v -x162 x2938 x725 x502 -x160 -x1844 -x524 x501 -x1845 x2503 -x3721 x2254 x4571 -x2765 x2256 -x1786 -x241 x2262 -x1790 -x240 1800.53 v x4577 x2258 x1737 -x3798 x2270 x1738 x4582 -x3799 -x1911 x1733 -x1468 -x3800 -x1915 -x1470 -x535 x4583 -x3814 -x3645 -x3119 1800.53 v x1731 -x553 -x237 -x35 x4584 -x3123 x1466 -x549 -x4277 -x3611 -x3161 -x2831 -x2295 x811 -x741 x297 -x2291 x2037 x1951 x815 1800.53 v -x3616 -x2837 -x2290 -x2092 x2039 -x1569 -x819 -x301 -x2780 x2188 x2045 -x818 -x651 -x299 -x3619 -x3468 -x2842 -x2782 x2327 1800.53 v x2209 -x2095 x2041 -x1575 -x3617 -x3470 -x2788 x2331 -x2297 x2205 x2053 -x3302 -x3231 -x2845 -x2784 -x2296 x2204 -x3301 1800.53 v -x3232 -x2843 -x2796 -x194 -x3464 -x3227 -x2431 -x2304 -x1578 -x1431 -x196 -x2308 x1808 -x202 -x4006 -x3465 -x3225 -x2312 1800.53 v x1809 -x1621 -x1434 -x198 -x2311 -x1832 x1810 -x1625 -x210 -x147 -x4012 -x3359 -x3298 -x1960 -x1831 -x1826 x791 -x529 x480 1800.53 v -x149 -x3363 x2925 -x1964 -x528 x481 -x155 -x3752 -x2978 x2926 -x1839 -x1627 x503 x476 -x151 -x2982 x2927 -x1843 -x1628 1800.53 v x505 -x163 -x4015 x3387 -x3365 x2943 -x2117 -x1847 -x720 x474 -x3366 -x2121 -x1846 x724 -x2499 -x525 x499 -x2761 x2502 x500 1800.53 v -x2764 -x1788 x1736 x4570 x2257 -x1792 x1735 x4572 x2278 x4578 x2274 -x1469 x4574 -x3817 x2273 -x1913 -x1794 -x550 -x31 1800.53 v x4585 -x3818 -x1917 -x1795 -x552 -x3813 -x3118 x1732 -x34 -x3122 x1464 -x548 -x3607 -x3162 -x2294 -x1565 x807 -x740 x298 1800.53 v -x3612 -x2830 x806 x302 -x3608 -x2832 -x2288 x2206 -x2091 -x1571 -x823 -x3620 -x3469 -x2838 x2208 x2040 -x3230 -x2834 x2326 1800.53 v -x2289 -x2097 x2061 -x1576 -x3229 -x2846 -x2783 x2330 x2057 -x2804 -x2427 x2202 x2056 x1579 -x1181 -x82 -x2800 -x2298 -x1615 1800.53 v x1577 -x1185 -x4002 -x3921 -x2799 -x2430 -x2299 -x2203 -x2100 -x1674 -x1614 -x1430 x3925 -x3353 -x2300 -x197 -x4008 -x3352 1800.53 v -x3226 -x2316 x1829 -x1622 -x1436 -x787 x479 -x218 x1830 -x1626 x478 -x214 -x4013 -x3748 -x3360 -x1959 -x1825 -x1630 x790 1800.53 v -x213 -x3364 -x1963 -x1833 -x1629 x504 -x150 -x4016 -x3751 -x3383 -x3368 -x2980 x2946 -x1834 -x1823 -x1595 -x1439 -x171 1800.53 v -x4014 -x3367 -x2984 x2947 -x1835 -x1599 -x167 x3386 x2942 -x2116 -x1851 -x722 -x475 -x166 -x2120 x726 -x2986 x2940 -x2498 1800.53 v -x254 -x2987 -x1782 -x2760 x2504 -x1781 x728 x729 -x2766 x2275 -x1789 x2277 -x1907 -x1793 -x3816 -x2507 -x1906 -x1797 x4573 1800.53 v -x3815 -x1796 -x551 x4593 -x2769 -x2271 -x1914 -x30 x8 x4589 -x1918 x12 x4588 -x3811 x3120 -x2272 -x1919 -x36 x3124 -x1920 1800.53 v x1465 -x546 -x2292 -x2087 -x1316 x826 -x742 x310 -x3606 -x2207 -x1564 x827 x306 -x3628 -x2591 -x2093 x2058 -x1566 -x822 1800.53 v x305 -x3624 -x2833 -x2595 x2060 -x1572 -x3623 -x2854 -x2801 x2328 -x2098 -x2022 x1568 -x820 -x746 -x78 -x2850 -x2803 x2332 1800.53 v x1580 -x4427 -x2849 -x2426 -x2101 x2054 -x1670 -x1426 -x1180 -x81 -x4431 -x2099 -x1184 -x3920 x2954 -x2797 -x2432 -x2334 1800.53 v -x2319 x2055 x1828 -x1673 -x1432 -x215 -x4001 x3924 x2958 -x2335 -x2320 x1827 -x1616 -x217 -x4131 -x4003 -x2798 -x2315 1800.53 v -x1617 -x1437 -x786 -x4009 -x3354 -x2974 -x1618 -x4005 -x3747 -x3355 -x2973 x2945 -x2636 -x2435 -x2313 -x1961 -x1634 -x1440 1800.53 v x792 -x211 -x168 -x4017 -x3356 x2944 -x2640 -x1965 -x1438 x716 -x170 -x3753 -x3382 -x3372 -x2981 -x1866 -x1854 -x1824 -x1594 1800.53 v x715 -x212 -x2985 -x1855 -x1598 x3388 -x2989 -x2494 -x2118 -x1967 -x1850 -x795 -x723 -x250 -x164 -x2988 -x2122 -x1968 x727 1800.53 v -x3756 x2941 -x2756 -x2500 -x1848 x731 -x253 -x165 x730 x4156 -x3391 -x2762 x2505 -x2124 x2276 -x2125 -x1783 -x2767 x2508 1800.53 v -x1784 x2506 -x1785 x4590 -x4506 -x2770 -x1801 -x26 x4592 x3114 -x2768 -x1908 x3113 -x1909 -x32 x7 -x1910 x11 x4586 -x3812 1800.53 v x3121 -x1924 -x371 -x37 x3125 -x547 -x375 -x3625 -x2293 x1315 x824 -x743 x309 -x3627 -x2322 -x2086 x2059 -x3020 -x2851 -x2590 1800.53 v x2321 -x2088 -x2018 -x747 x303 -x3024 -x2853 -x2802 -x2594 -x2094 -x1567 -x745 -x3621 -x2422 x2329 -x2090 -x2021 x1588 1800.53 v -x821 -x304 -x77 x2333 -x2102 x1584 -x4426 -x3622 -x2847 -x2428 -x2337 -x2318 -x1669 x1583 -x1182 -x83 -x4430 -x2336 -x2317 1800.53 v -x1425 -x1186 -x216 -x4127 x3922 x2953 -x2848 -x2433 -x1675 -x1427 x782 x3926 x2957 -x1955 -x1433 -x4130 -x3743 -x2436 1800.53 v -x1954 -x1637 -x1429 -x1188 -x788 -x86 -x4004 -x2434 -x1638 -x1441 -x1189 -x169 -x4025 x3928 -x3749 -x3378 -x3375 -x2635 1800.53 v -x2314 -x1962 -x1862 -x1853 -x1678 -x1633 x793 -x4021 -x3929 -x3376 -x2975 -x2639 -x2112 -x1966 -x1852 -x4020 -x3754 x3384 1800.53 v -x3371 -x2976 -x2111 -x1970 -x1865 -x1631 -x1596 x796 -x2977 -x1969 -x1600 -x794 x717 -x3757 x3389 -x3369 -x2993 -x2119 1800.53 v x718 -x614 -x249 -x3755 -x2493 -x2123 x719 x4152 x3392 -x2495 -x2127 -x1849 -x1602 x735 -x255 x3390 -x2755 -x2501 -x2126 1800.53 v -x1603 x4155 -x2757 -x2665 x2497 -x2763 x2509 -x4502 -x3045 -x2759 -x1804 x1019 -x258 x4591 -x3049 -x2771 -x1805 -x4505 1800.53 v -x1800 -x25 -x1927 -x1798 -x27 x9 x3115 -x1928 -x33 x13 x4587 x3116 -x1923 -x370 x29 x3117 -x374 -x38 -x3626 x1317 x825 -x744 1800.53 v x307 -x2852 -x748 -x3019 -x2592 -x2017 x1585 -x73 -x3023 -x2596 x2323 -x2089 x1587 -x1176 x2324 -x2110 -x2023 -x1665 x1321 1800.53 v -x1175 -x79 -x3916 -x2421 x2325 -x2106 -x4428 -x3982 x3915 -x2598 -x2423 -x2341 -x2105 -x1671 x1581 -x1183 -x84 -x4432 1800.53 v -x3986 -x2599 -x2429 -x1187 -x4126 x3923 x2955 -x2425 -x2026 -x1676 -x1636 -x1582 -x1520 -x1191 -x87 x3927 x2959 -x2437 1800.53 v -x1635 -x1524 -x1428 -x1190 x781 -x85 -x4434 -x4132 -x4022 x3931 -x3374 -x1679 -x1449 x783 -x4435 -x4024 x3930 -x3742 -x3373 1800.53 v -x1956 -x1677 -x1590 -x1445 -x789 -x3744 x2961 -x2637 -x1957 -x1861 -x1695 -x1589 -x1444 x785 -x3750 x3377 x2962 -x2641 1800.53 v -x1958 -x1699 x797 -x4135 -x4018 -x3746 x3379 -x2996 -x1974 -x1867 -x1632 -x1597 -x610 -x245 -x3758 x3385 -x2997 -x2113 1800.53 v -x1601 x4249 -x4019 x3381 -x3370 -x2992 -x2643 -x2114 -x1605 x738 -x613 -x251 -x4253 x3393 -x2644 -x2115 -x1604 x739 x4151 1800.53 v -x2990 -x2661 -x2131 -x1870 x734 -x256 -x2496 x4157 -x2664 -x2517 -x1803 x1015 x732 -x259 -x2758 -x2513 -x1802 -x257 x4531 1800.53 v -x4501 -x4452 -x3044 -x2779 -x2512 x1018 -x4456 -x3048 -x2775 x3 -x4507 x4160 -x2774 -x1926 -x1381 -x935 x2 -x1925 -x1385 1800.53 v -x1799 x10 -x28 x14 -x4510 x3128 x2481 -x1921 -x372 -x46 x15 x3129 -x376 x42 x16 -x3822 -x2587 x2013 x1318 -x756 x308 -x3826 1800.53 v x1586 -x752 -x3021 -x2593 -x2107 -x2019 x1322 -x751 -x4422 -x3025 -x2597 -x2109 x1320 -x72 -x4421 -x2601 x2344 -x2024 -x74 1800.53 v x2949 -x2600 x2345 -x1664 -x1177 -x80 -x4429 -x4122 -x3981 -x3557 -x3027 x2948 -x2340 -x2103 x2027 -x1666 -x1178 -x76 -x4433 1800.53 v -x3985 x3917 -x3028 -x2424 x2025 -x1672 -x1179 -x88 -x4437 -x4128 x3918 x2956 -x2445 -x2338 -x2104 -x1668 -x1519 -x1446 1800.53 v -x1206 -x1195 -x4436 -x4023 x3919 x2960 -x2631 -x2441 -x1680 -x1523 -x1448 x1210 -x4133 -x3935 x2964 -x2630 -x2440 -x1857 1800.53 v -x1064 x2963 x1068 x784 -x4136 -x2995 -x2638 -x1977 -x1863 -x1694 -x1442 -x805 -x4134 -x3745 -x2994 -x2642 -x1978 -x1698 1800.53 v -x1591 -x801 -x3766 -x2646 -x1973 -x1868 -x1592 -x1443 -x800 x737 -x609 -x3762 x3380 -x2645 -x1593 x736 -x244 x4248 x4147 1800.53 v -x3761 x3401 -x2134 -x1971 -x1871 -x1609 -x615 -x246 x4252 -x3397 -x2135 -x1869 -x252 x4153 -x3396 -x2991 -x2660 -x2514 1800.53 v -x2130 -x248 -x2516 -x260 -x4527 -x4497 x4158 -x2776 -x2666 -x2128 x1014 x733 -x618 -x2778 x4530 -x4503 -x4451 x4161 -x3243 1800.53 v -x3046 -x2567 -x2510 x1020 -x931 -x4455 x4159 -x3050 -x2571 -x4508 -x3098 -x2772 -x2669 -x2511 -x1380 -x934 -x1384 -x366 1800.53 v x4 -x4511 x3127 -x3052 -x2773 x2477 -x1023 -x365 -x43 x5 -x4509 x3126 -x3053 -x45 x6 x2480 -x1922 -x373 -x182 x20 -x377 -x41 1800.53 v -x3821 x3016 x1319 -x755 -x3825 -x2586 -x2108 x2012 x1323 -x3022 -x2588 x2343 x2014 -x762 -x749 -x3026 -x2589 x2342 -x2020 1800.53 v -x766 -x3553 -x3030 -x2605 x2016 -x750 -x4423 -x3029 x2028 -x75 -x4424 -x3983 -x3556 -x2883 -x2442 -x1198 -x96 -x4425 -x4121 1800.53 v -x3987 x2950 -x2444 -x1667 -x1447 -x1199 -x92 -x4441 -x4123 -x3938 x2951 -x2339 -x1688 -x1521 x1205 -x1194 -x442 -x91 -x4129 1800.53 v -x3939 x2952 -x1684 -x1525 x1209 -x4125 -x3989 -x3934 x2968 -x2438 -x1976 -x1683 -x1192 x1063 -x802 -x4137 -x3990 -x2632 1800.53 v -x1975 -x1856 x1067 -x804 -x3932 -x3763 -x2633 -x2439 -x1858 -x1696 -x1527 -x605 -x3765 -x2634 -x1864 -x1700 -x1528 x3398 1800.53 v -x2650 -x2133 -x1860 -x1612 -x798 -x611 x3400 -x2132 -x1872 -x1613 x4250 -x3759 -x2656 -x1972 -x1702 -x1608 -x799 -x616 1800.53 v x4254 x4146 -x2515 -x1703 -x247 x4148 -x3760 -x3394 -x2662 -x1606 -x1010 -x619 -x268 x4154 -x3040 -x2777 -x617 -x264 -x4526 1800.53 v x4256 x4150 -x3395 -x3239 -x3039 -x2667 -x2129 x1016 -x263 -x4496 x4257 x4162 x4532 -x4498 -x4453 -x3242 -x3094 -x3047 1800.53 v -x2670 -x2566 x1021 -x930 -x4504 -x4457 -x3051 -x2668 -x2570 -x4500 -x3097 -x3055 -x1482 -x1382 -x1024 -x936 -x4512 -x3054 1800.53 v -x1386 -x1022 -x44 x4535 -x4459 x2476 -x178 x23 -x4460 -x367 x24 x2482 x1388 -x939 -x368 -x181 x19 x1389 -x369 -x39 -x3823 1800.53 v x1331 -x753 -x3827 x3015 x1327 x3017 -x2608 x1326 -x761 -x3977 x3018 -x2609 x2015 -x765 -x3976 -x3829 -x3552 x3034 -x2879 1800.53 v -x2604 -x2036 -x1197 -x93 -x3830 -x2443 x2032 -x1515 -x1196 -x95 -x4444 -x3984 -x3937 -x3558 -x2882 -x2602 x2031 -x1685 1800.53 v -x1514 -x438 -x4445 -x3988 -x3936 -x1687 -x4440 -x3992 x2971 -x1522 x1207 -x441 -x89 -x4124 -x3991 x2972 -x1690 -x1526 1800.53 v x1211 -x803 -x4438 -x4145 -x3561 x2967 -x1689 -x1681 -x1530 -x1193 x1065 -x90 -x4141 -x3764 -x1529 x1069 -x4140 -x3933 1800.53 v x2965 -x2653 -x1697 -x1682 -x1611 x1213 -x4244 x3399 -x2654 -x1859 -x1701 -x1610 x1214 -x604 x4243 -x2649 -x1880 -x1705 1800.53 v x1071 -x606 -x1876 -x1704 x1072 -x612 x4251 -x2647 -x1875 -x608 -x265 x4255 -x2655 -x620 -x267 -x4522 x4259 x4102 -x2657 1800.53 v -x1607 -x4447 x4258 x4149 x4106 -x2663 -x1009 -x4528 -x4446 x4170 -x3238 -x2659 -x1011 -x926 -x261 -x4166 -x3041 -x2671 1800.53 v x1376 x1017 x4533 -x4454 -x4165 -x3408 -x3244 -x3093 -x3042 -x2568 -x1478 x1375 x1013 -x932 -x262 -x4499 -x4458 -x3412 1800.53 v -x3043 -x2572 -x1025 x4536 -x4520 -x4462 -x4311 -x3482 -x3099 -x3059 x2472 -x1481 -x1383 -x937 x22 x4534 -x4516 -x4461 1800.53 v -x4315 -x1387 x21 -x4515 -x3247 -x2574 x2478 x1391 -x940 -x177 -x2575 x1390 -x938 -x3102 x2483 -x380 -x183 x17 -x381 -x40 1800.53 v -x3824 -x2607 x1330 -x754 -x3828 -x2606 -x3832 -x3548 -x3173 x3037 -x2033 x1324 x763 -x3831 x3038 -x2035 x767 -x94 -x4443 1800.53 v -x3554 x3033 -x2878 x1325 -x4442 -x3978 -x1686 x1201 -x3979 -x3559 x3031 -x2970 -x2884 -x2603 -x2029 x1766 -x1545 x1200 1800.53 v x769 -x437 -x3980 x2969 -x1549 -x1516 -x1059 x770 -x4142 -x3996 -x3562 -x2030 -x1517 x1208 x1058 -x443 -x4144 -x3560 -x1518 1800.53 v x1212 -x4439 -x2887 -x2652 -x1534 x1216 x1066 -x2651 -x1691 x1215 x1070 -x4138 x2966 -x1877 -x1692 x1074 -x446 -x1879 -x1693 1800.53 v x1073 -x4139 -x1709 x676 x4245 -x680 -x607 -x266 x4246 -x4052 -x2648 -x1873 -x628 x4247 -x4056 -x624 x4263 x4167 x4101 -x3234 1800.53 v -x2216 -x1874 -x623 -x4521 x4169 x4105 -x2658 -x2562 -x2220 -x4523 -x3240 -x3089 -x2679 -x2561 -x4529 -x4448 -x2675 -x1012 1800.53 v -x925 x4525 -x4517 -x4449 -x4163 -x3478 -x3407 -x3245 -x3095 -x3062 -x2674 -x2569 -x1477 -x1033 -x927 x4537 -x4519 -x4450 1800.53 v -x3411 -x3063 -x2573 x1377 x1029 -x933 -x4466 -x4310 -x4164 -x3481 -x3248 -x3100 -x3058 -x2577 -x1483 x1378 x1028 -x929 1800.53 v -x173 -x4314 -x3246 -x2576 x2471 x1379 -x941 -x4513 x3876 -x3103 -x3056 x2473 -x1395 -x379 -x179 -x3101 x2479 -x378 -x4514 1800.53 v -x3340 -x3004 x2475 -x1486 -x184 x18 -x3008 x2484 -x3820 -x3169 x3036 x1328 x758 -x3819 x3035 -x2034 -x3836 -x3172 -x2874 1800.53 v x764 -x3547 x768 -x3549 -x2880 x1762 x772 -x433 -x3555 x771 -x3999 -x3551 x3032 -x2885 x1765 -x1544 -x439 -x4143 -x4000 1800.53 v -x3563 -x1548 x1202 -x3995 -x2888 -x1537 x1203 -x910 -x444 -x2886 -x1538 x1204 x1060 -x3993 -x1533 x1220 x1061 -x447 -x1878 1800.53 v x1062 -x445 -x1712 -x1531 x1078 -x1713 -x1708 x675 -x625 x679 -x627 x4266 -x4051 -x1706 x4267 x4168 -x4055 x4262 x4103 -x2676 1800.53 v -x2215 -x621 x4107 -x3233 -x2678 -x2219 x4260 -x3235 -x3061 -x1473 -x1030 -x622 -x4524 -x4518 -x3241 -x3088 -x3060 -x2563 1800.53 v -x1032 x4545 -x4469 -x4202 x4109 -x3477 -x3409 -x3237 -x3090 -x2672 -x2564 -x1479 x4541 -x4470 -x4206 -x4110 -x3413 -x3249 1800.53 v -x3096 -x2565 -x928 x4540 -x4465 -x4312 -x3872 -x3483 -x3092 -x2673 -x2581 -x1484 x1398 -x1026 -x949 -x4316 -x3104 x1399 1800.53 v -x945 -x172 -x4463 x3875 -x3415 -x3336 -x3057 -x2072 -x1487 -x1394 -x1027 -x944 -x174 -x3416 x2474 -x1485 -x180 x4318 -x3486 1800.53 v -x3339 -x3003 x2492 -x1392 -x176 x4319 -x3007 x2488 -x185 -x3839 -x3261 -x3168 x1740 x1329 -x3840 x3265 x757 -x3835 -x3174 1800.53 v x759 -x2873 x760 -x3998 -x3833 -x2875 x1761 x776 -x3997 -x3550 -x2881 -x432 -x3571 -x3177 -x2877 x1767 -x1546 -x1536 -x906 1800.53 v -x434 -x3567 -x2889 -x1550 -x1535 -x440 -x3566 x1223 -x909 -x436 x1224 -x448 -x3994 -x2352 x1770 -x1711 -x1552 x1219 x1081 1800.53 v -x2356 -x1710 -x1553 x1082 -x1532 x1217 x1077 -x626 x4265 x1075 x677 x4264 -x4097 x681 x4096 -x4053 -x1707 -x4057 -x2677 1800.53 v x4104 -x2217 x683 x4108 -x3403 -x2221 -x1031 x684 x4542 -x4468 x4261 x4112 -x4059 -x3473 -x3402 x4544 -x4467 -x4306 x4111 1800.53 v -x4060 -x3236 -x1472 x4305 x4201 -x3479 -x3410 -x3257 -x2584 -x2223 -x1474 x1397 -x946 x4205 -x3414 -x3253 -x3091 -x2585 1800.53 v -x2224 -x1480 x1396 -x948 -x4538 -x4313 -x3871 -x3484 -x3418 -x3252 -x3112 -x2580 -x2068 -x1476 x4317 -x3417 -x3108 -x1488 1800.53 v -x4539 -x4464 x4321 x3877 -x3487 -x3335 -x3107 -x2578 x2489 -x2071 -x942 x4320 -x3485 x2491 -x175 -x3341 -x3005 -x1393 1800.53 v -x943 -x193 -x3009 x2487 -x189 -x3837 x3260 -x3170 x1739 x3264 -x3175 -x1757 x779 -x1540 x780 -x3834 -x3568 -x3178 x1763 1800.53 v -x1539 x775 -x3570 -x3176 -x2876 x2908 -x2897 x1768 -x1547 x1222 -x905 x773 -x2893 -x1551 x1221 -x435 -x3564 -x2892 x1771 1800.53 v -x1555 x1080 -x911 -x456 x1769 -x1554 x1079 -x452 -x4385 -x3565 -x2351 -x451 -x4389 -x2355 x671 x1218 -x914 x670 -x4047 1800.53 v -x4046 x2381 x1076 x678 -x2211 x682 -x4054 x2546 -x2210 x686 x4098 -x4058 x685 x4099 -x4062 -x2218 -x1300 x4543 x4100 -x4061 1800.53 v -x2222 x4116 -x3254 -x2583 -x2226 -x3472 -x3404 -x3256 -x2582 -x2225 -x947 x4203 -x3867 -x3474 -x3405 -x3109 x132 x4307 1800.53 v x4207 -x3480 -x3406 -x3111 -x1475 x4308 -x3873 -x3476 -x3422 -x3331 -x3250 -x2067 -x1496 -x103 x4309 -x3488 -x2999 -x2490 1800.53 v -x1492 -x107 x4325 -x4209 x3878 -x3337 -x3251 -x3105 -x2998 -x2579 -x2073 -x1491 -x190 -x4210 -x192 x3879 -x3342 -x3106 1800.53 v -x3006 -x1503 x3880 -x3010 x2485 -x1507 -x188 -x4405 -x3838 x3262 -x3166 x1741 -x965 x778 x3266 -x3171 -x969 x777 -x3167 1800.53 v -x3569 -x3179 -x1756 -x3503 x3268 -x2904 -x2894 -x1758 -x1745 -x901 x885 -x3507 x3269 -x2896 x1764 -x1541 x2907 -x2740 1800.53 v x1760 -x1542 -x907 x774 -x453 x1772 -x1543 -x455 -x2890 -x1559 -x912 -x4384 -x2891 -x2353 -x915 -x449 -x4388 -x2357 -x913 1800.53 v x2377 -x450 x672 x2542 x2380 -x2359 x673 -x4048 -x2360 x674 -x4049 x2545 -x1296 -x690 -x4050 -x2212 x4119 -x4066 -x2213 1800.53 v -x1299 x4197 x4120 -x3255 -x2214 x4196 x4115 -x2230 x128 -x3110 x4204 x4113 -x3425 -x2063 -x1493 x131 x4208 -x3866 -x3475 1800.53 v -x3426 -x1495 x4328 x4212 -x3868 -x3496 -x3421 -x2069 -x102 x4329 x4211 -x3874 -x3492 -x3330 -x191 -x106 x4324 x3870 -x3491 1800.53 v -x3419 -x3332 x3074 -x2074 -x1489 x3881 -x3338 -x3000 x4322 -x3334 -x3001 x2075 -x1502 -x1490 -x3343 -x3002 -x2486 x2076 1800.53 v -x1506 -x186 x4404 x3263 x1742 -x964 x3267 -x3165 -x968 x3271 -x3187 -x1746 x881 x3270 -x3183 -x2895 -x1744 -x3502 -x3182 1800.53 v -x2903 -x2736 x884 -x3506 -x1759 -x900 -x454 x2909 -x2739 -x2402 x1780 -x1562 -x902 x2406 -x2347 x1776 -x1563 -x908 -x2346 1800.53 v -x1775 -x1558 -x904 x589 -x916 -x4386 x2912 -x2811 -x2354 -x1556 -x4390 -x2815 -x2358 x2376 -x2362 x1649 -x2361 -x4392 1800.53 v x2541 x2382 x693 -x4393 x694 x4118 -x4069 x2547 -x1295 -x1271 -x689 -x279 x4117 -x4070 -x1275 -x4065 -x2711 x2385 -x2233 1800.53 v -x1301 -x687 -x2715 -x2234 -x4063 -x3424 x2550 -x2229 -x1156 x127 x4198 -x3423 -x1494 -x1160 -x4327 x4199 x4114 -x4081 1800.53 v -x3493 -x2227 -x1304 x133 -x4326 x4200 -x3495 -x2062 x4216 x3070 -x2064 -x104 -x3869 -x2070 -x108 -x3889 -x3489 -x3420 1800.53 v x3073 x2066 -x136 x3885 -x3333 x2077 x4323 x3884 -x3490 -x3351 -x3013 -x1504 -x110 -x3347 -x3014 -x1508 -x187 -x111 x4406 1800.53 v -x3259 -x3184 x1743 -x966 x3258 -x3186 -x1747 -x970 x3275 x2899 -x1039 x880 -x1043 -x4410 -x3504 -x3180 -x2905 -x2735 x1777 1800.53 v -x1561 -x972 x886 -x3508 x1779 -x1560 -x973 -x4177 -x3181 x2910 -x2741 -x2401 -x585 -x4380 -x4181 x2405 -x903 -x4379 -x3510 1800.53 v x2913 -x1773 -x924 x889 x588 -x3511 x2911 -x2348 -x920 -x4387 -x2810 -x2744 -x2372 -x2349 -x1774 x1645 -x1557 -x919 -x4391 1800.53 v -x2814 -x2350 -x4395 x2537 x2378 -x2366 x1648 -x692 -x4394 -x691 -x4068 -x3847 x2543 x2383 -x1291 -x275 -x4067 -x3851 x3532 1800.53 v x2548 x2386 -x2232 -x1297 -x1270 -x278 x2384 -x2231 -x1274 -x2710 x2551 -x1302 -x688 -x123 -x2714 x2549 -x4077 -x4064 -x1305 1800.53 v -x1155 x129 -x3494 -x1303 -x1159 -x98 x4219 -x4080 -x2228 x134 -x97 x4220 x4215 -x3886 x3069 x1887 -x137 -x105 -x3888 x2065 1800.53 v -x1891 -x1498 -x135 x109 x4213 -x3348 x3075 -x3012 x2085 -x1497 -x113 -x3350 -x3011 x2081 -x112 x3882 x2080 -x1505 -x3346 1800.53 v -x1509 x4407 x3278 -x3185 x1755 -x967 -x951 -x876 -x3498 x3279 -x1751 -x971 -x4411 -x3947 -x3497 x3274 -x2731 -x1750 x1038 1800.53 v -x975 x882 -x4409 x2898 -x1778 -x1042 -x974 -x3505 x3272 x2900 -x2737 x887 -x3509 -x2906 -x4176 -x3513 x2902 -x2742 -x2403 1800.53 v -x921 x890 -x584 -x4180 -x3512 x2914 x2407 -x923 x888 -x2745 x590 -x4381 -x2743 -x4382 -x2812 -x2409 -x2369 x1644 -x917 1800.53 v -x4383 -x2816 -x2410 x2371 -x2370 -x4399 x2373 -x2365 -x2146 x1650 -x918 -x593 x2536 x2379 -x3846 -x3528 -x2818 x2538 x2375 1800.53 v -x2363 -x274 -x3850 -x2819 x2544 x2387 -x1290 x3531 -x2686 x2540 -x1653 -x1292 -x1272 -x280 -x2690 x2552 -x1298 -x1276 1800.53 v -x4556 -x2712 -x1294 -x2716 -x1306 -x122 x4218 -x4076 -x1278 x1157 -x283 -x124 x4217 -x1279 x1161 x130 -x4082 -x3065 -x2718 1800.53 v -x1131 x126 -x3887 -x2719 -x1135 -x138 -x99 x3071 x2082 x1886 -x1163 -x100 -x3349 x2084 -x1890 -x1164 x101 x4214 -x4085 1800.53 v -x3590 x3076 x117 -x3594 -x1499 x3883 x3077 x2078 -x1500 -x3344 x3078 -x1501 x4408 -x3943 x3276 x1754 -x963 -x950 x4412 1800.53 v -x962 -x875 -x3946 -x1748 x1040 -x979 -x877 -x3499 -x2730 -x2397 -x1044 x883 -x3500 x3273 -x2732 -x2396 -x1749 x879 -x580 1800.53 v -x3501 x2901 -x2738 -x922 x891 -x4178 -x3517 x2922 -x2734 -x2404 x1046 -x586 -x4182 x2918 -x2806 -x2746 x2408 -x1047 x2917 1800.53 v -x2805 -x2412 -x2368 -x1640 x591 -x2411 -x2367 -x4402 -x4184 -x2813 x2142 x1646 -x705 x594 -x4403 -x4185 -x2817 x592 -x4398 1800.53 v -x2821 -x2145 x1651 -x270 -x2820 x2374 -x1266 -x4396 -x3848 x3527 x2395 -x2364 -x1654 -x1265 -x276 -x3852 -x2706 x2539 1800.53 v x2391 -x1652 -x4552 x3533 -x2705 -x2685 x2560 x2390 -x1273 -x281 -x2689 x2556 -x1293 -x1277 x1151 -x4555 -x4072 -x3854 1800.53 v -x3437 -x2713 x2555 -x1314 -x1281 x1150 -x284 -x3855 -x2717 -x1310 -x1280 -x282 -x4078 -x3536 x3198 -x2721 -x1309 x1158 1800.53 v -x2720 x1162 -x125 -x4083 -x1166 -x1130 x146 -x3064 x2083 -x1165 -x1134 x142 -x4086 -x3066 x1888 x141 -x120 -x4084 x3072 1800.53 v -x1892 -x121 -x3589 x3068 x2245 x116 -x3593 x3079 x2079 x1894 -x1512 x114 -x3345 x1895 -x1513 x4420 -x3942 x3277 x1752 x1035 1800.53 v -x982 -x952 x4416 -x983 -x4595 x4415 -x3948 x1041 -x978 -x4599 -x4172 x1045 -x878 -x4171 -x3520 x2919 x1049 -x976 -x955 1800.53 v x899 -x3521 x2921 -x2733 -x2398 x1048 x895 -x579 -x4179 -x3951 -x3516 -x2754 -x2399 x894 -x581 -x4183 -x2750 x2400 -x587 1800.53 v -x4401 -x4187 -x3514 x2915 -x2749 x2416 -x701 x583 -x4400 -x4186 -x2807 -x1639 x595 -x3964 x2916 -x2808 x2141 -x1641 -x704 1800.53 v -x3968 -x3842 -x2809 x1647 -x3841 -x3523 -x2825 x2392 x2147 x1643 x2394 -x1655 -x269 -x4397 -x3849 x3529 x2557 -x358 -x271 1800.53 v -x3853 x2559 -x1267 -x277 -x4551 -x3857 x3534 -x3433 -x2687 -x2388 x2150 -x1311 -x1268 -x273 -x3856 -x2707 -x2691 -x1313 1800.53 v -x1269 -x285 -x4557 -x3537 -x3436 x3194 -x2708 x2553 -x2389 -x1285 -x4071 -x3535 -x2709 x1152 -x4615 -x4073 x3197 -x2725 1800.53 v -x2693 x2554 -x1307 -x1253 x1153 x143 -x4079 -x2694 -x1882 -x1257 x1154 x145 -x4560 -x4075 -x2524 -x1881 -x1308 x1170 -x1132 1800.53 v -x119 -x4087 -x2528 -x1136 -x118 -x2861 x2241 x1889 x139 -x3067 -x2865 -x1893 -x3591 x3087 x2244 x1897 -x1511 -x1138 -x140 1800.53 v -x3595 x3083 x1896 -x1510 -x1139 -x3776 x3082 x115 x4419 -x3944 x1753 -x980 -x953 x1034 -x4594 x4413 -x3949 -x3519 x1036 1800.53 v -x956 x896 -x4598 -x3518 -x2920 x1037 -x954 x898 x4414 -x3952 -x2751 x1053 -x977 -x4173 -x3950 -x2753 -x4174 x2419 x892 1800.53 v -x4175 x2420 -x582 -x4191 -x3515 -x2747 x2415 x2137 -x893 -x700 x603 x599 -x3963 -x2828 -x2748 x2413 x2143 -x706 x598 -x3967 1800.53 v -x2829 x2393 -x1642 -x2824 x2148 x1663 -x354 -x3843 -x3522 -x2681 -x2558 x1659 -x4547 -x3844 -x3524 -x2822 -x2680 x2151 1800.53 v x1658 -x709 -x357 -x3845 x3530 x2149 -x1312 -x272 -x4553 -x3861 x3526 -x3432 -x2688 -x1288 -x293 -x3538 -x2692 -x1289 -x289 1800.53 v -x4611 -x4558 -x3438 x3193 -x2728 -x2696 -x1284 -x288 -x2729 -x2695 -x1126 x144 -x4614 -x4561 x3199 -x2724 -x1282 -x1252 1800.53 v x1173 -x1125 -x4559 -x4074 -x1256 x1174 -x4095 -x3441 -x2722 x2523 -x1169 -x1133 -x4091 -x3585 x2527 -x1883 -x1137 -x4090 1800.53 v -x3584 x3202 x3084 -x2860 x2240 -x1884 -x1167 -x1141 x3086 -x2864 x1885 -x1140 -x3772 -x3592 x2246 x1901 -x3596 -x3775 1800.53 v -x3597 x3080 -x3598 x4417 -x3941 -x981 -x3945 -x957 x897 -x4596 x1056 -x4600 -x3953 -x2752 x1057 x2418 x1052 x2417 x4602 1800.53 v -x4194 x1050 x696 x600 -x4603 -x4195 x602 -x4190 -x2827 -x702 -x2826 x2136 -x4188 -x3965 -x2414 x2138 x1660 -x707 x596 -x3969 1800.53 v x2144 x1662 x2140 -x710 x597 -x353 x2152 -x708 x3971 -x3864 -x3428 -x2823 x1656 -x1287 -x359 -x290 -x4546 x3972 -x3865 -x3525 1800.53 v -x2682 -x1286 -x292 -x4548 -x3860 x3546 -x3434 x3189 -x2727 -x2683 -x1657 -x4554 x3542 -x2726 -x2684 -x4610 -x4550 -x3858 1800.53 v x3541 -x3439 x3195 -x2700 x1172 -x362 -x286 -x4562 x1171 -x4616 -x4092 -x3442 x3200 -x1283 -x1254 -x287 -x4094 -x3440 -x1258 1800.53 v -x1127 x3203 -x2723 x2525 x2236 -x1128 x3201 x3085 x2529 -x1129 -x4619 -x4088 -x2862 x2242 -x1904 -x1260 -x1168 -x1145 1800.53 v -x3586 -x2866 -x1905 -x1261 -x4089 -x3771 -x3587 x2531 x2247 x1900 -x3588 -x2532 -x3777 -x3601 -x3081 x2868 x2248 x1898 1800.53 v x2869 x2249 -x4418 x1055 -x3940 x1054 x961 -x4597 x960 -x4601 x3957 x4605 -x4193 x3956 x4604 -x4192 x601 x1051 -x3959 x695 1800.53 v -x3958 x697 x1661 -x703 -x4189 -x3966 x699 -x351 -x3970 x2139 -x711 x3974 -x3863 x2159 -x355 x3973 -x3862 x2156 -x291 x3543 1800.53 v x2155 -x360 x3545 -x3427 -x4608 -x3429 -x2703 -x363 -x4549 -x3435 x3188 -x2704 x1248 -x361 -x4612 -x4569 -x3859 x3539 -x3431 1800.53 v x3190 -x2699 x1247 -x4566 -x4093 -x3443 x3196 -x2519 -x4617 -x4565 x3540 x3192 -x2697 x2518 -x1255 x3204 -x2856 -x1259 1800.53 v -x4620 -x2855 x2526 -x1903 -x1263 -x1148 -x4618 x2530 x2235 -x1902 -x1262 -x1149 -x3769 -x2863 x2534 x2237 -x1144 -x2867 1800.53 v x2533 x2243 -x3773 -x3604 x2871 x2239 -x1142 -x3605 x2870 x2250 -x3778 -x3599 x1899 -x958 x4624 x3954 -x959 x3955 -x3960 1800.53 v x698 x3961 x2158 x714 x3962 x2157 -x712 -x350 x3975 -x713 -x349 x3544 -x356 -x2702 x2153 -x352 -x2701 -x364 -x4568 x2154 1800.53 v -x4607 -x4567 -x3430 -x4606 -x3446 -x4613 -x3444 x3191 x1249 -x4609 -x4563 -x3445 x3207 -x2698 x1250 -x1147 -x4621 -x3205 1800.53 v x2520 x1251 -x1146 -x4564 -x3206 x2521 x1264 -x2857 x2522 -x3603 -x2858 x2535 -x3768 -x3602 x2859 x2238 -x3767 -x2872 x2253 1800.53 v -x1143 -x3774 x2251 x3770 -x3600 x2252 x3779 x1 1800.53 c Exit Code: 10 1800.53 c Total time: 1800 s
OK 282
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/node18/watcher-40476-1149289397 -o ROOT/results/node18/solver-40476-1149289397 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/40476-1149289397/instance-40476-1149289397.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.94 0.90 3/64 3683 /proc/meminfo: memFree=1855976/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=4932 CPUtime=0 /proc/3683/stat : 3683 (bsolo) D 3681 3683 3637 0 -1 0 368 0 0 0 0 0 0 0 19 0 1 0 194602761 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/3683/statm: 1233 331 227 55 0 125 0 [startup+10.0024 s] /proc/loadavg: 0.88 0.94 0.90 2/64 3683 /proc/meminfo: memFree=1791528/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=9.97 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16565 0 0 0 989 8 0 0 25 0 1 0 194602761 70897664 16384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16384 297 55 0 16201 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 69236 [startup+20.0084 s] /proc/loadavg: 0.89 0.94 0.90 2/64 3683 /proc/meminfo: memFree=1791592/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=19.96 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16565 0 0 0 1988 8 0 0 25 0 1 0 194602761 70897664 16384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16384 297 55 0 16201 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 69236 [startup+30.0144 s] /proc/loadavg: 0.91 0.94 0.90 2/64 3683 /proc/meminfo: memFree=1791144/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=29.97 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16682 0 2 0 2988 9 0 0 25 0 1 0 194602761 70897664 16503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159475552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16503 414 55 0 16201 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 69236 [startup+40.0203 s] /proc/loadavg: 0.92 0.94 0.90 2/64 3683 /proc/meminfo: memFree=1791208/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=39.97 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16702 0 2 0 3987 10 0 0 25 0 1 0 194602761 70897664 16523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16523 434 55 0 16201 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 69236 [startup+50.0263 s] /proc/loadavg: 0.93 0.95 0.90 2/64 3683 /proc/meminfo: memFree=1791208/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=49.98 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 4986 12 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134678455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 69236 [startup+60.0313 s] /proc/loadavg: 0.94 0.95 0.91 2/64 3683 /proc/meminfo: memFree=1791272/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=59.98 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 5985 13 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629002 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 69236 [startup+70.0373 s] /proc/loadavg: 0.95 0.95 0.91 2/64 3683 /proc/meminfo: memFree=1791208/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=69.98 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 6985 13 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 69236 [startup+80.0432 s] /proc/loadavg: 0.96 0.95 0.91 2/64 3683 /proc/meminfo: memFree=1791208/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=79.99 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 7985 14 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 69236 [startup+90.0492 s] /proc/loadavg: 0.96 0.95 0.91 2/64 3683 /proc/meminfo: memFree=1791272/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=89.98 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 8984 14 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 69236 [startup+100.055 s] /proc/loadavg: 0.97 0.95 0.91 2/64 3683 /proc/meminfo: memFree=1791272/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=99.99 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 9984 15 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 69236 [startup+110.061 s] /proc/loadavg: 0.97 0.95 0.91 2/64 3683 /proc/meminfo: memFree=1791272/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=110 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 10984 16 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 69236 [startup+120.066 s] /proc/loadavg: 0.98 0.95 0.91 2/64 3683 /proc/meminfo: memFree=1791272/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=119.99 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 11983 16 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 69236 [startup+130.072 s] /proc/loadavg: 0.98 0.95 0.91 2/64 3683 /proc/meminfo: memFree=1791272/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=130 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 12983 17 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134538088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 69236 [startup+140.078 s] /proc/loadavg: 0.98 0.95 0.91 2/64 3683 /proc/meminfo: memFree=1791208/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=140 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 13983 17 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 69236 [startup+150.084 s] /proc/loadavg: 0.98 0.95 0.91 2/64 3683 /proc/meminfo: memFree=1791208/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=150 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 14982 18 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537123 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 69236 [startup+160.09 s] /proc/loadavg: 0.99 0.96 0.91 2/64 3683 /proc/meminfo: memFree=1791208/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=160.01 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 15982 19 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 69236 [startup+170.096 s] /proc/loadavg: 0.99 0.96 0.91 2/64 3683 /proc/meminfo: memFree=1791208/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=170.01 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 16982 19 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 69236 [startup+180.101 s] /proc/loadavg: 0.99 0.96 0.91 2/64 3683 /proc/meminfo: memFree=1791272/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=180.01 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 17981 20 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 69236 [startup+190.107 s] /proc/loadavg: 0.99 0.96 0.91 2/64 3683 /proc/meminfo: memFree=1791272/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=190.02 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 18982 20 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 69236 [startup+200.113 s] /proc/loadavg: 0.99 0.96 0.91 2/64 3683 /proc/meminfo: memFree=1791272/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=200.02 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 19981 21 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 69236 [startup+210.119 s] /proc/loadavg: 0.99 0.96 0.91 2/64 3683 /proc/meminfo: memFree=1791272/2055920 swapFree=4180888/4192956 ################ # More data... # ################ /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 69236 [startup+1771.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1770.59 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 176950 109 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8294227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 69236 [startup+1781.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1780.59 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 177950 109 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1780.59 Current children cumulated vsize (Kb) 69236 [startup+1782.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1781.6 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 178051 109 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 69236 [startup+1783.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1782.6 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 178151 109 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 69236 [startup+1784.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1783.61 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 178252 109 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 69236 [startup+1785.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1784.62 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 178352 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537005 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 69236 [startup+1786.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1785.62 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 178452 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 69236 [startup+1787.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1786.63 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 178553 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8302309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 69236 [startup+1788.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1787.63 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 178653 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 69236 [startup+1789.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1788.64 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 178754 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 69236 [startup+1790.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1789.64 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 178854 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618638 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 69236 [startup+1791.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1790.64 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 178954 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 69236 [startup+1792.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1791.65 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 179055 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 69236 [startup+1793.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1792.65 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 179155 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 69236 [startup+1794.19 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1793.66 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 179256 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134538370 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 69236 [startup+1795.19 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1794.66 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 179356 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 69236 [startup+1796.2 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1795.67 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 179457 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 69236 [startup+1797.2 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1796.67 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 179557 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533669 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 69236 [startup+1798.21 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1797.67 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 179657 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 69236 [startup+1799.21 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790952/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1798.68 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 179758 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533663 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 69236 [startup+1800.22 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3683 /proc/meminfo: memFree=1790888/2055920 swapFree=4180888/4192956 [pid=3683] ppid=3681 vsize=69236 CPUtime=1799.68 /proc/3683/stat : 3683 (bsolo) R 3681 3683 3637 0 -1 0 16703 0 2 0 179858 110 0 0 25 0 1 0 194602761 70897664 16524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3683/statm: 17309 16524 435 55 0 16201 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 69236 Child status: 10 Real time (s): 1800.55 CPU time (s): 1800.02 CPU user time (s): 1798.9 CPU system time (s): 1.11783 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (Kb): 69236
Begin job on node18 on Fri Jun 2 23:03:18 UTC 2006 FILE ID= 40476-1149289397 PBS_JOBID= 306800 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/40476-1149289397/instance-40476-1149289397.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-40476-1149289397 -o ROOT/results/node18/solver-40476-1149289397 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/40476-1149289397/instance-40476-1149289397.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6272f76e60106089ef6773ef02321eb2 RANDOM SEED= 85378022 /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.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 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: 1856312 kB Buffers: 16032 kB Cached: 118596 kB SwapCached: 3684 kB Active: 48016 kB Inactive: 95284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856312 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14680 kB Slab: 42360 kB Committed_AS: 308352 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node18 on Fri Jun 2 23:33:19 UTC 2006