Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | SAT | 24 | 1796.87 | 1797.17 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
| MD5SUM | af0ded53094abde95c37378ccd6c7afa |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 618.033 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | NO |
| Number of variables | 8901 |
| Total number of constraints | 32298 |
| Number of constraints which are clauses | 32280 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 790 |
| Number of terms in the objective function | 790 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 790 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 820 |
| Number of bits of the biggest sum of numbers | 10 |
| 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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691136-1338020667.opb>
0.04/0.08 c original problem has 8901 variables (8901 bin, 0 int, 0 impl, 0 cont) and 32298 constraints
0.04/0.08 c problem read in 0.08
0.09/0.18 c presolving:
0.29/0.35 c (round 1) 752 del vars, 1465 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 276476 impls, 0 clqs
0.29/0.36 c (round 2) 752 del vars, 1516 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 276476 impls, 0 clqs
0.39/0.48 c (round 3) 752 del vars, 1516 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 276476 impls, 0 clqs
0.59/0.65 c (0.7s) probing: 51/8149 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.65 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.59/0.65 c (round 4) 752 del vars, 21418 del conss, 6634 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 276476 impls, 0 clqs
0.69/0.74 c (round 5) 995 del vars, 21661 del conss, 6634 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 277122 impls, 0 clqs
0.79/0.83 c (0.8s) probing: 56/8149 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.83 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.79/0.84 c presolving (6 rounds):
0.79/0.84 c 995 deleted vars, 21661 deleted constraints, 6634 added constraints, 5 tightened bounds, 0 added holes, 17 changed sides, 17 changed coefficients
0.79/0.84 c 277122 implications, 0 cliques
0.79/0.84 c presolved problem has 7906 variables (7906 bin, 0 int, 0 impl, 0 cont) and 17271 constraints
0.79/0.84 c 1 constraints of type <knapsack>
0.79/0.84 c 10144 constraints of type <setppc>
0.79/0.84 c 6391 constraints of type <and>
0.79/0.84 c 735 constraints of type <logicor>
0.79/0.84 c transformed objective value is always integral (scale: 1)
0.79/0.84 c Presolving Time: 0.72
0.79/0.84 c - non default parameters ----------------------------------------------------------------------
0.79/0.84 c # SCIP version 2.1.1.4
0.79/0.84 c
0.79/0.84 c # maximal time in seconds to run
0.79/0.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.84 c limits/time = 1797
0.79/0.84 c
0.79/0.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.84 c limits/memory = 13950
0.79/0.84 c
0.79/0.84 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.84 c # [type: int, range: [1,2], default: 1]
0.79/0.84 c timing/clocktype = 2
0.79/0.84 c
0.79/0.84 c # belongs reading time to solving time?
0.79/0.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.84 c timing/reading = TRUE
0.79/0.84 c
0.79/0.84 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.84 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.84 c separating/rapidlearning/freq = 0
0.79/0.84 c
0.79/0.84 c -----------------------------------------------------------------------------------------------
0.79/0.84 c start solving
0.79/0.85 c
1.39/1.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.46 c 1.5s| 1 | 0 | 590 | - | 64M| 0 | 42 |7906 | 17k|7906 | 23k| 0 | 7 | 0 | 7.750000e+00 | -- | Inf
1.39/1.47 o 28
1.39/1.47 c s 1.5s| 1 | 0 | 590 | - | 65M| 0 | 42 |7906 | 17k|7906 | 23k| 0 | 7 | 0 | 7.750000e+00 | 2.800000e+01 | 261.29%
1.99/2.02 o 24
1.99/2.02 c U 2.0s| 1 | 0 | 590 | - | 65M| 0 | 42 |7906 | 17k|7906 | 23k| 0 | 10 | 0 | 7.750000e+00 | 2.400000e+01 | 209.68%
3.38/3.40 c 3.4s| 1 | 0 | 721 | - | 66M| 0 | 128 |7906 | 17k|7906 | 23k| 66 | 10 | 0 | 8.400000e+00 | 2.400000e+01 | 185.71%
4.69/4.77 c 4.8s| 1 | 0 | 834 | - | 68M| 0 | 120 |7906 | 17k|7906 | 23k| 174 | 10 | 0 | 9.166667e+00 | 2.400000e+01 | 161.82%
5.99/6.10 c 6.1s| 1 | 0 | 1028 | - | 68M| 0 | 130 |7906 | 17k|7906 | 23k| 292 | 10 | 0 | 9.550000e+00 | 2.400000e+01 | 151.31%
7.38/7.50 c 7.5s| 1 | 0 | 1331 | - | 69M| 0 | 107 |7906 | 17k|7906 | 24k| 405 | 10 | 0 | 1.000000e+01 | 2.400000e+01 | 140.00%
9.08/9.18 c 9.2s| 1 | 0 | 2388 | - | 72M| 0 | 242 |7906 | 17k|7906 | 24k| 557 | 10 | 0 | 1.100000e+01 | 2.400000e+01 | 118.18%
12.19/12.24 c 12.2s| 1 | 0 | 2930 | - | 76M| 0 | 226 |7906 | 17k|7906 | 24k| 877 | 10 | 0 | 1.100000e+01 | 2.400000e+01 | 118.18%
15.99/16.05 c 16.1s| 1 | 0 | 5318 | - | 79M| 0 | 197 |7906 | 17k|7906 | 24k|1290 | 10 | 0 | 1.100000e+01 | 2.400000e+01 | 118.18%
17.99/18.08 c 18.1s| 1 | 0 | 6025 | - | 84M| 0 | 49 |7906 | 17k|7906 | 25k|1695 | 10 | 0 | 1.100000e+01 | 2.400000e+01 | 118.18%
20.29/20.33 c 20.3s| 1 | 0 | 7772 | - | 93M| 0 | 270 |7906 | 17k|7906 | 25k|1804 | 10 | 0 | 1.116590e+01 | 2.400000e+01 | 114.94%
22.79/22.84 c 22.8s| 1 | 0 | 8835 | - | 96M| 0 | 620 |7906 | 17k|7906 | 26k|2514 | 10 | 0 | 1.123155e+01 | 2.400000e+01 | 113.68%
25.08/25.15 c 25.2s| 1 | 0 | 10392 | - | 102M| 0 | 577 |7906 | 17k|7906 | 27k|3439 | 10 | 0 | 1.131410e+01 | 2.400000e+01 | 112.12%
26.88/26.99 c 27.0s| 1 | 0 | 12454 | - | 106M| 0 | 813 |7906 | 17k|7906 | 28k|4671 | 10 | 0 | 1.137504e+01 | 2.400000e+01 | 110.99%
33.29/33.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.29/33.39 c 33.4s| 1 | 0 | 14843 | - | 107M| 0 | 712 |7906 | 17k|7906 | 29k|6157 | 10 | 0 | 1.142355e+01 | 2.400000e+01 | 110.09%
39.59/39.69 c 39.7s| 1 | 0 | 17875 | - | 108M| 0 | 964 |7906 | 17k|7906 | 30k|7189 | 10 | 0 | 1.145828e+01 | 2.400000e+01 | 109.46%
44.68/44.75 c 44.8s| 1 | 0 | 20304 | - | 108M| 0 | 843 |7906 | 17k|7906 | 31k|8205 | 10 | 0 | 1.151386e+01 | 2.400000e+01 | 108.44%
50.28/50.39 c 50.4s| 1 | 0 | 23314 | - | 108M| 0 |1192 |7906 | 17k|7906 | 32k|9169 | 10 | 0 | 1.154521e+01 | 2.400000e+01 | 107.88%
58.48/58.56 c 58.6s| 1 | 0 | 27783 | - | 109M| 0 |1098 |7906 | 17k|7906 | 32k| 10k| 10 | 0 | 1.156555e+01 | 2.400000e+01 | 107.51%
65.68/65.74 c 65.7s| 1 | 0 | 31695 | - | 109M| 0 |1795 |7906 | 17k|7906 | 33k| 10k| 10 | 0 | 1.157351e+01 | 2.400000e+01 | 107.37%
79.37/79.47 c 79.5s| 1 | 0 | 36323 | - | 109M| 0 |1593 |7906 | 17k|7906 | 33k| 11k| 10 | 0 | 1.158260e+01 | 2.400000e+01 | 107.21%
87.27/87.40 c 87.4s| 1 | 0 | 39380 | - | 109M| 0 |1542 |7906 | 17k|7906 | 34k| 11k| 10 | 0 | 1.158771e+01 | 2.400000e+01 | 107.12%
90.98/91.03 c 91.0s| 1 | 0 | 43707 | - | 109M| 0 |1500 |7906 | 17k|7906 | 34k| 12k| 10 | 0 | 1.159059e+01 | 2.400000e+01 | 107.06%
93.07/93.10 c 93.1s| 1 | 0 | 45704 | - | 109M| 0 |1520 |7906 | 17k|7906 | 34k| 12k| 10 | 0 | 1.159258e+01 | 2.400000e+01 | 107.03%
95.18/95.24 c 95.2s| 1 | 0 | 47939 | - | 109M| 0 |1352 |7906 | 17k|7906 | 30k| 12k| 10 | 0 | 1.159403e+01 | 2.400000e+01 | 107.00%
95.97/96.06 c 96.1s| 1 | 0 | 49088 | - | 109M| 0 |1371 |7906 | 17k|7906 | 31k| 12k| 10 | 0 | 1.159562e+01 | 2.400000e+01 | 106.97%
96.57/96.67 c 96.7s| 1 | 0 | 49710 | - | 109M| 0 |1400 |7906 | 17k|7906 | 31k| 12k| 10 | 0 | 1.159602e+01 | 2.400000e+01 | 106.97%
97.08/97.19 c 97.2s| 1 | 0 | 50399 | - | 109M| 0 |1378 |7906 | 17k|7906 | 31k| 12k| 10 | 0 | 1.159639e+01 | 2.400000e+01 | 106.96%
97.38/97.43 c 97.4s| 1 | 0 | 50595 | - | 109M| 0 |1089 |7906 | 17k|7906 | 31k| 12k| 10 | 0 | 1.159645e+01 | 2.400000e+01 | 106.96%
97.57/97.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.57/97.60 c 97.6s| 1 | 0 | 50713 | - | 109M| 0 |1277 |7906 | 17k|7906 | 31k| 12k| 10 | 0 | 1.159647e+01 | 2.400000e+01 | 106.96%
97.78/97.81 c 97.8s| 1 | 0 | 50848 | - | 109M| 0 |1176 |7906 | 17k|7906 | 28k| 12k| 10 | 0 | 1.159649e+01 | 2.400000e+01 | 106.96%
128.58/128.66 c 129s| 1 | 2 | 50848 | - | 109M| 0 |1176 |7906 | 17k|7906 | 28k| 12k| 10 | 45 | 1.159649e+01 | 2.400000e+01 | 106.96%
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 54
1796.69/1797.01 c Primal Bound : +2.40000000000000e+01 (3 solutions)
1796.69/1797.01 c Dual Bound : +1.18223939821991e+01
1796.69/1797.01 c Gap : 103.00 %
1796.69/1797.02 s SATISFIABLE
1796.69/1797.03 v x8901 -x8899 -x8897 x8895 -x8893 x8892 -x8891 x8890 -x8888 -x8887 -x8886 -x8885 -x8883 -x8882 -x8881 -x8880 -x8878 -x8877 -x8876
1796.69/1797.03 v -x8875 -x8873 -x8872 -x8871 -x8870 -x8868 -x8867 -x8866 -x8865 -x8863 -x8862 -x8861 -x8860 -x8858 -x8857 -x8856 -x8855 -x8853
1796.69/1797.03 v -x8852 -x8851 -x8850 -x8848 -x8847 -x8846 -x8845 -x8843 -x8842 -x8841 -x8840 -x8838 -x8837 -x8836 -x8835 -x8833 -x8832 -x8831
1796.69/1797.03 v -x8830 -x8828 -x8827 -x8826 -x8825 -x8823 -x8822 -x8821 -x8820 -x8818 -x8817 -x8816 -x8815 -x8813 -x8812 -x8811 -x8810 -x8808
1796.69/1797.03 v -x8807 -x8806 -x8805 -x8803 -x8802 -x8801 -x8800 -x8798 -x8797 -x8796 -x8795 -x8793 -x8792 -x8791 -x8790 -x8788 -x8787 -x8786
1796.69/1797.03 v -x8785 -x8783 -x8782 -x8781 -x8780 -x8778 -x8777 -x8776 -x8775 -x8773 -x8772 -x8771 -x8770 -x8768 -x8767 -x8766 -x8765
1796.69/1797.03 v -x8763 -x8762 -x8761 -x8760 -x8758 -x8757 -x8756 -x8755 -x8753 -x8752 -x8751 -x8750 -x8748 -x8747 -x8746 -x8745 -x8743 -x8742
1796.69/1797.03 v -x8741 -x8740 -x8738 -x8737 -x8736 -x8735 -x8733 -x8732 -x8731 -x8730 -x8728 -x8727 -x8726 -x8725 -x8723 -x8722 -x8721 -x8720
1796.69/1797.03 v -x8718 -x8717 -x8716 -x8715 -x8713 -x8712 -x8711 -x8710 -x8708 -x8707 -x8706 -x8705 -x8703 -x8702 -x8701 -x8700 -x8698 -x8697
1796.69/1797.03 v -x8696 -x8695 -x8693 -x8692 -x8691 -x8690 -x8688 -x8687 -x8686 -x8685 -x8683 -x8682 -x8681 -x8680 -x8678 -x8677 -x8676 -x8675
1796.69/1797.03 v -x8673 -x8672 -x8671 -x8670 -x8668 -x8667 -x8666 -x8665 -x8663 -x8662 -x8661 -x8660 -x8658 -x8657 -x8656 -x8655 -x8653 -x8652
1796.69/1797.03 v -x8651 -x8650 -x8648 -x8647 -x8646 -x8645 -x8643 -x8642 -x8641 -x8640 -x8638 -x8637 -x8636 -x8635 -x8633 -x8632 -x8631 -x8630
1796.69/1797.03 v -x8628 -x8627 -x8626 -x8625 -x8623 -x8622 -x8621 -x8620 -x8618 -x8617 -x8616 -x8615 -x8613 -x8612 -x8611 -x8610 -x8608
1796.69/1797.03 v -x8607 -x8606 -x8605 -x8603 -x8602 -x8601 -x8600 -x8598 -x8597 -x8596 -x8595 -x8593 -x8592 -x8591 -x8590 -x8588 -x8587 -x8586
1796.69/1797.03 v -x8585 -x8583 -x8582 -x8581 -x8580 -x8578 -x8577 -x8576 -x8575 -x8573 -x8572 -x8571 -x8570 -x8568 -x8567 -x8566 -x8565 -x8563
1796.69/1797.03 v -x8562 -x8561 -x8560 -x8558 -x8557 -x8556 -x8555 -x8553 x8552 -x8551 x8550 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542
1796.69/1797.03 v -x8541 -x8540 -x8539 x8538 -x8536 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 -x8528 -x8527 -x8526 -x8525 -x8524 -x8522 -x8520
1796.69/1797.03 v -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8508 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500
1796.69/1797.03 v -x8499 -x8498 -x8497 -x8496 -x8494 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8480 -x8478
1796.69/1797.03 v -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8466 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458
1796.69/1797.03 v -x8457 -x8456 -x8455 -x8454 -x8452 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8438 -x8436
1796.69/1797.03 v -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8424 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417 -x8416
1796.69/1797.03 v -x8415 -x8414 -x8413 -x8412 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8398 -x8396
1796.69/1797.03 v -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8384 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376
1796.69/1797.03 v -x8375 -x8374 -x8373 -x8372 -x8370 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 x8356 -x8354
1796.69/1797.03 v -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 -x8344 x8342 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334
1796.69/1797.03 v -x8333 -x8332 -x8331 -x8330 x8328 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8314 -x8312
1796.69/1797.03 v -x8311 -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8300 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292
1796.69/1797.03 v -x8291 -x8290 -x8289 -x8288 -x8286 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 x8272 -x8270
1796.69/1797.03 v -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8258 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250
1796.69/1797.03 v -x8249 -x8248 -x8247 -x8246 -x8244 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8230 -x8228
1796.69/1797.03 v -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218 -x8216 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208
1796.69/1797.03 v -x8207 -x8206 -x8205 -x8204 -x8202 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8188 -x8186
1796.69/1797.03 v -x8185 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 x8174 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166
1796.69/1797.03 v -x8165 -x8164 -x8163 -x8162 x8160 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 x8146 -x8144
1796.69/1797.03 v -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 x8132 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124
1796.69/1797.03 v -x8123 -x8122 -x8121 -x8120 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8106 -x8104 -x8103
1796.69/1797.03 v -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8092 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084
1796.69/1797.03 v -x8083 -x8082 -x8081 -x8080 x8078 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 x8064 -x8062 -x8061
1796.69/1797.03 v -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 x8052 -x8050 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041
1796.69/1797.03 v -x8040 -x8039 x8038 -x8036 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 x8024 -x8022 -x8020 -x8019
1796.69/1797.03 v -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8008 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999
1796.69/1797.03 v -x7998 -x7997 -x7996 -x7994 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7980 -x7979
1796.69/1797.03 v -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7968 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959
1796.69/1797.03 v -x7958 -x7957 -x7956 -x7954 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7940 -x7939 -x7938
1796.69/1797.03 v -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919
1796.69/1797.03 v -x7918 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899
1796.69/1797.03 v -x7898 -x7897 -x7896 -x7895 -x7894 x7892 -x7890 -x7889 -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 x7878
1796.69/1797.03 v -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 -x7858
1796.69/1797.03 v -x7857 -x7856 -x7855 -x7854 -x7852 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7838 -x7836
1796.69/1797.03 v -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7824 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7816
1796.69/1797.03 v -x7815 -x7814 -x7813 -x7812 -x7810 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 x7796 -x7794
1796.69/1797.03 v -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776
1796.69/1797.03 v -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758
1796.69/1797.03 v -x7757 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739
1796.69/1797.03 v -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 x7730 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720
1796.69/1797.03 v -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7701
1796.69/1797.03 v -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683
1796.69/1797.03 v -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664
1796.69/1797.03 v -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7647 -x7646 -x7645
1796.69/1797.03 v -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628
1796.69/1797.03 v -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609
1796.69/1797.03 v -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7593 -x7592 -x7591 -x7590
1796.69/1797.03 v -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572
1796.69/1797.03 v -x7571 -x7570 -x7569 -x7568 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553
1796.69/1797.03 v -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534
1796.69/1797.03 v -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516
1796.69/1797.03 v -x7515 -x7514 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498
1796.69/1797.03 v -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479
1796.69/1797.03 v -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461
1796.69/1797.03 v -x7460 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442
1796.69/1797.03 v -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423
1796.69/1797.03 v -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7404
1796.69/1797.03 v -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386
1796.69/1797.03 v -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368
1796.69/1797.03 v -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7350 -x7349
1796.69/1797.03 v -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331
1796.69/1797.03 v -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312
1796.69/1797.03 v -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7296 -x7295 -x7294 -x7293
1796.69/1797.03 v -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275
1796.69/1797.03 v -x7274 -x7273 -x7272 -x7271 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256
1796.69/1797.03 v -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7242 -x7241 -x7240 -x7239 -x7238
1796.69/1797.03 v -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220
1796.69/1797.03 v -x7219 -x7218 -x7217 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201
1796.69/1797.03 v -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 x7190 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182
1796.69/1797.03 v -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164
1796.69/1797.03 v -x7163 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145
1796.69/1797.03 v -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 x7136 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126
1796.69/1797.03 v -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7107
1796.69/1797.03 v -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089
1796.69/1797.03 v -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071
1796.69/1797.03 v -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7053 -x7052
1796.69/1797.03 v -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034
1796.69/1797.03 v -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015
1796.69/1797.03 v -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997
1796.69/1797.03 v -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979
1796.69/1797.03 v -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 x6970 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960
1796.69/1797.03 v -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942
1796.69/1797.03 v -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925
1796.69/1797.03 v -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6910 -x6909 -x6908 -x6907 -x6906
1796.69/1797.03 v -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888
1796.69/1797.03 v -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870
1796.69/1797.03 v -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 x6854 -x6852 -x6851
1796.69/1797.03 v -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833
1796.69/1797.03 v -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815
1796.69/1797.03 v -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797
1796.69/1797.03 v -x6796 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779
1796.69/1797.03 v -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761
1796.69/1797.03 v -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743
1796.69/1797.03 v -x6742 -x6741 -x6740 -x6739 -x6738 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724
1796.69/1797.03 v -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706
1796.69/1797.03 v -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688
1796.69/1797.03 v -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669
1796.69/1797.03 v -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652
1796.69/1797.03 v -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634
1796.69/1797.03 v -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615
1796.69/1797.03 v -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597
1796.69/1797.03 v -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579
1796.69/1797.03 v -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6562 -x6561 x6560
1796.69/1797.03 v x6559 -x6557 -x6555 -x6554 -x6553 -x6552 -x6550 -x6548 -x6547 -x6546 -x6545 -x6543 -x6541 -x6540 -x6539 -x6538 -x6536 -x6534
1796.69/1797.03 v -x6533 -x6532 -x6531 -x6529 -x6527 -x6526 -x6525 -x6524 -x6522 -x6520 -x6519 -x6518 -x6517 -x6515 -x6513 -x6512 -x6511 -x6510
1796.69/1797.03 v x6508 -x6506 -x6505 -x6504 -x6503 x6501 -x6499 -x6498 -x6497 -x6496 x6494 -x6492 -x6491 -x6490 -x6489 -x6487 -x6486 -x6485
1796.69/1797.03 v -x6484 -x6482 -x6480 -x6479 -x6478 -x6477 -x6475 -x6473 -x6472 -x6471 -x6470 -x6468 -x6466 -x6465 -x6464 -x6463 -x6461 -x6459
1796.69/1797.03 v -x6458 -x6457 -x6456 -x6454 -x6452 -x6451 -x6450 -x6449 -x6447 -x6445 -x6444 -x6443 -x6442 -x6440 -x6438 -x6437 -x6436 -x6435
1796.69/1797.03 v -x6433 -x6431 -x6430 -x6429 -x6428 x6426 -x6424 -x6423 -x6422 -x6421 -x6419 -x6417 -x6416 -x6415 -x6414 -x6412 -x6410 -x6409
1796.69/1797.03 v -x6408 -x6407 -x6405 -x6403 -x6402 -x6401 -x6400 -x6398 -x6396 -x6395 -x6394 -x6393 -x6391 -x6389 -x6388 -x6387 -x6386 -x6384
1796.69/1797.03 v -x6382 -x6381 -x6380 -x6379 -x6377 -x6375 -x6374 -x6373 -x6372 -x6370 -x6368 -x6367 -x6366 -x6365 -x6363 -x6361 -x6360
1796.69/1797.03 v -x6359 -x6358 x6356 -x6354 -x6353 -x6352 -x6351 x6349 -x6347 -x6346 -x6345 -x6344 x6342 -x6340 -x6339 -x6338 -x6337 x6335 -x6333
1796.69/1797.03 v -x6332 -x6331 -x6330 x6328 -x6326 -x6325 -x6324 -x6323 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312
1796.69/1797.03 v x6311 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 x6299 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292
1796.69/1797.03 v -x6291 -x6290 -x6289 -x6288 x6287 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6273 -x6272
1796.69/1797.03 v -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253
1796.69/1797.03 v -x6252 -x6251 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6237 -x6236 -x6235 -x6234 -x6233
1796.69/1797.03 v -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6213
1796.69/1797.03 v -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195
1796.69/1797.03 v -x6194 -x6193 -x6192 -x6191 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6177 -x6176 -x6175
1796.69/1797.03 v -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156
1796.69/1797.03 v -x6155 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136
1796.69/1797.03 v -x6135 -x6134 -x6133 -x6132 -x6131 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6117 -x6116
1796.69/1797.03 v -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097
1796.69/1797.03 v -x6096 -x6095 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6081 -x6080 -x6079 -x6078 -x6077
1796.69/1797.03 v -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059
1796.69/1797.03 v -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 -x6040
1796.69/1797.03 v -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022
1796.69/1797.03 v -x6021 -x6020 -x6019 -x6018 x6017 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003
1796.69/1797.03 v -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 x5990 -x5988 -x5987 -x5986 -x5985 -x5984
1796.69/1797.03 v -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966
1796.69/1797.03 v -x5965 -x5964 -x5963 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947
1796.69/1797.03 v -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928
1796.69/1797.03 v -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910
1796.69/1797.03 v -x5909 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892
1796.69/1797.03 v -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5880 -x5879 -x5878 -x5877 -x5875 -x5874 -x5873 -x5872
1796.69/1797.03 v -x5870 -x5869 -x5868 -x5867 -x5865 -x5864 -x5863 -x5862 -x5860 -x5859 -x5858 -x5857 -x5855 -x5854 -x5853 -x5852 -x5850 -x5849
1796.69/1797.03 v -x5848 -x5847 -x5845 -x5844 -x5843 -x5842 -x5840 -x5839 x5838 x5837 -x5835 -x5834 -x5833 -x5832 -x5830 -x5829 -x5828 -x5827
1796.69/1797.03 v -x5825 -x5824 -x5823 -x5822 -x5820 -x5819 -x5818 -x5817 -x5815 -x5814 -x5813 -x5812 -x5810 -x5809 -x5808 -x5807 -x5805 -x5804
1796.69/1797.03 v -x5803 -x5802 -x5800 -x5799 -x5798 -x5797 -x5795 -x5794 -x5793 -x5792 -x5790 -x5789 -x5788 -x5787 -x5785 -x5784 -x5783 -x5782
1796.69/1797.03 v -x5780 -x5779 -x5778 -x5777 -x5775 -x5774 -x5773 -x5772 -x5770 -x5769 -x5768 -x5767 -x5765 -x5764 -x5763 -x5762 -x5760 -x5759
1796.69/1797.03 v -x5758 -x5757 -x5755 -x5754 -x5753 -x5752 -x5750 -x5749 -x5748 -x5747 -x5745 -x5744 -x5743 -x5742 -x5740 -x5739 -x5738 -x5737
1796.69/1797.03 v -x5735 -x5734 -x5733 -x5732 -x5730 -x5729 -x5728 -x5727 -x5725 -x5724 -x5723 -x5722 -x5720 -x5719 -x5718 -x5717 -x5715 -x5714
1796.69/1797.03 v -x5713 -x5712 -x5710 -x5709 -x5708 -x5707 -x5705 -x5704 -x5703 -x5702 -x5700 -x5699 -x5698 -x5697 -x5695 -x5694 -x5693
1796.69/1797.03 v -x5692 -x5690 -x5689 -x5688 -x5687 -x5685 -x5684 -x5683 -x5682 -x5680 -x5679 -x5678 -x5677 -x5675 -x5674 -x5673 -x5672 -x5670
1796.69/1797.03 v -x5669 -x5668 -x5667 -x5665 -x5664 -x5663 -x5662 -x5660 -x5659 -x5658 -x5657 -x5655 -x5654 -x5653 -x5652 -x5650 -x5649 -x5648
1796.69/1797.03 v -x5647 -x5645 -x5644 -x5643 -x5642 -x5640 -x5639 -x5638 -x5637 -x5635 -x5634 -x5633 -x5632 -x5630 -x5629 -x5628 -x5627 -x5625
1796.69/1797.03 v -x5624 -x5623 -x5622 -x5620 -x5619 -x5618 -x5617 -x5615 -x5614 -x5613 -x5612 -x5610 -x5609 -x5608 -x5607 -x5605 -x5604 -x5603
1796.69/1797.03 v -x5602 -x5600 -x5599 -x5598 -x5597 -x5595 -x5594 -x5593 -x5592 -x5590 -x5589 -x5588 -x5587 -x5585 -x5584 -x5583 -x5582 -x5580
1796.69/1797.03 v -x5579 -x5578 -x5577 -x5575 -x5574 -x5573 -x5572 -x5570 -x5569 -x5568 -x5567 -x5565 -x5564 -x5563 -x5562 -x5560 -x5559 -x5558
1796.69/1797.03 v -x5557 -x5555 -x5554 -x5553 -x5552 -x5550 -x5549 -x5548 -x5547 -x5545 -x5544 -x5543 -x5542 -x5540 -x5539 -x5538 -x5537
1796.69/1797.03 v -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5528 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517
1796.69/1797.03 v -x5516 -x5514 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 x5500 -x5498 -x5497 -x5496 -x5495
1796.69/1797.03 v -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 x5486 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475
1796.69/1797.03 v x5474 -x5472 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5458 -x5456 -x5455 -x5454 -x5453
1796.69/1797.03 v -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5444 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433
1796.69/1797.03 v -x5432 -x5430 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5416 -x5414 -x5413 -x5412 -x5411
1796.69/1797.03 v -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 x5402 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391
1796.69/1797.03 v -x5390 -x5388 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5374 -x5372 -x5371 -x5370 -x5369
1796.69/1797.03 v -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350
1796.69/1797.03 v -x5348 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5334 -x5332 -x5331 -x5330 -x5329 -x5328
1796.69/1797.03 v -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 x5320 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308
1796.69/1797.03 v -x5306 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5292 -x5290 -x5289 -x5288 -x5287
1796.69/1797.03 v -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5278 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267
1796.69/1797.03 v -x5266 -x5264 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5250 -x5248 -x5247 -x5246 -x5245
1796.69/1797.03 v -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5236 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225
1796.69/1797.03 v -x5224 -x5222 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5208 -x5206 -x5205 -x5204 -x5203
1796.69/1797.03 v -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184
1796.69/1797.03 v x5182 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163
1796.69/1797.03 v -x5162 -x5161 -x5160 -x5159 -x5158 -x5156 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5142
1796.69/1797.03 v -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5128 -x5126 -x5125 -x5124 -x5123 -x5122
1796.69/1797.03 v -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 x5114 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102
1796.69/1797.03 v -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082
1796.69/1797.03 v -x5081 -x5080 -x5079 -x5078 x5076 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 x5062 -x5060
1796.69/1797.03 v -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 x5050 -x5048 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040
1796.69/1797.03 v -x5039 -x5038 -x5037 -x5036 -x5034 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5020 -x5018
1796.69/1797.03 v -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5006 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998
1796.69/1797.03 v -x4997 -x4996 -x4995 -x4994 -x4992 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 x4978 -x4976
1796.69/1797.03 v -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957
1796.69/1797.03 v -x4956 -x4955 x4954 -x4952 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4938 -x4936 -x4935
1796.69/1797.03 v -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4924 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915
1796.69/1797.03 v -x4914 -x4913 -x4912 -x4910 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4896 -x4894 -x4893
1796.69/1797.03 v -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874
1796.69/1797.03 v -x4873 -x4872 -x4870 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4856 -x4854 -x4853 -x4852
1796.69/1797.03 v -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834
1796.69/1797.03 v -x4833 -x4832 -x4830 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4816 -x4815 -x4814 -x4813
1796.69/1797.03 v -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4804 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793
1796.69/1797.03 v -x4792 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773
1796.69/1797.03 v -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755
1796.69/1797.03 v -x4754 -x4753 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736
1796.69/1797.03 v -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717
1796.69/1797.03 v -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700
1796.69/1797.03 v -x4699 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681
1796.69/1797.03 v -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662
1796.69/1797.03 v -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4643
1796.69/1797.03 v -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625
1796.69/1797.03 v -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606
1796.69/1797.03 v -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 x4591 -x4589 -x4588 -x4587
1796.69/1797.03 v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569
1796.69/1797.03 v -x4568 -x4567 -x4566 -x4565 -x4564 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551
1796.69/1797.03 v -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4535 -x4534 -x4533 -x4532
1796.69/1797.03 v -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514
1796.69/1797.03 v -x4513 -x4512 -x4511 -x4510 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495
1796.69/1797.03 v -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476
1796.69/1797.03 v -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458
1796.69/1797.03 v -x4457 -x4456 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439
1796.69/1797.03 v -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421
1796.69/1797.03 v -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403
1796.69/1797.03 v -x4402 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384
1796.69/1797.03 v -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365
1796.69/1797.03 v -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4346
1796.69/1797.03 v -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328
1796.69/1797.03 v -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309
1796.69/1797.03 v -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4292 -x4291
1796.69/1797.03 v -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273
1796.69/1797.03 v -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254
1796.69/1797.03 v -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4238 -x4237 -x4236 -x4235
1796.69/1797.03 v -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217
1796.69/1797.03 v -x4216 -x4215 -x4214 -x4213 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198
1796.69/1797.03 v -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 x4186 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179
1796.69/1797.03 v -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161
1796.69/1797.03 v -x4160 -x4159 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143
1796.69/1797.03 v -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124
1796.69/1797.03 v -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106
1796.69/1797.03 v -x4105 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087
1796.69/1797.03 v -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 x4078 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068
1796.69/1797.03 v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4049
1796.69/1797.03 v -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031
1796.69/1797.03 v -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012
1796.69/1797.03 v -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995
1796.69/1797.03 v -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977
1796.69/1797.03 v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958
1796.69/1797.03 v -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940
1796.69/1797.03 v -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922
1796.69/1797.03 v -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3906 -x3905 -x3904 -x3903
1796.69/1797.03 v -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885
1796.69/1797.03 v -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868
1796.69/1797.03 v -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850
1796.69/1797.03 v -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831
1796.69/1797.03 v -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813
1796.69/1797.03 v -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795
1796.69/1797.03 v -x3794 -x3793 -x3792 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776
1796.69/1797.03 v -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758
1796.69/1797.03 v -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741
1796.69/1797.03 v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 x3734 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722
1796.69/1797.03 v -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704
1796.69/1797.03 v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686
1796.69/1797.03 v -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667
1796.69/1797.03 v -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649
1796.69/1797.03 v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631
1796.69/1797.03 v -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3616 -x3615 -x3614 -x3613 -x3612
1796.69/1797.03 v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595
1796.69/1797.03 v -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577
1796.69/1797.03 v -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 x3560 -x3558
1796.69/1797.03 v -x3557 -x3556 -x3555 -x3553 -x3552 -x3551 -x3550 -x3548 -x3547 -x3546 -x3545 -x3543 -x3542 -x3541 -x3540 -x3538 -x3537 -x3536
1796.69/1797.03 v -x3535 -x3533 -x3532 -x3531 -x3530 -x3528 -x3527 -x3526 -x3525 -x3523 -x3522 -x3521 -x3520 -x3518 -x3517 -x3516 -x3515 -x3513
1796.69/1797.03 v -x3512 -x3511 -x3510 -x3508 -x3507 -x3506 -x3505 -x3503 -x3502 -x3501 -x3500 -x3498 -x3497 -x3496 -x3495 -x3493 -x3492 -x3491
1796.69/1797.03 v -x3490 -x3488 -x3487 -x3486 -x3485 -x3483 -x3482 -x3481 -x3480 -x3478 -x3477 -x3476 -x3475 -x3473 -x3472 -x3471 -x3470 -x3468
1796.69/1797.03 v -x3467 -x3466 -x3465 -x3463 -x3462 -x3461 -x3460 -x3458 -x3457 -x3456 -x3455 -x3453 -x3452 -x3451 -x3450 -x3448 -x3447 -x3446
1796.69/1797.03 v -x3445 -x3443 -x3442 -x3441 -x3440 -x3438 -x3437 -x3436 -x3435 -x3433 -x3432 -x3431 -x3430 -x3428 -x3427 -x3426 -x3425
1796.69/1797.03 v -x3423 -x3422 -x3421 -x3420 -x3418 -x3417 -x3416 -x3415 -x3413 -x3412 -x3411 -x3410 -x3408 -x3407 -x3406 -x3405 -x3403 -x3402
1796.69/1797.03 v -x3401 -x3400 -x3398 -x3397 -x3396 -x3395 -x3393 -x3392 -x3391 -x3390 -x3388 -x3387 -x3386 -x3385 -x3383 -x3382 -x3381 -x3380
1796.69/1797.03 v -x3378 -x3377 -x3376 -x3375 -x3373 -x3372 -x3371 -x3370 -x3368 -x3367 -x3366 -x3365 -x3363 -x3362 -x3361 -x3360 -x3358 -x3357
1796.69/1797.03 v -x3356 -x3355 -x3353 -x3352 -x3351 -x3350 -x3348 -x3347 -x3346 -x3345 -x3343 -x3342 -x3341 -x3340 -x3338 -x3337 -x3336 -x3335
1796.69/1797.03 v -x3333 -x3332 -x3331 -x3330 -x3328 -x3327 -x3326 -x3325 -x3323 -x3322 -x3321 -x3320 -x3318 -x3317 -x3316 -x3315 -x3313 -x3312
1796.69/1797.03 v -x3311 -x3310 -x3308 -x3307 -x3306 -x3305 -x3303 -x3302 -x3301 -x3300 -x3298 -x3297 -x3296 -x3295 -x3293 -x3292 -x3291 -x3290
1796.69/1797.03 v -x3288 -x3287 -x3286 -x3285 -x3283 -x3282 -x3281 -x3280 -x3278 -x3277 -x3276 -x3275 -x3273 -x3272 -x3271 -x3270 -x3268
1796.69/1797.03 v -x3267 -x3266 -x3265 -x3263 -x3262 -x3261 -x3260 -x3258 -x3257 -x3256 -x3255 -x3253 -x3252 -x3251 -x3250 -x3248 -x3247 -x3246
1796.69/1797.03 v -x3245 -x3243 -x3242 -x3241 -x3240 -x3238 -x3237 -x3236 -x3235 -x3233 -x3232 -x3231 -x3230 -x3228 -x3227 -x3226 -x3225 -x3223
1796.69/1797.03 v -x3222 -x3221 -x3220 -x3218 -x3217 -x3216 -x3215 -x3213 x3212 -x3211 x3210 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202
1796.69/1797.03 v -x3201 -x3200 -x3199 x3198 -x3196 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 x3184 -x3182 -x3180
1796.69/1797.03 v -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 x3170 -x3168 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160
1796.69/1797.03 v -x3159 -x3158 -x3157 x3156 -x3154 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 -x3138
1796.69/1797.03 v -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3126 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
1796.69/1797.03 v -x3117 -x3116 -x3115 -x3114 -x3112 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3098 -x3096
1796.69/1797.03 v -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3084 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076
1796.69/1797.03 v -x3075 -x3074 -x3073 -x3072 -x3070 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3056 -x3054
1796.69/1797.03 v -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3042 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034
1796.69/1797.03 v -x3033 -x3032 -x3031 -x3030 -x3028 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3014 -x3012
1796.69/1797.03 v -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3000 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993
1796.69/1797.03 v -x2992 -x2991 -x2990 -x2989 -x2988 -x2986 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2972
1796.69/1797.03 v -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2958 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951
1796.69/1797.03 v -x2950 -x2949 -x2948 -x2947 -x2946 -x2944 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2930
1796.69/1797.03 v -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909
1796.69/1797.03 v -x2908 -x2907 -x2906 -x2905 -x2904 -x2902 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2888
1796.69/1797.03 v -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2874 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867
1796.69/1797.03 v -x2866 -x2865 -x2864 -x2863 -x2862 -x2860 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848
1796.69/1797.03 v -x2846 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 x2832 -x2830 -x2829 -x2828 -x2827 -x2826
1796.69/1797.03 v -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 x2806
1796.69/1797.03 v -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 x2792 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785
1796.69/1797.03 v -x2784 -x2783 -x2782 -x2781 -x2780 -x2778 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2764
1796.69/1797.03 v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2750 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743
1796.69/1797.03 v -x2742 -x2741 -x2740 -x2739 -x2738 -x2736 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 x2722
1796.69/1797.03 v -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2708 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701
1796.69/1797.03 v -x2700 -x2699 -x2698 -x2697 -x2696 -x2694 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2680
1796.69/1797.03 v -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2666 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659
1796.69/1797.03 v -x2658 -x2657 -x2656 -x2655 -x2654 -x2652 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2638
1796.69/1797.03 v -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2624 -x2622 -x2621 -x2620 -x2619 -x2618
1796.69/1797.03 v -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2610 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598
1796.69/1797.03 v -x2596 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2582 -x2580 -x2579 -x2578 -x2577 -x2576
1796.69/1797.03 v -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 x2568 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556
1796.69/1797.03 v x2554 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 x2540 -x2538 -x2537 -x2536 -x2535 -x2534
1796.69/1797.03 v -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 x2526 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514
1796.69/1797.03 v x2512 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2498 -x2496 -x2495 -x2494 -x2493 -x2492
1796.69/1797.03 v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2484 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472
1796.69/1797.03 v -x2470 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2456 -x2454 -x2453 -x2452 -x2451 -x2450
1796.69/1797.03 v -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 x2442 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430
1796.69/1797.03 v x2428 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410
1796.69/1797.03 v -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 x2401 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391
1796.69/1797.03 v -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 x2374 -x2372
1796.69/1797.03 v -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354
1796.69/1797.03 v -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 x2347 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335
1796.69/1797.03 v -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2318 -x2317 -x2316
1796.69/1797.03 v -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298
1796.69/1797.03 v -x2297 -x2296 -x2295 -x2294 -x2293 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280
1796.69/1797.03 v -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2264 -x2263 -x2262 -x2261
1796.69/1797.03 v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243
1796.69/1797.03 v -x2242 -x2241 -x2240 -x2239 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224
1796.69/1797.03 v -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205
1796.69/1797.03 v -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187
1796.69/1797.03 v -x2186 -x2185 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168
1796.69/1797.03 v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150
1796.69/1797.03 v -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132
1796.69/1797.03 v -x2131 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113
1796.69/1797.03 v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094
1796.69/1797.03 v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2075
1796.69/1797.03 v -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057
1796.69/1797.03 v -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038
1796.69/1797.03 v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2021 -x2020
1796.69/1797.03 v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002
1796.69/1797.03 v -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983
1796.69/1797.03 v -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1967 -x1966 -x1965 -x1964
1796.69/1797.03 v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946
1796.69/1797.03 v -x1945 -x1944 -x1943 -x1942 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927
1796.69/1797.03 v -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908
1796.69/1797.03 v -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891
1796.69/1797.03 v -x1890 -x1889 -x1888 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872
1796.69/1797.03 v -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853
1796.69/1797.03 v -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835
1796.69/1797.03 v -x1834 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816
1796.69/1797.03 v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797
1796.69/1797.03 v -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1778
1796.69/1797.03 v -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761
1796.69/1797.03 v -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742
1796.69/1797.03 v -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1724 -x1723
1796.69/1797.03 v -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705
1796.69/1797.03 v -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686
1796.69/1797.03 v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1670 -x1669 -x1668 -x1667
1796.69/1797.03 v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
1796.69/1797.03 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632
1796.69/1797.03 v -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614
1796.69/1797.03 v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595
1796.69/1797.03 v -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577
1796.69/1797.03 v -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559
1796.69/1797.03 v -x1558 -x1557 x1556 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540
1796.69/1797.03 v -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522
1796.69/1797.03 v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504
1796.69/1797.03 v -x1503 -x1502 -x1501 -x1500 -x1499 x1498 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485
1796.69/1797.03 v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468
1796.69/1797.03 v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
1796.69/1797.03 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431
1796.69/1797.03 v -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413
1796.69/1797.03 v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395
1796.69/1797.03 v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1380 -x1379 -x1378 -x1377 -x1376
1796.69/1797.03 v -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358
1796.69/1797.03 v -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341
1796.69/1797.03 v -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1322
1796.69/1797.03 v -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304
1796.69/1797.03 v -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286
1796.69/1797.03 v -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268
1796.69/1797.03 v -x1267 -x1266 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249
1796.69/1797.03 v -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231
1796.69/1797.03 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214
1796.69/1797.03 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1200 -x1199 -x1198 -x1197 -x1206 -x1203 -x1201 -x870 -x869 x868 -x867 -x866 -x865
1796.69/1797.03 v -x864 -x863 x1195 -x1193 -x1194 -x1192 -x1190 -x1191 -x1189 -x1187 -x1188 -x1186 -x1184 -x1185 -x1183 -x1181 -x1182 -x1180 -x1178
1796.69/1797.03 v -x1179 -x1177 -x1175 -x1176 -x1174 -x1172 -x1173 -x1171 -x1169 -x1170 -x1168 -x1167 -x1166 -x1164 -x1165 -x1163 -x1161 -x1162
1796.69/1797.03 v -x1160 -x1158 -x1159 -x1157 -x1155 -x1156 -x1154 -x1152 -x1153 -x1151 -x1149 -x1150 -x1148 -x1146 -x1147 -x1145 -x1143
1796.69/1797.03 v -x1144 -x1142 -x1140 -x1141 -x1139 -x1137 -x1138 -x1136 -x1134 -x1135 -x1133 -x1131 -x1132 -x1130 -x1128 -x1129 -x1127 -x1125
1796.69/1797.03 v -x1126 -x1124 -x1122 -x1123 -x1121 -x1119 -x1120 -x1118 -x1116 -x1117 -x1115 -x1113 -x1114 -x1112 -x1110 -x1111 -x1109 -x1107
1796.69/1797.03 v -x1108 -x1106 -x1104 -x1105 -x1103 -x1101 -x1102 -x1100 -x1098 -x1099 -x1097 -x1095 -x1096 -x1094 -x1092 -x1093 -x1091 -x1089
1796.69/1797.03 v -x1090 -x1088 -x1086 -x1087 -x1085 -x1083 -x1084 -x1082 -x1080 -x1081 -x1079 -x1077 -x1078 -x1076 -x1074 -x1075 -x1073 -x1071
1796.69/1797.03 v -x1072 -x1070 -x1068 -x1069 -x1067 -x1065 -x1066 -x1064 -x1063 -x1062 -x1060 -x1061 -x1059 -x1057 -x1058 -x1056 -x1054 -x1055
1796.69/1797.03 v -x1053 -x1051 -x1052 -x1050 -x1048 -x1049 -x1047 -x1045 -x1046 -x1044 -x1042 -x1043 -x1041 -x1039 -x1040 -x1038 -x1036 -x1037
1796.69/1797.03 v -x1035 -x1033 -x1034 -x1032 -x1030 -x1031 -x1029 -x1027 -x1028 -x1026 -x1024 -x1025 -x1023 -x1021 -x1022 -x1020 -x1018
1796.69/1797.03 v -x1019 -x1017 -x1015 -x1016 -x1014 -x1012 -x1013 -x1011 -x1009 -x1010 -x1008 -x1006 -x1007 -x1005 -x1003 -x1004 -x1002 -x1001
1796.69/1797.03 v -x1000 -x998 -x999 -x997 -x995 -x996 -x994 -x992 -x993 -x991 -x989 -x990 -x988 -x986 -x987 x985 -x983 -x984 -x982 -x980 -x981
1796.69/1797.03 v -x979 -x977 -x978 -x976 -x974 -x975 -x973 -x972 -x971 -x969 -x970 -x968 -x966 -x967 -x965 -x964 -x963 -x962 -x961 -x960 -x959
1796.69/1797.03 v -x958 -x957 -x955 -x956 -x954 -x952 -x953 -x951 -x950 -x949 -x947 -x948 -x946 -x944 -x945 -x943 -x941 -x942 -x940 -x938 -x939
1796.69/1797.03 v -x937 -x935 -x936 -x934 -x933 -x932 -x930 x929 -x927 -x926 -x925 -x924 -x922 -x921 -x920 -x919 -x918 -x917 -x915 -x914 -x913
1796.69/1797.03 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x894 -x893 -x892 -x891
1796.69/1797.03 v -x890 -x889 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x706
1796.69/1797.03 v x705 -x704 -x703 -x702 -x701 -x700 x861 -x859 -x860 -x858 -x856 -x857 -x855 -x853 -x854 -x852 -x850 -x851 -x849 -x847 -x848 -x846
1796.69/1797.03 v -x844 -x845 -x843 -x841 -x842 -x840 -x838 -x839 -x837 -x835 -x836 -x834 -x832 -x833 -x831 -x830 -x829 -x827 -x828 -x826
1796.69/1797.03 v -x824 -x825 -x823 -x821 -x822 -x820 -x818 -x819 -x817 -x815 -x816 -x814 -x812 -x813 -x811 -x809 -x810 -x808 -x806 -x807 -x805
1796.69/1797.03 v -x803 -x804 -x802 -x800 -x801 -x799 -x797 -x798 -x796 -x794 -x795 -x793 -x791 -x792 -x790 -x788 -x789 -x787 -x785 -x786 -x784
1796.69/1797.03 v -x782 -x783 -x781 -x779 -x780 -x778 -x776 -x777 -x775 -x773 -x774 -x772 -x770 -x771 -x769 -x767 -x768 -x766 -x764 -x765 -x763
1796.69/1797.03 v -x761 -x762 -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x750 -x749 -x748 -x747 -x746 -x745 -x743 -x742 -x740 -x739
1796.69/1797.03 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x728 -x727 -x725 -x724 -x723 -x722 -x720 -x719 -x717 -x716 -x714 -x713 -x711
1796.69/1797.03 v -x710 -x709 -x708 -x707 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x698 -x696 -x697 -x695 -x693 -x694 -x692 -x690 -x691
1796.69/1797.03 v -x689 -x687 -x688 x686 -x684 -x685 -x683 -x681 -x682 -x680 -x678 -x679 -x677 -x675 -x676 -x674 -x672 -x673 -x671 -x669 -x670
1796.69/1797.03 v -x668 -x666 -x667 -x665 -x663 -x664 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 -x651 -x652 -x650 -x648 -x649
1796.69/1797.03 v -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x636 -x637 -x635 -x633 -x634 -x632 -x630 -x631 -x629 -x627
1796.69/1797.03 v -x628 -x626 -x624 -x625 -x623 -x621 -x622 -x620 -x619 -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610 -x611 -x609 -x607 -x608
1796.69/1797.03 v -x606 -x604 -x605 -x603 -x602 -x601 -x599 -x600 -x598 -x596 -x597 -x595 -x593 -x594 -x592 -x590 -x591 -x589 -x587 -x588 -x586
1796.69/1797.03 v -x584 -x585 -x583 -x581 -x582 -x580 -x578 -x579 -x577 -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 -x567 -x565
1796.69/1797.03 v -x563 -x564 -x562 -x560 -x561 -x559 -x558 -x557 -x555 -x556 -x554 -x552 -x553 -x551 -x549 -x550 -x548 -x546 -x547 -x545 -x543
1796.69/1797.03 v -x544 -x542 -x540 -x541 -x539 -x537 -x538 -x536 -x534 -x535 -x533 -x531 -x532 -x530 -x528 -x529 -x527 -x525 -x526 -x524 -x523
1796.69/1797.03 v -x522 -x520 -x521 -x519 -x518 -x517 -x515 -x516 -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x506 -x507 -x505 -x504 -x503
1796.69/1797.03 v -x502 -x501 -x499 -x500 -x498 -x496 -x497 -x495 -x493 -x494 -x492 -x490 -x491 -x489 -x487 -x488 -x486 -x484 -x485 -x483 -x481
1796.69/1797.03 v -x482 -x480 -x478 -x479 x477 -x476 -x475 -x473 -x474 -x472 -x470 -x471 -x469 -x467 -x468 -x466 -x464 -x465 -x463 -x461 -x462
1796.69/1797.03 v -x460 -x459 -x458 -x456 -x457 -x455 -x453 -x454 -x452 -x451 -x450 -x448 -x449 -x447 -x446 -x445 -x443 -x444 -x442 -x441 -x440
1796.69/1797.03 v -x439 -x438 -x436 -x435 -x433 -x432 -x431 -x430 -x428 -x427 -x426 -x425 -x423 -x422 -x421 -x420 -x418 -x417 -x415 -x414 -x412
1796.69/1797.03 v -x411 -x409 -x408 -x407 -x406 -x405 -x404 -x402 -x401 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
1796.69/1797.03 v -x387 -x386 -x385 -x384 -x382 -x381 -x380 -x379 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x361
1796.69/1797.03 v -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341 -x342
1796.69/1797.03 v -x340 -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 -x324 -x322 -x320 -x321
1796.69/1797.03 v -x319 -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299 -x300
1796.69/1797.03 v -x298 -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278 -x279
1796.69/1797.03 v -x277 -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257 x258
1796.69/1797.03 v x256 -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 -x240 -x238 -x236 -x237
1796.69/1797.03 v -x235 -x233 -x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 -x219 -x217 -x215 -x216
1796.69/1797.03 v -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 -x196 -x194 -x195
1796.69/1797.03 v -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 -x176 -x177 -x175 -x174
1796.69/1797.03 v -x173 -x171 -x172 -x170 -x168 -x169 -x167 -x165 -x166 -x164 -x162 -x163 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153 -x154
1796.69/1797.03 v -x152 -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132 -x133
1796.69/1797.03 v -x131 -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 -x115 -x113 -x111 -x112
1796.69/1797.03 v -x110 -x108 -x109 -x107 -x105 -x106 -x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 -x91 -x89 -x87
1796.69/1797.03 v -x86 -x84 x83 -x81 -x80 -x78 -x77 -x75 -x74 -x72 -x71 -x69 -x68 -x67 -x66 -x64 -x63 -x61 -x60 -x58 -x57 -x55 -x54 -x52 -x51
1796.69/1797.03 v -x49 -x48 -x47 -x46 -x44 -x43 -x42 -x41 -x39 -x38 -x36 -x35 -x34 -x33 -x31 -x30 -x28 -x27 -x25 -x24 -x22 -x21 -x19 -x18 -x16
1796.69/1797.03 v -x15 -x13 -x12 -x10 -x1205 -x1204 -x1202 x8900 -x8898 -x8896 -x8894 x8889 -x8884 -x8879 -x8874 -x8869 -x8864 -x8859 -x8854
1796.69/1797.03 v -x8849 -x8844 -x8839 -x8834 -x8829 -x8824 -x8819 -x8814 -x8809 -x8804 -x8799 -x8794 -x8789 -x8784 -x8779 -x8774 -x8769 -x8764
1796.69/1797.03 v -x8759 -x8754 -x8749 -x8744 -x8739 -x8734 -x8729 -x8724 -x8719 -x8714 -x8709 -x8704 -x8699 -x8694 -x8689 -x8684 -x8679 -x8674
1796.69/1797.03 v -x8669 -x8664 -x8659 -x8654 -x8649 -x8644 -x8639 -x8634 -x8629 -x8624 -x8619 -x8614 -x8609 -x8604 -x8599 -x8594 -x8589 -x8584
1796.69/1797.03 v -x8579 -x8574 -x8569 -x8564 -x8559 -x8554 -x8549 -x8537 -x8535 -x8523 -x8521 -x8509 -x8507 -x8495 -x8493 -x8481 -x8479 -x8467
1796.69/1797.03 v -x8465 -x8453 -x8451 -x8439 -x8437 -x8425 -x8423 -x8411 -x8399 -x8397 -x8385 -x8383 -x8371 -x8369 -x8357 -x8355 -x8343 -x8341
1796.69/1797.03 v -x8329 -x8327 -x8315 -x8313 -x8301 -x8299 -x8287 -x8285 -x8273 -x8271 -x8259 -x8257 -x8245 -x8243 -x8231 -x8229 -x8217
1796.69/1797.03 v -x8215 -x8203 -x8201 -x8189 -x8187 -x8175 -x8173 -x8161 -x8159 -x8147 -x8145 -x8133 -x8131 -x8119 -x8107 -x8105 -x8093 -x8091
1796.69/1797.03 v -x8079 -x8077 -x8065 -x8063 -x8051 -x8049 x8037 -x8035 -x8023 -x8021 -x8009 -x8007 -x7995 -x7993 -x7981 -x7969 -x7967 -x7955
1796.69/1797.03 v -x7953 -x7941 -x7929 -x7917 -x7905 -x7893 -x7891 -x7879 -x7877 -x7865 -x7853 -x7851 -x7839 -x7837 -x7825 -x7823 -x7811 -x7809
1796.69/1797.03 v -x7797 -x7795 -x7783 -x7756 -x931 x7729 -x928 -x7702 -x7675 -x923 -x7648 -x7621 -x7594 -x916 -x7567 -x7540 -x7513 -x7486 -x7459
1796.69/1797.03 v -x7432 -x7405 -x7378 -x7351 -x7324 -x895 -x7297 -x7270 -x7243 x888 -x7216 -x7189 -x7162 -x7135 -x7108 -x7081 -x7054 -x7027
1796.69/1797.03 v -x6969 -x6911 x6853 -x6795 -x6737 -x6679 -x6621 -x6563 x6558 -x6556 -x6551 -x6549 -x6544 -x6542 -x6537 -x6535 -x6530 -x6528
1796.69/1797.03 v -x6523 -x6521 -x6516 -x6514 -x6509 -x6507 -x6502 -x6500 -x6495 -x6493 -x6488 -x6483 -x6481 -x6476 -x6474 -x6469 -x6467 -x6462
1796.69/1797.03 v -x6460 -x6455 -x6453 -x6448 -x6446 -x6441 -x6439 -x6434 -x6432 -x6427 -x6425 -x6420 -x6418 -x6413 -x6411 -x6406 -x6404 -x6399
1796.69/1797.03 v -x6397 -x6392 -x6390 -x6385 -x6383 -x6378 -x6376 -x6371 -x6369 -x6364 -x6362 -x6357 -x6355 -x6350 -x6348 -x6343 -x6341 -x6336
1796.69/1797.03 v -x6334 -x6329 -x6327 -x6322 -x6310 -x6298 x6286 -x6274 -x751 -x6262 -x6250 -x6238 -x744 -x6226 -x741 -x6214 -x738 -x6202
1796.69/1797.03 v -x6190 -x6178 -x6166 -x729 -x6154 -x726 -x6142 -x6130 -x721 -x6118 -x718 -x6106 -x715 -x6094 -x712 -x6082 -x6070 -x6043 x6016
1796.69/1797.03 v -x5989 -x5962 -x5935 -x5908 -x5881 -x5876 -x5871 -x5866 -x5861 -x5856 -x5851 -x5846 -x5841 x5836 -x5831 -x5826 -x5821 -x5816
1796.69/1797.03 v -x5811 -x5806 -x5801 -x5796 -x5791 -x5786 -x5781 -x5776 -x5771 -x5766 -x5761 -x5756 -x5751 -x5746 -x5741 -x5736 -x5731 -x5726
1796.69/1797.03 v -x5721 -x5716 -x5711 -x5706 -x5701 -x5696 -x5691 -x5686 -x5681 -x5676 -x5671 -x5666 -x5661 -x5656 -x5651 -x5646 -x5641 -x5636
1796.69/1797.03 v -x5631 -x5626 -x5621 -x5616 -x5611 -x5606 -x5601 -x5596 -x5591 -x5586 -x5581 -x5576 -x5571 -x5566 -x5561 -x5556 -x5551 -x5546
1796.69/1797.03 v -x5541 -x5529 -x5527 -x5515 -x5513 -x5501 -x5499 -x5487 -x5485 -x5473 -x5471 -x5459 -x5457 -x5445 -x5443 -x5431 -x5429 -x5417
1796.69/1797.03 v -x5415 -x5403 -x5401 -x5389 -x5387 -x5375 -x5373 -x5361 -x5349 -x5347 -x5335 -x5333 -x5321 -x5319 -x5307 -x5305 -x5293
1796.69/1797.03 v -x5291 -x5279 -x5277 -x5265 -x5263 -x5251 -x5249 -x5237 -x5235 -x5223 -x5221 -x5209 -x5207 -x5195 -x5183 -x5181 -x5169 -x5157
1796.69/1797.03 v -x5155 -x5143 -x5141 -x5129 -x5127 -x5115 -x5113 -x5101 -x5089 -x5077 -x5075 -x5063 -x5061 -x5049 -x5047 -x5035 -x5033 -x5021
1796.69/1797.03 v -x5019 -x5007 -x5005 -x4993 -x4991 -x4979 -x4977 x4965 -x4953 -x4951 -x4939 -x4937 -x4925 -x4923 -x4911 -x4909 -x4897 -x4895
1796.69/1797.03 v -x4883 -x4871 -x4869 -x4857 -x4855 -x4843 -x4831 -x4829 -x4817 -x4805 -x4803 -x4791 -x4779 -x4752 -x437 -x4725 -x434 -x4698
1796.69/1797.03 v -x4671 -x429 -x4644 -x4617 x424 -x4590 -x4563 -x419 -x4536 -x416 -x4509 -x413 -x4482 -x410 -x4455 -x4428 -x4401 -x403 -x4374
1796.69/1797.03 v -x400 -x4347 -x4320 -x4293 -x4266 -x4239 -x4212 -x4185 -x4158 -x383 -x4131 -x4104 -x378 x4077 -x4050 -x4023 -x3965 -x3907 -x3849
1796.69/1797.03 v -x3791 -x3733 -x3675 -x3617 x3559 -x3554 -x3549 -x3544 -x3539 -x3534 -x3529 -x3524 -x3519 -x3514 -x3509 -x3504 -x3499 -x3494
1796.69/1797.03 v -x3489 -x3484 -x3479 -x3474 -x3469 -x3464 -x3459 -x3454 -x3449 -x3444 -x3439 -x3434 -x3429 -x3424 -x3419 -x3414 -x3409 -x3404
1796.69/1797.03 v -x3399 -x3394 -x3389 -x3384 -x3379 -x3374 -x3369 -x3364 -x3359 -x3354 -x3349 -x3344 -x3339 -x3334 -x3329 -x3324 -x3319
1796.69/1797.03 v -x3314 -x3309 -x3304 -x3299 -x3294 -x3289 -x3284 -x3279 -x3274 -x3269 -x3264 -x3259 -x3254 -x3249 -x3244 -x3239 -x3234 -x3229
1796.69/1797.03 v -x3224 -x3219 -x3214 x3209 x3197 -x3195 -x3183 -x3181 -x3169 -x3167 -x3155 -x3153 -x3141 -x3139 -x3127 -x3125 -x3113 -x3111
1796.69/1797.03 v -x3099 -x3097 -x3085 -x3083 -x3071 -x3069 -x3057 -x3055 -x3043 -x3041 -x3029 -x3027 -x3015 -x3013 -x3001 -x2999 -x2987 -x2985
1796.69/1797.03 v -x2973 -x2971 -x2959 -x2957 -x2945 -x2943 -x2931 -x2929 -x2917 -x2915 -x2903 -x2901 -x2889 -x2887 -x2875 -x2873 -x2861 -x2859
1796.69/1797.03 v -x2847 -x2845 -x2833 -x2831 -x2819 -x2807 -x2805 -x2793 -x2791 -x2779 -x2777 -x2765 -x2763 -x2751 -x2749 -x2737 -x2735 -x2723
1796.69/1797.03 v -x2721 -x2709 -x2707 -x2695 -x2693 -x2681 -x2679 -x2667 -x2665 -x2653 -x2651 -x2639 -x2637 -x2625 -x2623 -x2611 -x2609 -x2597
1796.69/1797.03 v -x2595 -x2583 -x2581 -x2569 -x2567 -x2555 -x2553 -x2541 -x2539 -x2527 -x2525 -x2513 -x2511 -x2499 -x2497 -x2485 -x2483 -x2471
1796.69/1797.03 v -x2469 -x2457 -x2455 -x2443 -x2441 -x2429 -x2427 -x2400 -x88 -x2373 -x85 x2346 -x82 -x2319 -x79 -x2292 -x76 -x2265 -x73
1796.69/1797.03 v -x2238 -x70 -x2211 -x2184 -x65 -x2157 -x62 -x2130 -x59 -x2103 -x56 -x2076 -x53 -x2049 -x50 -x2022 -x1995 -x45 -x1968 -x1941 -x40
1796.69/1797.03 v -x1914 -x37 -x1887 -x1860 -x32 -x1833 -x29 -x1806 -x26 -x1779 -x23 -x1752 -x20 -x1725 -x17 -x1698 x14 -x1671 -x11 -x1613
1796.69/1797.03 v x1555 -x1497 -x1439 -x1381 -x1323 -x1265 -x1207 x1196 x862 x699 x362 x1
1796.69/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.03 c Total Time : 1797.01
1796.69/1797.03 c solving : 1797.01
1796.69/1797.03 c presolving : 0.72 (included in solving)
1796.69/1797.03 c reading : 0.08 (included in solving)
1796.69/1797.03 c copying : 0.07 (2 #copies) (minimal 0.03, maximal 0.04, average 0.04)
1796.69/1797.03 c Original Problem :
1796.69/1797.03 c Problem name : HOME/instance-3691136-1338020667.opb
1796.69/1797.03 c Variables : 8901 (8901 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03 c Constraints : 32298 initial, 32298 maximal
1796.69/1797.03 c Objective sense : minimize
1796.69/1797.03 c Presolved Problem :
1796.69/1797.03 c Problem name : t_HOME/instance-3691136-1338020667.opb
1796.69/1797.03 c Variables : 7906 (7906 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03 c Constraints : 17271 initial, 17445 maximal
1796.69/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c gateextraction : 0.06 0.00 0 0 0 0 0 19902 6634 0 0
1796.69/1797.03 c implics : 0.00 0.00 0 17 0 0 0 0 0 0 0
1796.69/1797.03 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c probing : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c knapsack : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c setppc : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c and : 0.12 0.00 0 243 0 0 0 243 0 0 0
1796.69/1797.03 c linear : 0.26 0.00 5 730 0 5 0 1516 0 17 17
1796.69/1797.03 c logicor : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c root node : - - 0 - - 0 - - - - -
1796.69/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.03 c integral : 0 0 0 0 54 0 10 0 0 0 0 0 108
1796.69/1797.03 c knapsack : 1 1 0 9418 0 0 7 0 0 0 0 0 0
1796.69/1797.03 c setppc : 10144 10144 29 9418 0 0 5 2156 1 332 0 0 0
1796.69/1797.03 c and : 6391 6391 263 9273 0 0 5 10116 1 5420 23829 0 0
1796.69/1797.03 c logicor : 735+ 909 29 3756 0 0 4 960 15 22 3 0 0
1796.69/1797.03 c countsols : 0 0 0 0 0 0 5 0 0 0 0 0 0
1796.69/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.03 c integral : 428.42 0.00 0.00 0.00 428.42 0.00 0.00 0.00
1796.69/1797.03 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.69/1797.03 c setppc : 1.24 0.00 0.02 1.21 0.00 0.00 0.01 0.00
1796.69/1797.03 c and : 1.24 0.00 0.54 0.69 0.00 0.00 0.00 0.00
1796.69/1797.03 c logicor : 0.22 0.00 0.00 0.21 0.00 0.00 0.00 0.00
1796.69/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.03 c rootredcost : 1 0 0 0
1796.69/1797.03 c pseudoobj : 9362 0 0 0
1796.69/1797.03 c vbounds : 0 0 0 0
1796.69/1797.03 c redcost : 293 0 0 0
1796.69/1797.03 c probing : 0 0 0 0
1796.69/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.03 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1796.69/1797.03 c pseudoobj : 0.02 0.01 0.00 0.01 0.00
1796.69/1797.03 c vbounds : 0.00 0.00 0.00 0.00 0.00
1796.69/1797.03 c redcost : 0.04 0.00 0.00 0.04 0.00
1796.69/1797.03 c probing : 0.06 0.00 0.06 0.00 0.00
1796.69/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.03 c propagation : 0.18 17 17 635 583.1 5 110.4 -
1796.69/1797.03 c infeasible LP : 0.15 91 91 96 3.6 3 3.0 0
1796.69/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.03 c applied globally : - - - 230 132.0 - - -
1796.69/1797.03 c applied locally : - - - 0 0.0 - - -
1796.69/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.03 c cut pool : 0.15 28 - - 90 - (maximal pool size: 11796)
1796.69/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c impliedbounds : 0.07 0.00 29 0 0 11619 0
1796.69/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c gomory : 0.59 0.00 10 0 0 500 0
1796.69/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c strongcg : 46.48 0.00 20 0 0 5794 0
1796.69/1797.03 c cmir : 3.48 0.00 10 0 0 339 0
1796.69/1797.03 c flowcover : 7.44 0.00 10 0 0 683 0
1796.69/1797.03 c clique : 0.11 0.00 1 0 0 0 0
1796.69/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c mcf : 0.01 0.00 1 0 0 0 0
1796.69/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.03 c problem variables: 0.00 - 0 0
1796.69/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.03 c relpscost : 428.42 0.00 54 0 0 0 0 108
1796.69/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.03 c LP solutions : 0.00 - - 0
1796.69/1797.03 c pseudo solutions : 0.00 - - 0
1796.69/1797.03 c crossover : 0.00 0.00 0 0
1796.69/1797.03 c oneopt : 0.01 0.00 1 0
1796.69/1797.03 c veclendiving : 181.31 0.00 2 0
1796.69/1797.03 c pscostdiving : 66.23 0.00 2 0
1796.69/1797.03 c coefdiving : 127.50 0.00 2 0
1796.69/1797.03 c linesearchdiving : 88.08 0.00 3 0
1796.69/1797.03 c smallcard : 0.00 0.00 0 0
1796.69/1797.03 c trivial : 0.01 0.00 2 0
1796.69/1797.03 c shiftandpropagate: 0.50 0.00 1 0
1796.69/1797.03 c simplerounding : 0.00 0.00 0 0
1796.69/1797.03 c zirounding : 0.19 0.00 53 0
1796.69/1797.03 c rounding : 0.60 0.00 204 0
1796.69/1797.03 c shifting : 0.47 0.00 42 2
1796.69/1797.03 c intshifting : 0.00 0.00 0 0
1796.69/1797.03 c twoopt : 0.00 0.00 0 0
1796.69/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.03 c indoneopt : 0.00 0.00 0 0
1796.69/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.03 c feaspump : 0.00 0.00 0 0
1796.69/1797.03 c clique : 0.00 0.00 0 0
1796.69/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.03 c indrounding : 0.00 0.00 0 0
1796.69/1797.03 c fracdiving : 91.49 0.00 3 0
1796.69/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.03 c intdiving : 0.00 0.00 0 0
1796.69/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.03 c objpscostdiving : 50.48 0.00 1 0
1796.69/1797.03 c rootsoldiving : 55.43 0.00 2 0
1796.69/1797.03 c guideddiving : 132.80 0.00 3 0
1796.69/1797.03 c octane : 0.00 0.00 0 0
1796.69/1797.03 c rens : 0.18 0.00 1 0
1796.69/1797.03 c rins : 0.00 0.00 0 0
1796.69/1797.03 c localbranching : 0.00 0.00 0 0
1796.69/1797.03 c mutation : 0.00 0.00 0 0
1796.69/1797.03 c dins : 0.00 0.00 0 0
1796.69/1797.03 c vbounds : 0.00 0.00 0 0
1796.69/1797.03 c undercover : 0.57 0.00 1 1
1796.69/1797.03 c subnlp : 0.00 0.00 0 0
1796.69/1797.03 c trysol : 0.00 0.00 0 0
1796.69/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.03 c primal LP : 0.08 5 0 0.00 0.00 0.08 5
1796.69/1797.03 c dual LP : 510.01 296 566713 1934.17 1111.18 0.05 3
1796.69/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.03 c diving/probing LP: 777.87 2765 788490 285.17 1013.65
1796.69/1797.03 c strong branching : 428.35 445 416624 936.23 972.62
1796.69/1797.03 c (at root node) : - 45 32463 721.40 -
1796.69/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.03 c B&B Tree :
1796.69/1797.03 c number of runs : 1
1796.69/1797.03 c nodes : 54
1796.69/1797.03 c nodes (total) : 54
1796.69/1797.03 c nodes left : 55
1796.69/1797.03 c max depth : 22
1796.69/1797.03 c max depth (total): 22
1796.69/1797.03 c backtracks : 20 (37.0%)
1796.69/1797.03 c delayed cutoffs : 0
1796.69/1797.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.03 c avg switch length: 3.76
1796.69/1797.03 c switching time : 0.08
1796.69/1797.03 c Solution :
1796.69/1797.03 c Solutions found : 3 (2 improvements)
1796.69/1797.03 c First Solution : +2.80000000000000e+01 (in run 1, after 1 nodes, 1.46 seconds, depth 0, found by <shifting>)
1796.69/1797.03 c Primal Bound : +2.40000000000000e+01 (in run 1, after 1 nodes, 2.01 seconds, depth 0, found by <undercover>)
1796.69/1797.03 c Dual Bound : +1.18223939821991e+01
1796.69/1797.03 c Gap : 103.00 %
1796.69/1797.03 c Root Dual Bound : +1.15964918586544e+01
1796.69/1797.03 c Root Iterations : 50848
1796.80/1797.16 c Time complete: 1796.85.
OK 24
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-3691136-1338020667/watcher-3691136-1338020667 -o /tmp/evaluation-result-3691136-1338020667/solver-3691136-1338020667 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691136-1338020667.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.92 3/176 1488 /proc/meminfo: memFree=26359900/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=10012 CPUtime=0 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1261 0 0 0 0 0 0 0 20 0 1 0 268193595 10252288 1216 33554432000 4194304 10173063 140735858550608 140737191416056 7173674 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 2503 1216 408 1460 0 1034 0 [startup+0.0544469 s] /proc/loadavg: 2.00 2.00 1.92 3/176 1488 /proc/meminfo: memFree=26359900/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=21780 CPUtime=0.04 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 4204 0 0 0 4 0 0 0 20 0 1 0 268193595 22302720 4158 33554432000 4194304 10173063 140735858550608 140735858415784 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 5445 4158 416 1460 0 3976 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 21780 [startup+0.100337 s] /proc/loadavg: 2.00 2.00 1.92 3/176 1488 /proc/meminfo: memFree=26359900/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=40140 CPUtime=0.09 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 8733 0 0 0 8 1 0 0 20 0 1 0 268193595 41103360 8689 33554432000 4194304 10173063 140735858550608 140735858415784 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 10073 8718 469 1460 0 8604 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40140 [startup+0.30028 s] /proc/loadavg: 2.00 2.00 1.92 3/176 1488 /proc/meminfo: memFree=26359900/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=83744 CPUtime=0.29 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 19214 0 0 0 26 3 0 0 20 0 1 0 268193595 85753856 19111 33554432000 4194304 10173063 140735858550608 140735858415784 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 20936 19111 568 1460 0 19467 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 83744 [startup+0.700295 s] /proc/loadavg: 2.00 2.00 1.92 3/176 1488 /proc/meminfo: memFree=26359900/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=98584 CPUtime=0.69 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 24641 0 0 0 62 7 0 0 20 0 1 0 268193595 100950016 22985 33554432000 4194304 10173063 140735858550608 140735858415784 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 24646 22985 632 1460 0 23177 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 98584 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1489 /proc/meminfo: memFree=26241068/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=153180 CPUtime=1.49 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 38717 0 0 0 134 15 0 0 20 0 1 0 268193595 156856320 36579 33554432000 4194304 10173063 140735858550608 140735858547864 8846894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 38295 36608 804 1460 0 36826 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 153180 [startup+3.10022 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1489 /proc/meminfo: memFree=26147324/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=223244 CPUtime=3.09 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 57470 0 0 0 289 20 0 0 20 0 1 0 268193595 228601856 53789 33554432000 4194304 10173063 140735858550608 140735858545768 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 55811 53789 852 1460 0 54342 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 223244 [startup+6.3003 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1489 /proc/meminfo: memFree=26146260/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=223244 CPUtime=6.29 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 57889 0 0 0 604 25 0 0 20 0 1 0 268193595 228601856 54073 33554432000 4194304 10173063 140735858550608 140735858545768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 55811 54073 861 1460 0 54342 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 223244 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1489 /proc/meminfo: memFree=26145804/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=223244 CPUtime=12.69 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 57967 0 0 0 1240 29 0 0 20 0 1 0 268193595 228601856 54151 33554432000 4194304 10173063 140735858550608 140735858545768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 55811 54151 862 1460 0 54342 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 223244 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1489 /proc/meminfo: memFree=26138012/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=230768 CPUtime=25.48 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 58579 0 0 0 2515 33 0 0 20 0 1 0 268193595 236306432 56296 33554432000 4194304 10173063 140735858550608 140735858543864 5108282 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 57692 56296 862 1460 0 56223 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 230768 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1489 /proc/meminfo: memFree=26123592/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=245604 CPUtime=51.08 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 64097 0 0 0 5066 42 0 0 20 0 1 0 268193595 251498496 59797 33554432000 4194304 10173063 140735858550608 140735858545448 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 61401 59797 862 1460 0 59932 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 245604 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1489 /proc/meminfo: memFree=26131556/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=243432 CPUtime=102.28 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 101497 0 0 0 10170 58 0 0 20 0 1 0 268193595 249274368 58633 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 60858 58633 868 1460 0 59389 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 243432 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.92 3/176 1489 /proc/meminfo: memFree=26126448/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=242820 CPUtime=162.26 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 234963 0 0 0 16134 92 0 0 20 0 1 0 268193595 248647680 59012 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 60705 59012 869 1460 0 59236 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 242820 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1490 /proc/meminfo: memFree=26127004/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=243260 CPUtime=222.25 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 339553 0 0 0 22102 123 0 0 20 0 1 0 268193595 249098240 59083 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 60815 59083 869 1460 0 59346 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 243260 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1490 /proc/meminfo: memFree=26129804/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=245916 CPUtime=282.25 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 461728 0 0 0 28071 154 0 0 20 0 1 0 268193595 251817984 59489 33554432000 4194304 10173063 140735858550608 140735858544152 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 61479 59489 869 1460 0 60010 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 245916 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 1493 /proc/meminfo: memFree=26125396/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=244412 CPUtime=342.24 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 543528 0 0 0 34049 175 0 0 20 0 1 0 268193595 250277888 59420 33554432000 4194304 10173063 140735858550608 140735858543704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 61103 59420 869 1460 0 59634 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 244412 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1493 /proc/meminfo: memFree=26124108/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=244412 CPUtime=402.23 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 543528 0 0 0 40039 184 0 0 20 0 1 0 268193595 250277888 59420 33554432000 4194304 10173063 140735858550608 140735858543320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 61103 59420 869 1460 0 59634 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 244412 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1493 /proc/meminfo: memFree=26136892/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=245208 CPUtime=462.22 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 576719 0 0 0 46023 199 0 0 20 0 1 0 268193595 251092992 59263 33554432000 4194304 10173063 140735858550608 140735858543528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 61302 59263 869 1460 0 59833 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 245208 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1494 /proc/meminfo: memFree=26136268/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=252236 CPUtime=522.21 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 649073 0 0 0 52001 220 0 0 20 0 1 0 268193595 258289664 61621 33554432000 4194304 10173063 140735858550608 140735858543624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 63059 61621 869 1460 0 61590 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 252236 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1494 /proc/meminfo: memFree=26122544/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=254336 CPUtime=582.2 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 649639 0 0 0 57990 230 0 0 20 0 1 0 268193595 260440064 62187 33554432000 4194304 10173063 140735858550608 140735858543912 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 63584 62187 869 1460 0 62115 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 254336 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26108880/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=264040 CPUtime=1062.1 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 773915 0 0 0 105888 322 0 0 20 0 1 0 268193595 270376960 64269 33554432000 4194304 10173063 140735858550608 140735858543912 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 66010 64269 874 1460 0 64541 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 264040 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1500 /proc/meminfo: memFree=26107272/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=264480 CPUtime=1122.09 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 819489 0 0 0 111869 340 0 0 20 0 1 0 268193595 270827520 64443 33554432000 4194304 10173063 140735858550608 140735858543128 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 66120 64443 874 1460 0 64651 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 264480 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1500 /proc/meminfo: memFree=26100696/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=268224 CPUtime=1182.08 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 880228 0 0 0 117848 360 0 0 20 0 1 0 268193595 274661376 65032 33554432000 4194304 10173063 140735858550608 140735858544248 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67056 65032 874 1460 0 65587 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 268224 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1500 /proc/meminfo: memFree=26115708/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=268436 CPUtime=1242.07 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 929108 0 0 0 123828 379 0 0 20 0 1 0 268193595 274878464 65123 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67109 65123 874 1460 0 65640 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 268436 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 1500 /proc/meminfo: memFree=26098032/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=271252 CPUtime=1302.07 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 937295 0 0 0 129814 393 0 0 20 0 1 0 268193595 277762048 65842 33554432000 4194304 10173063 140735858550608 140735858542792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67813 65842 874 1460 0 66344 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 271252 [startup+1362.3 s] /proc/loadavg: 2.15 2.03 1.93 3/177 1500 /proc/meminfo: memFree=26111056/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=266552 CPUtime=1362.06 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 939360 0 0 0 135804 402 0 0 20 0 1 0 268193595 272949248 65389 33554432000 4194304 10173063 140735858550608 140735858543864 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 66638 65389 874 1460 0 65169 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 266552 [startup+1422.31 s] /proc/loadavg: 2.05 2.02 1.93 3/177 1501 /proc/meminfo: memFree=26109940/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=267680 CPUtime=1422.05 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 951892 0 0 0 141791 414 0 0 20 0 1 0 268193595 274104320 65673 33554432000 4194304 10173063 140735858550608 140735858543864 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 66920 65673 874 1460 0 65451 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 267680 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 1.93 3/177 1501 /proc/meminfo: memFree=26106216/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=265300 CPUtime=1482.04 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 982982 0 0 0 147775 429 0 0 20 0 1 0 268193595 271667200 64551 33554432000 4194304 10173063 140735858550608 140735858543368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 66325 64551 874 1460 0 64856 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 265300 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.93 3/178 1504 /proc/meminfo: memFree=26102476/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=268912 CPUtime=1542.03 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 989734 0 0 0 153761 442 0 0 20 0 1 0 268193595 275365888 65478 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67228 65478 874 1460 0 65759 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 268912 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.93 3/177 1504 /proc/meminfo: memFree=26101932/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=271288 CPUtime=1602.02 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1008397 0 0 0 159748 454 0 0 20 0 1 0 268193595 277798912 65960 33554432000 4194304 10173063 140735858550608 140735858543960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67822 65960 874 1460 0 66353 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 271288 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 1504 /proc/meminfo: memFree=26108384/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=272976 CPUtime=1662.01 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1028811 0 0 0 165736 465 0 0 20 0 1 0 268193595 279527424 66225 33554432000 4194304 10173063 140735858550608 140735858543544 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 68244 66225 874 1460 0 66775 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 272976 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 1547 /proc/meminfo: memFree=27591320/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=272464 CPUtime=1722 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1036698 0 0 0 171725 475 0 0 20 0 1 0 268193595 279003136 66584 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 68116 66584 874 1460 0 66647 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 272464 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 1547 /proc/meminfo: memFree=27583876/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=270796 CPUtime=1781.99 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042383 0 0 0 177714 485 0 0 20 0 1 0 268193595 277295104 65841 33554432000 4194304 10173063 140735858550608 140735858543528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67699 65841 874 1460 0 66230 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 270796 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.93 3/177 1547 /proc/meminfo: memFree=27581148/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=270796 CPUtime=1785.2 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042390 0 0 0 178034 486 0 0 20 0 1 0 268193595 277295104 65848 33554432000 4194304 10173063 140735858550608 140735858543912 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67699 65848 874 1460 0 66230 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 270796 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.93 3/177 1547 /proc/meminfo: memFree=27575256/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=270796 CPUtime=1791.59 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042396 0 0 0 178673 486 0 0 20 0 1 0 268193595 277295104 65854 33554432000 4194304 10173063 140735858550608 140735858543528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67699 65854 874 1460 0 66230 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (KiB) 270796 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.93 3/177 1547 /proc/meminfo: memFree=27575132/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=270796 CPUtime=1794.8 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042398 0 0 0 178993 487 0 0 20 0 1 0 268193595 277295104 65856 33554432000 4194304 10173063 140735858550608 140735858543528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67699 65856 874 1460 0 66230 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 270796 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.93 3/177 1547 /proc/meminfo: memFree=27575132/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=270796 CPUtime=1795.59 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042398 0 0 0 179072 487 0 0 20 0 1 0 268193595 277295104 65856 33554432000 4194304 10173063 140735858550608 140735858543576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67699 65856 874 1460 0 66230 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 270796 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.93 3/177 1547 /proc/meminfo: memFree=27575132/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=270796 CPUtime=1796.39 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042398 0 0 0 179152 487 0 0 20 0 1 0 268193595 277295104 65856 33554432000 4194304 10173063 140735858550608 140735858543576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67699 65856 874 1460 0 66230 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 270796 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.93 3/177 1547 /proc/meminfo: memFree=27575132/32873648 swapFree=6848/6848 [pid=1488] ppid=1486 vsize=269384 CPUtime=1796.8 cores=1,3,5,7 /proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042400 0 0 0 179192 488 0 0 20 0 1 0 268193595 275849216 65505 33554432000 4194304 10173063 140735858550608 140735858547064 6886936 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/1488/statm: 67346 65505 876 1460 0 65877 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 269384 Child status: 0 Real time (s): 1797.17 CPU time (s): 1796.87 CPU user time (s): 1791.98 CPU system time (s): 4.88926 CPU usage (%): 99.9833 Max. virtual memory (cumulated for all children) (KiB): 276548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.98 system time used= 4.88926 maximum resident set size= 269552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1042437 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= 39 involuntary context switches= 1850 runsolver used 2.74958 second user time and 7.2139 second system time The end
Begin job on node113 at 2012-05-26 10:24:27 IDJOB=3691136 IDBENCH=25018 IDSOLVER=2270 FILE ID=node113/3691136-1338020667 RUNJOBID= node113-1338016935-928 PBS_JOBID= 14624358 Free space on /tmp= 71404 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691136-1338020667/watcher-3691136-1338020667 -o /tmp/evaluation-result-3691136-1338020667/solver-3691136-1338020667 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691136-1338020667.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED=894619297 node113.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 : 2667.026 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 : 5334.05 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 : 2667.026 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.90 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 : 2667.026 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.54 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 : 2667.026 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 : 2667.026 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 : 2667.026 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 : 2667.026 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.92 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 : 2667.026 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: 32873648 kB MemFree: 26359908 kB Buffers: 240400 kB Cached: 3904700 kB SwapCached: 0 kB Active: 2486032 kB Inactive: 3246852 kB Active(anon): 1590480 kB Inactive(anon): 0 kB Active(file): 895552 kB Inactive(file): 3246852 kB Unevictable: 6848 kB Mlocked: 6848 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14576 kB Writeback: 0 kB AnonPages: 1594160 kB Mapped: 17588 kB Shmem: 200 kB Slab: 639592 kB SReclaimable: 83876 kB SUnreclaim: 555716 kB KernelStack: 1456 kB PageTables: 7000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1741976 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 159744 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71440 MiB End job on node113 at 2012-05-26 10:54:25