Trace number 2705028

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1794.94 1794.9

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

Verifier Data 

OK	11605

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.84 1.95 1.67 2/173 21849
/proc/meminfo: memFree=29195808/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=12340 CPUtime=0
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1947 0 0 0 0 0 0 0 21 0 1 0 25689422 12636160 1865 4089446400 4194304 10345943 140733253518112 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21849/statm: 3085 1865 429 1502 0 1578 0

[startup+0.00865508 s]
/proc/loadavg: 1.84 1.95 1.67 2/173 21849
/proc/meminfo: memFree=29195808/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=13396 CPUtime=0
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 2184 0 0 0 0 0 0 0 21 0 1 0 25689422 13717504 2102 4089446400 4194304 10345943 140733253518112 18446744073709551615 6325595 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21849/statm: 3349 2102 429 1502 0 1842 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13396

[startup+0.100708 s]
/proc/loadavg: 1.84 1.95 1.67 2/173 21849
/proc/meminfo: memFree=29195808/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=37744 CPUtime=0.09
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 8276 0 0 0 8 1 0 0 21 0 1 0 25689422 38649856 8194 4089446400 4194304 10345943 140733253518112 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21849/statm: 9436 8194 430 1502 0 7929 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37744

[startup+0.300684 s]
/proc/loadavg: 1.84 1.95 1.67 2/173 21849
/proc/meminfo: memFree=29195808/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=113024 CPUtime=0.29
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 27449 0 0 0 26 3 0 0 21 0 1 0 25689422 115736576 26946 4089446400 4194304 10345943 140733253518112 18446744073709551615 4497913 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 28256 26946 478 1502 0 26749 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 113024

[startup+0.700574 s]
/proc/loadavg: 1.84 1.95 1.67 2/173 21849
/proc/meminfo: memFree=29195808/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=167936 CPUtime=0.69
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 41129 0 0 0 64 5 0 0 22 0 1 0 25689422 171966464 39841 4089446400 4194304 10345943 140733253518112 18446744073709551615 5031099 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 41984 39841 563 1502 0 40477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 167936

[startup+1.50047 s]
/proc/loadavg: 1.85 1.95 1.67 3/179 21860
/proc/meminfo: memFree=28993208/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=168704 CPUtime=1.49
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 41321 0 0 0 144 5 0 0 25 0 1 0 25689422 172752896 40033 4089446400 4194304 10345943 140733253518112 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 42176 40033 563 1502 0 40669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 168704

[startup+3.10015 s]
/proc/loadavg: 1.85 1.95 1.67 3/179 21860
/proc/meminfo: memFree=28978328/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=168704 CPUtime=3.09
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 41321 0 0 0 304 5 0 0 25 0 1 0 25689422 172752896 40033 4089446400 4194304 10345943 140733253518112 18446744073709551615 5031207 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 42176 40033 563 1502 0 40669 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 168704

[startup+6.30062 s]
/proc/loadavg: 1.85 1.95 1.67 3/179 21861
/proc/meminfo: memFree=28924632/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=227556 CPUtime=6.29
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 53855 0 0 0 623 6 0 0 20 0 1 0 25689422 233017344 52560 4089446400 4194304 10345943 140733253518112 18446744073709551615 5852534 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 56889 52560 782 1502 0 55382 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 227556

[startup+12.7005 s]
/proc/loadavg: 1.87 1.96 1.67 3/179 21861
/proc/meminfo: memFree=28915656/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=234684 CPUtime=12.69
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 56185 0 0 0 1262 7 0 0 25 0 1 0 25689422 240316416 54842 4089446400 4194304 10345943 140733253518112 18446744073709551615 5852527 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 58671 54842 761 1502 0 57164 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 234684

[startup+25.5002 s]
/proc/loadavg: 1.89 1.96 1.68 3/179 21862
/proc/meminfo: memFree=28905496/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=247276 CPUtime=25.49
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 91402 0 0 0 2534 15 0 0 25 0 1 0 25689422 253210624 57410 4089446400 4194304 10345943 140733253518112 18446744073709551615 7569820 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 61819 57410 786 1502 0 60312 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 247276

