Trace number 2663963

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 NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)23 1801.03 1801.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMaf0ded53094abde95c37378ccd6c7afa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	23

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663963-1276641271/watcher-2663963-1276641271 -o /tmp/evaluation-result-2663963-1276641271/solver-2663963-1276641271 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663963-1276641271.opb -t 1800 -m 1800 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.78 1.93 1.61 3/106 14459
/proc/meminfo: memFree=1814232/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=6584 CPUtime=0
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 908 0 0 0 0 0 0 0 20 0 1 0 5421569 6742016 831 1992294400 4194304 7136930 140736725522224 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14459/statm: 1646 840 254 719 0 925 0

[startup+0.0316301 s]
/proc/loadavg: 1.78 1.93 1.61 3/106 14459
/proc/meminfo: memFree=1814232/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=9628 CPUtime=0.02
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 1886 0 0 0 2 0 0 0 20 0 1 0 5421569 9859072 1809 1992294400 4194304 7136930 140736725522224 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14459/statm: 2407 1811 271 719 0 1686 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9628

[startup+0.101636 s]
/proc/loadavg: 1.78 1.93 1.61 3/106 14459
/proc/meminfo: memFree=1814232/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=12772 CPUtime=0.09
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 2687 0 0 0 8 1 0 0 20 0 1 0 5421569 13078528 2610 1992294400 4194304 7136930 140736725522224 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14459/statm: 3193 2610 271 719 0 2472 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12772

[startup+0.301653 s]
/proc/loadavg: 1.78 1.93 1.61 3/106 14459
/proc/meminfo: memFree=1814232/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=19612 CPUtime=0.29
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 4403 0 0 0 28 1 0 0 20 0 1 0 5421569 20082688 4326 1992294400 4194304 7136930 140736725522224 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14459/statm: 4903 4326 271 719 0 4182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19612

[startup+0.701688 s]
/proc/loadavg: 1.78 1.93 1.61 3/106 14459
/proc/meminfo: memFree=1814232/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=56440 CPUtime=0.69
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 13950 0 0 0 63 6 0 0 21 0 1 0 5421569 57794560 13460 1992294400 4194304 7136930 140736725522224 18446744073709551615 4241169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 14110 13460 303 719 0 13389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56440

[startup+1.50176 s]
/proc/loadavg: 1.78 1.93 1.61 2/107 14460
/proc/meminfo: memFree=1750984/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=80784 CPUtime=1.49
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 22404 0 0 0 130 19 0 0 23 0 1 0 5421569 82722816 19212 1992294400 4194304 7136930 140736725522224 18446744073709551615 5970376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 20196 19212 362 719 0 19475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80784

[startup+3.1009 s]
/proc/loadavg: 1.78 1.93 1.61 2/107 14460
/proc/meminfo: memFree=1734988/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=86000 CPUtime=3.09
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 24774 0 0 0 287 22 0 0 25 0 1 0 5421569 88064000 20571 1992294400 4194304 7136930 140736725522224 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 21500 20571 376 719 0 20779 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86000

[startup+6.30119 s]
/proc/loadavg: 1.72 1.91 1.61 2/107 14460
/proc/meminfo: memFree=1730524/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=88056 CPUtime=6.29
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 26644 0 0 0 604 25 0 0 25 0 1 0 5421569 90169344 21103 1992294400 4194304 7136930 140736725522224 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 22014 21103 394 719 0 21293 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88056

[startup+12.7008 s]
/proc/loadavg: 1.66 1.90 1.61 2/107 14460
/proc/meminfo: memFree=1730400/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=88056 CPUtime=12.68
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 26644 0 0 0 1243 25 0 0 25 0 1 0 5421569 90169344 21103 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 22014 21103 394 719 0 21293 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88056

[startup+25.5009 s]
/proc/loadavg: 1.51 1.85 1.60 2/107 14460
/proc/meminfo: memFree=1730152/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=88572 CPUtime=25.49
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 26774 0 0 0 2522 27 0 0 25 0 1 0 5421569 90697728 21233 1992294400 4194304 7136930 140736725522224 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 22143 21233 394 719 0 21422 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88572

[startup+51.1012 s]
/proc/loadavg: 1.34 1.78 1.58 2/107 14460
/proc/meminfo: memFree=1729656/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=89096 CPUtime=51.08
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 26910 0 0 0 5077 31 0 0 25 0 1 0 5421569 91234304 21369 1992294400 4194304 7136930 140736725522224 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 22274 21369 394 719 0 21553 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89096

[startup+102.309 s]
/proc/loadavg: 1.14 1.66 1.55 2/107 14462
/proc/meminfo: memFree=1703988/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=115724 CPUtime=102.27
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 33262 0 0 0 10182 45 0 0 25 0 1 0 5421569 118501376 27721 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 28931 27721 398 719 0 28210 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 115724

[startup+162.301 s]
/proc/loadavg: 1.05 1.54 1.51 2/107 14464
/proc/meminfo: memFree=1693572/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=126404 CPUtime=162.25
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 35839 0 0 0 16162 63 0 0 25 0 1 0 5421569 129437696 30298 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 31601 30298 398 719 0 30880 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 126404

