Trace number 3717553

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedMSAT 1797.05 1797.4

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-33-100-0.wbo
MD5SUMd8e7fa9590f436b33ef13e9171ac617f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark5.96309
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9071
Total number of constraints25914
Number of soft constraints17208
Number of constraints which are clauses25190
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints724
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 857979
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 857978
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	1842

Watcher Data

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-3717553-1338194241/watcher-3717553-1338194241 -o /tmp/evaluation-result-3717553-1338194241/solver-3717553-1338194241 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717553-1338194241.wbo -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: 0.97 1.53 1.82 2/175 23534
/proc/meminfo: memFree=30346508/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=10636 CPUtime=0 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 1410 0 0 0 0 0 0 0 20 0 1 0 285552637 10891264 1364 33554432000 4194304 10173063 140736365729280 140734882443192 7545739 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 2659 1364 416 1460 0 1190 0

[startup+0.00974497 s]
/proc/loadavg: 0.97 1.53 1.82 2/175 23534
/proc/meminfo: memFree=30346508/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=11868 CPUtime=0 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 1704 0 0 0 0 0 0 0 20 0 1 0 285552637 12152832 1658 33554432000 4194304 10173063 140736365729280 140734882443192 7545739 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 2967 1658 416 1460 0 1498 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11868

[startup+0.100352 s]
/proc/loadavg: 0.97 1.53 1.82 2/175 23534
/proc/meminfo: memFree=30346508/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=40592 CPUtime=0.08 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 8754 0 0 0 7 1 0 0 20 0 1 0 285552637 41566208 8672 33554432000 4194304 10173063 140736365729280 140734882443192 8846909 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 10148 8690 466 1460 0 8679 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 40592

[startup+0.300401 s]
/proc/loadavg: 0.97 1.53 1.82 2/175 23534
/proc/meminfo: memFree=30346508/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=110400 CPUtime=0.29 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 26076 0 0 0 25 4 0 0 20 0 1 0 285552637 113049600 25985 33554432000 4194304 10173063 140736365729280 140736365726728 7545739 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 27600 25985 523 1460 0 26131 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 110400

[startup+0.70037 s]
/proc/loadavg: 0.97 1.53 1.82 2/175 23534
/proc/meminfo: memFree=30346508/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=155956 CPUtime=0.69 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 36992 0 0 0 61 8 0 0 20 0 1 0 285552637 159698944 36365 33554432000 4194304 10173063 140736365729280 140736365726280 6902791 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 38989 36365 587 1460 0 37520 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 155956

[startup+1.50031 s]
/proc/loadavg: 0.97 1.53 1.82 3/177 23612
/proc/meminfo: memFree=30168788/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=162712 CPUtime=1.49 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 39095 0 0 0 140 9 0 0 20 0 1 0 285552637 166617088 37828 33554432000 4194304 10173063 140736365729280 140736365725656 4261730 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 40678 37828 632 1460 0 39209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 162712

[startup+3.10036 s]
/proc/loadavg: 0.97 1.53 1.82 3/177 23612
/proc/meminfo: memFree=29935740/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=179852 CPUtime=3.08 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 42763 0 0 0 298 10 0 0 20 0 1 0 285552637 184168448 41579 33554432000 4194304 10173063 140736365729280 140736365725576 8963895 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 44963 41579 669 1460 0 43494 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 179852

[startup+6.30036 s]
/proc/loadavg: 1.05 1.54 1.82 3/177 23612
/proc/meminfo: memFree=29901388/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=228756 CPUtime=6.28 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 53702 0 0 0 617 11 0 0 20 0 1 0 285552637 234246144 52779 33554432000 4194304 10173063 140736365729280 140736365725336 7545739 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 57189 52779 711 1460 0 55720 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 228756

[startup+12.7004 s]
/proc/loadavg: 1.13 1.55 1.82 3/177 23612
/proc/meminfo: memFree=29799052/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=281076 CPUtime=12.69 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 64914 0 0 0 1252 17 0 0 20 0 1 0 285552637 287821824 66211 33554432000 4194304 10173063 140736365729280 140736365720440 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 70269 66211 806 1460 0 68800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 281076

