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

OK	29

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62631 MiB free)
  memory of node 1: 64465 MiB (63909 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509480-1751529182/watcher-4509480-1751529182 -o /tmp/evaluation-result-4509480-1751529182/solver-4509480-1751529182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751529182-88314 --watchdog 3760 pbscip -f HOME/instance-4509480-1751529182.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=88362, runsolver pid=88356
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 0.57 0.97 1.64 5/268 88375
/proc/meminfo: memFree=129434972/131250000 swapFree=33010160/33010684
[pid=88362] ppid=88356 vsize=78612 memory=52208 CPUtime=0.08 cores=4,6
/proc/88362/stat : 88362 (pbscip) R 88356 88362 88303 0 -1 4194304 11262 0 0 0 6 2 0 0 20 0 1 0 68595823 80498688 13052 18446744073709551615 4235264 18693293 140732964266064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 32411648 140732964272521 140732964272620 140732964272620 140732964278222 0
/proc/88362/statm: 19653 13052 3744 3530 0 11104 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78612 KiB
Current children cumulated memory: 52208 KiB

[startup+0.205543 s]*
/proc/loadavg: 0.57 0.97 1.64 5/268 88375
/proc/meminfo: memFree=129359120/131250000 swapFree=33010160/33010684
[pid=88362] ppid=88356 vsize=90700 memory=64112 CPUtime=0.18 cores=4,6
/proc/88362/stat : 88362 (pbscip) R 88356 88362 88303 0 -1 4194304 14210 0 0 0 16 2 0 0 20 0 1 0 68595823 92876800 16028 18446744073709551615 4235264 18693293 140732964266064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 32411648 140732964272521 140732964272620 140732964272620 140732964278222 0
/proc/88362/statm: 22675 16028 3776 3530 0 14126 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 90700 KiB
Current children cumulated memory: 64112 KiB

[startup+0.305637 s]*
/proc/loadavg: 0.57 0.97 1.64 5/268 88375
/proc/meminfo: memFree=129303428/131250000 swapFree=33010160/33010684
[pid=88362] ppid=88356 vsize=129284 memory=85072 CPUtime=0.27 cores=4,6
/proc/88362/stat : 88362 (pbscip) R 88356 88362 88303 0 -1 4194304 19006 0 0 0 24 3 0 0 20 0 1 0 68595823 132386816 21268 18446744073709551615 4235264 18693293 140732964266064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 32411648 140732964272521 140732964272620 140732964272620 140732964278222 0
/proc/88362/statm: 32321 21268 3808 3530 0 23772 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 129284 KiB
Current children cumulated memory: 85072 KiB

[startup+0.70018 s]
/proc/loadavg: 0.57 0.97 1.64 5/268 88375
/proc/meminfo: memFree=129253784/131250000 swapFree=33010160/33010684
[pid=88362] ppid=88356 vsize=136416 memory=93136 CPUtime=0.65 cores=4,6
/proc/88362/stat : 88362 (pbscip) R 88356 88362 88303 0 -1 4194304 21018 0 0 0 61 4 0 0 20 0 1 0 68595823 139689984 23284 18446744073709551615 4235264 18693293 140732964266064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 32411648 140732964272521 140732964272620 140732964272620 140732964278222 0
/proc/88362/statm: 34104 23284 3808 3530 0 25555 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 136416 KiB
Current children cumulated memory: 93136 KiB

[startup+1.47606 s]
# the end of solver process 88362 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1.33829 s, system=0.084385 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.800232 s]
/proc/loadavg: 0.57 0.97 1.64 5/268 88375
/proc/meminfo: memFree=129253784/131250000 swapFree=33010160/33010684
[pid=88362] ppid=88356 vsize=137432 memory=94288 CPUtime=0.75 cores=4,6
/proc/88362/stat : 88362 (pbscip) R 88356 88362 88303 0 -1 4194304 21293 0 0 0 71 4 0 0 20 0 1 0 68595823 140730368 23572 18446744073709551615 4235264 18693293 140732964266064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 32411648 140732964272521 140732964272620 140732964272620 140732964278222 0
/proc/88362/statm: 34358 23572 3808 3530 0 25809 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 137432 KiB
Current children cumulated memory: 94288 KiB

[startup+1.20016 s]
/proc/loadavg: 0.57 0.97 1.64 5/264 88383
/proc/meminfo: memFree=129230396/131250000 swapFree=33010160/33010684
[pid=88362] ppid=88356 vsize=216388 memory=166044 CPUtime=1.14 cores=4,6
/proc/88362/stat : 88362 (pbscip) R 88356 88362 88303 0 -1 4194304 39465 0 0 0 107 7 0 0 20 0 1 0 68595823 221581312 41511 18446744073709551615 4235264 18693293 140732964266064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 32411648 140732964272521 140732964272620 140732964272620 140732964278222 0
/proc/88362/statm: 54097 41511 3808 3530 0 45548 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 216388 KiB
Current children cumulated memory: 166044 KiB

[startup+1.40017 s]
/proc/loadavg: 0.57 0.97 1.64 5/264 88383
/proc/meminfo: memFree=129230396/131250000 swapFree=33010160/33010684
[pid=88362] ppid=88356 vsize=242192 memory=190876 CPUtime=1.33 cores=4,6
/proc/88362/stat : 88362 (pbscip) R 88356 88362 88303 0 -1 4194304 45565 0 0 0 126 7 0 0 20 0 1 0 68595823 248004608 47719 18446744073709551615 4235264 18693293 140732964266064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 32411648 140732964272521 140732964272620 140732964272620 140732964278222 0
/proc/88362/statm: 60548 47719 3968 3530 0 51999 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 242192 KiB
Current children cumulated memory: 190876 KiB

Child status: 0

Real time (s): 1.4761
CPU time (s): 1.42268
CPU user time (s): 1.33829
CPU system time (s): 0.084385
CPU usage (%): 96.3809
Max. virtual memory (cumulated for all children) (KiB): 242192
Max. memory (cumulated for all children) (KiB): 190876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.33829
system time used= 0.084385
maximum resident set size= 191004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45608
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= 112
involuntary context switches= 27


# summary of solver processes directly reported to runsolver:
#   pid: 88362
#   total CPU time (s): 1.42268
#   total CPU user time (s): 1.33829
#   total CPU system time (s): 0.084385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013169 second user time and 0.038106 second system time

The end

Begin job on nodeC016 at 2025-07-03 09:53:02
IDJOB=4509480
IDBENCH=158620
IDSOLVER=3365
FILE ID=nodeC016/4509480-1751529182
RUNJOBID= nodeC016-1751529182-88314
SLURM_JOB_ID= 9598668
Free space on /tmp= 432896 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509480-1751529182/watcher-4509480-1751529182 -o /tmp/evaluation-result-4509480-1751529182/solver-4509480-1751529182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751529182-88314 --watchdog 3760  pbscip -f HOME/instance-4509480-1751529182.opb -t 3600 -j 2 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 152bb06216511240edab5f108e287529
RANDOM SEED=42648045

nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.739
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.909
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.107
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.770
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.600
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.264
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.734
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.705
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129580180 kB
MemAvailable:   129719032 kB
Buffers:            2144 kB
Cached:           907184 kB
SwapCached:           28 kB
Active:           692508 kB
Inactive:         287712 kB
Active(anon):      83356 kB
Inactive(anon):     5288 kB
Active(file):     609152 kB
Inactive(file):   282424 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             75436 kB
Writeback:             8 kB
AnonPages:         73644 kB
Mapped:           104028 kB
Shmem:             18044 kB
KReclaimable:     173028 kB
Slab:             265132 kB
SReclaimable:     173028 kB
SUnreclaim:        92104 kB
KernelStack:        4080 kB
PageTables:         2804 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     334124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432820 MiB
End job on nodeC016 at 2025-07-03 09:53:04