Trace number 2705099

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 1791.82 1791.78

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	8528

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705099-1278574757/watcher-2705099-1278574757 -o /tmp/evaluation-result-2705099-1278574757/solver-2705099-1278574757 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705099-1278574757.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.78 1.95 1.68 3/182 10335
/proc/meminfo: memFree=28346912/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=12364 CPUtime=0
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1957 0 0 0 0 0 0 0 21 0 1 0 25688466 12660736 1875 4089446400 4194304 10345943 140735136015728 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10335/statm: 3091 1875 429 1502 0 1584 0

[startup+0.0077209 s]
/proc/loadavg: 1.78 1.95 1.68 3/182 10335
/proc/meminfo: memFree=28346912/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=12964 CPUtime=0
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 2094 0 0 0 0 0 0 0 21 0 1 0 25688466 13275136 2012 4089446400 4194304 10345943 140735136015728 18446744073709551615 5755070 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10335/statm: 3241 2012 429 1502 0 1734 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12964

[startup+0.100693 s]
/proc/loadavg: 1.78 1.95 1.68 3/182 10335
/proc/meminfo: memFree=28346912/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=31356 CPUtime=0.09
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 6667 0 0 0 9 0 0 0 24 0 1 0 25688466 32108544 6585 4089446400 4194304 10345943 140735136015728 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10335/statm: 7839 6585 430 1502 0 6332 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31356

[startup+0.300661 s]
/proc/loadavg: 1.78 1.95 1.68 3/182 10335
/proc/meminfo: memFree=28346912/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=101472 CPUtime=0.29
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 24558 0 0 0 27 2 0 0 25 0 1 0 25688466 103907328 24086 4089446400 4194304 10345943 140735136015728 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10335/statm: 25368 24086 495 1502 0 23861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 101472

[startup+0.700595 s]
/proc/loadavg: 1.78 1.95 1.68 3/182 10335
/proc/meminfo: memFree=28346912/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=122940 CPUtime=0.69
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 29433 0 0 0 67 2 0 0 25 0 1 0 25688466 125890560 28894 4089446400 4194304 10345943 140735136015728 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10335/statm: 30735 28894 555 1502 0 29228 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 122940

[startup+1.50045 s]
/proc/loadavg: 1.78 1.95 1.68 3/183 10336
/proc/meminfo: memFree=28233196/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=124648 CPUtime=1.49
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 29860 0 0 0 147 2 0 0 25 0 1 0 25688466 127639552 29321 4089446400 4194304 10345943 140735136015728 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10335/statm: 31162 29321 555 1502 0 29655 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124648

[startup+3.10016 s]
/proc/loadavg: 1.78 1.95 1.68 3/183 10336
/proc/meminfo: memFree=28231212/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=124860 CPUtime=3.09
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 29939 0 0 0 307 2 0 0 25 0 1 0 25688466 127856640 29400 4089446400 4194304 10345943 140735136015728 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10335/statm: 31215 29400 555 1502 0 29708 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 124860

[startup+6.30056 s]
/proc/loadavg: 1.80 1.95 1.68 3/183 10336
/proc/meminfo: memFree=28230964/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=126272 CPUtime=6.29
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 30271 0 0 0 627 2 0 0 25 0 1 0 25688466 129302528 29732 4089446400 4194304 10345943 140735136015728 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10335/statm: 31568 29732 560 1502 0 30061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126272

[startup+12.7004 s]
/proc/loadavg: 1.81 1.95 1.68 3/183 10337
/proc/meminfo: memFree=28223200/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=126944 CPUtime=12.69
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 30462 0 0 0 1267 2 0 0 25 0 1 0 25688466 129990656 29923 4089446400 4194304 10345943 140735136015728 18446744073709551615 5608296 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10335/statm: 31736 29923 560 1502 0 30229 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 126944

[startup+25.5011 s]
/proc/loadavg: 1.93 1.97 1.69 3/183 10337
/proc/meminfo: memFree=28158196/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=183900 CPUtime=25.49
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 43575 0 0 0 2545 4 0 0 25 0 1 0 25688466 188313600 42263 4089446400 4194304 10345943 140735136015728 18446744073709551615 5852534 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10335/statm: 45975 42263 769 1502 0 44468 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 183900

