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 | 4241631 | 1330.9 | 1335.82 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_0.opb |
| MD5SUM | 26289d562a21d461fc03dcfb0c556d93 |
| 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 | 4241631 |
| Best CPU time to get the best result obtained on this benchmark | 686.735 |
| 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 | 134217728 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 100330219838 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 134217728 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 100330219838 |
| 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.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4504214-1751446214.opb>
0.09/0.12 c original problem has 9940 variables (9940 bin, 0 int, 0 impl, 0 cont) and 14846 constraints
0.09/0.12 c problem read in 0.11
0.09/0.20 c presolving:
0.20/0.29 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.31/0.36 c (0.3s) running MILP presolver
0.31/0.39 c (0.4s) MILP presolver found nothing
0.41/0.45 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.68/0.71 c (0.7s) probing: 51/4970 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.68/0.71 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.68/0.79 c (0.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.78/0.82 c (0.8s) no symmetry present (symcode time: 0.01)
0.78/0.83 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.78/0.83 c 4970 deleted vars, 9662 deleted constraints, 0 added constraints, 140 tightened bounds, 0 added holes, 2415 changed sides, 2415 changed coefficients
0.78/0.83 c 0 implications, 71 cliques
0.78/0.83 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 5184 constraints
0.78/0.83 c 2625 constraints of type <knapsack>
0.78/0.83 c 71 constraints of type <setppc>
0.78/0.83 c 3 constraints of type <linear>
0.78/0.83 c 2485 constraints of type <logicor>
0.78/0.83 c transformed objective value is always integral (scale: 2)
0.78/0.83 c Presolving Time: 0.64
0.78/0.83 c - non default parameters ----------------------------------------------------------------------
0.78/0.83 c # SCIP version 10.0.0
0.78/0.83 c
0.78/0.83 c # maximal time in seconds to run
0.78/0.83 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.78/0.83 c limits/time = 3596.994037
0.78/0.83 c
0.78/0.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.78/0.83 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.78/0.83 c limits/memory = 27900
0.78/0.83 c
0.78/0.83 c # belongs reading time to solving time?
0.78/0.83 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.78/0.83 c timing/reading = TRUE
0.78/0.83 c
0.78/0.83 c -----------------------------------------------------------------------------------------------
0.78/0.83 c start solving
0.78/0.83 c
0.88/0.90 o 208946847
0.88/0.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.88/0.90 c p 0.9s| 1 | 0 | 70 | - | clique| 0 |4970 |5184 |5184 | 0 | 0 | 0 | 0 |-3.000000e+00 | 2.089468e+08 | Inf | unknown
2.77/2.85 c 2.8s| 1 | 0 | 7186 | - | 97M | 0 |4970 |5184 |5184 | 0 | 0 | 17 | 0 | 1.916938e+06 | 2.089468e+08 | Large | unknown
2.77/2.86 c 2.8s| 1 | 0 | 7186 | - | 98M | 0 |4970 |5185 |5166 | 0 | 0 | 18 | 0 | 1.916938e+06 | 2.089468e+08 | Large | unknown
3.08/3.18 c 3.2s| 1 | 0 | 7927 | - | 101M | 0 |4970 |5185 |5183 | 17 | 1 | 18 | 0 | 1.994770e+06 | 2.089468e+08 | Large | unknown
3.37/3.48 c 3.5s| 1 | 0 | 8548 | - | 102M | 0 |4970 |5186 |5189 | 23 | 2 | 19 | 0 | 2.020070e+06 | 2.089468e+08 | Large | unknown
3.77/3.81 c 3.8s| 1 | 0 | 9048 | - | 103M | 0 |4970 |5187 |5209 | 43 | 3 | 20 | 0 | 2.032271e+06 | 2.089468e+08 | Large | unknown
4.08/4.15 c 4.1s| 1 | 0 | 9782 | - | 105M | 0 |4970 |5188 |5211 | 45 | 4 | 21 | 0 | 2.045771e+06 | 2.089468e+08 | Large | unknown
4.46/4.52 c 4.5s| 1 | 0 | 10374 | - | 106M | 0 |4970 |5189 |5217 | 51 | 5 | 22 | 0 | 2.062126e+06 | 2.089468e+08 | Large | unknown
4.86/4.92 c 4.9s| 1 | 0 | 11021 | - | 110M | 0 |4970 |5190 |5222 | 56 | 6 | 23 | 0 | 2.075071e+06 | 2.089468e+08 |9969.38%| unknown
5.16/5.24 c 5.2s| 1 | 0 | 11404 | - | 110M | 0 |4970 |5191 |5236 | 70 | 7 | 24 | 0 | 2.083502e+06 | 2.089468e+08 |9928.64%| unknown
5.57/5.67 c 5.7s| 1 | 0 | 12231 | - | 111M | 0 |4970 |5192 |5243 | 77 | 8 | 25 | 0 | 2.111109e+06 | 2.089468e+08 |9797.49%| unknown
5.98/6.05 c 6.0s| 1 | 0 | 12802 | - | 112M | 0 |4970 |5195 |5250 | 84 | 9 | 28 | 0 | 2.122551e+06 | 2.089468e+08 |9744.14%| unknown
6.26/6.39 c 6.4s| 1 | 0 | 13157 | - | 113M | 0 |4970 |5196 |5261 | 95 | 10 | 29 | 0 | 2.125179e+06 | 2.089468e+08 |9731.96%| unknown
6.46/6.57 c 6.5s| 1 | 0 | 13448 | - | 114M | 0 |4970 |5197 |5269 | 103 | 11 | 30 | 0 | 2.130096e+06 | 2.089468e+08 |9709.27%| unknown
6.66/6.71 c 6.7s| 1 | 0 | 13652 | - | 114M | 0 |4970 |5198 |5274 | 108 | 12 | 31 | 0 | 2.131259e+06 | 2.089468e+08 |9703.92%| unknown
6.76/6.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.76/6.88 c 6.9s| 1 | 0 | 13917 | - | 115M | 0 |4970 |5199 |5278 | 112 | 13 | 32 | 0 | 2.135541e+06 | 2.089468e+08 |9684.26%| unknown
6.86/7.00 c 7.0s| 1 | 0 | 14015 | - | 115M | 0 |4970 |5200 |5282 | 116 | 14 | 33 | 0 | 2.136286e+06 | 2.089468e+08 |9680.85%| unknown
7.26/7.30 c 7.3s| 1 | 0 | 14734 | - | 116M | 0 |4970 |5203 |5283 | 117 | 15 | 36 | 0 | 2.144661e+06 | 2.089468e+08 |9642.65%| unknown
7.46/7.50 c 7.5s| 1 | 0 | 15155 | - | 117M | 0 |4970 |5204 |5293 | 129 | 16 | 37 | 0 | 2.148701e+06 | 2.089468e+08 |9624.33%| unknown
7.56/7.66 c 7.6s| 1 | 0 | 15403 | - | 117M | 0 |4970 |5204 |5296 | 132 | 17 | 37 | 0 | 2.151568e+06 | 2.089468e+08 |9611.38%| unknown
7.76/7.81 c 7.8s| 1 | 0 | 15621 | - | 118M | 0 |4970 |5205 |5299 | 135 | 18 | 38 | 0 | 2.153530e+06 | 2.089468e+08 |9602.53%| unknown
7.86/7.97 c 7.9s| 1 | 0 | 15837 | - | 119M | 0 |4970 |5207 |5302 | 138 | 19 | 40 | 0 | 2.157323e+06 | 2.089468e+08 |9585.47%| unknown
7.97/8.08 c 8.1s| 1 | 0 | 15906 | - | 119M | 0 |4970 |5208 |5303 | 139 | 20 | 41 | 0 | 2.157795e+06 | 2.089468e+08 |9583.35%| unknown
26.40/26.53 c 26.5s| 1 | 2 | 57140 | - | 121M | 0 |4970 |5208 |5303 | 139 | 21 | 42 | 26 | 2.182435e+06 | 2.089468e+08 |9474.02%| unknown
75.47/75.77 o 113596679
75.47/75.77 c *75.8s| 30 | 17 |105654 |3097.2 | LP | 14 |4970 |5223 |5336 | 205 | 9 | 58 | 268 | 2.184854e+06 | 1.135967e+08 |5099.28%| 0.51%
91.32/91.62 c 91.6s| 100 | 31 |148492 |1340.0 | 127M | 35 |4970 |5285 |5315 | 211 | 1 | 122 | 310 | 2.184854e+06 | 1.135967e+08 |5099.28%| 11.72%
98.41/98.73 o 9961209
98.41/98.73 c *98.7s| 127 | 25 |163600 |1172.7 | LP | 45 |4970 |5293 |5297 | 227 | 1 | 138 | 330 | 2.184993e+06 | 9.961209e+06 | 355.89%| 13.94%
116.46/116.89 o 9352195
116.46/116.89 c * 117s| 155 | 34 |210646 |1265.0 | LP | 45 |4970 |5283 |5331 | 317 | 3 | 141 | 358 | 2.184993e+06 | 9.352195e+06 | 328.02%| 15.94%
119.45/119.81 o 8242831
119.45/119.81 c * 120s| 162 | 25 |213658 |1228.7 | LP | 45 |4970 |5283 |5331 | 317 | 2 | 146 | 373 | 2.184993e+06 | 8.242831e+06 | 277.25%| 17.38%
124.33/124.70 c 125s| 200 | 29 |230772 |1080.1 | 137M | 45 |4970 |5282 |5332 | 321 | 3 | 146 | 384 | 2.184993e+06 | 8.242831e+06 | 277.25%| 17.80%
143.28/143.79 o 7090669
143.28/143.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
143.28/143.79 c d 144s| 251 | 34 |277991 |1048.6 |veclendi| 45 |4970 |5286 |5317 | 0 | 1 | 165 | 413 | 2.204805e+06 | 7.090669e+06 | 221.60%| 18.04%
146.87/147.36 o 6544969
146.87/147.36 c * 147s| 260 | 36 |283850 |1034.8 | LP | 45 |4970 |5277 |5317 | 391 | 1 | 165 | 427 | 2.204805e+06 | 6.544969e+06 | 196.85%| 20.33%
154.45/154.94 c 155s| 300 | 44 |304903 | 966.8 | 144M | 45 |4970 |5280 |5319 | 394 | 0 | 169 | 441 | 2.204805e+06 | 6.544969e+06 | 196.85%| 20.42%
159.53/160.06 o 6281785
159.53/160.06 c * 160s| 312 | 44 |313606 | 957.5 | LP | 45 |4970 |5282 |5332 | 412 | 1 | 171 | 455 | 2.204805e+06 | 6.281785e+06 | 184.91%| 20.42%
159.92/160.49 o 6203423
159.92/160.49 c o 160s| 325 | 57 |315019 | 923.4 |rootsold| 53 |4970 |5278 |5332 | 412 | 2 | 171 | 455 | 2.204805e+06 | 6.203423e+06 | 181.36%| 20.42%
160.02/160.51 o 5954447
160.02/160.51 c * 160s| 326 | 47 |315075 | 920.7 | LP | 53 |4970 |5278 |5332 | 412 | 2 | 171 | 455 | 2.204805e+06 | 5.954447e+06 | 170.07%| 20.99%
176.58/177.14 o 5927001
176.58/177.14 c * 177s| 369 | 50 |353675 | 918.0 | LP | 53 |4970 |5284 |5319 | 456 | 1 | 200 | 490 | 2.204805e+06 | 5.927001e+06 | 168.82%| 21.71%
187.04/187.64 o 5519397
187.04/187.64 c * 188s| 388 | 57 |377491 | 934.5 | LP | 53 |4970 |5274 |5320 | 499 | 2 | 207 | 505 | 2.206332e+06 | 5.519397e+06 | 150.16%| 24.05%
192.22/192.82 c 193s| 400 | 57 |387620 | 931.8 | 155M | 53 |4970 |5271 |5337 | 518 | 1 | 208 | 517 | 2.206332e+06 | 5.519397e+06 | 150.16%| 24.24%
197.41/198.09 o 5509615
197.41/198.09 c d 198s| 422 | 61 |402034 | 917.3 |guideddi| 53 |4970 |5265 |5337 | 0 | 1 | 208 | 531 | 2.206332e+06 | 5.509615e+06 | 149.72%| 24.24%
205.08/205.70 c 206s| 500 | 69 |423913 | 817.8 | 155M | 82 |4970 |5258 |5341 | 526 | 1 | 219 | 544 | 2.206332e+06 | 5.509615e+06 | 149.72%| 24.95%
219.34/220.06 c 220s| 600 | 77 |461072 | 743.3 | 155M | 95 |4970 |5268 |5344 | 534 | 2 | 233 | 590 | 2.206332e+06 | 5.509615e+06 | 149.72%| 24.95%
228.31/229.03 c 229s| 700 | 89 |483327 | 668.8 | 156M | 137 |4970 |5308 |5344 | 537 | 1 | 285 | 626 | 2.206332e+06 | 5.509615e+06 | 149.72%| 24.95%
234.39/235.17 c 235s| 800 | 107 |496614 | 601.7 | 156M | 142 |4970 |5337 |5344 | 538 | 0 | 329 | 650 | 2.206332e+06 | 5.509615e+06 | 149.72%| 24.95%
239.46/240.24 c 240s| 900 | 133 |507989 | 547.4 | 157M | 156 |4970 |5340 |5342 | 544 | 2 | 365 | 674 | 2.206332e+06 | 5.509615e+06 | 149.72%| 24.95%
244.64/245.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
244.64/245.44 c 245s| 1000 | 145 |519261 | 503.9 | 157M | 156 |4970 |5317 |5339 | 549 | 1 | 411 | 705 | 2.206332e+06 | 5.509615e+06 | 149.72%| 24.95%
246.63/247.42 o 5490885
246.63/247.42 c L 247s| 1022 | 149 |524554 | 498.3 |crossove| 156 |4970 |5321 |5339 | 550 | 1 | 422 | 710 | 2.206332e+06 | 5.490885e+06 | 148.87%| 24.95%
251.11/251.96 c 252s| 1100 | 167 |534819 | 472.2 | 158M | 156 |4970 |5357 |5343 | 555 | 0 | 505 | 754 | 2.206332e+06 | 5.490885e+06 | 148.87%| 24.97%
294.15/295.13 c 295s| 1200 | 193 |630416 | 512.6 | 159M | 156 |4970 |5374 |5323 | 604 | 1 | 615 | 875 | 2.231882e+06 | 5.490885e+06 | 146.02%| 25.42%
315.06/316.16 c 316s| 1300 | 221 |680126 | 511.4 | 161M | 156 |4970 |5413 |5334 | 660 | 0 | 660 | 905 | 2.231882e+06 | 5.490885e+06 | 146.02%| 25.42%
348.60/349.85 c 350s| 1400 | 251 |753652 | 527.4 | 177M | 156 |4970 |5400 |5363 | 801 | 1 | 698 | 980 | 2.231882e+06 | 5.490885e+06 | 146.02%| 25.42%
385.55/386.99 c 387s| 1500 | 271 |827606 | 541.5 | 184M | 156 |4970 |5417 |5352 | 939 | 2 | 808 |1126 | 2.231882e+06 | 5.490885e+06 | 146.02%| 25.42%
435.23/436.82 c 437s| 1600 | 279 |933531 | 573.9 | 189M | 156 |4970 |5431 |5347 |1170 | 0 | 908 |1305 | 2.231882e+06 | 5.490885e+06 | 146.02%| 25.42%
491.49/493.34 c 493s| 1700 | 279 | 1060k| 614.9 | 191M | 156 |4970 |5484 |5351 |1378 | 0 |1026 |1500 | 2.252606e+06 | 5.490885e+06 | 143.76%| 25.71%
537.12/539.13 c 539s| 1800 | 279 | 1168k| 640.9 | 193M | 156 |4970 |5521 |5371 |1521 | 0 |1223 |1723 | 2.252606e+06 | 5.490885e+06 | 143.76%| 25.71%
584.21/586.49 c 586s| 1900 | 287 | 1275k| 663.1 | 194M | 156 |4970 |5468 |5352 |1685 | 2 |1282 |1876 | 2.252606e+06 | 5.490885e+06 | 143.76%| 25.72%
660.13/662.67 c 663s| 2000 | 295 | 1450k| 717.4 | 196M | 156 |4970 |5437 |5341 |2138 | 1 |1358 |2062 | 2.255992e+06 | 5.490885e+06 | 143.39%| 25.91%
675.17/677.79 c 678s| 2100 | 311 | 1487k| 701.3 | 200M | 156 |4970 |5419 |5347 |2161 | 1 |1378 |2100 | 2.255992e+06 | 5.490885e+06 | 143.39%| 25.91%
688.82/691.40 c 691s| 2200 | 317 | 1522k| 685.1 | 201M | 156 |4970 |5445 |5351 |2238 | 0 |1429 |2152 | 2.262686e+06 | 5.490885e+06 | 142.67%| 26.54%
701.68/704.32 c 704s| 2300 | 321 | 1552k| 668.6 | 201M | 156 |4970 |5453 |5357 |2337 | 0 |1487 |2204 | 2.262686e+06 | 5.490885e+06 | 142.67%| 26.54%
736.27/739.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
736.27/739.06 c 739s| 2400 | 337 | 1638k| 676.4 | 202M | 156 |4970 |5438 |5326 |2357 | 1 |1531 |2295 | 2.280015e+06 | 5.490885e+06 | 140.83%| 26.54%
782.09/785.06 c 785s| 2500 | 349 | 1747k| 692.8 | 202M | 156 |4970 |5429 |5329 |2426 | 1 |1554 |2398 | 2.309069e+06 | 5.490885e+06 | 137.80%| 26.90%
817.07/820.17 c 820s| 2600 | 359 | 1832k| 699.0 | 204M | 156 |4970 |5451 |5326 |2449 | 1 |1598 |2500 | 2.309069e+06 | 5.490885e+06 | 137.80%| 26.90%
819.96/823.08 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
819.96/823.08 c (run 1, node 2617) performing user restart
819.96/823.08 c
819.96/823.09 c (restart) converted 50 cuts from the global cut pool into linear constraints
819.96/823.09 c
820.06/823.13 c presolving:
820.06/823.14 c (round 1, fast) 1958 del vars, 1960 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 74 clqs
820.06/823.15 c (823.1s) running MILP presolver
820.06/823.16 c (823.1s) MILP presolver found nothing
820.06/823.16 c (round 2, exhaustive) 1958 del vars, 1960 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 16 chg coeffs, 50 upgd conss, 0 impls, 74 clqs
820.06/823.17 c (round 3, medium) 1958 del vars, 1960 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 23 chg coeffs, 50 upgd conss, 0 impls, 74 clqs
820.15/823.21 c (round 4, exhaustive) 1958 del vars, 1974 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 2748 chg coeffs, 50 upgd conss, 0 impls, 74 clqs
820.15/823.26 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
820.15/823.26 c 1958 deleted vars, 1975 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 2783 changed coefficients
820.15/823.26 c 0 implications, 74 cliques
820.15/823.26 c presolved problem has 3012 variables (3012 bin, 0 int, 0 impl, 0 cont) and 3523 constraints
820.15/823.26 c 705 constraints of type <knapsack>
820.15/823.26 c 71 constraints of type <setppc>
820.15/823.26 c 11 constraints of type <linear>
820.15/823.26 c 2736 constraints of type <logicor>
820.15/823.26 c transformed objective value is always integral (scale: 2)
820.15/823.26 c Presolving Time: 0.80
820.15/823.29 c transformed 13/15 original solutions to the transformed problem space
820.15/823.29 c
822.24/825.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
822.24/825.38 c 825s| 1 | 0 | 1848k| - | 209M | 0 |3012 |3523 |3276 | 0 | 0 |1598 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
822.34/825.49 c 825s| 1 | 0 | 1848k| - | 209M | 0 |3012 |3524 |3274 | 0 | 0 |1599 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
822.74/825.89 c 826s| 1 | 0 | 1849k| - | 210M | 0 |3012 |3523 |3316 | 42 | 1 |1599 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
823.14/826.23 c 826s| 1 | 0 | 1850k| - | 210M | 0 |3012 |3524 |3331 | 57 | 2 |1600 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
823.43/826.52 c 827s| 1 | 0 | 1850k| - | 211M | 0 |3012 |3525 |3346 | 72 | 3 |1601 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
823.73/826.80 c 827s| 1 | 0 | 1851k| - | 211M | 0 |3012 |3525 |3355 | 81 | 4 |1602 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
823.95/827.03 c 827s| 1 | 0 | 1851k| - | 211M | 0 |3012 |3525 |3362 | 88 | 5 |1603 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
824.13/827.28 c 827s| 1 | 0 | 1851k| - | 212M | 0 |3012 |3523 |3365 | 91 | 6 |1604 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
824.33/827.48 c 827s| 1 | 0 | 1852k| - | 212M | 0 |3012 |3521 |3372 | 98 | 7 |1605 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
824.33/827.48 c 827s| 1 | 0 | 1852k| - | 212M | 0 |3012 |3522 |3371 | 98 | 7 |1606 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
824.63/827.77 c 828s| 1 | 0 | 1852k| - | 212M | 0 |3012 |3522 |3376 | 103 | 8 |1606 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
824.83/827.97 c 828s| 1 | 0 | 1852k| - | 213M | 0 |3012 |3514 |3380 | 107 | 9 |1607 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
825.13/828.26 c 828s| 1 | 0 | 1853k| - | 213M | 0 |3012 |3511 |3384 | 111 | 10 |1608 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
825.33/828.47 c 828s| 1 | 0 | 1853k| - | 213M | 0 |3012 |3509 |3379 | 118 | 11 |1609 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
825.53/828.69 c 829s| 1 | 0 | 1854k| - | 214M | 0 |3012 |3509 |3387 | 126 | 12 |1610 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
825.72/828.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
825.72/828.86 c 829s| 1 | 0 | 1854k| - | 214M | 0 |3012 |3507 |3392 | 131 | 13 |1611 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
825.82/828.98 c 829s| 1 | 0 | 1854k| - | 214M | 0 |3012 |3506 |3393 | 132 | 14 |1612 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
826.04/829.19 c 829s| 1 | 0 | 1855k| - | 215M | 0 |3012 |3506 |3394 | 133 | 15 |1613 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
826.42/829.54 c 830s| 1 | 0 | 1856k| - | 215M | 0 |3012 |3504 |3400 | 139 | 16 |1615 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
826.52/829.68 c 830s| 1 | 0 | 1856k| - | 215M | 0 |3012 |3504 |3394 | 142 | 17 |1616 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
826.72/829.84 c 830s| 1 | 0 | 1856k| - | 216M | 0 |3012 |3503 |3396 | 144 | 18 |1617 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
826.82/829.98 c 830s| 1 | 0 | 1857k| - | 216M | 0 |3012 |3503 |3399 | 147 | 19 |1617 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
827.03/830.12 c 830s| 1 | 0 | 1857k| - | 216M | 0 |3012 |3503 |3401 | 149 | 20 |1617 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
827.03/830.19 c 830s| 1 | 0 | 1857k| - | 216M | 0 |3012 |3500 |3403 | 151 | 21 |1618 |2511 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
840.67/843.84 c 844s| 1 | 2 | 1905k| - | 217M | 0 |3012 |3492 |3403 | 151 | 22 |1635 |2525 | 2.309069e+06 | 5.490885e+06 | 137.80%| unknown
938.30/941.88 c 942s| 100 | 39 | 2214k| 802.2 | 224M | 26 |3012 |3463 |3379 | 343 | 1 |1700 |2802 | 2.309069e+06 | 5.490885e+06 | 137.80%| 1.92%
1034.77/1038.61 c 1039s| 200 | 51 | 2511k| 879.2 | 231M | 26 |3012 |3451 |3382 | 795 | 0 |1775 |3083 | 2.309069e+06 | 5.490885e+06 | 137.80%| 7.43%
1091.85/1095.99 c 1096s| 300 | 79 | 2717k| 919.6 | 232M | 26 |3012 |3451 |3388 | 957 | 0 |1812 |3229 | 2.438025e+06 | 5.490885e+06 | 125.22%| 9.02%
1116.17/1120.33 o 5375203
1116.17/1120.33 c *1120s| 390 | 94 | 2798k| 919.1 | LP | 44 |3012 |3499 |3413 |1009 | 1 |1874 |3311 | 2.455818e+06 | 5.375203e+06 | 118.88%| 16.84%
1121.45/1125.62 c 1126s| 400 | 98 | 2815k| 921.6 | 233M | 44 |3012 |3548 |3437 |1053 | 11 |1927 |3329 | 2.490577e+06 | 5.375203e+06 | 115.82%| 16.86%
1146.95/1151.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1146.95/1151.27 c 1151s| 500 | 105 | 2896k| 918.2 | 234M | 47 |3012 |3553 |3398 |1167 | 1 |1998 |3393 | 2.507826e+06 | 5.375203e+06 | 114.34%| 17.19%
1149.86/1154.20 o 5014871
1149.94/1154.20 c *1154s| 508 | 101 | 2902k| 917.6 | LP | 47 |3012 |3455 |3413 |1189 | 2 |1998 |3405 | 2.507826e+06 | 5.014871e+06 | 99.97%| 17.19%
1150.94/1155.20 o 4787805
1150.94/1155.20 c *1155s| 515 | 95 | 2907k| 917.1 | LP | 47 |3012 |3447 |3406 |1195 | 4 |1998 |3405 | 2.507826e+06 | 4.787805e+06 | 90.91%| 17.24%
1178.05/1182.47 c 1182s| 600 | 100 | 2997k| 921.0 | 237M | 53 |3012 |3499 |3414 |1327 | 2 |2065 |3517 | 2.507826e+06 | 4.787805e+06 | 90.91%| 18.85%
1183.83/1188.20 o 4626643
1183.83/1188.20 c d1188s| 630 | 100 | 3017k| 918.7 |guideddi| 64 |3012 |3524 |3420 | 0 | 1 |2092 |3545 | 2.507826e+06 | 4.626643e+06 | 84.49%| 19.09%
1187.81/1192.27 o 4569531
1187.81/1192.27 c *1192s| 635 | 97 | 3031k| 921.6 |strongbr| 64 |3012 |3513 |3432 |1350 | 5 |2095 |3554 | 2.562504e+06 | 4.569531e+06 | 78.32%| 19.19%
1190.71/1195.13 o 4539153
1190.71/1195.13 c d1195s| 660 | 104 | 3039k| 916.9 |distribu| 69 |3012 |3476 |3419 | 0 | 1 |2127 |3570 | 2.562504e+06 | 4.539153e+06 | 77.14%| 19.50%
1202.95/1207.46 o 4416809
1202.95/1207.46 c *1207s| 673 | 97 | 3074k| 924.0 |strongbr| 69 |3012 |3472 |3418 |1424 | 2 |2164 |3605 | 2.733866e+06 | 4.416809e+06 | 61.56%| 22.79%
1204.66/1209.19 o 4270257
1204.66/1209.19 c *1209s| 688 | 86 | 3079k| 921.4 | LP | 69 |3012 |3462 |3425 |1433 | 3 |2194 |3619 | 2.733866e+06 | 4.270257e+06 | 56.20%| 24.25%
1205.14/1209.70 o 4241631
1205.14/1209.70 c *1210s| 692 | 85 | 3082k| 921.1 | LP | 69 |3012 |3457 |3425 |1433 | 3 |2194 |3619 | 2.733866e+06 | 4.241631e+06 | 55.15%| 24.27%
1206.24/1210.71 c 1211s| 700 | 85 | 3084k| 919.4 | 240M | 69 |3012 |3464 |3425 |1433 | 0 |2202 |3627 | 2.733866e+06 | 4.241631e+06 | 55.15%| 24.53%
1224.96/1229.55 c 1230s| 800 | 81 | 3145k| 910.5 | 240M | 69 |3012 |3468 |3422 |1455 | 4 |2248 |3706 | 2.759779e+06 | 4.241631e+06 | 53.69%| 28.96%
1237.53/1242.12 c 1242s| 900 | 77 | 3187k| 896.5 | 241M | 69 |3012 |3485 |3416 |1478 | 0 |2270 |3760 | 2.759779e+06 | 4.241631e+06 | 53.69%| 29.05%
1264.92/1269.61 c 1270s| 1000 | 63 | 3279k| 897.0 | 241M | 69 |3012 |3433 |3417 |1523 | 0 |2323 |3860 | 3.028928e+06 | 4.241631e+06 | 40.04%| 47.23%
1297.70/1302.53 c 1303s| 1100 | 37 | 3384k| 901.2 | 241M | 69 |3012 |3428 |3384 |1582 | 2 |2417 |3995 | 3.153467e+06 | 4.241631e+06 | 34.51%| 67.67%
1326.29/1331.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1326.29/1331.26 c 1331s| 1200 | 10 | 3468k| 899.7 | 242M | 69 |3012 |3472 |3408 |1664 | 0 |2513 |4105 | 3.436111e+06 | 4.241631e+06 | 23.44%| 87.07%
1330.77/1335.76 c
1330.77/1335.76 c SCIP Status : problem is solved [optimal solution found]
1330.77/1335.76 c Solving Time (sec) : 1335.74
1330.77/1335.76 c Solving Nodes : 1216 (total of 3833 nodes in 2 runs)
1330.77/1335.76 c Primal Bound : +4.24163100000000e+06 (24 solutions)
1330.77/1335.76 c Dual Bound : +4.24163100000000e+06
1330.77/1335.76 c Gap : 0.00 %
1330.77/1335.77 s OPTIMUM FOUND
1330.77/1335.77 v -x9730 -x9589 -x9518 -x9447 -x9376 -x9305 -x9234 -x9163 -x9092 -x9021 -x8950 -x8809 -x8738 -x8667 -x8596 -x8525 -x8454 -x8383 -x8312
1330.77/1335.77 v -x8241 -x8170 -x8029 -x7958 -x7887 -x7816 -x7745 -x7674 -x7603 -x7532 -x7461 -x7390 -x7249 -x7178 -x7107 -x7036 -x6965
1330.77/1335.77 v -x6894 -x6823 -x6752 -x6681 -x6610 -x6469 -x6398 -x6327 -x6256 -x6185 -x6114 -x6043 -x5972 -x5901 -x5830 -x5689 -x5618 -x5547
1330.77/1335.77 v -x5476 -x5405 -x5334 -x5263 -x5192 -x5121 -x5050 -x9879 -x9808 -x9737 -x9596 -x8825 -x8054 -x7283 -x6512 -x5741 -x4760 -x4619
1330.77/1335.77 v -x4548 -x4477 -x4406 -x4335 -x4264 -x4193 -x4122 -x4051 -x3980 -x3839 -x3768 -x3697 -x3626 -x3555 -x3484 -x3413 -x3342 -x3271
1330.77/1335.77 v -x3200 -x3059 -x2988 -x2917 -x2846 -x2775 -x2704 -x2633 -x2562 -x2491 -x2420 -x2279 -x2208 -x2137 -x2066 -x1995 -x1924 -x1853
1330.77/1335.77 v -x1782 -x1711 -x1640 -x1499 -x1428 -x1357 -x1286 -x1215 -x1144 -x1073 -x1002 -x931 -x860 -x719 -x648 -x577 -x506 -x435 -x364
1330.77/1335.77 v -x293 -x222 -x151 -x80 -x4909 -x4838 -x4767 -x4626 -x3855 -x3084 -x2313 -x1542 -x771 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1330.77/1335.77 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
1330.77/1335.77 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
1330.77/1335.77 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x9729 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719
1330.77/1335.77 v -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 -x9710 -x9709 -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 -x9702
1330.77/1335.77 v -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9695 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684
1330.77/1335.77 v -x9683 -x9682 -x9681 -x9680 -x9679 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666
1330.77/1335.77 v -x9665 -x9664 -x9663 -x9662 -x9661 -x9590 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9582 -x9581 -x9580 -x9579 -x9578 -x9577
1330.77/1335.77 v -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9566 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559
1330.77/1335.77 v -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541
1330.77/1335.77 v -x9540 -x9539 -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523
1330.77/1335.77 v -x9522 -x9521 -x9520 -x9519 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505
1330.77/1335.77 v -x9504 -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9487
1330.77/1335.77 v -x9486 -x9485 -x9484 -x9483 -x9482 -x9481 -x9480 -x9479 -x9478 -x9477 -x9476 -x9475 -x9474 -x9473 -x9472 -x9471 -x9470 -x9469
1330.77/1335.77 v -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9452 -x9451
1330.77/1335.77 v -x9450 -x9449 -x9448 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 -x9439 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432
1330.77/1335.77 v -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414
1330.77/1335.77 v -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396
1330.77/1335.77 v -x9395 -x9394 -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379
1330.77/1335.77 v -x9378 -x9377 -x9375 -x9374 -x9373 -x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360
1330.77/1335.77 v -x9359 -x9358 -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342
1330.77/1335.77 v -x9341 -x9340 -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324
1330.77/1335.77 v -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306
1330.77/1335.77 v -x9304 -x9303 -x9302 -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287
1330.77/1335.77 v -x9286 -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 -x9272 -x9271 -x9270 -x9269
1330.77/1335.77 v -x9268 -x9267 -x9266 -x9265 -x9264 -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252
1330.77/1335.77 v -x9251 -x9250 -x9249 -x9248 -x9247 -x9246 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9233
1330.77/1335.77 v -x9232 -x9231 -x9230 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215
1330.77/1335.77 v -x9214 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199 -x9198 -x9197
1330.77/1335.77 v -x9196 -x9195 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 -x9181 -x9180 -x9179
1330.77/1335.77 v -x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9162 -x9161 -x9160
1330.77/1335.77 v -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142
1330.77/1335.77 v -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9125
1330.77/1335.77 v -x9124 -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107
1330.77/1335.77 v -x9106 -x9105 -x9104 -x9103 -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9091 -x9090 -x9089 -x9088
1330.77/1335.77 v -x9087 -x9086 -x9085 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070
1330.77/1335.77 v -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052
1330.77/1335.77 v -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034
1330.77/1335.77 v -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025 -x9024 -x9023 -x9022 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015
1330.77/1335.77 v -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998
1330.77/1335.77 v -x8997 -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980
1330.77/1335.77 v -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962
1330.77/1335.77 v -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943
1330.77/1335.77 v -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925
1330.77/1335.77 v -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907
1330.77/1335.77 v -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8820 -x8819
1330.77/1335.77 v -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801
1330.77/1335.77 v -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783
1330.77/1335.77 v -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765
1330.77/1335.77 v -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747
1330.77/1335.77 v -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728
1330.77/1335.77 v -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710
1330.77/1335.77 v -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692
1330.77/1335.77 v -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675
1330.77/1335.77 v -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656
1330.77/1335.77 v -x8655 -x8654 -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638
1330.77/1335.77 v -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620
1330.77/1335.77 v -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602
1330.77/1335.77 v -x8601 -x8600 -x8599 -x8598 -x8597 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583
1330.77/1335.77 v -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565
1330.77/1335.77 v -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548
1330.77/1335.77 v -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530
1330.77/1335.77 v -x8529 -x8528 -x8527 -x8526 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511
1330.77/1335.77 v -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493
1330.77/1335.77 v -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475
1330.77/1335.77 v -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457
1330.77/1335.77 v -x8456 -x8455 -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438
1330.77/1335.77 v -x8437 x8436 -x8435 -x8434 -x8433 x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 x8423 -x8422 -x8421 -x8420
1330.77/1335.77 v -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402
1330.77/1335.77 v -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 -x8384
1330.77/1335.77 v -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366
1330.77/1335.77 v -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348
1330.77/1335.77 v -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330
1330.77/1335.77 v -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8311
1330.77/1335.77 v -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293
1330.77/1335.77 v -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275
1330.77/1335.77 v -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257
1330.77/1335.77 v -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8240 -x8239
1330.77/1335.77 v -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221
1330.77/1335.77 v -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203
1330.77/1335.77 v -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185
1330.77/1335.77 v -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8169 -x8168 -x8167 -x8166
1330.77/1335.77 v -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148
1330.77/1335.77 v -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130
1330.77/1335.77 v -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043
1330.77/1335.77 v -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8028 -x8027 -x8026 -x8025 -x8024
1330.77/1335.77 v -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006
1330.77/1335.77 v -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988
1330.77/1335.77 v -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970
1330.77/1335.77 v -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951
1330.77/1335.77 v -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933
1330.77/1335.77 v -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916
1330.77/1335.77 v -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898
1330.77/1335.77 v -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879
1330.77/1335.77 v -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861
1330.77/1335.77 v -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843
1330.77/1335.77 v -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825
1330.77/1335.77 v -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806
1330.77/1335.77 v -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789
1330.77/1335.77 v -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771
1330.77/1335.77 v -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753
1330.77/1335.77 v -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734
1330.77/1335.77 v -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716
1330.77/1335.77 v -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698
1330.77/1335.77 v -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680
1330.77/1335.77 v -x7679 -x7678 -x7677 -x7676 -x7675 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662
1330.77/1335.77 v -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644
1330.77/1335.77 v -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626
1330.77/1335.77 v -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608
1330.77/1335.77 v -x7607 -x7606 -x7605 -x7604 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589
1330.77/1335.77 v -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571
1330.77/1335.77 v -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553
1330.77/1335.77 v -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536
1330.77/1335.77 v -x7535 -x7534 -x7533 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517
1330.77/1335.77 v -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499
1330.77/1335.77 v -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481
1330.77/1335.77 v -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463
1330.77/1335.77 v -x7462 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444
1330.77/1335.77 v -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426
1330.77/1335.77 v -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409
1330.77/1335.77 v -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391
1330.77/1335.77 v -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372
1330.77/1335.77 v -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354
1330.77/1335.77 v -x7353 -x7352 -x7351 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266
1330.77/1335.77 v -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7248 -x7247
1330.77/1335.77 v -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229
1330.77/1335.77 v -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212
1330.77/1335.77 v -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194
1330.77/1335.77 v -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7177 -x7176 -x7175
1330.77/1335.77 v -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157
1330.77/1335.77 v -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139
1330.77/1335.77 v -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121
1330.77/1335.77 v -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7106 -x7105 -x7104 -x7103 -x7102
1330.77/1335.77 v -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085
1330.77/1335.77 v -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067
1330.77/1335.77 v -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 x7054 -x7053 -x7052 -x7051 -x7050 -x7049
1330.77/1335.77 v -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7035 -x7034 -x7033 x7032 -x7031 -x7030
1330.77/1335.77 v -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012
1330.77/1335.77 v -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994
1330.77/1335.77 v -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976
1330.77/1335.77 v -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957
1330.77/1335.77 v -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939
1330.77/1335.77 v -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921
1330.77/1335.77 v -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904
1330.77/1335.77 v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885
1330.77/1335.77 v -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867
1330.77/1335.77 v -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849
1330.77/1335.77 v -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831
1330.77/1335.77 v -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812
1330.77/1335.77 v -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794
1330.77/1335.77 v -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777
1330.77/1335.77 v -x6776 -x6775 x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759
1330.77/1335.77 v -x6758 -x6757 x6756 -x6755 -x6754 -x6753 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740
1330.77/1335.77 v -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722
1330.77/1335.77 v -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704
1330.77/1335.77 v -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686
1330.77/1335.77 v -x6685 -x6684 -x6683 -x6682 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667
1330.77/1335.77 v -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649
1330.77/1335.77 v -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631
1330.77/1335.77 v -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614
1330.77/1335.77 v -x6613 -x6612 -x6611 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595
1330.77/1335.77 v -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6510 -x6509 -x6508 -x6507
1330.77/1335.77 v -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489
1330.77/1335.77 v -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471
1330.77/1335.77 v -x6470 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452
1330.77/1335.77 v -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434
1330.77/1335.77 v -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417
1330.77/1335.77 v -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399
1330.77/1335.77 v -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380
1330.77/1335.77 v -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362
1330.77/1335.77 v -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344
1330.77/1335.77 v -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6326 -x6325
1330.77/1335.77 v -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307
1330.77/1335.77 v -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290
1330.77/1335.77 v -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272
1330.77/1335.77 v -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6255 -x6254 -x6253
1330.77/1335.77 v -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235
1330.77/1335.77 v -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217
1330.77/1335.77 v -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199
1330.77/1335.77 v -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6184 -x6183 -x6182 -x6181 -x6180
1330.77/1335.77 v -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163
1330.77/1335.77 v -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145
1330.77/1335.77 v -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127
1330.77/1335.77 v -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108
1330.77/1335.77 v -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090
1330.77/1335.77 v -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 x6074 -x6073 -x6072
1330.77/1335.77 v -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 x6056 -x6055 -x6054
1330.77/1335.77 v -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035
1330.77/1335.77 v -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017
1330.77/1335.77 v -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000
1330.77/1335.77 v -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982
1330.77/1335.77 v -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963
1330.77/1335.77 v -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945
1330.77/1335.77 v -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927
1330.77/1335.77 v -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909
1330.77/1335.77 v -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890
1330.77/1335.77 v -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873
1330.77/1335.77 v -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855
1330.77/1335.77 v -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837
1330.77/1335.77 v -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818
1330.77/1335.77 v -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730
1330.77/1335.77 v -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712
1330.77/1335.77 v -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694
1330.77/1335.77 v -x5693 -x5692 -x5691 -x5690 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676
1330.77/1335.77 v -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658
1330.77/1335.77 v -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640
1330.77/1335.77 v -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622
1330.77/1335.77 v -x5621 -x5620 -x5619 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603
1330.77/1335.77 v -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585
1330.77/1335.77 v -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567
1330.77/1335.77 v -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550
1330.77/1335.77 v -x5549 -x5548 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531
1330.77/1335.77 v -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513
1330.77/1335.77 v -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495
1330.77/1335.77 v -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477
1330.77/1335.77 v -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458
1330.77/1335.77 v -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440
1330.77/1335.77 v -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423
1330.77/1335.77 v -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5404
1330.77/1335.77 v -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386
1330.77/1335.77 v -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368
1330.77/1335.77 v -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350
1330.77/1335.77 v -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5333 -x5332 -x5331
1330.77/1335.77 v -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313
1330.77/1335.77 v -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296
1330.77/1335.77 v -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278
1330.77/1335.77 v -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5262 -x5261 -x5260 -x5259
1330.77/1335.77 v -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241
1330.77/1335.77 v -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223
1330.77/1335.77 v -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205
1330.77/1335.77 v -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186
1330.77/1335.77 v -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169
1330.77/1335.77 v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151
1330.77/1335.77 v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133
1330.77/1335.77 v -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114
1330.77/1335.77 v -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096
1330.77/1335.77 v -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078
1330.77/1335.77 v -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060
1330.77/1335.77 v -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042
1330.77/1335.77 v -x5041 -x9940 -x9939 -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 -x9925 -x9924
1330.77/1335.77 v -x9923 -x9922 -x9921 -x9920 -x9919 -x9918 -x9917 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 -x9907 -x9906
1330.77/1335.77 v -x9905 -x9904 -x9903 -x9902 -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 -x9889 -x9888
1330.77/1335.77 v -x9887 -x9886 -x9885 -x9884 -x9883 -x9882 -x9881 -x9880 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 -x9871 -x9870 -x9869
1330.77/1335.77 v -x9868 -x9867 -x9866 -x9865 -x9864 -x9863 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 -x9856 -x9855 -x9854 -x9853 -x9852 -x9851
1330.77/1335.77 v -x9850 -x9849 -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839 -x9838 -x9837 -x9836 -x9835 -x9834 -x9833
1330.77/1335.77 v -x9832 -x9831 -x9830 -x9829 -x9828 -x9827 -x9826 -x9825 -x9824 -x9823 -x9822 -x9821 -x9820 -x9819 -x9818 -x9817 -x9816
1330.77/1335.77 v -x9815 -x9814 -x9813 -x9812 -x9811 -x9810 -x9809 -x9807 -x9806 -x9805 -x9804 -x9803 -x9802 -x9801 -x9800 -x9799 -x9798 -x9797
1330.77/1335.77 v -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784 -x9783 -x9782 -x9781 -x9780 -x9779
1330.77/1335.77 v -x9778 -x9777 -x9776 -x9775 -x9774 -x9773 -x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9762 -x9761
1330.77/1335.77 v -x9760 -x9759 -x9758 -x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9749 -x9748 -x9747 -x9746 -x9745 -x9744 -x9743
1330.77/1335.77 v -x9742 -x9741 -x9740 -x9739 -x9738 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 -x9654
1330.77/1335.77 v -x9653 -x9652 -x9651 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 -x9636
1330.77/1335.77 v -x9635 -x9634 -x9633 -x9632 -x9631 -x9630 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619
1330.77/1335.77 v -x9618 -x9617 -x9616 -x9615 -x9614 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601
1330.77/1335.77 v -x9600 -x9599 -x9598 -x9597 -x9595 -x9594 -x9593 -x9592 -x9591 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 -x8882
1330.77/1335.77 v -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864
1330.77/1335.77 v -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846
1330.77/1335.77 v -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828
1330.77/1335.77 v -x8827 -x8826 -x8824 -x8823 -x8822 -x8821 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109
1330.77/1335.77 v -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092
1330.77/1335.77 v -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074
1330.77/1335.77 v -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056
1330.77/1335.77 v -x8055 -x8053 -x8052 -x8051 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337
1330.77/1335.77 v -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319
1330.77/1335.77 v -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301
1330.77/1335.77 v -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7282
1330.77/1335.77 v -x7281 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565
1330.77/1335.77 v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547
1330.77/1335.77 v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529
1330.77/1335.77 v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6511 -x5810
1330.77/1335.77 v -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792
1330.77/1335.77 v -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774
1330.77/1335.77 v -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756
1330.77/1335.77 v -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5040 -x5039 -x5038
1330.77/1335.77 v -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 x5024 -x5023 -x5022 -x5021 -x5020
1330.77/1335.77 v -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 x5002
1330.77/1335.77 v -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984
1330.77/1335.77 v -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4759 -x4758 -x4757 -x4756 -x4755
1330.77/1335.77 v -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737
1330.77/1335.77 v -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719
1330.77/1335.77 v -x4718 -x4717 -x4716 -x4715 -x4714 x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701
1330.77/1335.77 v -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4620 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612
1330.77/1335.77 v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594
1330.77/1335.77 v -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576
1330.77/1335.77 v -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558
1330.77/1335.77 v -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540
1330.77/1335.77 v -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522
1330.77/1335.77 v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504
1330.77/1335.77 v x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486
1330.77/1335.77 v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467
1330.77/1335.77 v -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449
1330.77/1335.77 v -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 x4433 -x4432 -x4431
1330.77/1335.77 v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413
1330.77/1335.77 v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 x4394
1330.77/1335.77 v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376
1330.77/1335.77 v -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359
1330.77/1335.77 v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341
1330.77/1335.77 v -x4340 -x4339 -x4338 -x4337 -x4336 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322
1330.77/1335.77 v -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304
1330.77/1335.77 v -x4303 x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286
1330.77/1335.77 v -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268
1330.77/1335.77 v -x4267 -x4266 -x4265 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 x4254 -x4253 -x4252 -x4251 -x4250 -x4249
1330.77/1335.77 v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231
1330.77/1335.77 v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213
1330.77/1335.77 v -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196
1330.77/1335.77 v -x4195 -x4194 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177
1330.77/1335.77 v -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159
1330.77/1335.77 v -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141
1330.77/1335.77 v -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123
1330.77/1335.77 v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104
1330.77/1335.77 v -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086
1330.77/1335.77 v -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068
1330.77/1335.77 v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4050 -x4049
1330.77/1335.77 v -x4048 -x4047 -x4046 -x4045 x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031
1330.77/1335.77 v -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014
1330.77/1335.77 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996
1330.77/1335.77 v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3979 -x3978 -x3977
1330.77/1335.77 v -x3976 -x3975 x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959
1330.77/1335.77 v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941
1330.77/1335.77 v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923
1330.77/1335.77 v -x3922 -x3921 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3838 -x3837 -x3836 -x3835 -x3834
1330.77/1335.77 v -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816
1330.77/1335.77 v -x3815 -x3814 -x3813 x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798
1330.77/1335.77 v -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781
1330.77/1335.77 v -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762
1330.77/1335.77 v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744
1330.77/1335.77 v -x3743 x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726
1330.77/1335.77 v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708
1330.77/1335.77 v -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689
1330.77/1335.77 v -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671
1330.77/1335.77 v -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653
1330.77/1335.77 v -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635
1330.77/1335.77 v -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3625 x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616
1330.77/1335.77 v -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599
1330.77/1335.77 v -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581
1330.77/1335.77 v -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563
1330.77/1335.77 v -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544
1330.77/1335.77 v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526
1330.77/1335.77 v -x3525 -x3524 x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508
1330.77/1335.77 v -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 x3499 -x3498 -x3497 x3496 -x3495 x3494 x3493 x3492 x3491 x3490 -x3489
1330.77/1335.77 v -x3488 -x3487 x3486 -x3485 x3483 -x3482 -x3481 -x3480 -x3479 x3478 x3477 -x3476 x3475 -x3474 -x3473 x3472 x3471 x3470 -x3469
1330.77/1335.77 v -x3468 -x3467 -x3466 -x3465 -x3464 x3463 -x3462 x3461 -x3460 -x3459 -x3458 -x3457 x3456 -x3455 -x3454 -x3453 x3452 -x3451
1330.77/1335.77 v -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 x3440 -x3439 -x3438 -x3437 x3436 -x3435 -x3434 -x3433
1330.77/1335.77 v x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415
1330.77/1335.77 v x3414 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396
1330.77/1335.77 v -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378
1330.77/1335.77 v -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360
1330.77/1335.77 v -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3341
1330.77/1335.77 v -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323
1330.77/1335.77 v -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305
1330.77/1335.77 v -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287
1330.77/1335.77 v -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3270 -x3269
1330.77/1335.77 v -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251
1330.77/1335.77 v -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233
1330.77/1335.77 v -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215
1330.77/1335.77 v -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3199 -x3198 -x3197 -x3196
1330.77/1335.77 v -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 x3182 -x3181 -x3180 -x3179 -x3178
1330.77/1335.77 v -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160
1330.77/1335.77 v -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072
1330.77/1335.77 v -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053
1330.77/1335.77 v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035
1330.77/1335.77 v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018
1330.77/1335.77 v -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000
1330.77/1335.77 v -x2999 -x2998 -x2997 -x2996 -x2995 x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981
1330.77/1335.77 v -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963
1330.77/1335.77 v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945
1330.77/1335.77 v -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927
1330.77/1335.77 v -x2926 -x2925 x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908
1330.77/1335.77 v -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890
1330.77/1335.77 v -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872
1330.77/1335.77 v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855
1330.77/1335.77 v -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836
1330.77/1335.77 v -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 x2823 -x2822 -x2821 -x2820 -x2819 -x2818
1330.77/1335.77 v -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800
1330.77/1335.77 v -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 x2784 -x2783 -x2782
1330.77/1335.77 v -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763
1330.77/1335.77 v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745
1330.77/1335.77 v -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727
1330.77/1335.77 v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709
1330.77/1335.77 v -x2708 -x2707 -x2706 -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 x2692 -x2691 -x2690
1330.77/1335.77 v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673
1330.77/1335.77 v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655
1330.77/1335.77 v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637
1330.77/1335.77 v -x2636 -x2635 -x2634 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618
1330.77/1335.77 v -x2617 -x2616 -x2615 -x2614 x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600
1330.77/1335.77 v -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582
1330.77/1335.77 v -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564
1330.77/1335.77 v -x2563 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545
1330.77/1335.77 v -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527
1330.77/1335.77 v -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510
1330.77/1335.77 v -x2509 -x2508 -x2507 -x2506 -x2505 x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492
1330.77/1335.77 v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473
1330.77/1335.77 v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455
1330.77/1335.77 v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437
1330.77/1335.77 v -x2436 -x2435 x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2419 -x2418
1330.77/1335.77 v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400
1330.77/1335.77 v -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382
1330.77/1335.77 v -x2381 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294
1330.77/1335.77 v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2278 -x2277 -x2276
1330.77/1335.77 v -x2275 -x2274 -x2273 x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258
1330.77/1335.77 v -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240
1330.77/1335.77 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222
1330.77/1335.77 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2207 -x2206 -x2205 -x2204 -x2203
1330.77/1335.77 v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185
1330.77/1335.77 v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167
1330.77/1335.77 v -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149
1330.77/1335.77 v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130
1330.77/1335.77 v -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112
1330.77/1335.77 v -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095
1330.77/1335.77 v -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077
1330.77/1335.77 v -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058
1330.77/1335.77 v -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040
1330.77/1335.77 v -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022
1330.77/1335.77 v -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004
1330.77/1335.77 v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985
1330.77/1335.77 v -x1984 x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967
1330.77/1335.77 v -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950
1330.77/1335.77 v -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932
1330.77/1335.77 v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1923 x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913
1330.77/1335.77 v -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895
1330.77/1335.77 v -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877
1330.77/1335.77 v -x1876 -x1875 x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859
1330.77/1335.77 v -x1858 -x1857 -x1856 -x1855 -x1854 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840
1330.77/1335.77 v -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822
1330.77/1335.77 v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 x1815 -x1814 -x1813 -x1812 -x1811 -x1810 x1809 x1808 -x1807 -x1806 -x1805 -x1804
1330.77/1335.77 v -x1803 -x1802 -x1801 x1800 x1799 -x1798 -x1797 -x1796 -x1795 x1794 -x1793 -x1792 -x1791 -x1790 x1789 -x1788 -x1787 -x1786
1330.77/1335.77 v -x1785 x1784 -x1783 -x1781 x1780 x1779 x1778 -x1777 -x1776 x1775 x1774 -x1773 -x1772 x1771 -x1770 -x1769 -x1768 -x1767 x1766
1330.77/1335.77 v -x1765 x1764 -x1763 x1762 x1761 -x1760 -x1759 x1758 x1757 -x1756 -x1755 x1754 x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747
1330.77/1335.77 v -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730 -x1729
1330.77/1335.77 v -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1710
1330.77/1335.77 v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692
1330.77/1335.77 v -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674
1330.77/1335.77 v -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656
1330.77/1335.77 v -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 -x1639 -x1638 -x1637
1330.77/1335.77 v -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619
1330.77/1335.77 v -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532
1330.77/1335.77 v -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514
1330.77/1335.77 v -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 -x1498 -x1497 -x1496 -x1495
1330.77/1335.77 v -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477
1330.77/1335.77 v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459
1330.77/1335.77 v -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441
1330.77/1335.77 v -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 x1432 -x1431 -x1430 -x1429 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422
1330.77/1335.77 v -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404
1330.77/1335.77 v -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386
1330.77/1335.77 v -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369
1330.77/1335.77 v -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1356 -x1355 -x1354 x1353 -x1352 -x1351 -x1350
1330.77/1335.77 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332
1330.77/1335.77 v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314
1330.77/1335.77 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296
1330.77/1335.77 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277
1330.77/1335.77 v -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259
1330.77/1335.77 v -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241
1330.77/1335.77 v -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223
1330.77/1335.77 v x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204
1330.77/1335.77 v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187
1330.77/1335.77 v -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169
1330.77/1335.77 v -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 x1152 -x1151
1330.77/1335.77 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132
1330.77/1335.77 v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 x1120 -x1119 x1118 x1117 -x1116 -x1115 -x1114
1330.77/1335.77 v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 x1105 -x1104 -x1103 x1102 x1101 -x1100 -x1099 -x1098 -x1097 x1096 -x1095
1330.77/1335.77 v -x1094 x1093 -x1092 -x1091 -x1090 -x1089 x1088 x1087 -x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076
1330.77/1335.77 v -x1075 -x1074 -x1072 -x1071 x1070 x1069 x1068 x1067 -x1066 x1065 -x1064 x1063 -x1062 -x1061 -x1060 x1059 -x1058 -x1057
1330.77/1335.77 v -x1056 x1055 -x1054 -x1053 -x1052 x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038
1330.77/1335.77 v -x1037 -x1036 -x1035 x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020
1330.77/1335.77 v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003
1330.77/1335.77 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981
1330.77/1335.77 v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960
1330.77/1335.77 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 x942 -x941 -x940 -x939
1330.77/1335.77 v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1330.77/1335.77 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897
1330.77/1335.77 v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876
1330.77/1335.77 v -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x859 -x858 -x857 -x856 -x855 -x854
1330.77/1335.77 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763
1330.77/1335.77 v -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742
1330.77/1335.77 v -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723 -x722 -x721
1330.77/1335.77 v -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699
1330.77/1335.77 v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678
1330.77/1335.77 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658
1330.77/1335.77 v -x657 -x656 -x655 -x654 x653 -x652 -x651 -x650 -x649 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
1330.77/1335.77 v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
1330.77/1335.77 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
1330.77/1335.77 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x576 -x575 -x574 -x573 -x572
1330.77/1335.77 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551
1330.77/1335.77 v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530
1330.77/1335.77 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509
1330.77/1335.77 v -x508 -x507 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
1330.77/1335.77 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467
1330.77/1335.77 v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
1330.77/1335.77 v -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424
1330.77/1335.77 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403
1330.77/1335.77 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382
1330.77/1335.77 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x363 -x362 -x361 -x360
1330.77/1335.77 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
1330.77/1335.77 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318
1330.77/1335.77 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297
1330.77/1335.77 v -x296 -x295 -x294 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
1330.77/1335.77 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255
1330.77/1335.77 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
1330.77/1335.77 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212
1330.77/1335.77 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
1330.77/1335.77 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170
1330.77/1335.77 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x150 -x149 -x148
1330.77/1335.77 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1330.77/1335.77 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1330.77/1335.77 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83
1330.77/1335.77 v -x82 -x81 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961
1330.77/1335.77 v -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943
1330.77/1335.77 v -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925
1330.77/1335.77 v -x4924 x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4908 -x4907 -x4906
1330.77/1335.77 v -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888
1330.77/1335.77 v -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870
1330.77/1335.77 v -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852
1330.77/1335.77 v -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4837 -x4836 -x4835 -x4834 -x4833
1330.77/1335.77 v -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816
1330.77/1335.77 v -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798
1330.77/1335.77 v -x4797 -x4796 -x4795 -x4794 -x4793 x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780
1330.77/1335.77 v -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761
1330.77/1335.77 v -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 x4674 -x4673
1330.77/1335.77 v -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655
1330.77/1335.77 v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637
1330.77/1335.77 v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4625 -x4624 -x4623 -x4622 -x4621 -x3920 -x3919 -x3918
1330.77/1335.77 v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900
1330.77/1335.77 v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883
1330.77/1335.77 v -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865
1330.77/1335.77 v -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3854 -x3853 -x3852 -x3851 -x3150 -x3149 -x3148 -x3147 -x3146
1330.77/1335.77 v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
1330.77/1335.77 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 x3112 -x3111 -x3110
1330.77/1335.77 v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092
1330.77/1335.77 v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3083 -x3082 -x3081 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373
1330.77/1335.77 v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355
1330.77/1335.77 v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 x2342 -x2341 -x2340 -x2339 -x2338 -x2337
1330.77/1335.77 v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319
1330.77/1335.77 v -x2318 -x2317 -x2316 -x2315 -x2314 -x2312 -x2311 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601
1330.77/1335.77 v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583
1330.77/1335.77 v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565
1330.77/1335.77 v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
1330.77/1335.77 v -x1546 -x1545 -x1544 -x1543 -x1541 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1330.77/1335.77 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805
1330.77/1335.77 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784
1330.77/1335.77 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772
1330.77/1335.77 c SCIP Status : problem is solved [optimal solution found]
1330.77/1335.77 c Total Time : 1335.74
1330.77/1335.77 c solving : 1335.74
1330.77/1335.77 c presolving : 0.80 (included in solving)
1330.77/1335.77 c reading : 0.11 (included in solving)
1330.77/1335.77 c copying : 0.28 (19 #copies) (minimal 0.01, maximal 0.02, average 0.01)
1330.77/1335.77 c Original Problem :
1330.77/1335.77 c Problem name : HOME/instance-4504214-1751446214.opb
1330.77/1335.77 c Variables : 9940 (9940 binary, 0 integer, 0 implicit integer, 0 continuous)
1330.77/1335.77 c Constraints : 14846 initial, 14846 maximal
1330.77/1335.77 c Objective : minimize, 9730 non-zeros (abs.min = 1, abs.max = 1.34218e+08)
1330.77/1335.77 c Presolved Problem :
1330.77/1335.77 c Problem name : t_HOME/instance-4504214-1751446214.opb
1330.77/1335.77 c Variables : 3012 (3012 binary, 0 integer, 0 implicit integer, 0 continuous)
1330.77/1335.77 c Constraints : 3523 initial, 3569 maximal
1330.77/1335.77 c Objective : minimize, 2872 non-zeros (abs.min = 4, abs.max = 1.95312e+06)
1330.77/1335.77 c Nonzeros : 40829 constraint, 213 clique table
1330.77/1335.77 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1330.77/1335.77 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c domcol : 0.09 0.00 2 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c dualsparsify : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c gateextraction : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c milp : 0.09 0.00 2 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c trivial : 0.01 0.00 8 1958 0 0 0 0 0 0 0 0
1330.77/1335.77 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c dualfix : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c probing : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c knapsack : 0.03 0.00 15 0 0 0 0 0 1957 0 7 7
1330.77/1335.77 c setppc : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c linear : 0.17 0.02 13 140 4830 0 140 0 9662 0 2415 2415
1330.77/1335.77 c logicor : 0.08 0.01 14 0 0 0 0 0 18 0 0 2776
1330.77/1335.77 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c root node : - - - 2132 - - 2132 - - - - -
1330.77/1335.77 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1330.77/1335.77 c benderslp : 0 0 0 0 2705 0 0 688 0 0 0 0 0 0 0
1330.77/1335.77 c integral : 0 0 0 0 2705 0 0 688 0 0 5937 0 0 1218 4278
1330.77/1335.77 c knapsack : 705 705 43 37850 14 0 0 681 17907 324 145507 1031 154 0 0
1330.77/1335.77 c setppc : 71 71 43 26560 4 0 0 27 4515 30 22552 0 0 0 0
1330.77/1335.77 c linear : 11 11 43 37496 14 0 0 27 4884 267 24174 0 0 0 0
1330.77/1335.77 c logicor : 2736+ 2788 43 16770 14 0 0 24 15835 145 860362 1 0 0 0
1330.77/1335.77 c benders : 0 0 0 0 14 0 0 26 0 0 0 0 0 0 0
1330.77/1335.77 c fixedvar : 0 0 0 0 14 0 0 26 0 0 0 0 0 0 0
1330.77/1335.77 c countsols : 0 0 0 0 14 0 0 26 0 0 0 0 0 0 0
1330.77/1335.77 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1330.77/1335.77 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1330.77/1335.77 c integral : 454.90 0.00 0.00 0.00 454.90 0.00 0.00 0.00 0.00 0.00
1330.77/1335.77 c knapsack : 2.37 0.00 0.36 1.27 0.00 0.00 0.00 0.01 0.02 0.71
1330.77/1335.77 c setppc : 0.19 0.00 0.00 0.11 0.00 0.00 0.00 0.00 0.00 0.08
1330.77/1335.77 c linear : 1.56 0.02 0.61 0.70 0.00 0.00 0.00 0.00 0.01 0.23
1330.77/1335.77 c logicor : 3.86 0.01 0.02 2.08 0.00 0.00 0.00 0.00 0.01 1.74
1330.77/1335.77 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1330.77/1335.77 c fixedvar : 0.02 0.00 0.00 0.00 0.01 0.00 0.00 0.01 0.00 0.00
1330.77/1335.77 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1330.77/1335.77 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1330.77/1335.77 c Propagators : #Propagate #ResProp Cutoffs DomReds
1330.77/1335.77 c dualfix : 5 0 0 0
1330.77/1335.77 c genvbounds : 0 0 0 0
1330.77/1335.77 c nlobbt : 0 0 0 0
1330.77/1335.77 c obbt : 0 0 0 0
1330.77/1335.77 c probing : 0 0 0 0
1330.77/1335.77 c pseudoobj : 18538 7 0 320
1330.77/1335.77 c redcost : 11522 0 0 322841
1330.77/1335.77 c rootredcost : 24 0 0 2031
1330.77/1335.77 c symmetry : 0 0 0 0
1330.77/1335.77 c vbounds : 5415 0 0 0
1330.77/1335.77 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1330.77/1335.77 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1330.77/1335.77 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
1330.77/1335.77 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1330.77/1335.77 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1330.77/1335.77 c probing : 0.11 0.00 0.11 0.00 0.00 0.00
1330.77/1335.77 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 0.00
1330.77/1335.77 c redcost : 1.40 0.00 0.00 1.40 0.00 0.00
1330.77/1335.77 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
1330.77/1335.77 c symmetry : 0.04 0.00 0.03 0.01 0.00 0.00
1330.77/1335.77 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.01
1330.77/1335.77 c Symmetry :
1330.77/1335.77 c orbitopal red. : 0 reductions applied, 0 cutoffs
1330.77/1335.77 c orbital reduction: 0 reductions applied, 0 cutoffs
1330.77/1335.77 c lexicographic red: 0 reductions applied, 0 cutoffs
1330.77/1335.77 c shadow tree time : 0.00 s
1330.77/1335.77 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1330.77/1335.77 c propagation : 0.04 512 512 - 1476 94.7 19 23.2 - - -
1330.77/1335.77 c infeasible LP : 0.13 85 48 - 262 137.6 1 5.0 44 377.9 0
1330.77/1335.77 c bound exceed. LP : 3.81 1508 256 - 2644 139.8 0 0.0 17 1.0 6673
1330.77/1335.77 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1330.77/1335.77 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1330.77/1335.77 c applied globally : 0.02 - - 17 2471 95.1 - - 61 - -
1330.77/1335.77 c applied locally : - - - 0 0 0.0 - - 0 - -
1330.77/1335.77 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1330.77/1335.77 c cut pool : 0.41 - 1779 82 - - 9676 32476 - - - - - (maximal pool size: 1807)
1330.77/1335.77 c aggregation : 15.91 0.00 649 43 0 0 1649 7363 0 2015 2015 0 0
1330.77/1335.77 c > cmir : - - - - - - - 3046 0 440 440 0 -
1330.77/1335.77 c > flowcover : - - - - - - - 2256 0 605 605 0 -
1330.77/1335.77 c > knapsackcover : - - - - - - - 2061 0 970 970 0 -
1330.77/1335.77 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c clique : 0.00 0.00 43 43 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c gomory : 34.56 0.00 417 20 0 0 7383 21486 0 638 638 0 0
1330.77/1335.77 c > gomorymi : - - - - - - - 9886 0 287 287 0 -
1330.77/1335.77 c > strongcg : - - - - - - - 11600 0 351 351 0 -
1330.77/1335.77 c impliedbounds : 0.03 0.00 649 43 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c mcf : 0.00 0.00 3 3 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c multilinear : 0.00 0.00 147 43 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c rapidlearning : 0.03 0.00 0 0 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c rlt : 0.00 0.00 129 20 0 0 0 0 0 0 0 0 0
1330.77/1335.77 c zerohalf : 7.30 0.00 437 40 0 0 661 3627 17 1313 1296 17 0
1330.77/1335.77 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1330.77/1335.77 c hybrid : 0.03 0.00 974 41 4120 0 29405 290 0 1079
1330.77/1335.77 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c Pricers : ExecTime SetupTime Calls Vars
1330.77/1335.77 c problem variables: 0.00 - 0 0
1330.77/1335.77 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1330.77/1335.77 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c relpscost : 454.89 0.00 2691 0 0 0 5937 0 1371 4278
1330.77/1335.77 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1330.77/1335.77 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1330.77/1335.77 c LP solutions : 0.01 - - 14 14
1330.77/1335.77 c relax solutions : 0.00 - - 0 0
1330.77/1335.77 c pseudo solutions : 0.00 - - 0 0
1330.77/1335.77 c strong branching : 0.01 - - 2 2
1330.77/1335.77 c actconsdiving : 0.00 0.00 0 0 0
1330.77/1335.77 c adaptivediving : 7.94 0.00 5 0 0
1330.77/1335.77 c alns : 0.23 0.00 5 0 0
1330.77/1335.77 c bound : 0.00 0.00 0 0 0
1330.77/1335.77 c clique : 0.07 0.00 1 1 1
1330.77/1335.77 c coefdiving : 0.00 0.00 0 0 0
1330.77/1335.77 c completesol : 0.00 0.00 0 0 0
1330.77/1335.77 c conflictdiving : 5.78 0.00 3 0 0
1330.77/1335.77 c crossover : 0.24 0.00 6 1 1
1330.77/1335.77 c dins : 0.00 0.00 0 0 0
1330.77/1335.77 c distributiondivin: 0.68 0.00 3 1 1
1330.77/1335.77 c dps : 0.00 0.00 0 0 0
1330.77/1335.77 c dualval : 0.00 0.00 0 0 0
1330.77/1335.77 c farkasdiving : 12.57 0.00 2 0 0
1330.77/1335.77 c feasjump : 0.00 0.00 0 0 0
1330.77/1335.77 c feaspump : 3.83 0.00 1 0 0
1330.77/1335.77 c fixandinfer : 0.00 0.00 0 0 0
1330.77/1335.77 c fracdiving : 4.64 0.00 3 0 0
1330.77/1335.77 c gins : 0.01 0.00 0 0 0
1330.77/1335.77 c guideddiving : 1.94 0.00 3 2 2
1330.77/1335.77 c indcoefdiving : 0.00 0.00 0 0 0
1330.77/1335.77 c indicator : 0.00 0.00 0 0 0
1330.77/1335.77 c indicatordiving : 0.00 0.00 0 0 0
1330.77/1335.77 c indoneopt : 0.00 0.00 0 0 0
1330.77/1335.77 c indrounding : 0.00 0.00 0 0 0
1330.77/1335.77 c indtwoopt : 0.00 0.00 0 0 0
1330.77/1335.77 c intdiving : 0.00 0.00 0 0 0
1330.77/1335.77 c intshifting : 0.00 0.00 0 0 0
1330.77/1335.77 c linesearchdiving : 1.69 0.00 3 0 0
1330.77/1335.77 c localbranching : 0.00 0.00 0 0 0
1330.77/1335.77 c locks : 0.03 0.00 1 0 0
1330.77/1335.77 c lpface : 0.00 0.00 0 0 0
1330.77/1335.77 c mpec : 0.00 0.00 0 0 0
1330.77/1335.77 c multistart : 0.00 0.00 0 0 0
1330.77/1335.77 c mutation : 0.00 0.00 0 0 0
1330.77/1335.77 c nlpdiving : 0.00 0.00 0 0 0
1330.77/1335.77 c objpscostdiving : 0.71 0.00 2 0 0
1330.77/1335.77 c octane : 0.00 0.00 0 0 0
1330.77/1335.77 c ofins : 0.00 0.00 0 0 0
1330.77/1335.77 c oneopt : 0.03 0.00 23 0 0
1330.77/1335.77 c padm : 0.00 0.00 0 0 0
1330.77/1335.77 c proximity : 0.00 0.00 0 0 0
1330.77/1335.77 c pscostdiving : 1.68 0.00 3 0 0
1330.77/1335.77 c randrounding : 0.33 0.00 691 0 0
1330.77/1335.77 c rens : 0.37 0.00 2 0 0
1330.77/1335.77 c reoptsols : 0.00 0.00 0 0 0
1330.77/1335.77 c repair : 0.00 0.00 0 0 0
1330.77/1335.77 c rins : 0.30 0.00 6 1 0
1330.77/1335.77 c rootsoldiving : 3.17 0.00 2 1 1
1330.77/1335.77 c rounding : 0.47 0.00 872 0 0
1330.77/1335.77 c scheduler : 0.00 0.00 0 0 0
1330.77/1335.77 c shiftandpropagate: 0.00 0.00 0 0 0
1330.77/1335.77 c shifting : 5.53 0.00 479 0 0
1330.77/1335.77 c simplerounding : 0.00 0.00 0 0 0
1330.77/1335.77 c smallcard : 0.00 0.00 0 0 0
1330.77/1335.77 c subnlp : 0.00 0.00 0 0 0
1330.77/1335.77 c trivial : 0.01 0.00 4 0 0
1330.77/1335.77 c trivialnegation : 0.00 0.00 0 0 0
1330.77/1335.77 c trustregion : 0.00 0.00 0 0 0
1330.77/1335.77 c trysol : 0.00 0.00 0 0 0
1330.77/1335.77 c twoopt : 0.00 0.00 0 0 0
1330.77/1335.77 c undercover : 0.00 0.00 0 0 0
1330.77/1335.77 c vbounds : 0.00 0.00 0 0 0
1330.77/1335.77 c veclendiving : 0.83 0.00 3 1 1
1330.77/1335.77 c zeroobj : 0.00 0.00 0 0 0
1330.77/1335.77 c zirounding : 0.12 0.00 1000 0 0
1330.77/1335.77 c other solutions : - - - 0 -
1330.77/1335.77 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1330.77/1335.77 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
1330.77/1335.77 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
1330.77/1335.77 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
1330.77/1335.77 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
1330.77/1335.77 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
1330.77/1335.77 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
1330.77/1335.77 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
1330.77/1335.77 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
1330.77/1335.77 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
1330.77/1335.77 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1330.77/1335.77 c primal LP : 1.06 328 0 0.00 0.00 1.06 328
1330.77/1335.77 c dual LP : 750.50 9568 3283882 574.71 4375.59 5.30 3854
1330.77/1335.77 c lex dual LP : 0.00 0 0 0.00 -
1330.77/1335.77 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1330.77/1335.77 c resolve instable : 0.00 0 0 0.00 -
1330.77/1335.77 c diving/probing LP: 45.76 719 199029 276.81 4349.83
1330.77/1335.77 c strong branching : 439.14 4123 1775177 430.55 4042.40 - - 2456
1330.77/1335.77 c (at root node) : - 40 34612 865.30 -
1330.77/1335.77 c conflict analysis: 2.26 673 6673 9.92 2957.54
1330.77/1335.77 c B&B Tree :
1330.77/1335.77 c number of runs : 2
1330.77/1335.77 c nodes : 1216 (631 internal, 585 leaves)
1330.77/1335.77 c feasible leaves : 5
1330.77/1335.77 c infeas. leaves : 101
1330.77/1335.77 c objective leaves : 479
1330.77/1335.77 c nodes (total) : 3833 (2139 internal, 1694 leaves)
1330.77/1335.77 c nodes left : 0
1330.77/1335.77 c max depth : 69
1330.77/1335.77 c max depth (total): 156
1330.77/1335.77 c backtracks : 249 (20.5%)
1330.77/1335.77 c early backtracks : 0 (0.0%)
1330.77/1335.77 c nodes exc. ref. : 0 (0.0%)
1330.77/1335.77 c delayed cutoffs : 2
1330.77/1335.77 c repropagations : 247 (2202 domain reductions, 2 cutoffs)
1330.77/1335.77 c avg switch length: 5.49
1330.77/1335.77 c switching time : 3.63
1330.77/1335.77 c Root Node :
1330.77/1335.77 c First LP value : +1.91693849607527e+06
1330.77/1335.77 c First LP Iters : 7116 (3721.31 Iter/sec)
1330.77/1335.77 c First LP Time : 1.91
1330.77/1335.77 c Final Dual Bound : +2.30906864115248e+06
1330.77/1335.77 c Final Root Iters : 35575
1330.77/1335.77 c Root LP Estimate : +6.66473888071788e+06
1330.77/1335.77 c Solution :
1330.77/1335.77 c Solutions found : 24 (23 improvements)
1330.77/1335.77 c First Solution : +2.08946847000000e+08 (in run 1, after 1 nodes, 0.88 seconds, depth 6, found by <clique>)
1330.77/1335.77 c Gap First Sol. : infinite
1330.77/1335.77 c Gap Last Sol. : 55.15 %
1330.77/1335.77 c Primal Bound : +4.24163100000000e+06 (in run 2, after 692 nodes, 1209.68 seconds, depth 64, found by <relaxation>)
1330.77/1335.77 c Dual Bound : +4.24163100000000e+06
1330.77/1335.77 c Gap : 0.00 %
1330.77/1335.77 c Integrals : Total Avg%
1330.77/1335.77 c primal-dual : 78615.72 58.86
1330.77/1335.77 c primal-ref : - - (not evaluated)
1330.77/1335.77 c dual-ref : - - (not evaluated)
1330.87/1335.81 c Time complete: 1330.89.
OK 4241631
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: 63794 MiB (61752 MiB free)
memory of node 1: 64507 MiB (52557 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504214-1751446214/watcher-4504214-1751446214 -o /tmp/evaluation-result-4504214-1751446214/solver-4504214-1751446214 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751442825-65773 --watchdog 3760 pbscip -f HOME/instance-4504214-1751446214.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=66049, runsolver pid=66046
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.12 4.09 4.01 5/250 66050
/proc/meminfo: memFree=117038332/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=61424 memory=33792 CPUtime=0.09 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 5523 0 0 0 8 1 0 0 20 0 1 0 60301244 62898176 8448 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 15356 8448 3232 3530 0 6807 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61424 KiB
Current children cumulated memory: 33792 KiB
[startup+0.212922 s]*
/proc/loadavg: 4.12 4.09 4.01 5/250 66050
/proc/meminfo: memFree=117014392/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=90792 memory=63320 CPUtime=0.2 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 12673 0 0 0 17 3 0 0 20 0 1 0 60301244 92971008 15830 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 22698 15830 3616 3530 0 14149 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 90792 KiB
Current children cumulated memory: 63320 KiB
[startup+0.312935 s]*
/proc/loadavg: 4.12 4.09 4.01 5/250 66050
/proc/meminfo: memFree=117006328/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=95180 memory=67032 CPUtime=0.31 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 13636 0 0 0 27 4 0 0 20 0 1 0 60301244 97464320 16758 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 23795 16758 3616 3530 0 15246 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 95180 KiB
Current children cumulated memory: 67032 KiB
[startup+0.700289 s]
/proc/loadavg: 4.12 4.09 4.01 6/250 66050
/proc/meminfo: memFree=116998200/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=107540 memory=80468 CPUtime=0.68 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 18458 0 0 0 63 5 0 0 20 0 1 0 60301244 110120960 20117 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 26885 20117 3776 3530 0 18336 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107540 KiB
Current children cumulated memory: 80468 KiB
[startup+1.50025 s]
/proc/loadavg: 4.12 4.09 4.01 5/250 66050
/proc/meminfo: memFree=116963424/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=149852 memory=113024 CPUtime=1.48 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 27063 0 0 0 141 7 0 0 20 0 1 0 60301244 153448448 28256 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 37463 28256 3936 3530 0 28914 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149852 KiB
Current children cumulated memory: 113024 KiB
[startup+3.11262 s]
/proc/loadavg: 4.12 4.09 4.01 5/250 66050
/proc/meminfo: memFree=116963584/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=154488 memory=115712 CPUtime=3.08 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 27739 0 0 0 301 7 0 0 20 0 1 0 60301244 158195712 28928 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 38622 28928 3936 3530 0 30073 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 154488 KiB
Current children cumulated memory: 115712 KiB
[startup+6.30025 s]
/proc/loadavg: 4.11 4.09 4.01 5/250 66050
/proc/meminfo: memFree=116947900/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=167328 memory=128256 CPUtime=6.26 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 31002 0 0 0 618 8 0 0 20 0 1 0 60301244 171343872 32064 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 41832 32064 3936 3530 0 33283 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 167328 KiB
Current children cumulated memory: 128256 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.08 4.01 5/250 66050
/proc/meminfo: memFree=116940364/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=176160 memory=136448 CPUtime=12.64 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 33153 0 0 0 1256 8 0 0 20 0 1 0 60301244 180387840 34112 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 44040 34112 3936 3530 0 35491 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 176160 KiB
Current children cumulated memory: 136448 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.08 4.01 5/250 66050
/proc/meminfo: memFree=116925496/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=198068 memory=157952 CPUtime=25.41 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 38494 0 0 0 2532 9 0 0 20 0 1 0 60301244 202821632 39488 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 49517 39488 3968 3530 0 40968 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 198068 KiB
Current children cumulated memory: 157952 KiB
[startup+51.1127 s]
/proc/loadavg: 4.12 4.09 4.01 5/250 66050
/proc/meminfo: memFree=116927052/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=198068 memory=158080 CPUtime=50.95 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 38523 0 0 0 5086 9 0 0 20 0 1 0 60301244 202821632 39520 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 49517 39520 3968 3530 0 40968 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 198068 KiB
Current children cumulated memory: 158080 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/250 66052
/proc/meminfo: memFree=116913164/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=202380 memory=162984 CPUtime=102 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 40933 0 0 0 10190 10 0 0 20 0 1 0 60301244 207237120 40746 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 50595 40746 3968 3530 0 42046 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 202380 KiB
Current children cumulated memory: 162984 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/250 66054
/proc/meminfo: memFree=116883228/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=205472 memory=169640 CPUtime=161.81 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 41577 0 0 0 16171 10 0 0 20 0 1 0 60301244 210403328 42410 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 51368 42410 3968 3530 0 42819 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 205472 KiB
Current children cumulated memory: 169640 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/249 66191
/proc/meminfo: memFree=115626612/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=211744 memory=184360 CPUtime=221.62 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 42911 0 0 0 22152 10 0 0 20 0 1 0 60301244 216825856 46090 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 52936 46090 3968 3530 0 44387 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 211744 KiB
Current children cumulated memory: 184360 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/249 66237
/proc/meminfo: memFree=112877124/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=233036 memory=206120 CPUtime=281.4 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 48316 0 0 0 28129 11 0 0 20 0 1 0 60301244 238628864 51530 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 58259 51530 4096 3530 0 49710 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 233036 KiB
Current children cumulated memory: 206120 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/249 66239
/proc/meminfo: memFree=111987692/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=234868 memory=207912 CPUtime=341.14 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 48822 0 0 0 34103 11 0 0 20 0 1 0 60301244 240504832 51978 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 58717 51978 4096 3530 0 50168 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 234868 KiB
Current children cumulated memory: 207912 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/250 66244
/proc/meminfo: memFree=110966356/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=242764 memory=208552 CPUtime=400.88 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 48997 0 0 0 40077 11 0 0 20 0 1 0 60301244 248590336 52138 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 60691 52138 4096 3530 0 52142 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 242764 KiB
Current children cumulated memory: 208552 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/250 66246
/proc/meminfo: memFree=110558700/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=247848 memory=212136 CPUtime=460.62 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 49953 0 0 0 46051 11 0 0 20 0 1 0 60301244 253796352 53034 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 61962 53034 4096 3530 0 53413 0
################
# More data... #
################
/proc/loadavg: 4.10 4.11 4.06 5/251 66367
/proc/meminfo: memFree=105130120/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=292176 memory=251616 CPUtime=938.8 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 60771 0 0 0 93867 13 0 0 20 0 1 0 60301244 299188224 62904 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 73044 62904 4096 3530 0 64495 0
Current children cumulated CPU time: 938.8 s
Current children cumulated vsize: 292176 KiB
Current children cumulated memory: 251616 KiB
[startup+1002.3 s]
/proc/loadavg: 4.19 4.14 4.07 5/251 66369
/proc/meminfo: memFree=105184312/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=292176 memory=251616 CPUtime=998.59 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 60838 0 0 0 99846 13 0 0 20 0 1 0 60301244 299188224 62904 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 73044 62904 4096 3530 0 64495 0
Current children cumulated CPU time: 998.59 s
Current children cumulated vsize: 292176 KiB
Current children cumulated memory: 251616 KiB
[startup+1062.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/250 66374
/proc/meminfo: memFree=105177596/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=292176 memory=251616 CPUtime=1058.37 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 60838 0 0 0 105824 13 0 0 20 0 1 0 60301244 299188224 62904 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 73044 62904 4096 3530 0 64495 0
Current children cumulated CPU time: 1058.37 s
Current children cumulated vsize: 292176 KiB
Current children cumulated memory: 251616 KiB
[startup+1122.3 s]
/proc/loadavg: 4.16 4.13 4.07 6/250 66376
/proc/meminfo: memFree=105143276/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=292176 memory=251616 CPUtime=1118.16 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 60839 0 0 0 111803 13 0 0 20 0 1 0 60301244 299188224 62904 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 73044 62904 4096 3530 0 64495 0
Current children cumulated CPU time: 1118.16 s
Current children cumulated vsize: 292176 KiB
Current children cumulated memory: 251616 KiB
[startup+1182.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/250 66382
/proc/meminfo: memFree=105052444/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=292660 memory=252256 CPUtime=1177.95 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 60977 0 0 0 117782 13 0 0 20 0 1 0 60301244 299683840 63064 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 73165 63064 4096 3530 0 64616 0
Current children cumulated CPU time: 1177.95 s
Current children cumulated vsize: 292660 KiB
Current children cumulated memory: 252256 KiB
[startup+1242.3 s]
/proc/loadavg: 4.14 4.14 4.08 5/250 66385
/proc/meminfo: memFree=104947568/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=306504 memory=264672 CPUtime=1237.72 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 64160 0 0 0 123758 14 0 0 20 0 1 0 60301244 313860096 66168 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 76626 66168 4096 3530 0 68077 0
Current children cumulated CPU time: 1237.72 s
Current children cumulated vsize: 306504 KiB
Current children cumulated memory: 264672 KiB
[startup+1302.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/250 66387
/proc/meminfo: memFree=104795276/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=306504 memory=264928 CPUtime=1297.51 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 64205 0 0 0 129737 14 0 0 20 0 1 0 60301244 313860096 66232 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 76626 66232 4096 3530 0 68077 0
Current children cumulated CPU time: 1297.51 s
Current children cumulated vsize: 306504 KiB
Current children cumulated memory: 264928 KiB
[startup+1335.82 s]
# the end of solver process 66049 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1330.75 s, system=0.148232 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 4.22 4.16 4.09 5/250 66387
/proc/meminfo: memFree=104795528/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=306504 memory=264928 CPUtime=1300.79 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 64205 0 0 0 130065 14 0 0 20 0 1 0 60301244 313860096 66232 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 76626 66232 4096 3530 0 68077 0
Current children cumulated CPU time: 1300.79 s
Current children cumulated vsize: 306504 KiB
Current children cumulated memory: 264928 KiB
[startup+1318.4 s]
/proc/loadavg: 4.18 4.15 4.09 5/250 66388
/proc/meminfo: memFree=104765396/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=306504 memory=264928 CPUtime=1313.54 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 64205 0 0 0 131340 14 0 0 20 0 1 0 60301244 313860096 66232 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 76626 66232 4096 3530 0 68077 0
Current children cumulated CPU time: 1313.54 s
Current children cumulated vsize: 306504 KiB
Current children cumulated memory: 264928 KiB
[startup+1324.8 s]
/proc/loadavg: 4.15 4.14 4.09 5/250 66388
/proc/meminfo: memFree=104761552/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=306504 memory=264928 CPUtime=1319.92 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 64205 0 0 0 131978 14 0 0 20 0 1 0 60301244 313860096 66232 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 76626 66232 4096 3530 0 68077 0
Current children cumulated CPU time: 1319.92 s
Current children cumulated vsize: 306504 KiB
Current children cumulated memory: 264928 KiB
[startup+1331.2 s]
/proc/loadavg: 4.14 4.14 4.09 5/250 66388
/proc/meminfo: memFree=104747968/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=306504 memory=264928 CPUtime=1326.29 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 64205 0 0 0 132615 14 0 0 20 0 1 0 60301244 313860096 66232 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 76626 66232 4096 3530 0 68077 0
Current children cumulated CPU time: 1326.29 s
Current children cumulated vsize: 306504 KiB
Current children cumulated memory: 264928 KiB
[startup+1334.4 s]
/proc/loadavg: 4.21 4.16 4.10 5/249 66388
/proc/meminfo: memFree=104724028/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=306504 memory=264928 CPUtime=1329.48 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 64205 0 0 0 132934 14 0 0 20 0 1 0 60301244 313860096 66232 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 76626 66232 4096 3530 0 68077 0
Current children cumulated CPU time: 1329.48 s
Current children cumulated vsize: 306504 KiB
Current children cumulated memory: 264928 KiB
[startup+1335.2 s]
/proc/loadavg: 4.21 4.16 4.10 5/249 66388
/proc/meminfo: memFree=104723828/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=306504 memory=264928 CPUtime=1330.28 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 64205 0 0 0 133014 14 0 0 20 0 1 0 60301244 313860096 66232 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 76626 66232 4096 3530 0 68077 0
Current children cumulated CPU time: 1330.28 s
Current children cumulated vsize: 306504 KiB
Current children cumulated memory: 264928 KiB
[startup+1335.6 s]
/proc/loadavg: 4.21 4.16 4.10 5/249 66388
/proc/meminfo: memFree=104723828/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=306504 memory=264928 CPUtime=1330.67 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 64205 0 0 0 133053 14 0 0 20 0 1 0 60301244 313860096 66232 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 76626 66232 4096 3530 0 68077 0
Current children cumulated CPU time: 1330.67 s
Current children cumulated vsize: 306504 KiB
Current children cumulated memory: 264928 KiB
[startup+1335.8 s]
/proc/loadavg: 4.21 4.16 4.10 5/249 66388
/proc/meminfo: memFree=104723828/131382112 swapFree=33010160/33010684
[pid=66049] ppid=66046 vsize=305480 memory=263908 CPUtime=1330.87 cores=0,2
/proc/66049/stat : 66049 (pbscip) R 66046 66049 65763 0 -1 4194304 64206 0 0 0 133073 14 0 0 20 0 1 0 60301244 312811520 65977 18446744073709551615 4235264 18693293 140726031460448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34115584 140726031468937 140726031469036 140726031469036 140726031474638 0
/proc/66049/statm: 76370 65977 4096 3530 0 67821 0
Current children cumulated CPU time: 1330.87 s
Current children cumulated vsize: 305480 KiB
Current children cumulated memory: 263908 KiB
Child status: 0
Real time (s): 1335.82
CPU time (s): 1330.9
CPU user time (s): 1330.75
CPU system time (s): 0.148232
CPU usage (%): 99.6316
Max. virtual memory (cumulated for all children) (KiB): 306504
Max. memory (cumulated for all children) (KiB): 264928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1330.75
system time used= 0.148232
maximum resident set size= 264928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64215
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= 124
involuntary context switches= 2996
# summary of solver processes directly reported to runsolver:
# pid: 66049
# total CPU time (s): 1330.9
# total CPU user time (s): 1330.75
# total CPU system time (s): 0.148232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44341 second user time and 12.646 second system time
The end
Begin job on nodeC009 at 2025-07-02 10:50:14 IDJOB=4504214 IDBENCH=155636 IDSOLVER=3365 FILE ID=nodeC009/4504214-1751446214 RUNJOBID= nodeC009-1751442825-65773 SLURM_JOB_ID= 9598415 Free space on /tmp= 431168 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504214-1751446214/watcher-4504214-1751446214 -o /tmp/evaluation-result-4504214-1751446214/solver-4504214-1751446214 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751442825-65773 --watchdog 3760 pbscip -f HOME/instance-4504214-1751446214.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 26289d562a21d461fc03dcfb0c556d93 RANDOM SEED=841281006 nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 1197.232 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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 : 3691.467 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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.789 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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 : 1198.137 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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 : 3662.496 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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 : 3691.460 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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.385 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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 : 3700.000 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 117054064 kB MemAvailable: 128764812 kB Buffers: 2144 kB Cached: 12462772 kB SwapCached: 24 kB Active: 1536384 kB Inactive: 12112444 kB Active(anon): 1196792 kB Inactive(anon): 5056 kB Active(file): 339592 kB Inactive(file): 12107388 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19468 kB Writeback: 0 kB AnonPages: 1183916 kB Mapped: 139832 kB Shmem: 17936 kB KReclaimable: 206404 kB Slab: 291708 kB SReclaimable: 206404 kB SUnreclaim: 85304 kB KernelStack: 4032 kB PageTables: 5452 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1564724 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1021952 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431080 MiB End job on nodeC009 at 2025-07-02 11:12:31