0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0 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.00/0.08 c Default LC presolving (default).
0.00/0.08 c ** Before presolving: virtualMemUsedAtLc = 45510656, getVmSize() = 45510656, SCIPgetMemUsed() = 20716548, SCIPgetMemTotal() = 23401580, SCIPgetMemExternEstim() = 10367449
0.00/0.08 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.42/0.45 c ** Estimated virtualMemUsedAtSolver = 39259390, getVmSize() = 72237056, SCIPgetMemUsed() = 29914397, SCIPgetMemTotal() = 48521637, SCIPgetMemExternEstim() = 10367449
0.42/0.45 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.42/0.45 c Original Problem :
0.42/0.45 c Problem name : instance-4463924-1722378594
0.42/0.45 c Variables : 6402 (6402 binary, 0 integer, 0 implicit integer, 0 continuous)
0.42/0.45 c Constraints : 4465
0.42/0.45 c Objective sense : minimize
0.42/0.45 c Presolved Problem :
0.42/0.45 c Variables : 3496 (3496 binary, 0 integer, 0 implicit integer, 0 continuous)
0.42/0.45 c Constraints : 3545
0.42/0.45 c Constraints : Number
0.42/0.45 c knapsack : 71
0.42/0.45 c setppc : 2135
0.42/0.45 c linear : 23
0.42/0.45 c logicor : 1316
0.42/0.45 c ** Instance transfer method used: 0
0.42/0.47 c ** ParaScipInstance copy does not increase the number of variables. **
0.42/0.50 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.42/0.50 c Nodes Active
0.42/0.50 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.97/1.01 c * 1 0 1 1 77676302.0000 - -
0.97/1.01 c * 1 0 1 1 41310910.0000 - -
9.23/9.33 c 9 2 1 1 41310910.0000 29132525.4179 41.80%
23.10/23.21 c 23 6 5 1 41310910.0000 29132525.4179 41.80%
32.88/33.08 c 33 88 81 1 41310910.0000 29138501.7339 41.77%
34.47/34.63 c * 35 101 96 1 35169672.0000 29138634.0103 20.70%
34.47/34.64 c * 35 101 96 1 35006221.0000 29138634.0103 20.14%
38.56/38.79 c 39 158 143 1 35006221.0000 29138634.0103 20.14%
44.04/44.27 c 44 222 205 1 35006221.0000 29139024.3299 20.14%
49.73/50.01 c 50 285 266 1 35006221.0000 29139024.3299 20.14%
51.93/52.16 c * 52 302 285 1 34925187.0000 29139024.3299 19.86%
55.82/56.06 c 56 380 361 1 34925187.0000 29139077.1933 19.86%
61.29/61.52 c 62 452 429 1 34925187.0000 29140410.4188 19.85%
66.68/67.01 c 67 497 474 1 34925187.0000 29140641.0199 19.85%
71.78/72.05 c 72 528 505 1 34925187.0000 29140641.0199 19.85%
77.25/77.58 c 78 573 550 1 34925187.0000 29140641.0199 19.85%
80.75/81.05 c * 81 590 567 1 34842770.0000 29140641.0199 19.57%
82.34/82.67 c 83 610 585 1 34842770.0000 29140641.0199 19.57%
87.93/88.21 c 88 661 628 1 34842770.0000 29141531.6692 19.56%
93.72/94.09 c 94 705 672 1 34842770.0000 29145954.0863 19.55%
98.90/99.22 c 99 741 708 1 34842770.0000 29146764.4713 19.54%
104.89/105.22 c 105 788 753 1 34842770.0000 29146764.4713 19.54%
110.57/110.95 c 111 831 792 1 34842770.0000 29146880.4800 19.54%
116.45/116.85 c 117 877 838 1 34842770.0000 29146880.4800 19.54%
122.53/122.97 c 123 931 892 1 34842770.0000 29146900.1331 19.54%
128.73/129.11 c 129 980 939 1 34842770.0000 29147111.9843 19.54%
134.20/134.61 c 135 1033 992 1 34842770.0000 29147111.9843 19.54%
140.08/140.59 c 141 1100 1059 1 34842770.0000 29147982.6122 19.54%
145.68/146.13 c 146 1158 1111 1 34842770.0000 29147982.6122 19.54%
151.24/151.78 c 152 1221 1174 1 34842770.0000 29147982.6122 19.54%
156.93/157.45 c 157 1287 1238 1 34842770.0000 29148230.7296 19.54%
162.81/163.32 c 163 1358 1309 1 34842770.0000 29150176.0314 19.53%
168.69/169.25 c 169 1432 1383 1 34842770.0000 29158801.0177 19.49%
174.48/175.10 c 175 1522 1471 1 34842770.0000 29159967.3817 19.49%
180.35/180.93 c 181 1632 1579 1 34842770.0000 29161239.7037 19.48%
185.83/186.47 c 186 1852 1799 1 34842770.0000 29161239.7037 19.48%
191.82/192.48 c 192 2077 2020 1 34842770.0000 29161503.6910 19.48%
197.20/197.90 c 198 2411 2352 1 34842770.0000 29161503.6910 19.48%
202.28/202.98 c 203 2788 2719 1 34842770.0000 29161503.6910 19.48%
207.77/208.45 c 208 3122 3029 1 34842770.0000 29164432.1488 19.47%
214.54/215.27 c 215 3166 1 1 34842770.0000 29164432.1488 19.47%
220.02/220.70 c 221 3190 25 1 34842770.0000 29164432.1488 19.47%
225.62/226.39 c 226 3253 88 1 34842770.0000 29164432.1488 19.47%
231.00/231.76 c 232 3348 183 1 34842770.0000 29164432.1488 19.47%
236.18/236.94 c 237 3472 307 1 34842770.0000 29164432.1488 19.47%
241.28/242.05 c 242 3786 617 1 34842770.0000 29164432.1488 19.47%
246.45/247.24 c 247 4084 895 1 34842770.0000 29164432.1488 19.47%
251.64/252.40 c 252 4374 1165 1 34842770.0000 29164432.1488 19.47%
257.42/258.29 c 258 4670 1447 1 34842770.0000 29164432.1488 19.47%
263.00/263.85 c 264 4995 1745 1 34842770.0000 29164432.1488 19.47%
268.30/269.13 c 269 5243 1977 1 34842770.0000 29164432.1488 19.47%
273.67/274.52 c 275 5403 2121 1 34842770.0000 29164432.1488 19.47%
279.06/279.98 c 280 5691 2371 1 34842770.0000 29164432.1488 19.47%
284.54/285.48 c 285 5977 2631 1 34842770.0000 29164432.1488 19.47%
290.13/291.09 c 291 6350 2980 1 34842770.0000 29164432.1488 19.47%
295.52/296.45 c 296 6556 3150 1 34842770.0000 29164432.1488 19.47%
301.00/301.94 c 302 6827 3395 1 34842770.0000 29164432.1488 19.47%
306.09/307.09 c 307 7056 3608 1 34842770.0000 29164432.1488 19.47%
312.17/313.16 c 313 7347 3891 1 34842770.0000 29164432.1488 19.47%
317.26/318.26 c 318 7653 4183 1 34842770.0000 29164432.1488 19.47%
322.54/323.57 c 324 7881 4375 1 34842770.0000 29164432.1488 19.47%
327.92/328.98 c 329 8207 4681 1 34842770.0000 29164432.1488 19.47%
333.21/334.26 c 334 8288 4744 1 34842770.0000 29164432.1488 19.47%
338.30/339.40 c 339 8468 4887 1 34842770.0000 29164432.1488 19.47%
343.38/344.47 c 344 8625 5032 1 34842770.0000 29164432.1488 19.47%
348.76/349.84 c 350 8839 5236 1 34842770.0000 29164432.1488 19.47%
354.56/355.66 c 356 9043 5425 1 34842770.0000 29164432.1488 19.47%
360.06/361.15 c 361 9283 5627 1 34842770.0000 29164432.1488 19.47%
365.32/366.45 c 366 9535 5879 1 34842770.0000 29164432.1488 19.47%
370.92/372.04 c 372 9699 6035 1 34842770.0000 29164432.1488 19.47%
376.30/377.48 c 377 9997 6329 1 34842770.0000 29164432.1488 19.47%
381.49/382.64 c 383 10152 6476 1 34842770.0000 29164432.1488 19.47%
386.77/387.94 c 388 10394 6707 1 34842770.0000 29164432.1488 19.47%
391.86/393.09 c 393 10663 6972 1 34842770.0000 29164432.1488 19.47%
397.04/398.21 c 398 11038 7333 1 34842770.0000 29164432.1488 19.47%
402.43/403.65 c 404 11311 7592 1 34842770.0000 29164432.1488 19.47%
407.61/408.80 c 409 11664 7929 1 34842770.0000 29164432.1488 19.47%
412.99/414.24 c 414 11941 8196 1 34842770.0000 29164432.1488 19.47%
418.08/419.35 c 419 12289 8536 1 34842770.0000 29164432.1488 19.47%
423.27/424.54 c 425 12548 8763 1 34842770.0000 29164432.1488 19.47%
428.65/430.00 c 430 12849 9047 1 34842770.0000 29164432.1488 19.47%
433.85/435.12 c 435 13288 9384 1 34842770.0000 29164432.1488 19.47%
437.84/439.18 c * 439 13457 9501 1 30787929.0000 29164432.1488 5.57%
439.33/440.66 c 441 13580 4007 1 30787929.0000 29164432.1488 5.57%
445.50/446.85 c 447 14126 4339 1 30787929.0000 29164432.1488 5.57%
450.71/452.02 c 452 14595 4610 1 30787929.0000 29164432.1488 5.57%
452.80/454.18 c * 454 14737 4683 1 30301546.0000 29164432.1488 3.90%
455.98/457.39 c 457 15390 2596 1 30301546.0000 29164432.1488 3.90%
461.86/463.20 c 463 16267 3113 1 30301546.0000 29164432.1488 3.90%
465.85/467.21 c * 467 16771 3398 1 30300867.0000 29164432.1488 3.90%
466.85/468.27 c 468 17041 3550 1 30300867.0000 29164432.1488 3.90%
472.23/473.69 c 474 17471 3793 1 30300867.0000 29164432.1488 3.90%
477.92/479.32 c 479 17978 3998 1 30300867.0000 29164584.6632 3.90%
482.90/484.39 c 484 18415 4131 1 30300867.0000 29164633.7481 3.90%
488.29/489.77 c 490 18796 4240 1 30300867.0000 29166170.7719 3.89%
493.87/495.31 c 495 19249 4369 1 30300867.0000 29166170.7719 3.89%
498.96/500.41 c 500 19699 4483 1 30300867.0000 29167132.3177 3.89%
504.34/505.80 c 506 20096 4586 1 30300867.0000 29168354.4223 3.88%
510.33/511.84 c 512 20748 4772 1 30300867.0000 29168555.3998 3.88%
515.71/517.28 c 517 21183 4893 1 30300867.0000 29169107.2438 3.88%
521.10/522.66 c 523 21720 5040 1 30300867.0000 29170537.0724 3.87%
526.19/527.72 c 528 22446 5362 1 30300867.0000 29170537.0724 3.87%
531.27/532.80 c 533 22999 5623 1 30300867.0000 29170537.0724 3.87%
536.65/538.29 c 538 23560 5864 1 30300867.0000 29170921.0873 3.87%
541.74/543.38 c 543 24223 6258 1 30300867.0000 29170921.0873 3.87%
546.83/548.49 c 548 24904 5539 1 30300867.0000 29170921.0873 3.87%
551.91/553.58 c 554 25153 5661 1 30300867.0000 29172615.3656 3.87%
557.40/559.05 c 559 25896 6238 1 30300867.0000 29172968.0059 3.87%
562.78/564.49 c 564 26786 6921 1 30300867.0000 29174249.4820 3.86%
568.76/570.46 c 570 27462 7495 1 30300867.0000 29174297.8849 3.86%
574.04/575.73 c 576 27893 7828 1 30300867.0000 29175242.5271 3.86%
580.02/581.70 c 582 28341 8122 1 30300867.0000 29176360.6463 3.85%
585.80/587.51 c 588 28663 8368 1 30300867.0000 29176360.6463 3.85%
590.89/592.66 c 593 29036 8633 1 30300867.0000 29176871.8159 3.85%
596.88/598.68 c 599 29616 9084 1 30300867.0000 29180482.5726 3.84%
602.76/604.58 c 605 29892 9264 1 30300867.0000 29182000.9540 3.83%
608.15/609.90 c 610 30246 9482 1 30300867.0000 29186553.2873 3.82%
613.72/615.52 c 616 30655 9761 1 30300867.0000 29189972.8303 3.81%
618.81/620.64 c 621 31063 10057 1 30300867.0000 29194841.2516 3.79%
624.59/626.47 c 626 31525 10337 1 30300867.0000 29218409.7812 3.70%
630.08/631.93 c 632 31898 10600 1 30300867.0000 29566152.4985 2.48%
635.66/637.59 c 638 32280 10880 1 30300867.0000 29566152.4985 2.48%
641.44/643.35 c 643 32526 11024 1 30300867.0000 29614984.2868 2.32%
647.52/649.43 c 649 32880 11232 1 30300867.0000 30011001.2302 0.97%
652.51/654.48 c 654 33196 11438 1 30300867.0000 30015322.6361 0.95%
657.70/659.65 c 660 33508 11646 1 30300867.0000 30015322.6361 0.95%
663.28/665.26 c 665 33842 11860 1 30300867.0000 30016144.0111 0.95%
668.86/670.87 c 671 34166 12098 1 30300867.0000 30017839.2954 0.94%
674.16/676.19 c 676 34507 12349 1 30300867.0000 30017839.2954 0.94%
680.04/682.04 c 682 35045 12785 1 30300867.0000 30018500.6618 0.94%
686.03/688.08 c 688 35436 13040 1 30300867.0000 30020035.4980 0.94%
691.20/693.22 c 693 35789 13305 1 30300867.0000 30020587.7703 0.93%
696.68/698.70 c 699 36209 13611 1 30300867.0000 30020670.2496 0.93%
701.67/703.74 c 704 36616 13944 1 30300867.0000 30022390.5105 0.93%
707.46/709.57 c 710 36993 14199 1 30300867.0000 30024535.3828 0.92%
712.95/715.06 c 715 37274 14348 1 30300867.0000 30026827.2811 0.91%
718.53/720.61 c 721 37570 14502 1 30300867.0000 30026827.2811 0.91%
724.10/726.26 c 726 37944 14730 1 30300867.0000 30027436.2473 0.91%
729.29/731.49 c 731 38314 14922 1 30300867.0000 30027590.1189 0.91%
735.07/737.26 c 737 38759 15231 1 30300867.0000 30028831.4059 0.91%
740.25/742.44 c 742 39208 15552 1 30300867.0000 30028831.4059 0.91%
746.15/748.35 c 748 39511 15751 1 30300867.0000 30029261.0304 0.90%
751.93/754.16 c 754 39973 16045 1 30300867.0000 30029279.9806 0.90%
757.11/759.31 c 759 40355 16291 1 30300867.0000 30029279.9806 0.90%
762.20/764.44 c 764 40922 16716 1 30300867.0000 30029279.9806 0.90%
768.18/770.43 c 770 41610 17296 1 30300867.0000 30029287.8811 0.90%
774.16/776.46 c 776 42288 17888 1 30300867.0000 30029347.6943 0.90%
779.54/781.80 c 782 42827 18337 1 30300867.0000 30030075.7700 0.90%
785.13/787.44 c 787 43555 18989 1 30300867.0000 30030136.2095 0.90%
790.52/792.89 c 793 44128 19478 1 30300867.0000 30030136.2095 0.90%
796.30/798.68 c 799 44631 19886 1 30300867.0000 30030397.7345 0.90%
801.79/804.17 c 804 45038 20183 1 30300867.0000 30030455.8200 0.90%
807.27/809.69 c 810 45476 20547 1 30300867.0000 30030511.4319 0.90%
813.15/815.52 c 816 45935 20888 1 30300867.0000 30030726.4316 0.90%
818.24/820.66 c 821 46372 21281 1 30300867.0000 30030753.0324 0.90%
824.51/826.92 c 827 47011 21881 1 30300867.0000 30030824.7426 0.90%
829.80/832.27 c 832 47400 22166 1 30300867.0000 30030847.1700 0.90%
835.19/837.66 c 838 47826 22524 1 30300867.0000 30031075.2484 0.90%
841.17/843.65 c 844 48185 22791 1 30300867.0000 30031238.5446 0.90%
846.66/849.12 c 849 48641 23127 1 30300867.0000 30031545.7449 0.90%
851.73/854.26 c 854 49191 23619 1 30300867.0000 30031545.7449 0.90%
857.63/860.18 c 860 49655 23983 1 30300867.0000 30031576.7406 0.90%
863.51/866.10 c 866 50237 24457 1 30300867.0000 30031628.5900 0.90%
868.69/871.21 c 871 50693 24797 1 30300867.0000 30031628.5900 0.90%
874.17/876.71 c 877 51162 25208 1 30300867.0000 30031655.8768 0.90%
879.15/881.80 c 882 51741 25767 1 30300867.0000 30031655.8768 0.90%
884.74/887.34 c 887 52278 26188 1 30300867.0000 30031725.2587 0.90%
886.83/889.49 c * 890 52436 26332 1 30238247.0000 30031842.3351 0.69%
890.62/893.26 c 893 52774 14168 1 30238247.0000 30031899.5864 0.69%
896.70/899.32 c 899 53347 14573 1 30238247.0000 30031966.3815 0.69%
902.39/905.03 c 905 53844 14944 1 30238247.0000 30031992.2042 0.69%
906.17/908.82 c * 909 54228 15242 1 30153100.0000 30031999.9684 0.40%
907.76/910.41 c 910 54382 1004 1 30153100.0000 30031999.9684 0.40%
913.16/915.81 c 916 55231 1497 1 30153100.0000 30032125.3885 0.40%
919.14/921.83 c 922 56106 1942 1 30153100.0000 30032317.2474 0.40%
924.43/927.19 c 927 56776 2204 1 30153100.0000 30032608.6446 0.40%
930.00/932.75 c 933 57345 2417 1 30153100.0000 30032672.0231 0.40%
935.18/937.97 c 938 57910 2624 1 30153100.0000 30032675.7935 0.40%
940.57/943.30 c 943 58350 2754 1 30153100.0000 30032736.6552 0.40%
945.75/948.51 c 949 59000 3012 1 30153100.0000 30032779.6092 0.40%
951.14/953.94 c 954 59821 3415 1 30153100.0000 30032792.7324 0.40%
956.34/959.15 c 959 60345 3559 1 30153100.0000 30032978.3653 0.40%
961.80/964.62 c 965 60768 3672 1 30153100.0000 30033125.9913 0.40%
966.99/969.85 c 970 61156 3790 1 30153100.0000 30033219.4759 0.40%
972.29/975.14 c 975 61475 3907 1 30153100.0000 30033295.3259 0.40%
977.36/980.24 c 980 61938 3998 1 30153100.0000 30033326.0804 0.40%
983.16/986.11 c 986 62226 4114 1 30153100.0000 30033397.4118 0.40%
988.52/991.41 c 991 62682 4290 1 30153100.0000 30033442.3634 0.40%
993.51/996.42 c 996 63561 4861 1 30153100.0000 30033520.9559 0.40%
998.90/1001.81 c 1002 64246 5276 1 30153100.0000 30033657.4715 0.40%
1004.68/1007.60 c 1008 64583 5345 1 30153100.0000 30033845.0908 0.40%
1009.87/1012.86 c 1013 65016 5508 1 30153100.0000 30033932.0274 0.40%
1014.95/1017.97 c 1018 65484 5850 1 30153100.0000 30034047.2348 0.40%
1020.73/1023.79 c 1024 66360 6568 1 30153100.0000 30034088.4149 0.40%
1025.81/1028.87 c 1029 66736 6794 1 30153100.0000 30034230.1660 0.40%
1031.30/1034.37 c 1034 67426 7262 1 30153100.0000 30034288.0336 0.40%
1036.48/1039.52 c 1040 67984 7626 1 30153100.0000 30034354.5584 0.40%
1041.87/1044.97 c 1045 68550 8000 1 30153100.0000 30034472.7777 0.39%
1047.26/1050.32 c 1050 69115 8364 1 30153100.0000 30034472.7777 0.39%
1052.33/1055.42 c 1055 69717 8798 1 30153100.0000 30034472.7777 0.39%
1058.12/1061.25 c 1061 70265 9105 1 30153100.0000 30034510.3385 0.39%
1063.31/1066.44 c 1066 70816 9494 1 30153100.0000 30034607.6457 0.39%
1068.59/1071.72 c 1072 71321 9813 1 30153100.0000 30034772.2600 0.39%
1073.58/1076.76 c 1077 71792 10118 1 30153100.0000 30034772.4710 0.39%
1079.36/1082.56 c 1083 72416 10524 1 30153100.0000 30034772.5812 0.39%
1084.45/1087.64 c 1088 72904 10880 1 30153100.0000 30034772.5812 0.39%
1090.23/1093.46 c 1093 73576 11314 1 30153100.0000 30034849.0509 0.39%
1095.31/1098.54 c 1099 74054 11580 1 30153100.0000 30034969.4182 0.39%
1100.39/1103.68 c 1104 74619 11927 1 30153100.0000 30034997.2051 0.39%
1105.48/1108.70 c 1109 75116 12226 1 30153100.0000 30035039.4312 0.39%
1111.16/1114.48 c 1114 75618 12544 1 30153100.0000 30035039.4312 0.39%
1116.45/1119.75 c 1120 76236 12990 1 30153100.0000 30035086.6893 0.39%
1121.85/1125.15 c 1125 77010 13458 1 30153100.0000 30035125.1499 0.39%
1126.83/1130.19 c 1130 77654 13842 1 30153100.0000 30035125.1499 0.39%
1132.20/1135.58 c 1136 78273 14261 1 30153100.0000 30035214.8165 0.39%
1137.89/1141.28 c 1141 78962 14717 1 30153100.0000 30035253.0395 0.39%
1143.57/1146.90 c 1147 79673 15166 1 30153100.0000 30035273.5326 0.39%
1148.76/1152.17 c 1152 79696 15181 1 30153100.0000 30035343.7917 0.39%
1154.23/1157.68 c 1158 80275 15552 1 30153100.0000 30035391.2294 0.39%
1159.42/1162.85 c 1163 80814 15847 1 30153100.0000 30035404.1040 0.39%
1165.20/1168.64 c 1169 81527 16308 1 30153100.0000 30035422.2571 0.39%
1170.98/1174.46 c 1174 82344 16791 1 30153100.0000 30035495.3969 0.39%
1176.17/1179.62 c 1180 82969 17140 1 30153100.0000 30035542.2874 0.39%
1181.25/1184.75 c 1185 83710 17625 1 30153100.0000 30035558.7107 0.39%
1186.43/1190.01 c 1190 84434 18027 1 30153100.0000 30035582.6756 0.39%
1191.92/1195.48 c 1195 85016 18263 1 30153100.0000 30035623.3263 0.39%
1197.00/1200.55 c 1201 85686 18589 1 30153100.0000 30035632.1041 0.39%
1202.39/1205.96 c 1206 86357 19076 1 30153100.0000 30035680.5963 0.39%
1208.16/1211.70 c 1212 87053 19594 1 30153100.0000 30035752.5852 0.39%
1213.34/1216.92 c 1217 87666 20045 1 30153100.0000 30035864.3524 0.39%
1219.23/1222.81 c 1223 88396 20533 1 30153100.0000 30035931.2405 0.39%
1224.21/1227.88 c 1228 89036 20995 1 30153100.0000 30035931.2405 0.39%
1229.51/1233.17 c 1233 89670 21389 1 30153100.0000 30036000.3838 0.39%
1234.58/1238.29 c 1238 90162 21755 1 30153100.0000 30036002.9651 0.39%
1239.87/1243.52 c 1244 90831 22180 1 30153100.0000 30036002.9651 0.39%
1245.46/1249.15 c 1249 91474 22555 1 30153100.0000 30036002.9651 0.39%
1251.44/1255.11 c 1255 91961 22800 1 30153100.0000 30036086.7114 0.39%
1256.52/1260.22 c 1260 92356 22957 1 30153100.0000 30036148.0017 0.39%
1261.51/1265.23 c 1265 92656 23049 1 30153100.0000 30036164.9882 0.39%
1267.08/1270.86 c 1271 93049 23224 1 30153100.0000 30036211.1613 0.39%
1272.97/1276.79 c 1277 93780 23755 1 30153100.0000 30036211.8797 0.39%
1278.86/1282.63 c 1283 94451 24206 1 30153100.0000 30036240.1312 0.39%
1284.25/1288.09 c 1288 95156 24665 1 30153100.0000 30036308.9120 0.39%
1289.82/1293.60 c 1294 95797 25024 1 30153100.0000 30036375.1437 0.39%
1295.60/1299.45 c 1299 96654 25441 1 30153100.0000 30036417.8631 0.39%
1301.08/1304.95 c 1305 97233 25754 1 30153100.0000 30036463.0437 0.39%
1306.37/1310.27 c 1310 97756 26013 1 30153100.0000 30036511.0480 0.39%
1312.17/1316.09 c 1316 98356 26279 1 30153100.0000 30036563.0624 0.39%
1317.44/1321.33 c 1321 98937 26608 1 30153100.0000 30036642.4023 0.39%
1323.14/1327.01 c 1327 99624 27007 1 30153100.0000 30036675.1187 0.39%
1328.41/1332.34 c 1332 100306 27367 1 30153100.0000 30036717.1731 0.39%
1333.49/1337.45 c 1337 100930 27743 1 30153100.0000 30036753.0161 0.39%
1338.67/1342.65 c 1343 101446 27999 1 30153100.0000 30036773.2088 0.39%
1344.85/1348.80 c 1349 102031 28247 1 30153100.0000 30036841.5018 0.39%
1350.54/1354.57 c 1355 102524 28540 1 30153100.0000 30036860.9209 0.39%
1355.72/1359.70 c 1360 103031 28775 1 30153100.0000 30036877.4293 0.39%
1360.81/1364.84 c 1365 103619 29187 1 30153100.0000 30036889.5283 0.39%
1365.88/1369.97 c 1370 104405 29777 1 30153100.0000 30036889.5283 0.39%
1371.37/1375.44 c 1375 105146 30280 1 30153100.0000 30036894.0412 0.39%
1376.65/1380.76 c 1381 105786 30716 1 30153100.0000 30036939.7303 0.39%
1382.03/1386.14 c 1386 106456 31154 1 30153100.0000 30036949.9054 0.39%
1387.61/1391.70 c 1392 107354 31740 1 30153100.0000 30036979.4988 0.39%
1392.90/1397.01 c 1397 108157 32291 1 30153100.0000 30037021.4643 0.39%
1397.88/1402.06 c 1402 108946 32882 1 30153100.0000 30037035.5465 0.39%
1403.45/1407.70 c 1408 109820 33464 1 30153100.0000 30037066.4953 0.39%
1408.85/1413.09 c 1413 110686 34124 1 30153100.0000 30037083.8244 0.39%
1414.22/1418.43 c 1418 111486 34722 1 30153100.0000 30037114.0698 0.39%
1419.31/1423.56 c 1424 112336 35368 1 30153100.0000 30037144.4739 0.39%
1424.29/1428.59 c 1429 113261 36099 1 30153100.0000 30037160.1549 0.39%
1430.07/1434.39 c 1434 114290 36856 1 30153100.0000 30037168.1966 0.39%
1436.16/1440.41 c 1440 115193 37474 1 30153100.0000 30037174.5426 0.39%
1441.24/1445.53 c 1446 116166 38181 1 30153100.0000 30037206.6756 0.39%
1447.02/1451.30 c 1451 117200 38849 1 30153100.0000 30037246.6698 0.39%
1452.41/1456.79 c 1457 118087 39516 1 30153100.0000 30037304.0100 0.39%
1457.99/1462.35 c 1462 119120 40217 1 30153100.0000 30037304.1510 0.39%
1463.87/1468.23 c 1468 120114 40910 1 30153100.0000 30037323.3898 0.39%
1469.04/1473.42 c 1473 120767 41371 1 30153100.0000 30037329.4384 0.39%
1474.13/1478.53 c 1479 121526 41892 1 30153100.0000 30037353.2735 0.39%
1479.31/1483.78 c 1484 122335 42525 1 30153100.0000 30037385.3146 0.39%
1484.99/1489.47 c 1489 123361 43303 1 30153100.0000 30037411.3923 0.39%
1490.28/1494.70 c 1495 124230 43944 1 30153100.0000 30037452.5409 0.39%
1495.58/1500.05 c 1500 125155 44637 1 30153100.0000 30037457.9788 0.38%
1501.44/1505.97 c 1506 126131 45413 1 30153100.0000 30037473.7831 0.38%
1507.03/1511.55 c 1512 127183 46297 1 30153100.0000 30037475.1500 0.38%
1512.21/1516.78 c 1517 128065 47059 1 30153100.0000 30037493.5216 0.38%
1517.89/1522.49 c 1522 129054 47970 1 30153100.0000 30037501.2777 0.38%
1523.29/1527.80 c 1528 129876 48678 1 30153100.0000 30037546.4616 0.38%
1528.26/1532.81 c 1533 130606 49294 1 30153100.0000 30037567.9094 0.38%
1533.95/1538.58 c 1539 131243 49817 1 30153100.0000 30037582.4462 0.38%
1539.04/1543.66 c 1544 131850 50338 1 30153100.0000 30037582.4462 0.38%
1544.13/1548.71 c 1549 132526 50944 1 30153100.0000 30037584.0022 0.38%
1549.21/1553.81 c 1554 133182 51532 1 30153100.0000 30037584.0251 0.38%
1554.51/1559.16 c 1559 133934 52144 1 30153100.0000 30037584.9391 0.38%
1560.39/1565.10 c 1565 134704 52850 1 30153100.0000 30037585.1651 0.38%
1566.27/1570.92 c 1571 135386 53468 1 30153100.0000 30037594.9481 0.38%
1571.25/1575.99 c 1576 136040 54048 1 30153100.0000 30037603.7129 0.38%
1576.94/1581.61 c 1582 136639 54553 1 30153100.0000 30037611.9980 0.38%
1582.82/1587.54 c 1588 137189 54975 1 30153100.0000 30037629.8434 0.38%
1588.00/1592.78 c 1593 137753 55419 1 30153100.0000 30037631.3427 0.38%
1592.98/1597.79 c 1598 138340 55856 1 30153100.0000 30037636.7703 0.38%
1598.47/1603.24 c 1603 138876 56326 1 30153100.0000 30037637.7171 0.38%
1603.56/1608.31 c 1608 139456 56834 1 30153100.0000 30037637.7171 0.38%
1609.04/1613.87 c 1614 139986 57298 1 30153100.0000 30037637.7171 0.38%
1614.73/1619.53 c 1620 140516 57754 1 30153100.0000 30037639.9431 0.38%
1620.11/1624.95 c 1625 141160 58318 1 30153100.0000 30037644.4100 0.38%
1625.89/1630.77 c 1631 141993 59051 1 30153100.0000 30037653.1156 0.38%
1630.98/1635.83 c 1636 142716 59716 1 30153100.0000 30037684.1216 0.38%
1636.27/1641.13 c 1641 143274 60218 1 30153100.0000 30037687.8488 0.38%
1641.84/1646.73 c 1647 143938 60798 1 30153100.0000 30037695.9242 0.38%
1647.24/1652.13 c 1652 144377 61167 1 30153100.0000 30037706.8790 0.38%
1652.31/1657.27 c 1657 145040 61768 1 30153100.0000 30037706.8790 0.38%
1657.99/1663.01 c 1663 145753 62399 1 30153100.0000 30037719.5548 0.38%
1663.09/1668.10 c 1668 146356 62946 1 30153100.0000 30037744.2471 0.38%
1668.17/1673.12 c 1673 146969 63503 1 30153100.0000 30037747.2169 0.38%
1673.85/1678.86 c 1679 147591 64029 1 30153100.0000 30037749.8839 0.38%
1679.73/1684.79 c 1685 148304 64640 1 30153100.0000 30037756.5425 0.38%
1684.81/1689.88 c 1690 148858 65136 1 30153100.0000 30037768.8817 0.38%
1689.90/1694.96 c 1695 149441 65653 1 30153100.0000 30037768.8817 0.38%
1695.78/1700.87 c 1701 150091 66247 1 30153100.0000 30037773.0053 0.38%
1701.17/1706.25 c 1706 150658 66746 1 30153100.0000 30037784.3174 0.38%
1706.26/1711.32 c 1711 151267 67331 1 30153100.0000 30037784.3174 0.38%
1711.34/1716.47 c 1716 151728 67664 1 30153100.0000 30037802.5572 0.38%
1716.43/1721.55 c 1722 152307 68163 1 30153100.0000 30037802.5572 0.38%
1721.91/1727.03 c 1727 152968 68780 1 30153100.0000 30037811.2794 0.38%
1727.39/1732.51 c 1733 153518 69290 1 30153100.0000 30037811.2922 0.38%
1732.58/1737.76 c 1738 154184 69888 1 30153100.0000 30037816.7949 0.38%
1738.16/1743.31 c 1743 154853 70467 1 30153100.0000 30037825.2789 0.38%
1743.35/1748.56 c 1749 155409 70965 1 30153100.0000 30037825.6335 0.38%
1748.53/1753.71 c 1754 155956 71458 1 30153100.0000 30037829.6687 0.38%
1753.83/1759.09 c 1759 156464 71894 1 30153100.0000 30037848.2896 0.38%
1759.10/1764.32 c 1764 156970 72314 1 30153100.0000 30037856.3473 0.38%
1764.68/1769.93 c 1770 158036 73282 1 30153100.0000 30037858.7718 0.38%
1769.96/1775.25 c 1775 158993 74097 1 30153100.0000 30037885.9086 0.38%
1775.95/1781.25 c 1781 160305 75283 1 30153100.0000 30037886.4133 0.38%
1781.85/1787.17 c 1787 161236 76134 1 30153100.0000 30037890.4372 0.38%
1787.11/1792.44 c 1792 162112 76944 1 30153100.0000 30037895.2406 0.38%
1792.60/1797.99 c 1798 162658 77346 1 30153100.0000 30037905.5718 0.38%
1797.70/1803.07 c 1803 163398 78000 1 30153100.0000 30037905.5718 0.38%
1802.87/1808.24 c 1808 163994 78556 1 30153100.0000 30037905.5718 0.38%
1808.25/1813.62 c 1814 164461 78943 1 30153100.0000 30037919.1615 0.38%
1813.75/1819.15 c 1819 164976 79358 1 30153100.0000 30037921.7253 0.38%
1818.82/1824.25 c 1824 165659 79995 1 30153100.0000 30037921.7253 0.38%
1824.21/1829.67 c 1830 166726 80926 1 30153100.0000 30037925.3178 0.38%
1829.49/1834.94 c 1835 167309 81435 1 30153100.0000 30037925.3178 0.38%
1834.97/1840.46 c 1840 167790 81804 1 30153100.0000 30037928.6572 0.38%
1840.06/1845.53 c 1846 168512 82450 1 30153100.0000 30037928.6572 0.38%
1845.15/1850.61 c 1851 169051 82947 1 30153100.0000 30037928.6572 0.38%
1850.23/1855.71 c 1856 169737 83499 1 30153100.0000 30037928.6572 0.38%
1855.82/1861.32 c 1861 170486 84154 1 30153100.0000 30037937.4136 0.38%
1861.40/1866.94 c 1867 171033 84589 1 30153100.0000 30037940.9606 0.38%
1866.49/1872.10 c 1872 171561 85061 1 30153100.0000 30037941.2861 0.38%
1871.67/1877.23 c 1877 171950 85352 1 30153100.0000 30037941.2861 0.38%
1877.26/1882.86 c 1883 172465 85813 1 30153100.0000 30037941.2861 0.38%
1882.63/1888.22 c 1888 173042 86250 1 30153100.0000 30037946.2645 0.38%
1888.01/1893.61 c 1894 173609 86711 1 30153100.0000 30037953.8595 0.38%
1893.30/1898.99 c 1899 173976 86994 1 30153100.0000 30037962.5542 0.38%
1899.28/1904.90 c 1905 174732 87630 1 30153100.0000 30037975.8879 0.38%
1904.76/1910.48 c 1910 175586 88378 1 30153100.0000 30037981.5908 0.38%
1910.47/1916.17 c 1916 176226 88938 1 30153100.0000 30037987.4202 0.38%
1915.64/1921.39 c 1921 176864 89470 1 30153100.0000 30037987.4202 0.38%
1920.82/1926.52 c 1927 177595 90009 1 30153100.0000 30038001.0130 0.38%
1926.11/1931.82 c 1932 178362 90584 1 30153100.0000 30038012.2774 0.38%
1931.49/1937.21 c 1937 179096 91180 1 30153100.0000 30038020.2263 0.38%
1936.87/1942.69 c 1943 179771 91691 1 30153100.0000 30038026.8781 0.38%
1942.37/1948.12 c 1948 180475 92181 1 30153100.0000 30038035.4794 0.38%
1947.84/1953.64 c 1954 181126 92630 1 30153100.0000 30038068.0504 0.38%
1953.72/1959.50 c 1960 181721 92983 1 30153100.0000 30038070.6650 0.38%
1959.10/1964.97 c 1965 182217 93397 1 30153100.0000 30038075.9695 0.38%
1964.39/1970.24 c 1970 182819 93815 1 30153100.0000 30038078.9534 0.38%
1969.86/1975.72 c 1976 183411 94123 1 30153100.0000 30038098.5932 0.38%
1975.55/1981.43 c 1981 184117 94709 1 30153100.0000 30038110.5776 0.38%
1980.64/1986.52 c 1987 184654 95152 1 30153100.0000 30038120.5291 0.38%
1986.31/1992.22 c 1992 185230 95646 1 30153100.0000 30038126.1644 0.38%
1991.40/1997.30 c 1997 185775 96097 1 30153100.0000 30038126.1644 0.38%
1996.38/2002.30 c 2002 186323 96577 1 30153100.0000 30038129.7172 0.38%
2001.37/2007.39 c 2007 186841 97023 1 30153100.0000 30038129.7172 0.38%
2006.45/2012.47 c 2012 187336 97462 1 30153100.0000 30038129.7172 0.38%
2011.53/2017.56 c 2018 187873 97905 1 30153100.0000 30038129.7172 0.38%
2017.42/2023.48 c 2023 188359 98254 1 30153100.0000 30038130.4331 0.38%
2023.29/2029.36 c 2029 188907 98618 1 30153100.0000 30038170.6664 0.38%
2028.38/2034.41 c 2034 189546 99189 1 30153100.0000 30038170.6664 0.38%
2033.77/2039.88 c 2040 190196 99795 1 30153100.0000 30038181.6715 0.38%
2038.96/2045.06 c 2045 190754 100289 1 30153100.0000 30038181.6715 0.38%
2044.43/2050.53 c 2051 191348 100811 1 30153100.0000 30038189.2296 0.38%
2049.62/2055.78 c 2056 191983 101362 1 30153100.0000 30038189.3414 0.38%
2054.80/2060.94 c 2061 192519 101812 1 30153100.0000 30038189.3414 0.38%
2060.49/2066.66 c 2067 193201 102414 1 30153100.0000 30038189.3414 0.38%
2065.57/2071.73 c 2072 193733 102882 1 30153100.0000 30038189.3414 0.38%
2071.25/2077.44 c 2077 194310 103405 1 30153100.0000 30038191.8344 0.38%
2076.64/2082.80 c 2083 194774 103841 1 30153100.0000 30038199.8913 0.38%
2081.62/2087.90 c 2088 195295 104282 1 30153100.0000 30038199.8913 0.38%
2087.01/2093.24 c 2093 195806 104707 1 30153100.0000 30038203.2059 0.38%
2092.29/2098.58 c 2099 196340 105101 1 30153100.0000 30038203.4156 0.38%
2098.07/2104.36 c 2104 196886 105515 1 30153100.0000 30038204.0817 0.38%
2103.96/2110.22 c 2110 197358 105871 1 30153100.0000 30038211.7738 0.38%
2108.95/2115.25 c 2115 197866 106285 1 30153100.0000 30038217.5973 0.38%
2114.53/2120.85 c 2121 198284 106615 1 30153100.0000 30038217.5973 0.38%
2119.62/2125.91 c 2126 198753 107020 1 30153100.0000 30038217.5973 0.38%
2124.59/2130.97 c 2131 199289 107494 1 30153100.0000 30038217.5973 0.38%
2129.67/2136.05 c 2136 199855 107854 1 30153100.0000 30038217.5973 0.38%
2135.66/2142.07 c 2142 200472 108355 1 30153100.0000 30038225.6935 0.38%
2141.23/2147.67 c 2148 201067 108762 1 30153100.0000 30038228.9417 0.38%
2146.82/2153.27 c 2153 201670 109283 1 30153100.0000 30038246.5473 0.38%
2151.90/2158.31 c 2158 202169 109744 1 30153100.0000 30038248.5235 0.38%
2157.09/2163.52 c 2164 202647 110200 1 30153100.0000 30038248.5235 0.38%
2162.27/2168.78 c 2169 203045 110572 1 30153100.0000 30038251.9644 0.38%
2168.15/2174.69 c 2175 203410 110881 1 30153100.0000 30038259.8125 0.38%
2173.33/2179.88 c 2180 203760 111189 1 30153100.0000 30038259.8125 0.38%
2178.53/2185.02 c 2185 204067 111420 1 30153100.0000 30038259.8125 0.38%
2183.62/2190.15 c 2190 204374 111697 1 30153100.0000 30038259.8125 0.38%
2189.50/2196.01 c 2196 204707 111972 1 30153100.0000 30038262.7974 0.38%
2194.97/2201.50 c 2202 204919 112130 1 30153100.0000 30038270.6073 0.38%
2200.16/2206.77 c 2207 205193 112374 1 30153100.0000 30038270.6073 0.38%
2205.34/2211.94 c 2212 205436 112585 1 30153100.0000 30038270.6073 0.38%
2210.63/2217.29 c 2217 205730 112845 1 30153100.0000 30038270.7346 0.38%
2215.91/2222.57 c 2223 205969 113060 1 30153100.0000 30038270.7346 0.38%
2221.00/2227.69 c 2228 206253 113312 1 30153100.0000 30038270.7346 0.38%
2226.18/2232.86 c 2233 206521 113552 1 30153100.0000 30038270.7346 0.38%
2231.48/2238.16 c 2238 206785 113792 1 30153100.0000 30038270.7346 0.38%
2237.25/2243.99 c 2244 207085 114028 1 30153100.0000 30038278.3854 0.38%
2242.53/2249.22 c 2249 207459 114282 1 30153100.0000 30038284.0414 0.38%
2247.62/2254.31 c 2254 207759 114526 1 30153100.0000 30038284.0414 0.38%
2252.70/2259.47 c 2259 208080 114783 1 30153100.0000 30038284.0414 0.38%
2257.89/2264.60 c 2265 208401 115030 1 30153100.0000 30038284.0414 0.38%
2263.38/2270.16 c 2270 208761 115334 1 30153100.0000 30038299.3127 0.38%
2268.65/2275.40 c 2275 209042 115567 1 30153100.0000 30038299.3127 0.38%
2274.14/2280.93 c 2281 209430 115887 1 30153100.0000 30038301.4611 0.38%
2279.34/2286.12 c 2286 209789 116172 1 30153100.0000 30038301.4611 0.38%
2284.61/2291.41 c 2291 210169 116460 1 30153100.0000 30038301.4611 0.38%
2289.69/2296.57 c 2297 210590 116791 1 30153100.0000 30038301.4611 0.38%
2294.98/2301.80 c 2302 210961 117078 1 30153100.0000 30038307.7987 0.38%
2299.96/2306.85 c 2307 211304 117357 1 30153100.0000 30038345.8272 0.38%
2305.05/2311.94 c 2312 211686 117647 1 30153100.0000 30038347.8198 0.38%
2310.24/2317.17 c 2317 212117 117962 1 30153100.0000 30038354.3920 0.38%
2315.42/2322.34 c 2322 212550 118307 1 30153100.0000 30038354.3920 0.38%
2320.40/2327.34 c 2327 212960 118619 1 30153100.0000 30038357.1486 0.38%
2326.69/2333.65 c 2334 213292 118855 1 30153100.0000 30038367.1168 0.38%
2332.09/2339.07 c 2339 213680 119113 1 30153100.0000 30038371.6556 0.38%
2337.46/2344.48 c 2344 214116 119443 1 30153100.0000 30038387.4301 0.38%
2343.24/2350.25 c 2350 214508 119743 1 30153100.0000 30038389.9722 0.38%
2348.43/2355.48 c 2355 214991 120076 1 30153100.0000 30038390.9706 0.38%
2353.61/2360.62 c 2361 215306 120315 1 30153100.0000 30038390.9706 0.38%
2358.79/2365.81 c 2366 215714 120639 1 30153100.0000 30038390.9706 0.38%
2363.89/2370.92 c 2371 216073 120892 1 30153100.0000 30038390.9706 0.38%
2368.87/2375.98 c 2376 216622 121321 1 30153100.0000 30038390.9706 0.38%
2374.35/2381.43 c 2381 217153 121768 1 30153100.0000 30038411.9854 0.38%
2379.54/2386.65 c 2387 217624 122183 1 30153100.0000 30038424.3486 0.38%
2385.41/2392.57 c 2393 218159 122624 1 30153100.0000 30038426.5076 0.38%
2390.50/2397.62 c 2398 218643 123020 1 30153100.0000 30038426.5076 0.38%
2395.49/2402.66 c 2403 219140 123421 1 30153100.0000 30038432.8861 0.38%
2401.47/2408.60 c 2409 219652 123813 1 30153100.0000 30038435.1631 0.38%
2406.55/2413.74 c 2414 220119 124190 1 30153100.0000 30038435.1631 0.38%
2411.74/2418.95 c 2419 220499 124468 1 30153100.0000 30038435.1631 0.38%
2416.83/2424.03 c 2424 220879 124788 1 30153100.0000 30038435.1631 0.38%
2421.92/2429.12 c 2429 221288 125149 1 30153100.0000 30038435.1631 0.38%
2427.80/2435.05 c 2435 221970 125691 1 30153100.0000 30038438.5329 0.38%
2432.97/2440.27 c 2440 222496 126101 1 30153100.0000 30038468.4206 0.38%
2438.06/2445.33 c 2445 222997 126484 1 30153100.0000 30038468.4206 0.38%
2443.14/2450.48 c 2450 223450 126899 1 30153100.0000 30038468.4206 0.38%
2448.84/2456.13 c 2456 223986 127357 1 30153100.0000 30038478.4457 0.38%
2455.01/2462.33 c 2462 224569 127834 1 30153100.0000 30038478.7455 0.38%
2460.19/2467.56 c 2468 225017 128186 1 30153100.0000 30038488.8773 0.38%
2465.87/2473.20 c 2473 225620 128681 1 30153100.0000 30038491.7908 0.38%
2471.46/2478.84 c 2479 226260 129211 1 30153100.0000 30038497.2859 0.38%
2476.54/2483.96 c 2484 226815 129644 1 30153100.0000 30038512.3583 0.38%
2482.23/2489.66 c 2490 227226 129915 1 30153100.0000 30038513.4214 0.38%
2487.51/2494.99 c 2495 227717 130246 1 30153100.0000 30038525.3004 0.38%
2492.61/2500.05 c 2500 228136 130575 1 30153100.0000 30038527.1658 0.38%
2497.88/2505.38 c 2505 228541 130892 1 30153100.0000 30038527.1658 0.38%
2503.86/2511.35 c 2511 229028 131285 1 30153100.0000 30038530.7499 0.38%
2509.34/2516.88 c 2517 229541 131620 1 30153100.0000 30038541.3016 0.38%
2514.93/2522.49 c 2522 230002 131971 1 30153100.0000 30038541.3822 0.38%
2520.01/2527.56 c 2528 230452 132313 1 30153100.0000 30038541.3822 0.38%
2526.00/2533.57 c 2534 231039 132742 1 30153100.0000 30038554.4272 0.38%
2531.38/2538.91 c 2539 231382 132987 1 30153100.0000 30038556.6944 0.38%
2536.67/2544.26 c 2544 231590 133135 1 30153100.0000 30038556.6944 0.38%
2542.34/2549.91 c 2550 231843 133334 1 30153100.0000 30038557.5831 0.38%
2547.93/2555.54 c 2556 232315 133642 1 30153100.0000 30038560.0611 0.38%
2553.32/2560.92 c 2561 232633 133870 1 30153100.0000 30038566.1456 0.38%
2558.31/2566.01 c 2566 232876 134051 1 30153100.0000 30038566.1456 0.38%
2563.39/2571.06 c 2571 233270 134347 1 30153100.0000 30038566.1456 0.38%
2568.86/2576.56 c 2577 233838 134741 1 30153100.0000 30038566.5918 0.38%
2574.05/2581.77 c 2582 234466 135223 1 30153100.0000 30038579.9595 0.38%
2580.03/2587.70 c 2588 235086 135643 1 30153100.0000 30038582.2582 0.38%
2585.21/2592.99 c 2593 235556 136069 1 30153100.0000 30038585.3557 0.38%
2590.59/2598.37 c 2598 235936 136399 1 30153100.0000 30038605.7849 0.38%
2595.88/2603.64 c 2604 236426 136771 1 30153100.0000 30038605.7849 0.38%
2600.96/2608.73 c 2609 236836 137117 1 30153100.0000 30038614.7497 0.38%
2606.25/2614.05 c 2614 237246 137435 1 30153100.0000 30038630.8304 0.38%
2611.63/2619.42 c 2619 237706 137777 1 30153100.0000 30038633.4882 0.38%
2617.22/2625.02 c 2625 238141 138128 1 30153100.0000 30038634.5910 0.38%
2622.80/2630.64 c 2631 238485 138377 1 30153100.0000 30038634.9487 0.38%
2627.88/2635.79 c 2636 238796 138590 1 30153100.0000 30038647.6389 0.38%
2632.97/2640.89 c 2641 239206 138884 1 30153100.0000 30038647.6389 0.38%
2638.26/2646.14 c 2646 239616 139240 1 30153100.0000 30038649.3553 0.38%
2643.26/2651.19 c 2651 240096 139600 1 30153100.0000 30038653.5044 0.38%
2649.03/2657.01 c 2657 240597 140025 1 30153100.0000 30038657.7803 0.38%
2654.30/2662.24 c 2662 241162 140554 1 30153100.0000 30038666.4508 0.38%
2660.09/2668.04 c 2668 241777 141097 1 30153100.0000 30038676.2846 0.38%
2665.76/2673.80 c 2674 242476 141718 1 30153100.0000 30038714.8080 0.38%
2670.85/2678.87 c 2679 243117 142313 1 30153100.0000 30038720.7692 0.38%
2676.24/2684.27 c 2684 243686 142782 1 30153100.0000 30038731.5916 0.38%
2681.42/2689.42 c 2689 244240 143302 1 30153100.0000 30038739.4177 0.38%
2686.61/2694.64 c 2695 244725 143699 1 30153100.0000 30038764.5857 0.38%
2691.69/2699.77 c 2700 245242 144130 1 30153100.0000 30038764.5857 0.38%
2696.87/2704.97 c 2705 245792 144604 1 30153100.0000 30038764.5857 0.38%
2702.25/2710.39 c 2710 246569 145313 1 30153100.0000 30038777.0466 0.38%
2708.14/2716.24 c 2716 247116 145756 1 30153100.0000 30038792.3479 0.38%
2713.22/2721.35 c 2721 247583 146183 1 30153100.0000 30038792.3479 0.38%
2718.30/2726.43 c 2726 248030 146568 1 30153100.0000 30038792.3479 0.38%
2723.38/2731.50 c 2732 248491 146923 1 30153100.0000 30038792.3479 0.38%
2728.37/2736.57 c 2737 248986 147338 1 30153100.0000 30038796.3670 0.38%
2733.86/2742.04 c 2742 249484 147686 1 30153100.0000 30038800.1736 0.38%
2739.34/2747.56 c 2748 250124 148244 1 30153100.0000 30038800.6352 0.38%
2744.93/2753.20 c 2753 250655 148653 1 30153100.0000 30038802.5022 0.38%
2750.00/2758.26 c 2758 251181 149015 1 30153100.0000 30038802.5022 0.38%
2755.90/2764.17 c 2764 251589 149275 1 30153100.0000 30038802.5051 0.38%
2761.07/2769.33 c 2769 252127 149671 1 30153100.0000 30038807.8193 0.38%
2766.07/2774.35 c 2774 252678 150106 1 30153100.0000 30038808.5054 0.38%
2771.45/2779.73 c 2780 253176 150456 1 30153100.0000 30038820.0941 0.38%
2776.53/2784.85 c 2785 253629 150843 1 30153100.0000 30038820.0941 0.38%
2782.02/2790.32 c 2790 254206 151258 1 30153100.0000 30038822.3572 0.38%
2787.20/2795.53 c 2796 254639 151615 1 30153100.0000 30038845.6822 0.38%
2792.80/2801.19 c 2801 255128 151970 1 30153100.0000 30038850.6626 0.38%
2797.97/2806.35 c 2806 255560 152326 1 30153100.0000 30038851.7770 0.38%
2803.55/2811.96 c 2812 256086 152712 1 30153100.0000 30038855.6203 0.38%
2808.64/2817.06 c 2817 256609 153103 1 30153100.0000 30038857.0907 0.38%
2813.92/2822.36 c 2822 257100 153482 1 30153100.0000 30038868.0832 0.38%
2819.60/2828.09 c 2828 257665 153863 1 30153100.0000 30038878.1520 0.38%
2825.19/2833.67 c 2834 258201 154255 1 30153100.0000 30038878.1948 0.38%
2830.47/2838.98 c 2839 258713 154577 1 30153100.0000 30038888.0007 0.38%
2839.04/2847.54 c 2848 258896 154694 1 30153100.0000 30038888.0007 0.38%
2844.12/2852.62 c 2853 259356 155036 1 30153100.0000 30038888.0007 0.38%
2849.12/2857.68 c 2858 259833 155403 1 30153100.0000 30038888.0007 0.38%
2854.50/2863.09 c 2863 260357 155803 1 30153100.0000 30038888.0007 0.38%
2859.59/2868.17 c 2868 260835 156201 1 30153100.0000 30038895.3133 0.38%
2865.36/2873.94 c 2874 261315 156623 1 30153100.0000 30038906.7110 0.38%
2871.34/2879.91 c 2880 261953 157213 1 30153100.0000 30038907.9144 0.38%
2877.03/2885.65 c 2886 262469 157679 1 30153100.0000 30038919.3402 0.38%
2882.31/2890.93 c 2891 263013 158181 1 30153100.0000 30038920.0236 0.38%
2887.70/2896.30 c 2896 263600 158666 1 30153100.0000 30038921.7260 0.38%
2892.68/2901.37 c 2901 264228 159216 1 30153100.0000 30038921.7260 0.38%
2897.87/2906.50 c 2907 264797 159743 1 30153100.0000 30038921.7260 0.38%
2902.86/2911.58 c 2912 265475 160295 1 30153100.0000 30038921.7260 0.38%
2908.14/2916.85 c 2917 266116 160862 1 30153100.0000 30038946.1672 0.38%
2913.44/2922.14 c 2922 266734 161386 1 30153100.0000 30038956.0662 0.38%
2919.21/2927.95 c 2928 267308 161851 1 30153100.0000 30038972.2404 0.38%
2924.31/2933.04 c 2933 267727 162177 1 30153100.0000 30038975.4925 0.38%
2929.58/2938.33 c 2938 268220 162584 1 30153100.0000 30038999.1685 0.38%
2935.06/2943.87 c 2944 268844 163083 1 30153100.0000 30039006.1171 0.38%
2940.65/2949.45 c 2949 269246 163456 1 30153100.0000 30039010.7614 0.38%
2946.53/2955.39 c 2955 269810 163968 1 30153100.0000 30039011.1478 0.38%
2952.21/2961.01 c 2961 270252 164311 1 30153100.0000 30039039.4623 0.38%
2957.49/2966.32 c 2966 270731 164731 1 30153100.0000 30039060.4124 0.38%
2962.57/2971.47 c 2971 271191 165169 1 30153100.0000 30039060.4124 0.38%
2967.66/2976.58 c 2977 271700 165636 1 30153100.0000 30039060.4124 0.38%
2972.75/2981.63 c 2982 272083 165995 1 30153100.0000 30039060.4124 0.38%
2977.73/2986.64 c 2987 272506 166364 1 30153100.0000 30039076.2734 0.38%
2982.91/2991.84 c 2992 272932 166742 1 30153100.0000 30039076.2734 0.38%
2988.79/2997.73 c 2998 273380 167082 1 30153100.0000 30039078.5233 0.38%
2994.19/3003.19 c 3003 273847 167383 1 30153100.0000 30039084.6616 0.38%
2999.26/3008.28 c 3008 274361 167771 1 30153100.0000 30039084.6616 0.38%
3005.25/3014.29 c 3014 274840 168182 1 30153100.0000 30039088.3103 0.38%
3010.73/3019.74 c 3020 275326 168602 1 30153100.0000 30039096.7322 0.38%
3016.02/3025.03 c 3025 275765 168957 1 30153100.0000 30039100.3865 0.38%
3021.90/3030.95 c 3031 276317 169375 1 30153100.0000 30039108.1488 0.38%
3027.57/3036.61 c 3037 276791 169733 1 30153100.0000 30039129.3959 0.38%
3032.55/3041.67 c 3042 277319 170187 1 30153100.0000 30039129.3959 0.38%
3038.34/3047.44 c 3047 277900 170680 1 30153100.0000 30039132.4297 0.38%
3044.03/3053.14 c 3053 278446 171156 1 30153100.0000 30039132.4436 0.38%
3049.31/3058.46 c 3058 278916 171552 1 30153100.0000 30039166.2646 0.38%
3054.39/3063.54 c 3064 279415 171967 1 30153100.0000 30039166.2646 0.38%
3060.37/3069.57 c 3070 279976 172446 1 30153100.0000 30039173.0672 0.38%
3065.96/3075.18 c 3075 280403 172827 1 30153100.0000 30039193.1941 0.38%
3071.43/3080.61 c 3081 280878 173228 1 30153100.0000 30039200.4248 0.38%
3077.03/3086.22 c 3086 281246 173520 1 30153100.0000 30039218.4082 0.38%
3082.60/3091.84 c 3092 281778 173982 1 30153100.0000 30039221.9501 0.38%
3088.18/3097.41 c 3097 282345 174485 1 30153100.0000 30039239.3220 0.38%
3093.48/3102.76 c 3103 282882 174942 1 30153100.0000 30039248.5458 0.38%
3099.35/3108.64 c 3109 283379 175389 1 30153100.0000 30039254.3191 0.38%
3104.64/3113.93 c 3114 283875 175781 1 30153100.0000 30039254.7263 0.38%
3109.93/3119.29 c 3119 284434 176254 1 30153100.0000 30039259.1857 0.38%
3115.21/3124.50 c 3125 284854 176610 1 30153100.0000 30039266.3823 0.38%
3120.29/3129.62 c 3130 285316 177012 1 30153100.0000 30039266.3823 0.38%
3125.79/3135.17 c 3135 285881 177539 1 30153100.0000 30039270.9341 0.38%
3130.97/3140.37 c 3140 286349 177965 1 30153100.0000 30039270.9341 0.38%
3136.15/3145.53 c 3146 286806 178400 1 30153100.0000 30039270.9341 0.38%
3141.24/3150.62 c 3151 287277 178839 1 30153100.0000 30039270.9341 0.38%
3147.12/3156.52 c 3157 287716 179246 1 30153100.0000 30039280.8795 0.38%
3152.11/3161.60 c 3162 288105 179556 1 30153100.0000 30039280.8795 0.38%
3157.28/3166.78 c 3167 288561 179972 1 30153100.0000 30039280.8795 0.38%
3162.47/3171.91 c 3172 288914 180277 1 30153100.0000 30039281.2989 0.38%
3167.96/3177.43 c 3177 289403 180642 1 30153100.0000 30039289.3571 0.38%
3173.04/3182.59 c 3183 289854 181023 1 30153100.0000 30039289.3571 0.38%
3178.12/3187.68 c 3188 290339 181396 1 30153100.0000 30039289.3571 0.38%
3184.01/3193.51 c 3194 290890 181836 1 30153100.0000 30039295.3078 0.38%
3189.10/3198.64 c 3199 291376 182266 1 30153100.0000 30039305.6637 0.38%
3194.18/3203.79 c 3204 291826 182585 1 30153100.0000 30039305.6637 0.38%
3199.36/3208.93 c 3209 292217 182879 1 30153100.0000 30039358.8042 0.38%
3202.57/3212.14 c * 3212 292509 183147 1 30147094.0000 30039358.8042 0.36%
3205.75/3215.31 c 3215 292562 173535 1 30147094.0000 30039358.8042 0.36%
3210.93/3220.50 c 3221 293012 173897 1 30147094.0000 30039370.4509 0.36%
3216.02/3225.66 c 3226 293540 174296 1 30147094.0000 30039370.4509 0.36%
3222.00/3231.65 c 3232 294071 174730 1 30147094.0000 30039392.1498 0.36%
3227.58/3237.25 c 3237 294536 175139 1 30147094.0000 30039404.4549 0.36%
3232.67/3242.34 c 3242 295067 175624 1 30147094.0000 30039404.4549 0.36%
3237.76/3247.43 c 3247 295479 175986 1 30147094.0000 30039404.4549 0.36%
3243.14/3252.85 c 3253 295986 176444 1 30147094.0000 30039408.0236 0.36%
3248.33/3258.03 c 3258 296508 176939 1 30147094.0000 30039408.0236 0.36%
3253.81/3263.60 c 3264 297051 177448 1 30147094.0000 30039417.0361 0.36%
3259.89/3269.60 c 3270 297705 178042 1 30147094.0000 30039420.0401 0.36%
3264.98/3274.77 c 3275 298038 178317 1 30147094.0000 30039420.0401 0.36%
3270.46/3280.20 c 3280 298336 178577 1 30147094.0000 30039420.0401 0.36%
3275.45/3285.27 c 3285 298734 178955 1 30147094.0000 30039420.0401 0.36%
3280.63/3290.43 c 3290 299278 179485 1 30147094.0000 30039420.0401 0.36%
3285.62/3295.49 c 3295 299835 180008 1 30147094.0000 30039420.0401 0.36%
3290.81/3300.61 c 3301 300316 180437 1 30147094.0000 30039420.0401 0.36%
3295.89/3305.78 c 3306 300753 180788 1 30147094.0000 30039420.0401 0.36%
3301.07/3310.98 c 3311 301296 181321 1 30147094.0000 30039420.0401 0.36%
3306.27/3316.12 c 3316 301834 181823 1 30147094.0000 30039420.0401 0.36%
3311.35/3321.22 c 3321 302274 182245 1 30147094.0000 30039420.0401 0.36%
3316.53/3326.40 c 3326 302737 182694 1 30147094.0000 30039420.0401 0.36%
3321.62/3331.50 c 3332 303192 183127 1 30147094.0000 30039420.0401 0.36%
3326.60/3336.55 c 3337 303658 183567 1 30147094.0000 30039420.0401 0.36%
3331.89/3341.82 c 3342 304074 183975 1 30147094.0000 30039420.0401 0.36%
3337.08/3347.02 c 3347 304640 184503 1 30147094.0000 30039420.0401 0.36%
3342.17/3352.19 c 3352 305055 184872 1 30147094.0000 30039420.0401 0.36%
3347.34/3357.33 c 3357 305526 185257 1 30147094.0000 30039420.0401 0.36%
3352.52/3362.58 c 3363 305917 185570 1 30147094.0000 30039420.0401 0.36%
3357.81/3367.88 c 3368 306391 186018 1 30147094.0000 30039422.2428 0.36%
3363.50/3373.57 c 3374 306977 186528 1 30147094.0000 30039427.0802 0.36%
3368.78/3378.82 c 3379 307486 186985 1 30147094.0000 30039427.0802 0.36%
3374.26/3384.34 c 3384 308002 187437 1 30147094.0000 30039433.8259 0.36%
3380.06/3390.19 c 3390 308596 187963 1 30147094.0000 30039438.4430 0.36%
3385.33/3395.48 c 3395 309086 188401 1 30147094.0000 30039439.6982 0.36%
3390.72/3400.89 c 3401 309676 188931 1 30147094.0000 30039441.8401 0.36%
3395.80/3406.01 c 3406 310231 189446 1 30147094.0000 30039441.8401 0.36%
3401.28/3411.44 c 3411 310666 189835 1 30147094.0000 30039442.1229 0.36%
3407.07/3417.21 c 3417 311176 190279 1 30147094.0000 30039471.4657 0.36%
3412.65/3422.81 c 3423 311662 190675 1 30147094.0000 30039479.4780 0.36%
3417.94/3428.11 c 3428 312197 191144 1 30147094.0000 30039491.4956 0.36%
3423.12/3433.40 c 3433 312750 191629 1 30147094.0000 30039491.4956 0.36%
3428.21/3438.48 c 3438 313285 192102 1 30147094.0000 30039491.4956 0.36%
3434.18/3444.40 c 3444 313841 192586 1 30147094.0000 30039504.1282 0.36%
3439.17/3449.47 c 3449 314359 193056 1 30147094.0000 30039504.1282 0.36%
3444.56/3454.89 c 3455 314945 193586 1 30147094.0000 30039510.6235 0.36%
3450.34/3460.69 c 3461 315445 193972 1 30147094.0000 30039512.2688 0.36%
3455.62/3465.93 c 3466 315908 194379 1 30147094.0000 30039513.5381 0.36%
3461.90/3472.28 c 3472 316321 194732 1 30147094.0000 30039521.4913 0.36%
3466.99/3477.32 c 3477 316916 195233 1 30147094.0000 30039522.4211 0.36%
3471.98/3482.37 c 3482 317468 195737 1 30147094.0000 30039522.4211 0.36%
3477.16/3487.57 c 3488 318046 196269 1 30147094.0000 30039533.3775 0.36%
3483.04/3493.48 c 3493 318665 196845 1 30147094.0000 30039533.4038 0.36%
3488.23/3498.63 c 3499 319136 197232 1 30147094.0000 30039535.5684 0.36%
3493.91/3504.33 c 3504 319682 197662 1 30147094.0000 30039537.8409 0.36%
3499.39/3509.84 c 3510 320227 198151 1 30147094.0000 30039541.0183 0.36%
3505.37/3515.81 c 3516 320729 198547 1 30147094.0000 30039543.5236 0.36%
3511.06/3521.54 c 3522 321199 198945 1 30147094.0000 30039545.5938 0.36%
3516.14/3526.66 c 3527 321686 199356 1 30147094.0000 30039549.6903 0.36%
3521.33/3531.82 c 3532 322134 199784 1 30147094.0000 30039549.6903 0.36%
3527.01/3537.58 c 3538 322507 200087 1 30147094.0000 30039549.6903 0.36%
3533.09/3543.60 c 3544 323030 200542 1 30147094.0000 30039573.8860 0.36%
3538.17/3548.70 c 3549 323516 200916 1 30147094.0000 30039590.1049 0.36%
3543.17/3553.77 c 3554 323904 201251 1 30147094.0000 30039590.1049 0.36%
3548.25/3558.86 c 3559 324354 201651 1 30147094.0000 30039590.1049 0.36%
3553.45/3564.01 c 3564 324786 201981 1 30147094.0000 30039605.1480 0.36%
3559.01/3569.64 c 3570 325273 202401 1 30147094.0000 30039611.3978 0.36%
3564.09/3574.77 c 3575 325686 202747 1 30147094.0000 30039613.1630 0.36%
3569.28/3579.91 c 3580 326186 203165 1 30147094.0000 30039624.8667 0.36%
3574.38/3585.04 c 3585 326697 203622 1 30147094.0000 30039639.4411 0.36%
3579.65/3590.39 c 3590 327219 204090 1 30147094.0000 30039639.4411 0.36%
3585.14/3595.80 c 3596 327727 204522 1 30147094.0000 30039639.7099 0.36%
3588.53/3599.28 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.53/3599.28 c Total Time : 3599.27
3588.53/3599.28 c solving : 3599.27
3588.53/3599.28 c presolving : 0.37 (included in solving)
3588.53/3599.28 c B&B Tree :
3588.53/3599.28 c nodes (total) : 1
3588.53/3599.28 c Solution :
3588.53/3599.28 c Solutions found : 12
3588.53/3599.28 c Primal Bound : +3.01470940000000e+07
3588.53/3599.28 c Dual Bound : +3.00396397098770e+07
3588.53/3599.28 c Gap : 0.35771 %
3588.53/3599.28 c * Warning: final gap: 3.57708e-03 is greater than SCIPepsilon: 1.00000e-09
3588.53/3599.28 o 30147094
3588.53/3599.28 s SATISFIABLE
3588.53/3599.28 v -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678
3588.53/3599.28 v -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383
3588.53/3599.28 v -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365
3588.53/3599.28 v -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069
3588.53/3599.28 v -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051
3588.53/3599.28 v -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755
3588.53/3599.28 v -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460
3588.53/3599.28 v -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442
3588.53/3599.28 v -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147
3588.53/3599.28 v -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129
3588.53/3599.28 v -x3128 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832
3588.53/3599.28 v -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2540 -x2539 -x2538 -x2537 -x2536
3588.53/3599.28 v -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518
3588.53/3599.28 v -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222
3588.53/3599.28 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204
3588.53/3599.28 v -x2203 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 x5580 -x5579 -x5578 -x5577 x5576 x5575 x5574
3588.53/3599.28 v x5573 -x5572 x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5282 -x5281 -x5280 -x5279 -x5278
3588.53/3599.28 v -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260
3588.53/3599.28 v -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964
3588.53/3599.28 v -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946
3588.53/3599.28 v -x4945 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 x4656 -x4655 -x4654 x4653 -x4652 x4651 -x4650
3588.53/3599.28 v x4649 x4648 x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4358 -x4357 -x4356 -x4355 -x4354
3588.53/3599.28 v -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336
3588.53/3599.28 v -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040
3588.53/3599.28 v -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022
3588.53/3599.28 v -x4021 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726
3588.53/3599.28 v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3434 -x3433 -x3432 -x3431 -x3430
3588.53/3599.28 v -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413
3588.53/3599.28 v -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
3588.53/3599.28 v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100
3588.53/3599.28 v -x3099 -x3098 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 x2808 -x2807 -x2806 x2805 -x2804 x2803
3588.53/3599.28 v x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2510 -x2509 -x2508 -x2507
3588.53/3599.28 v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489
3588.53/3599.28 v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193
3588.53/3599.28 v -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175
3588.53/3599.28 v -x2174 -x2173 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545
3588.53/3599.28 v -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5252 -x5251 -x5250 -x5249
3588.53/3599.28 v -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231
3588.53/3599.28 v -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936
3588.53/3599.28 v -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918
3588.53/3599.28 v -x4917 -x4916 -x4915 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622
3588.53/3599.28 v -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4328 -x4327 -x4326
3588.53/3599.28 v -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308
3588.53/3599.28 v -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012
3588.53/3599.28 v -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994
3588.53/3599.28 v -x3993 -x3992 -x3991 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699
3588.53/3599.28 v -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3404 -x3403
3588.53/3599.28 v -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385
3588.53/3599.28 v -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090
3588.53/3599.28 v -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072
3588.53/3599.28 v -x3071 -x3070 -x3069 -x3068 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775
3588.53/3599.28 v -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2480 -x2479
3588.53/3599.28 v -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462
3588.53/3599.28 v -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166
3588.53/3599.28 v -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148
3588.53/3599.28 v -x2147 -x2146 -x2145 -x2144 -x2143 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518
3588.53/3599.28 v -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5222
3588.53/3599.28 v -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204
3588.53/3599.28 v -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908
3588.53/3599.28 v -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891
3588.53/3599.28 v -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287
3588.53/3599.28 v -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269
3588.53/3599.28 v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973
3588.53/3599.28 v -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677
3588.53/3599.28 v -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659
3588.53/3599.28 v -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363
3588.53/3599.28 v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346
3588.53/3599.28 v -x3345 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049
3588.53/3599.28 v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x2758 -x2757 -x2756 -x2755 -x2754
3588.53/3599.28 v -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736
3588.53/3599.28 v -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440
3588.53/3599.28 v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422
3588.53/3599.28 v -x2421 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126
3588.53/3599.28 v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x5192 -x5191 -x5190 -x5189
3588.53/3599.28 v -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 x5182 -x5181 -x5180 x5179 -x5178 x5177 -x5176 x5175 x5174 -x5173 -x5172 -x5171 -x5170
3588.53/3599.28 v -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874
3588.53/3599.28 v -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856
3588.53/3599.28 v -x4855 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252
3588.53/3599.28 v -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x3960 -x3959 -x3958 -x3957
3588.53/3599.28 v -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 x3950 -x3949 -x3948 x3947 -x3946 x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938
3588.53/3599.28 v -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642
3588.53/3599.28 v -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625
3588.53/3599.28 v -x3624 -x3623 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 x3334 -x3333 -x3332 x3331 -x3330 x3329 -x3328
3588.53/3599.28 v -x3327 x3326 x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3035 -x3034 -x3033 -x3032 -x3031
3588.53/3599.28 v -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013
3588.53/3599.28 v -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718
3588.53/3599.28 v -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701
3588.53/3599.28 v -x2700 -x2699 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 x2410 -x2409 -x2408 x2407 -x2406 x2405 -x2404
3588.53/3599.28 v x2403 x2402 x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2112 -x2111 -x2110 -x2109 -x2108
3588.53/3599.28 v -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090
3588.53/3599.28 v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460
3588.53/3599.28 v -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442
3588.53/3599.28 v -x5441 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147
3588.53/3599.28 v -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x4854 -x4853 -x4852 -x4851
3588.53/3599.28 v -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833
3588.53/3599.28 v -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536
3588.53/3599.28 v -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518
3588.53/3599.28 v -x4517 -x4516 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222
3588.53/3599.28 v -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x3930 -x3929 -x3928 -x3927
3588.53/3599.28 v -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910
3588.53/3599.28 v -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614
3588.53/3599.28 v -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596
3588.53/3599.28 v -x3595 -x3594 -x3593 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300
3588.53/3599.28 v -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3005 -x3004 -x3003
3588.53/3599.28 v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985
3588.53/3599.28 v -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
3588.53/3599.28 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672
3588.53/3599.28 v -x2671 -x2670 -x2669 -x2668 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377
3588.53/3599.28 v -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2082 -x2081
3588.53/3599.28 v -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063
3588.53/3599.28 v -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 x5318 -x5317 -x5316 -x5313 -x5010 -x5009 -x5008 x5007
3588.53/3599.28 v -x5006 -x4701 -x4700 -x4699 -x4698 -x4697 -x4395 x4393 -x4392 -x4389 -x4087 -x4086 -x4085 -x4083 -x4082 -x4081 -x3779 -x3778
3588.53/3599.28 v -x3777 -x3776 x3775 -x3773 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3163 -x3162 -x3161 -x3160 x3159 -x3158 -x2855 -x2853
3588.53/3599.28 v -x2852 -x2851 -x2850 -x2849 -x2547 x2546 -x2545 -x2543 -x2542 -x2541 -x2239 -x2238 -x2237 -x2236 x2235 -x2233 -x1931 -x1930
3588.53/3599.28 v -x1929 -x1928 -x1927 -x1926 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607
3588.53/3599.28 v -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5319 -x5500
3588.53/3599.28 v -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482
3588.53/3599.28 v -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5315 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307
3588.53/3599.28 v -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289
3588.53/3599.28 v -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5011 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995
3588.53/3599.28 v -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978
3588.53/3599.28 v -x4977 -x4976 -x4702 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591
3588.53/3599.28 v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4391 -x4575 -x4574
3588.53/3599.28 v -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556
3588.53/3599.28 v -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4390 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434
3588.53/3599.28 v -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5419 -x5418 -x5417 -x5416 -x5415
3588.53/3599.28 v -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 x5402 x5401 x5400 -x5399 -x5398 -x5397
3588.53/3599.28 v -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379
3588.53/3599.28 v -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361
3588.53/3599.28 v -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343
3588.53/3599.28 v -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326
3588.53/3599.28 v -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121
3588.53/3599.28 v -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103
3588.53/3599.28 v -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085
3588.53/3599.28 v -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066
3588.53/3599.28 v -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048
3588.53/3599.28 v -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 x5034 x5033 x5032 -x5031 -x5030
3588.53/3599.28 v -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012
3588.53/3599.28 v -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807
3588.53/3599.28 v -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789
3588.53/3599.28 v -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772
3588.53/3599.28 v -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754
3588.53/3599.28 v -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736
3588.53/3599.28 v -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716
3588.53/3599.28 v -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4515 -x4514 -x4513 -x4512 -x4511
3588.53/3599.28 v -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493
3588.53/3599.28 v -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 x4478 x4477 x4476 -x4475
3588.53/3599.28 v -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457
3588.53/3599.28 v -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439
3588.53/3599.28 v -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421
3588.53/3599.28 v -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404
3588.53/3599.28 v -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198
3588.53/3599.28 v -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180
3588.53/3599.28 v -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162
3588.53/3599.28 v -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144
3588.53/3599.28 v -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126
3588.53/3599.28 v -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108
3588.53/3599.28 v -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091
3588.53/3599.28 v -x4090 -x4089 -x4088 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886
3588.53/3599.28 v -x3885 -x3884 -x3883 -x3882 -x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867
3588.53/3599.28 v -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849
3588.53/3599.28 v -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831
3588.53/3599.28 v -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813
3588.53/3599.28 v -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 x3802 x3801 x3800 -x3799 -x3798 -x3797 -x3796 -x3795
3588.53/3599.28 v -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3592 -x3591 -x3590
3588.53/3599.28 v -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572
3588.53/3599.28 v -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554
3588.53/3599.28 v -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537
3588.53/3599.28 v -x3536 -x3535 -x3534 -x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518
3588.53/3599.28 v -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500
3588.53/3599.28 v -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482
3588.53/3599.28 v -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277
3588.53/3599.28 v -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259
3588.53/3599.28 v -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241
3588.53/3599.28 v -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224
3588.53/3599.28 v -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206
3588.53/3599.28 v -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188
3588.53/3599.28 v x3187 x3186 x3185 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169
3588.53/3599.28 v -x3168 -x3167 -x3166 -x3165 -x3164 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963
3588.53/3599.28 v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945
3588.53/3599.28 v -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927
3588.53/3599.28 v -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909
3588.53/3599.28 v -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891
3588.53/3599.28 v -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873
3588.53/3599.28 v -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856
3588.53/3599.28 v -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650
3588.53/3599.28 v -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632
3588.53/3599.28 v -x2631 x2630 x2629 x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614
3588.53/3599.28 v -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596
3588.53/3599.28 v -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578
3588.53/3599.28 v -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560
3588.53/3599.28 v -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355
3588.53/3599.28 v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2339 -x2338 -x2337 -x2336
3588.53/3599.28 v -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318
3588.53/3599.28 v -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301
3588.53/3599.28 v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283
3588.53/3599.28 v -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265
3588.53/3599.28 v -x2264 -x2263 x2262 x2261 x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247
3588.53/3599.28 v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042
3588.53/3599.28 v -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024
3588.53/3599.28 v -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006
3588.53/3599.28 v -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1991 -x1990 -x1989 -x1988 -x1987
3588.53/3599.28 v -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969
3588.53/3599.28 v -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951
3588.53/3599.28 v -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934
3588.53/3599.28 v -x1933 -x1932 -x1925 -x1923 -x1922 -x1921 -x1920 -x1919 -x925 -x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x912
3588.53/3599.28 v -x1918 -x1917 -x1916 -x1915 -x1914 -x1912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x901 -x900 -x899 -x1911 -x1910
3588.53/3599.28 v -x1909 -x1908 -x1907 -x1906 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x889 -x888 -x887 x886 -x885 -x1905 -x1904 -x1903 -x1901
3588.53/3599.28 v -x1900 -x1899 -x884 -x883 -x882 -x881 -x880 x878 -x877 -x876 -x875 -x874 -x873 -x872 -x1898 -x1897 -x1896 -x1895 -x1894
3588.53/3599.28 v -x1893 -x871 x870 -x869 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x1892 -x1889 -x1888 -x1887 -x1886 -x1885 -x858
3588.53/3599.28 v -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x845 -x1884 -x1883 -x1882 -x1881 -x1880 -x1878 -x844 -x843 -x842
3588.53/3599.28 v -x841 -x840 -x839 -x838 -x837 -x836 -x834 x833 -x832 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x831 x830 -x829 -x828 -x827
3588.53/3599.28 v -x826 -x825 -x823 -x822 -x821 -x820 -x819 -x1871 -x1870 -x1869 -x1867 -x1866 -x1865 -x818 -x817 -x816 x815 -x814 -x812 -x811
3588.53/3599.28 v -x810 -x809 -x808 -x807 -x806 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x805 -x804 -x803 -x801 -x800 x799 -x798 -x797 -x796
3588.53/3599.28 v -x795 -x794 -x793 -x1858 -x1856 -x1855 -x1854 -x1853 -x1852 x792 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781
3588.53/3599.28 v -x778 -x1851 -x1850 -x1849 -x1848 -x1847 -x1845 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x767 -x766 -x765 -x1844
3588.53/3599.28 v -x1843 -x1842 -x1841 -x1840 -x1839 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x756 -x755 -x754 -x753 -x752 -x1838 -x1837 -x1836
3588.53/3599.28 v -x1834 -x1833 -x1832 x751 -x750 -x749 -x748 -x747 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x1831 -x1830 -x1829 -x1828 -x1827
3588.53/3599.28 v -x1826 x738 -x737 -x736 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x1825 -x1823 -x1822 -x1821 -x1820 -x1819
3588.53/3599.28 v -x725 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x712 -x1818 -x1817 -x1816 -x1815 -x1814 -x1812 -x711 x710
3588.53/3599.28 v -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x701 -x700 -x699 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x698 x697 -x696 -x695
3588.53/3599.28 v -x694 -x693 -x692 -x690 -x689 -x688 -x687 -x686 -x1805 -x1804 -x1803 -x1801 -x1800 -x1799 -x685 x684 -x683 -x682 -x681 -x679
3588.53/3599.28 v -x678 -x677 -x676 -x675 -x674 -x673 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x672 x671 -x670 -x667 -x666 -x665 -x664 -x663
3588.53/3599.28 v -x662 -x661 -x660 -x659 -x1792 -x1790 -x1789 -x1788 -x1787 -x1786 -x658 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648
3588.53/3599.28 v -x647 -x645 -x1785 -x1784 -x1783 -x1782 -x1781 -x1778 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x634 -x633 -x632
3588.53/3599.28 v -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x623 -x622 -x621 x620 -x619 -x1771 -x1770
3588.53/3599.28 v -x1769 -x1767 -x1766 -x1765 -x618 -x617 -x616 x615 -x614 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x1764 -x1763 -x1762 -x1761
3588.53/3599.28 v -x1760 -x1759 -x605 x604 -x603 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x1758 -x1756 -x1755 -x1754 -x1753 -x1752
3588.53/3599.28 v -x592 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x579 -x1751 -x1750 -x1749 -x1748 -x1747 -x1745 -x578
3588.53/3599.28 v x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x568 -x567 -x566 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x565 -x564 -x563
3588.53/3599.28 v x562 -x561 -x560 -x559 -x556 -x555 -x554 -x553 -x552 -x1738 -x1737 -x1736 -x1734 -x1733 -x1732 x551 -x550 -x549 -x548 -x547 -x545
3588.53/3599.28 v -x544 -x543 -x542 -x541 -x540 -x539 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x538 -x537 -x536 x534 -x533 -x532 -x531 -x530
3588.53/3599.28 v -x529 -x528 -x527 -x526 -x1725 -x1723 -x1722 -x1721 -x1720 -x1719 x525 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
3588.53/3599.28 v -x514 -x512 -x1718 -x1717 -x1716 -x1715 -x1714 -x1712 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x501 -x500 -x499
3588.53/3599.28 v -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x490 -x489 -x488 -x487 -x486 -x1705
3588.53/3599.28 v -x1704 -x1703 -x1701 -x1700 -x1699 -x485 -x484 -x483 -x482 -x481 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x1698 -x1697 -x1696
3588.53/3599.28 v -x1695 -x1694 -x1693 -x472 -x471 -x470 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x1692 -x1690 -x1689 -x1688 -x1687
3588.53/3599.28 v -x1686 -x459 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x445 -x1685 -x1684 -x1683 -x1682 -x1681 -x1679 x444
3588.53/3599.28 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x434 -x433 -x432 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x431 -x430 -x429
3588.53/3599.28 v -x428 -x427 -x426 -x425 -x423 -x422 -x421 x420 -x419 -x1672 -x1671 -x1670 -x1667 -x1666 -x1665 -x418 -x417 -x416 -x415 -x414
3588.53/3599.28 v -x412 -x411 -x410 -x409 -x408 x407 -x406 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x405 -x404 -x403 x401 -x400 -x399 -x398
3588.53/3599.28 v -x397 -x396 -x395 -x394 -x393 -x1658 -x1656 -x1655 -x1654 -x1653 -x1652 -x392 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
3588.53/3599.28 v -x382 -x381 -x379 -x1651 -x1650 -x1649 -x1648 -x1647 -x1645 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x368 -x367
3588.53/3599.28 v -x366 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x357 -x356 -x355 -x354 -x353 -x1638
3588.53/3599.28 v -x1637 -x1636 -x1634 -x1633 -x1632 -x352 x351 -x350 -x349 -x348 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x1631 -x1630
3588.53/3599.28 v -x1629 -x1628 -x1627 -x1626 -x339 -x338 -x337 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x1625 -x1623 -x1622 -x1621
3588.53/3599.28 v -x1620 -x1619 -x325 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x312 -x1618 -x1617 -x1616 -x1615 -x1614 -x1612
3588.53/3599.28 v x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x301 -x300 -x299 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x298 -x297
3588.53/3599.28 v -x296 x295 -x294 -x293 -x292 -x290 -x289 -x288 -x287 -x286 -x1605 -x1604 -x1603 -x1601 -x1600 -x1599 -x285 -x284 -x283 -x282
3588.53/3599.28 v -x281 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x272 -x271 -x270 -x268 -x267 -x266
3588.53/3599.28 v -x265 -x264 -x263 -x262 x261 -x260 -x1592 -x1590 -x1589 -x1588 -x1587 -x1586 x259 -x257 -x256 -x255 -x254 -x253 -x252 -x251
3588.53/3599.28 v -x250 -x249 -x248 -x246 -x1585 -x1584 -x1583 -x1582 -x1581 -x1579 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x235
3588.53/3599.28 v x234 -x233 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x223 -x222 -x221 -x220 -x219
3588.53/3599.28 v -x1572 -x1571 -x1570 -x1568 -x1567 -x1566 -x218 -x217 -x216 -x215 -x214 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x1565 -x1564
3588.53/3599.28 v -x1563 -x1562 -x1561 -x1560 -x205 -x204 -x203 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x1559 -x1556 -x1555
3588.53/3599.28 v -x1554 -x1553 -x1552 -x192 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x179 -x1551 -x1550 -x1549 -x1548 -x1547
3588.53/3599.28 v -x1545 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x168 -x167 -x166 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x165
3588.53/3599.28 v x164 -x163 -x162 -x161 -x160 -x159 -x157 -x156 -x155 -x154 -x153 -x1538 -x1537 -x1536 -x1534 -x1533 -x1532 -x152 -x151 -x150
3588.53/3599.28 v -x149 -x148 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x139 -x138 -x137 -x135 -x134
3588.53/3599.28 v x133 -x132 -x131 -x130 -x129 -x128 -x127 -x1525 -x1523 -x1522 -x1521 -x1520 -x1519 -x126 -x124 -x123 -x122 -x121 -x120 -x119
3588.53/3599.28 v -x118 -x117 x116 -x115 -x112 -x1518 -x1517 -x1516 -x1515 -x1514 -x1512 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103
3588.53/3599.28 v -x101 -x100 -x99 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x90 -x89 -x88 -x87 -x86 -x1505
3588.53/3599.28 v -x1504 -x1503 -x1501 -x1500 -x1499 -x85 -x84 -x83 -x82 -x81 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x1498 -x1497 -x1496 -x1495 -x1494
3588.53/3599.28 v -x1493 -x72 -x71 -x70 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x1492 -x1490 -x1489 -x1488 -x1487 -x1486 -x59 -x57 -x56
3588.53/3599.28 v -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x46 -x1485 -x1484 -x1483 -x1482 -x1481 -x1479 -x45 -x44 -x43 -x42 -x41 -x40 -x39
3588.53/3599.28 v -x38 -x37 -x35 x34 -x33 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x24 -x23 x22 -x21 -x20
3588.53/3599.28 v -x1472 -x1471 -x1470 -x1468 -x1467 -x1466 x19 -x18 -x17 -x16 -x15 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x1465 -x1464 -x1463 -x1462
3588.53/3599.28 v -x1461 -x1460 x6 -x5 -x4 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x1459 -x1457 -x1456 -x1455 -x1454 -x1453
3588.53/3599.28 v -x6393 x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6380 -x1452 -x1451 -x1450 -x1449 -x1448 -x1445
3588.53/3599.28 v -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 x6369 -x6368 -x6367 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439
3588.53/3599.28 v -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6358 -x6357 -x6356 x6355 -x6354 -x1438 -x1437 -x1436 -x1434 -x1433 -x1432
3588.53/3599.28 v -x6353 -x6352 -x6351 -x6350 -x6349 -x6347 -x6346 x6345 -x6344 -x6343 -x6342 -x6341 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426
3588.53/3599.28 v -x6340 -x6339 -x6338 x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x1425 -x1423 -x1422 -x1421 -x1420 -x1419
3588.53/3599.28 v x6327 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6314 -x1418 -x1417 -x1416 -x1415 -x1414 -x1412
3588.53/3599.28 v -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 x6306 -x6305 -x6303 -x6302 -x6301 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406
3588.53/3599.28 v -x6300 x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6291 -x6290 -x6289 -x6288 -x6287 -x1405 -x1404 -x1403 -x1401 -x1400 -x1399
3588.53/3599.28 v -x6286 -x6285 -x6284 -x6283 -x6282 x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393
3588.53/3599.28 v -x6273 -x6272 -x6271 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 x6263 -x6262 -x6261 -x1392 -x1390 -x1389 -x1388 -x1387 -x1386
3588.53/3599.28 v -x6260 -x6258 -x6257 x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6247 -x1385 -x1384 -x1383 -x1382 -x1381 -x1379
3588.53/3599.28 v -x6246 -x6245 -x6244 -x6243 -x6242 x6241 -x6240 -x6239 -x6238 -x6236 -x6235 -x6234 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373
3588.53/3599.28 v -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6225 -x6224 -x6223 x6222 -x6221 -x1372 -x1371 -x1370 -x1368 -x1367 -x1366
3588.53/3599.28 v -x6220 -x6219 -x6218 -x6217 -x6216 -x6214 -x6213 -x6212 -x6211 x6210 -x6209 -x6208 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360
3588.53/3599.28 v -x6207 -x6206 -x6205 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 x6197 -x6196 -x6195 -x1359 -x1357 -x1356 -x1355 -x1354 -x1353
3588.53/3599.28 v -x6194 -x6192 -x6191 -x6190 -x6189 x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6180 -x1352 -x1351 -x1350 -x1349 -x1348 -x1346
3588.53/3599.28 v -x6179 x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6169 -x6168 -x6167 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340
3588.53/3599.28 v -x6166 x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6158 -x6157 -x6156 -x6155 -x6154 -x1339 -x1338 -x1337 -x1334 -x1333 -x1332
3588.53/3599.28 v -x6153 -x6152 -x6151 x6150 -x6149 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326
3588.53/3599.28 v -x6140 x6139 -x6138 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x1325 -x1323 -x1322 -x1321 -x1320 -x1319
3588.53/3599.28 v -x6127 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 x6119 -x6118 -x6117 -x6116 -x6114 -x1318 -x1317 -x1316 -x1315 -x1314 -x1312
3588.53/3599.28 v -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 x6106 -x6105 -x6103 -x6102 -x6101 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306
3588.53/3599.28 v -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6092 -x6091 x6090 -x6089 -x6088 -x1305 -x1304 -x1303 -x1301 -x1300 -x1299
3588.53/3599.28 v x6087 -x6086 -x6085 -x6084 -x6083 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293
3588.53/3599.28 v -x6074 -x6073 -x6072 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 x6063 -x6062 -x6061 -x1292 -x1290 -x1289 -x1288 -x1287 -x1286
3588.53/3599.28 v -x6060 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 x6052 -x6051 -x6050 -x6049 -x6047 -x1285 -x1284 -x1283 -x1282 -x1281 -x1279
3588.53/3599.28 v x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6036 -x6035 -x6034 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273
3588.53/3599.28 v -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6025 -x6024 -x6023 x6022 -x6021 -x1272 -x1271 -x1270 -x1268 -x1267 -x1266
3588.53/3599.28 v -x6020 -x6019 -x6018 -x6017 -x6016 -x6014 -x6013 -x6012 -x6011 -x6010 x6009 -x6008 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
3588.53/3599.28 v -x6007 -x6006 -x6005 -x6003 -x6002 -x6001 -x6000 x5999 -x5998 -x5997 -x5996 -x5995 -x1259 -x1257 -x1256 -x1255 -x1254 -x1253
3588.53/3599.28 v -x5994 -x5992 -x5991 x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5981 -x1252 -x1251 -x1250 -x1249 -x1248 -x1246
3588.53/3599.28 v -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5970 x5969 -x5968 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240
3588.53/3599.28 v -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5958 -x5957 x5956 -x5955 -x5954 -x1239 -x1238 -x1237 -x1235 -x1234 -x1233
3588.53/3599.28 v x5953 -x5952 -x5951 -x5950 -x5949 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227
3588.53/3599.28 v -x5940 x5939 -x5938 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x1226 -x1223 -x1222 -x1221 -x1220 -x1219
3588.53/3599.28 v -x5927 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 x5919 -x5918 -x5917 -x5916 -x5914 -x1218 -x1217 -x1216 -x1215 -x1214 -x1212
3588.53/3599.28 v -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 x5903 -x5902 -x5901 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206
3588.53/3599.28 v -x5900 -x5899 -x5898 x5897 -x5896 -x5895 -x5894 -x5892 -x5891 -x5890 -x5889 -x5888 -x1205 -x1204 -x1203 -x1201 -x1200 -x1199
3588.53/3599.28 v -x5887 -x5886 -x5885 -x5884 -x5883 -x5881 -x5880 x5879 -x5878 -x5877 -x5876 -x5875 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193
3588.53/3599.28 v -x5874 -x5873 -x5872 -x5870 -x5869 -x5868 -x5867 x5866 -x5865 -x5864 -x5863 -x5862 -x1192 -x1190 -x1189 -x1188 -x1187 -x1186
3588.53/3599.28 v -x5861 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 x5851 -x5850 -x5847 -x1185 -x1184 -x1183 -x1182 -x1181 -x1179
3588.53/3599.28 v -x5846 -x5845 -x5844 x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5836 -x5835 -x5834 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173
3588.53/3599.28 v -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 x5825 -x5824 -x5823 -x5822 -x5821 -x1172 -x1171 -x1170 -x1168 -x1167 -x1166
3588.53/3599.28 v -x5820 -x5819 -x5818 -x5817 -x5816 -x5814 -x5813 x5812 -x5811 -x5810 -x5809 -x5808 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160
3588.53/3599.28 v -x5807 -x5806 -x5805 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 x5797 -x5796 -x5795 -x1159 -x1157 -x1156 -x1155 -x1154 -x1153
3588.53/3599.28 v -x5794 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 x5783 -x5781 -x1152 -x1151 -x1150 -x1149 -x1148 -x1146
3588.53/3599.28 v -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 x5770 -x5769 -x5768 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140
3588.53/3599.28 v -x5767 -x5766 -x5765 -x5764 -x5763 x5762 -x5761 -x5759 -x5758 -x5757 -x5756 -x5755 -x1139 -x1138 -x1137 -x1135 -x1134 -x1133
3588.53/3599.28 v -x5754 -x5753 -x5752 -x5751 -x5750 x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127
3588.53/3599.28 v -x5741 -x5740 -x5739 x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x1126 -x1124 -x1123 -x1122 -x1121 -x1120
3588.53/3599.28 v -x5727 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 x5716 -x5714 -x1119 -x1118 -x1117 -x1116 -x1115 -x1111
3588.53/3599.28 v -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5703 x5702 -x5701 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105
3588.63/3599.30 v -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5692 -x5691 x5690 -x5689 -x5688 -x1104 -x1103 -x1102 -x1100 -x1099 -x1098
3588.63/3599.30 v -x5687 -x5686 -x5685 -x5684 -x5683 -x5681 -x5680 -x5679 -x5678 x5677 -x5676 -x5675 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092
3588.63/3599.30 v -x5674 -x5673 -x5672 -x5670 -x5669 -x5668 -x5667 x5666 -x5665 -x5664 -x5663 -x5662 -x1091 -x1089 -x1088 -x1087 -x1086 -x1085
3588.63/3599.30 v -x5661 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 x5653 -x5652 -x5651 -x5650 -x5648 -x1084 -x1083 -x1082 -x1081 -x1080 -x1078
3588.63/3599.30 v -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 x5640 -x5639 -x5637 -x5636 -x5635 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072
3588.63/3599.30 v -x5634 -x5633 -x5632 x5631 -x5630 -x5629 -x5628 -x5625 -x5624 -x5623 -x5622 -x5621 -x1071 -x1070 -x1069 -x1067 -x1066 -x1065
3588.63/3599.30 v -x5420 -x5314 -x5072 -x4975 -x4724 -x4606 -x4394 -x4238 -x4084 x3880 -x3774 -x3532 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059
3588.63/3599.30 v -x3435 -x3184 -x3067 -x2854 -x2698 -x2544 -x2340 -x2234 -x1992 -x1924 x1913 -x1902 -x1058 -x1056 -x1055 -x1054 -x1053 -x1052
3588.63/3599.30 v -x1891 x1879 -x1868 -x1857 -x1846 -x1835 -x1824 -x1813 -x1802 -x1791 -x1780 -x1768 -x1051 -x1050 -x1049 -x1048 -x1047 -x1045
3588.63/3599.30 v -x1757 -x1746 -x1735 -x1724 -x1713 -x1702 -x1691 -x1680 -x1669 -x1657 x1646 -x1635 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039
3588.63/3599.30 v -x1624 -x1613 -x1602 -x1591 -x1580 -x1569 -x1558 x1546 -x1535 -x1524 -x1513 -x1502 -x1038 -x1037 -x1036 -x1034 -x1033 -x1032
3588.63/3599.30 v -x1491 -x1480 -x1469 x1458 -x1447 -x1435 -x1424 -x1413 -x1402 -x1391 -x1380 -x1369 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026
3588.63/3599.30 v x1358 -x1347 -x1336 -x1324 -x1313 -x1302 -x1291 -x1280 -x1269 -x1258 -x1247 -x1236 -x1025 -x1023 -x1022 -x1021 -x1020 -x1019
3588.63/3599.30 v -x1225 -x1213 -x1202 -x1191 -x1180 -x1169 -x1158 -x1147 -x1136 x1125 -x1114 -x1101 -x1018 -x1017 -x1016 -x1015 -x1014 -x1012
3588.63/3599.30 v -x1090 -x1079 -x1068 -x1057 -x1046 -x1035 -x1024 -x1013 -x1002 -x990 x979 -x968 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
3588.63/3599.30 v -x957 -x946 -x935 -x924 -x913 -x902 -x891 -x879 -x868 x857 -x846 -x835 -x1005 -x1004 -x1003 -x1000 -x999 -x998 -x824 -x813
3588.63/3599.30 v -x802 -x791 -x780 x768 -x757 -x746 -x735 -x724 -x713 -x702 -x997 -x996 -x995 -x994 -x993 -x992 -x691 -x680 -x669 -x657 -x646
3588.63/3599.30 v -x635 -x624 x613 -x602 -x591 -x580 -x569 -x991 -x989 -x988 -x987 -x986 -x985 -x558 -x546 -x535 -x524 -x513 -x502 -x491 x480
3588.63/3599.30 v -x469 -x458 -x447 -x435 -x984 -x983 -x982 -x981 -x980 -x978 -x424 -x413 -x402 -x391 -x380 -x369 -x358 x347 -x336 -x324 -x313
3588.63/3599.30 v -x302 -x977 -x976 -x975 -x974 -x973 -x972 -x291 -x280 -x269 -x258 -x247 -x236 -x225 x213 -x202 -x191 -x180 -x169 -x971 -x970
3588.63/3599.30 v -x969 -x967 -x966 -x965 -x158 x147 -x136 -x125 -x114 -x102 -x91 -x80 -x69 -x58 -x47 -x36 -x964 -x963 -x962 -x961 -x960 -x959
3588.63/3599.30 v -x25 -x14 -x3 -x6392 -x6381 x6370 -x6359 -x6348 -x6337 -x6326 -x6315 -x6304 -x958 -x956 -x955 -x954 -x953 -x952 -x6293 -x6281
3588.63/3599.30 v -x6270 -x6259 -x6248 -x6237 -x6226 x6215 -x6204 -x6193 -x6182 -x6170 -x951 -x950 -x949 -x948 -x947 -x945 -x6159 -x6148 -x6137
3588.63/3599.30 v -x6126 -x6115 -x6104 -x6093 -x6082 -x6071 x6059 -x6048 -x6037 -x944 -x943 -x942 -x941 -x940 -x939 -x6026 -x6015 -x6004 -x5993
3588.63/3599.30 v -x5982 x5971 -x5960 -x5948 -x5937 -x5926 -x5915 -x5904 -x938 -x937 -x936 -x934 -x933 -x932 -x5893 -x5882 -x5871 -x5860 -x5849
3588.63/3599.30 v -x5837 -x5826 -x5815 -x5804 -x5793 x5782 -x5771 -x931 -x930 -x929 -x928 -x927 -x926 -x5760 -x5749 -x5738 -x5726 -x5715 -x5704
3588.63/3599.30 v -x5693 -x5682 -x5671 x5660 -x5649 -x5638 -x5627 x4723 -x3066 -x1890 x1779 -x1668 x1557 x1446 -x1335 x1224 -x1113 x1001 -x890
3588.63/3599.30 v x779 -x668 x557 x446 -x335 -x224 -x113 -x2 -x6292 -x6181 -x6070 -x5959 -x5848 -x5737 -x5626 -x1112 -x1
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 (53990 MiB free)
memory of node 1: 64473 MiB (63037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463924-1722378594/watcher-4463924-1722378594 -o /tmp/evaluation-result-4463924-1722378594/solver-4463924-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29039 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463924-1722378594.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
Current StackSize limit: 8192 KiB
solver pid=29074, runsolver pid=29070
[startup+0.100102 s]*
/proc/loadavg: 0.49 0.34 0.23 5/238 29096
/proc/meminfo: memFree=119790136/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=46624 memory=35640 CPUtime=0.11 cores=5,7
/proc/29074/stat : 29074 (fscip) R 29070 29074 29026 0 -1 4194304 6545 0 0 0 9 2 0 0 20 0 1 0 4230838 47742976 8910 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 11656 8910 2614 3035 0 8052 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 46624 KiB
Current children cumulated memory: 35640 KiB
[startup+0.214579 s]*
/proc/loadavg: 0.49 0.34 0.23 6/245 29103
/proc/meminfo: memFree=119741428/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=55220 memory=44436 CPUtime=0.22 cores=5,7
/proc/29074/stat : 29074 (fscip) R 29070 29074 29026 0 -1 4194304 9175 0 0 0 19 3 0 0 20 0 1 0 4230838 56545280 11109 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 13805 11109 2774 3035 0 10201 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 55220 KiB
Current children cumulated memory: 44436 KiB
[startup+0.31451 s]*
/proc/loadavg: 0.49 0.34 0.23 6/247 29105
/proc/meminfo: memFree=119702360/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=59212 memory=48216 CPUtime=0.31 cores=5,7
/proc/29074/stat : 29074 (fscip) R 29070 29074 29026 0 -1 4194304 10162 0 0 0 28 3 0 0 20 0 1 0 4230838 60633088 12054 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 14803 12054 2790 3035 0 11199 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59212 KiB
Current children cumulated memory: 48216 KiB
[startup+0.701318 s]
/proc/loadavg: 0.49 0.34 0.23 5/249 29107
/proc/meminfo: memFree=119609868/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=166280 memory=89516 CPUtime=0.68 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 21168 0 0 0 61 7 0 0 20 0 3 0 4230838 170270720 22379 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 41570 22379 2822 3035 0 26989 0
[pid=29074/tid=29106] ppid=29070 vsize=166280 memory=5512 CPUtime=0.2 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 7111 0 0 0 18 2 0 0 20 0 3 0 4230884 170270720 22379 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=166280 memory=289 CPUtime=0 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230888 170270720 22379 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 166280 KiB
Current children cumulated memory: 89516 KiB
[startup+1.50036 s]
/proc/loadavg: 0.49 0.34 0.23 4/242 29115
/proc/meminfo: memFree=119549032/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=169344 memory=108460 CPUtime=1.46 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 25836 0 0 0 137 9 0 0 20 0 3 0 4230838 173408256 27115 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 42336 27115 2966 3035 0 32009 0
[pid=29074/tid=29106] ppid=29070 vsize=169344 memory=289 CPUtime=0.99 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 11779 0 0 0 95 4 0 0 20 0 3 0 4230884 173408256 27115 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=169344 memory=0 CPUtime=0 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230888 173408256 27115 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 169344 KiB
Current children cumulated memory: 108460 KiB
[startup+3.11255 s]
/proc/loadavg: 0.49 0.34 0.23 6/242 29189
/proc/meminfo: memFree=119301416/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=170372 memory=113712 CPUtime=3.07 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 32118 0 0 0 297 10 0 0 20 0 3 0 4230838 174460928 28428 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 42593 28428 2982 3035 0 33315 0
[pid=29074/tid=29106] ppid=29070 vsize=170372 memory=5512 CPUtime=2.58 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 18055 0 0 0 254 4 0 0 20 0 3 0 4230884 174460928 28428 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=170372 memory=-5155635682561191045 CPUtime=0 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4230888 174460928 28428 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 170372 KiB
Current children cumulated memory: 113712 KiB
[startup+6.30035 s]
/proc/loadavg: 0.77 0.41 0.25 5/248 29202
/proc/meminfo: memFree=117724752/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=171928 memory=128500 CPUtime=6.24 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 42955 0 0 0 613 11 0 0 20 0 3 0 4230838 176054272 32125 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 42982 32125 2982 3035 0 37543 0
[pid=29074/tid=29106] ppid=29070 vsize=171928 memory=126668 CPUtime=5.77 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 28892 0 0 0 571 6 0 0 20 0 3 0 4230884 176054272 32125 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=171928 memory=0 CPUtime=0 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4230888 176054272 32125 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 171928 KiB
Current children cumulated memory: 128500 KiB
[startup+12.7004 s]
/proc/loadavg: 1.03 0.47 0.27 5/251 29262
/proc/meminfo: memFree=115563140/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=237464 memory=145844 CPUtime=12.62 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 60517 0 0 0 1250 12 0 0 20 0 3 0 4230838 243163136 36461 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 59366 36461 3286 3035 0 41817 0
[pid=29074/tid=29106] ppid=29070 vsize=237464 memory=126668 CPUtime=12.14 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 46385 0 0 0 1207 7 0 0 20 0 3 0 4230884 243163136 36461 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=237464 memory=113944 CPUtime=0 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4230888 243163136 36461 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 237464 KiB
Current children cumulated memory: 145844 KiB
[startup+25.5004 s]
/proc/loadavg: 1.48 0.58 0.31 5/251 29264
/proc/meminfo: memFree=115513848/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=237464 memory=146100 CPUtime=25.39 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 75591 0 0 0 2526 13 0 0 20 0 3 0 4230838 243163136 36525 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 59366 36525 3334 3035 0 41817 0
[pid=29074/tid=29106] ppid=29070 vsize=237464 memory=4640 CPUtime=24.91 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 61418 0 0 0 2483 8 0 0 20 0 3 0 4230884 243163136 36525 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=237464 memory=145872 CPUtime=0 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4230888 243163136 36525 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 237464 KiB
Current children cumulated memory: 146100 KiB
[startup+51.113 s]
/proc/loadavg: 2.55 0.93 0.43 5/252 29272
/proc/meminfo: memFree=114759712/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=237464 memory=178392 CPUtime=50.93 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 127471 0 0 0 5076 17 0 0 20 0 3 0 4230838 243163136 44598 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 59366 44598 3334 3035 0 49700 0
[pid=29074/tid=29106] ppid=29070 vsize=237464 memory=176684 CPUtime=50.45 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 112246 0 0 0 5033 12 0 0 20 0 3 0 4230884 243163136 44598 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=237464 memory=7595691734016158566 CPUtime=0 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4230888 243163136 44598 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 237464 KiB
Current children cumulated memory: 178392 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 1.40 0.62 5/252 29281
/proc/meminfo: memFree=114680572/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=237464 memory=199484 CPUtime=101.99 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 210666 0 0 0 10175 24 0 0 20 0 3 0 4230838 243163136 49871 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 59366 49871 3334 3035 0 55443 0
[pid=29074/tid=29106] ppid=29070 vsize=237464 memory=199516 CPUtime=101.5 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 193497 0 0 0 10131 19 0 0 20 0 3 0 4230884 243163136 49871 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=237464 memory=12132 CPUtime=0 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 4230888 243163136 49871 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 237464 KiB
Current children cumulated memory: 199484 KiB
[startup+162.3 s]
/proc/loadavg: 3.82 1.89 0.84 5/252 29293
/proc/meminfo: memFree=114505384/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=303000 memory=206552 CPUtime=161.81 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 251216 0 0 0 16153 28 0 0 20 0 3 0 4230838 310272000 51638 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 75750 51638 3334 3035 0 56227 0
[pid=29074/tid=29106] ppid=29070 vsize=303000 memory=202488 CPUtime=161.31 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 233978 0 0 0 16109 22 0 0 20 0 3 0 4230884 310272000 51638 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=303000 memory=204216 CPUtime=0 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4230888 310272000 51638 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 303000 KiB
Current children cumulated memory: 206552 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.33 1.06 5/252 29304
/proc/meminfo: memFree=114433028/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=301444 memory=252500 CPUtime=221.62 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 286213 0 0 0 22130 32 0 0 20 0 3 0 4230838 308678656 63125 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 75361 63125 3334 3035 0 66942 0
[pid=29074/tid=29106] ppid=29070 vsize=301444 memory=223744 CPUtime=221.11 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 268939 0 0 0 22085 26 0 0 20 0 3 0 4230884 308678656 63125 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=301444 memory=224608 CPUtime=0 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 4230888 308678656 63125 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
################
# More data... #
################
[pid=29074] ppid=29070 vsize=1236284 memory=1133116 CPUtime=3452.04 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 2168490 0 0 0 344822 382 0 0 20 0 3 0 4230838 1265954816 283279 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 309071 283279 3366 3035 0 288828 0
[pid=29074/tid=29106] ppid=29070 vsize=1236284 memory=1114728 CPUtime=3451.18 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 2150141 0 0 0 344755 363 0 0 20 0 3 0 4230884 1265954816 283279 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=1236284 memory=1132272 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 108 0 0 0 1 3 0 0 20 0 3 0 4230888 1265954816 283279 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3452.04 s
Current children cumulated vsize: 1236284 KiB
Current children cumulated memory: 1133116 KiB
[startup+3522.3 s]
/proc/loadavg: 4.58 4.27 4.13 5/251 31050
/proc/meminfo: memFree=111249220/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=1236400 memory=1154908 CPUtime=3511.85 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 2222780 0 0 0 350796 389 0 0 20 0 3 0 4230838 1266073600 288727 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 309100 288727 3366 3035 0 294462 0
[pid=29074/tid=29106] ppid=29070 vsize=1236400 memory=1114728 CPUtime=3510.99 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 2204408 0 0 0 350729 370 0 0 20 0 3 0 4230884 1266073600 288727 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=1236400 memory=1153848 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 109 0 0 0 1 3 0 0 20 0 3 0 4230888 1266073600 288727 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 1236400 KiB
Current children cumulated memory: 1154908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.44 4.31 4.15 5/251 31061
/proc/meminfo: memFree=111219776/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=1236412 memory=1167276 CPUtime=3571.68 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 2279481 0 0 0 356768 400 0 0 20 0 3 0 4230838 1266085888 291819 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 309103 291819 3366 3035 0 297276 0
[pid=29074/tid=29106] ppid=29070 vsize=1236412 memory=1114728 CPUtime=3570.8 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 2261088 0 0 0 356700 380 0 0 20 0 3 0 4230884 1266085888 291819 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=1236412 memory=1167276 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 110 0 0 0 1 3 0 0 20 0 3 0 4230888 1266085888 291819 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 1236412 KiB
Current children cumulated memory: 1167276 KiB
[startup+3599.39 s]
# the end of solver process 29074 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.52 s, system=4.21174 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.44 4.31 4.15 5/251 31061
/proc/meminfo: memFree=111218792/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=1236412 memory=1168228 CPUtime=3573.38 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 2280176 0 0 0 356938 400 0 0 20 0 3 0 4230838 1266085888 292057 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 309103 292057 3366 3035 0 297532 0
[pid=29074/tid=29106] ppid=29070 vsize=1236412 memory=-7594032712773623415 CPUtime=3572.51 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 2261783 0 0 0 356871 380 0 0 20 0 3 0 4230884 1266085888 292057 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=1236412 memory=-4050210904893473430 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 110 0 0 0 1 3 0 0 20 0 3 0 4230888 1266085888 292057 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 1236412 KiB
Current children cumulated memory: 1168228 KiB
[startup+3590.4 s]
/proc/loadavg: 4.40 4.30 4.15 6/251 31061
/proc/meminfo: memFree=111218744/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=1236412 memory=1168320 CPUtime=3579.75 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 2287570 0 0 0 357574 401 0 0 20 0 3 0 4230838 1266085888 292080 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 309103 292080 3366 3035 0 297532 0
[pid=29074/tid=29106] ppid=29070 vsize=1236412 memory=12132 CPUtime=3578.88 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 2269177 0 0 0 357507 381 0 0 20 0 3 0 4230884 1266085888 292080 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=1236412 memory=1168316 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 110 0 0 0 1 3 0 0 20 0 3 0 4230888 1266085888 292080 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3579.75 s
Current children cumulated vsize: 1236412 KiB
Current children cumulated memory: 1168320 KiB
[startup+3593.6 s]
/proc/loadavg: 4.37 4.29 4.15 5/251 31063
/proc/meminfo: memFree=111207176/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=1236412 memory=1179008 CPUtime=3582.94 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 2292820 0 0 0 357892 402 0 0 20 0 3 0 4230838 1266085888 294752 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 309103 294752 3366 3035 0 300610 0
[pid=29074/tid=29106] ppid=29070 vsize=1236412 memory=1178996 CPUtime=3582.07 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 2274427 0 0 0 357825 382 0 0 20 0 3 0 4230884 1266085888 294752 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=1236412 memory=1168308 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 110 0 0 0 1 3 0 0 20 0 3 0 4230888 1266085888 294752 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3582.94 s
Current children cumulated vsize: 1236412 KiB
Current children cumulated memory: 1179008 KiB
[startup+3596.8 s]
/proc/loadavg: 4.34 4.29 4.15 5/251 31063
/proc/meminfo: memFree=111207088/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=1236412 memory=1179156 CPUtime=3586.13 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 2294816 0 0 0 358211 402 0 0 20 0 3 0 4230838 1266085888 294789 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 309103 294789 3366 3035 0 300610 0
[pid=29074/tid=29106] ppid=29070 vsize=1236412 memory=12132 CPUtime=3585.26 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 2276423 0 0 0 358144 382 0 0 20 0 3 0 4230884 1266085888 294789 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=1236412 memory=1179112 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 110 0 0 0 1 3 0 0 20 0 3 0 4230888 1266085888 294789 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 1236412 KiB
Current children cumulated memory: 1179156 KiB
[startup+3598.4 s]
/proc/loadavg: 4.34 4.29 4.15 5/251 31063
/proc/meminfo: memFree=111207076/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=1236412 memory=1179164 CPUtime=3587.73 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 2353320 0 0 0 358368 405 0 0 20 0 3 0 4230838 1266085888 294791 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 309103 294791 3366 3035 0 300610 0
[pid=29074/tid=29106] ppid=29070 vsize=1236412 memory=33104 CPUtime=3586.85 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 2334932 0 0 0 358300 385 0 0 20 0 3 0 4230884 1266085888 294791 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=1236412 memory=104 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 110 0 0 0 1 3 0 0 20 0 3 0 4230888 1266085888 294791 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 1236412 KiB
Current children cumulated memory: 1179164 KiB
[startup+3598.8 s]
/proc/loadavg: 4.34 4.29 4.15 5/251 31063
/proc/meminfo: memFree=111207076/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=1236412 memory=1179164 CPUtime=3588.13 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 2393281 0 0 0 358405 408 0 0 20 0 3 0 4230838 1266085888 294791 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 309103 294791 3366 3035 0 300610 0
[pid=29074/tid=29106] ppid=29070 vsize=1236412 memory=1179156 CPUtime=3587.26 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 2374888 0 0 0 358338 388 0 0 20 0 3 0 4230884 1266085888 294791 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=1236412 memory=11968 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 110 0 0 0 1 3 0 0 20 0 3 0 4230888 1266085888 294791 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3588.13 s
Current children cumulated vsize: 1236412 KiB
Current children cumulated memory: 1179164 KiB
[startup+3599.2 s]
/proc/loadavg: 4.34 4.29 4.15 4/244 31071
/proc/meminfo: memFree=113655460/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=1236412 memory=1179164 CPUtime=3588.53 cores=5,7
/proc/29074/stat : 29074 (fscip) S 29070 29074 29026 0 -1 1077936128 2441185 0 0 0 358442 411 0 0 20 0 3 0 4230838 1266085888 294791 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 309103 294791 3366 3035 0 300610 0
[pid=29074/tid=29106] ppid=29070 vsize=1236412 memory=32604 CPUtime=3587.66 cores=5,7
/proc/29074/task/29106/stat : 29106 (fscip) R 29070 29074 29026 0 -1 4194368 2422794 0 0 0 358375 391 0 0 20 0 3 0 4230884 1266085888 294791 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
[pid=29074/tid=29107] ppid=29070 vsize=1236412 memory=33916 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 110 0 0 0 1 3 0 0 20 0 3 0 4230888 1266085888 294791 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3588.53 s
Current children cumulated vsize: 1236412 KiB
Current children cumulated memory: 1179164 KiB
[startup+3599.3 s]
/proc/loadavg: 4.34 4.29 4.15 4/244 31071
/proc/meminfo: memFree=113655460/131655788 swapFree=131071216/131071996
[pid=29074] ppid=29070 vsize=1191548 memory=1109128 CPUtime=3588.63 cores=5,7
/proc/29074/stat : 29074 (fscip) R 29070 29074 29026 0 -1 4194304 2449736 0 0 0 358451 412 0 0 20 0 2 0 4230838 1220145152 277282 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
/proc/29074/statm: 297887 277282 3366 3035 0 289394 0
[pid=29074/tid=29107] ppid=29070 vsize=1191548 memory=1167276 CPUtime=0.04 cores=5,7
/proc/29074/task/29107/stat : 29107 (fscip) S 29070 29074 29026 0 -1 1077936192 110 0 0 0 1 3 0 0 20 0 2 0 4230888 1220145152 277282 134679101440 4194304 16623229 140734318557664 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 37105664 140734318564374 140734318564490 140734318564490 140734318571504 0
Current children cumulated CPU time: 3588.63 s
Current children cumulated vsize: 1191548 KiB
Current children cumulated memory: 1109128 KiB
Child status: 0
Real time (s): 3599.39
CPU time (s): 3588.73
CPU user time (s): 3584.52
CPU system time (s): 4.21174
CPU usage (%): 99.7037
Max. virtual memory (cumulated for all children) (KiB): 1236412
Max. memory (cumulated for all children) (KiB): 1179164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.52
system time used= 4.21174
maximum resident set size= 1179164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2449774
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= 11559
involuntary context switches= 7064
# summary of solver processes directly reported to runsolver:
# pid: 29074
# total CPU time (s): 3588.73
# total CPU user time (s): 3584.52
# total CPU system time (s): 4.21174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9914 second user time and 35.1174 second system time
The end
Begin job on nodeC003 at 2024-07-31 00:29:54
IDJOB=4463924
IDBENCH=146797
IDSOLVER=3092
FILE ID=nodeC003/4463924-1722378594
RUNJOBID= nodeC003-1722378594-29039
SLURM_JOB_ID= 8249833
Free space on /tmp= 723780 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.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-4463924-1722378594/watcher-4463924-1722378594 -o /tmp/evaluation-result-4463924-1722378594/solver-4463924-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29039 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463924-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=1497379858
nodeC003.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 : 1197.185
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.52
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 : 1197.232
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.40
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.184
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.52
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.179
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.40
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 : 1197.176
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.52
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 : 1197.172
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.40
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.181
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.52
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.180
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.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 119836944 kB
MemAvailable: 130022280 kB
Buffers: 81528 kB
Cached: 10931972 kB
SwapCached: 16 kB
Active: 253224 kB
Inactive: 11120232 kB
Active(anon): 1336 kB
Inactive(anon): 380100 kB
Active(file): 251888 kB
Inactive(file): 10740132 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 114932 kB
Writeback: 0 kB
AnonPages: 359372 kB
Mapped: 87300 kB
Shmem: 21156 kB
KReclaimable: 67032 kB
Slab: 142664 kB
SReclaimable: 67032 kB
SUnreclaim: 75632 kB
KernelStack: 3696 kB
PageTables: 9216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 687476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6688 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 277320 kB
DirectMap2M: 6967296 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723588 MiB
End job on nodeC003 at 2024-07-31 01:29:54