[startup+51.1008 s]
/proc/loadavg: 1.93 1.96 1.68 3/179 21862
/proc/meminfo: memFree=28903020/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=249124 CPUtime=51.09
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 119475 0 0 0 5086 23 0 0 25 0 1 0 25689422 255102976 57395 4089446400 4194304 10345943 140733253518112 18446744073709551615 8160371 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 62281 57395 790 1502 0 60774 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 249124

[startup+102.307 s]
/proc/loadavg: 2.07 1.99 1.71 3/179 21864
/proc/meminfo: memFree=28899288/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=243960 CPUtime=102.3
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 154340 0 0 0 10196 34 0 0 25 0 1 0 25689422 249815040 57754 4089446400 4194304 10345943 140733253518112 18446744073709551615 6003044 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 60990 57754 790 1502 0 59483 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 243960

[startup+162.3 s]
/proc/loadavg: 2.02 1.99 1.73 3/179 21865
/proc/meminfo: memFree=28847184/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=262900 CPUtime=162.3
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 240173 0 0 0 16178 52 0 0 25 0 1 0 25689422 269209600 61264 4089446400 4194304 10345943 140733253518112 18446744073709551615 6865031 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 65725 61264 791 1502 0 64218 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 262900

[startup+222.301 s]
/proc/loadavg: 2.01 1.99 1.74 3/179 21866
/proc/meminfo: memFree=28765680/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=286320 CPUtime=222.29
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 570131 0 0 0 22133 96 0 0 25 0 1 0 25689422 293191680 67743 4089446400 4194304 10345943 140733253518112 18446744073709551615 6002418 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 71580 67743 793 1502 0 70073 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 286320

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.75 3/179 21868
/proc/meminfo: memFree=28687132/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=315844 CPUtime=282.3
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 796475 0 0 0 28100 130 0 0 25 0 1 0 25689422 323424256 75055 4089446400 4194304 10345943 140733253518112 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 78961 75055 793 1502 0 77454 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 315844

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.76 3/179 21870
/proc/meminfo: memFree=28616172/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=345320 CPUtime=342.3
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1007595 0 0 0 34070 160 0 0 25 0 1 0 25689422 353607680 82956 4089446400 4194304 10345943 140733253518112 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 86330 82956 793 1502 0 84823 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 345320

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.77 3/179 21872
/proc/meminfo: memFree=28547188/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=378920 CPUtime=402.3
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1115570 0 0 0 40054 176 0 0 25 0 1 0 25689422 388014080 91512 4089446400 4194304 10345943 140733253518112 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 94730 91512 793 1502 0 93223 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 378920

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/179 21873
/proc/meminfo: memFree=28472384/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=411524 CPUtime=462.3
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1252353 0 0 0 46030 200 0 0 25 0 1 0 25689422 421400576 99316 4089446400 4194304 10345943 140733253518112 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 102881 99316 793 1502 0 101374 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 411524

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.80 3/179 21874
/proc/meminfo: memFree=28412072/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=449424 CPUtime=522.31
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1303049 0 0 0 52021 210 0 0 25 0 1 0 25689422 460210176 108428 4089446400 4194304 10345943 140733253518112 18446744073709551615 4471796 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 112356 108428 793 1502 0 110849 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 449424

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/179 21876
/proc/meminfo: memFree=28327960/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=477120 CPUtime=582.3
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1334405 0 0 0 58013 217 0 0 25 0 1 0 25689422 488570880 115273 4089446400 4194304 10345943 140733253518112 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 119280 115273 793 1502 0 117773 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 477120

