Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 26 | 46.8829 | 46.894 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_003_area_delay.opb |
| MD5SUM | 66cf2657d020eb0982c7cab0e5ad93c1 |
| 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 | 26 |
| Best CPU time to get the best result obtained on this benchmark | 8.63969 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 26 |
| Optimality of the best value was proved | YES |
| Number of variables | 7343 |
| Total number of constraints | 22903 |
| Number of constraints which are clauses | 22903 |
| 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 | 127 |
| Number of terms in the objective function | 3560 |
| 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 | 3560 |
| 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 | 3560 |
| 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: SoPlex 1.4.2] [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-2666794-1276634057.opb>
0.39/0.43 c original problem has 7343 variables (7343 bin, 0 int, 0 impl, 0 cont) and 22903 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.49/0.56 c presolving:
0.69/0.79 c (round 1) 4119 del vars, 7667 del conss, 553 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 41558 impls, 0 clqs
0.80/0.82 c (round 2) 4120 del vars, 9967 del conss, 553 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 41558 impls, 0 clqs
0.89/0.98 c (round 3) 4120 del vars, 9971 del conss, 553 chg bounds, 0 chg sides, 0 chg coeffs, 12915 upgd conss, 41558 impls, 0 clqs
0.99/1.02 c (round 4) 4120 del vars, 9971 del conss, 553 chg bounds, 0 chg sides, 0 chg coeffs, 12932 upgd conss, 41558 impls, 0 clqs
1.10/1.15 c (0.6s) probing: 101/3223 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15 c (0.6s) probing aborted: 100/100 successive totally useless probings
1.10/1.16 c presolving (5 rounds):
1.10/1.16 c 4120 deleted vars, 9971 deleted constraints, 553 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.16 c 41558 implications, 0 cliques
1.10/1.16 c presolved problem has 3223 variables (3223 bin, 0 int, 0 impl, 0 cont) and 12932 constraints
1.10/1.16 c 12932 constraints of type <logicor>
1.10/1.16 c transformed objective value is always integral (scale: 1)
1.10/1.16 c Presolving Time: 0.55
1.10/1.16 c - non default parameters ----------------------------------------------------------------------
1.10/1.16 c # SCIP version 1.2.1.2
1.10/1.16 c
1.10/1.16 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.16 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.16 c conflict/interconss = 0
1.10/1.16 c
1.10/1.16 c # should binary conflicts be preferred?
1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.16 c conflict/preferbinary = TRUE
1.10/1.16 c
1.10/1.16 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.16 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.16 c constraints/agelimit = 1
1.10/1.16 c
1.10/1.16 c # should enforcement of pseudo solution be disabled?
1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.16 c constraints/disableenfops = TRUE
1.10/1.16 c
1.10/1.16 c # frequency for displaying node information lines
1.10/1.16 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.16 c display/freq = 10000
1.10/1.16 c
1.10/1.16 c # maximal time in seconds to run
1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.16 c limits/time = 1799.57
1.10/1.16 c
1.10/1.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.16 c limits/memory = 1620
1.10/1.16 c
1.10/1.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.16 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.16 c lp/solvefreq = 0
1.10/1.16 c
1.10/1.16 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)
1.10/1.16 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.16 c lp/pricing = a
1.10/1.16 c
1.10/1.16 c # should presolving try to simplify inequalities
1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.16 c constraints/linear/simplifyinequalities = TRUE
1.10/1.16 c
1.10/1.16 c # should presolving try to simplify knapsacks
1.10/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.16 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.16 c
1.10/1.16 c # priority of node selection rule <dfs> in standard mode
1.10/1.16 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.16 c nodeselection/dfs/stdpriority = 1000000
1.10/1.16 c
1.10/1.16 c -----------------------------------------------------------------------------------------------
1.10/1.16 c start solving
1.10/1.16 c
1.39/1.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.44 c 0.9s| 1 | 0 | 543 | - | 34M| 0 | 156 |3223 | 12k|3223 | 12k| 0 | 0 | 0 | 2.377174e+01 | -- | Inf
1.39/1.45 o 49
1.39/1.45 c R 0.9s| 1 | 0 | 543 | - | 34M| 0 | 156 |3223 | 12k|3223 | 12k| 0 | 0 | 0 | 2.377174e+01 | 4.900000e+01 | 106.13%
2.79/2.82 c 2.2s| 1 | 0 | 609 | - | 34M| 0 | 88 |3223 | 12k|3223 | 12k| 3 | 0 | 0 | 2.404493e+01 | 4.900000e+01 | 103.79%
2.79/2.84 o 36
2.79/2.84 c R 2.2s| 1 | 0 | 609 | - | 34M| 0 | 88 |3223 | 12k|3223 | 12k| 3 | 0 | 0 | 2.404493e+01 | 3.600000e+01 | 49.72%
3.99/4.00 c 3.4s| 1 | 0 | 685 | - | 35M| 0 | 122 |3223 | 12k|3223 | 12k| 5 | 0 | 0 | 2.423988e+01 | 3.600000e+01 | 48.52%
5.59/5.61 c 5.0s| 1 | 0 | 814 | - | 35M| 0 | 135 |3223 | 12k|3223 | 12k| 8 | 0 | 0 | 2.436768e+01 | 3.600000e+01 | 47.74%
9.29/9.37 c 8.7s| 1 | 0 | 860 | - | 35M| 0 | 141 |3223 | 12k|3223 | 12k| 13 | 0 | 0 | 2.436894e+01 | 3.600000e+01 | 47.73%
12.79/12.83 c 12.1s| 1 | 0 | 953 | - | 35M| 0 | 108 |3223 | 12k|3223 | 12k| 16 | 0 | 0 | 2.438469e+01 | 3.600000e+01 | 47.63%
16.29/16.36 c 15.6s| 1 | 0 | 1060 | - | 36M| 0 | 120 |3223 | 12k|3223 | 12k| 17 | 0 | 0 | 2.443046e+01 | 3.600000e+01 | 47.36%
19.98/20.03 c 19.3s| 1 | 0 | 1142 | - | 36M| 0 | 114 |3223 | 12k|3223 | 12k| 20 | 0 | 0 | 2.443857e+01 | 3.600000e+01 | 47.31%
23.38/23.49 c 22.7s| 1 | 0 | 1210 | - | 36M| 0 | 129 |3223 | 12k|3223 | 12k| 21 | 0 | 0 | 2.445417e+01 | 3.600000e+01 | 47.21%
27.39/27.46 c 26.6s| 1 | 0 | 1273 | - | 36M| 0 | 112 |3223 | 12k|3223 | 12k| 23 | 0 | 0 | 2.446080e+01 | 3.600000e+01 | 47.17%
32.49/32.50 o 26
32.49/32.50 c F31.6s| 1 | 0 | 2541 | - | 36M| 0 | 0 |3223 | 12k|3223 | 12k| 23 | 0 | 0 | 2.446080e+01 | 2.600000e+01 | 6.29%
32.69/32.77 c 31.8s| 1 | 0 | 2541 | - | 36M| 0 | 112 |3223 | 12k|3223 | 12k| 23 | 0 | 0 | 2.446080e+01 | 2.600000e+01 | 6.29%
35.88/35.90 c 34.9s| 1 | 0 | 2541 | - | 34M| 0 | 112 |3223 | 10k|3223 |2487 | 23 | 0 | 0 | 2.446080e+01 | 2.600000e+01 | 6.29%
40.18/40.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.18/40.23 c 39.2s| 1 | 0 | 2541 | - | 34M| 0 | - |3223 | 10k|3223 |2487 | 23 | 0 | 40 | 2.446080e+01 | 2.600000e+01 | 6.29%
40.18/40.23 c (run 1, node 1) restarting after 2312 global fixings of integer variables
40.18/40.23 c
40.18/40.23 c (restart) converted 23 cuts from the global cut pool into linear constraints
40.18/40.23 c
40.18/40.27 c presolving:
40.28/40.31 c (round 1) 2312 del vars, 8120 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23 upgd conss, 41558 impls, 12 clqs
40.38/40.46 c (round 2) 2312 del vars, 8121 del conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 23 upgd conss, 41558 impls, 12 clqs
40.48/40.51 c presolving (3 rounds):
40.48/40.51 c 2312 deleted vars, 8121 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5 changed coefficients
40.48/40.51 c 41558 implications, 12 cliques
40.48/40.51 c presolved problem has 911 variables (911 bin, 0 int, 0 impl, 0 cont) and 2460 constraints
40.48/40.51 c 10 constraints of type <knapsack>
40.48/40.51 c 12 constraints of type <setppc>
40.48/40.51 c 2438 constraints of type <logicor>
40.48/40.51 c transformed objective value is always integral (scale: 1)
40.48/40.51 c Presolving Time: 0.79
40.48/40.51 c
40.69/40.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.69/40.78 c 39.8s| 1 | 0 | 3700 | - | 27M| 0 | 104 | 911 |2460 | 911 |2460 | 0 | 0 | 40 | 2.447078e+01 | 2.600000e+01 | 6.25%
41.79/41.83 c 40.8s| 1 | 0 | 3722 | - | 27M| 0 | 102 | 911 |2427 | 911 |2366 | 2 | 0 | 40 | 2.447239e+01 | 2.600000e+01 | 6.24%
43.68/43.75 c 42.7s| 1 | 0 | 3748 | - | 27M| 0 | 96 | 911 |2419 | 911 |2366 | 2 | 0 | 60 | 2.447504e+01 | 2.600000e+01 | 6.23%
44.38/44.42 c 43.4s| 1 | 0 | 3828 | - | 27M| 0 | 104 | 911 |2419 | 911 |2366 | 2 | 0 | 71 | 2.450462e+01 | 2.600000e+01 | 6.10%
45.18/45.22 c 44.2s| 1 | 0 | 3931 | - | 27M| 0 | 104 | 911 |2409 | 911 |2366 | 2 | 0 | 79 | 2.458258e+01 | 2.600000e+01 | 5.77%
45.48/45.54 c 44.5s| 1 | 0 | 4002 | - | 27M| 0 | 96 | 911 |2409 | 911 |2366 | 2 | 0 | 85 | 2.460668e+01 | 2.600000e+01 | 5.66%
45.68/45.77 c 44.7s| 1 | 0 | 4067 | - | 27M| 0 | 119 | 911 |2409 | 911 |2366 | 2 | 0 | 90 | 2.464326e+01 | 2.600000e+01 | 5.51%
45.98/46.03 c 45.0s| 1 | 0 | 4130 | - | 27M| 0 | 94 | 911 |2387 | 911 |2366 | 2 | 0 | 96 | 2.469849e+01 | 2.600000e+01 | 5.27%
46.28/46.32 c 45.2s| 1 | 0 | 4196 | - | 27M| 0 | 109 | 911 |2372 | 911 |2366 | 2 | 0 | 101 | 2.472708e+01 | 2.600000e+01 | 5.15%
46.38/46.46 c 45.4s| 1 | 0 | 4248 | - | 27M| 0 | 168 | 911 |2345 | 911 |2366 | 2 | 0 | 106 | 2.475159e+01 | 2.600000e+01 | 5.04%
46.58/46.61 c 45.5s| 1 | 0 | 4303 | - | 27M| 0 | 115 | 911 |2325 | 911 |2366 | 2 | 0 | 111 | 2.479271e+01 | 2.600000e+01 | 4.87%
46.68/46.76 c 45.7s| 1 | 0 | 4372 | - | 27M| 0 | 109 | 911 |2325 | 911 |2366 | 2 | 0 | 116 | 2.494845e+01 | 2.600000e+01 | 4.21%
46.77/46.80 c 45.7s| 1 | 0 | 4372 | - | 27M| 0 | 109 | 911 |2325 | 911 |2366 | 2 | 0 | 119 | 2.600000e+01 | 2.600000e+01 | 0.00%
46.77/46.80 c
46.77/46.80 c SCIP Status : problem is solved [optimal solution found]
46.77/46.80 c Solving Time (sec) : 45.72
46.77/46.80 c Solving Nodes : 1 (total of 2 nodes in 2 runs)
46.77/46.80 c Primal Bound : +2.60000000000000e+01 (4 solutions)
46.77/46.80 c Dual Bound : +2.60000000000000e+01
46.77/46.80 c Gap : 0.00 %
46.77/46.82 s OPTIMUM FOUND
46.77/46.82 v x226 -x225 -x7342 x224 x7340 -x7338 -x223 -x7336 x222 x7334 -x7332 -x7330 -x221 -x7328 -x7326 -x7324 -x220 -x7322 -x7320 -x7318
46.77/46.82 v -x7316 -x7314 -x7312 -x219 -x7310 x218 x7308 -x7306 -x7304 -x217 -x7302 -x7300 -x216 -x7298 -x7296 -x7294 -x7292 x7290 -x7288
46.77/46.82 v -x7286 -x7284 -x7282 -x7280 -x215 -x7278 -x7276 x7274 -x7272 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x7256 -x7254
46.77/46.82 v -x7252 -x214 -x7250 -x7248 -x7246 x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x7226 -x7224 x213 x7222 -x7220
46.77/46.82 v -x7218 -x212 -x7216 -x7214 -x7212 -x211 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x7198 -x210 -x7196 -x7194 -x7192 -x209
46.77/46.82 v -x7190 -x7188 -x7186 -x7184 -x7182 -x7180 -x7178 -x208 -x7176 -x7174 -x7172 -x7170 -x7168 -x7166 -x7164 -x207 -x7162 -x7160
46.77/46.82 v -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x206 -x7132 x7130 -x7128 -x7126 -x7124
46.77/46.82 v -x7122 -x7120 -x7118 -x7116 -x7114 -x205 -x7112 -x7110 -x7108 -x7106 -x7104 -x7102 -x7100 -x204 -x7098 -x7096 -x7094 -x7092
46.77/46.82 v -x7090 -x7088 -x7086 -x7084 x7082 -x7080 -x7078 -x7076 -x7074 -x7072 -x7070 -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056
46.77/46.82 v -x203 -x7054 -x7052 -x7050 -x7048 -x7046 -x7044 -x7042 -x7040 -x7038 -x7036 -x7034 -x7032 -x7030 -x7028 -x7026 -x202 -x7024
46.77/46.82 v -x7022 -x7020 -x7018 -x7016 -x7014 -x7012 -x7010 -x7008 -x7006 -x7004 -x7002 -x7000 -x6998 -x6996 -x201 -x6994 -x6992 -x6990
46.77/46.82 v -x6988 -x6986 -x6984 -x6982 -x6980 -x6978 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954
46.77/46.82 v -x6952 -x6950 -x6948 -x6946 -x6944 -x6942 -x6940 -x200 -x6938 -x199 -x6936 -x6934 -x6932 -x198 -x6930 -x6928 -x6926 -x197
46.77/46.82 v -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x196 -x6910 -x6908 -x195 -x6906 -x6904 -x6902 -x6900 -x6898 x6896 -x6894
46.77/46.82 v -x6892 -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 x6878 -x6876 -x6874 -x6872 -x6870 -x6868 -x6866 -x6864 -x6862 -x6860 -x6858
46.77/46.82 v -x6856 -x6854 -x6852 -x6850 -x194 -x6848 -x6846 -x6844 -x193 -x6842 -x6840 -x6838 -x6836 -x6834 -x6832 -x6830 -x192 -x6828 -x6826
46.77/46.82 v -x6824 -x6822 -x6820 -x6818 -x191 -x6816 -x6814 -x6812 -x190 -x6810 -x6808 -x6806 -x6804 -x6802 -x6800 -x6798 -x189 -x6796
46.77/46.82 v -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x188 -x6782 -x6780 -x6778 -x6776 -x6774 -x6772 -x6770 -x6768 -x6766 -x6764 -x6762
46.77/46.82 v -x6760 -x6758 -x6756 -x6754 -x187 -x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740 -x186 -x6738 -x6736 -x6734 -x6732 -x6730
46.77/46.82 v -x6728 -x6726 -x6724 x6722 -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 -x185
46.77/46.82 v -x6694 -x6692 -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x184 -x6664 -x183
46.77/46.82 v -x6662 -x6660 -x6658 -x182 -x6656 -x6654 -x6652 -x181 -x6650 -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x180 -x6636 -x6634 -x6632
46.77/46.82 v -x179 -x6630 -x6628 -x6626 -x6624 -x6622 -x6620 -x6618 -x178 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x177 -x6602
46.77/46.82 v -x6600 -x6598 -x6596 -x6594 -x6592 -x6590 -x6588 -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x176 -x6572 -x6570 x6568
46.77/46.82 v -x6566 -x6564 -x6562 -x6560 -x6558 -x6556 -x6554 -x175 -x6552 -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x174 -x6538 -x6536
46.77/46.82 v -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 -x6518 -x6516 -x6514 -x6512 -x6510 -x173 -x6508 -x6506 -x6504 -x6502
46.77/46.82 v -x6500 -x6498 -x6496 -x172 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x6468
46.77/46.82 v -x6466 -x171 -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 -x6448 -x6446 -x6444 -x6442 -x6440 -x6438 -x6436 -x170
46.77/46.82 v -x6434 -x6432 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x6416 -x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x6402 -x6400
46.77/46.82 v -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x6386 -x6384 -x6382 -x6380 -x6378 -x6376 -x6374 -x169 -x6372 -x6370 -x6368 -x168
46.77/46.82 v -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 -x167 -x6352 -x6350 -x6348 -x6346 -x6344 -x6342 x6340 -x6338 -x6336 -x6334 -x6332
46.77/46.82 v -x6330 -x6328 -x6326 -x6324 -x6322 -x6320 -x6318 x6316 -x6314 -x6312 -x6310 -x6308 -x6306 -x6304 -x6302 -x6300 -x6298 -x6296
46.77/46.82 v -x166 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x165 -x6280 -x6278 -x6276 -x6274 -x6272 -x6270 -x6268 -x6266 -x6264
46.77/46.82 v -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x164 -x6250 -x6248 -x6246 -x163 -x6244 -x6242 -x6240 -x6238 -x6236 -x6234 -x6232
46.77/46.82 v -x162 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x161 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206 -x6204 -x6202 -x6200
46.77/46.82 v -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x160 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x159 -x6172 -x6170 -x6168
46.77/46.82 v -x6166 -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x158 -x6142 -x6140 -x6138 -x6136 -x6134
46.77/46.82 v -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x157 -x6112 -x6110 -x6108 -x6106 -x6104 -x6102 -x6100
46.77/46.82 v -x6098 -x6096 -x6094 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6066 -x6064
46.77/46.82 v -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x156 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x155 -x6036 -x6034 -x6032
46.77/46.82 v -x6030 -x6028 -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x6014 -x6012 -x6010 -x6008 -x154 -x6006 -x6004 -x6002 -x6000 -x5998
46.77/46.82 v -x5996 -x5994 -x153 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 -x5964
46.77/46.82 v -x152 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 -x5934 -x151 -x5932
46.77/46.82 v -x5930 -x5928 -x5926 -x5924 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895
46.77/46.82 v -x5893 -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x150 -x5871 -x149 -x5869 -x5867 -x5865 -x148
46.77/46.82 v -x5863 -x5861 -x5859 -x147 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x146 -x5843 -x5841 x5839 x145 -x5837 -x5835 -x5833
46.77/46.82 v -x5831 -x5829 -x5827 -x5825 -x144 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 x5811 x143 -x5809 -x5807 -x5805 -x5803 -x5801
46.77/46.82 v -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x142 -x5779 -x5777 -x141 -x5775 -x5773 -x5771 -x5769 -x5767
46.77/46.82 v -x5765 -x5763 -x140 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x139 -x5747 -x5745 -x5743 -x5741 -x5739 -x5737 -x5735
46.77/46.82 v -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x138 -x5717 x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701
46.77/46.82 v -x5699 -x5697 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x137 -x5673 -x5671 -x5669 -x5667
46.77/46.82 v -x5665 -x5663 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x5647 -x5645 -x136 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633
46.77/46.82 v -x5631 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597
46.77/46.82 v -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 -x135 -x5581 -x5579 -x5577 -x134 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565
46.77/46.82 v -x5563 -x133 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x132 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x5535 -x5533
46.77/46.82 v -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x131 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x130 -x5503 -x5501
46.77/46.82 v -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x129 -x5473 -x5471 -x5469 -x5467
46.77/46.82 v -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x128 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433
46.77/46.82 v -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397
46.77/46.82 v -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x127 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x126 -x5367 -x5365
46.77/46.82 v -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 -x5341 -x5339 -x125 -x5337 -x5335 -x5333 -x5331
46.77/46.82 v -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x124 -x5307 -x5305 -x5303 -x5301 -x5299 -x5297
46.77/46.82 v -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261
46.77/46.82 v -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x123 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227
46.77/46.82 v -x5225 -x5223 -x5221 -x5219 -x5217 -x122 -x5215 -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 -x5199 -x5197 -x5195 -x5193
46.77/46.82 v -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157
46.77/46.82 v -x5155 -x121 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123
46.77/46.82 v -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x120 -x5091 -x5089
46.77/46.82 v -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053
46.77/46.82 v -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017
46.77/46.82 v -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983
46.77/46.82 v -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x119 -x4965 x4963 -x4961 x118 -x4959 -x4957 -x4955 -x4953 -x4951 -x4949
46.77/46.82 v -x4947 -x117 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x116 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x115
46.77/46.82 v -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 x4889 -x4887 -x4885 -x4883
46.77/46.82 v -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x114 -x4861 -x4859 -x4857 x4855 -x4853 -x4851 -x4849
46.77/46.82 v -x4847 -x4845 -x4843 -x113 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x112 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817
46.77/46.82 v -x4815 -x111 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x110 -x4783
46.77/46.82 v -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x109 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749
46.77/46.82 v -x4747 -x4745 -x4743 -x4741 -x108 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715
46.77/46.82 v -x4713 -x4711 -x107 -x4709 -x4707 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681
46.77/46.82 v -x4679 -x4677 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x106 -x4647
46.77/46.82 v -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x105 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613
46.77/46.82 v -x4611 -x4609 -x4607 -x4605 -x104 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579
46.77/46.82 v -x4577 -x4575 -x103 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545
46.77/46.82 v -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x102 -x4511
46.77/46.82 v -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x101 -x4481 -x4479 -x4477
46.77/46.82 v -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443
46.77/46.82 v -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x100 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409
46.77/46.82 v -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373
46.77/46.82 v -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x99 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339
46.77/46.82 v -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302
46.77/46.82 v -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266
46.77/46.82 v -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x98 -x4232
46.77/46.82 v -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x97 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x96 -x4204 -x4202 -x4200 -x4198
46.77/46.82 v -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x95 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164
46.77/46.82 v -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x94 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130
46.77/46.82 v -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x93 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096
46.77/46.82 v -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060
46.77/46.82 v -x4058 -x4056 -x4054 -x92 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026
46.77/46.82 v -x4024 -x91 -x4022 -x90 -x4020 -x4018 -x4016 -x89 -x4014 -x4012 -x4010 -x88 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996
46.77/46.82 v -x87 -x3994 -x3992 -x3990 -x86 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x85 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964
46.77/46.82 v -x3962 -x84 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x83
46.77/46.82 v -x3930 -x3928 -x3926 -x82 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x81 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898
46.77/46.82 v -x80 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x79 -x3866
46.77/46.82 v -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x78 -x3852 -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832
46.77/46.82 v -x3830 -x3828 -x3826 -x3824 -x77 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798
46.77/46.82 v -x3796 -x3794 -x76 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762
46.77/46.82 v -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x75 -x3730 -x3728
46.77/46.82 v -x3726 -x74 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x73 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x72
46.77/46.82 v -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x71 -x3666 -x3664 -x3662
46.77/46.82 v -x3660 -x3658 -x3656 -x3654 -x70 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628
46.77/46.82 v -x3626 -x3624 -x69 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594
46.77/46.82 v -x68 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560
46.77/46.82 v -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x67 -x3530 -x3528 -x3526
46.77/46.82 v -x3524 -x3522 -x3520 -x3518 -x66 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492
46.77/46.82 v -x3490 -x3488 -x65 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458
46.77/46.82 v -x64 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422
46.77/46.82 v -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x63 -x3394 -x3392 -x3390 -x3388
46.77/46.82 v -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x62 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354
46.77/46.82 v -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318
46.77/46.82 v -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x61 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284
46.77/46.82 v -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248
46.77/46.82 v -x3246 -x3244 -x3242 -x60 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214
46.77/46.82 v -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178
46.77/46.82 v -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142
46.77/46.82 v -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x59 -x3114 -x3112 -x3110 -x58
46.77/46.82 v -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x57 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x56 -x3080 -x3078
46.77/46.82 v -x3076 -x3074 -x3072 -x3070 -x3068 -x55 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042
46.77/46.82 v -x3040 -x3038 -x54 -x3036 -x3034 -x3032 -x53 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x52 -x3016 -x3014 -x3012
46.77/46.82 v -x3010 -x3008 -x3006 -x3004 -x51 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x50 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978
46.77/46.82 v -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x49 -x2958 -x2956 -x2954 -x2952 x2950 -x2948 -x2946 -x2944
46.77/46.82 v -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x48 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910
46.77/46.82 v -x2908 -x2906 -x2904 -x2902 -x47 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876
46.77/46.82 v -x2874 -x2872 -x46 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842
46.77/46.82 v -x45 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805
46.77/46.82 v -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x44 -x2779 -x2777 -x2775 -x43 -x2773
46.77/46.82 v -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x42 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x41 -x2745 -x2743 -x2741
46.77/46.82 v -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x40 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705
46.77/46.82 v -x2703 -x39 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x38
46.77/46.82 v -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x37 -x2641 -x2639
46.77/46.82 v -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603
46.77/46.82 v -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x36 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569
46.77/46.82 v -x2567 -x35 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x34 -x2535
46.77/46.82 v -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x33 -x2505 -x2503 -x2501
46.77/46.82 v -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465
46.77/46.82 v -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x32 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431
46.77/46.82 v -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x31 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397
46.77/46.82 v -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361
46.77/46.82 v -x2359 -x2357 -x2355 -x2353 -x30 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327
46.77/46.82 v -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291
46.77/46.82 v -x29 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257
46.77/46.82 v -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221
46.77/46.82 v -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185
46.77/46.82 v x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x28
46.77/46.82 v -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x27 -x2119 -x2117
46.77/46.82 v -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x26 -x2089 -x2087 -x2085 -x2083
46.77/46.82 v -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047
46.77/46.82 v -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x25 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013
46.77/46.82 v -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x24 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979
46.77/46.82 v -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943
46.77/46.82 v -x1941 -x1939 -x1937 -x23 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909
46.77/46.82 v -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x22
46.77/46.82 v -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839
46.77/46.82 v -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803
46.77/46.82 v -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767
46.77/46.82 v -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x21 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733
46.77/46.82 v -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x20 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699
46.77/46.82 v -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663
46.77/46.82 v -x1661 -x1659 -x19 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629
46.77/46.82 v -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x18 -x1595
46.77/46.82 v -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559
46.77/46.82 v -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523
46.77/46.82 v -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487
46.77/46.82 v -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x17 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453
46.77/46.82 v -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417
46.77/46.82 v -x1415 -x1413 -x1411 -x1409 -x16 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383
46.77/46.82 v -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347
46.77/46.82 v -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311
46.77/46.82 v -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x15 -x1281 -x1279 -x1277
46.77/46.82 v -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241
46.77/46.82 v -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205
46.77/46.82 v -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169
46.77/46.82 v -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x14 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135
46.77/46.82 v -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099
46.77/46.82 v -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 x1067 -x1065 -x1063
46.77/46.82 v -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029
46.77/46.82 v -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991
46.77/46.82 v -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949
46.77/46.82 v -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907
46.77/46.82 v -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x13 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867
46.77/46.82 v -x865 -x863 -x861 -x859 -x12 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x11
46.77/46.82 v -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x10 -x797 -x795 -x793 -x791 -x789
46.77/46.82 v -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747
46.77/46.82 v -x745 -x743 -x741 -x739 -x737 -x9 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x8 -x721 -x719 -x717 -x715 -x713 -x711 -x709
46.77/46.82 v -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x7 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669
46.77/46.82 v -x667 -x665 -x663 -x6 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x5 -x631 -x629
46.77/46.82 v -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587
46.77/46.82 v -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x4 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547
46.77/46.82 v -x545 -x543 -x541 -x3 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507
46.77/46.82 v -x505 -x503 -x501 -x499 -x497 -x495 x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465
46.77/46.82 v -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423
46.77/46.82 v -x421 -x419 -x417 -x2 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383
46.77/46.82 v -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x1 -x353 -x351 -x349 -x347 -x345 -x343
46.77/46.82 v -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301
46.77/46.82 v -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259
46.77/46.82 v -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x7343 x7341 -x7339 -x7337
46.77/46.82 v x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315 -x7313 -x7311 x7309 -x7307 -x7305 -x7303 -x7301
46.77/46.82 v -x7299 -x7297 -x7295 -x7293 x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 x7275 -x7273 -x7271 -x7269 -x7267 -x7265 -x7263
46.77/46.83 v -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 x7245 -x7243 -x7241 -x7239 -x7237 -x7235 -x7233 -x7231 -x7229 -x7227
46.77/46.83 v -x7225 x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 -x7199 -x7197 -x7195 -x7193 -x7191
46.77/46.83 v -x7189 -x7187 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165 -x7163 -x7161 -x7159 -x7157
46.77/46.83 v -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 x7131 -x7129 -x7127 -x7125 -x7123 -x7121
46.77/46.83 v -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089 -x7087 -x7085
46.77/46.83 v x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053 -x7051 -x7049
46.77/46.83 v -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 -x7021 -x7019 -x7017 -x7015 -x7013
46.77/46.83 v -x7011 -x7009 -x7007 -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 -x6985 -x6983 -x6981 -x6979 -x6977
46.77/46.83 v -x6975 -x6973 -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 -x6949 -x6947 -x6945 -x6943 -x6941
46.77/46.83 v -x6939 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913 -x6911 -x6909 -x6907 -x6905
46.77/46.83 v -x6903 -x6901 -x6899 x6897 -x6895 -x6893 -x6891 -x6889 -x6887 -x6885 -x6883 -x6881 x6879 -x6877 -x6875 -x6873 -x6871 -x6869
46.77/46.83 v -x6867 -x6865 -x6863 -x6861 -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 -x6843 -x6841 -x6839 -x6837 -x6835 -x6833
46.77/46.83 v -x6831 -x6829 -x6827 -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797
46.77/46.83 v -x6795 -x6793 -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771 -x6769 -x6767 -x6765 -x6763
46.77/46.83 v -x6761 -x6759 -x6757 -x6755 -x6753 -x6751 -x6749 -x6747 -x6745 -x6743 -x6741 -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x6727
46.77/46.83 v -x6725 x6723 -x6721 -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691
46.77/46.83 v -x6689 -x6687 -x6685 -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 -x6665 -x6663 -x6661 -x6659 -x6657 -x6655
46.77/46.83 v -x6653 -x6651 -x6649 -x6647 -x6645 -x6643 -x6641 -x6639 -x6637 -x6635 -x6633 -x6631 -x6629 -x6627 -x6625 -x6623 -x6621 -x6619
46.77/46.83 v -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583
46.77/46.83 v -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547
46.77/46.83 v -x6545 -x6543 -x6541 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511
46.77/46.83 v -x6509 -x6507 -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 -x6481 -x6479 -x6477 -x6475
46.77/46.83 v -x6473 -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441
46.77/46.83 v -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405
46.77/46.83 v -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x6373 -x6371 -x6369
46.77/46.83 v -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6343 x6341 -x6339 -x6337 -x6335 -x6333
46.77/46.83 v -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 -x6299 -x6297
46.77/46.83 v -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269 -x6267 -x6265 -x6263 -x6261
46.77/46.83 v -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 -x6227 -x6225
46.77/46.83 v -x6223 -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189
46.77/46.83 v -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 -x6155 -x6153
46.77/46.83 v -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 -x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 -x6119
46.77/46.83 v -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 -x6085 -x6083
46.77/46.83 v -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047
46.77/46.83 v -x6045 -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 -x6019 -x6017 -x6015 -x6013 -x6011
46.77/46.83 v -x6009 -x6007 -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5975
46.77/46.83 v -x5973 -x5971 -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943 -x5941 -x5939
46.77/46.83 v -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5922 -x5920 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x5904
46.77/46.83 v -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 -x5870
46.77/46.83 v -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 x5840 -x5838 -x5836 -x5834
46.77/46.83 v -x5832 -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800 -x5798
46.77/46.83 v -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762
46.77/46.83 v -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726
46.77/46.83 v -x5724 -x5722 -x5720 -x5718 x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690
46.77/46.83 v -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654
46.77/46.83 v -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618
46.77/46.83 v -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 -x5582
46.77/46.83 v -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 -x5550 -x5548 -x5546
46.77/46.83 v -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512
46.77/46.83 v -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476
46.77/46.83 v -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440
46.77/46.83 v -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404
46.77/46.83 v -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368
46.77/46.83 v -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332
46.77/46.83 v -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296
46.77/46.83 v -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262
46.77/46.83 v -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226
46.77/46.83 v -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190
46.77/46.83 v -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154
46.77/46.83 v -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118
46.77/46.83 v -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082
46.77/46.83 v -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046
46.77/46.83 v -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012
46.77/46.83 v -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976
46.77/46.83 v -x4974 -x4972 -x4970 -x4968 -x4966 x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942 -x4940
46.77/46.83 v -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912 -x4910 -x4908 -x4906 -x4904
46.77/46.83 v -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876 -x4874 -x4872 -x4870 -x4868
46.77/46.83 v -x4866 -x4864 -x4862 -x4860 -x4858 x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832
46.77/46.83 v -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796
46.77/46.83 v -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760
46.77/46.83 v -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724
46.77/46.83 v -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688
46.77/46.83 v -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654
46.77/46.83 v -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618
46.77/46.83 v -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582
46.77/46.83 v -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546
46.77/46.83 v -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510
46.77/46.83 v -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474
46.77/46.83 v -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438
46.77/46.83 v -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404
46.77/46.83 v -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368
46.77/46.83 v -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332
46.77/46.83 v -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297
46.77/46.83 v -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261
46.77/46.83 v -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225
46.77/46.83 v -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189
46.77/46.83 v -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155
46.77/46.83 v -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 -x4119
46.77/46.83 v -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083
46.77/46.83 v -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047
46.77/46.83 v -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011
46.77/46.83 v -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975
46.77/46.83 v -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939
46.77/46.83 v -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905
46.77/46.83 v -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869
46.77/46.83 v -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833
46.77/46.83 v -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797
46.77/46.83 v -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761
46.77/46.83 v -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725
46.77/46.83 v -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689
46.77/46.83 v -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655
46.77/46.83 v -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619
46.77/46.83 v -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583
46.77/46.83 v -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547
46.77/46.83 v -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511
46.77/46.83 v -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475
46.77/46.83 v -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439
46.77/46.83 v -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405
46.77/46.83 v -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369
46.77/46.83 v -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333
46.77/46.83 v -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297
46.77/46.83 v -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261
46.77/46.83 v -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225
46.77/46.83 v -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189
46.77/46.83 v -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155
46.77/46.83 v -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119
46.77/46.83 v -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083
46.77/46.83 v -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047
46.77/46.83 v -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011
46.77/46.83 v -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975
46.77/46.83 v -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939
46.77/46.83 v -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903
46.77/46.83 v -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869
46.77/46.83 v -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833
46.77/46.83 v -x2831 -x2829 -x2827 -x2825 -x2823 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798
46.77/46.83 v -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762
46.77/46.83 v -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726
46.77/46.83 v -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690
46.77/46.83 v -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654
46.77/46.83 v -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620
46.77/46.83 v -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584
46.77/46.83 v -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548
46.77/46.83 v -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512
46.77/46.83 v -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476
46.77/46.83 v -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440
46.77/46.83 v -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404
46.77/46.83 v -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370
46.77/46.83 v -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334
46.77/46.83 v -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298
46.77/46.83 v -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262
46.77/46.83 v -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226
46.77/46.83 v -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190
46.77/46.83 v -x2188 -x2186 x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154
46.77/46.83 v -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118
46.77/46.83 v -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084
46.77/46.83 v -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048
46.77/46.83 v -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012
46.77/46.83 v -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976
46.77/46.83 v -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940
46.77/46.83 v -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904
46.77/46.83 v -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868
46.77/46.83 v -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834
46.77/46.83 v -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798
46.77/46.83 v -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762
46.77/46.83 v -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726
46.77/46.83 v -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690
46.77/46.83 v -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654
46.77/46.83 v -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618
46.77/46.83 v -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584
46.77/46.83 v -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548
46.77/46.83 v -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512
46.77/46.83 v -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476
46.77/46.83 v -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440
46.77/46.83 v -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404
46.77/46.83 v -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368
46.77/46.83 v -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334
46.77/46.83 v -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298
46.77/46.83 v -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262
46.77/46.83 v -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226
46.77/46.83 v -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190
46.77/46.83 v -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154
46.77/46.83 v -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118
46.77/46.83 v -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084
46.77/46.83 v -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048
46.77/46.83 v -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012
46.77/46.83 v -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972
46.77/46.83 v -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930
46.77/46.83 v -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888
46.77/46.83 v -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846
46.77/46.83 v -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806
46.77/46.83 v -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764
46.77/46.83 v -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722
46.77/46.83 v -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680
46.77/46.83 v -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638
46.77/46.83 v -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596
46.77/46.83 v -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556
46.77/46.83 v -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514
46.77/46.83 v -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472
46.77/46.83 v -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430
46.77/46.83 v -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388
46.77/46.83 v -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346
46.77/46.83 v -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304
46.77/46.83 v -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262
46.77/46.83 v -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228
46.77/46.83 c SCIP Status : problem is solved [optimal solution found]
46.77/46.83 c Solving Time : 45.72
46.77/46.83 c Original Problem :
46.77/46.83 c Problem name : HOME/instance-2666794-1276634057.opb
46.77/46.83 c Variables : 7343 (7343 binary, 0 integer, 0 implicit integer, 0 continuous)
46.77/46.83 c Constraints : 22903 initial, 22903 maximal
46.77/46.83 c Presolved Problem :
46.77/46.83 c Problem name : t_HOME/instance-2666794-1276634057.opb
46.77/46.83 c Variables : 911 (911 binary, 0 integer, 0 implicit integer, 0 continuous)
46.77/46.83 c Constraints : 2460 initial, 2460 maximal
46.77/46.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
46.77/46.83 c trivial : 0.02 2312 0 0 0 0 0 0 0
46.77/46.83 c dualfix : 0.00 1 0 0 0 0 0 0 0
46.77/46.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
46.77/46.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
46.77/46.83 c implics : 0.01 0 9 0 0 0 0 0 0
46.77/46.83 c probing : 0.10 0 0 0 0 0 0 0 0
46.77/46.83 c knapsack : 0.15 0 0 0 0 0 0 0 5
46.77/46.83 c setppc : 0.00 0 0 0 0 0 0 0 0
46.77/46.83 c linear : 0.27 553 3557 0 553 0 9971 0 0
46.77/46.83 c logicor : 0.13 0 0 0 0 0 8121 0 0
46.77/46.83 c root node : - 2464 - - 2464 - - - -
46.77/46.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
46.77/46.83 c integral : 0 0 0 12 0 1 51 0 0 0
46.77/46.83 c knapsack : 10 1 20 0 0 0 0 0 0 0
46.77/46.83 c setppc : 12 1 20 0 0 0 0 0 0 0
46.77/46.83 c logicor : 2438 12 220 0 0 0 216 0 0 0
46.77/46.83 c countsols : 0 0 0 0 0 0 0 0 0 0
46.77/46.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
46.77/46.83 c integral : 8.94 0.00 0.00 8.94 0.00
46.77/46.83 c knapsack : 0.36 0.33 0.03 0.00 0.00
46.77/46.83 c setppc : 0.00 0.00 0.00 0.00 0.00
46.77/46.83 c logicor : 0.08 0.05 0.03 0.00 0.00
46.77/46.83 c countsols : 0.00 0.00 0.00 0.00 0.00
46.77/46.83 c Propagators : Time Calls Cutoffs DomReds
46.77/46.83 c vbounds : 0.00 3 0 0
46.77/46.83 c rootredcost : 0.00 0 0 0
46.77/46.83 c pseudoobj : 0.00 46 0 0
46.77/46.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
46.77/46.83 c propagation : 0.00 0 0 0 0.0 0 0.0 -
46.77/46.83 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
46.77/46.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
46.77/46.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
46.77/46.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
46.77/46.83 c applied globally : - - - 0 0.0 - - -
46.77/46.83 c applied locally : - - - 0 0.0 - - -
46.77/46.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
46.77/46.83 c cut pool : 0.00 0 - - 0 - (maximal pool size: 3)
46.77/46.83 c redcost : 0.02 12 0 2197 0 0
46.77/46.83 c impliedbounds : 0.00 12 0 0 0 0
46.77/46.83 c intobj : 0.00 0 0 0 0 0
46.77/46.83 c cgmip : 0.00 0 0 0 0 0
46.77/46.83 c gomory : 14.27 12 0 0 1500 0
46.77/46.83 c strongcg : 12.47 12 0 0 2942 0
46.77/46.83 c cmir : 1.84 11 0 0 0 0
46.77/46.83 c flowcover : 3.15 11 0 0 0 0
46.77/46.83 c clique : 0.02 12 0 0 27 0
46.77/46.83 c zerohalf : 0.00 0 0 0 0 0
46.77/46.83 c mcf : 0.03 2 0 0 0 0
46.77/46.83 c rapidlearning : 0.00 0 0 0 0 0
46.77/46.83 c Pricers : Time Calls Vars
46.77/46.83 c problem variables: 0.00 0 0
46.77/46.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
46.77/46.83 c relpscost : 8.94 12 1 51 0 0 0
46.77/46.83 c pscost : 0.00 0 0 0 0 0 0
46.77/46.83 c inference : 0.00 0 0 0 0 0 0
46.77/46.83 c mostinf : 0.00 0 0 0 0 0 0
46.77/46.83 c leastinf : 0.00 0 0 0 0 0 0
46.77/46.83 c fullstrong : 0.00 0 0 0 0 0 0
46.77/46.83 c allfullstrong : 0.00 0 0 0 0 0 0
46.77/46.83 c random : 0.00 0 0 0 0 0 0
46.77/46.83 c Primal Heuristics : Time Calls Found
46.77/46.83 c LP solutions : 0.00 - 0
46.77/46.83 c pseudo solutions : 0.00 - 0
46.77/46.83 c oneopt : 0.00 3 0
46.77/46.83 c trivial : 0.02 2 0
46.77/46.83 c simplerounding : 0.00 0 0
46.77/46.83 c zirounding : 0.00 1 0
46.77/46.83 c rounding : 0.04 23 2
46.77/46.83 c shifting : 0.04 23 0
46.77/46.83 c intshifting : 0.00 0 0
46.77/46.83 c twoopt : 0.00 0 0
46.77/46.83 c fixandinfer : 0.00 0 0
46.77/46.83 c feaspump : 1.43 1 1
46.77/46.83 c coefdiving : 0.00 0 0
46.77/46.83 c pscostdiving : 0.00 0 0
46.77/46.83 c fracdiving : 0.00 0 0
46.77/46.83 c veclendiving : 0.00 0 0
46.77/46.83 c intdiving : 0.00 0 0
46.77/46.83 c actconsdiving : 0.00 0 0
46.77/46.83 c objpscostdiving : 0.00 0 0
46.77/46.83 c rootsoldiving : 0.00 0 0
46.77/46.83 c linesearchdiving : 0.00 0 0
46.77/46.83 c guideddiving : 0.00 0 0
46.77/46.83 c octane : 0.00 0 0
46.77/46.83 c rens : 0.21 1 1
46.77/46.83 c rins : 0.00 0 0
46.77/46.83 c localbranching : 0.00 0 0
46.77/46.83 c mutation : 0.00 0 0
46.77/46.83 c crossover : 0.00 0 0
46.77/46.83 c dins : 0.00 0 0
46.77/46.83 c undercover : 0.00 0 0
46.77/46.83 c nlp : 0.00 0 0
46.77/46.83 c trysol : 0.00 0 0
46.77/46.83 c LP : Time Calls Iterations Iter/call Iter/sec
46.77/46.83 c primal LP : 0.00 0 0 0.00 -
46.77/46.83 c dual LP : 1.74 22 3104 141.09 1783.91
46.77/46.83 c lex dual LP : 0.00 0 0 0.00 -
46.77/46.83 c barrier LP : 0.00 0 0 0.00 -
46.77/46.83 c diving/probing LP: 1.37 10 1268 126.80 925.55
46.77/46.83 c strong branching : 8.94 119 20605 173.15 2304.81
46.77/46.83 c (at root node) : - 119 20605 173.15 -
46.77/46.83 c conflict analysis: 0.00 0 0 0.00 -
46.77/46.83 c B&B Tree :
46.77/46.83 c number of runs : 2
46.77/46.83 c nodes : 1
46.77/46.83 c nodes (total) : 2
46.77/46.83 c nodes left : 0
46.77/46.83 c max depth : 0
46.77/46.83 c max depth (total): 0
46.77/46.83 c backtracks : 0 (0.0%)
46.77/46.83 c delayed cutoffs : 0
46.77/46.83 c repropagations : 0 (0 domain reductions, 0 cutoffs)
46.77/46.83 c avg switch length: 2.00
46.77/46.83 c switching time : 0.00
46.77/46.83 c Solution :
46.77/46.83 c Solutions found : 4 (3 improvements)
46.77/46.83 c First Solution : +4.89999999999999e+01 (in run 1, after 1 nodes, 0.88 seconds, depth 0, found by <rounding>)
46.77/46.83 c Primal Bound : +2.60000000000000e+01 (in run 1, after 1 nodes, 31.62 seconds, depth 0, found by <feaspump>)
46.77/46.83 c Dual Bound : +2.60000000000000e+01
46.77/46.83 c Gap : 0.00 %
46.77/46.83 c Root Dual Bound : +2.60000000000000e+01
46.77/46.83 c Root Iterations : 3104
46.77/46.89 c Time complete: 46.87.
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666794-1276634057/watcher-2666794-1276634057 -o /tmp/evaluation-result-2666794-1276634057/solver-2666794-1276634057 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666794-1276634057.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: 1.00 1.00 1.00 3/106 11110 /proc/meminfo: memFree=1821384/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=6696 CPUtime=0 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 985 0 0 0 0 0 0 0 18 0 1 0 4697877 6856704 905 1992294400 4194304 8223781 140736689798576 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11110/statm: 1674 905 343 984 0 687 0 [startup+0.0543979 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11110 /proc/meminfo: memFree=1821384/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=14620 CPUtime=0.04 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 2958 0 0 0 4 0 0 0 20 0 1 0 4697877 14970880 2877 1992294400 4194304 8223781 140736689798576 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11110/statm: 3655 2877 365 984 0 2668 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14620 [startup+0.101402 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11110 /proc/meminfo: memFree=1821384/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=17580 CPUtime=0.09 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 3722 0 0 0 8 1 0 0 20 0 1 0 4697877 18001920 3641 1992294400 4194304 8223781 140736689798576 18446744073709551615 7189488 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11110/statm: 4395 3641 365 984 0 3408 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17580 [startup+0.301423 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11110 /proc/meminfo: memFree=1821384/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=21560 CPUtime=0.29 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 4721 0 0 0 28 1 0 0 20 0 1 0 4697877 22077440 4640 1992294400 4194304 8223781 140736689798576 18446744073709551615 4525409 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11110/statm: 5390 4640 365 984 0 4403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21560 [startup+0.701464 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11110 /proc/meminfo: memFree=1821384/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=52472 CPUtime=0.69 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 12425 0 0 0 63 6 0 0 20 0 1 0 4697877 53731328 11961 1992294400 4194304 8223781 140736689798576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 13118 11961 441 984 0 12131 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 52472 [startup+1.50155 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11111 /proc/meminfo: memFree=1768676/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=75008 CPUtime=1.49 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 20953 0 0 0 134 15 0 0 23 0 1 0 4697877 76808192 17515 1992294400 4194304 8223781 140736689798576 18446744073709551615 6047879 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 18752 17515 557 984 0 17765 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75008 [startup+3.10071 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11111 /proc/meminfo: memFree=1742016/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=89860 CPUtime=3.09 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 25476 0 0 0 289 20 0 0 25 0 1 0 4697877 92016640 21226 1992294400 4194304 8223781 140736689798576 18446744073709551615 6009342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 22465 21226 571 984 0 21478 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 89860 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11111 /proc/meminfo: memFree=1728376/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=97156 CPUtime=6.29 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 28726 0 0 0 605 24 0 0 25 0 1 0 4697877 99487744 23019 1992294400 4194304 8223781 140736689798576 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 24289 23019 572 984 0 23302 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 97156 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11111 /proc/meminfo: memFree=1727756/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=101220 CPUtime=12.68 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 29956 0 0 0 1240 28 0 0 25 0 1 0 4697877 103649280 23866 1992294400 4194304 8223781 140736689798576 18446744073709551615 6093282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 25305 23866 572 984 0 24318 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 101220 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11113 /proc/meminfo: memFree=1726144/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=102424 CPUtime=25.48 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 31648 0 0 0 2507 41 0 0 25 0 1 0 4697877 104882176 24186 1992294400 4194304 8223781 140736689798576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 25606 24186 572 984 0 24619 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 102424 Solver just ended. Dumping a history of the last processes samples [startup+38.3003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11113 /proc/meminfo: memFree=1726144/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=101288 CPUtime=38.28 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 42655 0 0 0 3773 55 0 0 25 0 1 0 4697877 103718912 24099 1992294400 4194304 8223781 140736689798576 18446744073709551615 6250697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 25322 24099 591 984 0 24335 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 101288 [startup+41.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11113 /proc/meminfo: memFree=1732840/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=95284 CPUtime=41.48 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 45387 0 0 0 4088 60 0 0 25 0 1 0 4697877 97570816 22587 1992294400 4194304 8223781 140736689798576 18446744073709551615 4310644 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 23821 22587 598 984 0 22834 0 Current children cumulated CPU time (s) 41.48 Current children cumulated vsize (KiB) 95284 [startup+44.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11113 /proc/meminfo: memFree=1732716/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=95100 CPUtime=44.68 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 46056 0 0 0 4405 63 0 0 25 0 1 0 4697877 97382400 22547 1992294400 4194304 8223781 140736689798576 18446744073709551615 6520517 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 23775 22547 598 984 0 22788 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 95100 [startup+45.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11113 /proc/meminfo: memFree=1732716/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=95100 CPUtime=45.48 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 46370 0 0 0 4484 64 0 0 25 0 1 0 4697877 97382400 22547 1992294400 4194304 8223781 140736689798576 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 23775 22547 598 984 0 22788 0 Current children cumulated CPU time (s) 45.48 Current children cumulated vsize (KiB) 95100 [startup+46.3012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11113 /proc/meminfo: memFree=1732716/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=95100 CPUtime=46.28 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 46894 0 0 0 4563 65 0 0 25 0 1 0 4697877 97382400 22547 1992294400 4194304 8223781 140736689798576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 23775 22547 598 984 0 22788 0 Current children cumulated CPU time (s) 46.28 Current children cumulated vsize (KiB) 95100 [startup+46.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11113 /proc/meminfo: memFree=1732716/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=95100 CPUtime=46.68 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 47113 0 0 0 4603 65 0 0 25 0 1 0 4697877 97382400 22547 1992294400 4194304 8223781 140736689798576 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 23775 22547 598 984 0 22788 0 Current children cumulated CPU time (s) 46.68 Current children cumulated vsize (KiB) 95100 [startup+46.8012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11113 /proc/meminfo: memFree=1732716/2059040 swapFree=4192956/4192956 [pid=11110] ppid=11108 vsize=95100 CPUtime=46.77 /proc/11110/stat : 11110 (pbscip.linux.x8) R 11108 11110 10829 0 -1 4202496 47157 0 0 0 4612 65 0 0 25 0 1 0 4697877 97382400 22547 1992294400 4194304 8223781 140736689798576 18446744073709551615 6569718 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11110/statm: 23775 22547 598 984 0 22788 0 Current children cumulated CPU time (s) 46.77 Current children cumulated vsize (KiB) 95100 Child status: 0 Real time (s): 46.894 CPU time (s): 46.8829 CPU user time (s): 46.21 CPU system time (s): 0.672897 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 129184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.21 system time used= 0.672897 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47163 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= 2 involuntary context switches= 70 runsolver used 0.079987 second user time and 0.231964 second system time The end
Begin job on node045 at 2010-06-15 22:34:17 IDJOB=2666794 IDBENCH=24989 IDSOLVER=1169 FILE ID=node045/2666794-1276634057 PBS_JOBID= 11172356 Free space on /tmp= 62460 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_003_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666794-1276634057/watcher-2666794-1276634057 -o /tmp/evaluation-result-2666794-1276634057/solver-2666794-1276634057 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666794-1276634057.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 66cf2657d020eb0982c7cab0e5ad93c1 RANDOM SEED=1915238499 node045.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.247 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.49 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.247 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1822036 kB Buffers: 14836 kB Cached: 97676 kB SwapCached: 0 kB Active: 71544 kB Inactive: 100536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1822036 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5224 kB Writeback: 0 kB AnonPages: 59512 kB Mapped: 15484 kB Slab: 43232 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181744 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= 62456 MiB End job on node045 at 2010-06-15 22:35:04