[startup+222.301 s]
/proc/loadavg: 1.02 1.44 1.47 2/107 14464
/proc/meminfo: memFree=1682164/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=138220 CPUtime=222.23
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 38687 0 0 0 22143 80 0 0 25 0 1 0 5421569 141537280 33146 1992294400 4194304 7136930 140736725522224 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 34555 33146 398 719 0 33834 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 138220

[startup+282.301 s]
/proc/loadavg: 1.00 1.35 1.44 2/107 14466
/proc/meminfo: memFree=1670508/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=151548 CPUtime=282.22
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 41726 0 0 0 28120 102 0 0 25 0 1 0 5421569 155185152 36185 1992294400 4194304 7136930 140736725522224 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 37887 36185 398 719 0 37166 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 151548

[startup+342.301 s]
/proc/loadavg: 1.00 1.29 1.41 2/107 14468
/proc/meminfo: memFree=1656372/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=166368 CPUtime=342.2
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 45140 0 0 0 34097 123 0 0 25 0 1 0 5421569 170360832 39599 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 41592 39599 398 719 0 40871 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 166368

[startup+402.301 s]
/proc/loadavg: 1.00 1.23 1.38 2/107 14470
/proc/meminfo: memFree=1642608/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=181196 CPUtime=402.19
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 48621 0 0 0 40074 145 0 0 25 0 1 0 5421569 185544704 43080 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 45299 43080 398 719 0 44578 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 181196

[startup+462.302 s]
/proc/loadavg: 1.00 1.19 1.36 2/107 14472
/proc/meminfo: memFree=1628968/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=195708 CPUtime=462.17
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 51933 0 0 0 46048 169 0 0 25 0 1 0 5421569 200404992 46392 1992294400 4194304 7136930 140736725522224 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 48927 46392 398 719 0 48206 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 195708

[startup+522.301 s]
/proc/loadavg: 1.00 1.15 1.33 2/107 14472
/proc/meminfo: memFree=1616072/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=209968 CPUtime=522.14
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 55261 0 0 0 52025 189 0 0 25 0 1 0 5421569 215007232 49720 1992294400 4194304 7136930 140736725522224 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 52492 49720 398 719 0 51771 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 209968

[startup+582.301 s]
/proc/loadavg: 1.00 1.12 1.31 2/107 14474
/proc/meminfo: memFree=1597968/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=230108 CPUtime=582.13
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 59674 0 0 0 57998 215 0 0 25 0 1 0 5421569 235630592 54133 1992294400 4194304 7136930 140736725522224 18446744073709551615 4665386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 57527 54133 398 719 0 56806 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 230108

[startup+642.302 s]
/proc/loadavg: 1.00 1.10 1.29 2/107 14476
/proc/meminfo: memFree=1581352/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=247736 CPUtime=642.13
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 63777 0 0 0 63970 243 0 0 25 0 1 0 5421569 253681664 58236 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 61934 58236 398 719 0 61213 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 247736