[startup+642.301 s]
/proc/loadavg: 2.05 2.01 1.82 3/179 21878
/proc/meminfo: memFree=28242084/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=506672 CPUtime=642.31
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1392068 0 0 0 64002 229 0 0 25 0 1 0 25689422 518832128 122689 4089446400 4194304 10345943 140733253518112 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 126668 122689 793 1502 0 125161 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 506672

[startup+702.3 s]

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

/proc/meminfo: memFree=27688604/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=668068 CPUtime=1062.31
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1460479 0 0 0 105974 257 0 0 25 0 1 0 25689422 684101632 163594 4089446400 4194304 10345943 140733253518112 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 167017 163594 793 1502 0 165510 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 668068

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 21890
/proc/meminfo: memFree=27608920/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=690932 CPUtime=1122.31
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1552214 0 0 0 111960 271 0 0 25 0 1 0 25689422 707514368 169318 4089446400 4194304 10345943 140733253518112 18446744073709551615 5614624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 172733 169318 793 1502 0 171226 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 690932

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.89 3/179 21892
/proc/meminfo: memFree=27528904/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=713564 CPUtime=1182.31
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1563688 0 0 0 117956 275 0 0 25 0 1 0 25689422 730689536 174825 4089446400 4194304 10345943 140733253518112 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 178391 174825 793 1502 0 176884 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 713564

