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