Trace number 2705349

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.11 1800.05

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-0-100-0.wbo
MD5SUMba25e54d46ac7b60d34fc2480b61617d
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big 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 benchmark41.1787
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 constraints25914
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 1307646
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1307645
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	26174

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705349-1278576548/watcher-2705349-1278576548 -o /tmp/evaluation-result-2705349-1278576548/solver-2705349-1278576548 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705349-1278576548.wbo -t 1800 -m 3800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.96 2.00 1.91 4/178 24720
/proc/meminfo: memFree=28883648/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=12336 CPUtime=0
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 1922 0 0 0 0 0 0 0 21 0 1 0 25868993 12632064 1840 4089446400 4194304 10345943 140735490155264 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24720/statm: 3084 1840 429 1502 0 1577 0

[startup+0.0359119 s]
/proc/loadavg: 1.96 2.00 1.91 4/178 24720
/proc/meminfo: memFree=28883648/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=22056 CPUtime=0.02
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 4361 0 0 0 2 0 0 0 21 0 1 0 25868993 22585344 4279 4089446400 4194304 10345943 140735490155264 18446744073709551615 4730452 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24720/statm: 5514 4280 430 1502 0 4007 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22056

[startup+0.100912 s]
/proc/loadavg: 1.96 2.00 1.91 4/178 24720
/proc/meminfo: memFree=28883648/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=38392 CPUtime=0.09
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 8458 0 0 0 8 1 0 0 21 0 1 0 25868993 39313408 8376 4089446400 4194304 10345943 140735490155264 18446744073709551615 5758044 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24720/statm: 9598 8376 430 1502 0 8091 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38392

[startup+0.300875 s]
/proc/loadavg: 1.96 2.00 1.91 4/178 24720
/proc/meminfo: memFree=28883648/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=88468 CPUtime=0.29
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 20934 0 0 0 27 2 0 0 21 0 1 0 25868993 90591232 20852 4089446400 4194304 10345943 140735490155264 18446744073709551615 9137614 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24720/statm: 22117 20852 430 1502 0 20610 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88468

[startup+0.700797 s]
/proc/loadavg: 1.96 2.00 1.91 4/178 24720
/proc/meminfo: memFree=28883648/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=210660 CPUtime=0.68
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 50306 0 0 0 63 5 0 0 22 0 1 0 25868993 215715840 49834 4089446400 4194304 10345943 140735490155264 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 52665 49834 509 1502 0 51158 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 210660

[startup+1.50064 s]
/proc/loadavg: 1.96 2.00 1.91 3/179 24721
/proc/meminfo: memFree=28669152/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=210660 CPUtime=1.48
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 50306 0 0 0 143 5 0 0 25 0 1 0 25868993 215715840 49834 4089446400 4194304 10345943 140735490155264 18446744073709551615 4246683 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 52665 49834 509 1502 0 51158 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 210660

[startup+3.10034 s]
/proc/loadavg: 1.96 2.00 1.91 3/179 24721
/proc/meminfo: memFree=28664936/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=210660 CPUtime=3.08
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 50306 0 0 0 303 5 0 0 25 0 1 0 25868993 215715840 49834 4089446400 4194304 10345943 140735490155264 18446744073709551615 4246683 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 52665 49834 509 1502 0 51158 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 210660

[startup+6.30075 s]
/proc/loadavg: 1.96 2.00 1.91 3/179 24721
/proc/meminfo: memFree=28647476/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=210660 CPUtime=6.29
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 50306 0 0 0 624 5 0 0 25 0 1 0 25868993 215715840 49834 4089446400 4194304 10345943 140735490155264 18446744073709551615 4246677 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 52665 49834 509 1502 0 51158 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 210660

