Trace number 3447282

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.39 1800.33

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-33-100-0.wbo
MD5SUM61ba6fab23f29dcc6973b97e5631370e
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.163974
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 constraints17731
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 903676
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 903675
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	881

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-3447282-1307898984/watcher-3447282-1307898984 -o /var/tmp/evaluation-result-3447282-1307898984/solver-3447282-1307898984 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447282-1307898984.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: 2.02 2.01 1.92 2/177 13107
/proc/meminfo: memFree=1092244/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=10132 CPUtime=0 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 1527 0 0 0 0 0 0 0 25 0 1 0 980129063 10375168 1480 33554432000 4194304 9128323 140736666361840 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13107/statm: 2533 1490 399 1205 0 1324 0

[startup+0.0647179 s]
/proc/loadavg: 2.02 2.01 1.92 2/177 13107
/proc/meminfo: memFree=1092244/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=19732 CPUtime=0.06 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 3934 0 0 0 6 0 0 0 25 0 1 0 980129063 20205568 3886 33554432000 4194304 9128323 140736666361840 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13107/statm: 4933 3886 399 1205 0 3724 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19732

[startup+0.100702 s]
/proc/loadavg: 2.02 2.01 1.92 2/177 13107
/proc/meminfo: memFree=1092244/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=25304 CPUtime=0.09 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 5306 0 0 0 9 0 0 0 25 0 1 0 980129063 25911296 5257 33554432000 4194304 9128323 140736666361840 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13107/statm: 6326 5257 399 1205 0 5117 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25304

[startup+0.300663 s]
/proc/loadavg: 2.02 2.01 1.92 2/177 13107
/proc/meminfo: memFree=1092244/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=90372 CPUtime=0.29 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 21212 0 0 0 28 1 0 0 25 0 1 0 980129063 92540928 21117 33554432000 4194304 9128323 140736666361840 18446744073709551615 8120031 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13107/statm: 22593 21117 474 1205 0 21384 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90372

[startup+0.700604 s]
/proc/loadavg: 2.02 2.01 1.92 2/177 13107
/proc/meminfo: memFree=1092244/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=149720 CPUtime=0.69 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 36056 0 0 0 66 3 0 0 25 0 1 0 980129063 153313280 34912 33554432000 4194304 9128323 140736666361840 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13107/statm: 37430 34912 559 1205 0 36221 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 149720