[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 1.90 3/179 21894
/proc/meminfo: memFree=27445652/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=737172 CPUtime=1242.32
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1598522 0 0 0 123951 281 0 0 25 0 1 0 25689422 754864128 180832 4089446400 4194304 10345943 140733253518112 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 184293 180832 793 1502 0 182786 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 737172

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.90 3/179 21896
/proc/meminfo: memFree=27363268/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=758160 CPUtime=1302.32
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1680318 0 0 0 129939 293 0 0 25 0 1 0 25689422 776355840 186284 4089446400 4194304 10345943 140733253518112 18446744073709551615 5614665 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 189540 186284 793 1502 0 188033 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 758160

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 21906
/proc/meminfo: memFree=27285552/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=781780 CPUtime=1362.31
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1732178 0 0 0 135929 302 0 0 25 0 1 0 25689422 800542720 192007 4089446400 4194304 10345943 140733253518112 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 195445 192007 793 1502 0 193938 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 781780

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.91 3/179 21907
/proc/meminfo: memFree=27208016/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=803432 CPUtime=1422.32
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1792786 0 0 0 141921 311 0 0 25 0 1 0 25689422 822714368 197276 4089446400 4194304 10345943 140733253518112 18446744073709551615 4447780 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 200858 197276 793 1502 0 199351 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 803432

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21909
/proc/meminfo: memFree=27139400/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=824024 CPUtime=1482.32
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1800984 0 0 0 147917 315 0 0 25 0 1 0 25689422 843800576 202720 4089446400 4194304 10345943 140733253518112 18446744073709551615 8160777 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 206006 202720 793 1502 0 204499 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 824024

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21911
/proc/meminfo: memFree=27058520/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=848800 CPUtime=1542.32
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1861417 0 0 0 153909 323 0 0 25 0 1 0 25689422 869171200 208581 4089446400 4194304 10345943 140733253518112 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 212200 208581 793 1502 0 210693 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 848800

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21913
/proc/meminfo: memFree=26981464/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=870716 CPUtime=1602.32
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1896751 0 0 0 159902 330 0 0 25 0 1 0 25689422 891613184 214477 4089446400 4194304 10345943 140733253518112 18446744073709551615 6785231 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 217679 214477 793 1502 0 216172 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 870716

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21914
/proc/meminfo: memFree=26901696/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=894448 CPUtime=1662.32
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1912794 0 0 0 165899 333 0 0 25 0 1 0 25689422 915914752 220143 4089446400 4194304 10345943 140733253518112 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 223612 220143 793 1502 0 222105 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 894448

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21915
/proc/meminfo: memFree=26832204/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=916284 CPUtime=1722.32
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1918282 0 0 0 171896 336 0 0 25 0 1 0 25689422 938274816 225631 4089446400 4194304 10345943 140733253518112 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 229071 225631 793 1502 0 227564 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 916284

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21917
/proc/meminfo: memFree=26748832/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=941204 CPUtime=1782.33
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1931660 0 0 0 177893 340 0 0 25 0 1 0 25689422 963792896 232063 4089446400 4194304 10345943 140733253518112 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 235301 232063 793 1502 0 233794 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 941204

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21917
/proc/meminfo: memFree=26744856/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=942224 CPUtime=1785.53
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1931900 0 0 0 178213 340 0 0 25 0 1 0 25689422 964837376 232303 4089446400 4194304 10345943 140733253518112 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21849/statm: 235556 232303 793 1502 0 234049 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 942224

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21920
/proc/meminfo: memFree=28252732/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=943244 CPUtime=1791.93
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1932203 0 0 0 178853 340 0 0 25 0 1 0 25689422 965881856 232606 4089446400 4194304 10345943 140733253518112 18446744073709551615 4246426 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21849/statm: 235811 232606 793 1502 0 234304 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 943244

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21934
/proc/meminfo: memFree=28265736/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=943244 CPUtime=1793.53
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1932203 0 0 0 179013 340 0 0 25 0 1 0 25689422 965881856 232606 4089446400 4194304 10345943 140733253518112 18446744073709551615 9138270 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21849/statm: 235811 232606 793 1502 0 234304 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (KiB) 943244

[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21934
/proc/meminfo: memFree=28265612/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=943244 CPUtime=1794.33
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1932203 0 0 0 179093 340 0 0 25 0 1 0 25689422 965881856 232606 4089446400 4194304 10345943 140733253518112 18446744073709551615 9138288 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21849/statm: 235811 232606 793 1502 0 234304 0
Current children cumulated CPU time (s) 1794.33
Current children cumulated vsize (KiB) 943244

[startup+1794.7 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21934
/proc/meminfo: memFree=28265612/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=943244 CPUtime=1794.73
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1932206 0 0 0 179133 340 0 0 25 0 1 0 25689422 965881856 232609 4089446400 4194304 10345943 140733253518112 18446744073709551615 4421298 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21849/statm: 235811 232609 794 1502 0 234304 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 943244

[startup+1794.9 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21934
/proc/meminfo: memFree=28265612/32951124 swapFree=67111528/67111528
[pid=21849] ppid=21847 vsize=128576 CPUtime=1794.93
/proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21565 0 -1 4202496 1932206 0 0 0 179149 344 0 0 25 0 1 0 25689422 131661824 8114 4089446400 4194304 10345943 140733253518112 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21849/statm: 32144 7602 791 1502 0 30637 0
Current children cumulated CPU time (s) 1794.93
Current children cumulated vsize (KiB) 128576

Child status: 0
Real time (s): 1794.9
CPU time (s): 1794.94
CPU user time (s): 1791.5
CPU system time (s): 3.44148
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 943244

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

runsolver used 3.72543 second user time and 5.66514 second system time

The end

Launcher Data 

Begin job on node107 at 2010-07-08 09:39:12
IDJOB=2705028
IDBENCH=79002
IDSOLVER=1214
FILE ID=node107/2705028-1278574752
PBS_JOBID= 11240239
Free space on /tmp= 73652 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
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/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705028-1278574752/watcher-2705028-1278574752 -o /tmp/evaluation-result-2705028-1278574752/solver-2705028-1278574752 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705028-1278574752.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 61ba6fab23f29dcc6973b97e5631370e
RANDOM SEED=820752671

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29196336 kB
Buffers:        146980 kB
Cached:        3384480 kB
SwapCached:          0 kB
Active:         910984 kB
Inactive:      2682644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29196336 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13768 kB
Writeback:           0 kB
AnonPages:       62004 kB
Mapped:          14420 kB
Slab:            96728 kB
PageTables:       4876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73628 MiB
End job on node107 at 2010-07-08 10:09:08