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