Trace number 3447353

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.29 1800.23

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.119981
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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	3080

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447353-1307899491/watcher-3447353-1307899491 -o /var/tmp/evaluation-result-3447353-1307899491/solver-3447353-1307899491 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447353-1307899491.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 31105
/proc/meminfo: memFree=1186876/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=10128 CPUtime=0 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 1526 0 0 0 0 0 0 0 25 0 1 0 980179808 10371072 1480 33554432000 4194304 9128323 140733274405216 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31105/statm: 2532 1480 399 1205 0 1323 0

[startup+0.040394 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 31105
/proc/meminfo: memFree=1186876/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=16232 CPUtime=0.03 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 3041 0 0 0 3 0 0 0 25 0 1 0 980179808 16621568 2994 33554432000 4194304 9128323 140733274405216 18446744073709551615 7414868 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31105/statm: 4058 2994 399 1205 0 2849 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16232

[startup+0.100383 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 31105
/proc/meminfo: memFree=1186876/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=23112 CPUtime=0.09 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 4760 0 0 0 9 0 0 0 25 0 1 0 980179808 23666688 4712 33554432000 4194304 9128323 140733274405216 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31105/statm: 5778 4712 399 1205 0 4569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23112

[startup+0.300346 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 31105
/proc/meminfo: memFree=1186876/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=88164 CPUtime=0.29 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 20713 0 0 0 27 2 0 0 25 0 1 0 980179808 90279936 20596 33554432000 4194304 9128323 140733274405216 18446744073709551615 4798602 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 22041 20596 474 1205 0 20832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88164

[startup+0.700279 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 31105
/proc/meminfo: memFree=1186876/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=116592 CPUtime=0.69 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 27632 0 0 0 66 3 0 0 25 0 1 0 980179808 119390208 27172 33554432000 4194304 9128323 140733274405216 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 29148 27172 542 1205 0 27939 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116592

[startup+1.50014 s]
/proc/loadavg: 1.92 1.98 1.90 3/178 31106
/proc/meminfo: memFree=1080260/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=118300 CPUtime=1.49 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 28060 0 0 0 146 3 0 0 25 0 1 0 980179808 121139200 27600 33554432000 4194304 9128323 140733274405216 18446744073709551615 5234097 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 29575 27600 542 1205 0 28366 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118300

[startup+3.10084 s]
/proc/loadavg: 1.92 1.98 1.90 3/178 31106
/proc/meminfo: memFree=1077912/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=118512 CPUtime=3.09 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 28139 0 0 0 306 3 0 0 25 0 1 0 980179808 121356288 27679 33554432000 4194304 9128323 140733274405216 18446744073709551615 5973116 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 29628 27679 542 1205 0 28419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118512

[startup+6.30033 s]
/proc/loadavg: 1.93 1.98 1.90 3/178 31106
/proc/meminfo: memFree=1075756/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=118804 CPUtime=6.29 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 28214 0 0 0 626 3 0 0 25 0 1 0 980179808 121655296 27754 33554432000 4194304 9128323 140733274405216 18446744073709551615 5090093 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 29701 27754 546 1205 0 28492 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 118804

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.90 3/178 31107
/proc/meminfo: memFree=1072120/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=120596 CPUtime=12.69 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 28659 0 0 0 1266 3 0 0 25 0 1 0 980179808 123490304 28199 33554432000 4194304 9128323 140733274405216 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 30149 28199 546 1205 0 28940 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120596

[startup+25.5008 s]
/proc/loadavg: 1.95 1.98 1.91 3/178 31107
/proc/meminfo: memFree=1057424/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=132620 CPUtime=25.49 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 32461 0 0 0 2546 3 0 0 25 0 1 0 980179808 135802880 31247 33554432000 4194304 9128323 140733274405216 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 33155 31247 611 1205 0 31946 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 132620

[startup+51.1011 s]
/proc/loadavg: 1.96 1.98 1.91 3/178 31108
/proc/meminfo: memFree=950392/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=235748 CPUtime=51.1 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 78388 0 0 0 5079 31 0 0 25 0 1 0 980179808 241405952 56429 33554432000 4194304 9128323 140733274405216 18446744073709551615 7380906 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 58937 56429 764 1205 0 57728 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 235748

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.91 3/178 31147
/proc/meminfo: memFree=1043052/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=235848 CPUtime=102.3 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 78505 0 0 0 10166 64 0 0 25 0 1 0 980179808 241508352 56544 33554432000 4194304 9128323 140733274405216 18446744073709551615 8012830 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 58962 56544 762 1205 0 57753 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 235848

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 31149
/proc/meminfo: memFree=1037748/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=243432 CPUtime=162.29 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 80490 0 0 0 16137 92 0 0 25 0 1 0 980179808 249274368 58520 33554432000 4194304 9128323 140733274405216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 60858 58520 759 1205 0 59649 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 243432

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 31150
/proc/meminfo: memFree=1034272/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=246876 CPUtime=222.3 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 101300 0 0 0 22106 124 0 0 25 0 1 0 980179808 252801024 59376 33554432000 4194304 9128323 140733274405216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 61719 59376 762 1205 0 60510 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 246876

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 31152
/proc/meminfo: memFree=1023064/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=253112 CPUtime=282.3 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 102866 0 0 0 28082 148 0 0 25 0 1 0 980179808 259186688 60940 33554432000 4194304 9128323 140733274405216 18446744073709551615 6712802 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 63278 60940 763 1205 0 62069 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 253112

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 31153
/proc/meminfo: memFree=1009348/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=261288 CPUtime=342.3 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 126416 0 0 0 34052 178 0 0 25 0 1 0 980179808 267558912 63031 33554432000 4194304 9128323 140733274405216 18446744073709551615 7346293 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 65322 63031 763 1205 0 64113 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 261288

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 31155
/proc/meminfo: memFree=991192/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=276388 CPUtime=402.31 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 130220 0 0 0 40036 195 0 0 25 0 1 0 980179808 283021312 66783 33554432000 4194304 9128323 140733274405216 18446744073709551615 7342491 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 69097 66783 791 1205 0 67888 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 276388

[startup+462.301 s]
/proc/loadavg: 2.03 2.00 1.91 3/178 31157
/proc/meminfo: memFree=967188/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=296796 CPUtime=462.3 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 158453 0 0 0 46011 219 0 0 25 0 1 0 980179808 303919104 71900 33554432000 4194304 9128323 140733274405216 18446744073709551615 7267182 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 74199 71900 766 1205 0 72990 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 296796

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 31158
/proc/meminfo: memFree=944936/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=314700 CPUtime=522.31 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 182554 0 0 0 51990 241 0 0 25 0 1 0 980179808 322252800 76204 33554432000 4194304 9128323 140733274405216 18446744073709551615 7097344 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 78675 76204 766 1205 0 77466 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 314700

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 31160
/proc/meminfo: memFree=926516/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=324388 CPUtime=582.31 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 185184 0 0 0 57969 262 0 0 25 0 1 0 980179808 332173312 78805 33554432000 4194304 9128323 140733274405216 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 81097 78805 769 1205 0 79888 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 324388

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 31171
/proc/meminfo: memFree=872508/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=343624 CPUtime=882.32 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 235097 0 0 0 87881 351 0 0 25 0 1 0 980179808 351870976 83703 33554432000 4194304 9128323 140733274405216 18446744073709551615 7267353 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 85906 83703 772 1205 0 84697 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 343624

[startup+942.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 31172
/proc/meminfo: memFree=865988/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=347644 CPUtime=942.33 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 239017 0 0 0 93867 366 0 0 25 0 1 0 980179808 355987456 84682 33554432000 4194304 9128323 140733274405216 18446744073709551615 6416694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 86911 84682 765 1205 0 85702 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 347644

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31174
/proc/meminfo: memFree=856784/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=352476 CPUtime=1002.32 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 240425 0 0 0 99852 380 0 0 25 0 1 0 980179808 360935424 86090 33554432000 4194304 9128323 140733274405216 18446744073709551615 7342491 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 88119 86090 765 1205 0 86910 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 352476

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31176
/proc/meminfo: memFree=850168/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=358156 CPUtime=1062.32 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 241541 0 0 0 105840 392 0 0 25 0 1 0 980179808 366751744 87206 33554432000 4194304 9128323 140733274405216 18446744073709551615 6857095 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 89539 87206 765 1205 0 88330 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 358156

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31177
/proc/meminfo: memFree=837452/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=361740 CPUtime=1122.32 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 262142 0 0 0 111813 419 0 0 25 0 1 0 980179808 370421760 88159 33554432000 4194304 9128323 140733274405216 18446744073709551615 7342763 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 90435 88159 765 1205 0 89226 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 361740

[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/178 31179
/proc/meminfo: memFree=827360/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=366320 CPUtime=1182.33 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 263577 0 0 0 117802 431 0 0 25 0 1 0 980179808 375111680 89557 33554432000 4194304 9128323 140733274405216 18446744073709551615 7163804 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 91580 89557 768 1205 0 90371 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 366320

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 31180
/proc/meminfo: memFree=814664/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=374028 CPUtime=1242.33 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 265263 0 0 0 123788 445 0 0 25 0 1 0 980179808 383004672 91240 33554432000 4194304 9128323 140733274405216 18446744073709551615 7183956 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 93507 91240 765 1205 0 92298 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 374028

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31182
/proc/meminfo: memFree=802468/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=377080 CPUtime=1302.34 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 267522 0 0 0 129772 462 0 0 25 0 1 0 980179808 386129920 91964 33554432000 4194304 9128323 140733274405216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 94270 91964 821 1205 0 93061 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 377080

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31184
/proc/meminfo: memFree=797320/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=379236 CPUtime=1362.33 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 269943 0 0 0 135760 473 0 0 25 0 1 0 980179808 388337664 92567 33554432000 4194304 9128323 140733274405216 18446744073709551615 6941061 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 94809 92567 786 1205 0 93600 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 379236

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31185
/proc/meminfo: memFree=788472/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=384232 CPUtime=1422.34 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 271153 0 0 0 141746 488 0 0 25 0 1 0 980179808 393453568 93761 33554432000 4194304 9128323 140733274405216 18446744073709551615 6732552 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 96058 93761 770 1205 0 94849 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 384232

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31187
/proc/meminfo: memFree=781596/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=387560 CPUtime=1482.34 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 271899 0 0 0 147735 499 0 0 25 0 1 0 980179808 396861440 94502 33554432000 4194304 9128323 140733274405216 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 96890 94502 765 1205 0 95681 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 387560

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31188
/proc/meminfo: memFree=773000/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=390308 CPUtime=1542.34 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 272652 0 0 0 153719 515 0 0 25 0 1 0 980179808 399675392 95255 33554432000 4194304 9128323 140733274405216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 97577 95255 765 1205 0 96368 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 390308

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31190
/proc/meminfo: memFree=762524/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=393376 CPUtime=1602.34 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 273429 0 0 0 159701 533 0 0 25 0 1 0 980179808 402817024 96032 33554432000 4194304 9128323 140733274405216 18446744073709551615 7217031 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 98344 96032 765 1205 0 97135 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 393376

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31192
/proc/meminfo: memFree=747960/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=399288 CPUtime=1662.34 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 275026 0 0 0 165684 550 0 0 25 0 1 0 980179808 408870912 97601 33554432000 4194304 9128323 140733274405216 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 99822 97601 765 1205 0 98613 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 399288

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31193
/proc/meminfo: memFree=735984/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=403792 CPUtime=1722.34 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 280947 0 0 0 171670 564 0 0 25 0 1 0 980179808 413483008 98739 33554432000 4194304 9128323 140733274405216 18446744073709551615 7013757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 100948 98739 832 1205 0 99739 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 403792

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31195
/proc/meminfo: memFree=724036/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=405324 CPUtime=1782.35 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 308808 0 0 0 177645 590 0 0 25 0 1 0 980179808 415051776 98911 33554432000 4194304 9128323 140733274405216 18446744073709551615 6712753 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 101331 98911 776 1205 0 100122 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 405324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31195
/proc/meminfo: memFree=713728/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=411032 CPUtime=1800.05 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 310466 0 0 0 179411 594 0 0 25 0 1 0 980179808 420896768 100558 33554432000 4194304 9128323 140733274405216 18446744073709551615 4579030 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31105/statm: 102758 100558 765 1205 0 101549 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 411032

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 31195
/proc/meminfo: memFree=713728/32950928 swapFree=67051812/67111528
[pid=31105] ppid=31103 vsize=396932 CPUtime=1800.25 cores=1,3,5,7
/proc/31105/stat : 31105 (scip-2.0.1.4.li) R 31103 31105 29668 0 -1 4202496 310470 0 0 0 179431 594 0 0 25 0 1 0 980179808 406458368 97272 33554432000 4194304 9128323 140733274405216 18446744073709551615 4347072 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31105/statm: 99233 97272 769 1205 0 98024 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 396932

Child status: 0
Real time (s): 1800.23
CPU time (s): 1800.29
CPU user time (s): 1794.33
CPU system time (s): 5.96209
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 484172

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

runsolver used 2.49062 second user time and 6.03208 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-12 19:24:51
IDJOB=3447353
IDBENCH=79037
IDSOLVER=1944
FILE ID=node116/3447353-1307899491
RUNJOBID= node116-1307897212-30855
PBS_JOBID= 13559589
Free space on /var/tmp= 2872 MiB

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

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

MD5SUM BENCH= d386dfc8e47349268f453a2b59efbfb7
RANDOM SEED=1540390598

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.15
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.826
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.826
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.75
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.826
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.77
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.826
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.75
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.826
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.826
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:     32950928 kB
MemFree:       1187064 kB
Buffers:         52828 kB
Cached:       30585852 kB
SwapCached:      12792 kB
Active:       16214688 kB
Inactive:     14596448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1187064 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:           12464 kB
Writeback:           0 kB
AnonPages:      169632 kB
Mapped:          12244 kB
Slab:           888716 kB
PageTables:       5020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   361932 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2860 MiB
End job on node116 at 2011-06-12 19:54:53