[startup+702.302 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.13 1.07 1.20 2/107 14486
/proc/meminfo: memFree=1472108/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=373644 CPUtime=1002.01
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 90981 0 0 0 99787 414 0 0 25 0 1 0 5421569 382611456 85440 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 93411 85440 398 719 0 92690 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 373644

[startup+1062.3 s]
/proc/loadavg: 1.12 1.07 1.19 2/107 14488
/proc/meminfo: memFree=1453012/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=393392 CPUtime=1061.98
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 95762 0 0 0 105747 451 0 0 25 0 1 0 5421569 402833408 90221 1992294400 4194304 7136930 140736725522224 18446744073709551615 5909102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 98348 90221 398 719 0 97627 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 393392

[startup+1122.3 s]
/proc/loadavg: 1.04 1.06 1.17 2/107 14488
/proc/meminfo: memFree=1434164/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=415308 CPUtime=1121.96
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 100558 0 0 0 111701 495 0 0 25 0 1 0 5421569 425275392 95017 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 103827 95017 398 719 0 103106 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 415308

[startup+1182.3 s]
/proc/loadavg: 1.01 1.04 1.16 2/107 14490
/proc/meminfo: memFree=1417052/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=434864 CPUtime=1181.95
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 104887 0 0 0 117656 539 0 0 25 0 1 0 5421569 445300736 99346 1992294400 4194304 7136930 140736725522224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 108716 99346 398 719 0 107995 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 434864

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.15 2/107 14492
/proc/meminfo: memFree=1397708/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=455500 CPUtime=1241.93
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 109490 0 0 0 123606 587 0 0 25 0 1 0 5421569 466432000 103949 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 113875 103949 398 719 0 113154 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 455500

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.14 2/107 14494
/proc/meminfo: memFree=1379480/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=475444 CPUtime=1301.91
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 113985 0 0 0 129553 638 0 0 25 0 1 0 5421569 486854656 108444 1992294400 4194304 7136930 140736725522224 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 118861 108444 398 719 0 118140 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 475444

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.13 2/107 14496
/proc/meminfo: memFree=1360136/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=497104 CPUtime=1361.89
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 118819 0 0 0 135507 682 0 0 25 0 1 0 5421569 509034496 113278 1992294400 4194304 7136930 140736725522224 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 124276 113278 398 719 0 123555 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 497104

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.11 2/107 14496
/proc/meminfo: memFree=1348108/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=509464 CPUtime=1421.87
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 121823 0 0 0 141473 714 0 0 25 0 1 0 5421569 521691136 116282 1992294400 4194304 7136930 140736725522224 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 127366 116282 398 719 0 126645 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 509464

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/107 14498
/proc/meminfo: memFree=1338188/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=521264 CPUtime=1481.85
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 124281 0 0 0 147425 760 0 0 25 0 1 0 5421569 533774336 118740 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 130316 118740 398 719 0 129595 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 521264

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 14500
/proc/meminfo: memFree=1322688/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=539236 CPUtime=1541.84
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 128304 0 0 0 153398 786 0 0 25 0 1 0 5421569 552177664 122763 1992294400 4194304 7136930 140736725522224 18446744073709551615 5922100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 134809 122763 398 719 0 134088 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 539236

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 14511
/proc/meminfo: memFree=1304708/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=558352 CPUtime=1601.8
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 132644 0 0 0 159360 820 0 0 25 0 1 0 5421569 571752448 127103 1992294400 4194304 7136930 140736725522224 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 139588 127103 398 719 0 138867 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 558352

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 14513
/proc/meminfo: memFree=1287720/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=576000 CPUtime=1661.78
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 136787 0 0 0 165328 850 0 0 25 0 1 0 5421569 589824000 131246 1992294400 4194304 7136930 140736725522224 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 144000 131246 398 719 0 143279 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 576000

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 14513
/proc/meminfo: memFree=1267260/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=598072 CPUtime=1721.76
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 141902 0 0 0 171293 883 0 0 25 0 1 0 5421569 612425728 136361 1992294400 4194304 7136930 140736725522224 18446744073709551615 5922274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 149518 136361 398 719 0 148797 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 598072

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 14515
/proc/meminfo: memFree=1248288/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=618324 CPUtime=1781.75
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 146645 0 0 0 177257 918 0 0 25 0 1 0 5421569 633163776 141104 1992294400 4194304 7136930 140736725522224 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 154581 141104 398 719 0 153860 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 618324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 14517
/proc/meminfo: memFree=1245932/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=620940 CPUtime=1800.06
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 147225 0 0 0 179078 928 0 0 25 0 1 0 5421569 635842560 141684 1992294400 4194304 7136930 140736725522224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14459/statm: 155235 141684 398 719 0 154514 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 620940

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 14517
/proc/meminfo: memFree=1245932/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=621328 CPUtime=1800.45
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 147347 0 0 0 179117 928 0 0 25 0 1 0 5421569 636239872 141806 1992294400 4194304 7136930 140736725522224 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14459/statm: 155332 141806 404 719 0 154611 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 621328

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 14517
/proc/meminfo: memFree=1245932/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=605484 CPUtime=1800.84
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 147375 0 0 0 179156 928 0 0 25 0 1 0 5421569 620015616 137861 1992294400 4194304 7136930 140736725522224 18446744073709551615 4387400 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14459/statm: 151371 137861 404 719 0 150650 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 605484

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 14517
/proc/meminfo: memFree=1245932/2059040 swapFree=4170748/4192956
[pid=14459] ppid=14457 vsize=409464 CPUtime=1800.94
/proc/14459/stat : 14459 (pbscip.linux.x8) R 14457 14459 13893 0 -1 4202496 147375 0 0 0 179164 930 0 0 25 0 1 0 5421569 419291136 93288 1992294400 4194304 7136930 140736725522224 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14459/statm: 102332 93191 404 719 0 101611 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 409464

Child status: 0
Real time (s): 1801.58
CPU time (s): 1801.03
CPU user time (s): 1791.68
CPU system time (s): 9.34958
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 621328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.68
system time used= 9.34958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 6677

runsolver used 2.98155 second user time and 8.50671 second system time

The end

Launcher Data 

Begin job on node031 at 2010-06-16 00:34:31
IDJOB=2663963
IDBENCH=25018
IDSOLVER=1167
FILE ID=node031/2663963-1276641271
PBS_JOBID= 11172382
Free space on /tmp= 62580 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663963-1276641271/watcher-2663963-1276641271 -o /tmp/evaluation-result-2663963-1276641271/solver-2663963-1276641271 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663963-1276641271.opb -t 1800 -m 1800

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=180142310

node031.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1814636 kB
Buffers:         20784 kB
Cached:         107816 kB
SwapCached:       1484 kB
Active:          78696 kB
Inactive:        89220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1814636 kB
SwapTotal:     4192956 kB
SwapFree:      4170748 kB
Dirty:            4156 kB
Writeback:           0 kB
AnonPages:       37820 kB
Mapped:          15432 kB
Slab:            54428 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181288 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node031 at 2010-06-16 01:04:34