[startup+25.5004 s]
/proc/loadavg: 1.32 1.57 1.82 3/177 23612
/proc/meminfo: memFree=29619332/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=281076 CPUtime=25.49 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 65076 0 0 0 2530 19 0 0 20 0 1 0 285552637 287821824 66896 33554432000 4194304 10173063 140736365729280 140736365720408 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 70269 66896 806 1460 0 68800 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 281076

[startup+51.1004 s]
/proc/loadavg: 1.55 1.60 1.82 3/177 23612
/proc/meminfo: memFree=29598712/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=296792 CPUtime=51.08 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 68031 0 0 0 5084 24 0 0 20 0 1 0 285552637 303915008 71687 33554432000 4194304 10173063 140736365729280 140736365724520 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 74198 71687 841 1460 0 72729 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 296792

[startup+102.3 s]
/proc/loadavg: 1.80 1.66 1.83 3/177 23612
/proc/meminfo: memFree=29581896/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=302268 CPUtime=102.24 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 69021 0 0 0 10191 33 0 0 20 0 1 0 285552637 309522432 73367 33554432000 4194304 10173063 140736365729280 140736365721720 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 75567 73367 842 1460 0 74098 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 302268

[startup+162.3 s]
/proc/loadavg: 1.93 1.72 1.83 3/178 23616
/proc/meminfo: memFree=29549752/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=306700 CPUtime=162.22 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 69557 0 0 0 16179 43 0 0 20 0 1 0 285552637 314060800 74960 33554432000 4194304 10173063 140736365729280 140736365721992 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 76675 74960 842 1460 0 75206 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 306700

[startup+222.307 s]
/proc/loadavg: 1.97 1.77 1.84 3/177 23616
/proc/meminfo: memFree=29523796/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=318588 CPUtime=222.21 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 72542 0 0 0 22169 52 0 0 20 0 1 0 285552637 326234112 77945 33554432000 4194304 10173063 140736365729280 140736365722376 7911490 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 79647 77945 849 1460 0 78178 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 318588

[startup+282.3 s]
/proc/loadavg: 1.99 1.81 1.84 3/177 23616
/proc/meminfo: memFree=29525888/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=311056 CPUtime=282.19 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 110133 0 0 0 28148 71 0 0 20 0 1 0 285552637 318521344 76741 33554432000 4194304 10173063 140736365729280 140736365724264 7934805 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 77764 76741 873 1460 0 76295 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 311056

[startup+342.3 s]
/proc/loadavg: 1.99 1.84 1.85 3/177 23616
/proc/meminfo: memFree=29525316/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=312408 CPUtime=342.18 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 110134 0 0 0 34141 77 0 0 20 0 1 0 285552637 319905792 76742 33554432000 4194304 10173063 140736365729280 140736365722200 7910544 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 78102 76742 873 1460 0 76633 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 312408

[startup+402.3 s]
/proc/loadavg: 1.99 1.87 1.86 3/177 23616
/proc/meminfo: memFree=29502928/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=324620 CPUtime=402.17 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 112282 0 0 0 40130 87 0 0 20 0 1 0 285552637 332410880 78890 33554432000 4194304 10173063 140736365729280 140736365722248 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 81155 78890 875 1460 0 79686 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 324620

[startup+462.3 s]
/proc/loadavg: 2.07 1.90 1.87 3/177 23617
/proc/meminfo: memFree=29486728/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=324620 CPUtime=462.16 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 112774 0 0 0 46115 101 0 0 20 0 1 0 285552637 332410880 79381 33554432000 4194304 10173063 140736365729280 140736365722296 7911672 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 81155 79381 875 1460 0 79686 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 324620

[startup+522.3 s]
/proc/loadavg: 2.03 1.92 1.87 3/177 23617
/proc/meminfo: memFree=29472468/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=324620 CPUtime=522.14 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 112793 0 0 0 52102 112 0 0 20 0 1 0 285552637 332410880 79400 33554432000 4194304 10173063 140736365729280 140736365722552 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 81155 79400 875 1460 0 79686 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 324620