[startup+12.7006 s]
/proc/loadavg: 1.97 2.00 1.91 3/179 24722
/proc/meminfo: memFree=28583500/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=277068 CPUtime=12.69
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 66572 0 0 0 1262 7 0 0 25 0 1 0 25868993 283717632 65079 4089446400 4194304 10345943 140735490155264 18446744073709551615 5823712 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 69267 65079 740 1502 0 67760 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 277068

[startup+25.5002 s]
/proc/loadavg: 1.97 2.00 1.91 3/179 24722
/proc/meminfo: memFree=28470784/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=383540 CPUtime=25.49
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 96955 0 0 0 2536 13 0 0 25 0 1 0 25868993 392744960 91787 4089446400 4194304 10345943 140735490155264 18446744073709551615 6119667 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 95885 91787 767 1502 0 94378 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 383540

[startup+51.1004 s]
/proc/loadavg: 1.98 2.00 1.91 3/179 24722
/proc/meminfo: memFree=28466680/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=383540 CPUtime=51.09
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 96959 0 0 0 5094 15 0 0 25 0 1 0 25868993 392744960 91791 4089446400 4194304 10345943 140735490155264 18446744073709551615 6921927 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 95885 91791 768 1502 0 94378 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 383540

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.91 3/179 24724
/proc/meminfo: memFree=28465388/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=383540 CPUtime=102.3
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 96975 0 0 0 10209 21 0 0 25 0 1 0 25868993 392744960 91807 4089446400 4194304 10345943 140735490155264 18446744073709551615 7791910 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 95885 91807 769 1502 0 94378 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 383540

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/179 24726
/proc/meminfo: memFree=28464740/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=383540 CPUtime=162.3
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 96982 0 0 0 16204 26 0 0 25 0 1 0 25868993 392744960 91814 4089446400 4194304 10345943 140735490155264 18446744073709551615 4469734 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 95885 91814 769 1502 0 94378 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 383540

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/179 24727
/proc/meminfo: memFree=28465308/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=383540 CPUtime=222.3
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 96996 0 0 0 22202 28 0 0 25 0 1 0 25868993 392744960 91828 4089446400 4194304 10345943 140735490155264 18446744073709551615 6864944 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 95885 91828 769 1502 0 94378 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 383540

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 24729
/proc/meminfo: memFree=28465156/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=383540 CPUtime=282.3
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 97003 0 0 0 28199 31 0 0 25 0 1 0 25868993 392744960 91835 4089446400 4194304 10345943 140735490155264 18446744073709551615 5926514 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 95885 91835 769 1502 0 94378 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 383540

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 24730
/proc/meminfo: memFree=28335016/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=512992 CPUtime=342.3
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 157764 0 0 0 34188 42 0 0 25 0 1 0 25868993 525303808 124321 4089446400 4194304 10345943 140735490155264 18446744073709551615 4447807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 128248 124321 770 1502 0 126741 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 512992

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24732
/proc/meminfo: memFree=28318496/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=512984 CPUtime=402.31
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 167022 0 0 0 40185 46 0 0 25 0 1 0 25868993 525295616 124656 4089446400 4194304 10345943 140735490155264 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 128246 124656 770 1502 0 126739 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 512984

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24734
/proc/meminfo: memFree=28302816/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=512984 CPUtime=462.31
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 167027 0 0 0 46184 47 0 0 25 0 1 0 25868993 525295616 124661 4089446400 4194304 10345943 140735490155264 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 128246 124661 770 1502 0 126739 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 512984

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24735
/proc/meminfo: memFree=28284180/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=512984 CPUtime=522.31
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 167034 0 0 0 52183 48 0 0 25 0 1 0 25868993 525295616 124668 4089446400 4194304 10345943 140735490155264 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24720/statm: 128246 124668 770 1502 0 126739 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 512984

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24740
/proc/meminfo: memFree=28256100/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=531180 CPUtime=582.31
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 196559 0 0 0 58176 55 0 0 25 0 1 0 25868993 543928320 128894 4089446400 4194304 10345943 140735490155264 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 132795 128894 770 1502 0 131288 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 531180

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24741
/proc/meminfo: memFree=28200328/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=575208 CPUtime=642.32
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 208951 0 0 0 64172 60 0 0 25 0 1 0 25868993 589012992 140097 4089446400 4194304 10345943 140735490155264 18446744073709551615 5926431 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 143802 140097 770 1502 0 142295 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 575208

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.06 2.02 1.92 3/179 24746
/proc/meminfo: memFree=27989164/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=731348 CPUtime=822.31
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 247837 0 0 0 82160 71 0 0 25 0 1 0 25868993 748900352 178983 4089446400 4194304 10345943 140735490155264 18446744073709551615 8160768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 182837 178983 770 1502 0 181330 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 731348

