Trace number 2692393

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1802.04 1801.99

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
MD5SUMd386dfc8e47349268f453a2b59efbfb7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.128979
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8937
Total number of constraints26319
Number of soft constraints8922
Number of constraints which are clauses26047
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints272
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 446674
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 446673
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	6474

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692393-1277914644/watcher-2692393-1277914644 -o /tmp/evaluation-result-2692393-1277914644/solver-2692393-1277914644 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692393-1277914644.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: 2.02 2.01 2.00 3/178 13340
/proc/meminfo: memFree=31092832/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=9152 CPUtime=0
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 1603 0 0 0 0 0 0 0 23 0 1 0 132761143 9371648 1523 4089446400 4194304 8223781 140734819751616 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13340/statm: 2288 1523 369 984 0 1301 0

[startup+0.0164411 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13340
/proc/meminfo: memFree=31092832/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=11864 CPUtime=0.01
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 2256 0 0 0 1 0 0 0 23 0 1 0 132761143 12148736 2176 4089446400 4194304 8223781 140734819751616 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13340/statm: 2966 2176 369 984 0 1979 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11864

[startup+0.100408 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13340
/proc/meminfo: memFree=31092832/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=27988 CPUtime=0.09
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 6311 0 0 0 9 0 0 0 23 0 1 0 132761143 28659712 6231 4089446400 4194304 8223781 140734819751616 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13340/statm: 6997 6231 369 984 0 6010 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27988

[startup+0.300375 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13340
/proc/meminfo: memFree=31092832/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=93220 CPUtime=0.29
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 22841 0 0 0 26 3 0 0 23 0 1 0 132761143 95457280 22351 4089446400 4194304 8223781 140734819751616 18446744073709551615 4668100 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 23305 22351 387 984 0 22318 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93220

[startup+0.700303 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13340
/proc/meminfo: memFree=31092832/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=121880 CPUtime=0.69
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 30499 0 0 0 57 12 0 0 25 0 1 0 132761143 124805120 28913 4089446400 4194304 8223781 140734819751616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 30470 28913 462 984 0 29483 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 121880

[startup+1.50016 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13341
/proc/meminfo: memFree=30978248/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=123600 CPUtime=1.49
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 30927 0 0 0 136 13 0 0 25 0 1 0 132761143 126566400 29341 4089446400 4194304 8223781 140734819751616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 30900 29341 462 984 0 29913 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123600

[startup+3.10088 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13341
/proc/meminfo: memFree=30977216/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=123964 CPUtime=3.09
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 31006 0 0 0 295 14 0 0 25 0 1 0 132761143 126939136 29420 4089446400 4194304 8223781 140734819751616 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 30991 29420 462 984 0 30004 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 123964

[startup+6.30031 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13341
/proc/meminfo: memFree=30973124/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=125184 CPUtime=6.29
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 31337 0 0 0 614 15 0 0 25 0 1 0 132761143 128188416 29751 4089446400 4194304 8223781 140734819751616 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 31296 29751 467 984 0 30309 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 125184

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13341
/proc/meminfo: memFree=30967748/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=126036 CPUtime=12.69
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 31531 0 0 0 1251 18 0 0 25 0 1 0 132761143 129060864 29945 4089446400 4194304 8223781 140734819751616 18446744073709551615 5496955 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 31509 29945 467 984 0 30522 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 126036

[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13342
/proc/meminfo: memFree=30913992/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=179080 CPUtime=25.49
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 64063 0 0 0 2509 40 0 0 25 0 1 0 132761143 183377920 41915 4089446400 4194304 8223781 140734819751616 18446744073709551615 7253675 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 44770 41915 613 984 0 43783 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 179080

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13342
/proc/meminfo: memFree=30895216/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=189768 CPUtime=51.09
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 1073736 0 0 0 4923 186 0 0 25 0 1 0 132761143 194322432 44198 4089446400 4194304 8223781 140734819751616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 47442 44198 626 984 0 46455 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 189768

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13344
/proc/meminfo: memFree=30865924/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=189520 CPUtime=102.3
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 1263483 0 0 0 9989 241 0 0 25 0 1 0 132761143 194068480 44185 4089446400 4194304 8223781 140734819751616 18446744073709551615 6568087 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 47380 44185 626 984 0 46393 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 189520

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13345
/proc/meminfo: memFree=30834024/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=192136 CPUtime=162.29
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 1545943 0 0 0 15915 314 0 0 25 0 1 0 132761143 196747264 44914 4089446400 4194304 8223781 140734819751616 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 48034 44914 629 984 0 47047 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 192136

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13347
/proc/meminfo: memFree=30796284/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=196788 CPUtime=222.3
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 1915122 0 0 0 21825 405 0 0 25 0 1 0 132761143 201510912 45998 4089446400 4194304 8223781 140734819751616 18446744073709551615 6569335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 49197 45998 630 984 0 48210 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 196788

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13348
/proc/meminfo: memFree=30722228/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=232480 CPUtime=282.3
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 2415341 0 0 0 27726 504 0 0 25 0 1 0 132761143 238059520 54923 4089446400 4194304 8223781 140734819751616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13340/statm: 58120 54923 642 984 0 57133 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 232480

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13350
/proc/meminfo: memFree=30656344/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=258680 CPUtime=342.3
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 3187053 0 0 0 33593 637 0 0 25 0 1 0 132761143 264888320 61669 4089446400 4194304 8223781 140734819751616 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 64670 61669 643 984 0 63683 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 258680

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13352
/proc/meminfo: memFree=30605728/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=277304 CPUtime=402.3
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 3871554 0 0 0 39472 758 0 0 25 0 1 0 132761143 283959296 66315 4089446400 4194304 8223781 140734819751616 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 69326 66315 636 984 0 68339 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 277304

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13353
/proc/meminfo: memFree=30554476/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=297348 CPUtime=462.31
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 4440059 0 0 0 45369 862 0 0 25 0 1 0 132761143 304484352 71250 4089446400 4194304 8223781 140734819751616 18446744073709551615 6296581 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 74337 71250 631 984 0 73350 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 297348

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13355
/proc/meminfo: memFree=30503964/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=313584 CPUtime=522.3
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 5082884 0 0 0 51248 982 0 0 25 0 1 0 132761143 321110016 75397 4089446400 4194304 8223781 140734819751616 18446744073709551615 6439579 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 78396 75397 631 984 0 77409 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 313584

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13356
/proc/meminfo: memFree=30445148/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=336536 CPUtime=582.3
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 5679026 0 0 0 57137 1093 0 0 25 0 1 0 132761143 344612864 81104 4089446400 4194304 8223781 140734819751616 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 84134 81104 631 984 0 83147 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 336536

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13358
/proc/meminfo: memFree=30378900/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=365168 CPUtime=642.31
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 6055295 0 0 0 63061 1170 0 0 25 0 1 0 132761143 373932032 88306 4089446400 4194304 8223781 140734819751616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 91292 88306 631 984 0 90305 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 365168

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13400
/proc/meminfo: memFree=30706316/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=560372 CPUtime=1062.32
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 9489953 0 0 0 104422 1810 0 0 25 0 1 0 132761143 573820928 136973 4089446400 4194304 8223781 140734819751616 18446744073709551615 5002438 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 140093 136973 637 984 0 139106 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 560372

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13402
/proc/meminfo: memFree=30667456/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=591032 CPUtime=1122.32
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 9915330 0 0 0 110343 1889 0 0 25 0 1 0 132761143 605216768 144736 4089446400 4194304 8223781 140734819751616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 147758 144736 631 984 0 146771 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 591032

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13403
/proc/meminfo: memFree=30641752/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=617180 CPUtime=1182.32
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 10616698 0 0 0 116236 1996 0 0 25 0 1 0 132761143 631992320 151114 4089446400 4194304 8223781 140734819751616 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 154295 151114 631 984 0 153308 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 617180

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13405
/proc/meminfo: memFree=30610844/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=645060 CPUtime=1242.32
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 11132156 0 0 0 122150 2082 0 0 25 0 1 0 132761143 660541440 158225 4089446400 4194304 8223781 140734819751616 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 161265 158225 631 984 0 160278 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 645060

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13407
/proc/meminfo: memFree=30575464/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=678836 CPUtime=1302.33
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 11561363 0 0 0 128072 2161 0 0 25 0 1 0 132761143 695128064 166514 4089446400 4194304 8223781 140734819751616 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 169709 166514 631 984 0 168722 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 678836

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13408
/proc/meminfo: memFree=30539604/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=711096 CPUtime=1362.33
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 11971762 0 0 0 133996 2237 0 0 25 0 1 0 132761143 728162304 174653 4089446400 4194304 8223781 140734819751616 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 177774 174653 631 984 0 176787 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 711096

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13410
/proc/meminfo: memFree=30505844/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=744016 CPUtime=1422.33
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 12421961 0 0 0 139912 2321 0 0 25 0 1 0 132761143 761872384 182854 4089446400 4194304 8223781 140734819751616 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 186004 182854 631 984 0 185017 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 744016

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13411
/proc/meminfo: memFree=30474320/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=773024 CPUtime=1482.33
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 13009393 0 0 0 145817 2416 0 0 25 0 1 0 132761143 791576576 190017 4089446400 4194304 8223781 140734819751616 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 193256 190017 634 984 0 192269 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 773024

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13413
/proc/meminfo: memFree=30444280/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=803364 CPUtime=1542.33
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 13488257 0 0 0 151730 2503 0 0 25 0 1 0 132761143 822644736 197528 4089446400 4194304 8223781 140734819751616 18446744073709551615 6445441 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 200841 197528 631 984 0 199854 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 803364

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13415
/proc/meminfo: memFree=30375548/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=833940 CPUtime=1602.34
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 14007353 0 0 0 157637 2597 0 0 25 0 1 0 132761143 853954560 205003 4089446400 4194304 8223781 140734819751616 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 208485 205003 631 984 0 207498 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 833940

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13416
/proc/meminfo: memFree=30323060/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=856052 CPUtime=1662.33
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 14589155 0 0 0 163530 2703 0 0 25 0 1 0 132761143 876597248 210531 4089446400 4194304 8223781 140734819751616 18446744073709551615 6569385 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 214013 210531 644 984 0 213026 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 856052

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13418
/proc/meminfo: memFree=30279004/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=886144 CPUtime=1722.33
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 15055396 0 0 0 169448 2785 0 0 25 0 1 0 132761143 907411456 218128 4089446400 4194304 8223781 140734819751616 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 221536 218128 631 984 0 220549 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 886144

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 13419
/proc/meminfo: memFree=30232348/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=916000 CPUtime=1782.33
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 15444905 0 0 0 175378 2855 0 0 25 0 1 0 132761143 937984000 225646 4089446400 4194304 8223781 140734819751616 18446744073709551615 6456389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 229000 225647 631 984 0 228013 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 916000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 13420
/proc/meminfo: memFree=30216720/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=925204 CPUtime=1800.04
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 15554557 0 0 0 177130 2874 0 0 25 0 1 0 132761143 947408896 227942 4089446400 4194304 8223781 140734819751616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13340/statm: 231301 227942 631 984 0 230314 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 925204

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

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

[startup+1800.6 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 13421
/proc/meminfo: memFree=30216464/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=925204 CPUtime=1800.64
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 15554678 0 0 0 177190 2874 0 0 25 0 1 0 132761143 947408896 227942 4089446400 4194304 8223781 140734819751616 18446744073709551615 7257293 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13340/statm: 231301 227942 631 984 0 230314 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 925204

[startup+1801.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 13421
/proc/meminfo: memFree=30216464/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=925204 CPUtime=1801.44
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 15554678 0 0 0 177270 2874 0 0 25 0 1 0 132761143 947408896 227942 4089446400 4194304 8223781 140734819751616 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13340/statm: 231301 227942 631 984 0 230314 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 925204

[startup+1801.81 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 13421
/proc/meminfo: memFree=30216340/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=668096 CPUtime=1801.85
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 15554681 0 0 0 177310 2875 0 0 25 0 1 0 132761143 684130304 163880 4089446400 4194304 8223781 140734819751616 18446744073709551615 6207086 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13340/statm: 167024 163880 633 984 0 166037 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 668096

[startup+1801.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 13421
/proc/meminfo: memFree=30216340/32950904 swapFree=67111528/67111528
[pid=13340] ppid=13338 vsize=331636 CPUtime=1801.93
/proc/13340/stat : 13340 (pbscip.linux.x8) R 13338 13340 13057 0 -1 4202496 15554681 0 0 0 177317 2876 0 0 25 0 1 0 132761143 339595264 79792 4089446400 4194304 8223781 140734819751616 18446744073709551615 4384154 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13340/statm: 82909 79792 633 984 0 81922 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 331636

Child status: 0
Real time (s): 1801.99
CPU time (s): 1802.04
CPU user time (s): 1773.26
CPU system time (s): 28.7846
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 933924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.26
system time used= 28.7846
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15554685
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= 1562

runsolver used 3.16052 second user time and 6.39903 second system time

The end

Launcher Data

Begin job on node121 at 2010-06-30 18:17:24
IDJOB=2692393
IDBENCH=79037
IDSOLVER=1204
FILE ID=node121/2692393-1277914644
PBS_JOBID= 11197299
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692393-1277914644/watcher-2692393-1277914644 -o /tmp/evaluation-result-2692393-1277914644/solver-2692393-1277914644 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692393-1277914644.wbo -t 1800 -m 3800

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

MD5SUM BENCH= d386dfc8e47349268f453a2b59efbfb7
RANDOM SEED=1995269148

node121.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.876
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.75
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.876
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	: 5226.23
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.876
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.75
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.876
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      31094476 kB
Buffers:        197756 kB
Cached:        1107536 kB
SwapCached:          0 kB
Active:         916616 kB
Inactive:       793480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      31094476 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5476 kB
Writeback:           0 kB
AnonPages:      405000 kB
Mapped:          17488 kB
Slab:            81048 kB
PageTables:       5368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   559872 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= 74200 MiB
End job on node121 at 2010-06-30 18:47:26