[startup+582.3 s]
/proc/loadavg: 2.01 1.93 1.88 3/177 23617
/proc/meminfo: memFree=29451924/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=324620 CPUtime=582.13 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 112803 0 0 0 58094 119 0 0 20 0 1 0 285552637 332410880 79905 33554432000 4194304 10173063 140736365729280 140736365722536 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 81155 79905 875 1460 0 79686 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 324620

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=29438076/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=348440 CPUtime=1122.06 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 117231 0 0 0 111994 212 0 0 20 0 1 0 285552637 356802560 84857 33554432000 4194304 10173063 140736365729280 140736365722232 5122959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 87110 84857 875 1460 0 85641 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 348440

[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 23623
/proc/meminfo: memFree=29473792/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=348440 CPUtime=1182.04 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 117279 0 0 0 117983 221 0 0 20 0 1 0 285552637 356802560 84905 33554432000 4194304 10173063 140736365729280 140736365725208 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 87110 84905 875 1460 0 85641 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 348440

[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 23623
/proc/meminfo: memFree=29467900/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=348440 CPUtime=1242.03 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 117279 0 0 0 123970 233 0 0 20 0 1 0 285552637 356802560 84905 33554432000 4194304 10173063 140736365729280 140736365721464 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 87110 84905 875 1460 0 85641 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 348440

[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 23623
/proc/meminfo: memFree=29466908/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=348440 CPUtime=1302.03 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 117279 0 0 0 129956 247 0 0 20 0 1 0 285552637 356802560 84905 33554432000 4194304 10173063 140736365729280 140736365722216 7911523 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 87110 84905 875 1460 0 85641 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 348440

[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 23627
/proc/meminfo: memFree=29464284/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=348440 CPUtime=1362.01 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 117279 0 0 0 135944 257 0 0 20 0 1 0 285552637 356802560 84905 33554432000 4194304 10173063 140736365729280 140736365724248 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 87110 84905 875 1460 0 85641 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 348440

[startup+1422.3 s]
/proc/loadavg: 2.04 2.00 1.92 3/178 23649
/proc/meminfo: memFree=29462416/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=350476 CPUtime=1422.01 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 117795 0 0 0 141934 267 0 0 20 0 1 0 285552637 358887424 85421 33554432000 4194304 10173063 140736365729280 140736365721800 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 87619 85421 875 1460 0 86150 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 350476

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 23649
/proc/meminfo: memFree=29457232/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=354956 CPUtime=1481.99 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 119150 0 0 0 147920 279 0 0 20 0 1 0 285552637 363474944 86776 33554432000 4194304 10173063 140736365729280 140736365722632 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 88739 86776 875 1460 0 87270 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 354956

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23649
/proc/meminfo: memFree=29461496/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=355984 CPUtime=1542 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 119669 0 0 0 153911 289 0 0 20 0 1 0 285552637 364527616 87622 33554432000 4194304 10173063 140736365729280 140736365722584 8063651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 88996 87622 875 1460 0 87527 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 355984

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23649
/proc/meminfo: memFree=29459076/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=359040 CPUtime=1601.98 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120172 0 0 0 159898 300 0 0 20 0 1 0 285552637 367656960 88125 33554432000 4194304 10173063 140736365729280 140736365722536 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 89760 88125 875 1460 0 88291 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 359040

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23650
/proc/meminfo: memFree=29450148/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=359040 CPUtime=1661.97 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120172 0 0 0 165883 314 0 0 20 0 1 0 285552637 367656960 88125 33554432000 4194304 10173063 140736365729280 140736365722392 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 89760 88125 875 1460 0 88291 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 359040

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23650
/proc/meminfo: memFree=29456160/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=359040 CPUtime=1721.96 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120172 0 0 0 171873 323 0 0 20 0 1 0 285552637 367656960 88125 33554432000 4194304 10173063 140736365729280 140736365722296 7911534 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 89760 88125 875 1460 0 88291 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 359040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23650
/proc/meminfo: memFree=29450456/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=359040 CPUtime=1781.95 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120182 0 0 0 177863 332 0 0 20 0 1 0 285552637 367656960 88135 33554432000 4194304 10173063 140736365729280 140736365722520 7911564 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 89760 88135 875 1460 0 88291 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 359040

Solver just ended. Dumping a history of the last processes samples

[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23650
/proc/meminfo: memFree=29450456/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=359040 CPUtime=1785.25 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120183 0 0 0 178193 332 0 0 20 0 1 0 285552637 367656960 88136 33554432000 4194304 10173063 140736365729280 140736365722520 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 89760 88136 875 1460 0 88291 0
Current children cumulated CPU time (s) 1785.25
Current children cumulated vsize (KiB) 359040

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23650
/proc/meminfo: memFree=29449092/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=361076 CPUtime=1791.65 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120522 0 0 0 178832 333 0 0 20 0 1 0 285552637 369741824 88475 33554432000 4194304 10173063 140736365729280 140736365722536 7984354 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 90269 88475 875 1460 0 88800 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (KiB) 361076

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23650
/proc/meminfo: memFree=29449092/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=361076 CPUtime=1794.86 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120522 0 0 0 179152 334 0 0 20 0 1 0 285552637 369741824 88475 33554432000 4194304 10173063 140736365729280 140736365722584 8055023 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 90269 88475 875 1460 0 88800 0
Current children cumulated CPU time (s) 1794.86
Current children cumulated vsize (KiB) 361076

[startup+1796 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23650
/proc/meminfo: memFree=29449092/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=361076 CPUtime=1795.65 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120522 0 0 0 179231 334 0 0 20 0 1 0 285552637 369741824 88475 33554432000 4194304 10173063 140736365729280 140736365722584 8007106 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 90269 88475 875 1460 0 88800 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (KiB) 361076

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23650
/proc/meminfo: memFree=29449092/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=361076 CPUtime=1796.45 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120522 0 0 0 179311 334 0 0 20 0 1 0 285552637 369741824 88475 33554432000 4194304 10173063 140736365729280 140736365722040 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 90269 88475 875 1460 0 88800 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (KiB) 361076

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23650
/proc/meminfo: memFree=29449092/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=358868 CPUtime=1796.85 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120527 0 0 0 179351 334 0 0 20 0 1 0 285552637 367480832 87928 33554432000 4194304 10173063 140736365729280 140736365725736 5760629 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 89717 87928 880 1460 0 88248 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 358868

[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 23650
/proc/meminfo: memFree=29449092/32873844 swapFree=7108/7108
[pid=23534] ppid=23530 vsize=353680 CPUtime=1796.95 cores=1,3,5,7
/proc/23534/stat : 23534 (scip-2.1.1.4fix) R 23530 23534 23491 0 -1 4202496 120527 0 0 0 179361 334 0 0 20 0 1 0 285552637 362168320 86635 33554432000 4194304 10173063 140736365729280 140736365725736 7431792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23534/statm: 88420 86635 880 1460 0 86951 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 353680

Child status: 0
Real time (s): 1797.4
CPU time (s): 1797.05
CPU user time (s): 1793.69
CPU system time (s): 3.36249
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 469032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.69
system time used= 3.36249
maximum resident set size= 462136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120529
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= 37
involuntary context switches= 2434

runsolver used 3.06753 second user time and 7.95079 second system time

The end

Launcher Data

Begin job on node102 at 2012-05-28 10:37:21
IDJOB=3717553
IDBENCH=79013
IDSOLVER=2300
FILE ID=node102/3717553-1338194241
RUNJOBID= node102-1338194241-23508
PBS_JOBID= 14624595
Free space on /tmp= 71528 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717553-1338194241/watcher-3717553-1338194241 -o /tmp/evaluation-result-3717553-1338194241/solver-3717553-1338194241 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717553-1338194241.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d8e7fa9590f436b33ef13e9171ac617f
RANDOM SEED=182277154

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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		: 2667.178
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:        30346928 kB
Buffers:          385056 kB
Cached:          1293120 kB
SwapCached:            0 kB
Active:           974396 kB
Inactive:         714084 kB
Active(anon):       2412 kB
Inactive(anon):    11056 kB
Active(file):     971984 kB
Inactive(file):   703028 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             27968 kB
Writeback:             0 kB
AnonPages:         17140 kB
Mapped:            13428 kB
Shmem:               200 kB
Slab:             698324 kB
SReclaimable:     140512 kB
SUnreclaim:       557812 kB
KernelStack:        1336 kB
PageTables:         3640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     102956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71500 MiB
End job on node102 at 2012-05-28 11:07:19