[startup+882.301 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 24748
/proc/meminfo: memFree=27969660/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=731348 CPUtime=882.32
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 247842 0 0 0 88159 73 0 0 25 0 1 0 25868993 748900352 178988 4089446400 4194304 10345943 140735490155264 18446744073709551615 6307378 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 182837 178988 770 1502 0 181330 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 731348

[startup+942.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 24749
/proc/meminfo: memFree=27924980/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=756664 CPUtime=942.32
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 254387 0 0 0 94155 77 0 0 25 0 1 0 25868993 774823936 185533 4089446400 4194304 10345943 140735490155264 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 189166 185533 770 1502 0 187659 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 756664

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24751
/proc/meminfo: memFree=27855744/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=803212 CPUtime=1002.32
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 266002 0 0 0 100151 81 0 0 25 0 1 0 25868993 822489088 197148 4089446400 4194304 10345943 140735490155264 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 200803 197148 770 1502 0 199296 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 803212

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24753
/proc/meminfo: memFree=27790856/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=846740 CPUtime=1062.33
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 276881 0 0 0 106148 85 0 0 25 0 1 0 25868993 867061760 208027 4089446400 4194304 10345943 140735490155264 18446744073709551615 6866097 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 211685 208027 770 1502 0 210178 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 846740

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24754
/proc/meminfo: memFree=27729940/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=885628 CPUtime=1122.33
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 314776 0 0 0 112140 93 0 0 25 0 1 0 25868993 906883072 217798 4089446400 4194304 10345943 140735490155264 18446744073709551615 5031207 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 221407 217798 770 1502 0 219900 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 885628

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24756
/proc/meminfo: memFree=27676956/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=915300 CPUtime=1182.33
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 322281 0 0 0 118137 96 0 0 25 0 1 0 25868993 937267200 225303 4089446400 4194304 10345943 140735490155264 18446744073709551615 4749687 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 228825 225303 770 1502 0 227318 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 915300

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24757
/proc/meminfo: memFree=27636364/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=937248 CPUtime=1242.34
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 327667 0 0 0 124135 99 0 0 25 0 1 0 25868993 959741952 230689 4089446400 4194304 10345943 140735490155264 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 234312 230689 770 1502 0 232805 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 937248

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24759
/proc/meminfo: memFree=27587956/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=962492 CPUtime=1302.34
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 334092 0 0 0 130133 101 0 0 25 0 1 0 25868993 985591808 237114 4089446400 4194304 10345943 140735490155264 18446744073709551615 7493430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 240623 237114 770 1502 0 239116 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 962492

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 24761
/proc/meminfo: memFree=27542168/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=984900 CPUtime=1362.33
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 339542 0 0 0 136130 103 0 0 25 0 1 0 25868993 1008537600 242564 4089446400 4194304 10345943 140735490155264 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 246225 242564 770 1502 0 244718 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 984900

[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 1.93 3/179 24762
/proc/meminfo: memFree=27492764/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=1013612 CPUtime=1422.35
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 346884 0 0 0 142129 106 0 0 25 0 1 0 25868993 1037938688 249906 4089446400 4194304 10345943 140735490155264 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 253403 249906 770 1502 0 251896 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1013612

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 24764
/proc/meminfo: memFree=27445600/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=1038884 CPUtime=1482.34
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 353207 0 0 0 148127 107 0 0 25 0 1 0 25868993 1063817216 256229 4089446400 4194304 10345943 140735490155264 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 259721 256229 770 1502 0 258214 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1038884

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 24765
/proc/meminfo: memFree=27393112/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=1067284 CPUtime=1542.34
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 360303 0 0 0 154124 110 0 0 25 0 1 0 25868993 1092898816 263325 4089446400 4194304 10345943 140735490155264 18446744073709551615 4749687 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 266821 263325 770 1502 0 265314 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1067284

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24767
/proc/meminfo: memFree=27342608/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=1091544 CPUtime=1602.34
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 366296 0 0 0 160122 112 0 0 25 0 1 0 25868993 1117741056 269318 4089446400 4194304 10345943 140735490155264 18446744073709551615 6003026 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 272886 269318 770 1502 0 271379 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1091544

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24769
/proc/meminfo: memFree=27286512/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=1127788 CPUtime=1662.35
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 375241 0 0 0 166119 116 0 0 25 0 1 0 25868993 1154854912 278263 4089446400 4194304 10345943 140735490155264 18446744073709551615 5614807 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 281947 278263 770 1502 0 280440 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1127788

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24770
/proc/meminfo: memFree=27230672/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=1169628 CPUtime=1722.35
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 385893 0 0 0 172116 119 0 0 25 0 1 0 25868993 1197699072 288915 4089446400 4194304 10345943 140735490155264 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 292407 288915 770 1502 0 290900 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1169628

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24772
/proc/meminfo: memFree=27171620/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=1208184 CPUtime=1782.35
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 395506 0 0 0 178112 123 0 0 25 0 1 0 25868993 1237180416 298528 4089446400 4194304 10345943 140735490155264 18446744073709551615 4882053 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24720/statm: 302046 298528 770 1502 0 300539 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1208184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 24799
/proc/meminfo: memFree=27721800/32951124 swapFree=67111528/67111528
[pid=24720] ppid=24718 vsize=1211544 CPUtime=1800.06
/proc/24720/stat : 24720 (pbscip.linux.x8) R 24718 24720 24329 0 -1 4202496 396414 0 0 0 179882 124 0 0 25 0 1 0 25868993 1240621056 299436 4089446400 4194304 10345943 140735490155264 18446744073709551615 6063744 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24720/statm: 302886 299436 774 1502 0 301379 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1211544

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.11
CPU user time (s): 1798.82
CPU system time (s): 1.2828
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1211544

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

runsolver used 2.52462 second user time and 6.18706 second system time

The end

Launcher Data

Begin job on node111 at 2010-07-08 10:09:08
IDJOB=2705349
IDBENCH=79114
IDSOLVER=1214
FILE ID=node111/2705349-1278576548
PBS_JOBID= 11240232
Free space on /tmp= 73608 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705349-1278576548/watcher-2705349-1278576548 -o /tmp/evaluation-result-2705349-1278576548/solver-2705349-1278576548 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705349-1278576548.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ba25e54d46ac7b60d34fc2480b61617d
RANDOM SEED=698557320

node111.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.825
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.65
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.825
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.98
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.825
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.67
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.825
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.86
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.825
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	: 5233.30
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.825
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.82
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.825
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.75
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.825
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:      28884300 kB
Buffers:        159936 kB
Cached:        3585196 kB
SwapCached:          0 kB
Active:        2189152 kB
Inactive:      1726808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28884300 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           27268 kB
Writeback:           0 kB
AnonPages:      170804 kB
Mapped:          16824 kB
Slab:            86796 kB
PageTables:       4852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   318216 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 /tmp at the end= 73596 MiB
End job on node111 at 2010-07-08 10:39:10