[startup+1.50043 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 13108
/proc/meminfo: memFree=932336/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=150488 CPUtime=1.49 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 36249 0 0 0 146 3 0 0 25 0 1 0 980129063 154099712 35104 33554432000 4194304 9128323 140736666361840 18446744073709551615 5240706 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13107/statm: 37622 35104 558 1205 0 36413 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150488

[startup+3.10114 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 13108
/proc/meminfo: memFree=931592/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=150488 CPUtime=3.09 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 36249 0 0 0 306 3 0 0 25 0 1 0 980129063 154099712 35104 33554432000 4194304 9128323 140736666361840 18446744073709551615 5976076 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13107/statm: 37622 35104 558 1205 0 36413 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 150488

[startup+6.30053 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 13108
/proc/meminfo: memFree=931028/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=150488 CPUtime=6.29 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 36249 0 0 0 626 3 0 0 25 0 1 0 980129063 154099712 35104 33554432000 4194304 9128323 140736666361840 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13107/statm: 37622 35104 558 1205 0 36413 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 150488

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 13109
/proc/meminfo: memFree=822176/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=260988 CPUtime=12.69 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 64827 0 0 0 1263 6 0 0 25 0 1 0 980129063 267251712 62235 33554432000 4194304 9128323 140736666361840 18446744073709551615 8008271 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13107/statm: 65247 62235 709 1205 0 64038 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 260988

[startup+25.5009 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 13109
/proc/meminfo: memFree=799824/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=285856 CPUtime=25.49 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 70359 0 0 0 2537 12 0 0 25 0 1 0 980129063 292716544 67730 33554432000 4194304 9128323 140736666361840 18446744073709551615 6311704 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13107/statm: 71464 67730 727 1205 0 70255 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 285856

[startup+51.101 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 13110
/proc/meminfo: memFree=676844/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=403760 CPUtime=51.09 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 100508 0 0 0 5070 39 0 0 25 0 1 0 980129063 413450240 97428 33554432000 4194304 9128323 140736666361840 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 100940 97428 803 1205 0 99731 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 403760

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 13111
/proc/meminfo: memFree=667728/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=403760 CPUtime=102.3 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 100508 0 0 0 10162 68 0 0 25 0 1 0 980129063 413450240 97428 33554432000 4194304 9128323 140736666361840 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 100940 97428 803 1205 0 99731 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 403760

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 13113
/proc/meminfo: memFree=660612/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=407704 CPUtime=162.29 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 101865 0 0 0 16131 98 0 0 25 0 1 0 980129063 417488896 98753 33554432000 4194304 9128323 140736666361840 18446744073709551615 6416684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 101926 98753 781 1205 0 100717 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 407704

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 13114
/proc/meminfo: memFree=659680/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=403852 CPUtime=222.3 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 118660 0 0 0 22104 126 0 0 25 0 1 0 980129063 413544448 98119 33554432000 4194304 9128323 140736666361840 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 100963 98119 782 1205 0 99754 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 403852

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 13116
/proc/meminfo: memFree=658396/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=403852 CPUtime=282.3 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 118694 0 0 0 28081 149 0 0 25 0 1 0 980129063 413544448 98153 33554432000 4194304 9128323 140736666361840 18446744073709551615 6713311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 100963 98153 782 1205 0 99754 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 403852

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 13117
/proc/meminfo: memFree=645204/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=414340 CPUtime=342.31 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 147837 0 0 0 34052 179 0 0 25 0 1 0 980129063 424284160 100504 33554432000 4194304 9128323 140736666361840 18446744073709551615 7013751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 103585 100504 796 1205 0 102376 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 414340

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 13119
/proc/meminfo: memFree=634484/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=425756 CPUtime=402.3 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 150737 0 0 0 40033 197 0 0 25 0 1 0 980129063 435974144 103281 33554432000 4194304 9128323 140736666361840 18446744073709551615 7216749 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 106439 103281 794 1205 0 105230 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 425756

[startup+462.301 s]
/proc/loadavg: 2.06 2.03 1.93 5/178 13121
/proc/meminfo: memFree=624628/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=434460 CPUtime=462.31 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 180461 0 0 0 46007 224 0 0 25 0 1 0 980129063 444887040 105397 33554432000 4194304 9128323 140736666361840 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 108615 105397 782 1205 0 107406 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 434460

[startup+522.301 s]
/proc/loadavg: 2.02 2.02 1.93 3/178 13122
/proc/meminfo: memFree=609564/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=447728 CPUtime=522.31 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 183971 0 0 0 51986 245 0 0 25 0 1 0 980129063 458473472 108793 33554432000 4194304 9128323 140736666361840 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 111932 108793 805 1205 0 110723 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 447728

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 13124
/proc/meminfo: memFree=593616/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=463856 CPUtime=582.31 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 188119 0 0 0 57968 263 0 0 25 0 1 0 980129063 474988544 112844 33554432000 4194304 9128323 140736666361840 18446744073709551615 7025311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 115964 112844 783 1205 0 114755 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 463856

[startup+642.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.05 2.01 1.94 3/178 13133
/proc/meminfo: memFree=490364/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=559504 CPUtime=942.33 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 239133 0 0 0 93847 386 0 0 25 0 1 0 980129063 572932096 136735 33554432000 4194304 9128323 140736666361840 18446744073709551615 6416573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 139876 136735 786 1205 0 138667 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 559504

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 13135
/proc/meminfo: memFree=469728/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=580092 CPUtime=1002.32 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 244254 0 0 0 99832 400 0 0 25 0 1 0 980129063 594014208 141725 33554432000 4194304 9128323 140736666361840 18446744073709551615 7205408 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 145023 141725 785 1205 0 143814 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 580092

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13137
/proc/meminfo: memFree=441644/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=606816 CPUtime=1062.33 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 251369 0 0 0 105818 415 0 0 25 0 1 0 980129063 621379584 148569 33554432000 4194304 9128323 140736666361840 18446744073709551615 7267311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 151704 148569 840 1205 0 150495 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 606816

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13138
/proc/meminfo: memFree=419124/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=629976 CPUtime=1122.33 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 282878 0 0 0 111796 437 0 0 25 0 1 0 980129063 645095424 153984 33554432000 4194304 9128323 140736666361840 18446744073709551615 6505895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 157494 153984 786 1205 0 156285 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 629976

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13140
/proc/meminfo: memFree=393416/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=652792 CPUtime=1182.33 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 289012 0 0 0 117780 453 0 0 25 0 1 0 980129063 668459008 159954 33554432000 4194304 9128323 140736666361840 18446744073709551615 5604729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 163198 159954 799 1205 0 161989 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 652792

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13141
/proc/meminfo: memFree=373324/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=666492 CPUtime=1242.34 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 293024 0 0 0 123764 470 0 0 25 0 1 0 980129063 682487808 163864 33554432000 4194304 9128323 140736666361840 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 166623 163864 798 1205 0 165414 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 666492

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13143
/proc/meminfo: memFree=356040/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=683544 CPUtime=1302.34 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 297020 0 0 0 129750 484 0 0 25 0 1 0 980129063 699949056 167849 33554432000 4194304 9128323 140736666361840 18446744073709551615 7267311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 170886 167849 789 1205 0 169677 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 683544

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13148
/proc/meminfo: memFree=338272/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=699872 CPUtime=1362.34 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 301130 0 0 0 135737 497 0 0 25 0 1 0 980129063 716668928 171948 33554432000 4194304 9128323 140736666361840 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 174968 171948 791 1205 0 173759 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 699872

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13149
/proc/meminfo: memFree=318052/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=716184 CPUtime=1422.35 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 305253 0 0 0 141722 513 0 0 25 0 1 0 980129063 733372416 176005 33554432000 4194304 9128323 140736666361840 18446744073709551615 5604739 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 179046 176005 802 1205 0 177837 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 716184

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13151
/proc/meminfo: memFree=308108/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=725580 CPUtime=1482.34 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 307739 0 0 0 147709 525 0 0 25 0 1 0 980129063 742993920 178438 33554432000 4194304 9128323 140736666361840 18446744073709551615 4893771 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 181395 178438 852 1205 0 180186 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 725580

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13152
/proc/meminfo: memFree=293888/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=735460 CPUtime=1542.35 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 310155 0 0 0 153696 539 0 0 25 0 1 0 980129063 753111040 180785 33554432000 4194304 9128323 140736666361840 18446744073709551615 7366230 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 183865 180785 802 1205 0 182656 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 735460

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13154
/proc/meminfo: memFree=281820/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=747240 CPUtime=1602.35 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 313252 0 0 0 159680 555 0 0 25 0 1 0 980129063 765173760 183798 33554432000 4194304 9128323 140736666361840 18446744073709551615 7346378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 186810 183798 801 1205 0 185601 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 747240

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13156
/proc/meminfo: memFree=273320/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=755396 CPUtime=1662.35 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 315352 0 0 0 165668 567 0 0 25 0 1 0 980129063 773525504 185898 33554432000 4194304 9128323 140736666361840 18446744073709551615 7183991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 188849 185898 801 1205 0 187640 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 755396

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13157
/proc/meminfo: memFree=262820/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=767220 CPUtime=1722.36 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 318097 0 0 0 171654 582 0 0 25 0 1 0 980129063 785633280 188634 33554432000 4194304 9128323 140736666361840 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 191805 188634 803 1205 0 190596 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 767220

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 1.95 3/178 13159
/proc/meminfo: memFree=252328/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=775544 CPUtime=1782.36 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 320426 0 0 0 177642 594 0 0 25 0 1 0 980129063 794157056 190954 33554432000 4194304 9128323 140736666361840 18446744073709551615 7049616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 193886 190954 801 1205 0 192677 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 775544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.01 1.95 2/176 13160
/proc/meminfo: memFree=354236/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=777588 CPUtime=1800.06 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 320711 0 0 0 179409 597 0 0 25 0 1 0 980129063 796250112 191239 33554432000 4194304 9128323 140736666361840 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13107/statm: 194397 191239 801 1205 0 193188 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 777588

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.04 2.01 1.95 2/176 13160
/proc/meminfo: memFree=354236/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=773708 CPUtime=1800.25 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 320715 0 0 0 179428 597 0 0 25 0 1 0 980129063 792276992 190273 33554432000 4194304 9128323 140736666361840 18446744073709551615 6885335 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13107/statm: 193427 190273 805 1205 0 192218 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 773708

[startup+1800.3 s]
/proc/loadavg: 2.04 2.01 1.95 2/176 13160
/proc/meminfo: memFree=354236/32950928 swapFree=67056212/67111528
[pid=13107] ppid=13105 vsize=711536 CPUtime=1800.36 cores=1,3,5,7
/proc/13107/stat : 13107 (scip-2.0.1.4.li) R 13105 13107 11872 0 -1 4202496 320715 0 0 0 179438 598 0 0 25 0 1 0 980129063 728612864 175075 33554432000 4194304 9128323 140736666361840 18446744073709551615 6564305 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13107/statm: 177884 175075 805 1205 0 176675 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 711536

Child status: 0
Real time (s): 1800.33
CPU time (s): 1800.39
CPU user time (s): 1794.39
CPU system time (s): 6.00809
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 777588

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

runsolver used 2.72659 second user time and 7.08792 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-12 19:16:24
IDJOB=3447282
IDBENCH=79002
IDSOLVER=1944
FILE ID=node115/3447282-1307898984
RUNJOBID= node115-1307897170-12489
PBS_JOBID= 13559590
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-33-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-3447282-1307898984/watcher-3447282-1307898984 -o /var/tmp/evaluation-result-3447282-1307898984/solver-3447282-1307898984 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447282-1307898984.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 61ba6fab23f29dcc6973b97e5631370e
RANDOM SEED=2077217434

node115.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.811
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.62
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.811
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.811
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.811
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.811
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.811
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.74
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1093176 kB
Buffers:         54872 kB
Cached:       30794752 kB
SwapCached:       9240 kB
Active:       16030724 kB
Inactive:     14867072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1093176 kB
SwapTotal:    67111528 kB
SwapFree:     67056212 kB
Dirty:           24896 kB
Writeback:           0 kB
AnonPages:       45316 kB
Mapped:          15952 kB
Slab:           895896 kB
PageTables:       4284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   240060 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 node115 at 2011-06-12 19:46:26