Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 4219117 | 1168.01 | 1171.24 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_5.opb |
| MD5SUM | 90cf94310e57120d5401aeddd838603e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4219117 |
| Best CPU time to get the best result obtained on this benchmark | 1168.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 160103007 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 89969826346 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 160103007 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 89969826346 |
| Number of bits of the biggest sum of numbers | 37 |
| 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 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4432869-1721130544.opb>
0.00/0.05 c original problem has 9940 variables (9940 bin, 0 int, 0 impl, 0 cont) and 14846 constraints
0.00/0.05 c problem read in 0.05
0.00/0.10 c presolving:
0.10/0.18 c (round 1, fast) 4970 del vars, 9662 del conss, 0 add conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 0 upgd conss, 0 impls, 71 clqs
0.21/0.24 c (0.2s) running MILP presolver
0.21/0.26 c (0.3s) MILP presolver found nothing
0.21/0.31 c (round 2, exhaustive) 4970 del vars, 9662 del conss, 0 add conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 5181 upgd conss, 0 impls, 71 clqs
0.51/0.60 c (0.6s) probing: 51/4970 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.51/0.60 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.60/0.67 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.69/0.70 c (0.7s) no symmetry present (symcode time: 0.00)
0.69/0.71 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.69/0.71 c 4970 deleted vars, 9662 deleted constraints, 0 added constraints, 140 tightened bounds, 0 added holes, 2415 changed sides, 2415 changed coefficients
0.69/0.71 c 0 implications, 71 cliques
0.69/0.71 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 5184 constraints
0.69/0.71 c 2625 constraints of type <knapsack>
0.69/0.71 c 71 constraints of type <setppc>
0.69/0.71 c 3 constraints of type <linear>
0.69/0.71 c 2485 constraints of type <logicor>
0.69/0.71 c transformed objective value is always integral (scale: 2)
0.69/0.71 c Presolving Time: 0.62
0.69/0.71 c - non default parameters ----------------------------------------------------------------------
0.69/0.71 c # SCIP version 10.0.0
0.69/0.71 c
0.69/0.71 c # maximal time in seconds to run
0.69/0.71 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.69/0.71 c limits/time = 3596.99706
0.69/0.71 c
0.69/0.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.71 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.69/0.71 c limits/memory = 27900
0.69/0.71 c
0.69/0.71 c # belongs reading time to solving time?
0.69/0.71 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71 c timing/reading = TRUE
0.69/0.71 c
0.69/0.71 c -----------------------------------------------------------------------------------------------
0.69/0.71 c start solving
0.69/0.71 c
0.69/0.78 o 156810855
0.69/0.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.69/0.78 c p 0.8s| 1 | 0 | 113 | - | clique| 0 |4970 |5184 |5184 | 0 | 0 | 0 | 0 |-3.000000e+00 | 1.568109e+08 | Inf | unknown
2.38/2.43 c 2.4s| 1 | 0 | 6270 | - | 97M | 0 |4970 |5184 |5184 | 0 | 0 | 53 | 0 | 1.785945e+06 | 1.568109e+08 |8680.27%| unknown
2.38/2.45 c 2.5s| 1 | 0 | 6270 | - | 98M | 0 |4970 |5185 |5128 | 0 | 0 | 54 | 0 | 1.785945e+06 | 1.568109e+08 |8680.27%| unknown
2.99/3.07 c 3.1s| 1 | 0 | 7292 | - | 113M | 0 |4970 |5185 |5161 | 33 | 1 | 54 | 0 | 1.849869e+06 | 1.568109e+08 |8376.86%| unknown
3.47/3.54 c 3.5s| 1 | 0 | 8118 | - | 114M | 0 |4970 |5186 |5188 | 60 | 2 | 55 | 0 | 1.877495e+06 | 1.568109e+08 |8252.13%| unknown
3.87/3.93 c 3.9s| 1 | 0 | 8718 | - | 115M | 0 |4970 |5187 |5199 | 71 | 3 | 56 | 0 | 1.904515e+06 | 1.568109e+08 |8133.64%| unknown
4.17/4.28 c 4.3s| 1 | 0 | 9140 | - | 117M | 0 |4970 |5188 |5205 | 77 | 4 | 57 | 0 | 1.915666e+06 | 1.568109e+08 |8085.71%| unknown
4.68/4.70 c 4.7s| 1 | 0 | 9569 | - | 120M | 0 |4970 |5189 |5219 | 91 | 5 | 58 | 0 | 1.927231e+06 | 1.568109e+08 |8036.59%| unknown
4.99/5.08 c 5.1s| 1 | 0 | 9872 | - | 121M | 0 |4970 |5190 |5224 | 96 | 6 | 59 | 0 | 1.936049e+06 | 1.568109e+08 |7999.53%| unknown
5.38/5.47 c 5.5s| 1 | 0 | 10225 | - | 123M | 0 |4970 |5191 |5229 | 101 | 7 | 60 | 0 | 1.953088e+06 | 1.568109e+08 |7928.87%| unknown
5.77/5.85 c 5.9s| 1 | 0 | 10540 | - | 124M | 0 |4970 |5192 |5237 | 109 | 8 | 61 | 0 | 1.959094e+06 | 1.568109e+08 |7904.25%| unknown
6.37/6.40 c 6.4s| 1 | 0 | 11436 | - | 125M | 0 |4970 |5193 |5241 | 113 | 9 | 62 | 0 | 1.980870e+06 | 1.568109e+08 |7816.26%| unknown
6.77/6.86 c 6.9s| 1 | 0 | 11952 | - | 125M | 0 |4970 |5194 |5254 | 126 | 10 | 63 | 0 | 1.991637e+06 | 1.568109e+08 |7773.46%| unknown
7.08/7.12 c 7.1s| 1 | 0 | 12462 | - | 127M | 0 |4970 |5195 |5260 | 132 | 11 | 64 | 0 | 2.001622e+06 | 1.568109e+08 |7734.19%| unknown
7.17/7.28 c 7.3s| 1 | 0 | 12640 | - | 128M | 0 |4970 |5196 |5269 | 141 | 12 | 65 | 0 | 2.002520e+06 | 1.568109e+08 |7730.68%| unknown
7.37/7.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.37/7.42 c 7.4s| 1 | 0 | 12804 | - | 129M | 0 |4970 |5197 |5273 | 145 | 13 | 66 | 0 | 2.003395e+06 | 1.568109e+08 |7727.25%| unknown
7.57/7.69 c 7.7s| 1 | 0 | 13351 | - | 129M | 0 |4970 |5198 |5279 | 151 | 14 | 67 | 0 | 2.008364e+06 | 1.568109e+08 |7707.89%| unknown
7.87/7.92 c 7.9s| 1 | 0 | 13773 | - | 130M | 0 |4970 |5199 |5287 | 159 | 15 | 68 | 0 | 2.014412e+06 | 1.568109e+08 |7684.45%| unknown
8.08/8.17 c 8.2s| 1 | 0 | 14237 | - | 130M | 0 |4970 |5200 |5291 | 165 | 16 | 69 | 0 | 2.026581e+06 | 1.568109e+08 |7637.71%| unknown
8.36/8.40 c 8.4s| 1 | 0 | 14662 | - | 131M | 0 |4970 |5202 |5303 | 177 | 17 | 71 | 0 | 2.031993e+06 | 1.568109e+08 |7617.09%| unknown
8.76/8.81 c 8.8s| 1 | 0 | 15711 | - | 132M | 0 |4970 |5203 |5308 | 182 | 18 | 72 | 0 | 2.042168e+06 | 1.568109e+08 |7578.65%| unknown
8.97/9.05 c 9.0s| 1 | 0 | 16113 | - | 133M | 0 |4970 |5204 |5315 | 189 | 19 | 73 | 0 | 2.043904e+06 | 1.568109e+08 |7572.12%| unknown
9.16/9.25 c 9.2s| 1 | 0 | 16402 | - | 134M | 0 |4970 |5205 |5326 | 200 | 20 | 74 | 0 | 2.046678e+06 | 1.568109e+08 |7561.73%| unknown
9.26/9.34 c 9.3s| 1 | 0 | 16409 | - | 134M | 0 |4970 |5206 |5328 | 202 | 21 | 75 | 0 | 2.046686e+06 | 1.568109e+08 |7561.70%| unknown
17.34/17.44 o 105801341
17.34/17.44 c d17.4s| 1 | 0 | 42367 | - |conflict| 0 |4970 |5205 |5328 | 0 | 22 | 77 | 0 | 2.046686e+06 | 1.058013e+08 |5069.40%| unknown
18.64/18.71 c 18.7s| 1 | 0 | 42367 | - | 136M | 0 |4970 |5069 |5328 | 202 | 22 | 77 | 0 | 2.046686e+06 | 1.058013e+08 |5069.40%| unknown
18.64/18.75 c 18.7s| 1 | 0 | 42367 | - | 137M | 0 |4970 |5070 |5185 | 202 | 22 | 78 | 0 | 2.046686e+06 | 1.058013e+08 |5069.40%| unknown
25.03/25.12 c 25.1s| 1 | 2 | 42367 | - | 137M | 0 |4970 |5063 |5185 | 202 | 23 | 78 | 24 | 2.061273e+06 | 1.058013e+08 |5032.81%| unknown
25.03/25.12 c (run 1, node 1) restarting after 199 global fixings of integer variables
25.03/25.12 c
25.03/25.12 c (restart) converted 51 cuts from the global cut pool into linear constraints
25.03/25.12 c
25.03/25.14 c presolving:
25.03/25.15 c (round 1, fast) 199 del vars, 53 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 71 clqs
25.03/25.16 c (round 2, exhaustive) 199 del vars, 53 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 0 impls, 71 clqs
25.03/25.17 c (round 3, medium) 199 del vars, 53 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 6 chg coeffs, 46 upgd conss, 0 impls, 71 clqs
25.11/25.23 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
25.11/25.23 c 199 deleted vars, 53 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 6 changed coefficients
25.11/25.23 c 0 implications, 71 cliques
25.11/25.23 c presolved problem has 4771 variables (4771 bin, 0 int, 0 impl, 0 cont) and 5061 constraints
25.11/25.23 c 2469 constraints of type <knapsack>
25.11/25.23 c 71 constraints of type <setppc>
25.11/25.23 c 8 constraints of type <linear>
25.11/25.23 c 2513 constraints of type <logicor>
25.11/25.23 c transformed objective value is always integral (scale: 2)
25.11/25.23 c Presolving Time: 0.71
25.11/25.23 c transformed 2/2 original solutions to the transformed problem space
25.11/25.23 c
27.93/28.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.93/28.08 c 28.1s| 1 | 0 | 52971 | - | 142M | 0 |4771 |5061 |5036 | 0 | 0 | 78 | 24 | 2.061273e+06 | 1.058013e+08 |5032.81%| unknown
29.21/29.34 c 29.3s| 1 | 0 | 55379 | - | 143M | 0 |4771 |5062 |5085 | 49 | 1 | 79 | 24 | 2.061273e+06 | 1.058013e+08 |5032.81%| unknown
29.81/30.00 c 30.0s| 1 | 0 | 56253 | - | 143M | 0 |4771 |5063 |5114 | 78 | 2 | 80 | 24 | 2.061273e+06 | 1.058013e+08 |5032.81%| unknown
30.40/30.58 c 30.6s| 1 | 0 | 56860 | - | 144M | 0 |4771 |5063 |5132 | 96 | 3 | 80 | 24 | 2.064959e+06 | 1.058013e+08 |5023.65%| unknown
31.01/31.12 c 31.1s| 1 | 0 | 57252 | - | 144M | 0 |4771 |5064 |5141 | 105 | 4 | 81 | 24 | 2.067946e+06 | 1.058013e+08 |5016.25%| unknown
31.59/31.71 c 31.7s| 1 | 0 | 57823 | - | 145M | 0 |4771 |5064 |5146 | 110 | 5 | 81 | 24 | 2.071589e+06 | 1.058013e+08 |5007.25%| unknown
32.09/32.20 c 32.2s| 1 | 0 | 58003 | - | 146M | 0 |4771 |5065 |5149 | 113 | 6 | 82 | 24 | 2.072618e+06 | 1.058013e+08 |5004.72%| unknown
32.59/32.73 c 32.7s| 1 | 0 | 58309 | - | 146M | 0 |4771 |5066 |5157 | 121 | 7 | 83 | 24 | 2.074397e+06 | 1.058013e+08 |5000.34%| unknown
33.10/33.22 c 33.2s| 1 | 0 | 58516 | - | 147M | 0 |4771 |5067 |5164 | 128 | 8 | 84 | 24 | 2.075036e+06 | 1.058013e+08 |4998.77%| unknown
33.60/33.75 c 33.7s| 1 | 0 | 58735 | - | 147M | 0 |4771 |5068 |5171 | 135 | 9 | 85 | 24 | 2.076014e+06 | 1.058013e+08 |4996.37%| unknown
34.09/34.28 c 34.3s| 1 | 0 | 59058 | - | 148M | 0 |4771 |5069 |5173 | 137 | 10 | 86 | 24 | 2.077420e+06 | 1.058013e+08 |4992.92%| unknown
34.59/34.75 c 34.8s| 1 | 0 | 60066 | - | 149M | 0 |4771 |5069 |5179 | 143 | 11 | 86 | 24 | 2.081250e+06 | 1.058013e+08 |4983.55%| unknown
34.90/35.04 c 35.0s| 1 | 0 | 60316 | - | 149M | 0 |4771 |5070 |5170 | 149 | 12 | 87 | 24 | 2.083088e+06 | 1.058013e+08 |4979.06%| unknown
35.29/35.46 c 35.5s| 1 | 0 | 61132 | - | 150M | 0 |4771 |5071 |5177 | 156 | 13 | 88 | 24 | 2.087652e+06 | 1.058013e+08 |4967.96%| unknown
35.59/35.79 c 35.8s| 1 | 0 | 61628 | - | 150M | 0 |4771 |5072 |5181 | 160 | 14 | 89 | 24 | 2.092163e+06 | 1.058013e+08 |4957.03%| unknown
36.00/36.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.00/36.17 c 36.2s| 1 | 0 | 62307 | - | 151M | 0 |4771 |5073 |5184 | 163 | 15 | 90 | 24 | 2.094611e+06 | 1.058013e+08 |4951.12%| unknown
36.29/36.48 c 36.5s| 1 | 0 | 62667 | - | 151M | 0 |4771 |5074 |5188 | 167 | 16 | 91 | 24 | 2.095694e+06 | 1.058013e+08 |4948.51%| unknown
36.69/36.81 c 36.8s| 1 | 0 | 63097 | - | 151M | 0 |4771 |5075 |5192 | 171 | 17 | 92 | 24 | 2.096877e+06 | 1.058013e+08 |4945.66%| unknown
37.00/37.12 c 37.1s| 1 | 0 | 63395 | - | 152M | 0 |4771 |5076 |5193 | 175 | 18 | 93 | 24 | 2.097904e+06 | 1.058013e+08 |4943.19%| unknown
37.28/37.41 c 37.4s| 1 | 0 | 63716 | - | 153M | 0 |4771 |5077 |5196 | 178 | 19 | 94 | 24 | 2.098636e+06 | 1.058013e+08 |4941.43%| unknown
37.48/37.69 c 37.7s| 1 | 0 | 64006 | - | 153M | 0 |4771 |5078 |5197 | 179 | 20 | 95 | 24 | 2.099501e+06 | 1.058013e+08 |4939.36%| unknown
37.68/37.87 c 37.9s| 1 | 0 | 64038 | - | 153M | 0 |4771 |5079 |5199 | 181 | 21 | 96 | 24 | 2.099526e+06 | 1.058013e+08 |4939.30%| unknown
48.25/48.44 o 54661857
48.25/48.44 c d48.4s| 1 | 0 | 96841 | - |conflict| 0 |4771 |5080 |5199 | 0 | 22 | 97 | 24 | 2.099526e+06 | 5.466186e+07 |2503.53%| unknown
48.76/48.91 c 48.9s| 1 | 0 | 96841 | - | 154M | 0 |4771 |4687 |5199 | 181 | 22 | 97 | 24 | 2.099526e+06 | 5.466186e+07 |2503.53%| unknown
48.76/48.97 c 49.0s| 1 | 0 | 96841 | - | 154M | 0 |4771 |4690 |4785 | 181 | 22 | 100 | 24 | 2.099526e+06 | 5.466186e+07 |2503.53%| unknown
55.73/56.00 c 56.0s| 1 | 2 | 96841 | - | 154M | 0 |4771 |4669 |4785 | 181 | 23 | 100 | 47 | 2.107485e+06 | 5.466186e+07 |2493.70%| unknown
84.15/84.45 o 4615261
84.15/84.45 c *84.5s| 7 | 6 |109742 |10253.6 |strongbr| 6 |4771 |4669 |4766 | 181 | 1 | 100 | 203 | 2.107485e+06 | 4.615261e+06 | 118.99%| unknown
96.73/97.04 o 4589289
96.73/97.04 c *97.0s| 9 | 6 |113387 |8380.0 |strongbr| 7 |4771 |4684 |4766 | 181 | 2 | 197 | 281 | 2.107485e+06 | 4.589289e+06 | 117.76%| 1.84%
96.73/97.05 o 4585001
96.73/97.05 c *97.0s| 9 | 6 |113387 |8380.0 |strongbr| 7 |4771 |4684 |4766 | 181 | 2 | 197 | 282 | 2.107485e+06 | 4.585001e+06 | 117.56%| 1.84%
124.34/124.71 o 4584613
124.34/124.71 c * 125s| 75 | 12 |165560 |1701.2 | LP | 17 |4771 |4791 |4772 | 292 | 2 | 313 | 384 | 2.107485e+06 | 4.584613e+06 | 117.54%| 14.35%
126.13/126.59 o 4580033
126.13/126.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
126.13/126.59 c * 127s| 80 | 13 |168608 |1633.0 | LP | 17 |4771 |4779 |4784 | 315 | 2 | 314 | 384 | 2.107485e+06 | 4.580033e+06 | 117.32%| 15.99%
126.53/126.99 c 127s| 100 | 13 |169438 |1314.7 | 165M | 19 |4771 |4759 |4784 | 315 | 0 | 318 | 384 | 2.107485e+06 | 4.580033e+06 | 117.32%| 16.42%
127.64/128.02 o 4576007
127.64/128.02 c * 128s| 104 | 11 |171545 |1284.4 |strongbr| 19 |4771 |4771 |4784 | 315 | 7 | 333 | 406 | 2.107485e+06 | 4.576007e+06 | 117.13%| 16.43%
130.92/131.36 o 4570105
130.92/131.36 c * 131s| 125 | 14 |175844 |1103.0 | LP | 19 |4771 |4784 |4791 | 333 | 3 | 353 | 452 | 2.107485e+06 | 4.570105e+06 | 116.85%| 18.23%
194.05/194.64 c 195s| 200 | 24 |312942 |1374.9 | 178M | 19 |4771 |4791 |4804 | 566 | 5 | 403 | 573 | 2.109082e+06 | 4.570105e+06 | 116.69%| 26.37%
205.32/206.00 c 206s| 300 | 26 |337242 | 997.6 | 180M | 39 |4771 |4798 |4767 | 598 | 0 | 412 | 595 | 2.109082e+06 | 4.570105e+06 | 116.69%| 27.31%
274.93/275.79 c 276s| 400 | 46 |551081 |1282.8 | 183M | 39 |4771 |4806 |4802 | 712 | 1 | 456 | 707 | 2.114193e+06 | 4.570105e+06 | 116.16%| 28.63%
303.15/304.03 c 304s| 500 | 37 |617307 |1158.7 | 183M | 39 |4771 |4838 |4805 | 725 | 2 | 516 | 812 | 2.114193e+06 | 4.570105e+06 | 116.16%| 28.63%
344.63/345.68 c 346s| 600 | 46 |718930 |1134.9 | 184M | 39 |4771 |4856 |4805 | 767 | 1 | 570 | 884 | 2.144206e+06 | 4.570105e+06 | 113.14%| 28.79%
384.03/385.18 c 385s| 700 | 68 |809063 |1101.6 | 185M | 39 |4771 |4865 |4785 | 818 | 1 | 647 | 965 | 2.201013e+06 | 4.570105e+06 | 107.64%| 28.98%
417.13/418.32 c 418s| 800 | 72 |882196 |1055.3 | 185M | 40 |4771 |4844 |4795 | 903 | 0 | 666 |1049 | 2.227522e+06 | 4.570105e+06 | 105.17%| 29.95%
463.50/464.81 c 465s| 900 | 78 |995138 |1063.5 | 186M | 40 |4771 |4818 | 0 | 967 | 0 | 703 |1135 | 2.238792e+06 | 4.570105e+06 | 104.13%| 41.32%
514.46/515.96 c 516s| 1000 | 76 | 1126k|1088.1 | 186M | 40 |4771 |4864 |4791 | 993 | 5 | 783 |1262 | 2.252680e+06 | 4.570105e+06 | 102.87%| 48.02%
541.89/543.46 o 4504535
541.89/543.46 c L 543s| 1044 | 74 | 1173k|1087.6 | alns| 40 |4771 |4861 |4787 | 997 | 2 | 800 |1318 | 2.253491e+06 | 4.504535e+06 | 99.89%| 54.07%
568.71/570.35 c 570s| 1100 | 78 | 1229k|1083.4 | 186M | 40 |4771 |4828 |4794 |1054 | 0 | 862 |1380 | 2.254476e+06 | 4.504535e+06 | 99.80%| 54.44%
591.75/593.41 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
591.75/593.41 c (run 2, node 1167) performing user restart
591.75/593.41 c
591.75/593.42 c (restart) converted 46 cuts from the global cut pool into linear constraints
591.75/593.42 c
591.75/593.45 c presolving:
591.75/593.47 c (round 1, fast) 1820 del vars, 1406 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 70 clqs
591.75/593.48 c (593.5s) running MILP presolver
591.75/593.49 c (593.5s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
591.75/593.49 c (round 2, medium) 1822 del vars, 1408 del conss, 4 add conss, 0 chg bounds, 1 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 70 clqs
591.75/593.49 c (round 3, fast) 1822 del vars, 1418 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 49 chg coeffs, 0 upgd conss, 0 impls, 70 clqs
591.85/593.50 c (round 4, exhaustive) 1822 del vars, 1418 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 49 chg coeffs, 46 upgd conss, 0 impls, 70 clqs
591.85/593.50 c (round 5, medium) 1822 del vars, 1418 del conss, 6 add conss, 0 chg bounds, 4 chg sides, 52 chg coeffs, 46 upgd conss, 0 impls, 70 clqs
591.85/593.52 c (round 6, exhaustive) 1822 del vars, 1422 del conss, 6 add conss, 0 chg bounds, 4 chg sides, 263 chg coeffs, 46 upgd conss, 0 impls, 70 clqs
591.85/593.57 c presolving (7 rounds: 7 fast, 5 medium, 3 exhaustive):
591.85/593.57 c 1822 deleted vars, 1423 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 263 changed coefficients
591.85/593.57 c 0 implications, 70 cliques
591.85/593.57 c presolved problem has 2949 variables (2949 bin, 0 int, 0 impl, 0 cont) and 3476 constraints
591.85/593.57 c 687 constraints of type <knapsack>
591.85/593.57 c 70 constraints of type <setppc>
591.85/593.57 c 13 constraints of type <linear>
591.85/593.57 c 2706 constraints of type <logicor>
591.85/593.57 c transformed objective value is always integral (scale: 2)
591.85/593.57 c Presolving Time: 0.84
591.85/593.59 c transformed 11/14 original solutions to the transformed problem space
591.85/593.59 c
594.04/595.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
594.04/595.72 c 596s| 1 | 0 | 1296k| - | 191M | 0 |2949 |3476 |3260 | 0 | 0 | 898 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
594.84/596.54 c 597s| 1 | 0 | 1299k| - | 192M | 0 |2949 |3477 |3297 | 37 | 1 | 899 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
595.45/597.19 c 597s| 1 | 0 | 1301k| - | 193M | 0 |2949 |3478 |3332 | 72 | 2 | 900 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
595.84/597.53 c 598s| 1 | 0 | 1302k| - | 193M | 0 |2949 |3479 |3355 | 95 | 3 | 901 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
596.24/597.91 c 598s| 1 | 0 | 1302k| - | 193M | 0 |2949 |3474 |3370 | 110 | 4 | 903 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
596.74/598.40 c 598s| 1 | 0 | 1304k| - | 194M | 0 |2949 |3472 |3381 | 121 | 5 | 904 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
597.13/598.82 c 599s| 1 | 0 | 1305k| - | 194M | 0 |2949 |3473 |3398 | 138 | 6 | 905 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
597.45/599.19 c 599s| 1 | 0 | 1305k| - | 194M | 0 |2949 |3470 |3407 | 147 | 7 | 906 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
597.93/599.64 c 600s| 1 | 0 | 1306k| - | 195M | 0 |2949 |3470 |3415 | 155 | 8 | 907 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
597.93/599.64 c 600s| 1 | 0 | 1306k| - | 195M | 0 |2949 |3471 |3414 | 155 | 8 | 908 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
598.23/600.00 c 600s| 1 | 0 | 1307k| - | 195M | 0 |2949 |3464 |3426 | 167 | 9 | 908 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
598.63/600.30 c 600s| 1 | 0 | 1307k| - | 195M | 0 |2949 |3455 |3414 | 170 | 10 | 909 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
598.83/600.54 c 601s| 1 | 0 | 1308k| - | 195M | 0 |2949 |3455 |3417 | 173 | 11 | 910 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
599.03/600.78 c 601s| 1 | 0 | 1309k| - | 196M | 0 |2949 |3454 |3424 | 180 | 12 | 911 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
599.23/600.95 c 601s| 1 | 0 | 1309k| - | 196M | 0 |2949 |3452 |3429 | 185 | 13 | 913 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
599.44/601.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
599.44/601.13 c 601s| 1 | 0 | 1309k| - | 197M | 0 |2949 |3450 |3431 | 187 | 14 | 914 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
599.63/601.36 c 601s| 1 | 0 | 1310k| - | 197M | 0 |2949 |3447 |3434 | 190 | 15 | 915 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
599.83/601.57 c 602s| 1 | 0 | 1310k| - | 197M | 0 |2949 |3447 |3403 | 194 | 16 | 916 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
600.03/601.79 c 602s| 1 | 0 | 1311k| - | 198M | 0 |2949 |3444 |3406 | 197 | 17 | 917 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
600.22/601.99 c 602s| 1 | 0 | 1311k| - | 198M | 0 |2949 |3442 |3408 | 199 | 18 | 918 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
600.52/602.26 c 602s| 1 | 0 | 1312k| - | 198M | 0 |2949 |3441 |3414 | 205 | 19 | 919 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
600.72/602.46 c 602s| 1 | 0 | 1312k| - | 198M | 0 |2949 |3440 |3419 | 210 | 20 | 920 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
600.82/602.54 c 603s| 1 | 0 | 1312k| - | 198M | 0 |2949 |3439 |3423 | 214 | 21 | 921 |1439 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
614.78/616.56 c 617s| 1 | 2 | 1351k| - | 199M | 0 |2949 |3445 |3423 | 214 | 22 | 937 |1455 | 2.254476e+06 | 4.504535e+06 | 99.80%| unknown
699.96/701.91 c 702s| 100 | 15 | 1606k|1216.5 | 206M | 16 |2949 |3436 |3380 | 452 | 0 |1062 |1661 | 2.254476e+06 | 4.504535e+06 | 99.80%| 14.87%
778.34/780.55 c 781s| 200 | 21 | 1839k|1298.2 | 213M | 16 |2949 |3458 |3409 | 954 | 6 |1148 |1871 | 2.267495e+06 | 4.504535e+06 | 98.66%| 20.62%
794.99/797.20 o 4440097
794.99/797.20 c * 797s| 251 | 27 | 1888k|1286.4 | LP | 19 |2949 |3448 |3400 |1024 | 2 |1150 |1903 | 2.388882e+06 | 4.440097e+06 | 85.87%| 22.75%
795.19/797.47 o 4430109
795.19/797.47 c * 797s| 256 | 30 | 1890k|1282.7 | LP | 20 |2949 |3447 |3400 |1024 | 2 |1150 |1903 | 2.388882e+06 | 4.430109e+06 | 85.45%| 22.78%
798.09/800.33 c 800s| 300 | 40 | 1903k|1253.4 | 214M | 25 |2949 |3444 |3403 |1030 | 1 |1154 |1903 | 2.388882e+06 | 4.430109e+06 | 85.45%| 23.10%
798.29/800.52 o 4402993
798.29/800.52 c * 801s| 305 | 39 | 1904k|1249.7 | LP | 25 |2949 |3444 |3403 |1030 | 2 |1154 |1903 | 2.388882e+06 | 4.402993e+06 | 84.31%| 23.10%
804.67/806.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
804.67/806.92 c 807s| 400 | 48 | 1923k|1186.3 | 215M | 40 |2949 |3474 |3408 |1061 | 1 |1197 |1942 | 2.388882e+06 | 4.402993e+06 | 84.31%| 27.87%
823.73/826.09 c 826s| 500 | 40 | 1983k|1151.1 | 215M | 40 |2949 |3441 |3402 |1068 | 0 |1225 |2018 | 2.436556e+06 | 4.402993e+06 | 80.71%| 42.95%
837.08/839.40 c 839s| 600 | 52 | 2024k|1109.3 | 215M | 40 |2949 |3429 |3407 |1105 | 1 |1241 |2071 | 2.436556e+06 | 4.402993e+06 | 80.71%| 42.96%
845.46/847.81 c 848s| 700 | 54 | 2056k|1067.0 | 217M | 40 |2949 |3431 |3404 |1108 | 0 |1246 |2121 | 2.436556e+06 | 4.402993e+06 | 80.71%| 42.96%
858.92/861.31 c 861s| 800 | 50 | 2100k|1035.0 | 217M | 40 |2949 |3445 |3406 |1125 | 1 |1271 |2189 | 2.483592e+06 | 4.402993e+06 | 77.28%| 43.04%
879.76/882.27 c 882s| 900 | 55 | 2166k|1016.8 | 217M | 40 |2949 |3469 |3403 |1134 | 1 |1304 |2279 | 2.487734e+06 | 4.402993e+06 | 76.99%| 43.04%
897.81/900.30 c 900s| 1000 | 57 | 2224k| 996.7 | 217M | 40 |2949 |3530 |3406 |1154 | 0 |1392 |2363 | 2.552270e+06 | 4.402993e+06 | 72.51%| 43.15%
912.86/915.44 c 915s| 1100 | 63 | 2279k| 977.1 | 218M | 40 |2949 |3528 |3410 |1205 | 5 |1398 |2407 | 2.599484e+06 | 4.402993e+06 | 69.38%| 43.23%
924.34/926.94 o 4381511
924.34/926.94 c * 927s| 1168 | 59 | 2316k| 964.5 | LP | 40 |2949 |3540 |3411 |1223 | 2 |1411 |2455 | 2.659103e+06 | 4.381511e+06 | 64.77%| 44.67%
929.72/932.39 c 932s| 1200 | 59 | 2334k| 959.0 | 218M | 42 |2949 |3535 |3413 |1244 | 2 |1411 |2488 | 2.667909e+06 | 4.381511e+06 | 64.23%| 45.20%
930.43/933.05 o 4350893
930.43/933.05 c * 933s| 1211 | 54 | 2337k| 955.9 |strongbr| 42 |2949 |3536 |3413 |1244 | 1 |1413 |2491 | 2.667909e+06 | 4.350893e+06 | 63.08%| 45.52%
935.71/938.37 c 938s| 1300 | 57 | 2353k| 927.9 | 218M | 42 |2949 |3527 |3408 |1255 | 0 |1427 |2513 | 2.667909e+06 | 4.350893e+06 | 63.08%| 45.58%
944.49/947.18 c 947s| 1400 | 61 | 2380k| 902.0 | 219M | 42 |2949 |3524 | 0 |1260 | 0 |1442 |2604 | 2.672446e+06 | 4.350893e+06 | 62.81%| 45.73%
944.88/947.54 o 4333081
944.88/947.54 c * 948s| 1412 | 59 | 2381k| 898.3 | LP | 42 |2949 |3517 |3411 |1262 | 3 |1442 |2604 | 2.672446e+06 | 4.333081e+06 | 62.14%| 45.73%
953.55/956.22 c 956s| 1500 | 55 | 2405k| 877.6 | 220M | 42 |2949 |3536 |3428 |1288 | 1 |1489 |2640 | 2.709072e+06 | 4.333081e+06 | 59.95%| 47.09%
968.22/970.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
968.22/970.94 c 971s| 1600 | 58 | 2454k| 863.8 | 221M | 51 |2949 |3510 | 0 |1306 | 0 |1504 |2680 | 2.806167e+06 | 4.333081e+06 | 54.41%| 47.41%
984.97/987.78 c 988s| 1700 | 52 | 2514k| 854.3 | 221M | 51 |2949 |3527 | 0 |1320 | 0 |1544 |2726 | 2.807932e+06 | 4.333081e+06 | 54.32%| 49.36%
1001.12/1003.94 c 1004s| 1800 | 52 | 2566k| 843.1 | 221M | 51 |2949 |3555 | 0 |1379 | 0 |1593 |2803 | 2.807932e+06 | 4.333081e+06 | 54.32%| 49.91%
1016.97/1019.88 c 1020s| 1900 | 46 | 2616k| 832.1 | 221M | 51 |2949 |3541 |3409 |1423 | 1 |1632 |2884 | 2.807932e+06 | 4.333081e+06 | 54.32%| 53.82%
1028.34/1031.22 c 1031s| 2000 | 46 | 2652k| 817.2 | 221M | 51 |2949 |3532 | 0 |1461 | 0 |1653 |2939 | 2.807932e+06 | 4.333081e+06 | 54.32%| 54.31%
1037.41/1040.32 c 1040s| 2100 | 46 | 2682k| 801.4 | 221M | 51 |2949 |3503 |3407 |1472 | 2 |1672 |2970 | 2.807932e+06 | 4.333081e+06 | 54.32%| 54.59%
1049.58/1052.52 o 4242159
1049.58/1052.52 c *1053s| 2146 | 46 | 2722k| 802.2 | LP | 51 |2949 |3415 |3429 |1514 | 2 |1679 |3016 | 2.828232e+06 | 4.242159e+06 | 49.99%| 54.86%
1050.09/1053.07 o 4219117
1050.09/1053.07 c *1053s| 2153 | 45 | 2724k| 801.1 | LP | 51 |2949 |3407 |3433 |1518 | 4 |1681 |3018 | 2.828232e+06 | 4.219117e+06 | 49.18%| 55.18%
1059.76/1062.76 c 1063s| 2200 | 44 | 2752k| 798.4 | 222M | 55 |2949 |3421 | 0 |1535 | 0 |1718 |3072 | 2.828232e+06 | 4.219117e+06 | 49.18%| 66.13%
1079.31/1082.37 c 1082s| 2300 | 39 | 2818k| 794.2 | 223M | 55 |2949 |3417 |3402 |1588 | 0 |1756 |3121 | 2.936276e+06 | 4.219117e+06 | 43.69%| 75.38%
1103.24/1106.32 c 1106s| 2400 | 35 | 2892k| 792.8 | 223M | 56 |2949 |3412 | 0 |1615 | 0 |1818 |3217 | 2.936276e+06 | 4.219117e+06 | 43.69%| 78.33%
1125.37/1128.50 c 1129s| 2500 | 29 | 2961k| 789.9 | 224M | 65 |2949 |3417 |3406 |1676 | 0 |1903 |3280 | 2.982149e+06 | 4.219117e+06 | 41.48%| 81.13%
1142.12/1145.36 c 1145s| 2600 | 23 | 3015k| 783.2 | 225M | 65 |2949 |3413 | 0 |1729 | 0 |1931 |3376 | 3.310786e+06 | 4.219117e+06 | 27.44%| 85.19%
1164.77/1168.03 c 1168s| 2700 | 8 | 3087k| 781.6 | 226M | 65 |2949 |3448 | 0 |1762 | 0 |2024 |3476 | 3.591316e+06 | 4.219117e+06 | 17.48%| 95.54%
1167.87/1171.17 c
1167.87/1171.17 c SCIP Status : problem is solved [optimal solution found]
1167.87/1171.17 c Solving Time (sec) : 1171.17
1167.87/1171.17 c Solving Nodes : 2720 (total of 3888 nodes in 3 runs)
1167.87/1171.17 c Primal Bound : +4.21911700000000e+06 (24 solutions)
1167.87/1171.17 c Dual Bound : +4.21911700000000e+06
1167.87/1171.17 c Gap : 0.00 %
1167.87/1171.18 s OPTIMUM FOUND
1167.87/1171.18 v -x9730 -x9589 -x9518 -x9447 -x9376 -x9305 -x9234 -x9163 -x9092 -x9021 -x8950 -x8809 -x8738 -x8667 -x8596 -x8525 -x8454 -x8383 -x8312
1167.87/1171.18 v -x8241 -x8170 -x8029 -x7958 -x7887 -x7816 -x7745 -x7674 -x7603 -x7532 -x7461 -x7390 -x7249 -x7178 -x7107 -x7036 -x6965
1167.87/1171.18 v -x6894 -x6823 -x6752 -x6681 -x6610 -x6469 -x6398 -x6327 -x6256 -x6185 -x6114 -x6043 -x5972 -x5901 -x5830 -x5689 -x5618 -x5547
1167.87/1171.18 v -x5476 -x5405 -x5334 -x5263 -x5192 -x5121 -x5050 -x9879 -x9808 -x9737 -x9596 -x8825 -x8054 -x7283 -x6512 -x5741 -x4760 -x4619
1167.87/1171.18 v -x4548 -x4477 -x4406 -x4335 -x4264 -x4193 -x4122 -x4051 -x3980 -x3839 -x3768 -x3697 -x3626 -x3555 -x3484 -x3413 -x3342 -x3271
1167.87/1171.18 v -x3200 -x3059 -x2988 -x2917 -x2846 -x2775 -x2704 -x2633 -x2562 -x2491 -x2420 -x2279 -x2208 -x2137 -x2066 -x1995 -x1924 -x1853
1167.87/1171.18 v -x1782 -x1711 -x1640 -x1499 -x1428 -x1357 -x1286 -x1215 -x1144 -x1073 -x1002 -x931 -x860 -x719 -x648 -x577 -x506 -x435 -x364
1167.87/1171.18 v -x293 -x222 -x151 -x80 -x4909 -x4838 -x4767 -x4626 -x3855 -x3084 -x2313 -x1542 -x771 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1167.87/1171.18 v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
1167.87/1171.18 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13
1167.87/1171.18 v -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x9729 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719
1167.87/1171.18 v -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 -x9710 -x9709 -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 -x9702
1167.87/1171.18 v -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9695 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684
1167.87/1171.18 v -x9683 -x9682 -x9681 -x9680 -x9679 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666
1167.87/1171.18 v -x9665 -x9664 -x9663 -x9662 -x9661 -x9590 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9582 -x9581 -x9580 -x9579 -x9578 -x9577
1167.87/1171.18 v -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9566 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559
1167.87/1171.18 v -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541
1167.87/1171.18 v -x9540 -x9539 -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523
1167.87/1171.18 v -x9522 -x9521 -x9520 -x9519 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505
1167.87/1171.18 v -x9504 -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9487
1167.87/1171.18 v -x9486 -x9485 -x9484 -x9483 -x9482 -x9481 -x9480 -x9479 -x9478 -x9477 -x9476 -x9475 -x9474 -x9473 -x9472 -x9471 -x9470 -x9469
1167.87/1171.18 v -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9452 -x9451
1167.87/1171.18 v -x9450 -x9449 -x9448 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 -x9439 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432
1167.87/1171.18 v -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414
1167.87/1171.18 v -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396
1167.87/1171.18 v -x9395 -x9394 -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379
1167.87/1171.18 v -x9378 -x9377 -x9375 -x9374 -x9373 -x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360
1167.87/1171.18 v -x9359 -x9358 -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342
1167.87/1171.18 v -x9341 -x9340 -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324
1167.87/1171.18 v -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306
1167.87/1171.18 v -x9304 -x9303 -x9302 -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287
1167.87/1171.18 v -x9286 -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 -x9272 -x9271 -x9270 -x9269
1167.87/1171.18 v -x9268 -x9267 -x9266 -x9265 -x9264 -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252
1167.87/1171.18 v -x9251 -x9250 -x9249 -x9248 -x9247 -x9246 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9233
1167.87/1171.18 v -x9232 -x9231 -x9230 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215
1167.87/1171.18 v -x9214 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199 -x9198 -x9197
1167.87/1171.18 v -x9196 -x9195 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 -x9181 -x9180 -x9179
1167.87/1171.18 v -x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9162 -x9161 -x9160
1167.87/1171.18 v -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142
1167.87/1171.18 v -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9125
1167.87/1171.18 v -x9124 -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107
1167.87/1171.18 v -x9106 -x9105 -x9104 -x9103 -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9091 -x9090 -x9089 -x9088
1167.87/1171.18 v -x9087 -x9086 -x9085 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070
1167.87/1171.18 v -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052
1167.87/1171.18 v -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034
1167.87/1171.18 v -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025 -x9024 -x9023 -x9022 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015
1167.87/1171.18 v -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998
1167.87/1171.18 v -x8997 -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980
1167.87/1171.18 v -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962
1167.87/1171.18 v -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943
1167.87/1171.18 v -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925
1167.87/1171.18 v -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907
1167.87/1171.18 v -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8820 -x8819
1167.87/1171.18 v -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801
1167.87/1171.18 v -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783
1167.87/1171.18 v -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765
1167.87/1171.18 v -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747
1167.87/1171.18 v -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728
1167.87/1171.18 v -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710
1167.87/1171.18 v -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692
1167.87/1171.18 v -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675
1167.87/1171.18 v -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656
1167.87/1171.18 v -x8655 -x8654 -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638
1167.87/1171.18 v -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620
1167.87/1171.18 v -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602
1167.87/1171.18 v -x8601 -x8600 -x8599 -x8598 -x8597 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583
1167.87/1171.18 v -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565
1167.87/1171.18 v -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548
1167.87/1171.18 v -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530
1167.87/1171.18 v -x8529 -x8528 -x8527 -x8526 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511
1167.87/1171.18 v -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493
1167.87/1171.18 v -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475
1167.87/1171.18 v -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457
1167.87/1171.18 v -x8456 -x8455 -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438
1167.87/1171.18 v -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421
1167.87/1171.18 v -x8420 -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403
1167.87/1171.18 v -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385
1167.87/1171.18 v -x8384 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366
1167.87/1171.18 v -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348
1167.87/1171.18 v -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330
1167.87/1171.18 v -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8311
1167.87/1171.18 v -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294
1167.87/1171.18 v -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276
1167.87/1171.18 v -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258
1167.87/1171.18 v -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8240 -x8239
1167.87/1171.18 v -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221
1167.87/1171.18 v -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203
1167.87/1171.18 v -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185
1167.87/1171.18 v -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8169 -x8168 -x8167
1167.87/1171.18 v -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149
1167.87/1171.18 v -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131
1167.87/1171.18 v -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043
1167.87/1171.18 v -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8028 -x8027 -x8026 -x8025 -x8024
1167.87/1171.18 v -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006
1167.87/1171.18 v -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988
1167.87/1171.18 v -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971
1167.87/1171.18 v -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952
1167.87/1171.18 v -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934
1167.87/1171.18 v -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916
1167.87/1171.18 v -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898
1167.87/1171.18 v -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879
1167.87/1171.18 v -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861
1167.87/1171.18 v -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844
1167.87/1171.18 v -x7843 -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826
1167.87/1171.18 v -x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807
1167.87/1171.18 v -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789
1167.87/1171.18 v -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771
1167.87/1171.18 v -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753
1167.87/1171.18 v -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734
1167.87/1171.18 v -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717
1167.87/1171.18 v -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699
1167.87/1171.18 v -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681
1167.87/1171.18 v -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662
1167.87/1171.18 v -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644
1167.87/1171.18 v -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626
1167.87/1171.18 v -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608
1167.87/1171.18 v -x7607 -x7606 -x7605 -x7604 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590
1167.87/1171.18 v -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572
1167.87/1171.18 v -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554
1167.87/1171.18 v -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536
1167.87/1171.18 v -x7535 -x7534 -x7533 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517
1167.87/1171.18 v -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499
1167.87/1171.18 v -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481
1167.87/1171.18 v -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464
1167.87/1171.18 v -x7463 -x7462 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445
1167.87/1171.18 v -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427
1167.87/1171.18 v -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409
1167.87/1171.18 v -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391
1167.87/1171.18 v -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372
1167.87/1171.18 v -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354
1167.87/1171.18 v -x7353 -x7352 -x7351 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267
1167.87/1171.18 v -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7248
1167.87/1171.18 v -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230
1167.87/1171.18 v -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212
1167.87/1171.18 v -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194
1167.87/1171.18 v -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7177 -x7176 -x7175
1167.87/1171.18 v -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157
1167.87/1171.18 v -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140
1167.87/1171.18 v -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122
1167.87/1171.18 v -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7106 -x7105 -x7104 -x7103
1167.87/1171.18 v -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085
1167.87/1171.18 v -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067
1167.87/1171.18 v -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049
1167.87/1171.18 v -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030
1167.87/1171.18 v -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013
1167.87/1171.18 v -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995
1167.87/1171.18 v -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977
1167.87/1171.18 v -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958
1167.87/1171.18 v -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940
1167.87/1171.18 v -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922
1167.87/1171.18 v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904
1167.87/1171.18 v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886
1167.87/1171.18 v -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868
1167.87/1171.18 v -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850
1167.87/1171.18 v -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832
1167.87/1171.18 v -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813
1167.87/1171.18 v -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795
1167.87/1171.18 v -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777
1167.87/1171.18 v -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760
1167.87/1171.18 v -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741
1167.87/1171.18 v -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723
1167.87/1171.18 v -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705
1167.87/1171.18 v -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687
1167.87/1171.18 v -x6686 -x6685 -x6684 -x6683 -x6682 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668
1167.87/1171.18 v -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650
1167.87/1171.18 v -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633
1167.87/1171.18 v -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615
1167.87/1171.18 v -x6614 -x6613 -x6612 -x6611 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596
1167.87/1171.18 v -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6510 -x6509 -x6508
1167.87/1171.18 v -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490
1167.87/1171.18 v -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472
1167.87/1171.18 v -x6471 -x6470 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453
1167.87/1171.18 v -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436
1167.87/1171.18 v -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418
1167.87/1171.18 v -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400
1167.87/1171.18 v -x6399 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381
1167.87/1171.18 v -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363
1167.87/1171.18 v -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345
1167.87/1171.18 v -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6326
1167.87/1171.18 v -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309
1167.87/1171.18 v -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291
1167.87/1171.18 v -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273
1167.87/1171.18 v -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6255 -x6254
1167.87/1171.18 v x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 x6238 -x6237 -x6236
1167.87/1171.18 v -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218
1167.87/1171.18 v -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200
1167.87/1171.18 v -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6184 -x6183 -x6182 -x6181
1167.87/1171.18 v -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163
1167.87/1171.18 v -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146
1167.87/1171.18 v -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128
1167.87/1171.18 v -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6113 -x6112 -x6111 -x6110 -x6109
1167.87/1171.18 v -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091
1167.87/1171.18 v -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073
1167.87/1171.18 v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055
1167.87/1171.18 v -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 x6046 -x6045 -x6044 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036
1167.87/1171.18 v -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 x6028 x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018
1167.87/1171.18 v -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000
1167.87/1171.18 v -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982
1167.87/1171.18 v -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964
1167.87/1171.18 v -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946
1167.87/1171.18 v -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928
1167.87/1171.18 v -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910
1167.87/1171.18 v -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891
1167.87/1171.18 v -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873
1167.87/1171.18 v -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855
1167.87/1171.18 v -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838
1167.87/1171.18 v -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819
1167.87/1171.18 v -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731
1167.87/1171.18 v -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713
1167.87/1171.18 v -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695
1167.87/1171.18 v -x5694 -x5693 -x5692 -x5691 -x5690 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676
1167.87/1171.18 v -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658
1167.87/1171.18 v -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641
1167.87/1171.18 v -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623
1167.87/1171.18 v -x5622 -x5621 -x5620 -x5619 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604
1167.87/1171.18 v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586
1167.87/1171.18 v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568
1167.87/1171.18 v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550
1167.87/1171.18 v -x5549 -x5548 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531
1167.87/1171.18 v -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514
1167.87/1171.18 v -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496
1167.87/1171.18 v -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478
1167.87/1171.18 v -x5477 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459
1167.87/1171.18 v -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441
1167.87/1171.18 v -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423
1167.87/1171.18 v -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5404
1167.87/1171.18 v -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387
1167.87/1171.18 v -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369
1167.87/1171.18 v -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351
1167.87/1171.18 v -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5333 -x5332
1167.87/1171.18 v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314
1167.87/1171.18 v -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296
1167.87/1171.18 v -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278
1167.87/1171.18 v -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5262 -x5261 -x5260
1167.87/1171.18 v -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242
1167.87/1171.18 v -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224
1167.87/1171.18 v -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206
1167.87/1171.18 v -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5191 -x5190 -x5189 -x5188 -x5187
1167.87/1171.18 v -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169
1167.87/1171.18 v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151
1167.87/1171.18 v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134
1167.87/1171.18 v -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115
1167.87/1171.18 v -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097
1167.87/1171.18 v -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079
1167.87/1171.18 v -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061
1167.87/1171.18 v -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042
1167.87/1171.18 v -x5041 -x9940 -x9939 -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 -x9925 -x9924
1167.87/1171.18 v -x9923 -x9922 -x9921 -x9920 -x9919 -x9918 -x9917 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 -x9907
1167.87/1171.18 v -x9906 -x9905 -x9904 -x9903 -x9902 -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 -x9889
1167.87/1171.18 v -x9888 -x9887 -x9886 -x9885 -x9884 -x9883 -x9882 -x9881 -x9880 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 -x9871 -x9870
1167.87/1171.18 v -x9869 -x9868 -x9867 -x9866 -x9865 -x9864 -x9863 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 -x9856 -x9855 -x9854 -x9853 -x9852
1167.87/1171.18 v -x9851 -x9850 -x9849 -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839 -x9838 -x9837 -x9836 -x9835 -x9834
1167.87/1171.18 v -x9833 -x9832 -x9831 -x9830 -x9829 -x9828 -x9827 x9826 -x9825 -x9824 x9823 -x9822 -x9821 -x9820 -x9819 -x9818 -x9817 -x9816
1167.87/1171.18 v -x9815 -x9814 -x9813 -x9812 -x9811 -x9810 -x9809 x9807 -x9806 -x9805 -x9804 -x9803 -x9802 -x9801 -x9800 -x9799 -x9798 -x9797
1167.87/1171.18 v -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784 -x9783 -x9782 -x9781 -x9780 -x9779
1167.87/1171.18 v -x9778 -x9777 -x9776 -x9775 -x9774 -x9773 -x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9762 -x9761
1167.87/1171.18 v -x9760 -x9759 -x9758 -x9757 -x9756 -x9755 -x9754 x9753 -x9752 -x9751 -x9750 -x9749 -x9748 -x9747 -x9746 -x9745 -x9744 -x9743
1167.87/1171.18 v -x9742 -x9741 -x9740 -x9739 x9738 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 -x9654
1167.87/1171.18 v -x9653 -x9652 -x9651 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 -x9636
1167.87/1171.18 v -x9635 -x9634 -x9633 -x9632 -x9631 -x9630 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619
1167.87/1171.18 v -x9618 -x9617 -x9616 -x9615 -x9614 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601
1167.87/1171.18 v -x9600 -x9599 -x9598 -x9597 -x9595 -x9594 -x9593 -x9592 -x9591 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 -x8882
1167.87/1171.18 v -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864
1167.87/1171.18 v -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846
1167.87/1171.18 v -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828
1167.87/1171.18 v -x8827 -x8826 -x8824 -x8823 -x8822 -x8821 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109
1167.87/1171.18 v -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092
1167.87/1171.18 v -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074
1167.87/1171.18 v -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056
1167.87/1171.18 v -x8055 -x8053 -x8052 -x8051 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337
1167.87/1171.18 v -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319
1167.87/1171.18 v -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301
1167.87/1171.18 v -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7282
1167.87/1171.18 v -x7281 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565
1167.87/1171.18 v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547
1167.87/1171.18 v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529
1167.87/1171.18 v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6511 -x5810
1167.87/1171.18 v -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792
1167.87/1171.18 v -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774
1167.87/1171.18 v -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756
1167.87/1171.18 v -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5040 -x5039 -x5038
1167.87/1171.18 v -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020
1167.87/1171.18 v -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002
1167.87/1171.18 v -x5001 -x5000 -x4999 -x4998 -x4997 x4996 -x4995 -x4994 x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984
1167.87/1171.18 v -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4759 -x4758 -x4757 -x4756 -x4755
1167.87/1171.18 v -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737
1167.87/1171.18 v -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719
1167.87/1171.18 v -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701
1167.87/1171.18 v -x4700 -x4699 -x4698 x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4620 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612
1167.87/1171.18 v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594
1167.87/1171.18 v -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 x4576
1167.87/1171.18 v -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558
1167.87/1171.18 v -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540
1167.87/1171.18 v -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522
1167.87/1171.18 v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504
1167.87/1171.18 v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 x4487 -x4486
1167.87/1171.18 v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467
1167.87/1171.18 v -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449
1167.87/1171.18 v -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 x4433 -x4432 -x4431
1167.87/1171.18 v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413
1167.87/1171.18 v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394
1167.87/1171.18 v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377
1167.87/1171.18 v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 x4363 -x4362 -x4361 -x4360 -x4359
1167.87/1171.18 v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341
1167.87/1171.18 v -x4340 -x4339 -x4338 -x4337 -x4336 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322
1167.87/1171.18 v -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304
1167.87/1171.18 v -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286
1167.87/1171.18 v -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268
1167.87/1171.18 v -x4267 -x4266 -x4265 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249
1167.87/1171.18 v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231
1167.87/1171.18 v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214
1167.87/1171.18 v -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196
1167.87/1171.18 v -x4195 -x4194 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177
1167.87/1171.18 v -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159
1167.87/1171.18 v -x4158 -x4157 x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141
1167.87/1171.18 v -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123
1167.87/1171.18 v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104
1167.87/1171.18 v -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086
1167.87/1171.18 v -x4085 -x4084 x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068
1167.87/1171.18 v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4050 -x4049
1167.87/1171.18 v -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032
1167.87/1171.18 v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014
1167.87/1171.18 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 x3997 -x3996
1167.87/1171.18 v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3979 -x3978 -x3977
1167.87/1171.18 v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959
1167.87/1171.18 v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 x3946 -x3945 -x3944 -x3943 -x3942 -x3941
1167.87/1171.18 v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923
1167.87/1171.18 v -x3922 -x3921 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3838 -x3837 -x3836 -x3835 -x3834
1167.87/1171.18 v -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816
1167.87/1171.18 v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798
1167.87/1171.18 v -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781
1167.87/1171.18 v -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762
1167.87/1171.18 v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744
1167.87/1171.18 v -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726
1167.87/1171.18 v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708
1167.87/1171.18 v -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689
1167.87/1171.18 v -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671
1167.87/1171.18 v -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653
1167.87/1171.18 v -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635
1167.87/1171.18 v -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617
1167.87/1171.18 v -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599
1167.87/1171.18 v -x3598 -x3597 x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581
1167.87/1171.18 v -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563
1167.87/1171.18 v -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544
1167.87/1171.18 v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 x3526
1167.87/1171.18 v -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508
1167.87/1171.18 v -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490
1167.87/1171.18 v -x3489 -x3488 -x3487 -x3486 -x3485 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471
1167.87/1171.18 v -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454
1167.87/1171.18 v -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 x3437 -x3436
1167.87/1171.18 v -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418
1167.87/1171.18 v -x3417 -x3416 -x3415 -x3414 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399
1167.87/1171.18 v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 x3386 -x3385 -x3384 -x3383 -x3382 -x3381
1167.87/1171.18 v -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363
1167.87/1171.18 v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345
1167.87/1171.18 v -x3344 -x3343 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326
1167.87/1171.18 v -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308
1167.87/1171.18 v -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290
1167.87/1171.18 v -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273
1167.87/1171.18 v -x3272 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254
1167.87/1171.18 v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236
1167.87/1171.18 v -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218
1167.87/1171.18 v -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3199
1167.87/1171.18 v -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181
1167.87/1171.18 v -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163
1167.87/1171.18 v -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075
1167.87/1171.18 v -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3058 -x3057 -x3056
1167.87/1171.18 v -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039
1167.87/1171.18 v -x3038 -x3037 -x3036 -x3035 -x3034 x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021
1167.87/1171.18 v -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003
1167.87/1171.18 v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2987 -x2986 -x2985 -x2984
1167.87/1171.18 v -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966
1167.87/1171.18 v -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948
1167.87/1171.18 v x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930
1167.87/1171.18 v -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911
1167.87/1171.18 v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 x2896 -x2895 -x2894 -x2893
1167.87/1171.18 v -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875
1167.87/1171.18 v -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858
1167.87/1171.18 v -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839
1167.87/1171.18 v -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 x2823 -x2822 -x2821
1167.87/1171.18 v -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803
1167.87/1171.18 v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785
1167.87/1171.18 v -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766
1167.87/1171.18 v -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 x2753 -x2752 -x2751 -x2750 -x2749 -x2748
1167.87/1171.18 v -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730
1167.87/1171.18 v -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712
1167.87/1171.18 v -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694
1167.87/1171.18 v -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676
1167.87/1171.18 v -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658
1167.87/1171.18 v -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640
1167.87/1171.18 v -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621
1167.87/1171.18 v -x2620 -x2619 -x2618 -x2617 x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603
1167.87/1171.18 v -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585
1167.87/1171.18 v -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567
1167.87/1171.18 v -x2566 -x2565 -x2564 -x2563 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548
1167.87/1171.18 v -x2547 x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530
1167.87/1171.18 v -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513
1167.87/1171.18 v -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495
1167.87/1171.18 v -x2494 -x2493 -x2492 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476
1167.87/1171.18 v -x2475 -x2474 x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458
1167.87/1171.18 v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440
1167.87/1171.18 v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422
1167.87/1171.18 v -x2421 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 x2406 -x2405 -x2404 -x2403
1167.87/1171.18 v -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385
1167.87/1171.18 v -x2384 -x2383 -x2382 -x2381 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297
1167.87/1171.18 v -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280
1167.87/1171.18 v -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 x2266 -x2265 -x2264 -x2263 -x2262 -x2261
1167.87/1171.18 v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243
1167.87/1171.18 v -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225
1167.87/1171.18 v -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2207 -x2206
1167.87/1171.18 v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 x2193 -x2192 -x2191 -x2190 -x2189 -x2188
1167.87/1171.18 v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170
1167.87/1171.18 v -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152
1167.87/1171.18 v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2136 -x2135 -x2134 -x2133
1167.87/1171.18 v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
1167.87/1171.18 v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
1167.87/1171.18 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
1167.87/1171.18 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2065 -x2064 -x2063 -x2062 -x2061
1167.87/1171.18 v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043
1167.87/1171.18 v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025
1167.87/1171.18 v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007
1167.87/1171.18 v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988
1167.87/1171.18 v -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970
1167.87/1171.18 v -x1969 -x1968 x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952
1167.87/1171.18 v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935
1167.87/1171.18 v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916
1167.87/1171.18 v -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898
1167.87/1171.18 v x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880
1167.87/1171.18 v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862
1167.87/1171.18 v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 x1846 -x1845 -x1844 -x1843
1167.87/1171.18 v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825
1167.87/1171.18 v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807
1167.87/1171.18 v -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789
1167.87/1171.18 v -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 x1773 -x1772 -x1771 -x1770
1167.87/1171.18 v -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753
1167.87/1171.18 v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735
1167.87/1171.18 v -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717
1167.87/1171.18 v -x1716 -x1715 -x1714 -x1713 -x1712 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 x1703 -x1702 -x1701 -x1700 -x1699 -x1698
1167.87/1171.18 v -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680
1167.87/1171.18 v -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662
1167.87/1171.18 v -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644
1167.87/1171.18 v -x1643 -x1642 -x1641 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625
1167.87/1171.18 v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1540 -x1539 -x1538 -x1537
1167.87/1171.18 v -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520
1167.87/1171.18 v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502
1167.87/1171.18 v -x1501 -x1500 -x1498 -x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483
1167.87/1171.18 v -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465
1167.87/1171.18 v -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447
1167.87/1171.18 v -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429
1167.87/1171.18 v -x1427 -x1426 -x1425 -x1424 x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410
1167.87/1171.18 v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392
1167.87/1171.18 v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
1167.87/1171.18 v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 x1356 -x1355
1167.87/1171.18 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338
1167.87/1171.18 v -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 x1320 x1319
1167.87/1171.18 v -x1318 -x1317 x1316 x1315 -x1314 x1313 -x1312 x1311 -x1310 -x1309 -x1308 x1307 -x1306 -x1305 -x1304 x1303 x1302 -x1301 x1300
1167.87/1171.18 v x1299 -x1298 -x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291 -x1290 x1289 -x1288 x1287 -x1285 -x1284 -x1283 -x1282 x1281
1167.87/1171.18 v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 x1264 -x1263 x1262
1167.87/1171.18 v x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244
1167.87/1171.18 v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226
1167.87/1171.18 v -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1214 x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207
1167.87/1171.18 v -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189
1167.87/1171.18 v -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172
1167.87/1171.18 v -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154
1167.87/1171.18 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135
1167.87/1171.18 v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117
1167.87/1171.18 v x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 x1099 -x1098
1167.87/1171.18 v -x1097 x1096 x1095 x1094 -x1093 -x1092 x1091 -x1090 -x1089 x1088 -x1087 x1086 -x1085 -x1084 -x1083 x1082 x1081 -x1080 -x1079
1167.87/1171.18 v x1078 -x1077 -x1076 x1075 -x1074 -x1072 -x1071 -x1070 x1069 -x1068 x1067 x1066 -x1065 x1064 x1063 -x1062 -x1061 -x1060 x1059
1167.87/1171.18 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041
1167.87/1171.18 v -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023
1167.87/1171.18 v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
1167.87/1171.18 v -x1005 -x1004 -x1003 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984
1167.87/1171.18 v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964
1167.87/1171.18 v -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943
1167.87/1171.18 v -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921
1167.87/1171.18 v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900
1167.87/1171.18 v -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879
1167.87/1171.18 v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x859 -x858 -x857
1167.87/1171.18 v -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x770 -x769 -x768 -x767 -x766
1167.87/1171.18 v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
1167.87/1171.18 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725
1167.87/1171.18 v -x724 x723 -x722 -x721 -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
1167.87/1171.18 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682
1167.87/1171.18 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661
1167.87/1171.18 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639
1167.87/1171.18 v -x638 x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618
1167.87/1171.18 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597
1167.87/1171.18 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x576 -x575
1167.87/1171.18 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554
1167.87/1171.18 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534
1167.87/1171.18 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513
1167.87/1171.18 v -x512 -x511 -x510 -x509 -x508 -x507 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
1167.87/1171.18 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1167.87/1171.18 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
1167.87/1171.18 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x434 -x433 -x432 -x431 -x430 -x429 -x428 x427
1167.87/1171.18 v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
1167.87/1171.18 v -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385
1167.87/1171.18 v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x363
1167.87/1171.18 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
1167.87/1171.18 v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322
1167.87/1171.18 v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301
1167.87/1171.18 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
1167.87/1171.18 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
1167.87/1171.18 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
1167.87/1171.18 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x221 -x220 -x219 -x218 x217 -x216 -x215
1167.87/1171.18 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1167.87/1171.18 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174
1167.87/1171.18 v -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153
1167.87/1171.18 v -x152 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131
1167.87/1171.18 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
1167.87/1171.18 v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
1167.87/1171.18 v -x86 -x85 -x84 -x83 -x82 -x81 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964
1167.87/1171.18 v -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946
1167.87/1171.18 v -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928
1167.87/1171.18 v -x4927 -x4926 -x4925 -x4924 x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910
1167.87/1171.18 v -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891
1167.87/1171.18 v -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873
1167.87/1171.18 v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855
1167.87/1171.18 v -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4837 -x4836
1167.87/1171.18 v -x4835 -x4834 -x4833 -x4832 -x4831 x4830 -x4829 x4828 -x4827 -x4826 x4825 x4824 -x4823 -x4822 x4821 -x4820 -x4819 x4818
1167.87/1171.18 v -x4817 -x4816 -x4815 x4814 -x4813 x4812 -x4811 -x4810 -x4809 x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799
1167.87/1171.18 v -x4798 x4797 -x4796 x4795 x4794 -x4793 -x4792 -x4791 x4790 -x4789 -x4788 -x4787 -x4786 -x4785 x4784 -x4783 x4782 -x4781
1167.87/1171.18 v x4780 -x4779 x4778 -x4777 -x4776 x4775 -x4774 -x4773 x4772 -x4771 x4770 -x4769 -x4768 -x4766 x4765 -x4764 x4763 -x4762 -x4761
1167.87/1171.18 v -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673
1167.87/1171.18 v -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655
1167.87/1171.18 v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637
1167.87/1171.18 v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4625 -x4624 -x4623 -x4622 -x4621 -x3920 -x3919 -x3918
1167.87/1171.18 v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900
1167.87/1171.18 v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883
1167.87/1171.18 v -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865
1167.87/1171.18 v -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 x3857 -x3856 -x3854 -x3853 -x3852 -x3851 -x3150 -x3149 -x3148 -x3147 -x3146
1167.87/1171.18 v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
1167.87/1171.18 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110
1167.87/1171.18 v -x3109 -x3108 -x3107 x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092
1167.87/1171.18 v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3083 -x3082 -x3081 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373
1167.87/1171.18 v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355
1167.87/1171.18 v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337
1167.87/1171.18 v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320
1167.87/1171.18 v -x2319 -x2318 x2317 -x2316 -x2315 -x2314 -x2312 -x2311 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601
1167.87/1171.18 v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583
1167.87/1171.18 v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 x1566 -x1565
1167.87/1171.18 v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
1167.87/1171.18 v -x1546 -x1545 -x1544 -x1543 -x1541 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1167.87/1171.18 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805
1167.87/1171.18 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784
1167.87/1171.18 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772
1167.87/1171.18 c SCIP Status : problem is solved [optimal solution found]
1167.87/1171.18 c Total Time : 1171.17
1167.87/1171.18 c solving : 1171.17
1167.87/1171.18 c presolving : 0.84 (included in solving)
1167.87/1171.18 c reading : 0.05 (included in solving)
1167.87/1171.18 c copying : 0.29 (21 #copies) (minimal 0.01, maximal 0.02, average 0.01)
1167.87/1171.18 c Original Problem :
1167.87/1171.18 c Problem name : HOME/instance-4432869-1721130544.opb
1167.87/1171.18 c Variables : 9940 (9940 binary, 0 integer, 0 implicit integer, 0 continuous)
1167.87/1171.18 c Constraints : 14846 initial, 14846 maximal
1167.87/1171.18 c Objective : minimize, 9730 non-zeros (abs.min = 1, abs.max = 1.60103e+08)
1167.87/1171.18 c Presolved Problem :
1167.87/1171.18 c Problem name : t_HOME/instance-4432869-1721130544.opb
1167.87/1171.18 c Variables : 2949 (2949 binary, 0 integer, 0 implicit integer, 0 continuous)
1167.87/1171.18 c Constraints : 3476 initial, 3562 maximal
1167.87/1171.18 c Objective : minimize, 2811 non-zeros (abs.min = 9, abs.max = 1.40493e+06)
1167.87/1171.18 c Nonzeros : 44222 constraint, 205 clique table
1167.87/1171.18 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1167.87/1171.18 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c domcol : 0.14 0.00 3 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c dualsparsify : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c gateextraction : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c milp : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c sparsify : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c trivial : 0.01 0.00 14 2018 0 0 0 0 0 0 0 0
1167.87/1171.18 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c probing : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c vbounds : 0.00 0.00 3 0 2 0 0 0 0 0 0 0
1167.87/1171.18 c knapsack : 0.05 0.00 27 1 0 0 0 0 1462 6 10 11
1167.87/1171.18 c setppc : 0.00 0.00 27 0 0 0 0 0 5 0 0 0
1167.87/1171.18 c linear : 0.16 0.02 21 140 4830 0 140 0 9662 0 2415 2417
1167.87/1171.18 c logicor : 0.07 0.01 25 0 0 0 0 0 9 0 0 256
1167.87/1171.18 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c components : 0.02 0.00 3 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c root node : - - - 2263 - - 2263 - - - - -
1167.87/1171.18 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1167.87/1171.18 c benderslp : 0 0 0 0 2434 0 0 372 0 0 0 0 0 0 0
1167.87/1171.18 c integral : 0 0 0 0 2434 0 0 372 0 0 4342 0 0 805 3978
1167.87/1171.18 c knapsack : 687 687 68 36629 10 0 0 364 14424 263 109712 2101 348 0 0
1167.87/1171.18 c setppc : 70 70 68 24063 0 0 0 36 4315 21 21877 0 0 0 0
1167.87/1171.18 c linear : 13+ 15 68 36345 10 0 0 34 3506 495 28740 0 0 0 0
1167.87/1171.18 c logicor : 2706+ 2798 68 16384 10 0 0 31 8452 142 1101937 1 0 0 0
1167.87/1171.18 c benders : 0 0 0 0 10 0 0 33 0 0 0 0 0 0 0
1167.87/1171.18 c fixedvar : 0 0 0 0 10 0 0 33 0 0 0 0 0 0 0
1167.87/1171.18 c countsols : 0 0 0 0 10 0 0 33 0 0 0 0 0 0 0
1167.87/1171.18 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1167.87/1171.18 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1167.87/1171.18 c integral : 390.41 0.00 0.00 0.00 390.41 0.00 0.00 0.00 0.00 0.00
1167.87/1171.18 c knapsack : 5.39 0.00 2.41 2.20 0.00 0.00 0.00 0.02 0.02 0.74
1167.87/1171.18 c setppc : 0.19 0.00 0.00 0.12 0.00 0.00 0.00 0.00 0.00 0.07
1167.87/1171.18 c linear : 1.46 0.02 0.57 0.71 0.00 0.00 0.00 0.00 0.00 0.16
1167.87/1171.18 c logicor : 4.07 0.01 0.04 2.88 0.00 0.00 0.00 0.01 0.00 1.12
1167.87/1171.18 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1167.87/1171.18 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
1167.87/1171.18 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1167.87/1171.18 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1167.87/1171.18 c Propagators : #Propagate #ResProp Cutoffs DomReds
1167.87/1171.18 c dualfix : 12 0 0 0
1167.87/1171.18 c genvbounds : 0 0 0 0
1167.87/1171.18 c nlobbt : 0 0 0 0
1167.87/1171.18 c obbt : 0 0 0 0
1167.87/1171.18 c probing : 0 0 0 0
1167.87/1171.18 c pseudoobj : 17688 0 0 531
1167.87/1171.18 c redcost : 10698 0 0 363064
1167.87/1171.18 c rootredcost : 17 0 0 1344
1167.87/1171.18 c symmetry : 0 0 0 0
1167.87/1171.18 c vbounds : 4727 0 0 0
1167.87/1171.18 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1167.87/1171.18 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1167.87/1171.18 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
1167.87/1171.18 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1167.87/1171.18 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1167.87/1171.18 c probing : 0.11 0.00 0.11 0.00 0.00 0.00
1167.87/1171.18 c pseudoobj : 0.05 0.00 0.00 0.05 0.00 0.00
1167.87/1171.18 c redcost : 1.48 0.00 0.00 1.48 0.00 0.00
1167.87/1171.18 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
1167.87/1171.18 c symmetry : 0.04 0.00 0.03 0.01 0.00 0.01
1167.87/1171.18 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.01
1167.87/1171.18 c Symmetry :
1167.87/1171.18 c orbitopal red. : 0 reductions applied, 0 cutoffs
1167.87/1171.18 c orbital reduction: 0 reductions applied, 0 cutoffs
1167.87/1171.18 c lexicographic red: 0 reductions applied, 0 cutoffs
1167.87/1171.18 c shadow tree time : 0.00 s
1167.87/1171.18 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1167.87/1171.18 c propagation : 0.03 443 436 - 1161 93.4 13 13.3 - - -
1167.87/1171.18 c infeasible LP : 0.01 13 13 - 52 92.5 0 0.0 13 280.6 0
1167.87/1171.18 c bound exceed. LP : 3.13 1413 409 - 1794 87.3 4 7.2 135 1.0 5425
1167.87/1171.18 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1167.87/1171.18 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1167.87/1171.18 c applied globally : 0.01 - - 135 1904 77.8 - - 148 - -
1167.87/1171.18 c applied locally : - - - 0 1 677.0 - - 0 - -
1167.87/1171.18 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1167.87/1171.18 c cut pool : 0.30 - 1502 125 - - 7222 16153 - - - - - (maximal pool size: 1834)
1167.87/1171.18 c aggregation : 14.10 0.00 572 68 0 0 1367 4224 0 1574 1574 0 0
1167.87/1171.18 c > cmir : - - - - - - - 835 0 162 162 0 -
1167.87/1171.18 c > flowcover : - - - - - - - 2013 0 609 609 0 -
1167.87/1171.18 c > knapsackcover : - - - - - - - 1376 0 803 803 0 -
1167.87/1171.18 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c clique : 0.00 0.00 68 68 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c gomory : 29.51 0.00 351 30 0 0 5305 10505 0 309 309 0 0
1167.87/1171.18 c > gomorymi : - - - - - - - 5018 0 168 168 0 -
1167.87/1171.18 c > strongcg : - - - - - - - 5487 0 141 141 0 -
1167.87/1171.18 c impliedbounds : 0.03 0.00 572 68 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c mcf : 0.01 0.00 3 3 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c multilinear : 0.00 0.00 203 68 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c rapidlearning : 0.03 0.00 0 0 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c rlt : 0.00 0.00 126 30 0 0 0 0 0 0 0 0 0
1167.87/1171.18 c zerohalf : 7.20 0.00 381 60 0 0 572 1424 22 815 793 22 0
1167.87/1171.18 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1167.87/1171.18 c hybrid : 0.02 0.00 773 63 3046 0 15231 597 0 2419
1167.87/1171.18 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c Pricers : ExecTime SetupTime Calls Vars
1167.87/1171.18 c problem variables: 0.00 - 0 0
1167.87/1171.18 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1167.87/1171.18 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c relpscost : 390.41 0.00 2424 0 0 0 4342 0 887 3978
1167.87/1171.18 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1167.87/1171.18 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1167.87/1171.18 c LP solutions : 0.01 - - 10 10
1167.87/1171.18 c relax solutions : 0.00 - - 0 0
1167.87/1171.18 c pseudo solutions : 0.00 - - 0 0
1167.87/1171.18 c strong branching : 0.02 - - 5 5
1167.87/1171.18 c actconsdiving : 0.00 0.00 0 0 0
1167.87/1171.18 c adaptivediving : 4.24 0.00 4 0 0
1167.87/1171.18 c alns : 11.09 0.00 3 1 1
1167.87/1171.18 c bound : 0.00 0.00 0 0 0
1167.87/1171.18 c clique : 0.07 0.00 1 1 1
1167.87/1171.18 c coefdiving : 0.00 0.00 0 0 0
1167.87/1171.18 c completesol : 0.00 0.00 0 0 0
1167.87/1171.18 c conflictdiving : 8.69 0.00 3 2 2
1167.87/1171.18 c crossover : 0.27 0.00 8 1 0
1167.87/1171.18 c dins : 0.00 0.00 0 0 0
1167.87/1171.18 c distributiondivin: 1.16 0.00 2 0 0
1167.87/1171.18 c dps : 0.00 0.00 0 0 0
1167.87/1171.18 c dualval : 0.00 0.00 0 0 0
1167.87/1171.18 c farkasdiving : 16.84 0.00 3 0 0
1167.87/1171.18 c feasjump : 0.00 0.00 0 0 0
1167.87/1171.18 c feaspump : 2.63 0.00 1 0 0
1167.87/1171.18 c fixandinfer : 0.00 0.00 0 0 0
1167.87/1171.18 c fracdiving : 2.48 0.00 3 0 0
1167.87/1171.18 c gins : 0.05 0.00 1 0 0
1167.87/1171.18 c guideddiving : 0.96 0.00 2 0 0
1167.87/1171.18 c indcoefdiving : 0.00 0.00 0 0 0
1167.87/1171.18 c indicator : 0.00 0.00 0 0 0
1167.87/1171.18 c indicatordiving : 0.00 0.00 0 0 0
1167.87/1171.18 c indoneopt : 0.00 0.00 0 0 0
1167.87/1171.18 c indrounding : 0.00 0.00 0 0 0
1167.87/1171.18 c indtwoopt : 0.00 0.00 0 0 0
1167.87/1171.18 c intdiving : 0.00 0.00 0 0 0
1167.87/1171.18 c intshifting : 0.00 0.00 0 0 0
1167.87/1171.18 c linesearchdiving : 1.79 0.00 3 0 0
1167.87/1171.18 c localbranching : 0.00 0.00 0 0 0
1167.87/1171.18 c locks : 0.03 0.00 1 0 0
1167.87/1171.18 c lpface : 0.00 0.00 0 0 0
1167.87/1171.18 c mpec : 0.00 0.00 0 0 0
1167.87/1171.18 c multistart : 0.00 0.00 0 0 0
1167.87/1171.18 c mutation : 0.00 0.00 0 0 0
1167.87/1171.18 c nlpdiving : 0.00 0.00 0 0 0
1167.87/1171.18 c objpscostdiving : 6.59 0.00 2 0 0
1167.87/1171.18 c octane : 0.00 0.00 0 0 0
1167.87/1171.18 c ofins : 0.00 0.00 0 0 0
1167.87/1171.18 c oneopt : 0.03 0.00 18 0 0
1167.87/1171.18 c padm : 0.00 0.00 0 0 0
1167.87/1171.18 c proximity : 0.00 0.00 0 0 0
1167.87/1171.18 c pscostdiving : 2.95 0.00 3 0 0
1167.87/1171.18 c randrounding : 0.40 0.00 385 0 0
1167.87/1171.18 c rens : 1.53 0.00 3 0 0
1167.87/1171.18 c reoptsols : 0.00 0.00 0 0 0
1167.87/1171.18 c repair : 0.00 0.00 0 0 0
1167.87/1171.18 c rins : 1.07 0.00 6 3 0
1167.87/1171.18 c rootsoldiving : 10.64 0.00 2 1 0
1167.87/1171.18 c rounding : 0.43 0.00 808 0 0
1167.87/1171.18 c scheduler : 0.00 0.00 0 0 0
1167.87/1171.18 c shiftandpropagate: 0.00 0.00 0 0 0
1167.87/1171.18 c shifting : 5.15 0.00 415 0 0
1167.87/1171.18 c simplerounding : 0.00 0.00 0 0 0
1167.87/1171.18 c smallcard : 0.00 0.00 0 0 0
1167.87/1171.18 c subnlp : 0.00 0.00 0 0 0
1167.87/1171.18 c trivial : 0.01 0.00 6 0 0
1167.87/1171.18 c trivialnegation : 0.00 0.00 0 0 0
1167.87/1171.18 c trustregion : 0.00 0.00 0 0 0
1167.87/1171.18 c trysol : 0.00 0.00 0 0 0
1167.87/1171.18 c twoopt : 0.00 0.00 0 0 0
1167.87/1171.18 c undercover : 0.00 0.00 0 0 0
1167.87/1171.18 c vbounds : 0.00 0.00 0 0 0
1167.87/1171.18 c veclendiving : 2.47 0.00 3 0 0
1167.87/1171.18 c zeroobj : 0.00 0.00 0 0 0
1167.87/1171.18 c zirounding : 0.16 0.00 1000 0 0
1167.87/1171.18 c other solutions : - - - 0 -
1167.87/1171.18 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1167.87/1171.18 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1167.87/1171.18 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1167.87/1171.18 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1167.87/1171.18 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1167.87/1171.18 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1167.87/1171.18 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1167.87/1171.18 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1167.87/1171.18 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1167.87/1171.18 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
1167.87/1171.18 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1167.87/1171.18 c primal LP : 0.97 286 0 0.00 0.00 0.97 286
1167.87/1171.18 c dual LP : 624.82 8974 2836841 550.31 4540.25 4.76 3819
1167.87/1171.18 c lex dual LP : 0.00 0 0 0.00 -
1167.87/1171.18 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1167.87/1171.18 c resolve instable : 0.00 0 0 0.00 -
1167.87/1171.18 c diving/probing LP: 60.08 1231 259697 210.96 4322.60
1167.87/1171.18 c strong branching : 377.91 3506 1574076 448.97 4165.22 - - 2169
1167.87/1171.18 c (at root node) : - 63 55710 884.29 -
1167.87/1171.18 c conflict analysis: 1.67 547 5425 9.92 3241.78
1167.87/1171.18 c B&B Tree :
1167.87/1171.18 c number of runs : 3
1167.87/1171.18 c nodes : 2720 (1366 internal, 1354 leaves)
1167.87/1171.18 c feasible leaves : 7
1167.87/1171.18 c infeas. leaves : 445
1167.87/1171.18 c objective leaves : 902
1167.87/1171.18 c nodes (total) : 3888 (1989 internal, 1899 leaves)
1167.87/1171.18 c nodes left : 0
1167.87/1171.18 c max depth : 65
1167.87/1171.18 c max depth (total): 65
1167.87/1171.18 c backtracks : 400 (14.7%)
1167.87/1171.18 c early backtracks : 0 (0.0%)
1167.87/1171.18 c nodes exc. ref. : 0 (0.0%)
1167.87/1171.18 c delayed cutoffs : 6
1167.87/1171.18 c repropagations : 369 (6638 domain reductions, 6 cutoffs)
1167.87/1171.18 c avg switch length: 3.75
1167.87/1171.18 c switching time : 4.29
1167.87/1171.18 c Root Node :
1167.87/1171.18 c First LP value : +1.78594489848398e+06
1167.87/1171.18 c First LP Iters : 6157 (3820.58 Iter/sec)
1167.87/1171.18 c First LP Time : 1.61
1167.87/1171.18 c Final Dual Bound : +2.25447553952935e+06
1167.87/1171.18 c Final Root Iters : 64705
1167.87/1171.18 c Root LP Estimate : +7.43124916710210e+06
1167.87/1171.18 c Solution :
1167.87/1171.18 c Solutions found : 24 (19 improvements)
1167.87/1171.18 c First Solution : +1.56810855000000e+08 (in run 1, after 1 nodes, 0.78 seconds, depth 6, found by <clique>)
1167.87/1171.18 c Gap First Sol. : infinite
1167.87/1171.18 c Gap Last Sol. : 49.18 %
1167.87/1171.18 c Primal Bound : +4.21911700000000e+06 (in run 3, after 2153 nodes, 1053.07 seconds, depth 50, found by <relaxation>)
1167.87/1171.18 c Dual Bound : +4.21911700000000e+06
1167.87/1171.18 c Gap : 0.00 %
1167.87/1171.18 c Integrals : Total Avg%
1167.87/1171.18 c primal-dual : 58529.02 49.98
1167.87/1171.18 c primal-ref : - - (not evaluated)
1167.87/1171.18 c dual-ref : - - (not evaluated)
1167.95/1171.23 c Time complete: 1167.99.
OK 4219117
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (58858 MiB free)
memory of node 1: 64510 MiB (59225 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432869-1721130544/watcher-4432869-1721130544 -o /tmp/evaluation-result-4432869-1721130544/solver-4432869-1721130544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844283 --watchdog 3760 pbscip -f HOME/instance-4432869-1721130544.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
LinuxStarting watchdog thread
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=844617, runsolver pid=844614
[startup+0.1001 s]*
/proc/loadavg: 4.13 3.90 2.92 5/241 844618
/proc/meminfo: memFree=120870112/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=103552 memory=63252 CPUtime=0.1 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 12651 0 0 0 8 2 0 0 20 0 1 0 165210803 106037248 15813 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 25888 15813 3612 3540 0 14145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 103552 KiB
Current children cumulated memory: 63252 KiB
[startup+0.212843 s]*
/proc/loadavg: 4.13 3.90 2.92 5/241 844618
/proc/meminfo: memFree=120863896/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=109824 memory=69184 CPUtime=0.21 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 14091 0 0 0 19 2 0 0 20 0 1 0 165210803 112459776 17296 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 27456 17296 3660 3540 0 15713 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 109824 KiB
Current children cumulated memory: 69184 KiB
[startup+0.312991 s]*
/proc/loadavg: 4.13 3.90 2.92 5/241 844618
/proc/meminfo: memFree=120853004/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=118724 memory=78844 CPUtime=0.32 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 18888 0 0 0 28 4 0 0 20 0 1 0 165210803 121573376 19711 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 29681 19711 3787 3540 0 17938 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 118724 KiB
Current children cumulated memory: 78844 KiB
[startup+0.700335 s]
/proc/loadavg: 4.13 3.90 2.92 5/241 844618
/proc/meminfo: memFree=120851184/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=144932 memory=97248 CPUtime=0.69 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 22991 0 0 0 64 5 0 0 20 0 1 0 165210803 148410368 24312 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 36233 24312 3851 3540 0 24490 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 144932 KiB
Current children cumulated memory: 97248 KiB
[startup+1.50034 s]
/proc/loadavg: 4.13 3.90 2.92 5/241 844618
/proc/meminfo: memFree=120818132/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=162208 memory=114768 CPUtime=1.49 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 27776 0 0 0 143 6 0 0 20 0 1 0 165210803 166100992 28692 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 40552 28692 3995 3540 0 28809 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 162208 KiB
Current children cumulated memory: 114768 KiB
[startup+3.11249 s]
/proc/loadavg: 4.12 3.90 2.92 5/241 844618
/proc/meminfo: memFree=120801116/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=180232 memory=131112 CPUtime=3.09 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 31863 0 0 0 303 6 0 0 20 0 1 0 165210803 184557568 32778 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 45058 32778 3995 3540 0 33315 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 180232 KiB
Current children cumulated memory: 131112 KiB
[startup+6.30032 s]
/proc/loadavg: 4.12 3.90 2.92 5/241 844618
/proc/meminfo: memFree=120790228/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=192084 memory=142992 CPUtime=6.27 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 34888 0 0 0 620 7 0 0 20 0 1 0 165210803 196694016 35748 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 48021 35748 3995 3540 0 36278 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 192084 KiB
Current children cumulated memory: 142992 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 3.90 2.93 5/241 844620
/proc/meminfo: memFree=120777940/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=203232 memory=154168 CPUtime=12.66 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 37705 0 0 0 1258 8 0 0 20 0 1 0 165210803 208109568 38542 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 50808 38542 3995 3540 0 39065 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 203232 KiB
Current children cumulated memory: 154168 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 3.91 2.95 5/241 844621
/proc/meminfo: memFree=120749304/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=232740 memory=183028 CPUtime=25.41 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 45690 0 0 0 2532 9 0 0 20 0 1 0 165210803 238325760 45757 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 58185 45757 4043 3540 0 46442 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 232740 KiB
Current children cumulated memory: 183028 KiB
[startup+51.1127 s]
/proc/loadavg: 4.05 3.92 2.98 5/241 844626
/proc/meminfo: memFree=120732200/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=250892 memory=199600 CPUtime=50.96 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 49863 0 0 0 5083 13 0 0 20 0 1 0 165210803 256913408 49900 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 62723 49900 4043 3540 0 50980 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 250892 KiB
Current children cumulated memory: 199600 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.95 3.04 5/243 844638
/proc/meminfo: memFree=120729100/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=250892 memory=199896 CPUtime=102.01 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 50247 0 0 0 10184 17 0 0 20 0 1 0 165210803 256913408 49974 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 62723 49974 4043 3540 0 50980 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 250892 KiB
Current children cumulated memory: 199896 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.99 3.11 5/243 844648
/proc/meminfo: memFree=120728408/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=250892 memory=200036 CPUtime=161.84 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 50315 0 0 0 16166 18 0 0 20 0 1 0 165210803 256913408 50009 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 62723 50009 4043 3540 0 50980 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 250892 KiB
Current children cumulated memory: 200036 KiB
[startup+222.3 s]
/proc/loadavg: 4.78 4.19 3.24 5/243 844659
/proc/meminfo: memFree=120720060/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=252724 memory=201092 CPUtime=221.68 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 50586 0 0 0 22148 20 0 0 20 0 1 0 165210803 258789376 50273 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 63181 50273 4043 3540 0 51438 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 252724 KiB
Current children cumulated memory: 201092 KiB
[startup+282.3 s]
/proc/loadavg: 4.35 4.18 3.30 5/243 844669
/proc/meminfo: memFree=120652860/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=277292 memory=225600 CPUtime=281.51 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 56709 0 0 0 28129 22 0 0 20 0 1 0 165210803 283947008 56400 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 69323 56400 4043 3540 0 57580 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 277292 KiB
Current children cumulated memory: 225600 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.18 3.36 5/243 844680
/proc/meminfo: memFree=120650776/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=277292 memory=225600 CPUtime=341.34 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 56713 0 0 0 34110 24 0 0 20 0 1 0 165210803 283947008 56400 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 69323 56400 4043 3540 0 57580 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 277292 KiB
Current children cumulated memory: 225600 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 4.19 3.41 5/243 845078
/proc/meminfo: memFree=120746696/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=277292 memory=225600 CPUtime=401.17 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 56723 0 0 0 40092 25 0 0 20 0 1 0 165210803 283947008 56400 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 69323 56400 4043 3540 0 57580 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 277292 KiB
Current children cumulated memory: 225600 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.17 3.46 5/243 845088
/proc/meminfo: memFree=120725776/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=277292 memory=225600 CPUtime=461 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 56723 0 0 0 46074 26 0 0 20 0 1 0 165210803 283947008 56400 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
################
# More data... #
################
/proc/loadavg: 4.20 4.14 3.66 5/243 845322
/proc/meminfo: memFree=120698064/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=289552 memory=238372 CPUtime=760.19 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 60489 0 0 0 75986 33 0 0 20 0 1 0 165210803 296501248 59593 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 72388 59593 4182 3540 0 60645 0
Current children cumulated CPU time: 760.19 s
Current children cumulated vsize: 289552 KiB
Current children cumulated memory: 238372 KiB
[startup+822.3 s]
/proc/loadavg: 4.14 4.13 3.68 5/243 845334
/proc/meminfo: memFree=120698236/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=289552 memory=238624 CPUtime=820.03 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 60582 0 0 0 81969 34 0 0 20 0 1 0 165210803 296501248 59656 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 72388 59656 4182 3540 0 60645 0
Current children cumulated CPU time: 820.03 s
Current children cumulated vsize: 289552 KiB
Current children cumulated memory: 238624 KiB
[startup+882.3 s]
/proc/loadavg: 4.10 4.12 3.71 5/242 845344
/proc/meminfo: memFree=120544876/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=290260 memory=239220 CPUtime=879.86 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 62383 0 0 0 87951 35 0 0 20 0 1 0 165210803 297226240 59805 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 72565 59805 4182 3540 0 60822 0
Current children cumulated CPU time: 879.86 s
Current children cumulated vsize: 290260 KiB
Current children cumulated memory: 239220 KiB
[startup+942.3 s]
/proc/loadavg: 4.14 4.12 3.74 5/242 845355
/proc/meminfo: memFree=120463716/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=290564 memory=239896 CPUtime=939.7 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 64469 0 0 0 93934 36 0 0 20 0 1 0 165210803 297537536 59974 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 72641 59974 4182 3540 0 60898 0
Current children cumulated CPU time: 939.7 s
Current children cumulated vsize: 290564 KiB
Current children cumulated memory: 239896 KiB
[startup+1002.3 s]
/proc/loadavg: 4.10 4.11 3.77 5/241 845366
/proc/meminfo: memFree=120334524/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=301440 memory=250084 CPUtime=999.52 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71507 0 0 0 99915 37 0 0 20 0 1 0 165210803 308674560 62521 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75360 62521 4182 3540 0 63617 0
Current children cumulated CPU time: 999.52 s
Current children cumulated vsize: 301440 KiB
Current children cumulated memory: 250084 KiB
[startup+1062.3 s]
/proc/loadavg: 4.08 4.11 3.79 5/241 845377
/proc/meminfo: memFree=120224064/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=301440 memory=250344 CPUtime=1059.36 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71515 0 0 0 105898 38 0 0 20 0 1 0 165210803 308674560 62586 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75360 62586 4182 3540 0 63617 0
Current children cumulated CPU time: 1059.36 s
Current children cumulated vsize: 301440 KiB
Current children cumulated memory: 250344 KiB
[startup+1122.3 s]
/proc/loadavg: 4.06 4.10 3.81 5/241 845387
/proc/meminfo: memFree=120105456/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=303096 memory=251924 CPUtime=1119.19 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71918 0 0 0 111881 38 0 0 20 0 1 0 165210803 310370304 62981 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75774 62981 4182 3540 0 64031 0
Current children cumulated CPU time: 1119.19 s
Current children cumulated vsize: 303096 KiB
Current children cumulated memory: 251924 KiB
[startup+1171.24 s]
# the end of solver process 844617 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1167.61 s, system=0.397268 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 4.05 4.10 3.81 5/241 845387
/proc/meminfo: memFree=120105428/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=303096 memory=251924 CPUtime=1123.28 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71918 0 0 0 112290 38 0 0 20 0 1 0 165210803 310370304 62981 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75774 62981 4182 3540 0 64031 0
Current children cumulated CPU time: 1123.28 s
Current children cumulated vsize: 303096 KiB
Current children cumulated memory: 251924 KiB
[startup+1152 s]*
/proc/loadavg: 4.11 4.10 3.83 5/241 845392
/proc/meminfo: memFree=120021696/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=303096 memory=251924 CPUtime=1148.82 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71920 0 0 0 114844 38 0 0 20 0 1 0 165210803 310370304 62981 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75774 62981 4182 3540 0 64031 0
Current children cumulated CPU time: 1148.82 s
Current children cumulated vsize: 303096 KiB
Current children cumulated memory: 251924 KiB
[startup+1164.8 s]
/proc/loadavg: 4.08 4.10 3.83 5/241 845394
/proc/meminfo: memFree=119866072/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=303096 memory=251924 CPUtime=1161.57 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71920 0 0 0 116119 38 0 0 20 0 1 0 165210803 310370304 62981 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75774 62981 4182 3540 0 64031 0
Current children cumulated CPU time: 1161.57 s
Current children cumulated vsize: 303096 KiB
Current children cumulated memory: 251924 KiB
[startup+1168 s]*
/proc/loadavg: 4.08 4.10 3.83 5/241 845394
/proc/meminfo: memFree=119866072/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=303096 memory=251924 CPUtime=1164.77 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71920 0 0 0 116439 38 0 0 20 0 1 0 165210803 310370304 62981 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75774 62981 4182 3540 0 64031 0
Current children cumulated CPU time: 1164.77 s
Current children cumulated vsize: 303096 KiB
Current children cumulated memory: 251924 KiB
[startup+1169.6 s]
/proc/loadavg: 4.08 4.10 3.83 5/241 845395
/proc/meminfo: memFree=119866100/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=303096 memory=251924 CPUtime=1166.36 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71920 0 0 0 116598 38 0 0 20 0 1 0 165210803 310370304 62981 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75774 62981 4182 3540 0 64031 0
Current children cumulated CPU time: 1166.36 s
Current children cumulated vsize: 303096 KiB
Current children cumulated memory: 251924 KiB
[startup+1170.4 s]
/proc/loadavg: 4.08 4.10 3.83 5/241 845395
/proc/meminfo: memFree=119866100/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=303096 memory=251924 CPUtime=1167.15 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71920 0 0 0 116677 38 0 0 20 0 1 0 165210803 310370304 62981 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75774 62981 4182 3540 0 64031 0
Current children cumulated CPU time: 1167.15 s
Current children cumulated vsize: 303096 KiB
Current children cumulated memory: 251924 KiB
[startup+1170.8 s]
/proc/loadavg: 4.08 4.10 3.83 5/241 845395
/proc/meminfo: memFree=119866100/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=303096 memory=251924 CPUtime=1167.55 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71920 0 0 0 116717 38 0 0 20 0 1 0 165210803 310370304 62981 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75774 62981 4182 3540 0 64031 0
Current children cumulated CPU time: 1167.55 s
Current children cumulated vsize: 303096 KiB
Current children cumulated memory: 251924 KiB
[startup+1171.2 s]
/proc/loadavg: 4.08 4.10 3.83 5/241 845395
/proc/meminfo: memFree=119866104/131655788 swapFree=131071996/131071996
[pid=844617] ppid=844614 vsize=303096 memory=251924 CPUtime=1167.95 cores=4,6
/proc/844617/stat : 844617 (pbscip) R 844614 844617 844272 0 -1 4194304 71924 0 0 0 116757 38 0 0 20 0 1 0 165210803 310370304 62981 134679101440 4194304 18693293 140726257304384 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30679040 140726257312772 140726257312871 140726257312871 140726257319886 0
/proc/844617/statm: 75774 62981 4182 3540 0 64031 0
Current children cumulated CPU time: 1167.95 s
Current children cumulated vsize: 303096 KiB
Current children cumulated memory: 251924 KiB
Child status: 0
Real time (s): 1171.24
CPU time (s): 1168.01
CPU user time (s): 1167.61
CPU system time (s): 0.397268
CPU usage (%): 99.7234
Max. virtual memory (cumulated for all children) (KiB): 303096
Max. memory (cumulated for all children) (KiB): 251924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1167.61
system time used= 0.397268
maximum resident set size= 251924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72253
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= 18
involuntary context switches= 897
# summary of solver processes directly reported to runsolver:
# pid: 844617
# total CPU time (s): 1168.01
# total CPU user time (s): 1167.61
# total CPU system time (s): 0.397268
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.04222 second user time and 11.6819 second system time
The end
Begin job on nodeC008 at 2024-07-16 13:49:16 IDJOB=4432869 IDBENCH=155605 IDSOLVER=3059 FILE ID=nodeC008/4432869-1721130544 RUNJOBID= nodeC008-1721129802-844283 SLURM_JOB_ID= 7505695 Free space on /tmp= 723620 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432869-1721130544/watcher-4432869-1721130544 -o /tmp/evaluation-result-4432869-1721130544/solver-4432869-1721130544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844283 --watchdog 3760 pbscip -f HOME/instance-4432869-1721130544.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e RANDOM SEED=1492791715 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3665.541 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3667.961 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.430 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.355 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.983 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3664.390 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.244 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.280 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 120918056 kB MemAvailable: 121395464 kB Buffers: 429812 kB Cached: 888728 kB SwapCached: 0 kB Active: 757272 kB Inactive: 9435588 kB Active(anon): 1476 kB Inactive(anon): 8910576 kB Active(file): 755796 kB Inactive(file): 525012 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19388 kB Writeback: 0 kB AnonPages: 8874356 kB Mapped: 138584 kB Shmem: 37704 kB KReclaimable: 73264 kB Slab: 167980 kB SReclaimable: 73264 kB SUnreclaim: 94716 kB KernelStack: 3840 kB PageTables: 27584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 10219648 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52576 kB HardwareCorrupted: 0 kB AnonHugePages: 4577280 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 170824 kB DirectMap2M: 19656704 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723600 MiB End job on nodeC008 at 2024-07-16 14:08:47