Trace number 3741556

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT15 1795.22 1795.52

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-544324.opb
MD5SUM02fa27f3dafb4f59cf08d669298a5bbe
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark465.377
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10080
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)732
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint168
Maximum length of a constraint3680
Number of terms in the objective function 10080
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 10080
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 10080
Number of bits of the biggest sum of numbers14
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

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

Verifier Data

OK	15

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741556-1338773205/watcher-3741556-1338773205 -o /tmp/evaluation-result-3741556-1338773205/solver-3741556-1338773205 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741556-1338773205.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.05 2.01 3/179 23489
/proc/meminfo: memFree=28533496/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=8180 CPUtime=0 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 1188 0 0 0 0 0 0 0 20 0 1 0 343445330 8376320 1141 33554432000 4194304 7823515 140736560462288 140734451410072 4402248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 2045 1153 335 887 0 1155 0

[startup+0.0146139 s]
/proc/loadavg: 2.01 2.05 2.01 3/179 23489
/proc/meminfo: memFree=28533496/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=13148 CPUtime=0 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 2599 0 0 0 0 0 0 0 20 0 1 0 343445330 13463552 2553 33554432000 4194304 7823515 140736560462288 140734451410072 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 3287 2575 349 887 0 2397 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13148

[startup+0.100267 s]
/proc/loadavg: 2.01 2.05 2.01 3/179 23489
/proc/meminfo: memFree=28533496/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=19112 CPUtime=0.09 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 3978 0 0 0 9 0 0 0 20 0 1 0 343445330 19570688 3927 33554432000 4194304 7823515 140736560462288 140734451410072 6890711 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 4778 3927 354 887 0 3888 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19112

[startup+0.300207 s]
/proc/loadavg: 2.01 2.05 2.01 3/179 23489
/proc/meminfo: memFree=28533496/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=26224 CPUtime=0.29 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 5191 0 0 0 29 0 0 0 20 0 1 0 343445330 26853376 5140 33554432000 4194304 7823515 140736560462288 140734451410072 6804379 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 6556 5140 354 887 0 5666 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26224

[startup+0.700206 s]
/proc/loadavg: 2.01 2.05 2.01 3/179 23489
/proc/meminfo: memFree=28533496/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=37376 CPUtime=0.69 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 7494 0 0 0 68 1 0 0 20 0 1 0 343445330 38273024 7443 33554432000 4194304 7823515 140736560462288 140736560328392 5537911 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 9344 7443 354 887 0 8454 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37376

