Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 1789.81 | 1790.09 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_9.opb |
| MD5SUM | 9dfe9f707e4bec0ff7b60653d14cbd16 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4065875 |
| Best CPU time to get the best result obtained on this benchmark | 1800.37 |
| 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 | 126506008 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 91840906354 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 126506008 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 91840906354 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3744335-1338804932.opb>
0.08/0.14 c original problem has 9940 variables (9940 bin, 0 int, 0 impl, 0 cont) and 14846 constraints
0.08/0.14 c problem read
0.08/0.14 c presolving settings loaded
0.08/0.19 c presolving:
0.18/0.28 c (round 1) 4970 del vars, 9662 del conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 0 upgd conss, 9800 impls, 1 clqs
0.29/0.35 c (round 2) 4970 del vars, 9662 del conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 5181 upgd conss, 9800 impls, 1 clqs
0.39/0.44 c (0.3s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.44 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.44 c presolving (3 rounds):
0.39/0.44 c 4970 deleted vars, 9662 deleted constraints, 140 tightened bounds, 0 added holes, 2415 changed sides, 2415 changed coefficients
0.39/0.44 c 9800 implications, 1 cliques
0.39/0.44 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 5184 constraints
0.39/0.44 c 2625 constraints of type <knapsack>
0.39/0.44 c 71 constraints of type <setppc>
0.39/0.44 c 3 constraints of type <linear>
0.39/0.44 c 2485 constraints of type <logicor>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.27
0.39/0.44 c - non default parameters ----------------------------------------------------------------------
0.39/0.44 c # SCIP version 1.2.1.3
0.39/0.44 c
0.39/0.44 c # frequency for displaying node information lines
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.44 c display/freq = 10000
0.39/0.44 c
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = 1789.88
0.39/0.44 c
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = 13950
0.39/0.44 c
0.39/0.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.44 c # [type: int, range: [1,2], default: 1]
0.39/0.44 c timing/clocktype = 2
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify inequalities
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/linear/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/indicator/addCouplingCons = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify knapsacks
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c separating/rapidlearning/freq = 0
0.39/0.44 c
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c start solving
0.39/0.44 c
2.09/2.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.09/2.19 c 2.1s| 1 | 0 | 3368 | - | 35M| 0 | 553 |4970 |5184 |4970 |5184 | 0 | 0 | 0 | 1.998489e+06 | -- | Inf
22.58/22.65 o 341105431
22.58/22.65 c y22.5s| 1 | 0 | 11956 | - | 35M| 0 | 553 |4970 |5184 |4970 |5184 | 0 | 0 | 0 | 1.998489e+06 | 3.411054e+08 | Large
22.88/22.96 c 22.8s| 1 | 0 | 12361 | - | 42M| 0 | 558 |4970 |6598 |4970 |5194 | 10 | 0 | 0 | 2.010175e+06 | 3.411054e+08 | Large
32.58/32.61 c 32.5s| 1 | 0 | 12801 | - | 42M| 0 | 553 |4970 |6598 |4970 |5197 | 13 | 0 | 0 | 2.019813e+06 | 3.411054e+08 | Large
46.38/46.40 c 46.3s| 1 | 2 | 12801 | - | 42M| 0 | 553 |4970 |6598 |4970 |5197 | 13 | 0 | 9 | 2.019813e+06 | 3.411054e+08 | Large
74.18/74.22 o 204447165
74.18/74.22 c *74.1s| 10 | 9 | 18966 | 685.0 | 43M| 9 | - |4970 |6598 |4970 |5195 | 13 | 0 | 107 | 2.020135e+06 | 2.044472e+08 | Large
75.68/75.80 o 190154369
75.68/75.80 c *75.7s| 12 | 9 | 18986 | 562.3 | 44M| 10 | - |4970 |6598 |4970 |5195 | 13 | 0 | 128 | 2.020135e+06 | 1.901544e+08 |9312.96%
78.48/78.52 o 149879233
78.48/78.52 c *78.4s| 14 | 9 | 19318 | 501.3 | 44M| 11 | - |4970 |6598 |4970 |5195 | 13 | 0 | 168 | 2.020135e+06 | 1.498792e+08 |7319.27%
79.68/79.78 o 132842709
79.68/79.78 c *79.6s| 16 | 9 | 19464 | 444.2 | 44M| 12 | - |4970 |6598 |4970 |5195 | 13 | 0 | 210 | 2.020135e+06 | 1.328427e+08 |6475.93%
80.67/80.70 o 119014109
80.67/80.70 c *80.6s| 18 | 9 | 19499 | 394.0 | 41M| 13 | - |4970 |5759 |4970 |5195 | 13 | 0 | 256 | 2.020135e+06 | 1.190141e+08 |5791.39%
155.96/156.10 o 117044751
155.96/156.10 c * 156s| 95 | 42 | 71987 | 629.6 | 42M| 16 | - |4970 |5775 |4970 |5195 | 13 | 19 | 412 | 2.080688e+06 | 1.170448e+08 |5525.29%
157.16/157.21 o 11376965
157.16/157.21 c * 157s| 101 | 28 | 73781 | 609.8 | 42M| 16 | - |4970 |5777 |4970 |5195 | 13 | 21 | 412 | 2.080688e+06 | 1.137696e+07 | 446.79%
302.44/302.58 o 9601077
302.44/302.58 c v 302s| 240 | 133 |281392 |1123.8 | 42M| 49 | - |4970 |5851 |4970 |5195 | 13 | 96 | 508 | 2.122445e+06 | 9.601077e+06 | 352.36%
306.74/306.81 o 8527259
306.74/306.81 c * 307s| 243 | 134 |286169 |1129.6 | 42M| 49 | - |4970 |5850 |4970 |5195 | 13 | 96 | 516 | 2.130710e+06 | 8.527259e+06 | 300.21%
306.94/307.02 o 8522619
306.94/307.02 c * 307s| 245 | 134 |286471 |1121.6 | 42M| 49 | - |4970 |5827 |4970 |5195 | 13 | 96 | 516 | 2.130710e+06 | 8.522619e+06 | 299.99%
357.73/357.89 o 6619293
357.73/357.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.73/357.89 c v 358s| 343 | 214 |350263 | 986.7 | 43M| 53 | - |4970 |5818 |4970 |5195 | 13 | 99 | 580 | 2.130710e+06 | 6.619293e+06 | 210.66%
551.70/551.83 o 6031209
551.70/551.83 c v 552s| 594 | 337 |601377 | 992.5 | 44M| 58 | - |4970 |5854 |4970 |5195 | 13 | 163 | 921 | 2.137157e+06 | 6.031209e+06 | 182.21%
1597.14/1597.49 o 5143043
1597.14/1597.49 c *1597s| 2773 | 893 | 2035k| 729.7 | 47M| 73 | - |4970 |5440 |4970 |5195 | 13 | 744 |2582 | 2.448058e+06 | 5.143043e+06 | 110.09%
1789.71/1790.02 c
1789.71/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.71/1790.02 c Solving Time (sec) : 1789.88
1789.71/1790.02 c Solving Nodes : 3423
1789.71/1790.02 c Primal Bound : +5.14304300000000e+06 (14 solutions)
1789.71/1790.02 c Dual Bound : +2.49623618334477e+06
1789.71/1790.02 c Gap : 106.03 %
1789.71/1790.03 s SATISFIABLE
1789.71/1790.03 v -x9730 -x9589 -x9518 -x9447 -x9376 -x9305 -x9234 -x9163 -x9092 -x9021 -x8950 -x8809 -x8738 -x8667 -x8596 -x8525 -x8454 -x8383 -x8312
1789.71/1790.03 v -x8241 -x8170 -x8029 -x7958 -x7887 -x7816 -x7745 -x7674 -x7603 -x7532 -x7461 -x7390 -x7249 -x7178 -x7107 -x7036 -x6965
1789.71/1790.03 v -x6894 -x6823 -x6752 -x6681 -x6610 -x6469 -x6398 -x6327 -x6256 -x6185 -x6114 -x6043 -x5972 -x5901 -x5830 -x5689 -x5618 -x5547
1789.71/1790.03 v -x5476 -x5405 -x5334 -x5263 -x5192 -x5121 -x5050 -x9879 -x9808 -x9737 -x9596 -x8825 -x8054 -x7283 -x6512 -x5741 -x4760 -x4619
1789.71/1790.03 v -x4548 -x4477 -x4406 -x4335 -x4264 -x4193 -x4122 -x4051 -x3980 -x3839 -x3768 -x3697 -x3626 -x3555 -x3484 -x3413 -x3342 -x3271
1789.71/1790.03 v -x3200 -x3059 -x2988 -x2917 -x2846 -x2775 -x2704 -x2633 -x2562 -x2491 -x2420 -x2279 -x2208 -x2137 -x2066 -x1995 -x1924 -x1853
1789.71/1790.03 v -x1782 -x1711 -x1640 -x1499 -x1428 -x1357 -x1286 -x1215 -x1144 -x1073 -x1002 -x931 -x860 -x719 -x648 -x577 -x506 -x435 -x364
1789.71/1790.03 v -x293 -x222 -x151 -x80 -x4909 -x4838 -x4767 -x4626 -x3855 -x3084 -x2313 -x1542 -x771 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1789.71/1790.03 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
1789.71/1790.03 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
1789.71/1790.03 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x9729 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719
1789.71/1790.03 v -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 -x9710 -x9709 -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 -x9702
1789.71/1790.03 v -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9695 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684
1789.71/1790.03 v -x9683 -x9682 -x9681 -x9680 -x9679 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666
1789.71/1790.03 v -x9665 -x9664 -x9663 -x9662 -x9661 -x9590 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9582 -x9581 -x9580 -x9579 -x9578 -x9577
1789.71/1790.03 v -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9566 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559
1789.71/1790.03 v -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541
1789.71/1790.03 v -x9540 -x9539 -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523
1789.71/1790.03 v -x9522 -x9521 -x9520 -x9519 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505
1789.71/1790.03 v -x9504 -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9487
1789.71/1790.03 v -x9486 -x9485 -x9484 -x9483 -x9482 -x9481 -x9480 -x9479 -x9478 -x9477 -x9476 -x9475 -x9474 -x9473 -x9472 -x9471 -x9470 -x9469
1789.71/1790.03 v -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9452 -x9451
1789.71/1790.03 v -x9450 -x9449 -x9448 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 -x9439 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432
1789.71/1790.03 v -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414
1789.71/1790.03 v -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396
1789.71/1790.03 v -x9395 -x9394 -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379
1789.71/1790.03 v -x9378 -x9377 -x9375 -x9374 -x9373 -x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360
1789.71/1790.03 v -x9359 -x9358 -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342
1789.71/1790.03 v -x9341 -x9340 -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324
1789.71/1790.03 v -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306
1789.71/1790.03 v -x9304 -x9303 -x9302 -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287
1789.71/1790.03 v -x9286 -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 -x9272 -x9271 -x9270 -x9269
1789.71/1790.03 v -x9268 -x9267 -x9266 -x9265 -x9264 -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252
1789.71/1790.03 v -x9251 -x9250 -x9249 -x9248 -x9247 -x9246 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9233
1789.71/1790.03 v -x9232 -x9231 -x9230 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215
1789.71/1790.03 v -x9214 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199 -x9198 -x9197
1789.71/1790.03 v -x9196 -x9195 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 -x9181 -x9180 -x9179
1789.71/1790.03 v -x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9162 -x9161 -x9160
1789.71/1790.03 v -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142
1789.71/1790.03 v -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9125
1789.71/1790.03 v -x9124 -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107
1789.71/1790.03 v -x9106 -x9105 -x9104 -x9103 -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9091 -x9090 -x9089 -x9088
1789.71/1790.03 v -x9087 -x9086 -x9085 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070
1789.71/1790.03 v -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052
1789.71/1790.03 v -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034
1789.71/1790.03 v -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025 -x9024 -x9023 -x9022 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015
1789.71/1790.03 v -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998
1789.71/1790.03 v -x8997 -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980
1789.71/1790.03 v -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962
1789.71/1790.03 v -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943
1789.71/1790.03 v -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925
1789.71/1790.03 v -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907
1789.71/1790.03 v -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8820 -x8819
1789.71/1790.03 v -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801
1789.71/1790.03 v -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783
1789.71/1790.03 v -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765
1789.71/1790.03 v -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747
1789.71/1790.03 v -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728
1789.71/1790.03 v -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710
1789.71/1790.03 v -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692
1789.71/1790.03 v -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675
1789.71/1790.03 v -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656
1789.71/1790.03 v -x8655 -x8654 -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638
1789.71/1790.03 v -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620
1789.71/1790.03 v -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602
1789.71/1790.03 v -x8601 -x8600 -x8599 -x8598 -x8597 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583
1789.71/1790.03 v -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565
1789.71/1790.03 v -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548
1789.71/1790.03 v -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530
1789.71/1790.03 v -x8529 -x8528 -x8527 -x8526 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511
1789.71/1790.03 v -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493
1789.71/1790.03 v -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475
1789.71/1790.03 v -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457
1789.71/1790.03 v -x8456 -x8455 -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438
1789.71/1790.03 v -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421
1789.71/1790.03 v -x8420 -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403
1789.71/1790.03 v -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385
1789.71/1790.03 v -x8384 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366
1789.71/1790.03 v -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348
1789.71/1790.03 v -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330
1789.71/1790.03 v -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8311
1789.71/1790.03 v -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294
1789.71/1790.03 v -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276
1789.71/1790.03 v -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258
1789.71/1790.03 v -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8240 -x8239
1789.71/1790.03 v -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221
1789.71/1790.03 v -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203
1789.71/1790.03 v -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185
1789.71/1790.03 v -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8169 -x8168 -x8167
1789.71/1790.03 v -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149
1789.71/1790.03 v -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131
1789.71/1790.03 v -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043
1789.71/1790.03 v -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8028 -x8027 -x8026 -x8025 -x8024
1789.71/1790.03 v -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006
1789.71/1790.03 v -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988
1789.71/1790.03 v -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971
1789.71/1790.03 v -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952
1789.71/1790.03 v -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934
1789.71/1790.03 v -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916
1789.71/1790.03 v -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898
1789.71/1790.03 v -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879
1789.71/1790.03 v -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861
1789.71/1790.03 v -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844
1789.71/1790.03 v -x7843 -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826
1789.71/1790.03 v -x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807
1789.71/1790.03 v -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789
1789.71/1790.03 v -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771
1789.71/1790.03 v -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753
1789.71/1790.03 v -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734
1789.71/1790.03 v -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717
1789.71/1790.03 v -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699
1789.71/1790.03 v -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681
1789.71/1790.03 v -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662
1789.71/1790.03 v -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644
1789.71/1790.03 v -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626
1789.71/1790.03 v -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608
1789.71/1790.03 v -x7607 -x7606 -x7605 -x7604 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590
1789.71/1790.03 v -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572
1789.71/1790.03 v -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554
1789.71/1790.03 v -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536
1789.71/1790.03 v -x7535 -x7534 -x7533 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517
1789.71/1790.03 v -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499
1789.71/1790.03 v -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481
1789.71/1790.03 v -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464
1789.71/1790.03 v -x7463 -x7462 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445
1789.71/1790.03 v -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427
1789.71/1790.03 v -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409
1789.71/1790.03 v -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391
1789.71/1790.03 v -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372
1789.71/1790.03 v -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354
1789.71/1790.03 v -x7353 -x7352 -x7351 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267
1789.71/1790.03 v -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7248
1789.71/1790.03 v -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230
1789.71/1790.03 v -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212
1789.71/1790.03 v -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194
1789.71/1790.03 v -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7177 -x7176 -x7175
1789.71/1790.03 v -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157
1789.71/1790.03 v -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140
1789.71/1790.03 v -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122
1789.71/1790.03 v -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7106 -x7105 -x7104 -x7103
1789.71/1790.03 v -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085
1789.71/1790.03 v -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067
1789.71/1790.03 v -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049
1789.71/1790.03 v -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030
1789.71/1790.03 v -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013
1789.71/1790.03 v -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995
1789.71/1790.03 v -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977
1789.71/1790.03 v -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958
1789.71/1790.03 v -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940
1789.71/1790.03 v -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922
1789.71/1790.03 v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904
1789.71/1790.03 v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886
1789.71/1790.03 v -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868
1789.71/1790.03 v -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850
1789.71/1790.03 v -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832
1789.71/1790.03 v -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813
1789.71/1790.03 v -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795
1789.71/1790.03 v -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777
1789.71/1790.03 v -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760
1789.71/1790.03 v -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741
1789.71/1790.03 v -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723
1789.71/1790.03 v -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705
1789.71/1790.03 v -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687
1789.71/1790.03 v -x6686 -x6685 -x6684 -x6683 -x6682 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668
1789.71/1790.03 v -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650
1789.71/1790.03 v -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633
1789.71/1790.03 v -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615
1789.71/1790.03 v -x6614 -x6613 -x6612 -x6611 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596
1789.71/1790.03 v -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6510 -x6509 -x6508
1789.71/1790.03 v -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490
1789.71/1790.03 v -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472
1789.71/1790.03 v -x6471 -x6470 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453
1789.71/1790.03 v -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436
1789.71/1790.03 v -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418
1789.71/1790.03 v -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400
1789.71/1790.03 v -x6399 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381
1789.71/1790.03 v -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363
1789.71/1790.03 v -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345
1789.71/1790.03 v -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6326
1789.71/1790.03 v -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309
1789.71/1790.03 v -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291
1789.71/1790.03 v -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273
1789.71/1790.03 v -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6255 -x6254
1789.71/1790.03 v -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236
1789.71/1790.03 v -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218
1789.71/1790.03 v -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200
1789.71/1790.03 v -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6184 -x6183 -x6182
1789.71/1790.03 v -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164
1789.71/1790.03 v -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146
1789.71/1790.03 v -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128
1789.71/1790.03 v -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6113 -x6112 -x6111 -x6110 -x6109
1789.71/1790.03 v -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091
1789.71/1790.03 v -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073
1789.71/1790.03 v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056
1789.71/1790.03 v -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037
1789.71/1790.03 v -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019
1789.71/1790.03 v -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001
1789.71/1790.03 v -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983
1789.71/1790.03 v -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964
1789.71/1790.03 v -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946
1789.71/1790.03 v -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929
1789.71/1790.03 v -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911
1789.71/1790.03 v -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 x5894 -x5893 -x5892
1789.71/1790.03 v -x5891 -x5890 -x5889 x5888 -x5887 -x5886 x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874
1789.71/1790.03 v -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856
1789.71/1790.03 v -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838
1789.71/1790.03 v -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819
1789.71/1790.03 v -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731
1789.71/1790.03 v -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713
1789.71/1790.03 v -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695
1789.71/1790.03 v -x5694 -x5693 -x5692 -x5691 -x5690 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677
1789.71/1790.03 v -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659
1789.71/1790.03 v -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641
1789.71/1790.03 v -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623
1789.71/1790.03 v -x5622 -x5621 -x5620 -x5619 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604
1789.71/1790.03 v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586
1789.71/1790.03 v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568
1789.71/1790.03 v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551
1789.71/1790.03 v -x5550 -x5549 -x5548 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532
1789.71/1790.03 v -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514
1789.71/1790.03 v -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496
1789.71/1790.03 v -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478
1789.71/1790.03 v -x5477 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459
1789.71/1790.03 v -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441
1789.71/1790.03 v -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424
1789.71/1790.03 v -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406
1789.71/1790.03 v -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387
1789.71/1790.03 v -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369
1789.71/1790.03 v -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351
1789.71/1790.03 v -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5333 -x5332
1789.71/1790.03 v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314
1789.71/1790.03 v -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296
1789.71/1790.03 v -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278
1789.71/1790.03 v -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5262 -x5261 -x5260
1789.71/1790.03 v -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242
1789.71/1790.03 v -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224
1789.71/1790.03 v -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206
1789.71/1790.03 v -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5191 -x5190 -x5189 -x5188 -x5187
1789.71/1790.03 v -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169
1789.71/1790.03 v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151
1789.71/1790.03 v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134
1789.71/1790.03 v -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115
1789.71/1790.03 v -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097
1789.71/1790.03 v -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079
1789.71/1790.03 v -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061
1789.71/1790.03 v -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042
1789.71/1790.03 v -x5041 -x9940 -x9939 -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 -x9925 -x9924
1789.71/1790.03 v -x9923 -x9922 -x9921 -x9920 -x9919 -x9918 -x9917 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 -x9907
1789.71/1790.03 v -x9906 -x9905 -x9904 -x9903 -x9902 -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 -x9889
1789.71/1790.03 v -x9888 -x9887 -x9886 -x9885 -x9884 -x9883 -x9882 -x9881 -x9880 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 -x9871 -x9870
1789.71/1790.03 v -x9869 -x9868 -x9867 -x9866 -x9865 -x9864 -x9863 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 -x9856 -x9855 -x9854 -x9853 -x9852
1789.71/1790.03 v -x9851 -x9850 -x9849 -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839 -x9838 -x9837 -x9836 -x9835 -x9834
1789.71/1790.03 v -x9833 -x9832 -x9831 -x9830 -x9829 -x9828 -x9827 -x9826 -x9825 -x9824 -x9823 -x9822 x9821 -x9820 -x9819 -x9818 -x9817 -x9816
1789.71/1790.03 v -x9815 -x9814 -x9813 -x9812 -x9811 -x9810 -x9809 -x9807 -x9806 x9805 -x9804 -x9803 -x9802 -x9801 -x9800 -x9799 -x9798 -x9797
1789.71/1790.03 v -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784 -x9783 -x9782 -x9781 -x9780 -x9779
1789.71/1790.03 v -x9778 -x9777 -x9776 -x9775 -x9774 -x9773 -x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9762 -x9761
1789.71/1790.03 v -x9760 -x9759 -x9758 -x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9749 -x9748 -x9747 -x9746 -x9745 -x9744
1789.71/1790.03 v -x9743 -x9742 -x9741 -x9740 -x9739 -x9738 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655
1789.71/1790.03 v -x9654 -x9653 -x9652 -x9651 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637
1789.71/1790.03 v -x9636 -x9635 -x9634 -x9633 -x9632 -x9631 -x9630 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619
1789.71/1790.03 v -x9618 -x9617 -x9616 -x9615 -x9614 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601
1789.71/1790.03 v -x9600 -x9599 -x9598 -x9597 -x9595 -x9594 -x9593 -x9592 -x9591 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 -x8882
1789.71/1790.03 v -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864
1789.71/1790.03 v -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847
1789.71/1790.03 v -x8846 -x8845 -x8844 -x8843 -x8842 x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 x8834 -x8833 -x8832 -x8831 -x8830 -x8829 x8828
1789.71/1790.03 v -x8827 -x8826 -x8824 -x8823 -x8822 -x8821 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109
1789.71/1790.03 v -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092
1789.71/1790.03 v -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074
1789.71/1790.03 v -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056
1789.71/1790.03 v -x8055 -x8053 -x8052 -x8051 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337
1789.71/1790.03 v -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319
1789.71/1790.03 v -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301
1789.71/1790.03 v -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7282
1789.71/1790.03 v -x7281 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565
1789.71/1790.03 v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547
1789.71/1790.03 v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529
1789.71/1790.03 v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6511 -x5810
1789.71/1790.03 v -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792
1789.71/1790.03 v -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774
1789.71/1790.03 v -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756
1789.71/1790.03 v -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5040 -x5039 -x5038
1789.71/1790.03 v -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020
1789.71/1790.03 v -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002
1789.71/1790.03 v -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 x4984
1789.71/1790.03 v -x4983 -x4982 -x4981 -x4980 -x4979 x4978 -x4977 -x4976 x4975 -x4974 -x4973 -x4972 -x4971 -x4759 -x4758 -x4757 -x4756 -x4755
1789.71/1790.03 v -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737
1789.71/1790.03 v -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719
1789.71/1790.03 v -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701
1789.71/1790.03 v -x4700 -x4699 x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4620 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612
1789.71/1790.03 v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594
1789.71/1790.03 v -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576
1789.71/1790.03 v -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558
1789.71/1790.03 v -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540
1789.71/1790.03 v -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522
1789.71/1790.03 v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504
1789.71/1790.03 v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 x4488 -x4487 -x4486
1789.71/1790.03 v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467
1789.71/1790.03 v -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449
1789.71/1790.03 v -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431
1789.71/1790.03 v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 x4415 -x4414 -x4413
1789.71/1790.03 v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394
1789.71/1790.03 v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377
1789.71/1790.03 v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359
1789.71/1790.03 v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341
1789.71/1790.03 v -x4340 -x4339 -x4338 -x4337 -x4336 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322
1789.71/1790.03 v -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304
1789.71/1790.03 v -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286
1789.71/1790.03 v -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268
1789.71/1790.03 v -x4267 -x4266 -x4265 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249
1789.71/1790.03 v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231
1789.71/1790.03 v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 x4214 -x4213
1789.71/1790.03 v -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196
1789.71/1790.03 v -x4195 -x4194 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177
1789.71/1790.03 v -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159
1789.71/1790.03 v -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141
1789.71/1790.03 v -x4140 -x4139 -x4138 -x4137 -x4136 x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123
1789.71/1790.03 v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104
1789.71/1790.03 v -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086
1789.71/1790.03 v -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 x4068
1789.71/1790.03 v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4050 -x4049
1789.71/1790.03 v -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032
1789.71/1790.03 v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014
1789.71/1790.03 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 x3998 -x3997 -x3996
1789.71/1790.03 v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3979 -x3978 -x3977
1789.71/1790.03 v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959
1789.71/1790.03 v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941
1789.71/1790.03 v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923
1789.71/1790.03 v -x3922 -x3921 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3838 -x3837 -x3836 -x3835 -x3834
1789.71/1790.03 v -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816
1789.71/1790.03 v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799
1789.71/1790.03 v -x3798 -x3797 -x3796 -x3795 x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781
1789.71/1790.03 v -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762
1789.71/1790.03 v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744
1789.71/1790.03 v -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726
1789.71/1790.03 v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708
1789.71/1790.03 v -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689
1789.71/1790.03 v -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671
1789.71/1790.03 v -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653
1789.71/1790.03 v -x3652 -x3651 -x3650 -x3649 x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635
1789.71/1790.03 v -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617
1789.71/1790.03 v -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599
1789.71/1790.03 v -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581
1789.71/1790.03 v -x3580 -x3579 x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563
1789.71/1790.03 v -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544
1789.71/1790.03 v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526
1789.71/1790.03 v -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508
1789.71/1790.03 v -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490
1789.71/1790.03 v -x3489 -x3488 -x3487 -x3486 -x3485 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471
1789.71/1790.03 v -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454
1789.71/1790.03 v -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 x3438 -x3437 -x3436
1789.71/1790.03 v -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418
1789.71/1790.03 v -x3417 -x3416 -x3415 -x3414 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399
1789.71/1790.03 v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381
1789.71/1790.03 v -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 x3365 -x3364 -x3363
1789.71/1790.03 v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345
1789.71/1790.03 v -x3344 -x3343 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326
1789.71/1790.03 v -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308
1789.71/1790.03 v -x3307 -x3306 -x3305 x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290
1789.71/1790.03 v -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273
1789.71/1790.03 v -x3272 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254
1789.71/1790.03 v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236
1789.71/1790.03 v -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218
1789.71/1790.03 v -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3199
1789.71/1790.03 v -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181
1789.71/1790.03 v -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 x3164 -x3163
1789.71/1790.03 v -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075
1789.71/1790.03 v -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3058 -x3057 -x3056
1789.71/1790.03 v -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039
1789.71/1790.03 v -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021
1789.71/1790.03 v -x3020 -x3019 -x3018 -x3017 -x3016 x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003
1789.71/1790.03 v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2987 -x2986 -x2985 -x2984
1789.71/1790.03 v -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966
1789.71/1790.03 v -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948
1789.71/1790.03 v -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930
1789.71/1790.03 v -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911
1789.71/1790.03 v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893
1789.71/1790.03 v -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 x2878 -x2877 -x2876 -x2875
1789.71/1790.03 v -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858
1789.71/1790.03 v -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839
1789.71/1790.03 v -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821
1789.71/1790.03 v -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 x2805 -x2804 -x2803
1789.71/1790.03 v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785
1789.71/1790.03 v -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766
1789.71/1790.03 v -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748
1789.71/1790.03 v -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730
1789.71/1790.03 v -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712
1789.71/1790.03 v -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694
1789.71/1790.03 v -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676
1789.71/1790.03 v -x2675 x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658
1789.71/1790.03 v -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640
1789.71/1790.03 v -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621
1789.71/1790.03 v -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603
1789.71/1790.03 v -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585
1789.71/1790.03 v -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567
1789.71/1790.03 v -x2566 -x2565 -x2564 -x2563 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548
1789.71/1790.03 v -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531
1789.71/1790.03 v -x2530 -x2529 -x2528 -x2527 -x2526 x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513
1789.71/1790.03 v -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495
1789.71/1790.03 v -x2494 -x2493 -x2492 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476
1789.71/1790.03 v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458
1789.71/1790.03 v -x2457 -x2456 x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440
1789.71/1790.03 v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422
1789.71/1790.03 v -x2421 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403
1789.71/1790.03 v -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385
1789.71/1790.03 v -x2384 -x2383 -x2382 -x2381 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297
1789.71/1790.03 v -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280
1789.71/1790.03 v -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261
1789.71/1790.03 v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243
1789.71/1790.03 v -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225
1789.71/1790.03 v -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2207 -x2206
1789.71/1790.03 v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188
1789.71/1790.03 v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 x2175 -x2174 -x2173 -x2172 -x2171 -x2170
1789.71/1790.03 v -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152
1789.71/1790.03 v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2136 -x2135 -x2134 -x2133
1789.71/1790.03 v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
1789.71/1790.03 v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
1789.71/1790.03 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
1789.71/1790.03 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2065 -x2064 -x2063 -x2062 -x2061
1789.71/1790.03 v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043
1789.71/1790.03 v -x2042 -x2041 -x2040 -x2039 x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025
1789.71/1790.03 v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007
1789.71/1790.03 v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988
1789.71/1790.03 v -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 x1974 -x1973 -x1972 -x1971 -x1970
1789.71/1790.03 v -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952
1789.71/1790.03 v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935
1789.71/1790.03 v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916
1789.71/1790.03 v -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898
1789.71/1790.03 v -x1897 -x1896 x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880
1789.71/1790.03 v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862
1789.71/1790.03 v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843
1789.71/1790.03 v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 x1825
1789.71/1790.03 v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807
1789.71/1790.03 v -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789
1789.71/1790.03 v -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771
1789.71/1790.03 v -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 x1758 -x1757 -x1756 -x1755 -x1754 -x1753
1789.71/1790.03 v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735
1789.71/1790.03 v -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717
1789.71/1790.03 v -x1716 -x1715 -x1714 -x1713 -x1712 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698
1789.71/1790.03 v -x1697 -x1696 -x1695 x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680
1789.71/1790.03 v -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662
1789.71/1790.03 v -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644
1789.71/1790.03 v -x1643 -x1642 -x1641 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625
1789.71/1790.03 v x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1540 -x1539 -x1538 -x1537
1789.71/1790.03 v -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520
1789.71/1790.03 v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502
1789.71/1790.03 v -x1501 -x1500 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483
1789.71/1790.03 v -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465
1789.71/1790.03 v -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447
1789.71/1790.03 v -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429
1789.71/1790.03 v -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410
1789.71/1790.03 v -x1409 x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392
1789.71/1790.03 v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
1789.71/1790.03 v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1356
1789.71/1790.03 v -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 x1338
1789.71/1790.03 v -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320
1789.71/1790.03 v -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302
1789.71/1790.03 v -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283
1789.71/1790.03 v -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265
1789.71/1790.03 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247
1789.71/1790.03 v -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229
1789.71/1790.03 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1214 -x1213 -x1212 -x1211 -x1210
1789.71/1790.03 v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 x1195 -x1194 -x1193 -x1192
1789.71/1790.03 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175
1789.71/1790.03 v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
1789.71/1790.03 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138
1789.71/1790.03 v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
1789.71/1790.03 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102
1789.71/1790.03 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084
1789.71/1790.03 v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065
1789.71/1790.03 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047
1789.71/1790.03 v -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029
1789.71/1790.03 v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012
1789.71/1790.03 v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 x994 -x993 -x992 -x991
1789.71/1790.03 v -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971
1789.71/1790.03 v -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950
1789.71/1790.03 v -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x930 -x929 -x928
1789.71/1790.03 v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907
1789.71/1790.03 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886
1789.71/1790.03 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865
1789.71/1790.03 v -x864 -x863 -x862 -x861 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843
1789.71/1790.03 v -x842 -x841 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753
1789.71/1790.03 v -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732
1789.71/1790.03 v -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710
1789.71/1790.03 v -x709 x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689
1789.71/1790.03 v -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668
1789.71/1790.03 v -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x647 -x646
1789.71/1790.03 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625
1789.71/1790.03 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604
1789.71/1790.03 v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584
1789.71/1790.03 v -x583 -x582 -x581 -x580 -x579 -x578 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562
1789.71/1790.03 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
1789.71/1790.03 v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
1789.71/1790.03 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498
1789.71/1790.03 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1789.71/1790.03 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
1789.71/1790.03 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x434
1789.71/1790.03 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 x414 -x413
1789.71/1790.03 v -x412 -x411 x410 x409 -x408 -x407 -x406 x405 -x404 -x403 x402 -x401 x400 -x399 x398 -x397 -x396 -x395 x394 -x393 -x392 -x391
1789.71/1790.03 v x390 x389 -x388 -x387 -x386 x385 -x384 -x383 -x382 x381 x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 x372 -x371 -x370 -x369
1789.71/1790.03 v -x368 -x367 x366 x365 -x363 x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346
1789.71/1790.03 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325
1789.71/1790.03 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1789.71/1790.03 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283
1789.71/1790.03 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262
1789.71/1790.03 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1789.71/1790.03 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x221 -x220 -x219
1789.71/1790.03 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1789.71/1790.03 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1789.71/1790.03 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1789.71/1790.03 v -x155 -x154 -x153 -x152 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
1789.71/1790.03 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1789.71/1790.03 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1789.71/1790.03 v -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x4970 -x4969 -x4968 -x4967
1789.71/1790.03 v -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949
1789.71/1790.03 v -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931
1789.71/1790.03 v -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913
1789.71/1790.03 v -x4912 -x4911 -x4910 -x4908 -x4907 -x4906 x4905 -x4904 -x4903 -x4902 -x4901 x4900 -x4899 x4898 -x4897 x4896 x4895 -x4894
1789.71/1790.03 v -x4893 x4892 x4891 -x4890 -x4889 x4888 x4887 x4886 -x4885 x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 x4877 -x4876 x4875
1789.71/1790.03 v -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 x4866 -x4865 -x4864 -x4863 x4862 -x4861 -x4860 -x4859 x4858 x4857 -x4856
1789.71/1790.03 v -x4855 x4854 x4853 -x4852 -x4851 -x4850 x4849 x4848 x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 x4837 -x4836
1789.71/1790.03 v -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819
1789.71/1790.03 v -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801
1789.71/1790.03 v -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783
1789.71/1790.03 v -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 x4768 -x4766 -x4765 -x4764
1789.71/1790.03 v -x4763 -x4762 -x4761 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676
1789.71/1790.03 v -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658
1789.71/1790.03 v -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640
1789.71/1790.03 v -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 x4625 -x4624 -x4623 -x4622 -x4621
1789.71/1790.03 v -x3920 -x3919 -x3918 x3917 -x3916 -x3915 -x3914 x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 x3903
1789.71/1790.03 v -x3902 x3901 -x3900 x3899 -x3898 -x3897 x3896 -x3895 -x3894 x3893 x3892 x3891 -x3890 -x3889 x3888 x3887 -x3886 -x3885 x3884
1789.71/1790.03 v x3883 -x3882 -x3881 -x3880 x3879 -x3878 -x3877 -x3876 x3875 -x3874 -x3873 -x3872 -x3871 x3870 -x3869 -x3868 -x3867 -x3866 -x3865
1789.71/1790.03 v -x3864 x3863 -x3862 x3861 -x3860 x3859 -x3858 -x3857 x3856 -x3854 -x3853 x3852 x3851 -x3150 -x3149 -x3148 -x3147 -x3146
1789.71/1790.03 v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
1789.71/1790.03 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110
1789.71/1790.03 v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 x3094 -x3093 -x3092
1789.71/1790.03 v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3083 -x3082 -x3081 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373
1789.71/1790.03 v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355
1789.71/1790.03 v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337
1789.71/1790.03 v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 x2324 -x2323 -x2322 -x2321 -x2320 -x2319
1789.71/1790.03 v -x2318 -x2317 -x2316 -x2315 -x2314 -x2312 -x2311 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601
1789.71/1790.03 v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583
1789.71/1790.03 v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565
1789.71/1790.03 v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
1789.71/1790.03 v -x1546 x1545 -x1544 -x1543 -x1541 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1789.71/1790.03 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805
1789.71/1790.03 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784
1789.71/1790.03 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772
1789.71/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.71/1790.03 c Solving Time : 1789.88
1789.71/1790.03 c Original Problem :
1789.71/1790.03 c Problem name : HOME/instance-3744335-1338804932.opb
1789.71/1790.03 c Variables : 9940 (9940 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.03 c Constraints : 14846 initial, 14846 maximal
1789.71/1790.03 c Presolved Problem :
1789.71/1790.03 c Problem name : t_HOME/instance-3744335-1338804932.opb
1789.71/1790.03 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.03 c Constraints : 5184 initial, 6598 maximal
1789.71/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.71/1790.03 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c probing : 0.06 0 0 0 0 0 0 0 0
1789.71/1790.03 c knapsack : 0.03 0 0 0 0 0 0 0 0
1789.71/1790.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c linear : 0.14 140 4830 0 140 0 9662 2415 2415
1789.71/1790.03 c logicor : 0.02 0 0 0 0 0 0 0 0
1789.71/1790.03 c root node : - 1969 - - 1969 - - - -
1789.71/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.71/1790.03 c integral : 0 0 0 2472 0 3 567 0 0 4418
1789.71/1790.03 c knapsack : 2625 3 33121 10 1 99 82902 42 0 0
1789.71/1790.03 c setppc : 71 3 22201 3 1 10 16195 0 0 0
1789.71/1790.03 c linear : 3+ 4 33013 10 0 88 17940 0 0 0
1789.71/1790.03 c logicor : 2485+ 3 8933 10 1 14 625551 0 0 0
1789.71/1790.03 c countsols : 0 0 0 10 1 0 0 0 0 0
1789.71/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.71/1790.03 c integral : 361.53 0.00 0.00 361.53 0.00
1789.71/1790.03 c knapsack : 8.61 0.05 8.56 0.00 0.00
1789.71/1790.03 c setppc : 2.52 0.00 2.52 0.00 0.00
1789.71/1790.03 c linear : 33.43 26.24 7.19 0.00 0.00
1789.71/1790.03 c logicor : 1.92 0.00 1.92 0.00 0.00
1789.71/1790.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.71/1790.03 c Propagators : Time Calls Cutoffs DomReds
1789.71/1790.03 c vbounds : 0.04 2 0 0
1789.71/1790.03 c rootredcost : 0.04 13 0 1969
1789.71/1790.03 c pseudoobj : 4.19 32999 8 22
1789.71/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.71/1790.03 c propagation : 0.05 212 212 728 184.2 0 0.0 -
1789.71/1790.03 c infeasible LP : 0.14 157 157 447 72.6 0 0.0 0
1789.71/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.71/1790.03 c applied globally : - - - 884 89.5 - - -
1789.71/1790.03 c applied locally : - - - 3 1627.3 - - -
1789.71/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.71/1790.03 c cut pool : 0.00 2 - - 0 - (maximal pool size: 27)
1789.71/1790.03 c redcost : 1.13 4381 0 96080 0 0
1789.71/1790.03 c impliedbounds : 0.00 3 0 0 0 0
1789.71/1790.03 c intobj : 0.00 0 0 0 0 0
1789.71/1790.03 c cgmip : 0.00 0 0 0 0 0
1789.71/1790.03 c gomory : 0.43 3 0 0 0 0
1789.71/1790.03 c strongcg : 0.41 3 0 0 0 0
1789.71/1790.03 c cmir : 0.10 3 0 0 0 0
1789.71/1790.03 c flowcover : 0.23 3 0 0 36 0
1789.71/1790.03 c clique : 0.01 3 0 0 0 0
1789.71/1790.03 c zerohalf : 0.00 0 0 0 0 0
1789.71/1790.03 c mcf : 0.00 1 0 0 0 0
1789.71/1790.03 c rapidlearning : 5.64 1 0 0 0 1414
1789.71/1790.03 c Pricers : Time Calls Vars
1789.71/1790.03 c problem variables: 0.00 0 0
1789.71/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.71/1790.03 c relpscost : 361.52 2462 3 567 0 0 4418
1789.71/1790.03 c pscost : 0.00 0 0 0 0 0 0
1789.71/1790.03 c inference : 0.00 1 0 0 0 0 2
1789.71/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1789.71/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1789.71/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1789.71/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1789.71/1790.03 c random : 0.00 0 0 0 0 0 0
1789.71/1790.03 c Primal Heuristics : Time Calls Found
1789.71/1790.03 c LP solutions : 0.00 - 10
1789.71/1790.03 c pseudo solutions : 0.00 - 0
1789.71/1790.03 c oneopt : 0.03 14 0
1789.71/1790.03 c feaspump : 5.84 1 0
1789.71/1790.03 c rootsoldiving : 25.47 2 0
1789.71/1790.03 c fracdiving : 77.89 10 0
1789.71/1790.03 c linesearchdiving : 66.69 11 0
1789.71/1790.03 c guideddiving : 79.27 12 0
1789.71/1790.03 c pscostdiving : 71.55 12 0
1789.71/1790.03 c coefdiving : 80.03 12 0
1789.71/1790.03 c objpscostdiving : 16.67 11 0
1789.71/1790.03 c veclendiving : 282.30 43 3
1789.71/1790.03 c trivial : 0.01 2 0
1789.71/1790.03 c simplerounding : 0.01 0 0
1789.71/1790.03 c zirounding : 0.17 1000 0
1789.71/1790.03 c rounding : 0.48 715 0
1789.71/1790.03 c shifting : 3.58 181 0
1789.71/1790.03 c intshifting : 0.00 0 0
1789.71/1790.03 c twoopt : 0.00 0 0
1789.71/1790.03 c fixandinfer : 0.00 0 0
1789.71/1790.03 c intdiving : 0.00 0 0
1789.71/1790.03 c actconsdiving : 0.00 0 0
1789.71/1790.03 c octane : 0.00 0 0
1789.71/1790.03 c rens : 0.21 1 0
1789.71/1790.03 c rins : 0.00 0 0
1789.71/1790.03 c localbranching : 0.00 0 0
1789.71/1790.03 c mutation : 0.00 0 0
1789.71/1790.03 c crossover : 0.34 5 0
1789.71/1790.03 c dins : 0.00 0 0
1789.71/1790.03 c undercover : 0.00 0 0
1789.71/1790.03 c nlp : 0.00 0 0
1789.71/1790.03 c trysol : 0.01 0 0
1789.71/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1789.71/1790.03 c primal LP : 0.01 0 0 0.00 -
1789.71/1790.03 c dual LP : 663.37 3726 1160688 311.51 1749.69
1789.71/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1789.71/1790.03 c barrier LP : 0.00 0 0 0.00 -
1789.71/1790.03 c diving/probing LP: 666.23 21503 1108972 51.57 1664.54
1789.71/1790.03 c strong branching : 361.07 3007 610000 202.86 1689.41
1789.71/1790.03 c (at root node) : - 9 7071 785.67 -
1789.71/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1789.71/1790.03 c B&B Tree :
1789.71/1790.03 c number of runs : 1
1789.71/1790.03 c nodes : 3423
1789.71/1790.03 c nodes (total) : 3423
1789.71/1790.03 c nodes left : 965
1789.71/1790.03 c max depth : 73
1789.71/1790.03 c max depth (total): 73
1789.71/1790.03 c backtracks : 414 (12.1%)
1789.71/1790.03 c delayed cutoffs : 0
1789.71/1790.03 c repropagations : 631 (1038 domain reductions, 0 cutoffs)
1789.71/1790.03 c avg switch length: 5.41
1789.71/1790.03 c switching time : 3.97
1789.71/1790.03 c Solution :
1789.71/1790.03 c Solutions found : 14 (14 improvements)
1789.71/1790.03 c First Solution : +3.41105431000000e+08 (in run 1, after 1 nodes, 22.51 seconds, depth 0, found by <trysol>)
1789.71/1790.03 c Primal Bound : +5.14304300000000e+06 (in run 1, after 2773 nodes, 1597.36 seconds, depth 44, found by <relaxation>)
1789.71/1790.03 c Dual Bound : +2.49623618334477e+06
1789.71/1790.03 c Gap : 106.03 %
1789.71/1790.03 c Root Dual Bound : +2.01981291984740e+06
1789.71/1790.03 c Root Iterations : 12801
1789.71/1790.09 c Time complete: 1789.8.
OK 5143043
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744335-1338804932/watcher-3744335-1338804932 -o /tmp/evaluation-result-3744335-1338804932/solver-3744335-1338804932 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744335-1338804932.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.04 2.00 3/178 29924 /proc/meminfo: memFree=28775040/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=7912 CPUtime=0 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 1030 0 0 0 0 0 0 0 20 0 1 0 346618013 8101888 976 33554432000 4194304 8395647 140734953508080 140734953503496 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 1978 984 365 1026 0 948 0 [startup+0.055157 s] /proc/loadavg: 2.01 2.04 2.00 3/178 29924 /proc/meminfo: memFree=28775040/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=19880 CPUtime=0.04 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 4234 0 0 0 4 0 0 0 20 0 1 0 346618013 20357120 4174 33554432000 4194304 8395647 140734953508080 140734953503496 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 4970 4174 394 1026 0 3940 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 19880 [startup+0.100346 s] /proc/loadavg: 2.01 2.04 2.00 3/178 29924 /proc/meminfo: memFree=28775040/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=22544 CPUtime=0.08 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 4897 0 0 0 8 0 0 0 20 0 1 0 346618013 23085056 4837 33554432000 4194304 8395647 140734953508080 140734953503496 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 5636 4837 394 1026 0 4606 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22544 [startup+0.30031 s] /proc/loadavg: 2.01 2.04 2.00 3/178 29924 /proc/meminfo: memFree=28775040/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=54324 CPUtime=0.29 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 12808 0 0 0 27 2 0 0 20 0 1 0 346618013 55627776 12394 33554432000 4194304 8395647 140734953508080 140734953503496 4281198 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 13581 12394 475 1026 0 12551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 54324 [startup+0.700205 s] /proc/loadavg: 2.01 2.04 2.00 3/178 29924 /proc/meminfo: memFree=28775040/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=72416 CPUtime=0.69 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 17915 0 0 0 66 3 0 0 20 0 1 0 346618013 74153984 16910 33554432000 4194304 8395647 140734953508080 140734953503384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 18104 16910 579 1026 0 17074 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 72416 [startup+1.50029 s] /proc/loadavg: 2.01 2.04 2.00 3/179 29925 /proc/meminfo: memFree=28708808/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=74192 CPUtime=1.49 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 18509 0 0 0 146 3 0 0 20 0 1 0 346618013 75972608 17479 33554432000 4194304 8395647 140734953508080 140734953503384 6754671 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 18548 17479 583 1026 0 17518 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 74192 [startup+3.10022 s] /proc/loadavg: 2.01 2.04 2.00 3/179 29925 /proc/meminfo: memFree=28708484/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=75456 CPUtime=3.09 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 18794 0 0 0 305 4 0 0 20 0 1 0 346618013 77266944 17764 33554432000 4194304 8395647 140734953508080 140734953502600 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 18864 17764 589 1026 0 17834 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 75456 [startup+6.30027 s] /proc/loadavg: 2.01 2.04 2.00 3/179 29925 /proc/meminfo: memFree=28708484/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=75456 CPUtime=6.28 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 18845 0 0 0 624 4 0 0 20 0 1 0 346618013 77266944 17815 33554432000 4194304 8395647 140734953508080 140734953502728 6670385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 18864 17815 589 1026 0 17834 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 75456 [startup+12.7002 s] /proc/loadavg: 2.01 2.04 2.00 3/179 29925 /proc/meminfo: memFree=28662968/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=74856 CPUtime=12.69 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 19578 0 0 0 1264 5 0 0 20 0 1 0 346618013 76652544 17679 33554432000 4194304 8395647 140734953508080 140734953502968 6013893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 18714 17679 598 1026 0 17684 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 74856 [startup+25.5002 s] /proc/loadavg: 2.01 2.04 2.00 3/179 29925 /proc/meminfo: memFree=28587196/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=25.48 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34400 0 0 0 2539 9 0 0 20 0 1 0 346618013 139214848 32498 33554432000 4194304 8395647 140734953508080 140734953502696 4904066 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 32498 640 1026 0 32958 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 135952 [startup+51.1003 s] /proc/loadavg: 2.00 2.03 2.00 3/179 29925 /proc/meminfo: memFree=28584236/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=51.08 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34771 0 0 0 5096 12 0 0 20 0 1 0 346618013 139214848 32869 33554432000 4194304 8395647 140734953508080 140734953502952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 32869 643 1026 0 32958 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 135952 [startup+102.307 s] /proc/loadavg: 2.07 2.04 2.00 3/179 29925 /proc/meminfo: memFree=28583604/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=102.27 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34807 0 0 0 10203 24 0 0 20 0 1 0 346618013 139214848 32925 33554432000 4194304 8395647 140734953508080 140734953503544 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 32925 643 1026 0 32958 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 135952 [startup+162.3 s] /proc/loadavg: 2.02 2.03 2.00 3/179 29925 /proc/meminfo: memFree=28582592/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=162.25 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34833 0 0 0 16183 42 0 0 20 0 1 0 346618013 139214848 33127 33554432000 4194304 8395647 140734953508080 140734953502952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33127 643 1026 0 32958 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 135952 [startup+222.3 s] /proc/loadavg: 2.06 2.04 2.00 3/179 29925 /proc/meminfo: memFree=28582344/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=222.24 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34835 0 0 0 22165 59 0 0 20 0 1 0 346618013 139214848 33129 33554432000 4194304 8395647 140734953508080 140734953503352 6696279 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33129 643 1026 0 32958 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 135952 [startup+282.3 s] /proc/loadavg: 2.02 2.03 2.00 3/180 29929 /proc/meminfo: memFree=28582212/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=282.23 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34835 0 0 0 28149 74 0 0 20 0 1 0 346618013 139214848 33129 33554432000 4194304 8395647 140734953508080 140734953503720 6586944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33129 643 1026 0 32958 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 135952 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 29929 /proc/meminfo: memFree=28582592/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=342.23 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34835 0 0 0 34135 88 0 0 20 0 1 0 346618013 139214848 33129 33554432000 4194304 8395647 140734953508080 140734953503560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33129 643 1026 0 32958 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 135952 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 29929 /proc/meminfo: memFree=28582592/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=402.22 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34835 0 0 0 40118 104 0 0 20 0 1 0 346618013 139214848 33129 33554432000 4194304 8395647 140734953508080 140734953503752 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33129 643 1026 0 32958 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 135952 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29929 /proc/meminfo: memFree=28582716/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=462.21 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34835 0 0 0 46099 122 0 0 20 0 1 0 346618013 139214848 33129 33554432000 4194304 8395647 140734953508080 140734953503208 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33129 643 1026 0 32958 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 135952 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29929 /proc/meminfo: memFree=28582716/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=522.2 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34836 0 0 0 52079 141 0 0 20 0 1 0 346618013 139214848 33130 33554432000 4194304 8395647 140734953508080 140734953503304 6471922 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33130 644 1026 0 32958 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 135952 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29930 /proc/meminfo: memFree=28582716/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=582.19 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34836 0 0 0 58061 158 0 0 20 0 1 0 346618013 139214848 33130 33554432000 4194304 8395647 140734953508080 140734953502952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33130 644 1026 0 32958 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 135952 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28582840/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=1062.12 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34837 0 0 0 105930 282 0 0 20 0 1 0 346618013 139214848 33131 33554432000 4194304 8395647 140734953508080 140734953503592 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33131 644 1026 0 32958 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 135952 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29934 /proc/meminfo: memFree=28582716/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=1122.11 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34837 0 0 0 111911 300 0 0 20 0 1 0 346618013 139214848 33131 33554432000 4194304 8395647 140734953508080 140734953503320 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33131 644 1026 0 32958 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 135952 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29935 /proc/meminfo: memFree=28582716/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=1182.1 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34838 0 0 0 117894 316 0 0 20 0 1 0 346618013 139214848 33132 33554432000 4194304 8395647 140734953508080 140734953502952 6586940 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33132 644 1026 0 32958 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 135952 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29935 /proc/meminfo: memFree=28582840/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=1242.09 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34839 0 0 0 123878 331 0 0 20 0 1 0 346618013 139214848 33133 33554432000 4194304 8395647 140734953508080 140734953502952 6120414 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33133 644 1026 0 32958 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 135952 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29935 /proc/meminfo: memFree=28582468/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=1302.09 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34839 0 0 0 129862 347 0 0 20 0 1 0 346618013 139214848 33133 33554432000 4194304 8395647 140734953508080 140734953502952 6721240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33133 644 1026 0 32958 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 135952 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29935 /proc/meminfo: memFree=28582468/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=1362.07 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34839 0 0 0 135847 360 0 0 20 0 1 0 346618013 139214848 33133 33554432000 4194304 8395647 140734953508080 140734953503320 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33133 644 1026 0 32958 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 135952 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29935 /proc/meminfo: memFree=28582468/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=1422.07 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34839 0 0 0 141827 380 0 0 20 0 1 0 346618013 139214848 33133 33554432000 4194304 8395647 140734953508080 140734953503208 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33133 644 1026 0 32958 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 135952 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 29939 /proc/meminfo: memFree=28582212/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=1482.05 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34839 0 0 0 147809 396 0 0 20 0 1 0 346618013 139214848 33133 33554432000 4194304 8395647 140734953508080 140734953503640 6667531 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33133 644 1026 0 32958 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 135952 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29939 /proc/meminfo: memFree=28582964/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=1542.05 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34839 0 0 0 153791 414 0 0 20 0 1 0 346618013 139214848 33133 33554432000 4194304 8395647 140734953508080 140734953503640 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33133 644 1026 0 32958 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 135952 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29939 /proc/meminfo: memFree=28582840/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=135952 CPUtime=1602.04 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 34839 0 0 0 159777 427 0 0 20 0 1 0 346618013 139214848 33133 33554432000 4194304 8395647 140734953508080 140734953503800 6697229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 33988 33133 644 1026 0 32958 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 135952 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 29939 /proc/meminfo: memFree=28582096/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=136720 CPUtime=1662.02 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 35003 0 0 0 165759 443 0 0 20 0 1 0 346618013 140001280 33297 33554432000 4194304 8395647 140734953508080 140734953502952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 34180 33297 644 1026 0 33150 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 136720 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 29939 /proc/meminfo: memFree=28580604/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=136720 CPUtime=1722.02 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 35003 0 0 0 171743 459 0 0 20 0 1 0 346618013 140001280 33629 33554432000 4194304 8395647 140734953508080 140734953503288 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 34180 33629 644 1026 0 33150 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 136720 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29978 /proc/meminfo: memFree=28644720/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=136720 CPUtime=1782.01 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 35004 0 0 0 177724 477 0 0 20 0 1 0 346618013 140001280 33657 33554432000 4194304 8395647 140734953508080 140734953503640 6585941 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 34180 33657 644 1026 0 33150 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 136720 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29978 /proc/meminfo: memFree=28644348/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=136720 CPUtime=1785.21 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 35004 0 0 0 178043 478 0 0 20 0 1 0 346618013 140001280 33657 33554432000 4194304 8395647 140734953508080 140734953502952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 34180 33657 644 1026 0 33150 0 Current children cumulated CPU time (s) 1785.21 Current children cumulated vsize (KiB) 136720 [startup+1787.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29978 /proc/meminfo: memFree=28644356/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=136720 CPUtime=1786.81 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 35004 0 0 0 178203 478 0 0 20 0 1 0 346618013 140001280 33657 33554432000 4194304 8395647 140734953508080 140734953502952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 34180 33657 644 1026 0 33150 0 Current children cumulated CPU time (s) 1786.81 Current children cumulated vsize (KiB) 136720 [startup+1788.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29978 /proc/meminfo: memFree=28644248/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=136720 CPUtime=1788.41 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 35004 0 0 0 178363 478 0 0 20 0 1 0 346618013 140001280 33657 33554432000 4194304 8395647 140734953508080 140734953503208 6587099 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 34180 33657 644 1026 0 33150 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (KiB) 136720 [startup+1789.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29978 /proc/meminfo: memFree=28644248/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=136720 CPUtime=1789.2 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 35004 0 0 0 178442 478 0 0 20 0 1 0 346618013 140001280 33657 33554432000 4194304 8395647 140734953508080 140734953503208 6667510 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 34180 33657 644 1026 0 33150 0 Current children cumulated CPU time (s) 1789.2 Current children cumulated vsize (KiB) 136720 [startup+1789.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29978 /proc/meminfo: memFree=28644256/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=136720 CPUtime=1789.61 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 35004 0 0 0 178482 479 0 0 20 0 1 0 346618013 140001280 33657 33554432000 4194304 8395647 140734953508080 140734953503640 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 34180 33657 644 1026 0 33150 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (KiB) 136720 [startup+1790 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29978 /proc/meminfo: memFree=28644256/32873844 swapFree=7620/7620 [pid=29924] ppid=29922 vsize=136720 CPUtime=1789.71 cores=1,3,5,7 /proc/29924/stat : 29924 (pbscip.linux.x8) R 29922 29924 27119 0 -1 4202496 35004 0 0 0 178492 479 0 0 20 0 1 0 346618013 140001280 33657 33554432000 4194304 8395647 140734953508080 140734953503640 6698322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29924/statm: 34180 33657 644 1026 0 33150 0 Current children cumulated CPU time (s) 1789.71 Current children cumulated vsize (KiB) 136720 Child status: 0 Real time (s): 1790.09 CPU time (s): 1789.81 CPU user time (s): 1785.02 CPU system time (s): 4.79427 CPU usage (%): 99.9842 Max. virtual memory (cumulated for all children) (KiB): 136720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.02 system time used= 4.79427 maximum resident set size= 134636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35009 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= 17 involuntary context switches= 1844 runsolver used 6.13507 second user time and 14.3888 second system time The end
Begin job on node135 at 2012-06-04 12:15:32 IDJOB=3744335 IDBENCH=92731 IDSOLVER=2326 FILE ID=node135/3744335-1338804932 RUNJOBID= node135-1338801333-29691 PBS_JOBID= 14636817 Free space on /tmp= 70968 MiB SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_9.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744335-1338804932/watcher-3744335-1338804932 -o /tmp/evaluation-result-3744335-1338804932/solver-3744335-1338804932 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744335-1338804932.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9dfe9f707e4bec0ff7b60653d14cbd16 RANDOM SEED=2116747845 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5238.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28775792 kB Buffers: 392128 kB Cached: 2771048 kB SwapCached: 1672 kB Active: 1324816 kB Inactive: 1919936 kB Active(anon): 72004 kB Inactive(anon): 12036 kB Active(file): 1252812 kB Inactive(file): 1907900 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67105800 kB Dirty: 22224 kB Writeback: 0 kB AnonPages: 204204 kB Mapped: 12996 kB Shmem: 132 kB Slab: 710356 kB SReclaimable: 152112 kB SUnreclaim: 558244 kB KernelStack: 1488 kB PageTables: 3828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 197160 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70960 MiB End job on node135 at 2012-06-04 12:45:22