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