[startup+51.1004 s]
/proc/loadavg: 2.01 1.99 1.71 3/183 10337
/proc/meminfo: memFree=28102796/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=217200 CPUtime=51.09
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 70690 0 0 0 5099 10 0 0 25 0 1 0 25688466 222412800 48880 4089446400 4194304 10345943 140735136015728 18446744073709551615 7569806 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10335/statm: 54300 48880 820 1502 0 52793 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 217200

[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.72 3/183 10339
/proc/meminfo: memFree=28068432/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=216332 CPUtime=102.29
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 97805 0 0 0 10209 20 0 0 25 0 1 0 25688466 221523968 48353 4089446400 4194304 10345943 140735136015728 18446744073709551615 7569578 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10335/statm: 54083 48353 820 1502 0 52576 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 216332

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.74 3/183 10341
/proc/meminfo: memFree=28061324/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=203144 CPUtime=162.29
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 169853 0 0 0 16192 37 0 0 25 0 1 0 25688466 208019456 47884 4089446400 4194304 10345943 140735136015728 18446744073709551615 7569550 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 50786 47884 823 1502 0 49279 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 203144

[startup+222.3 s]
/proc/loadavg: 2.05 2.00 1.75 3/183 10342
/proc/meminfo: memFree=28049496/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=207936 CPUtime=222.28
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 185928 0 0 0 22184 44 0 0 25 0 1 0 25688466 212926464 49281 4089446400 4194304 10345943 140735136015728 18446744073709551615 7569543 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 51984 49281 823 1502 0 50477 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 207936

[startup+282.3 s]
/proc/loadavg: 2.02 2.00 1.76 3/183 10344
/proc/meminfo: memFree=28043160/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=215948 CPUtime=282.29
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 227844 0 0 0 28174 55 0 0 25 0 1 0 25688466 221130752 50138 4089446400 4194304 10345943 140735136015728 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 53987 50138 823 1502 0 52480 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 215948

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/183 10345
/proc/meminfo: memFree=28018808/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=247768 CPUtime=342.29
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 322203 0 0 0 34155 74 0 0 25 0 1 0 25688466 253714432 55896 4089446400 4194304 10345943 140735136015728 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 61942 55896 823 1502 0 60435 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 247768

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/183 10347
/proc/meminfo: memFree=28000424/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=265280 CPUtime=402.29
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 416837 0 0 0 40136 93 0 0 25 0 1 0 25688466 271646720 59789 4089446400 4194304 10345943 140735136015728 18446744073709551615 6702767 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 66320 59789 823 1502 0 64813 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 265280

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/183 10349
/proc/meminfo: memFree=27973728/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=291916 CPUtime=462.29
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 485485 0 0 0 46124 105 0 0 25 0 1 0 25688466 298921984 65625 4089446400 4194304 10345943 140735136015728 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 72979 65625 823 1502 0 71472 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 291916

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.81 3/183 10350
/proc/meminfo: memFree=27953728/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=298524 CPUtime=522.29
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 569710 0 0 0 52108 121 0 0 25 0 1 0 25688466 305688576 70494 4089446400 4194304 10345943 140735136015728 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 74631 70494 824 1502 0 73124 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 298524

[startup+582.301 s]
/proc/loadavg: 2.03 2.01 1.82 3/183 10352
/proc/meminfo: memFree=27934492/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=334956 CPUtime=582.29
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 657288 0 0 0 58091 138 0 0 25 0 1 0 25688466 342994944 75297 4089446400 4194304 10345943 140735136015728 18446744073709551615 7537185 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 83739 75297 824 1502 0 82232 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 334956

[startup+642.301 s]
/proc/loadavg: 2.05 2.02 1.83 3/183 10353
/proc/meminfo: memFree=27908892/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=346872 CPUtime=642.31
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 701223 0 0 0 64081 150 0 0 25 0 1 0 25688466 355196928 81467 4089446400 4194304 10345943 140735136015728 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 86718 81467 824 1502 0 85211 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 346872

[startup+702.301 s]

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

/proc/meminfo: memFree=27729728/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=518856 CPUtime=1062.31
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1034988 0 0 0 106004 227 0 0 25 0 1 0 25688466 531308544 124696 4089446400 4194304 10345943 140735136015728 18446744073709551615 4687919 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 129714 124696 824 1502 0 128207 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 518856

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/183 10366
/proc/meminfo: memFree=27702532/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=548000 CPUtime=1122.31
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1084343 0 0 0 111993 238 0 0 25 0 1 0 25688466 561152000 131447 4089446400 4194304 10345943 140735136015728 18446744073709551615 7578640 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 137000 131447 824 1502 0 135493 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 548000

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/183 10368
/proc/meminfo: memFree=27678436/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=587112 CPUtime=1182.31
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1141769 0 0 0 117980 251 0 0 25 0 1 0 25688466 601202688 137791 4089446400 4194304 10345943 140735136015728 18446744073709551615 7569478 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 146778 137791 824 1502 0 145271 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 587112

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 10369
/proc/meminfo: memFree=27649640/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=603072 CPUtime=1242.31
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1183605 0 0 0 123970 261 0 0 25 0 1 0 25688466 617545728 144055 4089446400 4194304 10345943 140735136015728 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 150768 144055 824 1502 0 149261 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 603072

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 10371
/proc/meminfo: memFree=27626800/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=622232 CPUtime=1302.32
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1250281 0 0 0 129958 274 0 0 25 0 1 0 25688466 637165568 149505 4089446400 4194304 10345943 140735136015728 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 155558 149505 824 1502 0 154051 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 622232

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 10382
/proc/meminfo: memFree=27607512/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=641512 CPUtime=1362.31
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1290849 0 0 0 135947 284 0 0 25 0 1 0 25688466 656908288 154079 4089446400 4194304 10345943 140735136015728 18446744073709551615 8160417 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 160378 154079 824 1502 0 158871 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 641512

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 10383
/proc/meminfo: memFree=27577576/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=672764 CPUtime=1422.32
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1331887 0 0 0 141936 296 0 0 25 0 1 0 25688466 688910336 161045 4089446400 4194304 10345943 140735136015728 18446744073709551615 7522780 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 168191 161045 824 1502 0 166684 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 672764

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 10385
/proc/meminfo: memFree=27543308/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=698776 CPUtime=1482.32
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1387938 0 0 0 147922 310 0 0 25 0 1 0 25688466 715546624 169071 4089446400 4194304 10345943 140735136015728 18446744073709551615 4454106 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 174694 169071 824 1502 0 173187 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 698776

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 10386
/proc/meminfo: memFree=27522444/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=720528 CPUtime=1542.32
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1425501 0 0 0 153913 319 0 0 25 0 1 0 25688466 737820672 173940 4089446400 4194304 10345943 140735136015728 18446744073709551615 6551137 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 180132 173940 824 1502 0 178625 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 720528

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 10388
/proc/meminfo: memFree=27498956/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=753816 CPUtime=1602.33
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1482944 0 0 0 159899 334 0 0 25 0 1 0 25688466 771907584 179320 4089446400 4194304 10345943 140735136015728 18446744073709551615 6757741 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 188454 179320 824 1502 0 186947 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 753816

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/183 10390
/proc/meminfo: memFree=27470368/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=773736 CPUtime=1662.33
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1510686 0 0 0 165890 343 0 0 25 0 1 0 25688466 792305664 185574 4089446400 4194304 10345943 140735136015728 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 193434 185574 824 1502 0 191927 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 773736

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 10391
/proc/meminfo: memFree=27445416/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=798468 CPUtime=1722.32
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1538285 0 0 0 171882 350 0 0 25 0 1 0 25688466 817631232 191715 4089446400 4194304 10345943 140735136015728 18446744073709551615 5616017 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 199617 191715 824 1502 0 198110 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 798468

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 10393
/proc/meminfo: memFree=27421584/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=814524 CPUtime=1782.33
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1585923 0 0 0 177871 362 0 0 25 0 1 0 25688466 834072576 196660 4089446400 4194304 10345943 140735136015728 18446744073709551615 6307346 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 203631 196660 824 1502 0 202124 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 814524

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

[startup+1785.5 s]
/proc/loadavg: 1.92 1.99 1.91 3/183 10420
/proc/meminfo: memFree=27567680/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=817572 CPUtime=1785.53
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1586131 0 0 0 178190 363 0 0 25 0 1 0 25688466 837193728 196868 4089446400 4194304 10345943 140735136015728 18446744073709551615 6870416 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 204393 196868 824 1502 0 202886 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 817572

[startup+1788.7 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 10420
/proc/meminfo: memFree=27392828/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=818912 CPUtime=1788.73
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1586475 0 0 0 178510 363 0 0 25 0 1 0 25688466 838565888 197137 4089446400 4194304 10345943 140735136015728 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10335/statm: 204728 197137 824 1502 0 203221 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 818912

[startup+1790.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 10420
/proc/meminfo: memFree=27391712/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=818912 CPUtime=1790.33
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1586631 0 0 0 178670 363 0 0 18 0 1 0 25688466 838565888 197293 4089446400 4194304 10345943 140735136015728 18446744073709551615 4246696 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10335/statm: 204728 197293 824 1502 0 203221 0
Current children cumulated CPU time (s) 1790.33
Current children cumulated vsize (KiB) 818912

[startup+1791.1 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 10420
/proc/meminfo: memFree=27391216/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=818912 CPUtime=1791.13
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1586631 0 0 0 178750 363 0 0 19 0 1 0 25688466 838565888 197293 4089446400 4194304 10345943 140735136015728 18446744073709551615 4246430 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10335/statm: 204728 197293 824 1502 0 203221 0
Current children cumulated CPU time (s) 1791.13
Current children cumulated vsize (KiB) 818912

[startup+1791.5 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 10420
/proc/meminfo: memFree=27391216/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=818912 CPUtime=1791.53
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1586631 0 0 0 178790 363 0 0 19 0 1 0 25688466 838565888 197293 4089446400 4194304 10345943 140735136015728 18446744073709551615 4246683 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10335/statm: 204728 197293 824 1502 0 203221 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 818912

[startup+1791.7 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 10420
/proc/meminfo: memFree=27391216/32951124 swapFree=67111528/67111528
[pid=10335] ppid=10333 vsize=818912 CPUtime=1791.73
/proc/10335/stat : 10335 (pbscip.linux.x8) R 10333 10335 10055 0 -1 4202496 1586632 0 0 0 178810 363 0 0 20 0 1 0 25688466 838565888 197294 4089446400 4194304 10345943 140735136015728 18446744073709551615 6076052 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10335/statm: 204728 197294 825 1502 0 203221 0
Current children cumulated CPU time (s) 1791.73
Current children cumulated vsize (KiB) 818912

Child status: 0
Real time (s): 1791.78
CPU time (s): 1791.82
CPU user time (s): 1788.15
CPU system time (s): 3.66944
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 829052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.15
system time used= 3.66944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1586635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1543

runsolver used 2.86756 second user time and 6.91395 second system time

The end

Launcher Data 

Begin job on node133 at 2010-07-08 09:39:17
IDJOB=2705099
IDBENCH=79037
IDSOLVER=1214
FILE ID=node133/2705099-1278574757
PBS_JOBID= 11240189
Free space on /tmp= 73640 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-66-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-2705099-1278574757/watcher-2705099-1278574757 -o /tmp/evaluation-result-2705099-1278574757/solver-2705099-1278574757 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705099-1278574757.wbo -t 1800 -m 3800

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

MD5SUM BENCH= d386dfc8e47349268f453a2b59efbfb7
RANDOM SEED=600778192

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.67
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.844
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28347564 kB
Buffers:        167196 kB
Cached:        4171184 kB
SwapCached:          0 kB
Active:        1291216 kB
Inactive:      3142944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28347564 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26716 kB
Writeback:           0 kB
AnonPages:       95464 kB
Mapped:          17632 kB
Slab:           105604 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   239468 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 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 node133 at 2010-07-08 10:09:09