[startup+1.50029 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 23490
/proc/meminfo: memFree=28497860/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=168516 CPUtime=1.49 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 35864 0 0 0 144 5 0 0 20 0 1 0 343445330 172560384 35459 33554432000 4194304 7823515 140736560462288 140736560459496 6908062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 42385 35459 375 887 0 41495 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 168516

[startup+3.10028 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 23490
/proc/meminfo: memFree=28292392/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=265244 CPUtime=3.09 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 61228 0 0 0 300 9 0 0 20 0 1 0 343445330 271609856 60757 33554432000 4194304 7823515 140736560462288 140736560458968 4243078 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 66311 60757 443 887 0 65421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 265244

[startup+6.30031 s]
/proc/loadavg: 2.01 2.05 2.00 3/180 23490
/proc/meminfo: memFree=28290780/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=265244 CPUtime=6.29 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 61228 0 0 0 620 9 0 0 20 0 1 0 343445330 271609856 60757 33554432000 4194304 7823515 140736560462288 140736560458968 5063006 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 66311 60757 443 887 0 65421 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 265244

[startup+12.7002 s]
/proc/loadavg: 2.01 2.05 2.00 3/180 23490
/proc/meminfo: memFree=28260240/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=392488 CPUtime=12.69 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 89997 0 0 0 1253 16 0 0 20 0 1 0 343445330 401907712 89014 33554432000 4194304 7823515 140736560462288 140736560458552 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 98122 89014 563 887 0 97232 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 392488

[startup+25.5002 s]
/proc/loadavg: 2.09 2.06 2.01 3/180 23490
/proc/meminfo: memFree=28242940/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=322116 CPUtime=25.48 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 90005 0 0 0 2526 22 0 0 20 0 1 0 343445330 329846784 72713 33554432000 4194304 7823515 140736560462288 140736560457448 6180642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 80529 72713 569 887 0 79639 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 322116

[startup+51.1003 s]
/proc/loadavg: 2.06 2.05 2.01 3/180 23490
/proc/meminfo: memFree=28242164/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=322116 CPUtime=51.08 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 90008 0 0 0 5079 29 0 0 20 0 1 0 343445330 329846784 72895 33554432000 4194304 7823515 140736560462288 140736560457336 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 80529 72895 569 887 0 79639 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 322116

[startup+102.307 s]
/proc/loadavg: 2.08 2.06 2.01 3/180 23490
/proc/meminfo: memFree=28236876/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=322116 CPUtime=102.27 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 90018 0 0 0 10188 39 0 0 20 0 1 0 343445330 329846784 74136 33554432000 4194304 7823515 140736560462288 140736560457448 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 80529 74136 569 887 0 79639 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 322116

[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/180 23692
/proc/meminfo: memFree=28235424/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=322116 CPUtime=162.24 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 90044 0 0 0 16174 50 0 0 20 0 1 0 343445330 329846784 74525 33554432000 4194304 7823515 140736560462288 140736560458280 5067096 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 80529 74525 571 887 0 79639 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 322116

[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/180 23694
/proc/meminfo: memFree=28218348/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=322116 CPUtime=222.23 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 90166 0 0 0 22165 58 0 0 20 0 1 0 343445330 329846784 78679 33554432000 4194304 7823515 140736560462288 140736560458504 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 80529 78679 576 887 0 79639 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 322116

[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 23695
/proc/meminfo: memFree=28212712/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=327452 CPUtime=282.23 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 91400 0 0 0 28156 67 0 0 20 0 1 0 343445330 335310848 79899 33554432000 4194304 7823515 140736560462288 140736560457448 6180650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 81863 79899 576 887 0 80973 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 327452

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 23695
/proc/meminfo: memFree=28205520/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=334464 CPUtime=342.21 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 93175 0 0 0 34147 74 0 0 20 0 1 0 343445330 342491136 81674 33554432000 4194304 7823515 140736560462288 140736560458088 5062996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 83616 81674 576 887 0 82726 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 334464

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 23695
/proc/meminfo: memFree=28200620/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=339228 CPUtime=402.21 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 94351 0 0 0 40140 81 0 0 20 0 1 0 343445330 347369472 82846 33554432000 4194304 7823515 140736560462288 140736560459320 6180616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 84807 82846 576 887 0 83917 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 339228

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 23695
/proc/meminfo: memFree=28196396/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=343256 CPUtime=462.2 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 95318 0 0 0 46131 89 0 0 20 0 1 0 343445330 351494144 83871 33554432000 4194304 7823515 140736560462288 140736560457448 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 85814 83871 576 887 0 84924 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 343256

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 23697
/proc/meminfo: memFree=28191356/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=347636 CPUtime=522.19 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 96287 0 0 0 52124 95 0 0 20 0 1 0 343445330 355979264 84839 33554432000 4194304 7823515 140736560462288 140736560459320 5061633 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 86909 84839 576 887 0 86019 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 347636

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23698
/proc/meminfo: memFree=28186280/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=352084 CPUtime=582.18 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 97316 0 0 0 58115 103 0 0 20 0 1 0 343445330 360534016 85868 33554432000 4194304 7823515 140736560462288 140736560459320 6180616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 88021 85868 576 887 0 87131 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 352084

[startup+642.3 s]

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

/proc/meminfo: memFree=28151216/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=380712 CPUtime=1062.11 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 103890 0 0 0 106042 169 0 0 20 0 1 0 343445330 389849088 93131 33554432000 4194304 7823515 140736560462288 140736560459320 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 95178 93131 576 887 0 94288 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 380712

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 23702
/proc/meminfo: memFree=28150348/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=380712 CPUtime=1122.1 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 103890 0 0 0 112035 175 0 0 20 0 1 0 343445330 389849088 93131 33554432000 4194304 7823515 140736560462288 140736560458088 5020805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 95178 93131 576 887 0 94288 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 380712

[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 23703
/proc/meminfo: memFree=28147856/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=381932 CPUtime=1182.09 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 104168 0 0 0 118026 183 0 0 20 0 1 0 343445330 391098368 93572 33554432000 4194304 7823515 140736560462288 140736560459320 5062996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 95483 93572 576 887 0 94593 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 381932

[startup+1242.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/179 23703
/proc/meminfo: memFree=28145496/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=383912 CPUtime=1242.08 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 104634 0 0 0 124017 191 0 0 20 0 1 0 343445330 393125888 94038 33554432000 4194304 7823515 140736560462288 140736560458504 6234862 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 95978 94038 576 887 0 95088 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 383912

[startup+1302.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/179 23703
/proc/meminfo: memFree=28143140/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=385340 CPUtime=1302.07 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 104989 0 0 0 130008 199 0 0 20 0 1 0 343445330 394588160 94392 33554432000 4194304 7823515 140736560462288 140736560459320 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 96335 94392 576 887 0 95445 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 385340

[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 23703
/proc/meminfo: memFree=28141404/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=387252 CPUtime=1362.06 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 105441 0 0 0 135997 209 0 0 20 0 1 0 343445330 396546048 94842 33554432000 4194304 7823515 140736560462288 140736560459320 6180642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 96813 94842 576 887 0 95923 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 387252

[startup+1422.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/180 23706
/proc/meminfo: memFree=28138668/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=389600 CPUtime=1422.05 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 106035 0 0 0 141989 216 0 0 20 0 1 0 343445330 398950400 95434 33554432000 4194304 7823515 140736560462288 140736560457976 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 97400 95434 576 887 0 96510 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 389600

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 23745
/proc/meminfo: memFree=28157420/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=391468 CPUtime=1482.04 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 106501 0 0 0 147980 224 0 0 20 0 1 0 343445330 400863232 95982 33554432000 4194304 7823515 140736560462288 140736560458088 5063078 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 97867 95982 576 887 0 96977 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 391468

[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 23745
/proc/meminfo: memFree=28153356/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=393116 CPUtime=1542.03 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 106938 0 0 0 153972 231 0 0 20 0 1 0 343445330 402550784 96419 33554432000 4194304 7823515 140736560462288 140736560459320 5062996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 98279 96419 576 887 0 97389 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 393116

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 23745
/proc/meminfo: memFree=28151496/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=395004 CPUtime=1602.02 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 107411 0 0 0 159962 240 0 0 20 0 1 0 343445330 404484096 96892 33554432000 4194304 7823515 140736560462288 140736560459320 5061704 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 98751 96892 576 887 0 97861 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 395004

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 23745
/proc/meminfo: memFree=28148520/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=397648 CPUtime=1662.02 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 108034 0 0 0 165954 248 0 0 20 0 1 0 343445330 407191552 97512 33554432000 4194304 7823515 140736560462288 140736560459048 6180632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 99412 97512 576 887 0 98522 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 397648

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 23745
/proc/meminfo: memFree=28142436/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=399620 CPUtime=1722 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 108505 0 0 0 171943 257 0 0 20 0 1 0 343445330 409210880 97981 33554432000 4194304 7823515 140736560462288 140736560459320 5061652 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 99905 97981 576 887 0 99015 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 399620

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23746
/proc/meminfo: memFree=28139580/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=402808 CPUtime=1781.99 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 109215 0 0 0 177934 265 0 0 20 0 1 0 343445330 412475392 98691 33554432000 4194304 7823515 140736560462288 140736560458088 5061183 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 100702 98691 576 887 0 99812 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 402808

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23746
/proc/meminfo: memFree=28139580/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=402808 CPUtime=1785.2 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 109215 0 0 0 178254 266 0 0 20 0 1 0 343445330 412475392 98691 33554432000 4194304 7823515 140736560462288 140736560457624 6161828 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 100702 98691 576 887 0 99812 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 402808

[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23746
/proc/meminfo: memFree=28139580/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=402808 CPUtime=1791.59 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 109217 0 0 0 178893 266 0 0 20 0 1 0 343445330 412475392 98693 33554432000 4194304 7823515 140736560462288 140736560458088 5062799 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 100702 98693 576 887 0 99812 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 402808

[startup+1793.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23746
/proc/meminfo: memFree=28139580/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=402948 CPUtime=1793.19 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 109237 0 0 0 179053 266 0 0 20 0 1 0 343445330 412618752 98713 33554432000 4194304 7823515 140736560462288 140736560458088 5063036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 100737 98713 576 887 0 99847 0
Current children cumulated CPU time (s) 1793.19
Current children cumulated vsize (KiB) 402948

[startup+1794.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23746
/proc/meminfo: memFree=28139456/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=402948 CPUtime=1793.99 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 109237 0 0 0 179132 267 0 0 20 0 1 0 343445330 412618752 98713 33554432000 4194304 7823515 140736560462288 140736560458088 5028884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 100737 98713 576 887 0 99847 0
Current children cumulated CPU time (s) 1793.99
Current children cumulated vsize (KiB) 402948

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23746
/proc/meminfo: memFree=28139456/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=402948 CPUtime=1794.8 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 109237 0 0 0 179213 267 0 0 20 0 1 0 343445330 412618752 98713 33554432000 4194304 7823515 140736560462288 140736560459320 5061554 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 100737 98713 576 887 0 99847 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 402948

[startup+1795.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23746
/proc/meminfo: memFree=28139456/32873844 swapFree=7380/7380
[pid=23489] ppid=23487 vsize=403080 CPUtime=1795.19 cores=1,3,5,7
/proc/23489/stat : 23489 (pbscip.linux.x8) R 23487 23489 21332 0 -1 4202496 109263 0 0 0 179252 267 0 0 20 0 1 0 343445330 412753920 98739 33554432000 4194304 7823515 140736560462288 140736560457800 5875083 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23489/statm: 100770 98739 578 887 0 99880 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 403080

Child status: 0
Real time (s): 1795.52
CPU time (s): 1795.22
CPU user time (s): 1792.54
CPU system time (s): 2.67759
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 403080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.54
system time used= 2.67759
maximum resident set size= 394956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109266
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= 45
involuntary context switches= 1842

runsolver used 3.98439 second user time and 9.07362 second system time

The end

Launcher Data

Begin job on node133 at 2012-06-04 03:26:45
IDJOB=3741556
IDBENCH=89877
IDSOLVER=2321
FILE ID=node133/3741556-1338773205
RUNJOBID= node133-1338747083-21349
PBS_JOBID= 14636776
Free space on /tmp= 70460 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741556-1338773205/watcher-3741556-1338773205 -o /tmp/evaluation-result-3741556-1338773205/solver-3741556-1338773205 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741556-1338773205.opb

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

MD5SUM BENCH= 02fa27f3dafb4f59cf08d669298a5bbe
RANDOM SEED=1752228469

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28533496 kB
Buffers:          496256 kB
Cached:          2875660 kB
SwapCached:          676 kB
Active:          1608264 kB
Inactive:        1831628 kB
Active(anon):      58948 kB
Inactive(anon):    10220 kB
Active(file):    1549316 kB
Inactive(file):  1821408 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             24888 kB
Writeback:             0 kB
AnonPages:         73336 kB
Mapped:            12820 kB
Shmem:                 0 kB
Slab:             760360 kB
SReclaimable:     202148 kB
SUnreclaim:       558212 kB
KernelStack:        1488 kB
PageTables:         4292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     182608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70452 MiB
End job on node133 at 2012-06-04 03:56:41