Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPT | 27 | 67.2858 | 67.3052 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb |
| MD5SUM | 45c2f7ac01d7ade9fbe465857931ee2b |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 27 |
| Best CPU time to get the best result obtained on this benchmark | 5.35619 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 27 |
| Optimality of the best value was proved | YES |
| Number of variables | 5828 |
| Total number of constraints | 17411 |
| Number of constraints which are clauses | 17411 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 2817 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2817 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2817 |
| Number of bits of the biggest sum of numbers | 12 |
| 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/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665349-1276630461.opb>
0.29/0.31 c original problem has 5828 variables (5828 bin, 0 int, 0 impl, 0 cont) and 17411 constraints
0.29/0.31 c problem read
0.29/0.31 c presolving settings loaded
0.39/0.42 c presolving:
0.50/0.58 c (round 1) 3102 del vars, 6014 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 32013 impls, 0 clqs
0.59/0.60 c (round 2) 3104 del vars, 7383 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 32013 impls, 0 clqs
0.69/0.73 c (round 3) 3104 del vars, 7383 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 10002 upgd conss, 32013 impls, 0 clqs
0.69/0.76 c (round 4) 3104 del vars, 7383 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 10028 upgd conss, 32013 impls, 0 clqs
0.79/0.87 c (0.5s) probing: 101/2724 (3.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.87 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.79/0.87 c presolving (5 rounds):
0.79/0.87 c 3104 deleted vars, 7383 deleted constraints, 284 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.79/0.87 c 32013 implications, 0 cliques
0.79/0.87 c presolved problem has 2724 variables (2724 bin, 0 int, 0 impl, 0 cont) and 10028 constraints
0.79/0.87 c 10028 constraints of type <logicor>
0.79/0.87 c transformed objective value is always integral (scale: 1)
0.79/0.87 c Presolving Time: 0.43
0.79/0.87 c - non default parameters ----------------------------------------------------------------------
0.79/0.87 c # SCIP version 1.2.1.2
0.79/0.87 c
0.79/0.87 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.79/0.87 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.87 c conflict/interconss = 0
0.79/0.87 c
0.79/0.87 c # should binary conflicts be preferred?
0.79/0.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.87 c conflict/preferbinary = TRUE
0.79/0.87 c
0.79/0.87 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.79/0.87 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.87 c constraints/agelimit = 1
0.79/0.87 c
0.79/0.87 c # should enforcement of pseudo solution be disabled?
0.79/0.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.87 c constraints/disableenfops = TRUE
0.79/0.88 c
0.79/0.88 c # frequency for displaying node information lines
0.79/0.88 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.88 c display/freq = 10000
0.79/0.88 c
0.79/0.88 c # maximal time in seconds to run
0.79/0.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88 c limits/time = 1799.69
0.79/0.88 c
0.79/0.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88 c limits/memory = 1620
0.79/0.88 c
0.79/0.88 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.79/0.88 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.88 c lp/solvefreq = 0
0.79/0.88 c
0.79/0.88 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.79/0.88 c # [type: char, range: {lafpsqd}, default: l]
0.79/0.88 c lp/pricing = a
0.79/0.88 c
0.79/0.88 c # should presolving try to simplify inequalities
0.79/0.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88 c constraints/linear/simplifyinequalities = TRUE
0.79/0.88 c
0.79/0.88 c # should presolving try to simplify knapsacks
0.79/0.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88 c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.88 c
0.79/0.88 c # priority of node selection rule <dfs> in standard mode
0.79/0.88 c # [type: int, range: [-536870912,536870911], default: 0]
0.79/0.88 c nodeselection/dfs/stdpriority = 1000000
0.79/0.88 c
0.79/0.88 c -----------------------------------------------------------------------------------------------
0.79/0.88 c start solving
0.79/0.88 c
1.00/1.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.08 c 0.7s| 1 | 0 | 481 | - | 26M| 0 | 107 |2724 | 10k|2724 | 10k| 0 | 0 | 0 | 2.466667e+01 | -- | Inf
1.00/1.08 o 39
1.00/1.08 c R 0.7s| 1 | 0 | 481 | - | 26M| 0 | 107 |2724 | 10k|2724 | 10k| 0 | 0 | 0 | 2.466667e+01 | 3.900000e+01 | 58.11%
1.89/1.97 c 1.5s| 1 | 0 | 561 | - | 27M| 0 | 109 |2724 | 10k|2724 | 10k| 3 | 0 | 0 | 2.500000e+01 | 3.900000e+01 | 56.00%
2.89/2.91 c 2.4s| 1 | 0 | 663 | - | 27M| 0 | 114 |2724 | 10k|2724 | 10k| 6 | 0 | 0 | 2.500000e+01 | 3.900000e+01 | 56.00%
3.89/3.93 c 3.4s| 1 | 0 | 871 | - | 28M| 0 | 158 |2724 | 10k|2724 | 10k| 11 | 0 | 0 | 2.500000e+01 | 3.900000e+01 | 56.00%
5.68/5.76 c 5.3s| 1 | 0 | 1069 | - | 29M| 0 | 182 |2724 | 10k|2724 | 10k| 15 | 0 | 0 | 2.500000e+01 | 3.900000e+01 | 56.00%
8.29/8.36 c 7.8s| 1 | 0 | 1191 | - | 29M| 0 | 187 |2724 | 10k|2724 | 10k| 19 | 0 | 0 | 2.500000e+01 | 3.900000e+01 | 56.00%
10.89/10.99 c 10.4s| 1 | 0 | 1334 | - | 29M| 0 | 164 |2724 | 10k|2724 | 10k| 21 | 0 | 0 | 2.500000e+01 | 3.900000e+01 | 56.00%
11.28/11.39 o 27
11.28/11.39 c E10.8s| 1 | 0 | 1334 | - | 29M| 0 | 164 |2724 | 10k|2724 | 10k| 21 | 0 | 0 | 2.500000e+01 | 2.700000e+01 | 8.00%
11.38/11.40 c 10.8s| 1 | 0 | 1334 | - | 29M| 0 | 164 |2724 | 10k|2724 | 10k| 21 | 0 | 0 | 2.500000e+01 | 2.700000e+01 | 8.00%
13.29/13.38 c 12.8s| 1 | 0 | 1442 | - | 29M| 0 | 173 |2724 | 10k|2724 | 10k| 26 | 0 | 0 | 2.500000e+01 | 2.700000e+01 | 8.00%
33.38/33.48 c 32.6s| 1 | 0 | 1532 | - | 29M| 0 | 165 |2724 | 10k|2724 | 10k| 26 | 0 | 42 | 2.500000e+01 | 2.700000e+01 | 8.00%
36.39/36.48 c 35.6s| 1 | 0 | 1693 | - | 29M| 0 | 131 |2724 | 10k|2724 | 10k| 29 | 0 | 42 | 2.500000e+01 | 2.700000e+01 | 8.00%
45.17/45.25 c 44.2s| 1 | 0 | 1878 | - | 29M| 0 | 148 |2724 | 10k|2724 | 10k| 29 | 0 | 68 | 2.500000e+01 | 2.700000e+01 | 8.00%
47.18/47.20 c 46.2s| 1 | 0 | 2071 | - | 29M| 0 | 139 |2724 | 10k|2724 | 10k| 34 | 0 | 68 | 2.500000e+01 | 2.700000e+01 | 8.00%
52.88/52.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.88/52.99 c 51.9s| 1 | 0 | 2173 | - | 29M| 0 | 137 |2724 | 10k|2724 | 10k| 34 | 0 | 84 | 2.500000e+01 | 2.700000e+01 | 8.00%
53.88/53.99 c 52.9s| 1 | 0 | 2416 | - | 29M| 0 | 124 |2724 | 10k|2724 | 10k| 40 | 0 | 84 | 2.503704e+01 | 2.700000e+01 | 7.84%
55.68/55.76 c 54.6s| 1 | 0 | 2576 | - | 29M| 0 | 139 |2724 | 10k|2724 | 10k| 40 | 0 | 93 | 2.510526e+01 | 2.700000e+01 | 7.55%
56.18/56.28 c 55.1s| 1 | 0 | 2811 | - | 28M| 0 | 129 |2724 |8009 |2724 |2310 | 44 | 0 | 93 | 2.520355e+01 | 2.700000e+01 | 7.13%
57.97/58.03 c 56.9s| 1 | 0 | 2811 | - | 28M| 0 | - |2724 |8009 |2724 |2310 | 44 | 0 | 111 | 2.520355e+01 | 2.700000e+01 | 7.13%
57.97/58.03 c (run 1, node 1) restarting after 1906 global fixings of integer variables
57.97/58.03 c
57.97/58.03 c (restart) converted 43 cuts from the global cut pool into linear constraints
57.97/58.03 c
57.97/58.05 c presolving:
57.97/58.08 c (round 1) 1906 del vars, 5774 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 43 upgd conss, 32013 impls, 28 clqs
58.18/58.23 c (round 2) 1906 del vars, 5775 del conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 43 upgd conss, 32013 impls, 28 clqs
58.18/58.26 c presolving (3 rounds):
58.18/58.26 c 1906 deleted vars, 5775 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
58.18/58.26 c 32013 implications, 28 cliques
58.18/58.26 c presolved problem has 818 variables (818 bin, 0 int, 0 impl, 0 cont) and 2277 constraints
58.18/58.26 c 14 constraints of type <knapsack>
58.18/58.26 c 28 constraints of type <setppc>
58.18/58.26 c 2235 constraints of type <logicor>
58.18/58.26 c transformed objective value is always integral (scale: 1)
58.18/58.26 c Presolving Time: 0.63
58.18/58.26 c
58.37/58.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.37/58.48 c 57.3s| 1 | 0 | 3551 | - | 22M| 0 | 137 | 818 |2277 | 818 |2277 | 0 | 0 | 111 | 2.521865e+01 | 2.700000e+01 | 7.06%
59.48/59.54 c 58.4s| 1 | 0 | 3673 | - | 23M| 0 | 108 | 818 |2255 | 818 |2217 | 4 | 0 | 111 | 2.528750e+01 | 2.700000e+01 | 6.77%
61.27/61.36 c 60.2s| 1 | 0 | 3758 | - | 23M| 0 | 127 | 818 |2255 | 818 |2217 | 4 | 0 | 131 | 2.535071e+01 | 2.700000e+01 | 6.51%
61.88/61.97 c 60.8s| 1 | 0 | 3874 | - | 23M| 0 | 189 | 818 |2255 | 818 |2217 | 4 | 0 | 137 | 2.537856e+01 | 2.700000e+01 | 6.39%
62.47/62.52 c 61.3s| 1 | 0 | 3934 | - | 23M| 0 | 156 | 818 |2232 | 818 |2217 | 4 | 0 | 143 | 2.540225e+01 | 2.700000e+01 | 6.29%
62.97/63.00 c 61.8s| 1 | 0 | 3979 | - | 22M| 0 | 166 | 818 |2218 | 818 |2217 | 4 | 0 | 148 | 2.541487e+01 | 2.700000e+01 | 6.24%
63.38/63.43 c 62.2s| 1 | 0 | 4067 | - | 22M| 0 | 156 | 818 |2191 | 818 |2217 | 4 | 0 | 153 | 2.544024e+01 | 2.700000e+01 | 6.13%
63.68/63.78 c 62.6s| 1 | 0 | 4133 | - | 22M| 0 | 146 | 818 |2191 | 818 |2217 | 4 | 0 | 159 | 2.546964e+01 | 2.700000e+01 | 6.01%
64.28/64.33 c 63.1s| 1 | 0 | 4185 | - | 22M| 0 | 127 | 818 |2191 | 818 |2217 | 4 | 0 | 168 | 2.548440e+01 | 2.700000e+01 | 5.95%
64.67/64.77 c 63.5s| 1 | 0 | 4267 | - | 22M| 0 | 117 | 818 |2191 | 818 |2217 | 4 | 0 | 173 | 2.554908e+01 | 2.700000e+01 | 5.68%
64.97/65.06 c 63.8s| 1 | 0 | 4316 | - | 22M| 0 | 127 | 818 |2178 | 818 |2217 | 4 | 0 | 178 | 2.555759e+01 | 2.700000e+01 | 5.64%
65.27/65.37 c 64.1s| 1 | 0 | 4406 | - | 22M| 0 | 124 | 818 |2178 | 818 |2217 | 4 | 0 | 183 | 2.567647e+01 | 2.700000e+01 | 5.15%
65.57/65.64 c 64.4s| 1 | 0 | 4465 | - | 22M| 0 | 121 | 818 |2137 | 818 |2217 | 4 | 0 | 188 | 2.574537e+01 | 2.700000e+01 | 4.87%
65.88/65.92 c 64.7s| 1 | 0 | 4497 | - | 22M| 0 | 120 | 818 |2125 | 818 |2199 | 4 | 0 | 193 | 2.576705e+01 | 2.700000e+01 | 4.79%
66.17/66.21 c 65.0s| 1 | 0 | 4497 | - | 22M| 0 | - | 818 |2125 | 818 |2199 | 4 | 0 | 200 | 2.576705e+01 | 2.700000e+01 | 4.79%
66.17/66.21 c (run 2, node 1) restarting after 173 global fixings of integer variables
66.17/66.21 c
66.17/66.21 c (restart) converted 4 cuts from the global cut pool into linear constraints
66.17/66.21 c
66.17/66.22 c presolving:
66.27/66.32 c (round 1) 174 del vars, 516 del conss, 6 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 32023 impls, 8 clqs
66.38/66.42 c (round 2) 180 del vars, 523 del conss, 6 chg bounds, 0 chg sides, 4 chg coeffs, 1 upgd conss, 32023 impls, 7 clqs
66.38/66.45 c presolving (3 rounds):
66.38/66.45 c 180 deleted vars, 523 deleted constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 4 changed coefficients
66.38/66.45 c 32023 implications, 7 cliques
66.38/66.45 c presolved problem has 638 variables (638 bin, 0 int, 0 impl, 0 cont) and 1606 constraints
66.38/66.45 c 15 constraints of type <knapsack>
66.38/66.45 c 16 constraints of type <setppc>
66.38/66.45 c 1575 constraints of type <logicor>
66.38/66.45 c transformed objective value is always integral (scale: 1)
66.38/66.45 c Presolving Time: 0.85
66.38/66.46 c
66.47/66.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.47/66.56 c 65.3s| 1 | 0 | 4972 | - | 21M| 0 | 119 | 638 |1606 | 638 |1604 | 0 | 0 | 200 | 2.591235e+01 | 2.700000e+01 | 4.20%
67.17/67.21 c 66.0s| 1 | 0 | 5038 | - | 22M| 0 | 124 | 638 |1075 | 638 | 592 | 5 | 0 | 200 | 2.598807e+01 | 2.700000e+01 | 3.89%
67.17/67.23 c 66.0s| 1 | 0 | 5038 | - | 22M| 0 | 124 | 638 |1075 | 638 | 592 | 5 | 0 | 201 | 2.700000e+01 | 2.700000e+01 | 0.00%
67.17/67.23 c
67.17/67.23 c SCIP Status : problem is solved [optimal solution found]
67.17/67.23 c Solving Time (sec) : 65.97
67.17/67.23 c Solving Nodes : 1 (total of 3 nodes in 3 runs)
67.17/67.23 c Primal Bound : +2.70000000000000e+01 (2 solutions)
67.17/67.23 c Dual Bound : +2.70000000000000e+01
67.17/67.23 c Gap : 0.00 %
67.17/67.25 s OPTIMUM FOUND
67.17/67.25 v x202 x201 x5827 x200 x5825 -x5823 -x199 -x5821 x198 x5819 -x5817 -x5815 -x197 -x5813 -x5811 -x5809 -x196 -x5807 -x5805 -x5803 -x5801
67.17/67.25 v -x5799 -x5797 -x195 -x5795 -x194 -x5793 -x5791 -x5789 -x193 -x5787 -x5785 -x192 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773
67.17/67.25 v -x5771 -x191 -x5769 -x5767 -x5765 -x190 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x189 -x5749 -x5747 -x5745 -x5743
67.17/67.25 v -x5741 -x5739 -x5737 -x188 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x187
67.17/67.25 v -x5709 x186 x5707 -x5705 -x5703 x5701 -x5699 -x5697 -x185 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x184 -x5681 -x5679
67.17/67.25 v x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x183 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x182 -x5647
67.17/67.25 v -x5645 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x181 -x5617 -x5615 -x5613
67.17/67.25 v -x180 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x179 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x178 -x5583 -x5581
67.17/67.25 v -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x177 -x5553 x5551 -x5549 -x5547
67.17/67.25 v -x5545 -x5543 -x5541 x176 -x5539 -x5537 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513
67.17/67.25 v -x5511 -x175 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x174
67.17/67.25 v -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445
67.17/67.25 v -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x173 -x5423 -x172 -x5421 -x5419 -x5417 -x171 -x5415
67.17/67.25 v -x5413 -x5411 -x170 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x169 -x5395 x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381
67.17/67.25 v -x5379 -x168 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x167 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349
67.17/67.25 v -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x166 -x5333 -x5331 -x5329 -x165 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317
67.17/67.25 v -x5315 -x164 -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 -x163 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285
67.17/67.25 v -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x162 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x161 -x5257 -x5255 -x5253
67.17/67.25 v -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x160 -x5227 -x5225 -x5223 -x5221 -x5219
67.17/67.25 v -x5217 -x5215 -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 -x159 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185
67.17/67.25 v -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149
67.17/67.25 v -x5147 -x5145 -x5143 -x5141 -x5139 -x158 -x5137 -x5135 -x5133 -x157 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x156
67.17/67.25 v -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x155 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085
67.17/67.25 v -x5083 -x5081 -x5079 -x5077 -x5075 -x154 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x153 -x5059 -x5057 -x5055 -x5053
67.17/67.25 v -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x152 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019
67.17/67.25 v -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x151 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985
67.17/67.25 v -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948
67.17/67.25 v -x4946 -x4944 -x4942 -x4940 -x150 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x149 -x4924 -x4922 -x4920 -x4918 -x4916
67.17/67.25 v -x4914 -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x148 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882
67.17/67.25 v -x4880 -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x147 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848
67.17/67.25 v -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812
67.17/67.25 v -x4810 -x4808 -x4806 -x146 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778
67.17/67.25 v -x4776 -x145 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743
67.17/67.25 v -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x144 -x4713 -x4711 -x4709
67.17/67.25 v -x4707 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673
67.17/67.25 v -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x143 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639
67.17/67.25 v -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603
67.17/67.25 v -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567
67.17/67.25 v -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531
67.17/67.25 v -x142 -x4529 -x4527 -x4525 -x141 -x4523 -x4521 -x4519 -x140 -x4517 -x4515 x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501
67.17/67.25 v -x4499 -x139 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x138 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x137 -x4469
67.17/67.25 v -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x136 -x4439 -x4437 x4435
67.17/67.25 v x135 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x134 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x133 -x4405
67.17/67.25 v -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x132 -x4375 -x4373 -x4371
67.17/67.25 v -x4369 -x4367 -x4365 -x4363 -x131 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337
67.17/67.25 v -x4335 -x4333 -x130 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303
67.17/67.25 v -x129 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269
67.17/67.25 v -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x128 -x4239 -x4237 -x4235
67.17/67.25 v x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x127 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x126 -x4205 -x4203
67.17/67.25 v -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x125 -x4175 -x4173 -x4171 -x4169
67.17/67.25 v -x4167 -x4165 -x4163 -x124 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135
67.17/67.25 v -x4133 -x123 -x4131 -x4129 -x4127 -x122 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x121 -x4111 -x4109 -x4107 -x4105 -x4103
67.17/67.25 v -x4101 -x4099 -x120 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069
67.17/67.25 v -x119 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x118 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037
67.17/67.25 v -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x117 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003
67.17/67.25 v -x4001 -x3999 -x3997 x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x116 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969
67.17/67.25 v -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x115 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935
67.17/67.25 v -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x114 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901
67.17/67.25 v -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865
67.17/67.25 v -x3863 -x3861 -x3859 -x113 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831
67.17/67.25 v -x3829 -x112 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x111 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799
67.17/67.25 v -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x110 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765
67.17/67.25 v -x3763 -x3761 -x3759 -x3757 -x3755 -x109 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731
67.17/67.25 v -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695
67.17/67.25 v -x3693 -x108 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x107
67.17/67.25 v -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626
67.17/67.25 v -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x106 -x3600 x105 x3598 -x3596 -x3594
67.17/67.25 v -x104 -x3592 -x3590 -x3588 -x103 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x102 -x3572 -x3570 -x3568 -x101 -x3566 -x3564
67.17/67.25 v -x3562 -x3560 -x3558 -x3556 -x3554 -x100 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x99 -x3538 -x3536 -x3534 -x3532
67.17/67.25 v -x3530 -x3528 -x3526 -x3524 x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x98 -x3504 -x3502 -x3500 -x3498
67.17/67.25 v -x3496 -x3494 -x3492 -x97 -x3490 -x3488 -x3486 -x3484 x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 x3462
67.17/67.25 v -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x96 -x3432 -x3430 -x3428
67.17/67.25 v -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x95 -x3402 -x3400 -x3398 -x94 -x3396
67.17/67.25 v -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x93 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x92 -x3368 -x3366 -x3364 -x3362
67.17/67.25 v -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x91 -x3338 -x3336 -x3334 -x90 -x3332 -x3330
67.17/67.25 v -x3328 -x3326 -x3324 -x3322 -x3320 -x89 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x88 -x3304 -x3302 -x3300 -x3298 -x3296
67.17/67.25 v -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x87 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262
67.17/67.25 v -x86 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x85 -x3230
67.17/67.25 v -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x84 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196
67.17/67.25 v -x3194 -x3192 -x3190 -x3188 -x83 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162
67.17/67.25 v -x82 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126
67.17/67.25 v -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x81 -x3098 -x3096 -x3094 -x3092
67.17/67.25 v -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x80 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058
67.17/67.25 v -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022
67.17/67.25 v -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x79 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988
67.17/67.25 v -x78 -x2986 -x2984 -x2982 -x2980 -x2978 x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954
67.17/67.25 v -x2952 -x2950 -x2948 -x2946 -x2944 -x77 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x76 -x2928 -x2926 -x2924 -x2922 -x2920
67.17/67.25 v -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x75 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886
67.17/67.25 v -x74 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x73 -x2854
67.17/67.25 v -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x72 -x2824 -x2822 -x2820
67.17/67.25 v -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784
67.17/67.25 v -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x71 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750
67.17/67.25 v -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x70 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x69 -x2718 -x2716
67.17/67.25 v -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x68 -x2688 -x2686 -x2684 -x2682
67.17/67.25 v -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x67 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648
67.17/67.25 v -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612
67.17/67.25 v -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x66 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578
67.17/67.25 v -x2576 -x2574 -x2572 -x2570 -x65 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544
67.17/67.25 v -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508
67.17/67.25 v -x64 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474
67.17/67.25 v -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438
67.17/67.25 v -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x63 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404
67.17/67.25 v -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368
67.17/67.25 v -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x62 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334
67.17/67.25 v -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2305 -x2303 -x2301 -x2299 -x2297
67.17/67.25 v -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261
67.17/67.25 v -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225
67.17/67.25 v -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189
67.17/67.25 v -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x61 -x2163 -x2161 -x2159 -x60 -x2157
67.17/67.25 v -x2155 -x2153 -x59 -x2151 -x2149 -x2147 -x58 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x57 -x2131 -x2129 -x2127 -x2125
67.17/67.25 v -x2123 -x2121 -x2119 -x56 -x2117 -x2115 -x2113 -x55 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x54 -x2097 -x2095 -x2093
67.17/67.25 v -x2091 -x2089 -x2087 -x2085 -x53 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059
67.17/67.25 v -x2057 -x2055 -x52 -x2053 -x2051 -x2049 -x51 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x50 -x2033 -x2031 -x2029 -x2027
67.17/67.25 v -x2025 -x2023 -x2021 -x49 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x48 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995
67.17/67.25 v -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x47 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961
67.17/67.25 v -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x46 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x45 -x1931 -x1929 -x1927
67.17/67.25 v -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x44 -x1901 -x1899 -x1897 -x1895 -x1893
67.17/67.25 v -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x43 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859
67.17/67.25 v -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823
67.17/67.25 v -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x42 -x1809 -x1807 -x1805 -x41 -x1803 x1801 -x1799 -x1797 -x1795 -x1793 -x1791
67.17/67.25 v -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x40 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755
67.17/67.25 v -x1753 -x1751 -x1749 -x39 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x38 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723
67.17/67.25 v -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x37 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689
67.17/67.25 v -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x36 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655
67.17/67.25 v -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619
67.17/67.25 v -x1617 -x1615 -x1613 -x35 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x34 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585
67.17/67.25 v -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x33 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551
67.17/67.25 v -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x32 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517
67.17/67.25 v -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481
67.17/67.25 v -x1479 -x1477 -x31 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447
67.17/67.25 v -x30 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413
67.17/67.25 v -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x29 -x1383 -x1381 -x1379
67.17/67.25 v -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343
67.17/67.25 v -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1324 -x28 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308
67.17/67.25 v -x1306 -x1304 -x1302 -x1300 -x1298 x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272
67.17/67.25 v -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236
67.17/67.25 v -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200
67.17/67.25 v -x1198 -x1196 -x1194 -x1192 -x27 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166
67.17/67.25 v -x1164 -x26 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x25 -x1132
67.17/67.25 v -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x24 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098
67.17/67.25 v -x1096 -x1094 -x1092 -x1090 -x23 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064
67.17/67.25 v -x1062 -x1060 -x22 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1033 -x1031 -x1029
67.17/67.25 v -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x21 -x997 -x995 -x993
67.17/67.25 v -x20 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x19 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x18 -x963 -x961 -x959 -x957
67.17/67.25 v -x955 -x953 -x951 -x17 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x16 -x919
67.17/67.25 v -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x15 -x889 -x887 -x885 -x883 -x881 -x879
67.17/67.25 v -x877 -x14 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x13 -x845 -x843 -x841
67.17/67.25 v -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x12 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801
67.17/67.25 v -x799 -x797 -x795 -x793 -x791 -x789 -x787 x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759
67.17/67.25 v -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x11 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719
67.17/67.25 v -x717 -x715 -x713 -x711 -x10 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x9 -x679
67.17/67.25 v -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639
67.17/67.25 v -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x8 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x7 -x603 -x601 -x599
67.17/67.25 v -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x6 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559
67.17/67.25 v -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x5 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519
67.17/67.25 v -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x4 -x481 -x479
67.17/67.25 v -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x3 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437
67.17/67.25 v -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397
67.17/67.25 v -x395 -x393 -x391 -x2 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355
67.17/67.25 v -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x1 -x327 -x324 -x322 -x320 -x318 -x316 -x314
67.17/67.25 v -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271
67.17/67.25 v -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231
67.17/67.25 v -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 x5828 x5826 -x5824 -x5822 x5820 -x5818 -x5816
67.17/67.25 v -x5814 -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800 -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780
67.17/67.25 v -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746
67.17/67.25 v -x5744 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710
67.17/67.25 v x5708 -x5706 -x5704 x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 x5678 -x5676 -x5674 -x5672
67.17/67.25 v -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638
67.17/67.25 v -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602
67.17/67.25 v -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566
67.17/67.25 v -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530
67.17/67.25 v -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494
67.17/67.25 v -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458
67.17/67.25 v -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422
67.17/67.25 v -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 x5394 -x5392 -x5390 -x5388 -x5386
67.17/67.25 v -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350
67.17/67.25 v -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316
67.17/67.25 v -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280
67.17/67.25 v -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244
67.17/67.25 v -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208
67.17/67.25 v -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172
67.17/67.25 v -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136
67.17/67.25 v -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100
67.17/67.25 v -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066
67.17/67.25 v -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030
67.17/67.25 v -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994
67.17/67.25 v -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959
67.17/67.25 v -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923
67.17/67.25 v -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887
67.17/67.25 v -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851
67.17/67.25 v -x4849 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817
67.17/67.25 v -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781
67.17/67.25 v -x4779 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746
67.17/67.25 v -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710
67.17/67.25 v -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674
67.17/67.25 v -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638
67.17/67.25 v -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602
67.17/67.25 v -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566
67.17/67.25 v -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532
67.17/67.25 v -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496
67.17/67.25 v -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460
67.17/67.25 v -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424
67.17/67.25 v -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388
67.17/67.25 v -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352
67.17/67.25 v -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316
67.17/67.25 v -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280
67.17/67.25 v -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244
67.17/67.25 v -x4242 -x4240 -x4238 -x4236 x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208
67.17/67.25 v -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174
67.17/67.25 v -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138
67.17/67.25 v -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102
67.17/67.25 v -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066
67.17/67.25 v -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030
67.17/67.25 v -x4028 -x4026 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 x3996 -x3994
67.17/67.25 v -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958
67.17/67.25 v -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922
67.17/67.25 v -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888
67.17/67.25 v -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852
67.17/67.25 v -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816
67.17/67.25 v -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780
67.17/67.25 v -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744
67.17/67.25 v -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708
67.17/67.25 v -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672
67.17/67.25 v -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638
67.17/67.25 v -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603
67.17/67.25 v -x3601 x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567
67.17/67.25 v -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531
67.17/67.25 v -x3529 -x3527 -x3525 x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495
67.17/67.25 v -x3493 -x3491 -x3489 -x3487 -x3485 x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 x3463 -x3461 -x3459
67.17/67.25 v -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423
67.17/67.25 v -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387
67.17/67.25 v -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351
67.17/67.25 v -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315
67.17/67.25 v -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279
67.17/67.25 v -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245
67.17/67.25 v -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209
67.17/67.25 v -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173
67.17/67.25 v -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137
67.17/67.25 v -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101
67.17/67.25 v -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065
67.17/67.25 v -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 x3037 -x3035 -x3033 -x3031 -x3029
67.17/67.25 v -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993
67.17/67.25 v -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957
67.17/67.25 v -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923
67.17/67.25 v -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887
67.17/67.25 v -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851
67.17/67.25 v -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815
67.17/67.25 v -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779
67.17/67.25 v -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743
67.17/67.25 v -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707
67.17/67.25 v -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673
67.17/67.25 v -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637
67.17/67.25 v -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601
67.17/67.25 v -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565
67.17/67.25 v -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529
67.17/67.25 v -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493
67.17/67.25 v x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457
67.17/67.25 v -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421
67.17/67.25 v -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387
67.17/67.25 v -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351
67.17/67.25 v -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315
67.17/67.25 v -x2313 -x2311 -x2309 x2307 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280
67.17/67.25 v -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244
67.17/67.25 v -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 x2212 -x2210 -x2208
67.17/67.25 v -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172
67.17/67.25 v -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136
67.17/67.25 v -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100
67.17/67.25 v -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066
67.17/67.25 v -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030
67.17/67.25 v -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994
67.17/67.25 v -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958
67.17/67.25 v -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922
67.17/67.25 v -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886
67.17/67.25 v -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850
67.17/67.25 v -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816
67.17/67.25 v -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780
67.17/67.25 v -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744
67.17/67.25 v -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708
67.17/67.25 v -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672
67.17/67.25 v -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636
67.17/67.25 v -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600
67.17/67.25 v -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564
67.17/67.25 v -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530
67.17/67.25 v -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494
67.17/67.25 v -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458
67.17/67.25 v -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422
67.17/67.25 v -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386
67.17/67.25 v -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350
67.17/67.25 v -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315
67.17/67.25 v -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279
67.17/67.25 v -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245
67.17/67.25 v -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209
67.17/67.25 v -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 x1179 -x1177 -x1175 -x1173
67.17/67.25 v -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137
67.17/67.25 v -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101
67.17/67.25 v -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065
67.17/67.25 v -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1034 -x1032 -x1030
67.17/67.25 v -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994
67.17/67.25 v -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952
67.17/67.25 v -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910
67.17/67.25 v -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870
67.17/67.25 v -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828
67.17/67.25 v -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 x786
67.17/67.25 v -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744
67.17/67.25 v -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702
67.17/67.25 v -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660
67.17/67.25 v -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618
67.17/67.25 v -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578
67.17/67.25 v -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536
67.17/67.25 v -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494
67.17/67.25 v -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452
67.17/67.25 v -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410
67.17/67.25 v -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368
67.17/67.25 v -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328
67.17/67.25 v x326 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x298 -x296 -x294 -x292 -x290 -x288
67.17/67.25 v -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246
67.17/67.25 v -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204
67.17/67.25 c SCIP Status : problem is solved [optimal solution found]
67.17/67.25 c Solving Time : 65.97
67.17/67.25 c Original Problem :
67.17/67.25 c Problem name : HOME/instance-2665349-1276630461.opb
67.17/67.25 c Variables : 5828 (5828 binary, 0 integer, 0 implicit integer, 0 continuous)
67.17/67.25 c Constraints : 17411 initial, 17411 maximal
67.17/67.25 c Presolved Problem :
67.17/67.25 c Problem name : t_HOME/instance-2665349-1276630461.opb
67.17/67.25 c Variables : 638 (638 binary, 0 integer, 0 implicit integer, 0 continuous)
67.17/67.25 c Constraints : 1606 initial, 1606 maximal
67.17/67.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
67.17/67.25 c trivial : 0.01 2085 0 0 0 0 0 0 0
67.17/67.25 c dualfix : 0.01 0 0 0 0 0 0 0 0
67.17/67.25 c boundshift : 0.00 0 0 0 0 0 0 0 0
67.17/67.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0
67.17/67.25 c implics : 0.00 0 10 0 0 0 0 0 0
67.17/67.25 c probing : 0.08 0 0 0 0 0 0 0 0
67.17/67.25 c knapsack : 0.34 0 0 0 0 0 0 0 6
67.17/67.25 c setppc : 0.00 0 0 0 0 0 9 0 0
67.17/67.25 c linear : 0.21 284 2811 0 284 0 7386 2 2
67.17/67.25 c logicor : 0.13 0 0 0 6 0 6286 0 0
67.17/67.25 c root node : - 2513 - - 2513 - - - -
67.17/67.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
67.17/67.25 c integral : 0 0 0 19 0 1 82 0 0 0
67.17/67.25 c knapsack : 15 2 25 0 0 0 0 0 0 0
67.17/67.25 c setppc : 16 2 25 0 0 0 4 0 0 0
67.17/67.25 c logicor : 1575 13 228 0 0 0 380 0 0 0
67.17/67.25 c countsols : 0 0 0 0 0 0 0 0 0 0
67.17/67.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
67.17/67.25 c integral : 43.56 0.00 0.00 43.56 0.00
67.17/67.25 c knapsack : 0.56 0.52 0.04 0.00 0.00
67.17/67.25 c setppc : 0.00 0.00 0.00 0.00 0.00
67.17/67.25 c logicor : 0.05 0.02 0.03 0.00 0.00
67.17/67.25 c countsols : 0.00 0.00 0.00 0.00 0.00
67.17/67.25 c Propagators : Time Calls Cutoffs DomReds
67.17/67.25 c vbounds : 0.00 4 0 0
67.17/67.25 c rootredcost : 0.00 0 0 0
67.17/67.25 c pseudoobj : 0.00 54 0 0
67.17/67.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
67.17/67.25 c propagation : 0.00 0 0 0 0.0 0 0.0 -
67.17/67.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
67.17/67.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
67.17/67.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
67.17/67.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
67.17/67.25 c applied globally : - - - 0 0.0 - - -
67.17/67.25 c applied locally : - - - 0 0.0 - - -
67.17/67.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
67.17/67.25 c cut pool : 0.00 0 - - 0 - (maximal pool size: 130)
67.17/67.25 c redcost : 0.01 13 0 2047 0 0
67.17/67.25 c impliedbounds : 0.01 13 0 0 0 0
67.17/67.25 c intobj : 0.00 0 0 0 0 0
67.17/67.25 c cgmip : 0.00 0 0 0 0 0
67.17/67.25 c gomory : 8.14 13 0 0 4391 0
67.17/67.25 c strongcg : 6.02 13 0 0 5870 0
67.17/67.25 c cmir : 1.21 12 0 0 0 0
67.17/67.25 c flowcover : 2.08 12 0 0 0 0
67.17/67.25 c clique : 0.03 13 0 0 72 0
67.17/67.25 c zerohalf : 0.00 0 0 0 0 0
67.17/67.25 c mcf : 0.04 3 0 0 0 0
67.17/67.25 c rapidlearning : 0.00 0 0 0 0 0
67.17/67.25 c Pricers : Time Calls Vars
67.17/67.25 c problem variables: 0.00 0 0
67.17/67.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
67.17/67.25 c relpscost : 43.56 19 1 82 0 0 0
67.17/67.25 c pscost : 0.00 0 0 0 0 0 0
67.17/67.25 c inference : 0.00 0 0 0 0 0 0
67.17/67.25 c mostinf : 0.00 0 0 0 0 0 0
67.17/67.25 c leastinf : 0.00 0 0 0 0 0 0
67.17/67.25 c fullstrong : 0.00 0 0 0 0 0 0
67.17/67.25 c allfullstrong : 0.00 0 0 0 0 0 0
67.17/67.25 c random : 0.00 0 0 0 0 0 0
67.17/67.25 c Primal Heuristics : Time Calls Found
67.17/67.25 c LP solutions : 0.00 - 0
67.17/67.25 c pseudo solutions : 0.00 - 0
67.17/67.25 c oneopt : 0.01 2 0
67.17/67.25 c trivial : 0.01 2 0
67.17/67.25 c simplerounding : 0.00 0 0
67.17/67.25 c zirounding : 0.00 1 0
67.17/67.25 c rounding : 0.10 32 1
67.17/67.25 c shifting : 0.01 32 0
67.17/67.25 c intshifting : 0.00 0 0
67.17/67.25 c twoopt : 0.00 0 0
67.17/67.25 c fixandinfer : 0.00 0 0
67.17/67.25 c feaspump : 0.11 1 0
67.17/67.25 c coefdiving : 0.00 0 0
67.17/67.25 c pscostdiving : 0.00 0 0
67.17/67.25 c fracdiving : 0.00 0 0
67.17/67.25 c veclendiving : 0.00 0 0
67.17/67.25 c intdiving : 0.00 0 0
67.17/67.25 c actconsdiving : 0.00 0 0
67.17/67.25 c objpscostdiving : 0.00 0 0
67.17/67.25 c rootsoldiving : 0.00 0 0
67.17/67.25 c linesearchdiving : 0.00 0 0
67.17/67.25 c guideddiving : 0.00 0 0
67.17/67.25 c octane : 0.00 0 0
67.17/67.25 c rens : 0.25 1 1
67.17/67.25 c rins : 0.00 0 0
67.17/67.25 c localbranching : 0.00 0 0
67.17/67.25 c mutation : 0.00 0 0
67.17/67.25 c crossover : 0.00 0 0
67.17/67.25 c dins : 0.00 0 0
67.17/67.25 c undercover : 0.00 0 0
67.17/67.25 c nlp : 0.00 0 0
67.17/67.25 c trysol : 0.00 0 0
67.17/67.25 c LP : Time Calls Iterations Iter/call Iter/sec
67.17/67.25 c primal LP : 0.01 0 0 0.00 0.00
67.17/67.25 c dual LP : 2.62 32 5038 157.44 1922.90
67.17/67.25 c lex dual LP : 0.00 0 0 0.00 -
67.17/67.25 c barrier LP : 0.00 0 0 0.00 -
67.17/67.25 c diving/probing LP: 0.03 0 0 0.00 0.00
67.17/67.25 c strong branching : 43.55 201 68905 342.81 1582.20
67.17/67.25 c (at root node) : - 201 68905 342.81 -
67.17/67.25 c conflict analysis: 0.00 0 0 0.00 -
67.17/67.25 c B&B Tree :
67.17/67.25 c number of runs : 3
67.17/67.25 c nodes : 1
67.17/67.25 c nodes (total) : 3
67.17/67.25 c nodes left : 0
67.17/67.25 c max depth : 0
67.17/67.25 c max depth (total): 0
67.17/67.25 c backtracks : 0 (0.0%)
67.17/67.25 c delayed cutoffs : 0
67.17/67.25 c repropagations : 0 (0 domain reductions, 0 cutoffs)
67.17/67.25 c avg switch length: 2.00
67.17/67.25 c switching time : 0.00
67.17/67.25 c Solution :
67.17/67.25 c Solutions found : 2 (2 improvements)
67.17/67.25 c First Solution : +3.89999999999998e+01 (in run 1, after 1 nodes, 0.66 seconds, depth 0, found by <rounding>)
67.17/67.25 c Primal Bound : +2.70000000000000e+01 (in run 1, after 1 nodes, 10.78 seconds, depth 0, found by <rens>)
67.17/67.25 c Dual Bound : +2.70000000000000e+01
67.17/67.25 c Gap : 0.00 %
67.17/67.25 c Root Dual Bound : +2.70000000000000e+01
67.17/67.25 c Root Iterations : 5038
67.27/67.30 c Time complete: 67.27.
OK 27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665349-1276630461/watcher-2665349-1276630461 -o /tmp/evaluation-result-2665349-1276630461/solver-2665349-1276630461 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665349-1276630461.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.02 1.19 3/106 12845 /proc/meminfo: memFree=1837680/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=8260 CPUtime=0 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 1009 0 0 0 0 0 0 0 15 0 1 0 4341090 8458240 929 1992294400 4194304 9819077 140736319559760 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12845/statm: 2065 929 366 1374 0 686 0 [startup+0.0204731 s] /proc/loadavg: 0.92 1.02 1.19 3/106 12845 /proc/meminfo: memFree=1837680/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=13116 CPUtime=0.01 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 2237 0 0 0 1 0 0 0 15 0 1 0 4341090 13430784 2156 1992294400 4194304 9819077 140736319559760 18446744073709551615 5652146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12845/statm: 3279 2158 386 1374 0 1900 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13116 [startup+0.101481 s] /proc/loadavg: 0.92 1.02 1.19 3/106 12845 /proc/meminfo: memFree=1837680/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=17068 CPUtime=0.1 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 3223 0 0 0 9 1 0 0 17 0 1 0 4341090 17477632 3142 1992294400 4194304 9819077 140736319559760 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12845/statm: 4267 3142 388 1374 0 2888 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 17068 [startup+0.301502 s] /proc/loadavg: 0.92 1.02 1.19 3/106 12845 /proc/meminfo: memFree=1837680/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=22408 CPUtime=0.29 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 4535 0 0 0 28 1 0 0 17 0 1 0 4341090 22945792 4454 1992294400 4194304 9819077 140736319559760 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12845/statm: 5602 4454 388 1374 0 4223 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22408 [startup+0.701546 s] /proc/loadavg: 0.92 1.02 1.19 3/106 12845 /proc/meminfo: memFree=1837680/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=48800 CPUtime=0.69 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 12171 0 0 0 62 7 0 0 17 0 1 0 4341090 49971200 10842 1992294400 4194304 9819077 140736319559760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 12200 10842 499 1374 0 10821 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 48800 [startup+1.50163 s] /proc/loadavg: 0.92 1.02 1.19 2/107 12846 /proc/meminfo: memFree=1783732/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=77320 CPUtime=1.49 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 20054 0 0 0 137 12 0 0 18 0 1 0 4341090 79175680 16814 1992294400 4194304 9819077 140736319559760 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 19330 16814 653 1374 0 17951 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 77320 [startup+3.1008 s] /proc/loadavg: 0.92 1.02 1.19 2/107 12846 /proc/meminfo: memFree=1771704/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=83832 CPUtime=3.09 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 23049 0 0 0 293 16 0 0 21 0 1 0 4341090 85843968 18468 1992294400 4194304 9819077 140736319559760 18446744073709551615 8494973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 20958 18468 673 1374 0 19579 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 83832 [startup+6.30115 s] /proc/loadavg: 0.93 1.01 1.19 2/107 12846 /proc/meminfo: memFree=1758188/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=92056 CPUtime=6.29 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 26167 0 0 0 609 20 0 0 25 0 1 0 4341090 94265344 20530 1992294400 4194304 9819077 140736319559760 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 23014 20530 675 1374 0 21635 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 92056 [startup+12.7008 s] /proc/loadavg: 1.01 1.03 1.19 3/107 12846 /proc/meminfo: memFree=1755336/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=94388 CPUtime=12.68 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 39063 0 0 0 1238 30 0 0 25 0 1 0 4341090 96653312 21125 1992294400 4194304 9819077 140736319559760 18446744073709551615 6055095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 23597 21125 718 1374 0 22218 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 94388 [startup+25.5012 s] /proc/loadavg: 1.01 1.03 1.19 2/107 12846 /proc/meminfo: memFree=1752980/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=102872 CPUtime=25.48 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 63542 0 0 0 2504 44 0 0 25 0 1 0 4341090 105340928 21651 1992294400 4194304 9819077 140736319559760 18446744073709551615 6663630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 25718 21651 722 1374 0 24339 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 102872 [startup+51.101 s] /proc/loadavg: 1.01 1.03 1.18 2/107 12848 /proc/meminfo: memFree=1749136/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=107008 CPUtime=51.07 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 110086 0 0 0 5033 74 0 0 25 0 1 0 4341090 109576192 22758 1992294400 4194304 9819077 140736319559760 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 26752 22758 722 1374 0 25373 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 107008 Solver just ended. Dumping a history of the last processes samples [startup+57.5007 s] /proc/loadavg: 1.01 1.03 1.18 2/107 12848 /proc/meminfo: memFree=1747896/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=99708 CPUtime=57.47 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 122330 0 0 0 5663 84 0 0 25 0 1 0 4341090 102100992 22902 1992294400 4194304 9819077 140736319559760 18446744073709551615 7312597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 24927 22902 722 1374 0 23548 0 Current children cumulated CPU time (s) 57.47 Current children cumulated vsize (KiB) 99708 [startup+63.9004 s] /proc/loadavg: 1.00 1.02 1.18 2/107 12848 /proc/meminfo: memFree=1748764/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=98832 CPUtime=63.88 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 129985 0 0 0 6298 90 0 0 25 0 1 0 4341090 101203968 22803 1992294400 4194304 9819077 140736319559760 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 24708 22803 728 1374 0 23329 0 Current children cumulated CPU time (s) 63.88 Current children cumulated vsize (KiB) 98832 [startup+65.5005 s] /proc/loadavg: 1.08 1.04 1.18 2/107 12848 /proc/meminfo: memFree=1748764/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=98824 CPUtime=65.47 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 131721 0 0 0 6457 90 0 0 25 0 1 0 4341090 101195776 22798 1992294400 4194304 9819077 140736319559760 18446744073709551615 7311704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 24706 22798 728 1374 0 23327 0 Current children cumulated CPU time (s) 65.47 Current children cumulated vsize (KiB) 98824 [startup+66.3006 s] /proc/loadavg: 1.08 1.04 1.18 2/107 12848 /proc/meminfo: memFree=1748764/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=94672 CPUtime=66.27 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 132660 0 0 0 6536 91 0 0 25 0 1 0 4341090 96944128 22510 1992294400 4194304 9819077 140736319559760 18446744073709551615 4442966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 23668 22510 728 1374 0 22289 0 Current children cumulated CPU time (s) 66.27 Current children cumulated vsize (KiB) 94672 [startup+67.1087 s] /proc/loadavg: 1.08 1.04 1.18 2/107 12848 /proc/meminfo: memFree=1748888/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=95700 CPUtime=67.08 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 134974 0 0 0 6616 92 0 0 25 0 1 0 4341090 97996800 22768 1992294400 4194304 9819077 140736319559760 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12845/statm: 23925 22768 728 1374 0 22546 0 Current children cumulated CPU time (s) 67.08 Current children cumulated vsize (KiB) 95700 [startup+67.3007 s] /proc/loadavg: 1.08 1.04 1.18 2/107 12848 /proc/meminfo: memFree=1748888/2059040 swapFree=4180036/4192956 [pid=12845] ppid=12843 vsize=31584 CPUtime=67.27 /proc/12845/stat : 12845 (pbscip.linux.x8) R 12843 12845 12735 0 -1 4202496 135235 0 0 0 6633 94 0 0 25 0 1 0 4341090 32342016 7053 1992294400 4194304 9819077 140736319559760 18446744073709551615 4371179 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12845/statm: 7896 7053 729 1374 0 6517 0 Current children cumulated CPU time (s) 67.27 Current children cumulated vsize (KiB) 31584 Child status: 0 Real time (s): 67.3052 CPU time (s): 67.2858 CPU user time (s): 66.3399 CPU system time (s): 0.945856 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 118528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 66.3399 system time used= 0.945856 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 135239 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 50 runsolver used 0.113982 second user time and 0.331949 second system time The end
Begin job on node035 at 2010-06-15 21:34:21 IDJOB=2665349 IDBENCH=24974 IDSOLVER=1168 FILE ID=node035/2665349-1276630461 PBS_JOBID= 11172364 Free space on /tmp= 62460 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665349-1276630461/watcher-2665349-1276630461 -o /tmp/evaluation-result-2665349-1276630461/solver-2665349-1276630461 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665349-1276630461.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b RANDOM SEED=713668997 node035.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1838208 kB Buffers: 6564 kB Cached: 91452 kB SwapCached: 660 kB Active: 30340 kB Inactive: 115096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1838208 kB SwapTotal: 4192956 kB SwapFree: 4180036 kB Dirty: 6732 kB Writeback: 0 kB AnonPages: 46672 kB Mapped: 15420 kB Slab: 53564 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181232 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62452 MiB End job on node035 at 2010-06-15 21:35:29