0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 45494272, getVmSize() = 45494272, SCIPgetMemUsed() = 20716468, SCIPgetMemTotal() = 23401580, SCIPgetMemExternEstim() = 10367449
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.21/0.26 c ** Estimated virtualMemUsedAtSolver = 39259390, getVmSize() = 72220672, SCIPgetMemUsed() = 29914317, SCIPgetMemTotal() = 48521637, SCIPgetMemExternEstim() = 10367449
0.21/0.26 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.21/0.26 c Original Problem :
0.21/0.26 c Problem name : instance-4434592-1721064879
0.21/0.26 c Variables : 6402 (6402 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.26 c Constraints : 4465
0.21/0.26 c Objective sense : minimize
0.21/0.26 c Presolved Problem :
0.21/0.26 c Variables : 3496 (3496 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.26 c Constraints : 3545
0.21/0.26 c Constraints : Number
0.21/0.26 c knapsack : 71
0.21/0.26 c setppc : 2135
0.21/0.26 c linear : 23
0.21/0.26 c logicor : 1316
0.21/0.26 c ** Instance transfer method used: 0
0.21/0.29 c ** ParaScipInstance copy does not increase the number of variables. **
0.21/0.32 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.21/0.32 c Nodes Active
0.21/0.32 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.65/0.79 c * 1 0 1 1 77676302.0000 - -
0.65/0.80 c * 1 0 1 1 41310910.0000 - -
8.32/8.47 c 8 2 1 1 41310910.0000 29132604.7030 41.80%
22.49/22.64 c 23 5 4 1 41310910.0000 29132604.7030 41.80%
28.18/28.33 c 28 100 91 1 41310910.0000 29134912.2742 41.79%
28.28/28.40 c * 28 100 91 1 35050034.0000 29134912.2742 20.30%
33.76/34.01 c 34 210 189 1 35050034.0000 29134912.2742 20.30%
38.86/39.09 c 39 297 268 1 35050034.0000 29135468.1164 20.30%
39.25/39.44 c * 39 297 268 1 34969000.0000 29135468.1164 20.02%
44.13/44.31 c 44 367 338 1 34969000.0000 29135468.1164 20.02%
49.92/50.15 c 50 446 417 1 34969000.0000 29135804.6574 20.02%
55.91/56.16 c 56 490 461 1 34969000.0000 29136050.3967 20.02%
62.48/62.73 c 63 562 533 1 34969000.0000 29136050.3967 20.02%
65.57/65.80 c * 66 593 564 1 34842770.0000 29136050.3967 19.59%
67.67/68.01 c 68 634 605 1 34842770.0000 29136050.3967 19.59%
73.26/73.58 c 74 694 663 1 34842770.0000 29136050.3967 19.59%
79.23/79.54 c 80 765 734 1 34842770.0000 29136050.3967 19.59%
84.73/85.04 c 85 834 801 1 34842770.0000 29136085.1456 19.59%
90.51/90.82 c 91 890 857 1 34842770.0000 29136504.9777 19.58%
96.59/96.98 c 97 975 942 1 34842770.0000 29136604.9974 19.58%
102.58/102.97 c 103 1032 999 1 34842770.0000 29136604.9974 19.58%
108.68/109.02 c 109 1099 1066 1 34842770.0000 29136604.9974 19.58%
114.15/114.54 c 115 1134 1101 1 34842770.0000 29137487.2334 19.58%
120.04/120.40 c 120 1264 1231 1 34842770.0000 29137487.2334 19.58%
126.73/127.15 c 127 1318 1285 1 34842770.0000 29137487.2334 19.58%
132.20/132.68 c 133 1390 1357 1 34842770.0000 29137615.8749 19.58%
138.29/138.76 c 139 1465 1432 1 34842770.0000 29138026.2397 19.58%
144.07/144.53 c 145 1539 1506 1 34842770.0000 29138026.2397 19.58%
149.06/149.56 c 150 1608 1575 1 34842770.0000 29138029.1895 19.58%
154.75/155.22 c 155 1664 1631 1 34842770.0000 29138029.1895 19.58%
160.13/160.63 c 161 1758 1723 1 34842770.0000 29138029.1895 19.58%
165.22/165.78 c 166 1842 1807 1 34842770.0000 29138172.2768 19.58%
171.00/171.56 c 172 1910 1875 1 34842770.0000 29138403.1794 19.58%
176.29/176.85 c 177 1945 1910 1 34842770.0000 29138653.9560 19.58%
181.59/182.12 c 182 2039 2004 1 34842770.0000 29141281.3629 19.56%
187.27/187.85 c 188 2145 2110 1 34842770.0000 29141487.6368 19.56%
193.56/194.12 c 194 2220 2185 1 34842770.0000 29141487.6368 19.56%
198.93/199.53 c 200 2287 2252 1 34842770.0000 29141806.0015 19.56%
205.02/205.68 c 206 2398 2363 1 34842770.0000 29142217.0856 19.56%
210.20/210.80 c 211 2472 2437 1 34842770.0000 29142983.1892 19.56%
215.51/216.17 c 216 2512 2477 1 34842770.0000 29143057.3440 19.56%
221.28/221.90 c 222 2587 2551 1 34842770.0000 29145086.6753 19.55%
226.77/227.42 c 227 2732 2696 1 34842770.0000 29145086.6753 19.55%
232.15/232.84 c 233 3135 3093 1 34842770.0000 29145116.6707 19.55%
237.45/238.20 c 238 3439 3354 1 34842770.0000 29145145.7152 19.55%
242.73/243.48 c 243 3657 2 1 34842770.0000 29145158.1193 19.55%
248.42/249.19 c 249 3744 89 1 34842770.0000 29145158.1193 19.55%
253.80/254.52 c 255 3880 225 1 34842770.0000 29145158.1193 19.55%
258.89/259.61 c 260 3996 341 1 34842770.0000 29145158.1193 19.55%
264.17/264.94 c 265 4245 590 1 34842770.0000 29145158.1193 19.55%
270.55/271.36 c 271 4526 865 1 34842770.0000 29145158.1193 19.55%
275.84/276.62 c 277 4750 1054 1 34842770.0000 29145158.1193 19.55%
281.62/282.44 c 282 4924 1225 1 34842770.0000 29145158.1193 19.55%
287.32/288.12 c 288 5145 1445 1 34842770.0000 29145158.1193 19.55%
292.59/293.43 c 293 5496 1782 1 34842770.0000 29145158.1193 19.55%
298.78/299.60 c 300 5675 1943 1 34842770.0000 29145158.1193 19.55%
304.17/305.03 c 305 5892 2148 1 34842770.0000 29145158.1193 19.55%
309.94/310.86 c 311 6211 2424 1 34842770.0000 29145158.1193 19.55%
315.24/316.18 c 316 6442 2643 1 34842770.0000 29145158.1193 19.55%
320.31/321.23 c 321 6643 2828 1 34842770.0000 29145158.1193 19.55%
326.50/327.45 c 327 6972 3120 1 34842770.0000 29145158.1193 19.55%
332.29/333.27 c 333 7276 3392 1 34842770.0000 29145158.1193 19.55%
337.67/338.65 c 339 7518 3621 1 34842770.0000 29145158.1193 19.55%
343.17/344.18 c 344 7821 3886 1 34842770.0000 29145158.1193 19.55%
348.55/349.58 c 350 8173 4212 1 34842770.0000 29145158.1193 19.55%
354.04/355.04 c 355 8521 4552 1 34842770.0000 29145158.1193 19.55%
359.32/360.31 c 360 9001 5014 1 34842770.0000 29145158.1193 19.55%
364.40/365.47 c 365 9255 5264 1 34842770.0000 29145158.1193 19.55%
370.39/371.42 c 371 9526 5531 1 34842770.0000 29145158.1193 19.55%
375.48/376.59 c 377 9997 5996 1 34842770.0000 29145158.1193 19.55%
381.07/382.18 c 382 10411 6410 1 34842770.0000 29145158.1193 19.55%
386.95/388.05 c 388 10811 6810 1 34842770.0000 29145158.1193 19.55%
391.94/393.11 c 393 11426 7423 1 34842770.0000 29145158.1193 19.55%
397.22/398.36 c 398 11727 6335 1 34842770.0000 29145158.1193 19.55%
402.50/403.60 c 404 12137 6743 1 34842770.0000 29145158.1193 19.55%
408.00/409.17 c 409 12482 7062 1 34842770.0000 29145158.1193 19.55%
413.07/414.27 c 414 12800 7364 1 34842770.0000 29145158.1193 19.55%
418.16/419.38 c 419 13029 7591 1 34842770.0000 29145158.1193 19.55%
423.45/424.67 c 425 13276 7830 1 34842770.0000 29145158.1193 19.55%
428.64/429.82 c 430 13491 8035 1 34842770.0000 29145158.1193 19.55%
434.22/435.45 c 435 13779 8317 1 34842770.0000 29145158.1193 19.55%
439.50/440.76 c 441 13997 8527 1 34842770.0000 29145158.1193 19.55%
444.98/446.25 c 446 14181 8705 1 34842770.0000 29145158.1193 19.55%
450.57/451.82 c 452 14418 8938 1 34842770.0000 29145158.1193 19.55%
456.05/457.36 c 457 14625 9141 1 34842770.0000 29145158.1193 19.55%
461.44/462.73 c 463 14878 9380 1 34842770.0000 29145158.1193 19.55%
466.73/468.06 c 468 15121 9609 1 34842770.0000 29145158.1193 19.55%
472.40/473.80 c 474 15403 9881 1 34842770.0000 29145158.1193 19.55%
477.81/479.18 c 479 15606 10082 1 34842770.0000 29145158.1193 19.55%
482.98/484.33 c 484 15854 10322 1 34842770.0000 29145158.1193 19.55%
488.57/489.97 c 490 16046 10492 1 34842770.0000 29145158.1193 19.55%
494.84/496.29 c 496 16287 10729 1 34842770.0000 29145158.1193 19.55%
500.33/501.79 c 502 16497 10939 1 34842770.0000 29145158.1193 19.55%
505.73/507.17 c 507 16834 11254 1 34842770.0000 29145158.1193 19.55%
510.90/512.35 c 512 17140 11548 1 34842770.0000 29145158.1193 19.55%
516.18/517.64 c 518 17227 11633 1 34842770.0000 29145158.1193 19.55%
521.37/522.83 c 523 17474 11878 1 34842770.0000 29145158.1193 19.55%
526.95/528.41 c 528 17676 12078 1 34842770.0000 29145158.1193 19.55%
532.14/533.62 c 534 17983 12379 1 34842770.0000 29145158.1193 19.55%
537.22/538.70 c 539 18337 12729 1 34842770.0000 29145158.1193 19.55%
542.21/543.79 c 544 18582 12951 1 34842770.0000 29145158.1193 19.55%
547.29/548.84 c 549 18880 13243 1 34842770.0000 29145158.1193 19.55%
553.18/554.75 c 555 19172 13533 1 34842770.0000 29145158.1193 19.55%
558.66/560.22 c 560 19300 13661 1 34842770.0000 29145158.1193 19.55%
564.04/565.66 c 566 19543 13894 1 34842770.0000 29145158.1193 19.55%
569.33/570.91 c 571 19796 14137 1 34842770.0000 29145158.1193 19.55%
574.72/576.31 c 576 20039 14378 1 34842770.0000 29145158.1193 19.55%
580.10/581.78 c 582 20233 14568 1 34842770.0000 29145158.1193 19.55%
585.19/586.87 c 587 20359 14694 1 34842770.0000 29145158.1193 19.55%
590.39/592.03 c 592 20747 15074 1 34842770.0000 29145158.1193 19.55%
596.06/597.73 c 598 21046 15373 1 34842770.0000 29145158.1193 19.55%
601.24/602.99 c 603 21302 15621 1 34842770.0000 29145158.1193 19.55%
606.62/608.30 c 608 21617 15910 1 34842770.0000 29145158.1193 19.55%
611.71/613.44 c 613 21899 16178 1 34842770.0000 29145158.1193 19.55%
616.90/618.62 c 619 22221 16486 1 34842770.0000 29145158.1193 19.55%
622.29/624.05 c 624 22528 16771 1 34842770.0000 29145158.1193 19.55%
622.78/624.53 c * 625 22528 16771 1 31731390.0000 29145158.1193 8.87%
628.06/629.88 c 630 22769 16827 1 31731390.0000 29145158.1193 8.87%
633.55/635.30 c 635 23053 17092 1 31731390.0000 29145158.1193 8.87%
638.64/640.42 c 640 23417 17447 1 31731390.0000 29145158.1193 8.87%
643.82/645.66 c 646 23734 17745 1 31731390.0000 29145158.1193 8.87%
649.51/651.37 c 651 23998 17939 1 31731390.0000 29145158.1193 8.87%
653.99/655.83 c * 656 24325 18203 1 30718524.0000 29145158.1193 5.40%
654.90/656.73 c 657 24461 16690 1 30718524.0000 29145158.1193 5.40%
656.21/658.06 c * 658 24491 16716 1 30717824.0000 29145158.1193 5.40%
656.39/658.25 c * 658 24491 16716 1 30263186.0000 29145158.1193 3.84%
656.50/658.31 c * 658 24491 16716 1 30260824.0000 29145158.1193 3.83%
659.99/661.83 c 662 24693 7748 1 30260824.0000 29145158.1193 3.83%
665.77/667.61 c 668 25044 7881 1 30260824.0000 29145158.1193 3.83%
670.85/672.76 c 673 25183 7966 1 30260824.0000 29145158.1193 3.83%
676.93/678.84 c 679 25304 8035 1 30260824.0000 29145158.1193 3.83%
682.02/684.01 c 684 25375 8082 1 30260824.0000 29145158.1193 3.83%
687.41/689.37 c 689 25549 8166 1 30260824.0000 29145158.1193 3.83%
693.20/695.12 c 695 25823 8278 1 30260824.0000 29145158.1193 3.83%
698.78/700.74 c 701 26111 8438 1 30260824.0000 29145158.1193 3.83%
704.66/706.69 c 707 26197 8506 1 30260824.0000 29145158.1193 3.83%
710.54/712.59 c 713 26377 8654 1 30260824.0000 29145158.1193 3.83%
715.73/717.76 c 718 26488 8733 1 30260824.0000 29145158.1193 3.83%
721.31/723.32 c 723 26669 8858 1 30260824.0000 29145158.1193 3.83%
726.60/728.68 c 729 26853 9000 1 30260824.0000 29145158.1193 3.83%
731.89/733.92 c 734 27056 9107 1 30260824.0000 29145158.1193 3.83%
737.09/739.12 c 739 27223 9196 1 30260824.0000 29145158.1193 3.83%
742.26/744.36 c 744 27307 9244 1 30260824.0000 29145158.1193 3.83%
747.75/749.80 c 750 27438 9331 1 30260824.0000 29145158.1193 3.83%
753.13/755.26 c 755 27594 9429 1 30260824.0000 29145158.1193 3.83%
759.21/761.32 c 761 27745 9544 1 30260824.0000 29145158.1193 3.83%
765.01/767.12 c 767 27911 9660 1 30260824.0000 29145158.1193 3.83%
770.67/772.83 c 773 28072 9759 1 30260824.0000 29145158.1193 3.83%
776.46/778.67 c 779 28173 9838 1 30260824.0000 29145158.1193 3.83%
782.14/784.33 c 784 28318 9935 1 30260824.0000 29145158.1193 3.83%
790.11/792.40 c 792 28429 10008 1 30260824.0000 29145158.1193 3.83%
795.39/797.60 c 798 28548 10071 1 30260824.0000 29145158.1193 3.83%
800.58/802.81 c 803 28698 10151 1 30260824.0000 29145158.1193 3.83%
805.66/807.95 c 808 28839 10252 1 30260824.0000 29145158.1193 3.83%
810.85/813.18 c 813 28996 10351 1 30260824.0000 29145158.1193 3.83%
816.12/818.45 c 818 29203 10450 1 30260824.0000 29145158.1193 3.83%
822.20/824.56 c 825 29349 10500 1 30260824.0000 29145158.1193 3.83%
827.59/829.97 c 830 29445 10544 1 30260824.0000 29145158.1193 3.83%
833.47/835.88 c 836 29598 10633 1 30260824.0000 29145158.1193 3.83%
839.57/841.95 c 842 29706 10703 1 30260824.0000 29145158.1193 3.83%
844.94/847.32 c 847 29831 10774 1 30260824.0000 29145158.1193 3.83%
850.74/853.18 c 853 29898 10813 1 30260824.0000 29145158.1193 3.83%
856.41/858.89 c 859 30003 10884 1 30260824.0000 29145158.1193 3.83%
861.79/864.20 c 864 30130 10971 1 30260824.0000 29145158.1193 3.83%
867.18/869.68 c 870 30276 11079 1 30260824.0000 29145158.1193 3.83%
873.57/876.04 c 876 30381 11146 1 30260824.0000 29145158.1193 3.83%
879.85/882.31 c 882 30516 11247 1 30260824.0000 29145158.1193 3.83%
885.93/888.40 c 888 30637 11334 1 30260824.0000 29145158.1193 3.83%
891.42/893.93 c 894 30753 11392 1 30260824.0000 29145158.1193 3.83%
897.10/899.69 c 900 30839 11444 1 30260824.0000 29145158.1193 3.83%
902.60/905.19 c 905 30953 11520 1 30260824.0000 29145158.1193 3.83%
908.08/910.69 c 911 31087 11618 1 30260824.0000 29145158.1193 3.83%
913.57/916.13 c 916 31250 11711 1 30260824.0000 29145158.1193 3.83%
918.85/921.43 c 921 31339 11776 1 30260824.0000 29145158.1193 3.83%
924.13/926.71 c 927 31441 11830 1 30260824.0000 29145158.1193 3.83%
929.62/932.29 c 932 31559 11890 1 30260824.0000 29145158.1193 3.83%
935.71/938.33 c 938 31667 11936 1 30260824.0000 29145158.1193 3.83%
941.69/944.36 c 944 31759 12002 1 30260824.0000 29145158.1193 3.83%
947.27/949.93 c 950 31835 12046 1 30260824.0000 29145158.1193 3.83%
952.96/955.68 c 956 31977 12126 1 30260824.0000 29145158.1193 3.83%
958.05/960.74 c 961 32098 12169 1 30260824.0000 29145158.1193 3.83%
963.23/965.94 c 966 32306 12251 1 30260824.0000 29145158.1193 3.83%
969.21/971.90 c 972 32649 12350 1 30260824.0000 29145158.1193 3.83%
974.80/977.53 c 978 32823 12406 1 30260824.0000 29145158.1193 3.83%
975.79/978.59 c * 979 32892 12431 1 30240211.0000 29145158.1193 3.76%
980.29/983.10 c 983 33277 12371 1 30240211.0000 29145158.1193 3.76%
985.76/988.51 c 989 33500 12474 1 30240211.0000 29145158.1193 3.76%
990.84/993.68 c 994 33697 12561 1 30240211.0000 29145158.1193 3.76%
996.72/999.53 c 1000 33859 12665 1 30240211.0000 29145158.1193 3.76%
1001.70/1004.54 c 1005 34006 12746 1 30240211.0000 29145158.1193 3.76%
1006.39/1009.29 c * 1009 34141 12833 1 30238668.0000 29145158.1193 3.75%
1007.09/1009.95 c 1010 34257 12833 1 30238668.0000 29145158.1193 3.75%
1012.57/1015.41 c 1015 34604 12957 1 30238668.0000 29145158.1193 3.75%
1017.96/1020.87 c 1021 34781 13024 1 30238668.0000 29145158.1193 3.75%
1023.04/1025.94 c 1026 35111 13148 1 30238668.0000 29145158.1193 3.75%
1028.42/1031.31 c 1031 35279 13226 1 30238668.0000 29145158.1193 3.75%
1033.60/1036.58 c 1037 35531 13340 1 30238668.0000 29145158.1193 3.75%
1038.89/1041.81 c 1042 35786 13469 1 30238668.0000 29145158.1193 3.75%
1044.47/1047.46 c 1047 36090 13577 1 30238668.0000 29145158.1193 3.75%
1050.45/1053.40 c 1053 36376 13689 1 30238668.0000 29145158.1193 3.75%
1055.73/1058.77 c 1059 36597 13788 1 30238668.0000 29145158.1193 3.75%
1061.02/1064.07 c 1064 36877 13892 1 30238668.0000 29145158.1193 3.75%
1066.89/1069.91 c 1070 37146 14035 1 30238668.0000 29145158.1193 3.75%
1072.37/1075.49 c 1075 37415 14202 1 30238668.0000 29145158.1193 3.75%
1078.15/1081.21 c 1081 37935 14396 1 30238668.0000 29145158.1193 3.75%
1083.43/1086.54 c 1087 38546 14595 1 30238668.0000 29145158.1193 3.75%
1088.71/1091.88 c 1092 39183 14800 1 30238668.0000 29145158.1193 3.75%
1093.91/1097.05 c 1097 39710 14999 1 30238668.0000 29145158.1193 3.75%
1099.68/1102.87 c 1103 40042 15163 1 30238668.0000 29145158.1193 3.75%
1105.06/1108.27 c 1108 40434 15309 1 30238668.0000 29145158.1193 3.75%
1110.24/1113.42 c 1113 40931 15478 1 30238668.0000 29145158.1193 3.75%
1115.73/1118.98 c 1119 41438 15645 1 30238668.0000 29145158.1193 3.75%
1121.31/1124.54 c 1125 41806 15755 1 30238668.0000 29145158.1193 3.75%
1126.68/1129.93 c 1130 42279 15890 1 30238668.0000 29145158.1193 3.75%
1132.06/1135.31 c 1135 42725 16046 1 30238668.0000 29145158.1193 3.75%
1137.55/1140.83 c 1141 43120 16155 1 30238668.0000 29145158.1193 3.75%
1143.03/1146.32 c 1146 43428 16269 1 30238668.0000 29145158.1193 3.75%
1148.12/1151.42 c 1151 43821 16406 1 30238668.0000 29145158.1193 3.75%
1153.30/1156.69 c 1157 44231 16566 1 30238668.0000 29145158.1193 3.75%
1158.69/1162.06 c 1162 44556 16697 1 30238668.0000 29145158.1193 3.75%
1164.46/1167.87 c 1168 44797 16790 1 30238668.0000 29145158.1193 3.75%
1170.23/1173.67 c 1174 45170 16955 1 30238668.0000 29145158.1193 3.75%
1175.82/1179.24 c 1179 45444 17169 1 30238668.0000 29145158.1193 3.75%
1181.00/1184.41 c 1184 45698 17333 1 30238668.0000 29145158.1193 3.75%
1187.59/1191.03 c 1191 45977 17494 1 30238668.0000 29145158.1193 3.75%
1193.16/1196.65 c 1197 46120 17569 1 30238668.0000 29145158.1193 3.75%
1198.55/1202.03 c 1202 46430 17705 1 30238668.0000 29145158.1193 3.75%
1204.12/1207.65 c 1208 46697 17796 1 30238668.0000 29145158.1193 3.75%
1209.61/1213.16 c 1213 47052 17955 1 30238668.0000 29145158.1193 3.75%
1215.09/1218.67 c 1219 47427 18090 1 30238668.0000 29145158.1193 3.75%
1220.58/1224.16 c 1224 47664 18155 1 30238668.0000 29145158.1193 3.75%
1225.95/1229.54 c 1230 47961 18248 1 30238668.0000 29145158.1193 3.75%
1231.45/1235.05 c 1235 48039 18260 1 30238668.0000 29145158.1193 3.75%
1236.44/1240.08 c 1240 48475 18394 1 30238668.0000 29145158.1193 3.75%
1242.01/1245.63 c 1246 48613 18460 1 30238668.0000 29145158.1193 3.75%
1247.51/1251.16 c 1251 48876 18505 1 30238668.0000 29145158.1193 3.75%
1253.40/1257.11 c 1257 48950 18543 1 30238668.0000 29145158.1193 3.75%
1258.57/1262.29 c 1262 49017 18564 1 30238668.0000 29145158.1193 3.75%
1263.85/1267.56 c 1268 49322 18649 1 30238668.0000 29145158.1193 3.75%
1269.24/1272.95 c 1273 49581 18756 1 30238668.0000 29145158.1193 3.75%
1274.44/1278.17 c 1278 49989 18972 1 30238668.0000 29145158.1193 3.75%
1279.51/1283.23 c 1283 50347 19252 1 30238668.0000 29145158.1193 3.75%
1284.60/1288.38 c 1288 50830 19667 1 30238668.0000 29145158.1193 3.75%
1289.98/1293.70 c 1294 51099 19854 1 30238668.0000 29145158.1193 3.75%
1295.29/1299.10 c 1299 51285 19970 1 30238668.0000 29145158.1193 3.75%
1301.27/1305.06 c 1305 51484 20109 1 30238668.0000 29145158.1193 3.75%
1306.35/1310.18 c 1310 51807 20348 1 30238668.0000 29145158.1193 3.75%
1311.63/1315.40 c 1315 52123 20554 1 30238668.0000 29145158.1193 3.75%
1316.82/1320.68 c 1321 52467 20816 1 30238668.0000 29145158.1193 3.75%
1322.21/1326.02 c 1326 52753 21022 1 30238668.0000 29145158.1193 3.75%
1327.48/1331.36 c 1331 53012 21217 1 30238668.0000 29145158.1193 3.75%
1332.77/1336.62 c 1337 53251 21382 1 30238668.0000 29145158.1193 3.75%
1338.05/1341.96 c 1342 53676 21699 1 30238668.0000 29145158.1193 3.75%
1343.25/1347.18 c 1347 53972 21907 1 30238668.0000 29145158.1193 3.75%
1349.32/1353.20 c 1353 54163 22030 1 30238668.0000 29145158.1193 3.75%
1354.71/1358.62 c 1359 54261 22090 1 30238668.0000 29145158.1193 3.75%
1360.50/1364.49 c 1364 54573 22332 1 30238668.0000 29145158.1193 3.75%
1365.88/1369.86 c 1370 54727 22454 1 30238668.0000 29145158.1193 3.75%
1371.96/1375.90 c 1376 54985 22640 1 30238668.0000 29145158.1193 3.75%
1377.16/1381.13 c 1381 55239 22814 1 30238668.0000 29145158.1193 3.75%
1382.24/1386.22 c 1386 55641 23092 1 30238668.0000 29145158.1193 3.75%
1388.04/1392.10 c 1392 55987 23336 1 30238668.0000 29145158.1193 3.75%
1393.50/1397.50 c 1398 56251 23530 1 30238668.0000 29145158.1193 3.75%
1398.69/1402.76 c 1403 56643 23794 1 30238668.0000 29145158.1193 3.75%
1404.28/1408.31 c 1408 56955 24030 1 30238668.0000 29145158.1193 3.75%
1409.86/1414.01 c 1414 57275 24254 1 30238668.0000 29145158.1193 3.75%
1415.14/1419.25 c 1419 57578 24481 1 30238668.0000 29145158.1193 3.75%
1420.22/1424.37 c 1424 57995 24778 1 30238668.0000 29145158.1193 3.75%
1425.41/1429.52 c 1430 58280 25001 1 30238668.0000 29145158.1193 3.75%
1431.00/1435.13 c 1435 58647 25286 1 30238668.0000 29145158.1193 3.75%
1436.37/1440.51 c 1441 58938 25463 1 30238668.0000 29145158.1193 3.75%
1441.56/1445.79 c 1446 59174 25639 1 30238668.0000 29145158.1193 3.75%
1446.75/1450.99 c 1451 59532 25907 1 30238668.0000 29145158.1193 3.75%
1451.95/1456.16 c 1456 59845 26142 1 30238668.0000 29145158.1193 3.75%
1457.42/1461.69 c 1462 60133 26330 1 30238668.0000 29145158.1193 3.75%
1463.30/1467.59 c 1468 60427 26552 1 30238668.0000 29145158.1193 3.75%
1468.68/1472.99 c 1473 60680 26713 1 30238668.0000 29145158.1193 3.75%
1474.37/1478.65 c 1479 60938 26903 1 30238668.0000 29145158.1193 3.75%
1479.86/1484.12 c 1484 61207 27066 1 30238668.0000 29145158.1193 3.75%
1485.53/1489.88 c 1490 61457 27220 1 30238668.0000 29145158.1193 3.75%
1490.84/1495.12 c 1495 61850 27511 1 30238668.0000 29145158.1193 3.75%
1496.01/1500.35 c 1500 62150 27721 1 30238668.0000 29145158.1193 3.75%
1501.10/1505.42 c 1505 62446 27945 1 30238668.0000 29145158.1193 3.75%
1506.08/1510.49 c 1510 62767 28196 1 30238668.0000 29145158.1193 3.75%
1511.96/1516.33 c 1516 63032 28359 1 30238668.0000 29145158.1193 3.75%
1517.25/1521.69 c 1522 63371 28594 1 30238668.0000 29145158.1193 3.75%
1522.34/1526.79 c 1527 63756 28837 1 30238668.0000 29145158.1193 3.75%
1527.42/1531.87 c 1532 64072 29033 1 30238668.0000 29145158.1193 3.75%
1532.63/1537.07 c 1537 64414 29244 1 30238668.0000 29145158.1193 3.75%
1537.71/1542.18 c 1542 64680 29438 1 30238668.0000 29145158.1193 3.75%
1543.38/1547.86 c 1548 65048 29666 1 30238668.0000 29145158.1193 3.75%
1548.58/1553.01 c 1553 65438 29910 1 30238668.0000 29145158.1193 3.75%
1553.76/1558.27 c 1558 65808 30145 1 30238668.0000 29145158.1193 3.75%
1558.85/1563.32 c 1563 66108 30341 1 30238668.0000 29145158.1193 3.75%
1564.43/1568.97 c 1569 66477 30586 1 30238668.0000 29145158.1193 3.75%
1569.72/1574.24 c 1574 66740 30803 1 30238668.0000 29145158.1193 3.75%
1575.40/1579.94 c 1580 66958 30953 1 30238668.0000 29145158.1193 3.75%
1580.61/1585.12 c 1585 67234 31099 1 30238668.0000 29145158.1193 3.75%
1585.77/1590.38 c 1590 67589 31342 1 30238668.0000 29145158.1193 3.75%
1591.26/1595.89 c 1596 68007 31616 1 30238668.0000 29145158.1193 3.75%
1596.34/1601.01 c 1601 68246 31781 1 30238668.0000 29145158.1193 3.75%
1602.33/1606.95 c 1607 68437 31920 1 30238668.0000 29145158.1193 3.75%
1607.41/1612.03 c 1612 68656 32051 1 30238668.0000 29145158.1193 3.75%
1612.78/1617.46 c 1617 68883 32212 1 30238668.0000 29145158.1193 3.75%
1617.87/1622.58 c 1623 68937 32242 1 30238668.0000 29145158.1193 3.75%
1623.36/1628.02 c 1628 69135 32356 1 30238668.0000 29145158.1193 3.75%
1629.05/1633.79 c 1634 69314 32457 1 30238668.0000 29145158.1193 3.75%
1634.53/1639.28 c 1639 69520 32601 1 30238668.0000 29145158.1193 3.75%
1640.12/1644.84 c 1645 69705 32740 1 30238668.0000 29145158.1193 3.75%
1645.31/1650.04 c 1650 69959 32900 1 30238668.0000 29145158.1193 3.75%
1650.78/1655.54 c 1656 70091 32982 1 30238668.0000 29145158.1193 3.75%
1655.77/1660.58 c 1661 70160 33035 1 30238668.0000 29145158.1193 3.75%
1660.87/1665.64 c 1666 70398 33203 1 30238668.0000 29145158.1193 3.75%
1665.95/1670.77 c 1671 70643 33356 1 30238668.0000 29145158.1193 3.75%
1671.25/1676.02 c 1676 70857 33448 1 30238668.0000 29145158.1193 3.75%
1676.42/1681.23 c 1681 71137 33612 1 30238668.0000 29145158.1193 3.75%
1681.80/1686.63 c 1687 71385 33776 1 30238668.0000 29145158.1193 3.75%
1687.09/1691.96 c 1692 71648 33923 1 30238668.0000 29145158.1193 3.75%
1692.29/1697.17 c 1697 71757 33986 1 30238668.0000 29145158.1193 3.75%
1697.86/1702.71 c 1703 72079 34202 1 30238668.0000 29145158.1193 3.75%
1703.26/1708.13 c 1708 72421 34366 1 30238668.0000 29145158.1193 3.75%
1708.93/1713.84 c 1714 72699 34526 1 30238668.0000 29145158.1193 3.75%
1714.52/1719.49 c 1719 72897 34642 1 30238668.0000 29145158.1193 3.75%
1720.01/1724.98 c 1725 73194 34818 1 30238668.0000 29145158.1193 3.75%
1725.39/1730.33 c 1730 73448 34978 1 30238668.0000 29145158.1193 3.75%
1730.88/1735.82 c 1736 73719 35080 1 30238668.0000 29145158.1193 3.75%
1736.27/1741.20 c 1741 73947 35238 1 30238668.0000 29145158.1193 3.75%
1741.75/1746.79 c 1747 74147 35382 1 30238668.0000 29145158.1193 3.75%
1748.24/1753.27 c 1753 74377 35522 1 30238668.0000 29145158.1193 3.75%
1753.72/1758.77 c 1759 74590 35637 1 30238668.0000 29145158.1193 3.75%
1759.61/1764.61 c 1765 74792 35729 1 30238668.0000 29145158.1193 3.75%
1765.19/1770.27 c 1770 74941 35802 1 30238668.0000 29145158.1193 3.75%
1770.88/1776.01 c 1776 75135 35874 1 30238668.0000 29145158.1193 3.75%
1776.86/1781.99 c 1782 75431 36030 1 30238668.0000 29145158.1193 3.75%
1781.95/1787.06 c 1787 75767 36226 1 30238668.0000 29145158.1193 3.75%
1787.63/1792.73 c 1793 76120 36447 1 30238668.0000 29145158.1193 3.75%
1792.71/1797.89 c 1798 76463 36676 1 30238668.0000 29145158.1193 3.75%
1797.80/1803.01 c 1803 76887 36939 1 30238668.0000 29145158.1193 3.75%
1803.57/1808.73 c 1809 77269 37163 1 30238668.0000 29145158.1193 3.75%
1809.16/1814.37 c 1814 77587 37343 1 30238668.0000 29145158.1193 3.75%
1815.15/1820.38 c 1820 77956 37566 1 30238668.0000 29145158.1193 3.75%
1820.33/1825.50 c 1826 78292 37758 1 30238668.0000 29145158.1193 3.75%
1826.01/1831.27 c 1831 78629 37989 1 30238668.0000 29145158.1193 3.75%
1831.40/1836.69 c 1837 78867 38113 1 30238668.0000 29145158.1193 3.75%
1836.79/1842.07 c 1842 79120 38242 1 30238668.0000 29145158.1193 3.75%
1842.07/1847.31 c 1847 79338 38374 1 30238668.0000 29145158.1193 3.75%
1847.44/1852.76 c 1853 79651 38561 1 30238668.0000 29145158.1193 3.75%
1852.62/1857.95 c 1858 79888 38722 1 30238668.0000 29145158.1193 3.75%
1857.92/1863.23 c 1863 80157 38849 1 30238668.0000 29145158.1193 3.75%
1863.40/1868.76 c 1869 80606 39056 1 30238668.0000 29145158.1193 3.75%
1868.70/1874.09 c 1874 81044 39332 1 30238668.0000 29145158.1193 3.75%
1873.87/1879.27 c 1879 81367 39539 1 30238668.0000 29145158.1193 3.75%
1879.15/1884.53 c 1885 81791 39829 1 30238668.0000 29145158.1193 3.75%
1885.05/1890.49 c 1890 82007 39943 1 30238668.0000 29145158.1193 3.75%
1890.43/1895.87 c 1896 82382 40202 1 30238668.0000 29145158.1193 3.75%
1895.91/1901.33 c 1901 82726 40376 1 30238668.0000 29145158.1193 3.75%
1901.10/1906.56 c 1907 82996 40516 1 30238668.0000 29145158.1193 3.75%
1906.28/1911.74 c 1912 83217 40635 1 30238668.0000 29145158.1193 3.75%
1911.47/1916.91 c 1917 83499 40825 1 30238668.0000 29145158.1193 3.75%
1917.15/1922.70 c 1923 83768 40986 1 30238668.0000 29145158.1193 3.75%
1922.43/1927.98 c 1928 84048 41136 1 30238668.0000 29145158.1193 3.75%
1927.72/1933.24 c 1933 84355 41327 1 30238668.0000 29145158.1193 3.75%
1933.00/1938.51 c 1939 84664 41480 1 30238668.0000 29145158.1193 3.75%
1938.10/1943.65 c 1944 85101 41787 1 30238668.0000 29145158.1193 3.75%
1943.59/1949.12 c 1949 85289 41864 1 30238668.0000 29145158.1193 3.75%
1948.76/1954.37 c 1954 85587 42038 1 30238668.0000 29145158.1193 3.75%
1954.06/1959.62 c 1960 85823 42184 1 30238668.0000 29145158.1193 3.75%
1959.45/1965.04 c 1965 86076 42343 1 30238668.0000 29145158.1193 3.75%
1964.63/1970.23 c 1970 86337 42513 1 30238668.0000 29145158.1193 3.75%
1969.61/1975.29 c 1975 86640 42734 1 30238668.0000 29145158.1193 3.75%
1975.10/1980.78 c 1981 86945 42907 1 30238668.0000 29145158.1193 3.75%
1980.50/1986.14 c 1986 87207 43087 1 30238668.0000 29145158.1193 3.75%
1986.49/1992.16 c 1992 87500 43294 1 30238668.0000 29145158.1193 3.75%
1991.86/1997.56 c 1998 87818 43476 1 30238668.0000 29145158.1193 3.75%
1997.36/2003.08 c 2003 88154 43664 1 30238668.0000 29145158.1193 3.75%
2003.03/2008.70 c 2009 88494 43872 1 30238668.0000 29145158.1193 3.75%
2008.22/2013.92 c 2014 88757 44001 1 30238668.0000 29145158.1193 3.75%
2013.31/2019.07 c 2019 88974 44106 1 30238668.0000 29145158.1193 3.75%
2018.41/2024.14 c 2024 89298 44306 1 30238668.0000 29145158.1193 3.75%
2023.58/2029.37 c 2029 89656 44566 1 30238668.0000 29145158.1193 3.75%
2028.86/2034.65 c 2035 89922 44758 1 30238668.0000 29145158.1193 3.75%
2034.16/2039.96 c 2040 90206 44914 1 30238668.0000 29145158.1193 3.75%
2039.54/2045.30 c 2045 90532 45120 1 30238668.0000 29145158.1193 3.75%
2044.63/2050.40 c 2050 90771 45245 1 30238668.0000 29145158.1193 3.75%
2050.01/2055.81 c 2056 91151 45485 1 30238668.0000 29145158.1193 3.75%
2055.21/2061.09 c 2061 91542 45762 1 30238668.0000 29145158.1193 3.75%
2060.78/2066.64 c 2067 92057 46137 1 30238668.0000 29145158.1193 3.75%
2066.07/2071.97 c 2072 92410 46418 1 30238668.0000 29145158.1193 3.75%
2071.27/2077.18 c 2077 92727 46623 1 30238668.0000 29145158.1193 3.75%
2076.94/2082.86 c 2083 93078 46904 1 30238668.0000 29145158.1193 3.75%
2082.25/2088.15 c 2088 93501 47223 1 30238668.0000 29145158.1193 3.75%
2087.61/2093.56 c 2094 93845 47443 1 30238668.0000 29145158.1193 3.75%
2092.70/2098.69 c 2099 94231 47733 1 30238668.0000 29145158.1193 3.75%
2097.99/2103.91 c 2104 94686 48004 1 30238668.0000 29145158.1193 3.75%
2103.09/2109.04 c 2109 95017 48245 1 30238668.0000 29145158.1193 3.75%
2108.18/2114.11 c 2114 95413 48533 1 30238668.0000 29145158.1193 3.75%
2113.25/2119.24 c 2119 95815 48794 1 30238668.0000 29145158.1193 3.75%
2118.44/2124.41 c 2124 96168 49017 1 30238668.0000 29145158.1193 3.75%
2124.14/2130.16 c 2130 96387 49162 1 30238668.0000 29145158.1193 3.75%
2129.51/2135.51 c 2136 96697 49366 1 30238668.0000 29145158.1193 3.75%
2135.01/2141.11 c 2141 96963 49522 1 30238668.0000 29145158.1193 3.75%
2140.10/2146.17 c 2146 97109 49624 1 30238668.0000 29145158.1193 3.75%
2145.17/2151.27 c 2151 97368 49807 1 30238668.0000 29145158.1193 3.75%
2150.46/2156.53 c 2157 97639 50034 1 30238668.0000 29145158.1193 3.75%
2155.96/2162.11 c 2162 97996 50319 1 30238668.0000 29145158.1193 3.75%
2161.33/2167.47 c 2167 98270 50539 1 30238668.0000 29145158.1193 3.75%
2166.82/2172.96 c 2173 98415 50628 1 30238668.0000 29145158.1193 3.75%
2172.02/2178.16 c 2178 98560 50723 1 30238668.0000 29145158.1193 3.75%
2177.09/2183.27 c 2183 98827 50924 1 30238668.0000 29145158.1193 3.75%
2182.58/2188.77 c 2189 99148 51193 1 30238668.0000 29145158.1193 3.75%
2187.67/2193.86 c 2194 99420 51371 1 30238668.0000 29145158.1193 3.75%
2193.25/2199.47 c 2199 99799 51658 1 30238668.0000 29145158.1193 3.75%
2198.84/2205.03 c 2205 100046 51833 1 30238668.0000 29145158.1193 3.75%
2204.02/2210.27 c 2210 100455 52110 1 30238668.0000 29145158.1193 3.75%
2210.00/2216.28 c 2216 100689 52292 1 30238668.0000 29145158.1193 3.75%
2215.29/2221.52 c 2222 100918 52487 1 30238668.0000 29145158.1193 3.75%
2220.38/2226.66 c 2227 101241 52686 1 30238668.0000 29145158.1193 3.75%
2225.97/2232.20 c 2232 101527 52878 1 30238668.0000 29145158.1193 3.75%
2231.45/2237.70 c 2238 101841 53092 1 30238668.0000 29145158.1193 3.75%
2236.93/2243.27 c 2243 102232 53337 1 30238668.0000 29145158.1193 3.75%
2242.22/2248.51 c 2249 102447 53482 1 30238668.0000 29145158.1193 3.75%
2247.21/2253.59 c 2254 102801 53746 1 30238668.0000 29145158.1193 3.75%
2252.39/2258.71 c 2259 103049 53942 1 30238668.0000 29145158.1193 3.75%
2257.49/2263.87 c 2264 103461 54226 1 30238668.0000 29145158.1193 3.75%
2262.78/2269.12 c 2269 103793 54466 1 30238668.0000 29145158.1193 3.75%
2268.45/2274.85 c 2275 104025 54630 1 30238668.0000 29145158.1193 3.75%
2273.76/2280.14 c 2280 104334 54847 1 30238668.0000 29145158.1193 3.75%
2279.12/2285.56 c 2286 104598 55017 1 30238668.0000 29145158.1193 3.75%
2284.52/2291.01 c 2291 104813 55156 1 30238668.0000 29145158.1193 3.75%
2289.61/2296.07 c 2296 104953 55242 1 30238668.0000 29145158.1193 3.75%
2294.78/2301.25 c 2301 105312 55499 1 30238668.0000 29145158.1193 3.75%
2299.96/2306.40 c 2306 105708 55725 1 30238668.0000 29145158.1193 3.75%
2304.95/2311.49 c 2311 106139 56022 1 30238668.0000 29145158.1193 3.75%
2310.44/2316.92 c 2317 106437 56220 1 30238668.0000 29145158.1193 3.75%
2315.72/2322.22 c 2322 106865 56554 1 30238668.0000 29145158.1193 3.75%
2320.91/2327.40 c 2327 107235 56844 1 30238668.0000 29145158.1193 3.75%
2326.09/2332.69 c 2333 107496 57051 1 30238668.0000 29145158.1193 3.75%
2331.27/2337.84 c 2338 107762 57243 1 30238668.0000 29145158.1193 3.75%
2336.37/2342.90 c 2343 108150 57417 1 30238668.0000 29145158.1193 3.75%
2341.35/2347.92 c 2348 108489 57638 1 30238668.0000 29145158.1193 3.75%
2346.54/2353.16 c 2353 108898 57947 1 30238668.0000 29145158.1193 3.75%
2352.32/2358.97 c 2359 109097 58046 1 30238668.0000 29145158.1193 3.75%
2358.20/2364.80 c 2365 109417 58218 1 30238668.0000 29145158.1193 3.75%
2363.99/2370.60 c 2371 109851 58430 1 30238668.0000 29145158.1193 3.75%
2369.17/2375.83 c 2376 110194 58667 1 30238668.0000 29145158.1193 3.75%
2375.15/2381.86 c 2382 110537 58900 1 30238668.0000 29145158.1193 3.75%
2381.03/2387.74 c 2388 110755 58980 1 30238668.0000 29145158.1193 3.75%
2386.43/2393.14 c 2393 110925 59004 1 30238668.0000 29145158.1193 3.75%
2391.51/2398.23 c 2398 111325 59250 1 30238668.0000 29145158.1193 3.75%
2397.09/2403.84 c 2404 111564 59399 1 30238668.0000 29145158.1193 3.75%
2402.38/2409.12 c 2409 111834 59569 1 30238668.0000 29145158.1193 3.75%
2407.85/2414.61 c 2415 112138 59805 1 30238668.0000 29145158.1193 3.75%
2412.95/2419.72 c 2420 112576 60169 1 30238668.0000 29145158.1193 3.75%
2418.03/2424.86 c 2425 112947 60486 1 30238668.0000 29145158.1193 3.75%
2423.22/2430.09 c 2430 113331 60804 1 30238668.0000 29145158.1193 3.75%
2428.40/2435.27 c 2435 113657 61040 1 30238668.0000 29145158.1193 3.75%
2433.98/2440.86 c 2441 113975 61238 1 30238668.0000 29145158.1193 3.75%
2439.17/2446.01 c 2446 114417 61514 1 30238668.0000 29145158.1193 3.75%
2444.35/2451.23 c 2451 114793 61756 1 30238668.0000 29145158.1193 3.75%
2449.62/2456.51 c 2457 115136 61961 1 30238668.0000 29145158.1193 3.75%
2455.12/2462.06 c 2462 115581 62230 1 30238668.0000 29145158.1193 3.75%
2460.21/2467.18 c * 2467 115922 62429 1 30225037.0000 29145158.1193 3.71%
2460.21/2467.18 c 2467 115922 62429 1 30225037.0000 29145158.1193 3.71%
2465.98/2472.92 c 2473 116342 51962 1 30225037.0000 29145158.1193 3.71%
2471.36/2478.37 c 2478 116804 52164 1 30225037.0000 29145158.1193 3.71%
2473.16/2480.11 c * 2480 116920 52214 1 30223405.0000 29145158.1193 3.70%
2476.45/2483.44 c 2483 117321 50938 1 30223405.0000 29145158.1193 3.70%
2481.94/2488.96 c 2489 117737 51096 1 30223405.0000 29145158.1193 3.70%
2482.15/2489.17 c * 2489 117737 51096 1 30223007.0000 29145158.1193 3.70%
2482.43/2489.40 c * 2489 117737 51096 1 30220277.0000 29145158.1193 3.69%
2487.52/2494.54 c 2495 118389 48859 1 30220277.0000 29145158.1193 3.69%
2493.30/2500.32 c 2500 118717 49091 1 30220277.0000 29145158.1193 3.69%
2498.39/2505.47 c 2505 119240 49556 1 30220277.0000 29145158.1193 3.69%
2503.57/2510.69 c 2511 119788 50046 1 30220277.0000 29145158.1193 3.69%
2508.86/2515.92 c 2516 120252 50432 1 30220277.0000 29145158.1193 3.69%
2514.84/2521.90 c 2522 120726 50836 1 30220277.0000 29145158.1193 3.69%
2519.94/2527.02 c 2527 121393 51455 1 30220277.0000 29145158.1193 3.69%
2525.02/2532.19 c 2532 121997 51989 1 30220277.0000 29145158.1193 3.69%
2530.49/2537.60 c 2538 122327 52229 1 30220277.0000 29145158.1193 3.69%
2535.58/2542.77 c 2543 123022 52842 1 30220277.0000 29145158.1193 3.69%
2540.76/2547.92 c 2548 123626 53396 1 30220277.0000 29145158.1193 3.69%
2546.65/2553.84 c 2554 124084 53794 1 30220277.0000 29145158.1193 3.69%
2551.73/2558.97 c 2559 124540 54202 1 30220277.0000 29145158.1193 3.69%
2556.83/2564.03 c 2564 124969 54577 1 30220277.0000 29145158.1193 3.69%
2562.49/2569.75 c 2570 125320 54844 1 30220277.0000 29145158.1193 3.69%
2567.58/2574.89 c 2575 125742 55228 1 30220277.0000 29145158.1193 3.69%
2572.77/2580.08 c 2580 126167 55605 1 30220277.0000 29145158.1193 3.69%
2577.96/2585.28 c 2585 126682 56082 1 30220277.0000 29145158.1193 3.69%
2583.13/2590.42 c 2590 127158 56510 1 30220277.0000 29145158.1193 3.69%
2588.33/2595.63 c 2596 127584 56860 1 30220277.0000 29145158.1193 3.69%
2593.41/2600.74 c 2601 128135 57361 1 30220277.0000 29145158.1193 3.69%
2598.49/2605.88 c 2606 128489 57645 1 30220277.0000 29145158.1193 3.69%
2603.79/2611.14 c 2611 128929 58055 1 30220277.0000 29145158.1193 3.69%
2609.06/2616.44 c 2616 129409 58483 1 30220277.0000 29145158.1193 3.69%
2614.25/2621.61 c 2622 129852 58886 1 30220277.0000 29145158.1193 3.69%
2619.34/2626.76 c 2627 130335 59355 1 30220277.0000 29145158.1193 3.69%
2624.42/2631.86 c 2632 130703 59699 1 30220277.0000 29145158.1193 3.69%
2630.01/2637.44 c 2637 131048 60016 1 30220277.0000 29145158.1193 3.69%
2636.19/2643.62 c 2644 131426 60354 1 30220277.0000 29145158.1193 3.69%
2641.58/2649.10 c 2649 131741 60625 1 30220277.0000 29145158.1193 3.69%
2646.76/2654.23 c 2654 132027 60845 1 30220277.0000 29145158.1193 3.69%
2653.14/2660.67 c 2661 132247 61029 1 30220277.0000 29145158.1193 3.69%
2658.22/2665.74 c 2666 132497 61257 1 30220277.0000 29145158.1193 3.69%
2663.41/2670.91 c 2671 132869 61591 1 30220277.0000 29145158.1193 3.69%
2668.79/2676.35 c 2676 133099 61797 1 30220277.0000 29145158.1193 3.69%
2674.27/2681.80 c 2682 133413 62057 1 30220277.0000 29145158.1193 3.69%
2679.96/2687.53 c 2688 133765 62371 1 30220277.0000 29145158.1193 3.69%
2685.04/2692.67 c 2693 134149 62725 1 30220277.0000 29145158.1193 3.69%
2690.54/2698.18 c 2698 134509 63045 1 30220277.0000 29145158.1193 3.69%
2695.72/2703.33 c 2703 134792 63306 1 30220277.0000 29145158.1193 3.69%
2701.60/2709.29 c 2709 134996 63474 1 30220277.0000 29145158.1193 3.69%
2707.09/2714.77 c 2715 135309 63743 1 30220277.0000 29145158.1193 3.69%
2712.27/2720.01 c 2720 135637 64035 1 30220277.0000 29145158.1193 3.69%
2718.15/2725.89 c 2726 135972 64350 1 30220277.0000 29145158.1193 3.69%
2723.53/2731.21 c 2731 136311 64637 1 30220277.0000 29145158.1193 3.69%
2728.72/2736.40 c 2736 136554 64828 1 30220277.0000 29145158.1193 3.69%
2734.31/2742.07 c 2742 136778 65016 1 30220277.0000 29145158.1193 3.69%
2739.59/2747.37 c 2747 137144 65354 1 30220277.0000 29145158.1193 3.69%
2744.67/2752.47 c 2752 137511 65691 1 30220277.0000 29145158.1193 3.69%
2749.96/2757.75 c 2758 137665 65801 1 30220277.0000 29145158.1193 3.69%
2755.35/2763.14 c 2763 137986 66066 1 30220277.0000 29145158.1193 3.69%
2760.52/2768.32 c 2768 138373 66425 1 30220277.0000 29145158.1193 3.69%
2765.91/2773.74 c 2774 138621 66605 1 30220277.0000 29145158.1193 3.69%
2770.99/2778.83 c 2779 138942 66892 1 30220277.0000 29145158.1193 3.69%
2776.38/2784.29 c 2784 139164 67054 1 30220277.0000 29145158.1193 3.69%
2781.66/2789.53 c 2790 139363 67203 1 30220277.0000 29145158.1193 3.69%
2786.75/2794.60 c 2795 139588 67400 1 30220277.0000 29145158.1193 3.69%
2792.15/2800.09 c 2800 139851 67609 1 30220277.0000 29145158.1193 3.69%
2797.31/2805.21 c 2805 140243 67939 1 30220277.0000 29145158.1193 3.69%
2803.00/2810.91 c 2811 140503 68135 1 30220277.0000 29145158.1193 3.69%
2808.28/2816.26 c 2816 140836 68432 1 30220277.0000 29145158.1193 3.69%
2814.27/2822.23 c 2822 141031 68567 1 30220277.0000 29145158.1193 3.69%
2820.25/2828.23 c 2828 141388 68880 1 30220277.0000 29145158.1193 3.69%
2825.33/2833.32 c 2833 141788 69258 1 30220277.0000 29145158.1193 3.69%
2830.52/2838.55 c 2839 142149 69615 1 30220277.0000 29145158.1193 3.69%
2835.71/2843.72 c 2844 142585 70019 1 30220277.0000 29145158.1193 3.69%
2841.00/2849.04 c 2849 142827 70213 1 30220277.0000 29145158.1193 3.69%
2846.27/2854.34 c 2854 143087 70437 1 30220277.0000 29145158.1193 3.69%
2851.66/2859.76 c 2860 143258 70552 1 30220277.0000 29145158.1193 3.69%
2856.85/2864.96 c 2865 143502 70760 1 30220277.0000 29145158.1193 3.69%
2862.23/2870.30 c 2870 143867 71087 1 30220277.0000 29145158.1193 3.69%
2867.22/2875.39 c 2875 144189 71387 1 30220277.0000 29145158.1193 3.69%
2872.80/2880.95 c 2881 144429 71587 1 30220277.0000 29145158.1193 3.69%
2878.18/2886.35 c 2886 144737 71843 1 30220277.0000 29145158.1193 3.69%
2883.27/2891.43 c 2891 145095 72175 1 30220277.0000 29145158.1193 3.69%
2888.35/2896.56 c 2897 145405 72437 1 30220277.0000 29145158.1193 3.69%
2894.04/2902.20 c 2902 145624 72618 1 30220277.0000 29145158.1193 3.69%
2899.12/2907.37 c 2907 145933 72903 1 30220277.0000 29145158.1193 3.69%
2904.41/2912.64 c 2913 146338 73280 1 30220277.0000 29145158.1193 3.69%
2909.59/2917.89 c 2918 146511 73391 1 30220277.0000 29145158.1193 3.69%
2914.98/2923.21 c 2923 146872 73738 1 30220277.0000 29145158.1193 3.69%
2920.06/2928.33 c 2928 147082 73892 1 30220277.0000 29145158.1193 3.69%
2925.25/2933.56 c 2934 147386 74148 1 30220277.0000 29145158.1193 3.69%
2930.63/2938.96 c 2939 147579 74271 1 30220277.0000 29145158.1193 3.69%
2935.82/2944.13 c 2944 147920 74570 1 30220277.0000 29145158.1193 3.69%
2940.89/2949.28 c 2949 148210 74834 1 30220277.0000 29145158.1193 3.69%
2946.07/2954.41 c 2954 148539 75113 1 30220277.0000 29145158.1193 3.69%
2951.36/2959.71 c 2960 148931 75469 1 30220277.0000 29145158.1193 3.69%
2956.54/2964.93 c 2965 149250 75722 1 30220277.0000 29145158.1193 3.69%
2961.93/2970.32 c 2970 149489 75887 1 30220277.0000 29145158.1193 3.69%
2967.12/2975.54 c 2976 149851 76205 1 30220277.0000 29145158.1193 3.69%
2972.50/2980.97 c 2981 150186 76494 1 30220277.0000 29145158.1193 3.69%
2977.70/2986.19 c 2986 150407 76683 1 30220277.0000 29145158.1193 3.69%
2982.78/2991.27 c 2991 150725 76951 1 30220277.0000 29145158.1193 3.69%
2987.86/2996.34 c 2996 151058 77242 1 30220277.0000 29145158.1193 3.69%
2993.24/3001.72 c 3002 151362 77500 1 30220277.0000 29145158.1193 3.69%
2998.23/3006.78 c 3007 151726 77844 1 30220277.0000 29145158.1193 3.69%
3003.42/3011.95 c 3012 152110 78208 1 30220277.0000 29145158.1193 3.69%
3008.61/3017.17 c 3017 152363 78417 1 30220277.0000 29145158.1193 3.69%
3013.79/3022.36 c 3022 152740 78764 1 30220277.0000 29145158.1193 3.69%
3018.97/3027.54 c 3028 153068 79038 1 30220277.0000 29145158.1193 3.69%
3024.26/3032.82 c 3033 153362 79290 1 30220277.0000 29145158.1193 3.69%
3030.24/3038.80 c 3039 153610 79488 1 30220277.0000 29145158.1193 3.69%
3035.54/3044.12 c 3044 153934 79778 1 30220277.0000 29145158.1193 3.69%
3040.71/3049.39 c 3049 154278 80072 1 30220277.0000 29145158.1193 3.69%
3045.89/3054.55 c 3055 154667 80407 1 30220277.0000 29145158.1193 3.69%
3051.77/3060.48 c 3060 154937 80641 1 30220277.0000 29145158.1193 3.69%
3057.66/3066.31 c 3066 155308 80944 1 30220277.0000 29145158.1193 3.69%
3062.74/3071.45 c 3071 155611 81215 1 30220277.0000 29145158.1193 3.69%
3068.12/3076.80 c 3077 155915 81455 1 30220277.0000 29145158.1193 3.69%
3073.22/3081.90 c 3082 156156 81632 1 30220277.0000 29145158.1193 3.69%
3078.50/3087.28 c 3087 156404 81824 1 30220277.0000 29145158.1193 3.69%
3083.59/3092.39 c 3092 156657 82021 1 30220277.0000 29145158.1193 3.69%
3088.77/3097.54 c 3098 156925 82225 1 30220277.0000 29145158.1193 3.69%
3094.15/3102.96 c 3103 157218 82476 1 30220277.0000 29145158.1193 3.69%
3099.35/3108.18 c 3108 157500 82698 1 30220277.0000 29145158.1193 3.69%
3104.73/3113.56 c 3114 157788 82910 1 30220277.0000 29145158.1193 3.69%
3110.11/3118.95 c 3119 158148 83214 1 30220277.0000 29145158.1193 3.69%
3115.38/3124.20 c 3124 158526 83538 1 30220277.0000 29145158.1193 3.69%
3120.57/3129.44 c 3129 158837 83759 1 30220277.0000 29145158.1193 3.69%
3126.16/3135.10 c 3135 159208 84081 1 30220277.0000 29145158.1193 3.69%
3131.44/3140.39 c 3140 159468 84273 1 30220277.0000 29145158.1193 3.69%
3137.02/3145.99 c 3146 159671 84458 1 30220277.0000 29145158.1193 3.69%
3142.51/3151.40 c 3151 159932 84675 1 30220277.0000 29145158.1193 3.69%
3147.69/3156.61 c 3157 160246 84925 1 30220277.0000 29145158.1193 3.69%
3153.28/3162.28 c 3162 160546 85169 1 30220277.0000 29145158.1193 3.69%
3158.36/3167.39 c 3167 160838 85391 1 30220277.0000 29145158.1193 3.69%
3163.44/3172.46 c 3172 161151 85632 1 30220277.0000 29145158.1193 3.69%
3169.43/3178.48 c 3178 161427 85886 1 30220277.0000 29145158.1193 3.69%
3175.21/3184.25 c 3184 161631 86034 1 30220277.0000 29145158.1193 3.69%
3180.30/3189.30 c 3189 161985 86350 1 30220277.0000 29145158.1193 3.69%
3185.29/3194.37 c 3194 162347 86674 1 30220277.0000 29145158.1193 3.69%
3190.37/3199.48 c 3199 162517 86784 1 30220277.0000 29145158.1193 3.69%
3195.85/3204.93 c 3205 162764 86975 1 30220277.0000 29145158.1193 3.69%
3201.05/3210.18 c 3210 163119 87246 1 30220277.0000 29145158.1193 3.69%
3206.23/3215.30 c 3215 163390 87461 1 30220277.0000 29145158.1193 3.69%
3211.61/3220.72 c 3221 163601 87614 1 30220277.0000 29145158.1193 3.69%
3216.70/3225.83 c 3226 163912 87853 1 30220277.0000 29145158.1193 3.69%
3222.18/3231.33 c 3231 164156 88051 1 30220277.0000 29145158.1193 3.69%
3227.87/3237.03 c 3237 164409 88240 1 30220277.0000 29145158.1193 3.69%
3232.96/3242.18 c 3242 164737 88498 1 30220277.0000 29145158.1193 3.69%
3238.33/3247.50 c 3248 165046 88729 1 30220277.0000 29145158.1193 3.69%
3244.31/3253.59 c 3254 165233 88846 1 30220277.0000 29145158.1193 3.69%
3249.60/3258.80 c 3259 165503 89021 1 30220277.0000 29145158.1193 3.69%
3254.80/3264.01 c 3264 165939 89351 1 30220277.0000 29145158.1193 3.69%
3260.67/3269.90 c 3270 166197 89535 1 30220277.0000 29145158.1193 3.69%
3265.77/3275.02 c 3275 166559 89799 1 30220277.0000 29145158.1193 3.69%
3271.85/3281.15 c 3281 166857 90045 1 30220277.0000 29145158.1193 3.69%
3277.02/3286.39 c 3286 167188 90242 1 30220277.0000 29145158.1193 3.69%
3282.30/3291.69 c 3292 167444 90390 1 30220277.0000 29145158.1193 3.69%
3288.28/3297.67 c 3298 167845 90663 1 30220277.0000 29145158.1193 3.69%
3293.46/3302.88 c 3303 168171 90859 1 30220277.0000 29145158.1193 3.69%
3298.76/3308.15 c 3308 168533 91078 1 30220277.0000 29145158.1193 3.69%
3304.23/3313.62 c 3314 168810 91253 1 30220277.0000 29145158.1193 3.69%
3309.51/3318.90 c 3319 169070 91419 1 30220277.0000 29145158.1193 3.69%
3314.61/3324.04 c 3324 169503 91736 1 30220277.0000 29145158.1193 3.69%
3319.79/3329.27 c 3329 169865 91974 1 30220277.0000 29145158.1193 3.69%
3325.27/3334.70 c 3335 170342 92309 1 30220277.0000 29145158.1193 3.69%
3330.57/3340.05 c 3340 170626 92511 1 30220277.0000 29145158.1193 3.69%
3336.04/3345.54 c 3346 170934 92785 1 30220277.0000 29145158.1193 3.69%
3341.42/3350.94 c 3351 171218 93001 1 30220277.0000 29145158.1193 3.69%
3346.52/3356.10 c 3356 171579 93262 1 30220277.0000 29145158.1193 3.69%
3351.89/3361.48 c 3361 171916 93458 1 30220277.0000 29145181.1039 3.69%
3356.97/3366.52 c 3367 172249 93689 1 30220277.0000 29145187.7091 3.69%
3362.57/3372.19 c 3372 172845 94199 1 30220277.0000 29145196.6490 3.69%
3367.73/3377.34 c 3377 173421 94647 1 30220277.0000 29145196.6490 3.69%
3372.82/3382.47 c 3382 173989 95129 1 30220277.0000 29145196.6490 3.69%
3378.20/3387.83 c 3388 174597 95637 1 30220277.0000 29145204.2833 3.69%
3384.18/3393.80 c 3394 174984 95948 1 30220277.0000 29145264.3690 3.69%
3389.27/3398.90 c 3399 175276 96174 1 30220277.0000 29145284.6756 3.69%
3394.56/3404.26 c 3404 175608 96398 1 30220277.0000 29145300.3382 3.69%
3399.74/3409.44 c 3409 176088 96808 1 30220277.0000 29145312.6028 3.69%
3405.52/3415.23 c 3415 176639 97281 1 30220277.0000 29145352.9574 3.69%
3410.91/3420.66 c 3421 177035 97609 1 30220277.0000 29145354.7256 3.69%
3416.90/3426.63 c 3427 177456 97924 1 30220277.0000 29145361.8992 3.69%
3422.08/3431.83 c 3432 177716 98058 1 30220277.0000 29145370.8984 3.69%
3427.06/3436.88 c 3437 178117 98247 1 30220277.0000 29145370.8984 3.69%
3432.15/3441.92 c 3442 178436 98416 1 30220277.0000 29145378.8698 3.69%
3437.35/3447.11 c 3447 178743 98583 1 30220277.0000 29145380.9184 3.69%
3442.82/3452.62 c 3453 178996 98674 1 30220277.0000 29145406.5212 3.69%
3448.40/3458.20 c 3458 179628 99228 1 30220277.0000 29145414.7268 3.69%
3454.49/3464.31 c 3464 180472 100000 1 30220277.0000 29145431.0660 3.69%
3460.07/3469.97 c 3470 180931 100307 1 30220277.0000 29145444.2784 3.69%
3465.95/3475.89 c 3476 181631 100911 1 30220277.0000 29145476.5669 3.69%
3471.93/3481.80 c 3482 182362 101602 1 30220277.0000 29145482.1186 3.69%
3477.70/3487.63 c 3488 183216 102352 1 30220277.0000 29145505.5495 3.69%
3483.21/3493.16 c 3493 184216 103294 1 30220277.0000 29145505.6779 3.69%
3488.38/3498.36 c 3498 184947 103959 1 30220277.0000 29145506.2787 3.69%
3493.85/3503.82 c 3504 185497 104423 1 30220277.0000 29145518.9352 3.69%
3499.54/3509.57 c 3510 186156 104994 1 30220277.0000 29145525.1536 3.69%
3505.14/3515.17 c 3515 186622 105286 1 30220277.0000 29145526.7532 3.69%
3510.21/3520.25 c 3520 186921 105485 1 30220277.0000 29145529.3110 3.69%
3516.00/3526.07 c 3526 187268 105720 1 30220277.0000 29145571.3343 3.69%
3521.18/3531.20 c 3531 187684 106056 1 30220277.0000 29145579.7322 3.69%
3526.56/3536.64 c 3537 188112 106370 1 30220277.0000 29145583.0784 3.69%
3531.74/3541.88 c 3542 188548 106696 1 30220277.0000 29145583.0784 3.69%
3537.33/3547.47 c 3547 189029 106997 1 30220277.0000 29145585.9112 3.69%
3543.41/3553.56 c 3554 189557 107357 1 30220277.0000 29145591.9672 3.69%
3548.80/3558.99 c 3559 189965 107597 1 30220277.0000 29145612.8489 3.69%
3554.89/3565.05 c 3565 190441 107955 1 30220277.0000 29145628.6545 3.69%
3559.98/3570.15 c 3570 191070 108438 1 30220277.0000 29145628.6545 3.69%
3565.05/3575.26 c 3575 191766 109044 1 30220277.0000 29145636.4353 3.69%
3571.03/3581.24 c 3581 192178 109356 1 30220277.0000 29145638.2243 3.69%
3576.42/3586.63 c 3587 192854 109926 1 30220277.0000 29145638.7998 3.69%
3582.19/3592.47 c 3592 193505 110455 1 30220277.0000 29145640.8220 3.69%
3587.79/3598.06 c 3598 193764 110578 1 30220277.0000 29145656.1536 3.69%
3590.78/3601.02 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.78/3601.02 c Total Time : 3601.02
3590.78/3601.02 c solving : 3601.02
3590.78/3601.02 c presolving : 0.24 (included in solving)
3590.78/3601.02 c B&B Tree :
3590.78/3601.02 c nodes (total) : 1
3590.78/3601.02 c Solution :
3590.78/3601.02 c Solutions found : 16
3590.78/3601.02 c Primal Bound : +3.02202770000000e+07
3590.78/3601.02 c Dual Bound : +2.91456561535894e+07
3590.78/3601.02 c Gap : 3.68707 %
3590.78/3601.02 c * Warning: final gap: 3.68707e-02 is greater than SCIPepsilon: 1.00000e-09
3590.78/3601.03 o 30220277
3590.78/3601.03 s SATISFIABLE
3590.78/3601.03 v -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 x4686 -x4685 -x4684 -x4683 x4682 x4681 x4680 -x4679 x4678
3590.78/3601.03 v -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382
3590.78/3601.03 v -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364
3590.78/3601.03 v -x4363 -x4362 -x4361 -x4360 -x4359 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 x4070 -x4069 -x4068
3590.78/3601.03 v x4067 -x4066 x4065 -x4064 -x4063 x4062 x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x3772
3590.78/3601.03 v -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754
3590.78/3601.03 v -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459
3590.78/3601.03 v -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441
3590.78/3601.03 v -x3440 -x3439 -x3438 -x3437 -x3436 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145
3590.78/3601.03 v -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x2848
3590.78/3601.03 v -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830
3590.78/3601.03 v -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535
3590.78/3601.03 v -x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 x2527 -x2526 x2525 -x2524 x2523 x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516
3590.78/3601.03 v -x2515 -x2514 -x2513 -x2512 -x2511 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220
3590.78/3601.03 v -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x5590
3590.78/3601.03 v -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572
3590.78/3601.03 v -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277
3590.78/3601.03 v -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259
3590.78/3601.03 v -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963
3590.78/3601.03 v -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945
3590.78/3601.03 v -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649
3590.78/3601.03 v -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353
3590.78/3601.03 v -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335
3590.78/3601.03 v -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040
3590.78/3601.03 v -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022
3590.78/3601.03 v -x4021 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726
3590.78/3601.03 v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3434 -x3433 -x3432 -x3431 -x3430
3590.78/3601.03 v -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412
3590.78/3601.03 v -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117
3590.78/3601.03 v -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099
3590.78/3601.03 v -x3098 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803
3590.78/3601.03 v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2510 -x2509 -x2508 -x2507
3590.78/3601.03 v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489
3590.78/3601.03 v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193
3590.78/3601.03 v -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175
3590.78/3601.03 v -x2174 -x2173 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545
3590.78/3601.03 v -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5252 -x5251 -x5250 -x5249
3590.78/3601.03 v -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 x5242 -x5241 -x5240 x5239 -x5238 x5237 -x5236 -x5235 -x5234 x5233 -x5232 -x5231
3590.78/3601.03 v -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935
3590.78/3601.03 v x4934 -x4933 -x4932 x4931 -x4930 x4929 x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917
3590.78/3601.03 v -x4916 -x4915 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621
3590.78/3601.03 v -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4328 -x4327 -x4326 -x4325
3590.78/3601.03 v -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307
3590.78/3601.03 v -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011
3590.78/3601.03 v -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993
3590.78/3601.03 v -x3992 -x3991 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698
3590.78/3601.03 v -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3404 -x3403 -x3402
3590.78/3601.03 v -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 x3394 -x3393 -x3392 x3391 -x3390 x3389 x3388 -x3387 -x3386 -x3385 -x3384 -x3383
3590.78/3601.03 v -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088
3590.78/3601.03 v -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071
3590.78/3601.03 v -x3070 -x3069 -x3068 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 x2778 -x2777 -x2776 x2775 -x2774 x2773
3590.78/3601.03 v x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2480 -x2479 -x2478 -x2477
3590.78/3601.03 v -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459
3590.78/3601.03 v -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164
3590.78/3601.03 v -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146
3590.78/3601.03 v -x2145 -x2144 -x2143 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516
3590.78/3601.03 v -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5222 -x5221 -x5220
3590.78/3601.03 v -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202
3590.78/3601.03 v -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906
3590.78/3601.03 v -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888
3590.78/3601.03 v -x4887 -x4886 -x4885 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285
3590.78/3601.03 v -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x3990 -x3989
3590.78/3601.03 v -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971
3590.78/3601.03 v -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675
3590.78/3601.03 v -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657
3590.78/3601.03 v -x3656 -x3655 -x3654 -x3653 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361
3590.78/3601.03 v -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3065 -x3064
3590.78/3601.03 v -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047
3590.78/3601.03 v -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752
3590.78/3601.03 v -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734
3590.78/3601.03 v -x2733 -x2732 -x2731 -x2730 -x2729 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438
3590.78/3601.03 v -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2142
3590.78/3601.03 v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124
3590.78/3601.03 v -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186
3590.78/3601.03 v -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169
3590.78/3601.03 v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873
3590.78/3601.03 v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855
3590.78/3601.03 v -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251
3590.78/3601.03 v -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955
3590.78/3601.03 v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937
3590.78/3601.03 v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641
3590.78/3601.03 v -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624
3590.78/3601.03 v -x3623 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328
3590.78/3601.03 v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3035 -x3034 -x3033 -x3032 -x3031
3590.78/3601.03 v -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013
3590.78/3601.03 v -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718
3590.78/3601.03 v -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700
3590.78/3601.03 v -x2699 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404
3590.78/3601.03 v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2112 -x2111 -x2110 -x2109
3590.78/3601.03 v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091
3590.78/3601.03 v -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461
3590.78/3601.03 v -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443
3590.78/3601.03 v -x5442 -x5441 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147
3590.78/3601.03 v -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x4854 -x4853 -x4852 -x4851
3590.78/3601.03 v -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833
3590.78/3601.03 v -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537
3590.78/3601.03 v -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519
3590.78/3601.03 v -x4518 -x4517 -x4516 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
3590.78/3601.03 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x3930 -x3929 -x3928
3590.78/3601.03 v -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910
3590.78/3601.03 v -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614
3590.78/3601.03 v -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596
3590.78/3601.03 v -x3595 -x3594 -x3593 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301
3590.78/3601.03 v -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3005 -x3004
3590.78/3601.03 v -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986
3590.78/3601.03 v -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690
3590.78/3601.03 v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672
3590.78/3601.03 v -x2671 -x2670 -x2669 -x2668 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377
3590.78/3601.03 v -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2082 -x2081
3590.78/3601.03 v -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064
3590.78/3601.03 v -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x5318 -x5317 -x5316 -x5313 -x5010 x5009 -x5008
3590.78/3601.03 v -x5007 -x5006 -x4701 x4700 -x4699 -x4698 -x4697 x4395 -x4393 -x4392 -x4389 -x4087 -x4086 -x4085 -x4083 -x4082 -x4081 x3779 -x3778
3590.78/3601.03 v -x3777 -x3776 -x3775 -x3773 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3163 -x3162 x3161 -x3160 -x3159 -x3158 -x2855 -x2853
3590.78/3601.03 v -x2852 -x2851 -x2850 -x2849 -x2547 -x2546 x2545 -x2543 -x2542 -x2541 x2239 -x2238 -x2237 -x2236 -x2235 -x2233 -x1931 -x1930
3590.78/3601.03 v -x1929 -x1928 -x1927 -x1926 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607
3590.78/3601.03 v -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5319 -x5500
3590.78/3601.03 v -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483
3590.78/3601.03 v -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5315 -x5312 -x5311 -x5310 -x5309 -x5308
3590.78/3601.03 v -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290
3590.78/3601.03 v -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5011 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996
3590.78/3601.03 v -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978
3590.78/3601.03 v -x4977 -x4976 -x4702 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591
3590.78/3601.03 v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4391 -x4575 -x4574
3590.78/3601.03 v -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557
3590.78/3601.03 v -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4390 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435
3590.78/3601.03 v -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5419 -x5418 -x5417 -x5416
3590.78/3601.03 v -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398
3590.78/3601.03 v -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380
3590.78/3601.03 v -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362
3590.78/3601.03 v -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344
3590.78/3601.03 v -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327
3590.78/3601.03 v -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122
3590.78/3601.03 v -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104
3590.78/3601.03 v -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086
3590.78/3601.03 v -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 x5075 x5074 x5073 -x5071 -x5070 -x5069 -x5068 -x5067
3590.78/3601.03 v -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049
3590.78/3601.03 v -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031
3590.78/3601.03 v -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013
3590.78/3601.03 v -x5012 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808
3590.78/3601.03 v -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790
3590.78/3601.03 v -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773
3590.78/3601.03 v -x4772 -x4771 -x4770 -x4769 -x4768 x4767 x4766 x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754
3590.78/3601.03 v -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736
3590.78/3601.03 v -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717
3590.78/3601.03 v -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4515 -x4514 -x4513 -x4512
3590.78/3601.03 v -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 x4498 x4497 x4496 -x4495 -x4494 -x4493
3590.78/3601.03 v -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476
3590.78/3601.03 v -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458
3590.78/3601.03 v -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440
3590.78/3601.03 v -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422
3590.78/3601.03 v -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404
3590.78/3601.03 v -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198
3590.78/3601.03 v -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180
3590.78/3601.03 v -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163
3590.78/3601.03 v -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145
3590.78/3601.03 v -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127
3590.78/3601.03 v -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109
3590.78/3601.03 v -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091
3590.78/3601.03 v -x4090 -x4089 -x4088 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886
3590.78/3601.03 v -x3885 -x3884 x3883 x3882 x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867
3590.78/3601.03 v -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849
3590.78/3601.03 v -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831
3590.78/3601.03 v -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813
3590.78/3601.03 v -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796
3590.78/3601.03 v -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3592 -x3591
3590.78/3601.03 v -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573
3590.78/3601.03 v -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555
3590.78/3601.03 v -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537
3590.78/3601.03 v -x3536 -x3535 -x3534 -x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518
3590.78/3601.03 v -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500
3590.78/3601.03 v -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483
3590.78/3601.03 v -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278
3590.78/3601.03 v -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260
3590.78/3601.03 v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242
3590.78/3601.03 v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 x3228 -x3227 -x3226 -x3225 -x3224
3590.78/3601.03 v -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206
3590.78/3601.03 v -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188
3590.78/3601.03 v -x3187 -x3186 -x3185 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169
3590.78/3601.03 v -x3168 -x3167 -x3166 -x3165 -x3164 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964
3590.78/3601.03 v -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946
3590.78/3601.03 v -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928
3590.78/3601.03 v -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910
3590.78/3601.03 v -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892
3590.78/3601.03 v -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874
3590.78/3601.03 v -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856
3590.78/3601.03 v -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651
3590.78/3601.03 v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633
3590.78/3601.03 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615
3590.78/3601.03 v -x2614 -x2613 -x2612 -x2611 x2610 x2609 x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597
3590.78/3601.03 v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579
3590.78/3601.03 v -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561
3590.78/3601.03 v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2360 -x2359 -x2358 -x2357 -x2356
3590.78/3601.03 v -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 x2343 x2342 x2341 -x2339 -x2338 -x2337
3590.78/3601.03 v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319
3590.78/3601.03 v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301
3590.78/3601.03 v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283
3590.78/3601.03 v -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265
3590.78/3601.03 v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247
3590.78/3601.03 v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043
3590.78/3601.03 v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025
3590.78/3601.03 v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007
3590.78/3601.03 v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1991 -x1990 -x1989 -x1988
3590.78/3601.03 v -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970
3590.78/3601.03 v -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952
3590.78/3601.03 v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934
3590.78/3601.03 v -x1933 -x1932 -x1925 -x1923 -x1922 -x1921 -x1920 -x1919 -x925 -x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914
3590.78/3601.03 v -x912 -x1918 -x1917 -x1916 -x1915 -x1914 -x1912 -x911 -x910 x909 -x908 -x907 -x906 -x905 -x904 -x903 -x901 -x900 -x899 -x1911
3590.78/3601.03 v -x1910 -x1909 -x1908 -x1907 -x1906 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x889 -x888 -x887 x886 -x885 -x1905 -x1904 -x1903
3590.78/3601.03 v -x1901 -x1900 -x1899 -x884 -x883 -x882 -x881 -x880 -x878 -x877 -x876 -x875 -x874 x873 -x872 -x1898 -x1897 -x1896 -x1895
3590.78/3601.03 v -x1894 -x1893 -x871 x870 -x869 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x1892 -x1889 -x1888 -x1887 -x1886 -x1885
3590.78/3601.03 v -x858 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x845 -x1884 -x1883 -x1882 -x1881 -x1880 -x1878 -x844 -x843
3590.78/3601.03 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x834 x833 -x832 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x831 x830 -x829 -x828
3590.78/3601.03 v -x827 -x826 -x825 -x823 -x822 -x821 -x820 -x819 -x1871 -x1870 -x1869 -x1867 -x1866 -x1865 -x818 -x817 -x816 -x815 -x814 x812
3590.78/3601.03 v -x811 -x810 -x809 -x808 -x807 -x806 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x805 -x804 -x803 -x801 -x800 x799 -x798 -x797
3590.78/3601.03 v -x796 -x795 -x794 -x793 -x1858 -x1856 -x1855 -x1854 -x1853 -x1852 -x792 x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782
3590.78/3601.03 v -x781 -x778 -x1851 -x1850 -x1849 -x1848 -x1847 -x1845 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x767 -x766 -x765
3590.78/3601.03 v -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x756 -x755 -x754 -x753 -x752 -x1838 -x1837
3590.78/3601.03 v -x1836 -x1834 -x1833 -x1832 -x751 -x750 x749 -x748 -x747 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x1831 -x1830 -x1829 -x1828
3590.78/3601.03 v -x1827 -x1826 -x738 -x737 x736 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x1825 -x1823 -x1822 -x1821 -x1820
3590.78/3601.03 v -x1819 -x725 x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x712 -x1818 -x1817 -x1816 -x1815 -x1814 -x1812 -x711
3590.78/3601.03 v x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x701 -x700 -x699 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x698 x697 -x696
3590.78/3601.03 v -x695 -x694 -x693 -x692 -x690 -x689 -x688 -x687 -x686 -x1805 -x1804 -x1803 -x1801 -x1800 -x1799 -x685 -x684 x683 -x682 -x681
3590.78/3601.03 v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x672 -x671 x670 -x667 -x666 -x665 -x664
3590.78/3601.03 v -x663 -x662 -x661 -x660 -x659 -x1792 -x1790 -x1789 -x1788 -x1787 -x1786 -x658 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649
3590.78/3601.03 v -x648 -x647 -x645 -x1785 -x1784 -x1783 -x1782 -x1781 -x1778 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x634 -x633
3590.78/3601.03 v -x632 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x623 -x622 -x621 x620 -x619 -x1771
3590.78/3601.03 v -x1770 -x1769 -x1767 -x1766 -x1765 -x618 -x617 -x616 -x615 -x614 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x1764 -x1763 -x1762
3590.78/3601.03 v -x1761 -x1760 -x1759 -x605 -x604 -x603 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x1758 -x1756 -x1755 -x1754 -x1753
3590.78/3601.03 v -x1752 -x592 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x579 -x1751 -x1750 -x1749 -x1748 -x1747 -x1745
3590.78/3601.03 v -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x568 -x567 -x566 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x565 -x564
3590.78/3601.03 v -x563 -x562 -x561 x560 -x559 -x556 -x555 -x554 -x553 -x552 -x1738 -x1737 -x1736 -x1734 -x1733 -x1732 -x551 x550 -x549 -x548 -x547
3590.78/3601.03 v -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x538 -x537 -x536 -x534 -x533 x532 -x531
3590.78/3601.03 v -x530 -x529 -x528 -x527 -x526 -x1725 -x1723 -x1722 -x1721 -x1720 -x1719 -x525 -x523 x522 -x521 -x520 -x519 -x518 -x517 -x516
3590.78/3601.03 v -x515 -x514 -x512 -x1718 -x1717 -x1716 -x1715 -x1714 -x1712 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x501 -x500
3590.78/3601.03 v -x499 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x490 -x489 -x488 -x487 -x486 -x1705
3590.78/3601.03 v -x1704 -x1703 -x1701 -x1700 -x1699 -x485 -x484 -x483 -x482 -x481 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x1698 -x1697
3590.78/3601.03 v -x1696 -x1695 -x1694 -x1693 -x472 -x471 -x470 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x1692 -x1690 -x1689 -x1688
3590.78/3601.03 v -x1687 -x1686 -x459 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x445 -x1685 -x1684 -x1683 -x1682 -x1681 -x1679
3590.78/3601.03 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x434 -x433 -x432 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x431 -x430
3590.78/3601.03 v -x429 -x428 -x427 -x426 -x425 x423 -x422 -x421 -x420 -x419 -x1672 -x1671 -x1670 -x1667 -x1666 -x1665 -x418 x417 -x416 -x415
3590.78/3601.03 v -x414 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x405 -x404 -x403 x401 -x400 -x399
3590.78/3601.03 v -x398 -x397 -x396 -x395 -x394 -x393 -x1658 -x1656 -x1655 -x1654 -x1653 -x1652 -x392 -x390 x389 -x388 -x387 -x386 -x385 -x384
3590.78/3601.03 v -x383 -x382 -x381 -x379 -x1651 -x1650 -x1649 -x1648 -x1647 -x1645 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x368
3590.78/3601.03 v -x367 -x366 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x357 -x356 -x355 -x354 -x353
3590.78/3601.03 v -x1638 -x1637 -x1636 -x1634 -x1633 -x1632 -x352 x351 -x350 -x349 -x348 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x1631 -x1630
3590.78/3601.03 v -x1629 -x1628 -x1627 -x1626 -x339 -x338 -x337 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x1625 -x1623 -x1622
3590.78/3601.03 v -x1621 -x1620 -x1619 -x325 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x312 -x1618 -x1617 -x1616 -x1615 -x1614
3590.78/3601.03 v -x1612 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x301 -x300 -x299 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x298
3590.78/3601.03 v -x297 -x296 x295 -x294 -x293 -x292 -x290 -x289 -x288 -x287 -x286 -x1605 -x1604 -x1603 -x1601 -x1600 -x1599 -x285 -x284 -x283
3590.78/3601.03 v -x282 -x281 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x272 -x271 -x270 -x268 -x267
3590.78/3601.03 v -x266 -x265 -x264 -x263 -x262 x261 -x260 -x1592 -x1590 -x1589 -x1588 -x1587 -x1586 -x259 -x257 x256 -x255 -x254 -x253 -x252
3590.78/3601.03 v -x251 -x250 -x249 -x248 -x246 -x1585 -x1584 -x1583 -x1582 -x1581 -x1579 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
3590.78/3601.03 v -x235 x234 -x233 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x223 -x222 -x221 -x220
3590.78/3601.03 v -x219 -x1572 -x1571 -x1570 -x1568 -x1567 -x1566 -x218 -x217 -x216 -x215 -x214 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x1565
3590.78/3601.03 v -x1564 -x1563 -x1562 -x1561 -x1560 -x205 -x204 -x203 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x1559 -x1556 -x1555
3590.78/3601.03 v -x1554 -x1553 -x1552 -x192 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x179 -x1551 -x1550 -x1549 -x1548
3590.78/3601.03 v -x1547 -x1545 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x168 -x167 -x166 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539
3590.78/3601.03 v -x165 -x164 x163 -x162 -x161 -x160 -x159 -x157 -x156 -x155 -x154 -x153 -x1538 -x1537 -x1536 -x1534 -x1533 -x1532 -x152 x151
3590.78/3601.03 v -x150 -x149 -x148 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x139 -x138 -x137 -x135
3590.78/3601.03 v -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x1525 -x1523 -x1522 -x1521 -x1520 -x1519 -x126 -x124 -x123 -x122 -x121 -x120
3590.78/3601.03 v -x119 -x118 -x117 x116 -x115 -x112 -x1518 -x1517 -x1516 -x1515 -x1514 -x1512 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
3590.78/3601.03 v -x103 -x101 -x100 -x99 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x90 -x89 -x88 -x87 -x86
3590.78/3601.03 v -x1505 -x1504 -x1503 -x1501 -x1500 -x1499 -x85 -x84 -x83 -x82 -x81 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x1498 -x1497 -x1496 -x1495
3590.78/3601.03 v -x1494 -x1493 -x72 x71 -x70 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x1492 -x1490 -x1489 -x1488 -x1487 -x1486 -x59
3590.78/3601.03 v -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x46 -x1485 -x1484 -x1483 -x1482 -x1481 -x1479 -x45 -x44 -x43 -x42 -x41 -x40
3590.78/3601.03 v -x39 -x38 -x37 -x35 x34 -x33 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x24 -x23 -x22 -x21
3590.78/3601.03 v -x20 -x1472 -x1471 -x1470 -x1468 -x1467 -x1466 -x19 -x18 -x17 -x16 -x15 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x1465 -x1464 -x1463
3590.78/3601.03 v -x1462 -x1461 -x1460 -x6 -x5 x4 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x1459 -x1457 -x1456 -x1455 -x1454
3590.78/3601.03 v -x1453 -x6393 x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6380 -x1452 -x1451 -x1450 -x1449 -x1448
3590.78/3601.03 v -x1445 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 x6369 -x6368 -x6367 -x1444 -x1443 -x1442 -x1441 -x1440
3590.78/3601.03 v -x1439 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6358 -x6357 -x6356 x6355 -x6354 -x1438 -x1437 -x1436 -x1434 -x1433
3590.78/3601.03 v -x1432 -x6353 -x6352 -x6351 -x6350 -x6349 -x6347 -x6346 x6345 -x6344 -x6343 -x6342 -x6341 -x1431 -x1430 -x1429 -x1428 -x1427
3590.78/3601.03 v -x1426 -x6340 -x6339 -x6338 x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x1425 -x1423 -x1422 -x1421 -x1420
3590.78/3601.03 v -x1419 -x6327 -x6325 x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6314 -x1418 -x1417 -x1416 -x1415 -x1414
3590.78/3601.03 v -x1412 -x6313 -x6312 x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6303 -x6302 -x6301 -x1411 -x1410 -x1409 -x1408 -x1407
3590.78/3601.03 v -x1406 -x6300 x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6291 -x6290 -x6289 -x6288 -x6287 -x1405 -x1404 -x1403 -x1401 -x1400
3590.78/3601.03 v -x1399 -x6286 -x6285 -x6284 -x6283 -x6282 -x6280 -x6279 -x6278 -x6277 -x6276 x6275 -x6274 -x1398 -x1397 -x1396 -x1395 -x1394
3590.78/3601.03 v -x1393 -x6273 -x6272 -x6271 x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x1392 -x1390 -x1389 -x1388 -x1387
3590.78/3601.03 v -x1386 -x6260 -x6258 -x6257 x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6247 -x1385 -x1384 -x1383 -x1382 -x1381
3590.78/3601.03 v -x1379 -x6246 -x6245 -x6244 -x6243 -x6242 x6241 -x6240 -x6239 -x6238 -x6236 -x6235 -x6234 -x1378 -x1377 -x1376 -x1375 -x1374
3590.78/3601.03 v -x1373 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6225 -x6224 -x6223 x6222 -x6221 -x1372 -x1371 -x1370 -x1368 -x1367
3590.78/3601.03 v -x1366 -x6220 -x6219 x6218 -x6217 -x6216 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x1365 -x1364 -x1363 -x1362 -x1361
3590.78/3601.03 v -x1360 -x6207 -x6206 -x6205 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 x6197 -x6196 -x6195 -x1359 -x1357 -x1356 -x1355 -x1354
3590.78/3601.03 v -x1353 -x6194 -x6192 -x6191 -x6190 -x6189 x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6180 -x1352 -x1351 -x1350 -x1349 -x1348
3590.78/3601.03 v -x1346 -x6179 x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6169 -x6168 -x6167 -x1345 -x1344 -x1343 -x1342 -x1341
3590.78/3601.03 v -x1340 -x6166 -x6165 x6164 -x6163 -x6162 -x6161 -x6160 -x6158 -x6157 -x6156 -x6155 -x6154 -x1339 -x1338 -x1337 -x1334 -x1333
3590.78/3601.03 v -x1332 -x6153 -x6152 -x6151 -x6150 -x6149 -x6147 -x6146 -x6145 -x6144 x6143 -x6142 -x6141 -x1331 -x1330 -x1329 -x1328 -x1327
3590.78/3601.03 v -x1326 -x6140 x6139 -x6138 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x1325 -x1323 -x1322 -x1321 -x1320
3590.78/3601.03 v -x1319 -x6127 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 x6119 -x6118 -x6117 -x6116 -x6114 -x1318 -x1317 -x1316 -x1315 -x1314
3590.78/3601.03 v -x1312 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 x6106 -x6105 -x6103 -x6102 -x6101 -x1311 -x1310 -x1309 -x1308 -x1307
3590.78/3601.03 v -x1306 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6092 -x6091 x6090 -x6089 -x6088 -x1305 -x1304 -x1303 -x1301 -x1300
3590.78/3601.03 v -x1299 -x6087 x6086 -x6085 -x6084 -x6083 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x1298 -x1297 -x1296 -x1295 -x1294
3590.78/3601.03 v -x1293 -x6074 -x6073 -x6072 x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x1292 -x1290 -x1289 -x1288 -x1287
3590.78/3601.03 v -x1286 -x6060 -x6058 x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6047 -x1285 -x1284 -x1283 -x1282 -x1281
3590.78/3601.03 v -x1279 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 x6036 -x6035 -x6034 -x1278 -x1277 -x1276 -x1275 -x1274
3590.78/3601.03 v -x1273 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6025 -x6024 -x6023 x6022 -x6021 -x1272 -x1271 -x1270 -x1268 -x1267
3590.78/3601.03 v -x1266 -x6020 -x6019 -x6018 -x6017 -x6016 -x6014 -x6013 -x6012 -x6011 -x6010 x6009 -x6008 -x1265 -x1264 -x1263 -x1262 -x1261
3590.78/3601.03 v -x1260 -x6007 -x6006 -x6005 -x6003 -x6002 -x6001 -x6000 x5999 -x5998 -x5997 -x5996 -x5995 -x1259 -x1257 -x1256 -x1255 -x1254
3590.78/3601.03 v -x1253 -x5994 -x5992 -x5991 x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5981 -x1252 -x1251 -x1250 -x1249 -x1248
3590.78/3601.03 v -x1246 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 x5973 -x5972 -x5970 -x5969 -x5968 -x1245 -x1244 -x1243 -x1242 -x1241
3590.78/3601.03 v -x1240 -x5967 -x5966 -x5965 -x5964 -x5963 x5962 -x5961 -x5958 -x5957 -x5956 -x5955 -x5954 -x1239 -x1238 -x1237 -x1235 -x1234
3590.78/3601.03 v -x1233 -x5953 -x5952 x5951 -x5950 -x5949 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x1232 -x1231 -x1230 -x1229 -x1228
3590.78/3601.03 v -x1227 -x5940 x5939 -x5938 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x1226 -x1223 -x1222 -x1221 -x1220
3590.78/3601.03 v -x1219 -x5927 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 x5919 -x5918 -x5917 -x5916 -x5914 -x1218 -x1217 -x1216 -x1215 -x1214
3590.78/3601.03 v -x1212 -x5913 x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5903 -x5902 -x5901 -x1211 -x1210 -x1209 -x1208 -x1207
3590.78/3601.03 v -x1206 -x5900 -x5899 -x5898 x5897 -x5896 -x5895 -x5894 -x5892 -x5891 -x5890 -x5889 -x5888 -x1205 -x1204 -x1203 -x1201 -x1200
3590.78/3601.03 v -x1199 -x5887 -x5886 -x5885 -x5884 -x5883 -x5881 -x5880 x5879 -x5878 -x5877 -x5876 -x5875 -x1198 -x1197 -x1196 -x1195 -x1194
3590.78/3601.03 v -x1193 -x5874 -x5873 -x5872 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 x5864 -x5863 -x5862 -x1192 -x1190 -x1189 -x1188 -x1187
3590.78/3601.03 v -x1186 -x5861 x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5847 -x1185 -x1184 -x1183 -x1182 -x1181
3590.78/3601.03 v -x1179 -x5846 -x5845 -x5844 x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5836 -x5835 -x5834 -x1178 -x1177 -x1176 -x1175 -x1174
3590.78/3601.03 v -x1173 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 x5825 -x5824 -x5823 -x5822 -x5821 -x1172 -x1171 -x1170 -x1168 -x1167
3590.78/3601.03 v -x1166 -x5820 -x5819 -x5818 -x5817 -x5816 -x5814 -x5813 x5812 -x5811 -x5810 -x5809 -x5808 -x1165 -x1164 -x1163 -x1162 -x1161
3590.78/3601.03 v -x1160 -x5807 -x5806 -x5805 x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x1159 -x1157 -x1156 -x1155 -x1154
3590.78/3601.03 v -x1153 -x5794 -x5792 -x5791 -x5790 -x5789 x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5781 -x1152 -x1151 -x1150 -x1149 -x1148
3590.78/3601.03 v -x1146 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 x5770 -x5769 -x5768 -x1145 -x1144 -x1143 -x1142 -x1141
3590.78/3601.03 v -x1140 -x5767 -x5766 -x5765 -x5764 -x5763 x5762 -x5761 -x5759 -x5758 -x5757 -x5756 -x5755 -x1139 -x1138 -x1137 -x1135 -x1134
3590.78/3601.03 v -x1133 -x5754 -x5753 -x5752 -x5751 -x5750 -x5748 -x5747 -x5746 -x5745 -x5744 x5743 -x5742 -x1132 -x1131 -x1130 -x1129 -x1128
3590.78/3601.03 v -x1127 -x5741 -x5740 -x5739 x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x1126 -x1124 -x1123 -x1122 -x1121
3590.78/3601.03 v -x1120 -x5727 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 x5716 -x5714 -x1119 -x1118 -x1117 -x1116 -x1115
3590.78/3601.03 v -x1111 -x5713 -x5712 -x5711 -x5710 -x5709 x5708 -x5707 -x5706 -x5705 -x5703 -x5702 -x5701 -x1110 -x1109 -x1108 -x1107 -x1106
3590.78/3601.06 v -x1105 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5692 -x5691 x5690 -x5689 -x5688 -x1104 -x1103 -x1102 -x1100 -x1099
3590.78/3601.06 v -x1098 -x5687 -x5686 -x5685 -x5684 -x5683 -x5681 -x5680 -x5679 -x5678 x5677 -x5676 -x5675 -x1097 -x1096 -x1095 -x1094 -x1093
3590.78/3601.06 v -x1092 -x5674 -x5673 -x5672 -x5670 -x5669 -x5668 -x5667 x5666 -x5665 -x5664 -x5663 -x5662 -x1091 -x1089 -x1088 -x1087 -x1086
3590.78/3601.06 v -x1085 -x5661 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 x5653 -x5652 -x5651 -x5650 -x5648 -x1084 -x1083 -x1082 -x1081 -x1080
3590.78/3601.06 v -x1078 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 x5640 -x5639 -x5637 -x5636 -x5635 -x1077 -x1076 -x1075 -x1074 -x1073
3590.78/3601.06 v -x1072 -x5634 -x5633 -x5632 x5631 -x5630 -x5629 -x5628 -x5625 -x5624 -x5623 -x5622 -x5621 -x1071 -x1070 -x1069 -x1067 -x1066
3590.78/3601.06 v -x1065 -x5420 -x5314 -x5072 -x4975 -x4724 -x4606 -x4394 -x4238 -x4084 x3880 -x3774 -x3532 -x1064 -x1063 -x1062 -x1061 -x1060
3590.78/3601.06 v -x1059 -x3435 -x3184 -x3067 -x2854 -x2698 -x2544 -x2340 -x2234 -x1992 -x1924 x1913 -x1902 -x1058 -x1056 -x1055 -x1054 -x1053
3590.78/3601.06 v -x1052 -x1891 -x1879 -x1868 -x1857 -x1846 -x1835 -x1824 x1813 -x1802 -x1791 -x1780 -x1768 -x1051 -x1050 -x1049 -x1048 -x1047
3590.78/3601.06 v -x1045 -x1757 -x1746 -x1735 -x1724 -x1713 -x1702 -x1691 x1680 -x1669 -x1657 -x1646 -x1635 -x1044 -x1043 -x1042 -x1041 -x1040
3590.78/3601.06 v -x1039 -x1624 -x1613 -x1602 -x1591 -x1580 -x1569 -x1558 x1546 -x1535 -x1524 -x1513 -x1502 -x1038 -x1037 -x1036 -x1034 -x1033
3590.78/3601.06 v -x1032 -x1491 -x1480 -x1469 -x1458 -x1447 -x1435 -x1424 x1413 -x1402 -x1391 -x1380 -x1369 -x1031 -x1030 -x1029 -x1028 -x1027
3590.78/3601.06 v -x1026 -x1358 -x1347 -x1336 -x1324 -x1313 -x1302 -x1291 -x1280 -x1269 x1258 -x1247 -x1236 -x1025 -x1023 -x1022 -x1021 -x1020
3590.78/3601.06 v -x1019 -x1225 -x1213 -x1202 -x1191 -x1180 -x1169 -x1158 -x1147 -x1136 x1125 -x1114 -x1101 -x1018 -x1017 -x1016 -x1015 -x1014
3590.78/3601.06 v -x1012 -x1090 -x1079 -x1068 -x1057 -x1046 -x1035 -x1024 -x1013 -x1002 -x990 x979 -x968 -x1011 -x1010 -x1009 -x1008 -x1007
3590.78/3601.06 v -x1006 -x957 -x946 -x935 -x924 -x913 -x902 -x891 x879 -x868 -x857 -x846 -x835 -x1005 -x1004 -x1003 -x1000 -x999 -x998 -x824
3590.78/3601.06 v -x813 -x802 -x791 -x780 x768 -x757 -x746 -x735 -x724 -x713 -x702 -x997 -x996 -x995 -x994 -x993 -x992 -x691 x680 -x669 -x657
3590.78/3601.06 v -x646 -x635 -x624 -x613 -x602 -x591 -x580 -x569 -x991 -x989 -x988 -x987 -x986 -x985 -x558 -x546 -x535 -x524 -x513 -x502 -x491
3590.78/3601.06 v x480 -x469 -x458 -x447 -x435 -x984 -x983 -x982 -x981 -x980 -x978 -x424 -x413 -x402 -x391 -x380 -x369 -x358 x347 -x336 -x324
3590.78/3601.06 v -x313 -x302 -x977 -x976 -x975 -x974 -x973 -x972 -x291 -x280 -x269 -x258 -x247 -x236 -x225 x213 -x202 -x191 -x180 -x169 -x971
3590.78/3601.06 v -x970 -x969 -x967 -x966 -x965 -x158 -x147 x136 -x125 -x114 -x102 -x91 -x80 -x69 -x58 -x47 -x36 -x964 -x963 -x962 -x961 -x960
3590.78/3601.06 v -x959 -x25 -x14 -x3 -x6392 -x6381 -x6370 -x6359 -x6348 -x6337 -x6326 x6315 -x6304 -x958 -x956 -x955 -x954 -x953 -x952 -x6293
3590.78/3601.06 v -x6281 -x6270 -x6259 -x6248 -x6237 -x6226 x6215 -x6204 -x6193 -x6182 -x6170 -x951 -x950 -x949 -x948 -x947 -x945 -x6159 -x6148
3590.78/3601.06 v -x6137 -x6126 -x6115 -x6104 -x6093 -x6082 -x6071 x6059 -x6048 -x6037 -x944 -x943 -x942 -x941 -x940 -x939 -x6026 -x6015 -x6004
3590.78/3601.06 v -x5993 -x5982 x5971 -x5960 -x5948 -x5937 -x5926 -x5915 -x5904 -x938 -x937 -x936 -x934 -x933 -x932 -x5893 -x5882 -x5871 -x5860
3590.78/3601.06 v -x5849 -x5837 -x5826 -x5815 -x5804 -x5793 x5782 -x5771 -x931 -x930 -x929 -x928 -x927 -x926 -x5760 -x5749 -x5738 -x5726 -x5715
3590.78/3601.06 v -x5704 -x5693 -x5682 -x5671 x5660 -x5649 -x5638 x5627 -x4723 x3066 -x1890 -x1779 -x1668 -x1557 x1446 x1335 x1224 -x1113 x1001
3590.78/3601.06 v -x890 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: 64059 MiB (61792 MiB free)
memory of node 1: 64510 MiB (62322 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434592-1721064879/watcher-4434592-1721064879 -o /tmp/evaluation-result-4434592-1721064879/solver-4434592-1721064879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811949 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434592-1721064879.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=814038, runsolver pid=814035
[startup+0.1001 s]*
/proc/loadavg: 4.17 4.21 4.23 5/245 814049
/proc/meminfo: memFree=126991268/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=56396 memory=45724 CPUtime=0.11 cores=1,3
/proc/814038/stat : 814038 (fscip) R 814035 814038 811937 0 -1 4194304 9504 0 0 0 10 1 0 0 20 0 1 0 158645930 57749504 11431 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 14099 11431 2766 3032 0 10499 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 56396 KiB
Current children cumulated memory: 45724 KiB
[startup+0.213098 s]*
/proc/loadavg: 4.17 4.21 4.23 6/245 814049
/proc/meminfo: memFree=126967988/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=62376 memory=50900 CPUtime=0.21 cores=1,3
/proc/814038/stat : 814038 (fscip) R 814035 814038 811937 0 -1 4194304 10880 0 0 0 20 1 0 0 20 0 1 0 158645930 63873024 12725 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 15594 12725 2766 3032 0 11994 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62376 KiB
Current children cumulated memory: 50900 KiB
[startup+0.313626 s]*
/proc/loadavg: 4.17 4.21 4.23 6/246 814050
/proc/meminfo: memFree=126904828/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=149472 memory=66632 CPUtime=0.3 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 15917 0 0 0 27 3 0 0 20 0 2 0 158645930 153059328 16658 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 37368 16658 2798 3032 0 19418 0
[pid=814038/tid=814050] ppid=814035 vsize=159720 memory=-8816194742297928380 CPUtime=0.02 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 2575 0 0 0 2 0 0 0 20 0 3 0 158645957 163553280 17399 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=159720 memory=0 CPUtime=0 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158645963 163553280 17399 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 149472 KiB
Current children cumulated memory: 66632 KiB
[startup+0.700445 s]
/proc/loadavg: 4.17 4.21 4.23 5/247 814051
/proc/meminfo: memFree=126846596/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=168300 memory=101280 CPUtime=0.65 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 24599 0 0 0 59 6 0 0 20 0 3 0 158645930 172339200 25320 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 42075 25320 2910 3032 0 30627 0
[pid=814038/tid=814050] ppid=814035 vsize=168300 memory=5576 CPUtime=0.36 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 10543 0 0 0 33 3 0 0 20 0 3 0 158645957 172339200 25320 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=168300 memory=417 CPUtime=0 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158645963 172339200 25320 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 168300 KiB
Current children cumulated memory: 101280 KiB
[startup+1.50034 s]
/proc/loadavg: 4.17 4.21 4.23 5/247 814051
/proc/meminfo: memFree=126809208/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=169328 memory=106312 CPUtime=1.45 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 26797 0 0 0 139 6 0 0 20 0 3 0 158645930 173391872 26578 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 42332 26578 2926 3032 0 32009 0
[pid=814038/tid=814050] ppid=814035 vsize=169328 memory=417 CPUtime=1.15 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 12741 0 0 0 112 3 0 0 20 0 3 0 158645957 173391872 26578 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=169328 memory=0 CPUtime=0 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158645963 173391872 26578 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 169328 KiB
Current children cumulated memory: 106312 KiB
[startup+3.11392 s]
/proc/loadavg: 4.16 4.21 4.23 5/249 814101
/proc/meminfo: memFree=127731804/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=171912 memory=121576 CPUtime=3.05 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 35360 0 0 0 298 7 0 0 20 0 3 0 158645930 176037888 30394 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 42978 30394 2942 3032 0 35977 0
[pid=814038/tid=814050] ppid=814035 vsize=171912 memory=-6515134629742295911 CPUtime=2.76 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 21302 0 0 0 272 4 0 0 20 0 3 0 158645957 176037888 30394 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=171912 memory=0 CPUtime=0 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 158645963 176037888 30394 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 171912 KiB
Current children cumulated memory: 121576 KiB
[startup+6.30038 s]
/proc/loadavg: 4.16 4.21 4.23 5/251 814105
/proc/meminfo: memFree=127186452/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=237448 memory=142372 CPUtime=6.23 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 48634 0 0 0 614 9 0 0 20 0 3 0 158645930 243146752 35593 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 59362 35593 2942 3032 0 41840 0
[pid=814038/tid=814050] ppid=814035 vsize=237448 memory=12440 CPUtime=5.94 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 34576 0 0 0 588 6 0 0 20 0 3 0 158645957 243146752 35593 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=237448 memory=0 CPUtime=0 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 158645963 243146752 35593 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 237448 KiB
Current children cumulated memory: 142372 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.20 4.22 5/251 814105
/proc/meminfo: memFree=126966996/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=237448 memory=143972 CPUtime=12.61 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 60766 0 0 0 1251 10 0 0 20 0 3 0 158645930 243146752 35993 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 59362 35993 3262 3032 0 41840 0
[pid=814038/tid=814050] ppid=814035 vsize=237448 memory=0 CPUtime=12.32 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 46644 0 0 0 1225 7 0 0 20 0 3 0 158645957 243146752 35993 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=237448 memory=65 CPUtime=0 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 158645963 243146752 35993 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 237448 KiB
Current children cumulated memory: 143972 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.21 4.23 5/251 814109
/proc/meminfo: memFree=126951540/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=237448 memory=144208 CPUtime=25.38 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 77354 0 0 0 2527 11 0 0 20 0 3 0 158645930 243146752 36052 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 59362 36052 3310 3032 0 41840 0
[pid=814038/tid=814050] ppid=814035 vsize=237448 memory=12440 CPUtime=25.09 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 63194 0 0 0 2501 8 0 0 20 0 3 0 158645957 243146752 36052 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=237448 memory=143984 CPUtime=0 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 158645963 243146752 36052 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 237448 KiB
Current children cumulated memory: 144208 KiB
[startup+51.1125 s]
/proc/loadavg: 4.12 4.19 4.22 5/251 814112
/proc/meminfo: memFree=126857188/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=237448 memory=171284 CPUtime=50.92 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 132660 0 0 0 5076 16 0 0 20 0 3 0 158645930 243146752 42821 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 59362 42821 3310 3032 0 48434 0
[pid=814038/tid=814050] ppid=814035 vsize=237448 memory=171284 CPUtime=50.62 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 116575 0 0 0 5049 13 0 0 20 0 3 0 158645957 243146752 42821 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=237448 memory=154852 CPUtime=0 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 158645963 243146752 42821 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 237448 KiB
Current children cumulated memory: 171284 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.17 4.21 5/249 814122
/proc/meminfo: memFree=126780080/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=237448 memory=186416 CPUtime=101.98 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 209730 0 0 0 10175 23 0 0 20 0 3 0 158645930 243146752 46604 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 59362 46604 3310 3032 0 53470 0
[pid=814038/tid=814050] ppid=814035 vsize=237448 memory=12440 CPUtime=101.67 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 192590 0 0 0 10148 19 0 0 20 0 3 0 158645957 243146752 46604 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=237448 memory=6720667666186779496 CPUtime=0 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 158645963 243146752 46604 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 237448 KiB
Current children cumulated memory: 186416 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.19 4.21 5/249 814132
/proc/meminfo: memFree=126628476/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=302984 memory=220524 CPUtime=161.83 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 261583 0 0 0 16156 27 0 0 20 0 3 0 158645930 310255616 55131 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 75746 55131 3310 3032 0 60960 0
[pid=814038/tid=814050] ppid=814035 vsize=302984 memory=12440 CPUtime=161.51 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 244349 0 0 0 16128 23 0 0 20 0 3 0 158645957 310255616 55131 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=302984 memory=180484 CPUtime=0 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 158645963 310255616 55131 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 302984 KiB
Current children cumulated memory: 220524 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.20 5/249 814143
/proc/meminfo: memFree=126595476/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=302984 memory=231944 CPUtime=221.68 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 307276 0 0 0 22137 31 0 0 20 0 3 0 158645930 310255616 57986 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
################
# More data... #
################
/proc/814038/statm: 278327 257842 3310 3032 0 260758 0
[pid=814038/tid=814050] ppid=814035 vsize=1113308 memory=991744 CPUtime=3392.03 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1861583 0 0 0 338916 287 0 0 20 0 3 0 158645957 1140027392 257842 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1113308 memory=12440 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 181 0 0 0 1 4 0 0 20 0 3 0 158645963 1140027392 257842 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 1113308 KiB
Current children cumulated memory: 1031368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/252 816024
/proc/meminfo: memFree=126082480/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=1114116 memory=1040948 CPUtime=3452.49 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 1911616 0 0 0 344937 312 0 0 20 0 3 0 158645930 1140854784 260237 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 278529 260237 3310 3032 0 263293 0
[pid=814038/tid=814050] ppid=814035 vsize=1114116 memory=991744 CPUtime=3451.84 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1893100 0 0 0 344892 292 0 0 20 0 3 0 158645957 1140854784 260237 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1114116 memory=1040864 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 183 0 0 0 1 4 0 0 20 0 3 0 158645963 1140854784 260237 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 1114116 KiB
Current children cumulated memory: 1040948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/252 816035
/proc/meminfo: memFree=126065520/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=1114116 memory=1057384 CPUtime=3512.3 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 1928476 0 0 0 350914 316 0 0 20 0 3 0 158645930 1140854784 264346 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 278529 264346 3310 3032 0 267904 0
[pid=814038/tid=814050] ppid=814035 vsize=1114116 memory=1040948 CPUtime=3511.66 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1909956 0 0 0 350869 297 0 0 20 0 3 0 158645957 1140854784 264346 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1114116 memory=1055632 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 185 0 0 0 1 4 0 0 20 0 3 0 158645963 1140854784 264346 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 1114116 KiB
Current children cumulated memory: 1057384 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/250 816045
/proc/meminfo: memFree=126039780/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=1115316 memory=1082368 CPUtime=3572.12 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 1949027 0 0 0 356890 322 0 0 20 0 3 0 158645930 1142083584 270592 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 278829 270592 3310 3032 0 274452 0
[pid=814038/tid=814050] ppid=814035 vsize=1115316 memory=12440 CPUtime=3571.47 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1930474 0 0 0 356845 302 0 0 20 0 3 0 158645957 1142083584 270592 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1115316 memory=1081148 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 187 0 0 0 1 4 0 0 20 0 3 0 158645963 1142083584 270592 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 1115316 KiB
Current children cumulated memory: 1082368 KiB
[startup+3601.08 s]
# the end of solver process 814038 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.58 s, system=3.27288 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.18 4.17 5/250 816046
/proc/meminfo: memFree=126039248/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=1115896 memory=1082912 CPUtime=3573.83 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 1949322 0 0 0 357061 322 0 0 20 0 3 0 158645930 1142677504 270728 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 278974 270728 3310 3032 0 274597 0
[pid=814038/tid=814050] ppid=814035 vsize=1115896 memory=20308 CPUtime=3573.18 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1930769 0 0 0 357016 302 0 0 20 0 3 0 158645957 1142677504 270728 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1115896 memory=5356 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 187 0 0 0 1 4 0 0 20 0 3 0 158645963 1142677504 270728 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 1115896 KiB
Current children cumulated memory: 1082912 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.19 4.17 5/250 816046
/proc/meminfo: memFree=126028676/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=1182840 memory=1093256 CPUtime=3580.2 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 1953528 0 0 0 357697 323 0 0 20 0 3 0 158645930 1211228160 273314 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 295710 273314 3310 3032 0 277520 0
[pid=814038/tid=814050] ppid=814035 vsize=1182840 memory=1082364 CPUtime=3579.54 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1934975 0 0 0 357651 303 0 0 20 0 3 0 158645957 1211228160 273314 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1182840 memory=1082912 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 187 0 0 0 1 4 0 0 20 0 3 0 158645963 1211228160 273314 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3580.2 s
Current children cumulated vsize: 1182840 KiB
Current children cumulated memory: 1093256 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.19 4.17 5/250 816048
/proc/meminfo: memFree=126027276/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=1182840 memory=1094732 CPUtime=3586.58 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 1954283 0 0 0 358334 324 0 0 20 0 3 0 158645930 1211228160 273683 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 295710 273683 3310 3032 0 277520 0
[pid=814038/tid=814050] ppid=814035 vsize=1182840 memory=1080908 CPUtime=3585.92 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1935730 0 0 0 358288 304 0 0 20 0 3 0 158645957 1211228160 273683 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1182840 memory=12440 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 187 0 0 0 1 4 0 0 20 0 3 0 158645963 1211228160 273683 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3586.58 s
Current children cumulated vsize: 1182840 KiB
Current children cumulated memory: 1094732 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.19 4.17 5/250 816048
/proc/meminfo: memFree=126027108/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=1182840 memory=1095304 CPUtime=3588.18 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 1954485 0 0 0 358494 324 0 0 20 0 3 0 158645930 1211228160 273826 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 295710 273826 3310 3032 0 277520 0
[pid=814038/tid=814050] ppid=814035 vsize=1182840 memory=5576 CPUtime=3587.52 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1935932 0 0 0 358448 304 0 0 20 0 3 0 158645957 1211228160 273826 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1182840 memory=1094876 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 187 0 0 0 1 4 0 0 20 0 3 0 158645963 1211228160 273826 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3588.18 s
Current children cumulated vsize: 1182840 KiB
Current children cumulated memory: 1095304 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.19 4.17 5/250 816048
/proc/meminfo: memFree=126026468/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=1182840 memory=1095460 CPUtime=3589.78 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 1954816 0 0 0 358654 324 0 0 20 0 3 0 158645930 1211228160 273865 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 295710 273865 3310 3032 0 277520 0
[pid=814038/tid=814050] ppid=814035 vsize=1182840 memory=-6587191124268596070 CPUtime=3589.12 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1936263 0 0 0 358608 304 0 0 20 0 3 0 158645957 1211228160 273865 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1182840 memory=1469929895090620505 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 187 0 0 0 1 4 0 0 20 0 3 0 158645963 1211228160 273865 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3589.78 s
Current children cumulated vsize: 1182840 KiB
Current children cumulated memory: 1095460 KiB
[startup+3600.8 s]
/proc/loadavg: 4.13 4.19 4.17 5/250 816048
/proc/meminfo: memFree=126026468/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=1178652 memory=1091272 CPUtime=3590.57 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 1965493 0 0 0 358732 325 0 0 20 0 3 0 158645930 1206939648 272818 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 294663 272818 3310 3032 0 276473 0
[pid=814038/tid=814050] ppid=814035 vsize=1178652 memory=5608 CPUtime=3589.91 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1946942 0 0 0 358686 305 0 0 20 0 3 0 158645957 1206939648 272818 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1178652 memory=1095460 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 187 0 0 0 1 4 0 0 20 0 3 0 158645963 1206939648 272818 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3590.57 s
Current children cumulated vsize: 1178652 KiB
Current children cumulated memory: 1091272 KiB
[startup+3601 s]*
/proc/loadavg: 4.13 4.19 4.17 5/244 816083
/proc/meminfo: memFree=126605456/131655788 swapFree=131071996/131071996
[pid=814038] ppid=814035 vsize=1175572 memory=1088192 CPUtime=3590.78 cores=1,3
/proc/814038/stat : 814038 (fscip) S 814035 814038 811937 0 -1 1077936128 1966769 0 0 0 358753 325 0 0 20 0 3 0 158645930 1203785728 272048 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
/proc/814038/statm: 293893 272048 3310 3032 0 275703 0
[pid=814038/tid=814050] ppid=814035 vsize=1174548 memory=-6587191124268596070 CPUtime=3590.12 cores=1,3
/proc/814038/task/814050/stat : 814050 (fscip) R 814035 814038 811937 0 -1 4194368 1948216 0 0 0 358707 305 0 0 20 0 3 0 158645957 1202737152 271792 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
[pid=814038/tid=814051] ppid=814035 vsize=1174548 memory=1469929895090620505 CPUtime=0.05 cores=1,3
/proc/814038/task/814051/stat : 814051 (fscip) S 814035 814038 811937 0 -1 1077936192 187 0 0 0 1 4 0 0 20 0 3 0 158645963 1202737152 271792 134679101440 4194304 16613245 140725675585200 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 57155584 140725675590677 140725675590793 140725675590793 140725675597808 0
Current children cumulated CPU time: 3590.78 s
Current children cumulated vsize: 1175572 KiB
Current children cumulated memory: 1088192 KiB
Child status: 0
Real time (s): 3601.08
CPU time (s): 3590.85
CPU user time (s): 3587.58
CPU system time (s): 3.27288
CPU usage (%): 99.716
Max. virtual memory (cumulated for all children) (KiB): 1182840
Max. memory (cumulated for all children) (KiB): 1095460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.58
system time used= 3.27287
maximum resident set size= 1096512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1967596
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= 10427
involuntary context switches= 3684
# summary of solver processes directly reported to runsolver:
# pid: 814038
# total CPU time (s): 3590.85
# total CPU user time (s): 3587.58
# total CPU system time (s): 3.27288
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0237 second user time and 34.1103 second system time
The end
Begin job on nodeC002 at 2024-07-15 19:34:51
IDJOB=4434592
IDBENCH=146797
IDSOLVER=3064
FILE ID=nodeC002/4434592-1721064879
RUNJOBID= nodeC002-1721061290-811949
SLURM_JOB_ID= 7505511
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434592-1721064879/watcher-4434592-1721064879 -o /tmp/evaluation-result-4434592-1721064879/solver-4434592-1721064879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811949 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434592-1721064879.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=8386153
nodeC002.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 : 3673.020
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.38
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 : 3492.078
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.271
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.38
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.151
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.760
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.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.742
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.152
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.38
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.152
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127093744 kB
MemAvailable: 128446544 kB
Buffers: 386500 kB
Cached: 1795036 kB
SwapCached: 0 kB
Active: 611620 kB
Inactive: 3393644 kB
Active(anon): 2676 kB
Inactive(anon): 1858752 kB
Active(file): 608944 kB
Inactive(file): 1534892 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 89336 kB
Writeback: 20 kB
AnonPages: 1821428 kB
Mapped: 124772 kB
Shmem: 37704 kB
KReclaimable: 97992 kB
Slab: 195952 kB
SReclaimable: 97992 kB
SUnreclaim: 97960 kB
KernelStack: 3808 kB
PageTables: 12708 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 905408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52800 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1501184 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: 201544 kB
DirectMap2M: 20674560 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC002 at 2024-07-15 20:34:52