Trace number 3447417

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.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.3 1800.26

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-66-100-0.wbo
MD5SUM23f33b7daf9bba45fd16a95912abcbbc
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 benchmark7.49686
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 constraints8807
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 449050
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 449049
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

Solver Data 

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

Verifier Data 

OK	2551

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 /var/tmp/evaluation-result-3447417-1307899851/watcher-3447417-1307899851 -o /var/tmp/evaluation-result-3447417-1307899851/solver-3447417-1307899851 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447417-1307899851.wbo -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 9692
/proc/meminfo: memFree=1535900/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=9976 CPUtime=0 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 1480 0 0 0 0 0 0 0 25 0 1 0 980215749 10215424 1433 33554432000 4194304 9128323 140735114063984 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9692/statm: 2494 1433 399 1205 0 1285 0

[startup+0.0491959 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 9692
/proc/meminfo: memFree=1535900/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=17572 CPUtime=0.04 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 3374 0 0 0 4 0 0 0 25 0 1 0 980215749 17993728 3326 33554432000 4194304 9128323 140735114063984 18446744073709551615 6165534 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9692/statm: 4393 3326 399 1205 0 3184 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17572

[startup+0.101197 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 9692
/proc/meminfo: memFree=1535900/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=21820 CPUtime=0.09 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 4452 0 0 0 9 0 0 0 25 0 1 0 980215749 22343680 4403 33554432000 4194304 9128323 140735114063984 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9692/statm: 5455 4403 399 1205 0 4246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21820

[startup+0.301161 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 9692
/proc/meminfo: memFree=1535900/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=79416 CPUtime=0.29 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 18582 0 0 0 28 1 0 0 25 0 1 0 980215749 81321984 18490 33554432000 4194304 9128323 140735114063984 18446744073709551615 4338640 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 19854 18490 474 1205 0 18645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79416

[startup+0.701096 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 9692
/proc/meminfo: memFree=1535900/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=122464 CPUtime=0.69 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 29894 0 0 0 66 3 0 0 25 0 1 0 980215749 125403136 28723 33554432000 4194304 9128323 140735114063984 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 30616 28723 609 1205 0 29407 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 122464

[startup+1.501 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9693
/proc/meminfo: memFree=1422460/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=123228 CPUtime=1.49 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 30152 0 0 0 146 3 0 0 25 0 1 0 980215749 126185472 28949 33554432000 4194304 9128323 140735114063984 18446744073709551615 5333037 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 30807 28949 578 1205 0 29598 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123228

[startup+3.10072 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9693
/proc/meminfo: memFree=1418120/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=127988 CPUtime=3.09 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 31310 0 0 0 306 3 0 0 25 0 1 0 980215749 131059712 30099 33554432000 4194304 9128323 140735114063984 18446744073709551615 5089296 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 31997 30099 570 1205 0 30788 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127988

[startup+6.30111 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9693
/proc/meminfo: memFree=1414180/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=129492 CPUtime=6.29 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 31706 0 0 0 626 3 0 0 25 0 1 0 980215749 132599808 30494 33554432000 4194304 9128323 140735114063984 18446744073709551615 5973224 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 32373 30494 569 1205 0 31164 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 129492

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9693
/proc/meminfo: memFree=1410232/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=131776 CPUtime=12.69 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 32271 0 0 0 1266 3 0 0 25 0 1 0 980215749 134938624 31059 33554432000 4194304 9128323 140735114063984 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 32944 31059 573 1205 0 31735 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 131776

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9693
/proc/meminfo: memFree=1327364/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=216820 CPUtime=25.49 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 55367 0 0 0 2541 8 0 0 25 0 1 0 980215749 222023680 51807 33554432000 4194304 9128323 140735114063984 18446744073709551615 6678401 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 54205 51807 727 1205 0 52996 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 216820

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9694
/proc/meminfo: memFree=1305036/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=238560 CPUtime=51.09 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 60535 0 0 0 5094 15 0 0 25 0 1 0 980215749 244285440 56971 33554432000 4194304 9128323 140735114063984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 59640 56971 728 1205 0 58431 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 238560

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9695
/proc/meminfo: memFree=1294804/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=243028 CPUtime=102.3 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 99652 0 0 0 10199 31 0 0 25 0 1 0 980215749 248860672 57925 33554432000 4194304 9128323 140735114063984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 60757 57925 813 1205 0 59548 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 243028

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9697
/proc/meminfo: memFree=1290296/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=243028 CPUtime=162.29 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 99656 0 0 0 16187 42 0 0 25 0 1 0 980215749 248860672 57925 33554432000 4194304 9128323 140735114063984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 60757 57925 809 1205 0 59548 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 243028

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9699
/proc/meminfo: memFree=1277840/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=251204 CPUtime=222.29 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 121581 0 0 0 22175 54 0 0 25 0 1 0 980215749 257232896 60198 33554432000 4194304 9128323 140735114063984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 62801 60198 749 1205 0 61592 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 251204

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9700
/proc/meminfo: memFree=1234388/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=258616 CPUtime=282.29 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 146052 0 0 0 28163 66 0 0 25 0 1 0 980215749 264822784 61807 33554432000 4194304 9128323 140735114063984 18446744073709551615 7162943 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 64654 61807 763 1205 0 63445 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 258616

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9702
/proc/meminfo: memFree=1248100/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=263304 CPUtime=342.29 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 147770 0 0 0 34155 74 0 0 25 0 1 0 980215749 269623296 63441 33554432000 4194304 9128323 140735114063984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 65826 63441 752 1205 0 64617 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 263304

[startup+402.301 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 9703
/proc/meminfo: memFree=1230072/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=272108 CPUtime=402.3 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 149783 0 0 0 40148 82 0 0 25 0 1 0 980215749 278638592 65451 33554432000 4194304 9128323 140735114063984 18446744073709551615 7049632 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 68027 65451 841 1205 0 66818 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 272108

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 9705
/proc/meminfo: memFree=1214632/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=274868 CPUtime=462.3 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 150696 0 0 0 46142 88 0 0 25 0 1 0 980215749 281464832 66269 33554432000 4194304 9128323 140735114063984 18446744073709551615 7192528 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 68717 66269 773 1205 0 67508 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 274868

[startup+522.301 s]
/proc/loadavg: 2.06 2.02 1.95 3/178 9710
/proc/meminfo: memFree=1191836/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=279320 CPUtime=522.31 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 173381 0 0 0 52130 101 0 0 25 0 1 0 980215749 286023680 67401 33554432000 4194304 9128323 140735114063984 18446744073709551615 7184057 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 69830 67401 765 1205 0 68621 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 279320

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 9711
/proc/meminfo: memFree=1166136/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=286580 CPUtime=582.31 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 175261 0 0 0 58124 107 0 0 25 0 1 0 980215749 293457920 69269 33554432000 4194304 9128323 140735114063984 18446744073709551615 7315500 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 71645 69269 770 1205 0 70436 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 286580

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 9719
/proc/meminfo: memFree=1066684/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=312612 CPUtime=882.31 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 203125 0 0 0 88085 146 0 0 25 0 1 0 980215749 320114688 75642 33554432000 4194304 9128323 140735114063984 18446744073709551615 7192212 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 78153 75642 753 1205 0 76944 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 312612

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 9721
/proc/meminfo: memFree=1042820/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=320356 CPUtime=942.31 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 209933 0 0 0 94077 154 0 0 25 0 1 0 980215749 328044544 77532 33554432000 4194304 9128323 140735114063984 18446744073709551615 7192200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 80089 77532 966 1205 0 78880 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 320356

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 9722
/proc/meminfo: memFree=1022804/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=320868 CPUtime=1002.31 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 216768 0 0 0 100069 162 0 0 25 0 1 0 980215749 328568832 77584 33554432000 4194304 9128323 140735114063984 18446744073709551615 8012681 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 80217 77584 930 1205 0 79008 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 320868

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 9724
/proc/meminfo: memFree=1008128/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=324828 CPUtime=1062.31 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 224131 0 0 0 106061 170 0 0 25 0 1 0 980215749 332623872 78394 33554432000 4194304 9128323 140735114063984 18446744073709551615 7192205 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 81207 78394 911 1205 0 79998 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 324828

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9726
/proc/meminfo: memFree=986140/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=328776 CPUtime=1122.32 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 232688 0 0 0 112053 179 0 0 25 0 1 0 980215749 336666624 79181 33554432000 4194304 9128323 140735114063984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 82194 79181 907 1205 0 80985 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 328776

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9727
/proc/meminfo: memFree=964864/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=337604 CPUtime=1182.32 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 240517 0 0 0 118045 187 0 0 25 0 1 0 980215749 345706496 81844 33554432000 4194304 9128323 140735114063984 18446744073709551615 7192392 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 84401 81844 920 1205 0 83192 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 337604

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/178 9729
/proc/meminfo: memFree=944848/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=344340 CPUtime=1242.32 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 250543 0 0 0 124035 197 0 0 25 0 1 0 980215749 352604160 83462 33554432000 4194304 9128323 140735114063984 18446744073709551615 7380128 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 86085 83462 801 1205 0 84876 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 344340

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 9730
/proc/meminfo: memFree=927684/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=349728 CPUtime=1302.33 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 257324 0 0 0 130025 208 0 0 25 0 1 0 980215749 358121472 84839 33554432000 4194304 9128323 140735114063984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 87432 84839 819 1205 0 86223 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 349728

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9732
/proc/meminfo: memFree=906812/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=353740 CPUtime=1362.32 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 263296 0 0 0 136014 218 0 0 25 0 1 0 980215749 362229760 85949 33554432000 4194304 9128323 140735114063984 18446744073709551615 7356067 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 88435 85949 753 1205 0 87226 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 353740

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9734
/proc/meminfo: memFree=894108/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=353904 CPUtime=1422.33 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 273984 0 0 0 142007 226 0 0 25 0 1 0 980215749 362397696 85561 33554432000 4194304 9128323 140735114063984 18446744073709551615 7191211 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 88476 85561 753 1205 0 87267 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 353904

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9735
/proc/meminfo: memFree=873100/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=362788 CPUtime=1482.33 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 289299 0 0 0 147998 235 0 0 25 0 1 0 980215749 371494912 87348 33554432000 4194304 9128323 140735114063984 18446744073709551615 7346395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 90697 87348 753 1205 0 89488 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 362788

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9737
/proc/meminfo: memFree=848372/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=370176 CPUtime=1542.33 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 316170 0 0 0 153986 247 0 0 25 0 1 0 980215749 379060224 89580 33554432000 4194304 9128323 140735114063984 18446744073709551615 7025631 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 92544 89580 755 1205 0 91335 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 370176

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9738
/proc/meminfo: memFree=815948/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=384304 CPUtime=1602.33 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 329372 0 0 0 159979 254 0 0 25 0 1 0 980215749 393527296 93239 33554432000 4194304 9128323 140735114063984 18446744073709551615 6416605 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 96076 93239 754 1205 0 94867 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 384304

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9740
/proc/meminfo: memFree=789868/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=398148 CPUtime=1662.33 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 342373 0 0 0 165970 263 0 0 25 0 1 0 980215749 407703552 96417 33554432000 4194304 9128323 140735114063984 18446744073709551615 5488469 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 99537 96417 932 1205 0 98328 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 398148

[startup+1722.3 s]
/proc/loadavg: 1.96 1.98 1.96 3/178 9781
/proc/meminfo: memFree=1239816/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=412176 CPUtime=1722.33 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 354316 0 0 0 171962 271 0 0 25 0 1 0 980215749 422068224 99441 33554432000 4194304 9128323 140735114063984 18446744073709551615 7216870 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 103044 99441 758 1205 0 101835 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 412176

[startup+1782.3 s]
/proc/loadavg: 2.09 2.02 1.97 3/178 9782
/proc/meminfo: memFree=1221048/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=429152 CPUtime=1782.34 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 369738 0 0 0 177955 279 0 0 25 0 1 0 980215749 439451648 104288 33554432000 4194304 9128323 140735114063984 18446744073709551615 7163336 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 107288 104288 840 1205 0 106079 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 429152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.01 1.97 3/178 9783
/proc/meminfo: memFree=1216456/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=428464 CPUtime=1800.04 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 372871 0 0 0 179723 281 0 0 25 0 1 0 980215749 438747136 104113 33554432000 4194304 9128323 140735114063984 18446744073709551615 7176823 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9692/statm: 107116 104113 839 1205 0 105907 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 428464

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 2.06 2.01 1.97 3/178 9783
/proc/meminfo: memFree=1216456/32951124 swapFree=67054712/67111528
[pid=9692] ppid=9690 vsize=422268 CPUtime=1800.23 cores=0,2,4,6
/proc/9692/stat : 9692 (scip-2.0.1.4.li) R 9690 9692 9270 0 -1 4202496 372876 0 0 0 179742 281 0 0 25 0 1 0 980215749 432402432 102571 33554432000 4194304 9128323 140735114063984 18446744073709551615 6890169 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9692/statm: 105567 102571 844 1205 0 104358 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 422268

Child status: 0
Real time (s): 1800.26
CPU time (s): 1800.3
CPU user time (s): 1797.47
CPU system time (s): 2.83257
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 441956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.47
system time used= 2.83257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372878
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= 7
involuntary context switches= 21313

runsolver used 2.89756 second user time and 6.03608 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-12 19:30:51
IDJOB=3447417
IDBENCH=79057
IDSOLVER=1944
FILE ID=node119/3447417-1307899851
RUNJOBID= node119-1307898652-9556
PBS_JOBID= 13559587
Free space on /var/tmp= 2872 MiB

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

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

MD5SUM BENCH= 23f33b7daf9bba45fd16a95912abcbbc
RANDOM SEED=603943103

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1536080 kB
Buffers:         51212 kB
Cached:       30219456 kB
SwapCached:      10968 kB
Active:       15529688 kB
Inactive:     14942268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1536080 kB
SwapTotal:    67111528 kB
SwapFree:     67054712 kB
Dirty:           12832 kB
Writeback:          16 kB
AnonPages:      198564 kB
Mapped:          16200 kB
Slab:           879140 kB
PageTables:       5096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   397408 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2860 MiB
End job on node119 at 2011-06-12 20:00:53