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