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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 39337984, getVmSize() = 39337984, SCIPgetMemUsed() = 14294088, SCIPgetMemTotal() = 17567264, SCIPgetMemExternEstim() = 5621835
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.68/0.75 c ** Estimated virtualMemUsedAtSolver = 64909181, getVmSize() = 114839552, SCIPgetMemUsed() = 69641721, SCIPgetMemTotal() = 91741937, SCIPgetMemExternEstim() = 5621835
0.68/0.75 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.68/0.75 c Original Problem :
0.68/0.75 c Problem name : instance-4434951-1721170648
0.68/0.75 c Variables : 5568 (5568 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.75 c Constraints : 412
0.68/0.75 c Objective sense : minimize
0.68/0.75 c Presolved Problem :
0.68/0.75 c Variables : 5568 (5568 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.75 c Constraints : 239
0.68/0.75 c Constraints : Number
0.68/0.75 c knapsack : 66
0.68/0.75 c setppc : 173
0.68/0.75 c ** Instance transfer method used: 0
0.68/0.77 c ** ParaScipInstance copy does not increase the number of variables. **
0.68/0.78 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.68/0.78 c Nodes Active
0.68/0.78 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.98/1.05 c * 1 0 1 1 20.0000 - -
2.98/3.07 c * 3 2 1 1 19.0000 15.0000 26.67%
2.98/3.07 c * 3 2 1 1 18.0000 15.0000 20.00%
3.57/3.65 c * 4 51 52 1 17.0000 15.0000 13.33%
3.67/3.70 c * 4 51 52 1 16.0000 15.0000 6.67%
5.77/5.81 c 6 153 113 1 16.0000 15.0000 6.67%
10.85/10.94 c 11 403 339 1 16.0000 15.0000 6.67%
16.24/16.30 c 16 607 523 1 16.0000 15.0000 6.67%
21.22/21.36 c 21 1365 1033 1 16.0000 15.0000 6.67%
26.30/26.41 c 26 2286 1402 1 16.0000 15.0000 6.67%
31.29/31.46 c 31 4658 2938 1 16.0000 15.0000 6.67%
36.48/36.62 c 37 6156 3034 1 16.0000 15.0000 6.67%
41.46/41.67 c 42 8362 3756 1 16.0000 15.0000 6.67%
46.55/46.72 c 47 9846 4576 1 16.0000 15.0000 6.67%
51.62/51.80 c 52 11454 5364 1 16.0000 15.0000 6.67%
56.61/56.86 c 57 13346 6148 1 16.0000 15.0000 6.67%
61.69/61.93 c 62 15717 6575 1 16.0000 15.0000 6.67%
66.67/66.98 c 67 17401 7194 1 16.0000 15.0000 6.67%
71.75/72.03 c 72 19510 7726 1 16.0000 15.0000 6.67%
76.83/77.12 c 77 22350 8205 1 16.0000 15.0000 6.67%
81.82/82.19 c 82 24188 8668 1 16.0000 15.0000 6.67%
86.89/87.24 c 87 26204 9242 1 16.0000 15.0000 6.67%
91.87/92.29 c 92 28375 9725 1 16.0000 15.0000 6.67%
96.96/97.36 c 97 30096 10022 1 16.0000 15.0000 6.67%
102.04/102.41 c 102 32478 10572 1 16.0000 15.0000 6.67%
107.03/107.48 c 107 35303 11276 1 16.0000 15.0000 6.67%
112.72/113.19 c 113 35639 9 1 16.0000 15.0000 6.67%
118.79/119.20 c 119 35681 45 1 16.0000 15.0000 6.67%
124.08/124.57 c 125 35713 71 1 16.0000 15.0000 6.67%
129.06/129.58 c 130 35753 109 1 16.0000 15.0000 6.67%
134.46/134.93 c 135 36249 298 1 16.0000 15.0000 6.67%
139.65/140.15 c 140 36993 585 1 16.0000 15.0000 6.67%
144.64/145.16 c 145 37568 670 1 16.0000 15.0000 6.67%
150.52/151.06 c 151 37866 786 1 16.0000 15.0000 6.67%
156.39/156.90 c 157 38135 815 1 16.0000 15.0000 6.67%
161.88/162.42 c 162 38575 875 1 16.0000 15.0000 6.67%
167.48/168.11 c 168 39119 1026 1 16.0000 15.0000 6.67%
172.75/173.33 c 173 39657 1046 1 16.0000 15.0000 6.67%
178.24/178.83 c 179 40302 1162 1 16.0000 15.0000 6.67%
183.53/184.12 c 184 40935 1269 1 16.0000 15.0000 6.67%
188.70/189.31 c 189 41462 1318 1 16.0000 15.0000 6.67%
194.67/195.30 c 195 42181 1508 1 16.0000 15.0000 6.67%
200.05/200.72 c 201 42588 1510 1 16.0000 15.0000 6.67%
205.13/205.89 c 206 43114 1561 1 16.0000 15.0000 6.67%
211.01/211.74 c 212 43262 1577 1 16.0000 15.0000 6.67%
216.20/216.94 c 217 43581 1625 1 16.0000 15.0000 6.67%
221.39/222.16 c 222 44300 1770 1 16.0000 15.0000 6.67%
227.38/228.15 c 228 44737 1728 1 16.0000 15.0000 6.67%
232.74/233.51 c 234 45090 1810 1 16.0000 15.0000 6.67%
238.25/239.08 c 239 45476 1868 1 16.0000 15.0000 6.67%
243.82/244.67 c 245 45890 1856 1 16.0000 15.0000 6.67%
249.21/250.02 c 250 46314 1846 1 16.0000 15.0000 6.67%
254.68/255.51 c 256 46610 1899 1 16.0000 15.0000 6.67%
260.08/260.91 c 261 47178 1996 1 16.0000 15.0000 6.67%
265.17/266.02 c 266 47888 2036 1 16.0000 15.0000 6.67%
270.84/271.75 c 272 48712 2201 1 16.0000 15.0000 6.67%
276.72/277.69 c 278 49213 2135 1 16.0000 15.0000 6.67%
281.90/282.85 c 283 49903 2403 1 16.0000 15.0000 6.67%
287.28/288.24 c 288 50475 2541 1 16.0000 15.0000 6.67%
292.76/293.72 c 294 51383 2656 1 16.0000 15.0000 6.67%
297.74/298.79 c 299 51554 2709 1 16.0000 15.0000 6.67%
303.23/304.29 c 304 51909 2802 1 16.0000 15.0000 6.67%
308.71/309.71 c 310 52178 2869 1 16.0000 15.0000 6.67%
314.00/315.06 c 315 53195 2929 1 16.0000 15.0000 6.67%
319.77/320.83 c 321 53746 2989 1 16.0000 15.0000 6.67%
324.85/325.90 c 326 54898 3026 1 16.0000 15.0000 6.67%
330.05/331.16 c 331 55742 3115 1 16.0000 15.0000 6.67%
335.31/336.47 c 336 57078 3125 1 16.0000 15.0000 6.67%
340.39/341.58 c 342 58588 3097 1 16.0000 15.0000 6.67%
345.67/346.82 c 347 59909 3066 1 16.0000 15.0000 6.67%
350.96/352.12 c 352 60617 3056 1 16.0000 15.0000 6.67%
356.54/357.77 c 358 60885 3074 1 16.0000 15.0000 6.67%
361.83/363.05 c 363 61221 3094 1 16.0000 15.0000 6.67%
366.91/368.14 c 368 61716 3204 1 16.0000 15.0000 6.67%
372.28/373.57 c 374 62496 3374 1 16.0000 15.0000 6.67%
377.78/379.02 c 379 63042 3470 1 16.0000 15.0000 6.67%
382.94/384.28 c 384 63783 3562 1 16.0000 15.0000 6.67%
388.22/389.58 c 390 64408 3719 1 16.0000 15.0000 6.67%
393.72/395.03 c 395 64980 3864 1 16.0000 15.0000 6.67%
399.18/400.53 c 401 64980 3864 1 16.0000 15.0000 6.67%
404.27/405.69 c 406 65109 3903 1 16.0000 15.0000 6.67%
409.54/410.91 c 411 65753 3946 1 16.0000 15.0000 6.67%
414.92/416.32 c 416 66523 4017 1 16.0000 15.0000 6.67%
420.01/421.42 c 421 66594 4017 1 16.0000 15.0000 6.67%
425.49/426.95 c 427 66744 4015 1 16.0000 15.0000 6.67%
430.68/432.15 c 432 67718 4083 1 16.0000 15.0000 6.67%
436.16/437.63 c 438 68415 4109 1 16.0000 15.0000 6.67%
441.54/443.02 c 443 68972 4153 1 16.0000 15.0000 6.67%
446.63/448.15 c 448 70223 4162 1 16.0000 15.0000 6.67%
451.79/453.34 c 453 72074 4269 1 16.0000 15.0000 6.67%
456.87/458.43 c 458 73462 4311 1 16.0000 15.0000 6.67%
462.15/463.77 c 464 74420 4340 1 16.0000 15.0000 6.67%
467.34/468.96 c 469 75493 4275 1 16.0000 15.0000 6.67%
472.72/474.37 c 474 76007 4253 1 16.0000 15.0000 6.67%
478.30/479.92 c 480 76659 4362 1 16.0000 15.0000 6.67%
483.39/485.04 c 485 76803 4377 1 16.0000 15.0000 6.67%
488.75/490.41 c 490 77440 4602 1 16.0000 15.0000 6.67%
494.24/496.01 c 496 77848 4790 1 16.0000 15.0000 6.67%
499.44/501.18 c 501 78091 4864 1 16.0000 15.0000 6.67%
505.90/507.64 c 508 78516 5008 1 16.0000 15.0000 6.67%
511.59/513.34 c 513 78893 5029 1 16.0000 15.0000 6.67%
522.66/524.48 c 524 78952 5033 1 16.0000 15.0000 6.67%
527.94/529.80 c 530 79702 5165 1 16.0000 15.0000 6.67%
533.33/535.15 c 535 80291 5180 1 16.0000 15.0000 6.67%
538.40/540.26 c 540 81423 5457 1 16.0000 15.0000 6.67%
543.68/545.57 c 546 82697 5521 1 16.0000 15.0000 6.67%
549.08/550.96 c 551 83363 5557 1 16.0000 15.0000 6.67%
554.27/556.19 c 556 83801 5504 1 16.0000 15.0000 6.67%
559.64/561.50 c 562 84581 5512 1 16.0000 15.0000 6.67%
565.53/567.46 c 567 85352 5554 1 16.0000 15.0000 6.67%
570.61/572.52 c 573 86152 5678 1 16.0000 15.0000 6.67%
575.70/577.69 c 578 86692 5740 1 16.0000 15.0000 6.67%
580.88/582.83 c 583 87383 5815 1 16.0000 15.0000 6.67%
585.96/587.93 c 588 88498 6026 1 16.0000 15.0000 6.67%
591.34/593.32 c 593 89065 6016 1 16.0000 15.0000 6.67%
596.42/598.45 c 598 90081 5976 1 16.0000 15.0000 6.67%
601.80/603.88 c 604 90538 6002 1 16.0000 15.0000 6.67%
607.49/609.51 c 610 91356 6230 1 16.0000 15.0000 6.67%
612.46/614.56 c 615 95331 6454 1 16.0000 15.0000 6.67%
617.53/619.68 c 620 99755 6626 1 16.0000 15.0000 6.67%
622.62/624.75 c 625 103273 7235 1 16.0000 15.0000 6.67%
627.69/629.81 c 630 105757 7518 1 16.0000 15.0000 6.67%
632.67/634.86 c 635 109737 8149 1 16.0000 15.0000 6.67%
637.74/639.92 c 640 113453 8468 1 16.0000 15.0000 6.67%
642.73/644.97 c 645 116275 8812 1 16.0000 15.0000 6.67%
647.82/650.06 c 650 119669 9366 1 16.0000 15.0000 6.67%
652.79/655.11 c 655 123094 9735 1 16.0000 15.0000 6.67%
657.87/660.16 c 660 127489 9943 1 16.0000 15.0000 6.67%
662.94/665.21 c 665 132245 10120 1 16.0000 15.0000 6.67%
667.92/670.26 c 670 136631 10157 1 16.0000 15.0000 6.67%
672.99/675.31 c 675 139954 10089 1 16.0000 15.0000 6.67%
678.07/680.49 c 680 142853 10467 1 16.0000 15.0000 6.67%
683.15/685.54 c 686 146299 11011 1 16.0000 15.0000 6.67%
688.13/690.59 c 691 150131 11611 1 16.0000 15.0000 6.67%
693.20/695.64 c 696 154297 11619 1 16.0000 15.0000 6.67%
698.18/700.69 c 701 157616 11877 1 16.0000 15.0000 6.67%
703.26/705.75 c 706 161026 12201 1 16.0000 15.0000 6.67%
708.34/710.80 c 711 164507 12344 1 16.0000 15.0000 6.67%
713.32/715.85 c 716 167629 12878 1 16.0000 15.0000 6.67%
718.39/720.90 c 721 171532 13496 1 16.0000 15.0000 6.67%
723.38/725.96 c 726 174513 13762 1 16.0000 15.0000 6.67%
728.34/731.01 c 731 177307 14012 1 16.0000 15.0000 6.67%
733.44/736.06 c 736 180336 14305 1 16.0000 15.0000 6.67%
738.52/741.13 c 741 183006 15076 1 16.0000 15.0000 6.67%
743.50/746.18 c 746 186525 15423 1 16.0000 15.0000 6.67%
748.57/751.23 c 751 189628 15926 1 16.0000 15.0000 6.67%
753.56/756.28 c 756 192932 16479 1 16.0000 15.0000 6.67%
758.64/761.33 c 761 196015 16935 1 16.0000 15.0000 6.67%
763.72/766.46 c 766 198781 17368 1 16.0000 15.0000 6.67%
768.80/771.51 c 772 201329 17451 1 16.0000 15.0000 6.67%
773.78/776.56 c 777 204420 18036 1 16.0000 15.0000 6.67%
778.87/781.63 c 782 206889 18414 1 16.0000 15.0000 6.67%
783.85/786.68 c 787 210046 19008 1 16.0000 15.0000 6.67%
789.03/791.84 c 792 212629 19597 1 16.0000 15.0000 6.67%
794.11/796.90 c 797 215451 20270 1 16.0000 15.0000 6.67%
799.10/801.97 c 802 217460 21205 1 16.0000 15.0000 6.67%
804.19/807.02 c 807 220353 21480 1 16.0000 15.0000 6.67%
809.17/812.07 c 812 222978 21704 1 16.0000 15.0000 6.67%
814.26/817.12 c 817 225565 21941 1 16.0000 15.0000 6.67%
819.23/822.17 c 822 228126 22334 1 16.0000 15.0000 6.67%
824.30/827.22 c 827 230674 23001 1 16.0000 15.0000 6.67%
829.39/832.35 c 832 233034 23639 1 16.0000 15.0000 6.67%
834.47/837.43 c 837 234580 24070 1 16.0000 15.0000 6.67%
839.46/842.49 c 842 237213 24379 1 16.0000 15.0000 6.67%
844.54/847.58 c 848 239706 24888 1 16.0000 15.0000 6.67%
849.73/852.73 c 853 242045 25174 1 16.0000 15.0000 6.67%
854.70/857.78 c 858 244817 25570 1 16.0000 15.0000 6.67%
859.79/862.83 c 863 247464 26035 1 16.0000 15.0000 6.67%
864.77/867.88 c 868 250014 26471 1 16.0000 15.0000 6.67%
869.86/872.94 c 873 252267 26763 1 16.0000 15.0000 6.67%
874.83/877.99 c 878 254935 27085 1 16.0000 15.0000 6.67%
879.92/883.04 c 883 258255 27426 1 16.0000 15.0000 6.67%
884.91/888.09 c 888 261281 27889 1 16.0000 15.0000 6.67%
889.99/893.14 c 893 264508 28161 1 16.0000 15.0000 6.67%
895.05/898.20 c 898 266984 28291 1 16.0000 15.0000 6.67%
900.03/903.25 c 903 269924 28441 1 16.0000 15.0000 6.67%
905.12/908.30 c 908 272669 28535 1 16.0000 15.0000 6.67%
910.11/913.35 c 913 275507 28622 1 16.0000 15.0000 6.67%
915.18/918.40 c 918 278288 28776 1 16.0000 15.0000 6.67%
920.17/923.48 c 923 281493 29121 1 16.0000 15.0000 6.67%
925.25/928.53 c 929 284323 29487 1 16.0000 15.0000 6.67%
930.23/933.58 c 934 287253 29975 1 16.0000 15.0000 6.67%
935.32/938.63 c 939 289982 30619 1 16.0000 15.0000 6.67%
940.40/943.70 c 944 292621 31043 1 16.0000 15.0000 6.67%
945.38/948.75 c 949 295842 31515 1 16.0000 15.0000 6.67%
950.47/953.80 c 954 298782 31798 1 16.0000 15.0000 6.67%
955.45/958.88 c 959 301685 32181 1 16.0000 15.0000 6.67%
960.53/963.94 c 964 304310 32419 1 16.0000 15.0000 6.67%
965.51/969.00 c 969 307117 32609 1 16.0000 15.0000 6.67%
970.61/974.05 c 974 310069 32875 1 16.0000 15.0000 6.67%
975.89/979.39 c 979 311524 32941 1 16.0000 15.0000 6.67%
980.96/984.44 c 984 314036 33133 1 16.0000 15.0000 6.67%
985.95/989.49 c 989 316336 33409 1 16.0000 15.0000 6.67%
991.03/994.54 c 995 318607 33683 1 16.0000 15.0000 6.67%
996.01/999.59 c 1000 320865 33977 1 16.0000 15.0000 6.67%
1001.09/1004.64 c 1005 323337 34306 1 16.0000 15.0000 6.67%
1006.17/1009.72 c 1010 325713 34590 1 16.0000 15.0000 6.67%
1011.16/1014.77 c 1015 327871 34866 1 16.0000 15.0000 6.67%
1016.24/1019.82 c 1020 330338 35167 1 16.0000 15.0000 6.67%
1021.23/1024.87 c 1025 332562 35360 1 16.0000 15.0000 6.67%
1026.31/1029.93 c 1030 334937 35547 1 16.0000 15.0000 6.67%
1031.29/1034.98 c 1035 337582 35749 1 16.0000 15.0000 6.67%
1036.37/1040.06 c 1040 340028 35947 1 16.0000 15.0000 6.67%
1041.36/1045.11 c 1045 342855 36109 1 16.0000 15.0000 6.67%
1046.44/1050.16 c 1050 345493 36323 1 16.0000 15.0000 6.67%
1051.51/1055.26 c 1055 348161 36532 1 16.0000 15.0000 6.67%
1056.59/1060.31 c 1060 350788 36805 1 16.0000 15.0000 6.67%
1061.57/1065.38 c 1065 353731 37073 1 16.0000 15.0000 6.67%
1066.65/1070.43 c 1070 356349 37331 1 16.0000 15.0000 6.67%
1071.64/1075.48 c 1075 358929 37604 1 16.0000 15.0000 6.67%
1076.73/1080.53 c 1081 361905 37819 1 16.0000 15.0000 6.67%
1081.70/1085.58 c 1086 365944 38102 1 16.0000 15.0000 6.67%
1086.79/1090.63 c 1091 372467 38150 1 16.0000 15.0000 6.67%
1091.77/1095.68 c 1096 375618 38508 1 16.0000 15.0000 6.67%
1096.86/1100.73 c 1101 378837 38935 1 16.0000 15.0000 6.67%
1101.84/1105.78 c 1106 382744 39160 1 16.0000 15.0000 6.67%
1106.92/1110.83 c 1111 385817 39484 1 16.0000 15.0000 6.67%
1111.91/1115.88 c 1116 389237 39856 1 16.0000 15.0000 6.67%
1117.00/1120.93 c 1121 392324 40215 1 16.0000 15.0000 6.67%
1121.97/1125.98 c 1126 395954 40577 1 16.0000 15.0000 6.67%
1127.06/1131.03 c 1131 399494 40788 1 16.0000 15.0000 6.67%
1132.04/1136.08 c 1136 402560 41102 1 16.0000 15.0000 6.67%
1137.13/1141.15 c 1141 405567 41414 1 16.0000 15.0000 6.67%
1144.69/1148.71 c 1149 407126 41594 1 16.0000 15.0000 6.67%
1152.57/1156.69 c 1157 407127 41593 1 16.0000 15.0000 6.67%
1157.64/1161.74 c 1162 409592 41708 1 16.0000 15.0000 6.67%
1162.63/1166.79 c 1167 412410 41962 1 16.0000 15.0000 6.67%
1167.81/1171.91 c 1172 414989 42210 1 16.0000 15.0000 6.67%
1172.79/1176.96 c 1177 418153 42428 1 16.0000 15.0000 6.67%
1177.77/1182.01 c 1182 422026 42832 1 16.0000 15.0000 6.67%
1182.86/1187.06 c 1187 425573 43100 1 16.0000 15.0000 6.67%
1187.84/1192.11 c 1192 428061 43470 1 16.0000 15.0000 6.67%
1192.92/1197.16 c 1197 430566 44278 1 16.0000 15.0000 6.67%
1197.99/1202.21 c 1202 433247 44710 1 16.0000 15.0000 6.67%
1203.07/1207.36 c 1207 436862 45334 1 16.0000 15.0000 6.67%
1208.16/1212.45 c 1212 441194 45622 1 16.0000 15.0000 6.67%
1213.24/1217.50 c 1218 444843 45999 1 16.0000 15.0000 6.67%
1218.22/1222.55 c 1223 448697 46319 1 16.0000 15.0000 6.67%
1223.30/1227.60 c 1228 451581 46869 1 16.0000 15.0000 6.67%
1228.29/1232.65 c 1233 455628 47084 1 16.0000 15.0000 6.67%
1233.37/1237.75 c 1238 458729 47698 1 16.0000 15.0000 6.67%
1238.46/1242.86 c 1243 462070 48131 1 16.0000 15.0000 6.67%
1243.53/1247.91 c 1248 465022 48675 1 16.0000 15.0000 6.67%
1248.51/1252.96 c 1253 468148 48887 1 16.0000 15.0000 6.67%
1253.61/1258.05 c 1258 471199 49168 1 16.0000 15.0000 6.67%
1258.59/1263.10 c 1263 474478 49455 1 16.0000 15.0000 6.67%
1263.68/1268.17 c 1268 477839 49925 1 16.0000 15.0000 6.67%
1268.75/1273.25 c 1273 480021 50265 1 16.0000 15.0000 6.67%
1273.83/1278.30 c 1278 483165 50873 1 16.0000 15.0000 6.67%
1278.81/1283.35 c 1283 486805 51566 1 16.0000 15.0000 6.67%
1283.89/1288.40 c 1288 489403 52108 1 16.0000 15.0000 6.67%
1288.88/1293.46 c 1293 492064 52763 1 16.0000 15.0000 6.67%
1293.96/1298.51 c 1299 495860 53433 1 16.0000 15.0000 6.67%
1298.94/1303.56 c 1304 498898 53923 1 16.0000 15.0000 6.67%
1304.03/1308.61 c 1309 502184 54115 1 16.0000 15.0000 6.67%
1309.01/1313.66 c 1314 505231 54462 1 16.0000 15.0000 6.67%
1314.09/1318.71 c 1319 507640 54662 1 16.0000 15.0000 6.67%
1319.07/1323.76 c 1324 511537 54784 1 16.0000 15.0000 6.67%
1324.16/1328.83 c 1329 514755 55061 1 16.0000 15.0000 6.67%
1329.14/1333.88 c 1334 517910 55471 1 16.0000 15.0000 6.67%
1334.22/1338.93 c 1339 521190 55823 1 16.0000 15.0000 6.67%
1339.21/1343.98 c 1344 524533 56220 1 16.0000 15.0000 6.67%
1344.29/1349.04 c 1349 527471 56583 1 16.0000 15.0000 6.67%
1349.28/1354.09 c 1354 530534 57186 1 16.0000 15.0000 6.67%
1354.44/1359.20 c 1359 534011 57544 1 16.0000 15.0000 6.67%
1359.53/1364.30 c 1364 537411 58124 1 16.0000 15.0000 6.67%
1364.52/1369.35 c 1369 540578 58776 1 16.0000 15.0000 6.67%
1369.49/1374.40 c 1374 544119 59166 1 16.0000 15.0000 6.67%
1374.58/1379.45 c 1379 547458 59562 1 16.0000 15.0000 6.67%
1379.66/1384.54 c 1385 550971 60050 1 16.0000 15.0000 6.67%
1384.64/1389.59 c 1390 554353 60441 1 16.0000 15.0000 6.67%
1389.73/1394.64 c 1395 557498 60901 1 16.0000 15.0000 6.67%
1394.71/1399.69 c 1400 560680 61245 1 16.0000 15.0000 6.67%
1399.79/1404.77 c 1405 564954 61604 1 16.0000 15.0000 6.67%
1404.88/1409.82 c 1410 568318 62197 1 16.0000 15.0000 6.67%
1409.86/1414.87 c 1415 571724 62462 1 16.0000 15.0000 6.67%
1414.94/1419.98 c 1420 575934 62689 1 16.0000 15.0000 6.67%
1420.03/1425.03 c 1425 579993 62842 1 16.0000 15.0000 6.67%
1425.01/1430.08 c 1430 583916 63217 1 16.0000 15.0000 6.67%
1430.09/1435.13 c 1435 587141 63594 1 16.0000 15.0000 6.67%
1435.16/1440.29 c 1440 589645 63992 1 16.0000 15.0000 6.67%
1440.25/1445.34 c 1445 593027 64383 1 16.0000 15.0000 6.67%
1445.23/1450.39 c 1450 596010 64963 1 16.0000 15.0000 6.67%
1450.31/1455.45 c 1455 598978 65582 1 16.0000 15.0000 6.67%
1455.30/1460.50 c 1460 601231 66195 1 16.0000 15.0000 6.67%
1460.38/1465.57 c 1466 603316 66636 1 16.0000 15.0000 6.67%
1465.47/1470.62 c 1471 605737 67127 1 16.0000 15.0000 6.67%
1470.45/1475.67 c 1476 608314 67955 1 16.0000 15.0000 6.67%
1475.73/1480.92 c 1481 611759 68143 1 16.0000 15.0000 6.67%
1480.72/1485.97 c 1486 614772 68613 1 16.0000 15.0000 6.67%
1485.81/1491.04 c 1491 617626 69118 1 16.0000 15.0000 6.67%
1490.79/1496.09 c 1496 620308 69996 1 16.0000 15.0000 6.67%
1495.87/1501.15 c 1501 623643 70417 1 16.0000 15.0000 6.67%
1500.95/1506.20 c 1506 626121 70792 1 16.0000 15.0000 6.67%
1505.93/1511.25 c 1511 629762 71327 1 16.0000 15.0000 6.67%
1511.01/1516.30 c 1516 632519 71701 1 16.0000 15.0000 6.67%
1516.09/1521.42 c 1521 634725 72017 1 16.0000 15.0000 6.67%
1521.88/1527.26 c 1527 637141 72485 1 16.0000 15.0000 6.67%
1526.96/1532.31 c 1532 640139 72958 1 16.0000 15.0000 6.67%
1531.94/1537.36 c 1537 642554 73449 1 16.0000 15.0000 6.67%
1537.03/1542.42 c 1542 646091 73667 1 16.0000 15.0000 6.67%
1542.11/1547.52 c 1548 649590 73784 1 16.0000 15.0000 6.67%
1547.09/1552.57 c 1553 652402 74115 1 16.0000 15.0000 6.67%
1552.18/1557.62 c 1558 655515 74373 1 16.0000 15.0000 6.67%
1557.16/1562.67 c 1563 658307 74801 1 16.0000 15.0000 6.67%
1562.94/1568.49 c 1568 660260 75148 1 16.0000 15.0000 6.67%
1568.02/1573.54 c 1574 663887 75536 1 16.0000 15.0000 6.67%
1573.10/1578.60 c 1579 666506 75979 1 16.0000 15.0000 6.67%
1578.09/1583.65 c 1584 669118 76202 1 16.0000 15.0000 6.67%
1583.18/1588.73 c 1589 672086 76772 1 16.0000 15.0000 6.67%
1588.16/1593.79 c 1594 674880 77089 1 16.0000 15.0000 6.67%
1593.24/1598.85 c 1599 677597 77619 1 16.0000 15.0000 6.67%
1598.32/1603.93 c 1604 680673 78068 1 16.0000 15.0000 6.67%
1603.42/1609.11 c 1609 684319 78559 1 16.0000 15.0000 6.67%
1608.51/1614.16 c 1614 687358 78829 1 16.0000 15.0000 6.67%
1613.57/1619.21 c 1619 690798 79232 1 16.0000 15.0000 6.67%
1618.66/1624.39 c 1624 694304 79635 1 16.0000 15.0000 6.67%
1623.74/1629.44 c 1629 697118 80158 1 16.0000 15.0000 6.67%
1628.72/1634.49 c 1634 700239 80761 1 16.0000 15.0000 6.67%
1633.81/1639.54 c 1640 702466 81239 1 16.0000 15.0000 6.67%
1638.89/1644.63 c 1645 705421 81583 1 16.0000 15.0000 6.67%
1643.97/1649.70 c 1650 708657 81944 1 16.0000 15.0000 6.67%
1649.05/1654.83 c 1655 712184 82395 1 16.0000 15.0000 6.67%
1654.04/1659.88 c 1660 715557 82722 1 16.0000 15.0000 6.67%
1659.13/1664.98 c 1665 718999 83161 1 16.0000 15.0000 6.67%
1664.21/1670.03 c 1670 721928 83634 1 16.0000 15.0000 6.67%
1669.20/1675.08 c 1675 724957 83964 1 16.0000 15.0000 6.67%
1674.29/1680.13 c 1680 728178 84362 1 16.0000 15.0000 6.67%
1679.26/1685.18 c 1685 731416 84740 1 16.0000 15.0000 6.67%
1684.33/1690.29 c 1690 734585 85155 1 16.0000 15.0000 6.67%
1689.42/1695.34 c 1695 737516 85350 1 16.0000 15.0000 6.67%
1694.40/1700.39 c 1700 740876 85639 1 16.0000 15.0000 6.67%
1699.48/1705.44 c 1705 744778 86111 1 16.0000 15.0000 6.67%
1704.56/1710.50 c 1710 748432 86686 1 16.0000 15.0000 6.67%
1709.65/1715.60 c 1716 752322 87027 1 16.0000 15.0000 6.67%
1714.63/1720.65 c 1721 755796 87359 1 16.0000 15.0000 6.67%
1719.71/1725.70 c 1726 759203 87886 1 16.0000 15.0000 6.67%
1724.70/1730.77 c 1731 761883 88461 1 16.0000 15.0000 6.67%
1730.38/1736.44 c 1736 764522 88782 1 16.0000 15.0000 6.67%
1736.06/1742.15 c 1742 766922 89075 1 16.0000 15.0000 6.67%
1741.14/1747.20 c 1747 770094 89395 1 16.0000 15.0000 6.67%
1746.12/1752.25 c 1752 773504 89614 1 16.0000 15.0000 6.67%
1751.21/1757.34 c 1757 777270 89804 1 16.0000 15.0000 6.67%
1756.29/1762.47 c 1762 781212 89921 1 16.0000 15.0000 6.67%
1761.37/1767.52 c 1768 784519 90320 1 16.0000 15.0000 6.67%
1766.35/1772.57 c 1773 787021 90724 1 16.0000 15.0000 6.67%
1771.44/1777.68 c 1778 790308 90906 1 16.0000 15.0000 6.67%
1776.52/1782.78 c 1783 793579 91209 1 16.0000 15.0000 6.67%
1781.60/1787.83 c 1788 796904 91730 1 16.0000 15.0000 6.67%
1786.68/1792.93 c 1793 800246 92042 1 16.0000 15.0000 6.67%
1792.16/1798.44 c 1798 802527 92189 1 16.0000 15.0000 6.67%
1797.25/1803.51 c 1804 805467 92293 1 16.0000 15.0000 6.67%
1802.23/1808.56 c 1809 808734 92558 1 16.0000 15.0000 6.67%
1807.32/1813.69 c 1814 811560 92931 1 16.0000 15.0000 6.67%
1812.40/1818.74 c 1819 814448 93239 1 16.0000 15.0000 6.67%
1817.48/1823.89 c 1824 817723 93661 1 16.0000 15.0000 6.67%
1822.67/1829.04 c 1829 820915 93916 1 16.0000 15.0000 6.67%
1827.66/1834.09 c 1834 823779 94186 1 16.0000 15.0000 6.67%
1832.74/1839.14 c 1839 827112 94947 1 16.0000 15.0000 6.67%
1837.91/1844.34 c 1844 830828 95179 1 16.0000 15.0000 6.67%
1842.89/1849.39 c 1849 833456 95274 1 16.0000 15.0000 6.67%
1848.18/1854.61 c 1855 835803 95626 1 16.0000 15.0000 6.67%
1853.16/1859.66 c 1860 838762 96074 1 16.0000 15.0000 6.67%
1858.24/1864.71 c 1865 842004 96431 1 16.0000 15.0000 6.67%
1863.22/1869.78 c 1870 844475 96889 1 16.0000 15.0000 6.67%
1868.31/1874.86 c 1875 847807 97223 1 16.0000 15.0000 6.67%
1873.39/1879.91 c 1880 850894 97566 1 16.0000 15.0000 6.67%
1878.37/1884.96 c 1885 854307 97820 1 16.0000 15.0000 6.67%
1883.35/1890.01 c 1890 858329 98083 1 16.0000 15.0000 6.67%
1888.44/1895.06 c 1895 860973 98475 1 16.0000 15.0000 6.67%
1893.42/1900.11 c 1900 863615 99113 1 16.0000 15.0000 6.67%
1898.51/1905.16 c 1905 866497 99636 1 16.0000 15.0000 6.67%
1903.58/1910.21 c 1910 869348 100033 1 16.0000 15.0000 6.67%
1908.56/1915.26 c 1915 872304 100449 1 16.0000 15.0000 6.67%
1913.74/1920.43 c 1920 875584 100721 1 16.0000 15.0000 6.67%
1918.93/1925.61 c 1926 876537 100798 1 16.0000 15.0000 6.67%
1936.39/1943.12 c 1943 876538 100791 1 16.0000 15.0000 6.67%
1941.66/1948.44 c 1948 879401 101116 1 16.0000 15.0000 6.67%
1946.84/1953.67 c 1954 882477 101324 1 16.0000 15.0000 6.67%
1951.93/1958.71 c 1959 885696 101641 1 16.0000 15.0000 6.67%
1956.91/1963.77 c 1964 888329 101880 1 16.0000 15.0000 6.67%
1961.99/1968.82 c 1969 891821 102180 1 16.0000 15.0000 6.67%
1967.08/1973.94 c 1974 894851 102466 1 16.0000 15.0000 6.67%
1972.06/1978.99 c 1979 898526 102719 1 16.0000 15.0000 6.67%
1977.14/1984.04 c 1984 901731 102823 1 16.0000 15.0000 6.67%
1982.12/1989.09 c 1989 905701 102851 1 16.0000 15.0000 6.67%
1987.20/1994.15 c 1994 908376 103195 1 16.0000 15.0000 6.67%
1992.26/1999.20 c 1999 911583 103269 1 16.0000 15.0000 6.67%
1997.25/2004.26 c 2004 914705 103372 1 16.0000 15.0000 6.67%
2002.33/2009.32 c 2009 917792 103762 1 16.0000 15.0000 6.67%
2007.32/2014.37 c 2014 921568 104091 1 16.0000 15.0000 6.67%
2012.50/2019.55 c 2020 924992 104440 1 16.0000 15.0000 6.67%
2017.58/2024.60 c 2025 929400 104652 1 16.0000 15.0000 6.67%
2022.77/2029.83 c 2030 933090 104949 1 16.0000 15.0000 6.67%
2027.75/2034.88 c 2035 937057 105495 1 16.0000 15.0000 6.67%
2033.23/2040.39 c 2040 940574 105856 1 16.0000 15.0000 6.67%
2046.80/2053.93 c 2054 940575 105855 1 16.0000 15.0000 6.67%
2051.78/2058.98 c 2059 943893 106396 1 16.0000 15.0000 6.67%
2056.87/2064.07 c 2064 946566 106836 1 16.0000 15.0000 6.67%
2061.96/2069.12 c 2069 950103 107356 1 16.0000 15.0000 6.67%
2066.94/2074.17 c 2074 953330 108043 1 16.0000 15.0000 6.67%
2072.00/2079.22 c 2079 956427 108186 1 16.0000 15.0000 6.67%
2076.99/2084.27 c 2084 960137 108461 1 16.0000 15.0000 6.67%
2082.08/2089.34 c 2089 963827 109229 1 16.0000 15.0000 6.67%
2087.16/2094.42 c 2094 965769 109795 1 16.0000 15.0000 6.67%
2092.35/2099.61 c 2100 967867 110263 1 16.0000 15.0000 6.67%
2097.33/2104.67 c 2105 971441 110798 1 16.0000 15.0000 6.67%
2103.00/2110.33 c 2110 973921 111045 1 16.0000 15.0000 6.67%
2108.09/2115.40 c 2115 977990 111502 1 16.0000 15.0000 6.67%
2113.08/2120.45 c 2120 980933 111874 1 16.0000 15.0000 6.67%
2118.15/2125.51 c 2126 984127 112152 1 16.0000 15.0000 6.67%
2123.24/2130.63 c 2131 987355 112772 1 16.0000 15.0000 6.67%
2128.22/2135.68 c 2136 990180 113129 1 16.0000 15.0000 6.67%
2133.31/2140.73 c 2141 993449 113435 1 16.0000 15.0000 6.67%
2138.29/2145.78 c 2146 997911 113647 1 16.0000 15.0000 6.67%
2143.68/2151.14 c 2151 1002278 113816 1 16.0000 15.0000 6.67%
2148.67/2156.19 c 2156 1005652 114243 1 16.0000 15.0000 6.67%
2153.74/2161.24 c 2161 1010143 114734 1 16.0000 15.0000 6.67%
2158.73/2166.29 c 2166 1014777 114828 1 16.0000 15.0000 6.67%
2163.90/2171.40 c 2171 1018164 115328 1 16.0000 15.0000 6.67%
2168.90/2176.45 c 2176 1021620 115565 1 16.0000 15.0000 6.67%
2173.97/2181.50 c 2182 1025616 115957 1 16.0000 15.0000 6.67%
2178.96/2186.56 c 2187 1028665 116394 1 16.0000 15.0000 6.67%
2184.04/2191.68 c 2192 1031225 117078 1 16.0000 15.0000 6.67%
2189.13/2196.73 c 2197 1036147 117252 1 16.0000 15.0000 6.67%
2194.21/2201.81 c 2202 1040113 117755 1 16.0000 15.0000 6.67%
2199.20/2206.86 c 2207 1043748 118132 1 16.0000 15.0000 6.67%
2204.28/2211.91 c 2212 1047147 118575 1 16.0000 15.0000 6.67%
2209.37/2217.03 c 2217 1051809 118866 1 16.0000 15.0000 6.67%
2214.46/2222.16 c 2222 1055988 119136 1 16.0000 15.0000 6.67%
2219.53/2227.23 c 2227 1059766 119520 1 16.0000 15.0000 6.67%
2224.52/2232.29 c 2232 1062697 119833 1 16.0000 15.0000 6.67%
2229.61/2237.34 c 2237 1067227 120085 1 16.0000 15.0000 6.67%
2234.59/2242.39 c 2242 1070185 120456 1 16.0000 15.0000 6.67%
2239.67/2247.44 c 2247 1072950 120991 1 16.0000 15.0000 6.67%
2244.65/2252.49 c 2252 1075862 121382 1 16.0000 15.0000 6.67%
2249.74/2257.54 c 2258 1079324 121696 1 16.0000 15.0000 6.67%
2254.82/2262.63 c 2263 1082901 122158 1 16.0000 15.0000 6.67%
2259.81/2267.68 c 2268 1086643 122519 1 16.0000 15.0000 6.67%
2264.90/2272.73 c 2273 1091354 122762 1 16.0000 15.0000 6.67%
2269.88/2277.78 c 2278 1095405 122940 1 16.0000 15.0000 6.67%
2274.96/2282.83 c 2283 1098726 123268 1 16.0000 15.0000 6.67%
2279.95/2287.88 c 2288 1101750 123962 1 16.0000 15.0000 6.67%
2285.04/2292.93 c 2293 1104976 124275 1 16.0000 15.0000 6.67%
2290.13/2298.02 c 2298 1108326 124732 1 16.0000 15.0000 6.67%
2295.12/2303.07 c 2303 1110665 125098 1 16.0000 15.0000 6.67%
2300.21/2308.12 c 2308 1113989 125210 1 16.0000 15.0000 6.67%
2305.28/2313.26 c 2313 1116582 125486 1 16.0000 15.0000 6.67%
2310.36/2318.32 c 2318 1119512 125828 1 16.0000 15.0000 6.67%
2315.35/2323.39 c 2323 1122527 126086 1 16.0000 15.0000 6.67%
2320.43/2328.46 c 2328 1125986 126358 1 16.0000 15.0000 6.67%
2325.81/2333.84 c 2334 1129161 126666 1 16.0000 15.0000 6.67%
2330.89/2338.92 c 2339 1132627 127104 1 16.0000 15.0000 6.67%
2335.88/2343.99 c 2344 1135326 127484 1 16.0000 15.0000 6.67%
2340.98/2349.05 c 2349 1138568 127975 1 16.0000 15.0000 6.67%
2363.11/2371.24 c 2371 1139767 128116 1 16.0000 15.0000 6.67%
2368.80/2376.93 c 2377 1142032 128249 1 16.0000 15.0000 6.67%
2373.89/2382.06 c 2382 1145432 128471 1 16.0000 15.0000 6.67%
2378.87/2387.11 c 2387 1148741 128780 1 16.0000 15.0000 6.67%
2384.05/2392.24 c 2392 1151831 129314 1 16.0000 15.0000 6.67%
2389.04/2397.29 c 2397 1154698 129696 1 16.0000 15.0000 6.67%
2394.11/2402.34 c 2402 1157545 130120 1 16.0000 15.0000 6.67%
2399.10/2407.39 c 2407 1161256 130456 1 16.0000 15.0000 6.67%
2404.19/2412.44 c 2412 1163879 130957 1 16.0000 15.0000 6.67%
2409.17/2417.49 c 2417 1166932 131364 1 16.0000 15.0000 6.67%
2414.26/2422.55 c 2423 1169693 131710 1 16.0000 15.0000 6.67%
2419.34/2427.60 c 2428 1172512 132105 1 16.0000 15.0000 6.67%
2424.33/2432.65 c 2433 1175481 132425 1 16.0000 15.0000 6.67%
2429.41/2437.75 c 2438 1177974 132809 1 16.0000 15.0000 6.67%
2434.49/2442.80 c 2443 1181059 133287 1 16.0000 15.0000 6.67%
2439.47/2447.85 c 2448 1183809 133733 1 16.0000 15.0000 6.67%
2444.56/2452.93 c 2453 1186684 134138 1 16.0000 15.0000 6.67%
2449.55/2457.98 c 2458 1189197 134384 1 16.0000 15.0000 6.67%
2454.64/2463.03 c 2463 1192118 134643 1 16.0000 15.0000 6.67%
2459.63/2468.10 c 2468 1195065 134961 1 16.0000 15.0000 6.67%
2464.71/2473.18 c 2473 1197695 135110 1 16.0000 15.0000 6.67%
2469.78/2478.25 c 2478 1201663 135560 1 16.0000 15.0000 6.67%
2474.97/2483.40 c 2483 1204891 136075 1 16.0000 15.0000 6.67%
2479.95/2488.45 c 2488 1208185 136531 1 16.0000 15.0000 6.67%
2485.04/2493.50 c 2494 1211988 136720 1 16.0000 15.0000 6.67%
2490.02/2498.55 c 2499 1215243 137054 1 16.0000 15.0000 6.67%
2495.11/2503.60 c 2504 1218608 137482 1 16.0000 15.0000 6.67%
2500.09/2508.65 c 2509 1221364 138067 1 16.0000 15.0000 6.67%
2505.17/2513.72 c 2514 1224444 138476 1 16.0000 15.0000 6.67%
2510.16/2518.77 c 2519 1227760 138744 1 16.0000 15.0000 6.67%
2515.24/2523.84 c 2524 1230657 139066 1 16.0000 15.0000 6.67%
2520.22/2528.89 c 2529 1233765 139500 1 16.0000 15.0000 6.67%
2525.31/2533.94 c 2534 1236849 139539 1 16.0000 15.0000 6.67%
2530.39/2539.10 c 2539 1240088 139617 1 16.0000 15.0000 6.67%
2535.48/2544.18 c 2544 1243255 139819 1 16.0000 15.0000 6.67%
2540.56/2549.24 c 2549 1244132 139827 1 16.0000 15.0000 6.67%
2546.45/2555.16 c 2555 1246808 139943 1 16.0000 15.0000 6.67%
2551.52/2560.22 c 2560 1249408 140162 1 16.0000 15.0000 6.67%
2556.50/2565.27 c 2565 1251995 140458 1 16.0000 15.0000 6.67%
2561.69/2570.47 c 2570 1254232 140739 1 16.0000 15.0000 6.67%
2566.78/2575.52 c 2576 1256517 140918 1 16.0000 15.0000 6.67%
2571.76/2580.57 c 2581 1258707 141063 1 16.0000 15.0000 6.67%
2576.84/2585.64 c 2586 1261714 141259 1 16.0000 15.0000 6.67%
2581.94/2590.73 c 2591 1264441 141587 1 16.0000 15.0000 6.67%
2587.33/2596.14 c 2596 1267440 141689 1 16.0000 15.0000 6.67%
2592.32/2601.19 c 2601 1271010 141838 1 16.0000 15.0000 6.67%
2597.40/2606.24 c 2606 1274638 142044 1 16.0000 15.0000 6.67%
2602.38/2611.29 c 2611 1277588 142364 1 16.0000 15.0000 6.67%
2607.67/2616.51 c 2617 1281011 142475 1 16.0000 15.0000 6.67%
2612.64/2621.56 c 2622 1283941 142710 1 16.0000 15.0000 6.67%
2617.73/2626.61 c 2627 1288268 142751 1 16.0000 15.0000 6.67%
2622.71/2631.66 c 2632 1293248 142737 1 16.0000 15.0000 6.67%
2627.79/2636.71 c 2637 1298200 142767 1 16.0000 15.0000 6.67%
2632.78/2641.78 c 2642 1302710 143058 1 16.0000 15.0000 6.67%
2637.86/2646.85 c 2647 1305546 143358 1 16.0000 15.0000 6.67%
2643.05/2652.09 c 2652 1308222 143771 1 16.0000 15.0000 6.67%
2648.14/2657.16 c 2657 1311621 144267 1 16.0000 15.0000 6.67%
2653.21/2662.22 c 2662 1314934 144612 1 16.0000 15.0000 6.67%
2658.19/2667.27 c 2667 1317830 144947 1 16.0000 15.0000 6.67%
2663.27/2672.32 c 2672 1320867 145363 1 16.0000 15.0000 6.67%
2668.25/2677.37 c 2677 1323898 145731 1 16.0000 15.0000 6.67%
2673.83/2682.91 c 2683 1325557 146074 1 16.0000 15.0000 6.67%
2685.20/2694.36 c 2694 1325558 146073 1 16.0000 15.0000 6.67%
2690.28/2699.41 c 2699 1328181 146474 1 16.0000 15.0000 6.67%
2695.27/2704.46 c 2704 1330939 146964 1 16.0000 15.0000 6.67%
2700.34/2709.51 c 2710 1333731 147255 1 16.0000 15.0000 6.67%
2705.33/2714.56 c 2715 1338334 147525 1 16.0000 15.0000 6.67%
2710.41/2719.61 c 2720 1343416 147929 1 16.0000 15.0000 6.67%
2715.40/2724.66 c 2725 1348284 148291 1 16.0000 15.0000 6.67%
2720.48/2729.73 c 2730 1352279 148488 1 16.0000 15.0000 6.67%
2725.56/2734.81 c 2735 1355297 149081 1 16.0000 15.0000 6.67%
2730.64/2739.94 c 2740 1358666 149351 1 16.0000 15.0000 6.67%
2735.73/2745.04 c 2745 1362076 149743 1 16.0000 15.0000 6.67%
2740.71/2750.09 c 2750 1366509 150388 1 16.0000 15.0000 6.67%
2745.80/2755.16 c 2755 1369760 150830 1 16.0000 15.0000 6.67%
2750.87/2760.22 c 2760 1372794 151378 1 16.0000 15.0000 6.67%
2755.86/2765.27 c 2765 1376452 151756 1 16.0000 15.0000 6.67%
2760.94/2770.32 c 2770 1380198 152224 1 16.0000 15.0000 6.67%
2766.12/2775.53 c 2776 1383090 152836 1 16.0000 15.0000 6.67%
2771.20/2780.67 c 2781 1386059 153412 1 16.0000 15.0000 6.67%
2776.38/2785.80 c 2786 1388833 153895 1 16.0000 15.0000 6.67%
2781.37/2790.85 c 2791 1391229 154323 1 16.0000 15.0000 6.67%
2786.44/2795.90 c 2796 1394072 154905 1 16.0000 15.0000 6.67%
2791.73/2801.23 c 2801 1396762 155338 1 16.0000 15.0000 6.67%
2796.71/2806.28 c 2806 1400115 155771 1 16.0000 15.0000 6.67%
2801.79/2811.33 c 2811 1403411 156200 1 16.0000 15.0000 6.67%
2806.77/2816.38 c 2816 1406481 156752 1 16.0000 15.0000 6.67%
2811.86/2821.43 c 2821 1408783 157018 1 16.0000 15.0000 6.67%
2816.94/2826.57 c 2827 1411153 157430 1 16.0000 15.0000 6.67%
2822.02/2831.63 c 2832 1414996 157739 1 16.0000 15.0000 6.67%
2827.01/2836.68 c 2837 1418903 158125 1 16.0000 15.0000 6.67%
2832.40/2842.08 c 2842 1422351 158752 1 16.0000 15.0000 6.67%
2837.57/2847.29 c 2847 1425267 158883 1 16.0000 15.0000 6.67%
2842.65/2852.34 c 2852 1429109 159354 1 16.0000 15.0000 6.67%
2847.73/2857.41 c 2857 1432232 159509 1 16.0000 15.0000 6.67%
2852.71/2862.46 c 2862 1435245 159848 1 16.0000 15.0000 6.67%
2857.80/2867.53 c 2868 1438562 160125 1 16.0000 15.0000 6.67%
2862.79/2872.57 c 2873 1441687 160878 1 16.0000 15.0000 6.67%
2867.87/2877.62 c 2878 1444205 161260 1 16.0000 15.0000 6.67%
2872.95/2882.74 c 2883 1447572 161590 1 16.0000 15.0000 6.67%
2878.13/2887.94 c 2888 1450564 162145 1 16.0000 15.0000 6.67%
2883.41/2893.24 c 2893 1453464 162551 1 16.0000 15.0000 6.67%
2888.40/2898.29 c 2898 1457831 162869 1 16.0000 15.0000 6.67%
2893.47/2903.34 c 2903 1460859 163509 1 16.0000 15.0000 6.67%
2898.46/2908.39 c 2908 1464358 163829 1 16.0000 15.0000 6.67%
2903.54/2913.44 c 2913 1468670 164042 1 16.0000 15.0000 6.67%
2908.62/2918.53 c 2919 1471961 164360 1 16.0000 15.0000 6.67%
2913.61/2923.58 c 2924 1475960 164767 1 16.0000 15.0000 6.67%
2918.69/2928.67 c 2929 1479562 164968 1 16.0000 15.0000 6.67%
2923.77/2933.72 c 2934 1482495 165290 1 16.0000 15.0000 6.67%
2928.76/2938.77 c 2939 1486266 165605 1 16.0000 15.0000 6.67%
2933.93/2943.90 c 2944 1489231 165807 1 16.0000 15.0000 6.67%
2938.92/2949.01 c 2949 1492325 165982 1 16.0000 15.0000 6.67%
2944.01/2954.09 c 2954 1495268 166409 1 16.0000 15.0000 6.67%
2949.28/2959.39 c 2959 1497909 166557 1 16.0000 15.0000 6.67%
2954.37/2964.48 c 2964 1500630 166498 1 16.0000 15.0000 6.67%
2959.44/2969.53 c 2970 1503513 166762 1 16.0000 15.0000 6.67%
2964.53/2974.63 c 2975 1507093 167081 1 16.0000 15.0000 6.67%
2969.61/2979.74 c 2980 1510449 167356 1 16.0000 15.0000 6.67%
2974.59/2984.79 c 2985 1513514 167731 1 16.0000 15.0000 6.67%
2979.68/2989.84 c 2990 1517381 168224 1 16.0000 15.0000 6.67%
2984.66/2994.89 c 2995 1520573 168439 1 16.0000 15.0000 6.67%
2989.74/2999.94 c 3000 1523354 168534 1 16.0000 15.0000 6.67%
2994.72/3005.01 c 3005 1526422 168854 1 16.0000 15.0000 6.67%
2999.82/3010.10 c 3010 1529481 169187 1 16.0000 15.0000 6.67%
3004.91/3015.16 c 3015 1532716 169430 1 16.0000 15.0000 6.67%
3009.97/3020.21 c 3020 1536323 169606 1 16.0000 15.0000 6.67%
3014.96/3025.27 c 3025 1539504 170044 1 16.0000 15.0000 6.67%
3020.03/3030.32 c 3030 1543108 170483 1 16.0000 15.0000 6.67%
3025.02/3035.37 c 3035 1546043 171046 1 16.0000 15.0000 6.67%
3030.11/3040.49 c 3040 1549428 171458 1 16.0000 15.0000 6.67%
3035.29/3045.60 c 3046 1552736 171850 1 16.0000 15.0000 6.67%
3040.27/3050.68 c 3051 1555677 172296 1 16.0000 15.0000 6.67%
3045.35/3055.73 c 3056 1558896 172714 1 16.0000 15.0000 6.67%
3050.33/3060.78 c 3061 1562319 173109 1 16.0000 15.0000 6.67%
3055.63/3066.02 c 3066 1565128 173596 1 16.0000 15.0000 6.67%
3060.61/3071.07 c 3071 1568591 174064 1 16.0000 15.0000 6.67%
3065.77/3076.20 c 3076 1571818 174572 1 16.0000 15.0000 6.67%
3070.76/3081.25 c 3081 1574874 175381 1 16.0000 15.0000 6.67%
3075.84/3086.30 c 3086 1578141 175837 1 16.0000 15.0000 6.67%
3080.83/3091.39 c 3091 1581352 176371 1 16.0000 15.0000 6.67%
3085.91/3096.44 c 3096 1584871 176731 1 16.0000 15.0000 6.67%
3090.88/3101.49 c 3101 1588495 177053 1 16.0000 15.0000 6.67%
3095.97/3106.58 c 3107 1591308 177496 1 16.0000 15.0000 6.67%
3101.05/3111.68 c 3112 1593253 177916 1 16.0000 15.0000 6.67%
3106.13/3116.73 c 3117 1595983 178304 1 16.0000 15.0000 6.67%
3111.22/3121.80 c 3122 1598724 178660 1 16.0000 15.0000 6.67%
3116.20/3126.90 c 3127 1601378 179195 1 16.0000 15.0000 6.67%
3121.28/3131.99 c 3132 1604245 179535 1 16.0000 15.0000 6.67%
3126.38/3137.04 c 3137 1607471 179984 1 16.0000 15.0000 6.67%
3131.55/3142.20 c 3142 1610648 180360 1 16.0000 15.0000 6.67%
3136.53/3147.28 c 3147 1612986 180730 1 16.0000 15.0000 6.67%
3141.61/3152.33 c 3152 1615690 181218 1 16.0000 15.0000 6.67%
3146.70/3157.40 c 3157 1618423 181723 1 16.0000 15.0000 6.67%
3151.87/3162.64 c 3163 1620924 182077 1 16.0000 15.0000 6.67%
3156.86/3167.69 c 3168 1623701 182317 1 16.0000 15.0000 6.67%
3161.94/3172.75 c 3173 1626738 182930 1 16.0000 15.0000 6.67%
3167.12/3177.91 c 3178 1629674 183480 1 16.0000 15.0000 6.67%
3172.32/3183.13 c 3183 1632093 183941 1 16.0000 15.0000 6.67%
3177.30/3188.18 c 3188 1635147 184312 1 16.0000 15.0000 6.67%
3182.36/3193.23 c 3193 1638600 184494 1 16.0000 15.0000 6.67%
3187.35/3198.28 c 3198 1641840 184646 1 16.0000 15.0000 6.67%
3192.53/3203.40 c 3203 1644824 184949 1 16.0000 15.0000 6.67%
3197.52/3208.45 c 3208 1647786 185136 1 16.0000 15.0000 6.67%
3202.69/3213.62 c 3214 1651456 185594 1 16.0000 15.0000 6.67%
3207.68/3218.69 c 3219 1653908 186140 1 16.0000 15.0000 6.67%
3212.76/3223.74 c 3224 1656569 186487 1 16.0000 15.0000 6.67%
3217.85/3228.87 c 3229 1659210 186700 1 16.0000 15.0000 6.67%
3222.92/3233.93 c 3234 1661609 187015 1 16.0000 15.0000 6.67%
3228.60/3239.67 c 3240 1663849 187378 1 16.0000 15.0000 6.67%
3233.68/3244.72 c 3245 1666423 187931 1 16.0000 15.0000 6.67%
3238.67/3249.79 c 3250 1669303 188169 1 16.0000 15.0000 6.67%
3243.76/3254.84 c 3255 1671848 188603 1 16.0000 15.0000 6.67%
3248.84/3259.92 c 3260 1675003 189086 1 16.0000 15.0000 6.67%
3253.82/3264.97 c 3265 1677652 189571 1 16.0000 15.0000 6.67%
3259.10/3270.24 c 3270 1681191 189897 1 16.0000 15.0000 6.67%
3264.08/3275.29 c 3275 1684496 190385 1 16.0000 15.0000 6.67%
3269.36/3280.54 c 3281 1687452 190769 1 16.0000 15.0000 6.67%
3274.35/3285.59 c 3286 1690728 191287 1 16.0000 15.0000 6.67%
3279.42/3290.64 c 3291 1693604 191835 1 16.0000 15.0000 6.67%
3284.51/3295.78 c 3296 1696858 192223 1 16.0000 15.0000 6.67%
3289.59/3300.87 c 3301 1699598 192404 1 16.0000 15.0000 6.67%
3294.67/3305.98 c 3306 1702434 193085 1 16.0000 15.0000 6.67%
3299.77/3311.07 c 3311 1705167 193418 1 16.0000 15.0000 6.67%
3304.85/3316.15 c 3316 1708280 193826 1 16.0000 15.0000 6.67%
3315.30/3326.66 c 3327 1709409 193984 1 16.0000 15.0000 6.67%
3327.26/3338.63 c 3339 1709410 193983 1 16.0000 15.0000 6.67%
3332.35/3343.72 c 3344 1712544 194348 1 16.0000 15.0000 6.67%
3337.43/3348.83 c 3349 1714923 194608 1 16.0000 15.0000 6.67%
3342.41/3353.88 c 3354 1718090 195075 1 16.0000 15.0000 6.67%
3347.50/3358.93 c 3359 1720459 195464 1 16.0000 15.0000 6.67%
3352.69/3364.12 c 3364 1722756 195778 1 16.0000 15.0000 6.67%
3357.86/3369.39 c 3369 1725641 196132 1 16.0000 15.0000 6.67%
3362.94/3374.44 c 3374 1728809 196445 1 16.0000 15.0000 6.67%
3368.02/3379.52 c 3380 1732027 196713 1 16.0000 15.0000 6.67%
3373.10/3384.61 c 3385 1734271 197046 1 16.0000 15.0000 6.67%
3378.49/3390.07 c 3390 1737151 197289 1 16.0000 15.0000 6.67%
3383.58/3395.12 c 3395 1739702 197544 1 16.0000 15.0000 6.67%
3388.64/3400.22 c 3400 1742483 197877 1 16.0000 15.0000 6.67%
3393.63/3405.27 c 3405 1745228 198079 1 16.0000 15.0000 6.67%
3398.81/3410.48 c 3410 1748053 198382 1 16.0000 15.0000 6.67%
3403.89/3415.55 c 3416 1751242 198666 1 16.0000 15.0000 6.67%
3408.98/3420.66 c 3421 1754952 199088 1 16.0000 15.0000 6.67%
3414.65/3426.34 c 3426 1757146 199435 1 16.0000 15.0000 6.67%
3419.63/3431.39 c 3431 1760905 199853 1 16.0000 15.0000 6.67%
3424.92/3436.60 c 3437 1765130 200131 1 16.0000 15.0000 6.67%
3429.90/3441.65 c 3442 1768111 200444 1 16.0000 15.0000 6.67%
3434.98/3446.70 c 3447 1771658 200803 1 16.0000 15.0000 6.67%
3439.97/3451.75 c 3452 1774885 201420 1 16.0000 15.0000 6.67%
3445.15/3456.93 c 3457 1777661 201682 1 16.0000 15.0000 6.67%
3450.13/3461.98 c 3462 1780230 202036 1 16.0000 15.0000 6.67%
3455.91/3467.74 c 3468 1783457 202211 1 16.0000 15.0000 6.67%
3461.09/3472.96 c 3473 1786282 202567 1 16.0000 15.0000 6.67%
3466.29/3478.19 c 3478 1789495 202760 1 16.0000 15.0000 6.67%
3471.35/3483.24 c 3483 1792396 203024 1 16.0000 15.0000 6.67%
3476.34/3488.29 c 3488 1795484 203383 1 16.0000 15.0000 6.67%
3481.52/3493.47 c 3493 1797927 203615 1 16.0000 15.0000 6.67%
3486.60/3498.52 c 3499 1801580 203882 1 16.0000 15.0000 6.67%
3491.74/3503.76 c 3504 1804402 204123 1 16.0000 15.0000 6.67%
3496.78/3508.86 c 3509 1807323 204445 1 16.0000 15.0000 6.67%
3501.84/3513.91 c 3514 1810671 204860 1 16.0000 15.0000 6.67%
3506.99/3519.15 c 3519 1813161 204918 1 16.0000 15.0000 6.67%
3512.24/3524.45 c 3524 1816071 205133 1 16.0000 15.0000 6.67%
3517.33/3529.52 c 3530 1818903 205558 1 16.0000 15.0000 6.67%
3522.32/3534.57 c 3535 1821726 205986 1 16.0000 15.0000 6.67%
3527.40/3539.62 c 3540 1824900 206441 1 16.0000 15.0000 6.67%
3532.39/3544.67 c 3545 1827285 206796 1 16.0000 15.0000 6.67%
3537.78/3550.07 c 3550 1830386 207098 1 16.0000 15.0000 6.67%
3542.87/3555.12 c 3555 1833255 207522 1 16.0000 15.0000 6.67%
3547.86/3560.19 c 3560 1836081 207908 1 16.0000 15.0000 6.67%
3553.33/3565.65 c 3566 1839758 208271 1 16.0000 15.0000 6.67%
3558.42/3570.70 c 3571 1843291 208626 1 16.0000 15.0000 6.67%
3563.41/3575.77 c 3576 1847185 209014 1 16.0000 15.0000 6.67%
3568.81/3581.16 c 3581 1849222 209209 1 16.0000 15.0000 6.67%
3573.87/3586.21 c 3586 1852398 209713 1 16.0000 15.0000 6.67%
3578.86/3591.26 c 3591 1855334 210533 1 16.0000 15.0000 6.67%
3583.95/3596.38 c 3596 1857597 210865 1 16.0000 15.0000 6.67%
3589.23/3601.66 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.23/3601.66 c Total Time : 3601.66
3589.23/3601.66 c solving : 3601.66
3589.23/3601.66 c presolving : 0.71 (included in solving)
3589.23/3601.66 c B&B Tree :
3589.23/3601.66 c nodes (total) : 1
3589.23/3601.66 c Solution :
3589.23/3601.66 c Solutions found : 5
3589.23/3601.66 c Primal Bound : +1.60000000000000e+01
3589.23/3601.66 c Dual Bound : +1.50000000000001e+01
3589.23/3601.66 c Gap : 6.66667 %
3589.23/3601.66 c * Warning: final gap: 6.66667e-02 is greater than SCIPepsilon: 1.00000e-09
3589.23/3601.66 o 16
3589.23/3601.66 s SATISFIABLE
3589.23/3601.66 v -x5568 -x5567 -x5566 x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550
3589.23/3601.66 v -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 x5535 x5534 -x5533 -x5532
3589.23/3601.66 v -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 x5518 -x5517 -x5516 -x5515 -x5514
3589.23/3601.66 v -x5513 x5512 x5511 -x5510 -x5509 -x5508 x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496
3589.23/3601.66 v -x5495 -x5494 x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478
3589.23/3601.66 v -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460
3589.23/3601.66 v -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442
3589.23/3601.66 v -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424
3589.23/3601.66 v -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406
3589.23/3601.66 v -x5405 x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388
3589.23/3601.66 v -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370
3589.23/3601.66 v -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353
3589.23/3601.66 v -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335
3589.23/3601.66 v -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317
3589.23/3601.66 v -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299
3589.23/3601.66 v -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281
3589.23/3601.66 v -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263
3589.23/3601.66 v -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245
3589.23/3601.66 v -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228
3589.23/3601.66 v -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 x5221 -x5220 -x5219 -x5218 -x5217 -x5216 x5215 x5214 -x5213 x5212 -x5211 -x5210 -x5209
3589.23/3601.66 v -x5208 x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 x5195 -x5194 -x5193 -x5192 -x5191
3589.23/3601.66 v -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 x5178 -x5177 -x5176 x5175 -x5174 -x5173
3589.23/3601.66 v -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 x5164 -x5163 x5162 -x5161 -x5160 -x5159 -x5158 -x5157 x5156 -x5155
3589.23/3601.66 v -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137
3589.23/3601.66 v x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 x5128 -x5127 -x5126 -x5125 x5124 -x5123 -x5122 x5121 -x5120 -x5119 -x5118
3589.23/3601.66 v -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100
3589.23/3601.66 v -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082
3589.23/3601.66 v -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065
3589.23/3601.66 v -x5064 -x5063 -x5062 -x5061 x5060 -x5059 -x5058 -x5057 -x5056 x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046
3589.23/3601.66 v -x5045 x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028
3589.23/3601.66 v -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011
3589.23/3601.66 v -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993
3589.23/3601.66 v -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 x4975
3589.23/3601.66 v -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957
3589.23/3601.66 v -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939
3589.23/3601.66 v -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921
3589.23/3601.66 v -x4920 -x4919 x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903
3589.23/3601.66 v -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885
3589.23/3601.66 v -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867
3589.23/3601.66 v -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849
3589.23/3601.66 v -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831
3589.23/3601.66 v -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813
3589.23/3601.66 v -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796
3589.23/3601.66 v -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778
3589.23/3601.66 v -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760
3589.23/3601.66 v -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742
3589.23/3601.66 v -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724
3589.23/3601.66 v -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706
3589.23/3601.66 v -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688
3589.23/3601.66 v -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671
3589.23/3601.66 v -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653
3589.23/3601.66 v -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635
3589.23/3601.66 v -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617
3589.23/3601.66 v -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599
3589.23/3601.66 v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581
3589.23/3601.66 v -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563
3589.23/3601.66 v -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546
3589.23/3601.66 v -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528
3589.23/3601.66 v -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 x4514 -x4513 -x4512 -x4511 -x4510
3589.23/3601.66 v -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492
3589.23/3601.66 v x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474
3589.23/3601.66 v -x4473 -x4472 -x4471 -x4470 -x4469 x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456
3589.23/3601.66 v -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438
3589.23/3601.66 v -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420
3589.23/3601.66 v -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402
3589.23/3601.66 v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 x4384
3589.23/3601.66 v -x4383 -x4382 -x4381 x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 x4371 -x4370 -x4369 -x4368 -x4367 -x4366
3589.23/3601.66 v x4365 -x4364 -x4363 -x4362 -x4361 -x4360 x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348
3589.23/3601.66 v -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330
3589.23/3601.66 v -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312
3589.23/3601.66 v -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294
3589.23/3601.66 v -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276
3589.23/3601.66 v -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258
3589.23/3601.66 v -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
3589.23/3601.66 v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
3589.23/3601.66 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205
3589.23/3601.66 v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187
3589.23/3601.66 v -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169
3589.23/3601.66 v -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151
3589.23/3601.66 v -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133
3589.23/3601.66 v -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116
3589.23/3601.66 v -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098
3589.23/3601.66 v -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080
3589.23/3601.66 v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062
3589.23/3601.66 v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044
3589.23/3601.66 v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026
3589.23/3601.66 v -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008
3589.23/3601.66 v -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991
3589.23/3601.66 v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973
3589.23/3601.66 v -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955
3589.23/3601.66 v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937
3589.23/3601.66 v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919
3589.23/3601.66 v -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901
3589.23/3601.66 v -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883
3589.23/3601.66 v -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866
3589.23/3601.66 v -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848
3589.23/3601.66 v -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830
3589.23/3601.66 v -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 x3813 -x3812
3589.23/3601.66 v -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794
3589.23/3601.66 v x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776
3589.23/3601.66 v -x3775 x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758
3589.23/3601.66 v -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 x3746 -x3745 -x3744 -x3743 -x3742 x3741 -x3740
3589.23/3601.66 v -x3739 x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 x3731 -x3730 x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721
3589.23/3601.66 v -x3720 -x3719 -x3718 x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 x3703
3589.23/3601.66 v -x3702 -x3701 -x3700 -x3699 -x3698 x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685
3589.23/3601.66 v -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 x3672 -x3671 -x3670 -x3669 -x3668 -x3667
3589.23/3601.66 v -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649
3589.23/3601.66 v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632
3589.23/3601.66 v -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614
3589.23/3601.66 v -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596
3589.23/3601.66 v -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578
3589.23/3601.66 v -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560
3589.23/3601.66 v -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542
3589.23/3601.66 v -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524
3589.23/3601.66 v -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507
3589.23/3601.66 v -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489
3589.23/3601.66 v -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471
3589.23/3601.66 v -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453
3589.23/3601.66 v -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435
3589.23/3601.66 v -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417
3589.23/3601.66 v -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399
3589.23/3601.66 v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382
3589.23/3601.66 v -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364
3589.23/3601.66 v -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346
3589.23/3601.66 v -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328
3589.23/3601.66 v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310
3589.23/3601.66 v -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292
3589.23/3601.66 v -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274
3589.23/3601.66 v -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257
3589.23/3601.66 v -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239
3589.23/3601.66 v -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221
3589.23/3601.66 v -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203
3589.23/3601.66 v -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185
3589.23/3601.66 v -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167
3589.23/3601.66 v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149
3589.23/3601.66 v -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132
3589.23/3601.66 v -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114
3589.23/3601.66 v -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096
3589.23/3601.66 v -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078
3589.23/3601.66 v -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060
3589.23/3601.66 v -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042
3589.23/3601.66 v -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024
3589.23/3601.66 v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007
3589.23/3601.66 v -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989
3589.23/3601.66 v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971
3589.23/3601.66 v -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953
3589.23/3601.66 v -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935
3589.23/3601.66 v -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917
3589.23/3601.66 v -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899
3589.23/3601.66 v -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882
3589.23/3601.66 v -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864
3589.23/3601.66 v -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846
3589.23/3601.66 v -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828
3589.23/3601.66 v -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810
3589.23/3601.66 v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792
3589.23/3601.66 v -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774
3589.23/3601.66 v -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757
3589.23/3601.66 v -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739
3589.23/3601.66 v -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721
3589.23/3601.66 v -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703
3589.23/3601.66 v -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685
3589.23/3601.66 v -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667
3589.23/3601.66 v -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649
3589.23/3601.66 v -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632
3589.23/3601.66 v -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614
3589.23/3601.66 v -x2613 -x2612 -x2611 -x2610 x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596
3589.23/3601.66 v -x2595 -x2594 -x2593 x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578
3589.23/3601.66 v -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560
3589.23/3601.66 v -x2559 -x2558 -x2557 x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 x2546 -x2545 -x2544 -x2543 -x2542 -x2541
3589.23/3601.66 v x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523
3589.23/3601.66 v -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505
3589.23/3601.66 v -x2504 x2503 -x2502 -x2501 x2500 x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 x2490 -x2489 -x2488 -x2487
3589.23/3601.66 v -x2486 -x2485 x2484 x2483 -x2482 -x2481 x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 x2472 -x2471 -x2470 -x2469
3589.23/3601.66 v -x2468 x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451
3589.23/3601.66 v -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433
3589.23/3601.66 v -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415
3589.23/3601.66 v -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397
3589.23/3601.66 v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379
3589.23/3601.66 v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361
3589.23/3601.66 v -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
3589.23/3601.66 v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
3589.23/3601.66 v -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308
3589.23/3601.66 v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290
3589.23/3601.66 v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 x2277 -x2276 -x2275 -x2274 -x2273 -x2272
3589.23/3601.66 v -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254
3589.23/3601.66 v -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 x2245 -x2244 -x2243 -x2242 -x2241 x2240 -x2239 -x2238 -x2237 -x2236
3589.23/3601.66 v -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218
3589.23/3601.66 v -x2217 x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200
3589.23/3601.66 v x2199 -x2198 x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182
3589.23/3601.66 v -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164
3589.23/3601.66 v -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146
3589.23/3601.66 v -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 x2139 -x2138 -x2137 -x2136 -x2135 -x2134 x2133 -x2132 -x2131 -x2130 -x2129 -x2128
3589.23/3601.66 v -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110
3589.23/3601.66 v -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 x2097 -x2096 -x2095 -x2094 -x2093 -x2092
3589.23/3601.66 v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074
3589.23/3601.66 v -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056
3589.23/3601.66 v -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038
3589.23/3601.66 v -x2037 -x2036 x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 x2023 -x2022 -x2021 -x2020
3589.23/3601.66 v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002
3589.23/3601.66 v -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 x1985 -x1984
3589.23/3601.66 v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968 -x1967 -x1966
3589.23/3601.66 v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948
3589.23/3601.66 v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930
3589.23/3601.66 v -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912
3589.23/3601.66 v -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895
3589.23/3601.66 v -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877
3589.23/3601.66 v -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859
3589.23/3601.66 v -x1858 x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841
3589.23/3601.66 v -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823
3589.23/3601.66 v -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805
3589.23/3601.66 v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787
3589.23/3601.66 v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769
3589.23/3601.66 v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751
3589.23/3601.66 v -x1750 -x1749 -x1748 -x1747 -x1746 x1745 -x1744 x1743 -x1742 -x1741 x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733
3589.23/3601.66 v x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715
3589.23/3601.66 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
3589.23/3601.66 v -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679
3589.23/3601.66 v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661
3589.23/3601.66 v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 x1645 -x1644 -x1643
3589.23/3601.66 v -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 x1632 -x1631 -x1630 x1629 -x1628 -x1627 -x1626 -x1625
3589.23/3601.66 v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607
3589.23/3601.66 v -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589
3589.23/3601.66 v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571
3589.23/3601.66 v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554
3589.23/3601.66 v -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 x1547 x1546 -x1545 -x1544 -x1543 -x1542 x1541 x1540 -x1539 -x1538 -x1537 -x1536 -x1535
3589.23/3601.66 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517
3589.23/3601.66 v -x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499
3589.23/3601.66 v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 x1481
3589.23/3601.66 v -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463
3589.23/3601.66 v -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446
3589.23/3601.66 v -x1445 x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427
3589.23/3601.66 v x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 x1410 -x1409
3589.23/3601.66 v -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391
3589.23/3601.66 v -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373
3589.23/3601.66 v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355
3589.23/3601.66 v -x1354 x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 x1339 -x1338 -x1337
3589.23/3601.66 v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319
3589.23/3601.66 v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301
3589.23/3601.66 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284
3589.23/3601.66 v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266
3589.23/3601.66 v -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 x1248
3589.23/3601.66 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230
3589.23/3601.66 v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212
3589.23/3601.66 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194
3589.23/3601.66 v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176
3589.23/3601.66 v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158
3589.23/3601.66 v -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140
3589.23/3601.66 v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123
3589.23/3601.66 v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105
3589.23/3601.66 v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087
3589.23/3601.66 v -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069
3589.23/3601.66 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051
3589.23/3601.66 v -x1050 -x1049 -x1048 x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033
3589.23/3601.66 v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015
3589.23/3601.66 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997
3589.23/3601.66 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978 -x977 -x976
3589.23/3601.66 v -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955
3589.23/3601.66 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934
3589.23/3601.66 v -x933 -x932 x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 x914 -x913
3589.23/3601.66 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892
3589.23/3601.66 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 x876 -x875 -x874 x873 -x872 -x871 -x870
3589.23/3601.66 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
3589.23/3601.66 v -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
3589.23/3601.66 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 x817 -x816 -x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
3589.23/3601.67 v -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 x794 -x793 x792 -x791 -x790 -x789 -x788 x787 -x786 x785
3589.23/3601.67 v -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
3589.23/3601.67 v -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 x746 -x745 x744 x743
3589.23/3601.67 v -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727 -x726 -x725 x724 -x723 -x722 -x721
3589.23/3601.67 v -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
3589.23/3601.67 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680
3589.23/3601.67 v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
3589.23/3601.67 v -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638
3589.23/3601.67 v -x637 -x636 x635 x634 x633 -x632 x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616
3589.23/3601.67 v -x615 -x614 -x613 -x612 x611 x610 x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594
3589.23/3601.67 v -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
3589.23/3601.67 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553
3589.23/3601.67 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
3589.23/3601.67 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511
3589.23/3601.67 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490
3589.23/3601.67 v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469
3589.23/3601.67 v -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448
3589.23/3601.67 v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
3589.23/3601.67 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
3589.23/3601.67 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
3589.23/3601.67 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
3589.23/3601.67 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344
3589.23/3601.67 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 x325 -x324 -x323
3589.23/3601.67 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302
3589.23/3601.68 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
3589.23/3601.68 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 x260
3589.23/3601.68 v x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239
3589.23/3601.68 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218
3589.23/3601.68 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
3589.23/3601.68 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
3589.23/3601.68 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
3589.23/3601.68 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
3589.23/3601.68 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
3589.23/3601.68 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
3589.23/3601.68 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
3589.23/3601.68 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
3589.23/3601.68 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 x30 x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 x15
3589.23/3601.68 v -x14 x13 x12 x11 x10 x9 x8 -x7 x6 x5 x4 -x3 x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (53263 MiB free)
memory of node 1: 64473 MiB (58202 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434951-1721170648/watcher-4434951-1721170648 -o /tmp/evaluation-result-4434951-1721170648/solver-4434951-1721170648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721165433-874075 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434951-1721170648.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=878043, runsolver pid=878040
[startup+0.100169 s]*
/proc/loadavg: 4.09 4.14 4.13 5/249 878044
/proc/meminfo: memFree=114117116/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=45132 memory=34236 CPUtime=0.08 cores=1,3
/proc/878043/stat : 878043 (fscip) R 878040 878043 874063 0 -1 4194304 6638 0 0 0 7 1 0 0 20 0 1 0 169223605 46215168 8559 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 11283 8559 2670 3032 0 7683 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 45132 KiB
Current children cumulated memory: 34236 KiB
[startup+0.2131 s]*
/proc/loadavg: 4.09 4.14 4.13 5/249 878044
/proc/meminfo: memFree=114111712/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=49996 memory=39552 CPUtime=0.2 cores=1,3
/proc/878043/stat : 878043 (fscip) R 878040 878043 874063 0 -1 4194304 8198 0 0 0 18 2 0 0 20 0 1 0 169223605 51195904 9888 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 12499 9888 2734 3032 0 8899 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49996 KiB
Current children cumulated memory: 39552 KiB
[startup+0.31329 s]*
/proc/loadavg: 4.09 4.14 4.13 5/249 878044
/proc/meminfo: memFree=114102192/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=71348 memory=49544 CPUtime=0.3 cores=1,3
/proc/878043/stat : 878043 (fscip) R 878040 878043 874063 0 -1 4194304 10708 0 0 0 27 3 0 0 20 0 1 0 169223605 73060352 12386 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 17837 12386 2782 3032 0 14237 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71348 KiB
Current children cumulated memory: 49544 KiB
[startup+0.700252 s]
/proc/loadavg: 4.09 4.14 4.13 5/249 878044
/proc/meminfo: memFree=114099364/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=75036 memory=53504 CPUtime=0.68 cores=1,3
/proc/878043/stat : 878043 (fscip) R 878040 878043 874063 0 -1 4194304 11650 0 0 0 65 3 0 0 20 0 1 0 169223605 76836864 13376 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 18759 13376 2782 3032 0 15159 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 75036 KiB
Current children cumulated memory: 53504 KiB
[startup+1.50042 s]
/proc/loadavg: 4.09 4.14 4.13 5/251 878047
/proc/meminfo: memFree=114026868/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=270800 memory=175784 CPUtime=1.47 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 42253 0 0 0 138 9 0 0 20 0 3 0 169223605 277299200 43946 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 67700 43946 2910 3032 0 52444 0
[pid=878043/tid=878046] ppid=878040 vsize=270800 memory=4220 CPUtime=0.71 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 20883 0 0 0 67 4 0 0 20 0 3 0 169223681 277299200 43946 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=270800 memory=12740 CPUtime=0 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 169223684 277299200 43946 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 270800 KiB
Current children cumulated memory: 175784 KiB
[startup+3.11424 s]
/proc/loadavg: 4.09 4.14 4.13 5/251 878047
/proc/meminfo: memFree=113959680/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=270800 memory=191496 CPUtime=3.08 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 64355 0 0 0 296 12 0 0 20 0 3 0 169223605 277299200 47874 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 67700 47874 2958 3032 0 56524 0
[pid=878043/tid=878046] ppid=878040 vsize=270800 memory=29488 CPUtime=2.32 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 42073 0 0 0 226 6 0 0 20 0 3 0 169223681 277299200 47874 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=270800 memory=105552 CPUtime=0 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 169223684 277299200 47874 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 270800 KiB
Current children cumulated memory: 191496 KiB
[startup+6.30038 s]
/proc/loadavg: 4.09 4.14 4.13 5/251 878047
/proc/meminfo: memFree=113946808/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=270800 memory=204956 CPUtime=6.27 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 95675 0 0 0 611 16 0 0 20 0 3 0 169223605 277299200 51239 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 67700 51239 2974 3032 0 60441 0
[pid=878043/tid=878046] ppid=878040 vsize=270800 memory=207468 CPUtime=5.5 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 73320 0 0 0 540 10 0 0 20 0 3 0 169223681 277299200 51239 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=270800 memory=0 CPUtime=0 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 169223684 277299200 51239 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 270800 KiB
Current children cumulated memory: 204956 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.14 4.13 5/251 878049
/proc/meminfo: memFree=113923988/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=270156 memory=220756 CPUtime=12.64 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 171673 0 0 0 1240 24 0 0 20 0 3 0 169223605 276639744 55189 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 67539 55189 2974 3032 0 63787 0
[pid=878043/tid=878046] ppid=878040 vsize=270156 memory=220756 CPUtime=11.88 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 149257 0 0 0 1170 18 0 0 20 0 3 0 169223681 276639744 55189 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=270156 memory=241357309147 CPUtime=0 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 169223684 276639744 55189 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 270156 KiB
Current children cumulated memory: 220756 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.15 4.13 5/251 878050
/proc/meminfo: memFree=113918636/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=335692 memory=232736 CPUtime=25.41 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 247945 0 0 0 2509 32 0 0 20 0 3 0 169223605 343748608 58184 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 83923 58184 2974 3032 0 66008 0
[pid=878043/tid=878046] ppid=878040 vsize=335692 memory=12740 CPUtime=24.64 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 225471 0 0 0 2438 26 0 0 20 0 3 0 169223681 343748608 58184 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=335692 memory=0 CPUtime=0 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 169223684 343748608 58184 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 335692 KiB
Current children cumulated memory: 232736 KiB
[startup+51.1142 s]
/proc/loadavg: 4.09 4.13 4.12 5/251 878055
/proc/meminfo: memFree=113903280/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=335692 memory=247760 CPUtime=50.94 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 322111 0 0 0 5054 40 0 0 20 0 3 0 169223605 343748608 61940 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 83923 61940 2974 3032 0 69833 0
[pid=878043/tid=878046] ppid=878040 vsize=335692 memory=247732 CPUtime=50.17 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 299536 0 0 0 4983 34 0 0 20 0 3 0 169223681 343748608 61940 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=335692 memory=247724 CPUtime=0 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 169223684 343748608 61940 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 335692 KiB
Current children cumulated memory: 247760 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/253 878234
/proc/meminfo: memFree=113868820/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=335692 memory=281756 CPUtime=101.94 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 392079 0 0 0 10142 52 0 0 20 0 3 0 169223605 343748608 70439 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 83923 70439 2974 3032 0 78314 0
[pid=878043/tid=878046] ppid=878040 vsize=335692 memory=280816 CPUtime=101.17 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 369435 0 0 0 10071 46 0 0 20 0 3 0 169223681 343748608 70439 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=335692 memory=40436 CPUtime=0 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 169223684 343748608 70439 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 335692 KiB
Current children cumulated memory: 281756 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/253 878244
/proc/meminfo: memFree=113839712/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=397440 memory=287404 CPUtime=161.78 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 437371 0 0 0 16122 56 0 0 20 0 3 0 169223605 406978560 71851 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 99360 71851 2990 3032 0 79674 0
[pid=878043/tid=878046] ppid=878040 vsize=397440 memory=12740 CPUtime=161.01 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 414664 0 0 0 16051 50 0 0 20 0 3 0 169223681 406978560 71851 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=397440 memory=6944656575208382560 CPUtime=0 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 169223684 406978560 71851 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 397440 KiB
Current children cumulated memory: 287404 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/251 878269
/proc/meminfo: memFree=113763624/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=462976 memory=361460 CPUtime=221.58 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 474458 0 0 0 22096 62 0 0 20 0 3 0 169223605 474087424 90365 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 115744 90365 2990 3032 0 98563 0
[pid=878043/tid=878046] ppid=878040 vsize=462976 memory=287404 CPUtime=220.79 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 451705 0 0 0 22024 55 0 0 20 0 3 0 169223681 474087424 90365 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=462976 memory=12740 CPUtime=0 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 169223684 474087424 90365 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 462976 KiB
Current children cumulated memory: 361460 KiB
################
# More data... #
################
/proc/878043/statm: 416016 392846 3310 3032 0 396278 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=1549452 CPUtime=3389.66 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3320956 0 0 0 338314 652 0 0 20 0 3 0 169223681 1704001536 392846 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=6720659948130812267 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 120 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 392846 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3390.74 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1571384 KiB
[startup+3462.3 s]
/proc/loadavg: 2.62 2.30 2.61 3/233 880103
/proc/meminfo: memFree=121635432/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=1664064 memory=1572120 CPUtime=3450.53 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 3396077 0 0 0 344375 678 0 0 20 0 3 0 169223605 1704001536 393030 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 416016 393030 3310 3032 0 396278 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=1549452 CPUtime=3449.45 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3372065 0 0 0 344284 661 0 0 20 0 3 0 169223681 1704001536 393030 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=6720659948130812267 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 121 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 393030 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3450.53 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1572120 KiB
[startup+3522.3 s]
/proc/loadavg: 2.45 2.31 2.59 3/233 880498
/proc/meminfo: memFree=121628084/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=1664064 memory=1577500 CPUtime=3510.15 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 3458401 0 0 0 350327 688 0 0 20 0 3 0 169223605 1704001536 394375 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 416016 394375 3310 3032 0 397485 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=1572028 CPUtime=3509.06 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3434376 0 0 0 350236 670 0 0 20 0 3 0 169223681 1704001536 394375 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=1577496 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 122 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 394375 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3510.15 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1577500 KiB
[startup+3582.3 s]
/proc/loadavg: 2.28 2.28 2.56 3/233 880508
/proc/meminfo: memFree=121610372/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=1664064 memory=1595016 CPUtime=3569.99 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 3515439 0 0 0 356301 698 0 0 20 0 3 0 169223605 1704001536 398754 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 416016 398754 3310 3032 0 401991 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=11936 CPUtime=3568.89 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3491398 0 0 0 356209 680 0 0 20 0 3 0 169223681 1704001536 398754 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=12740 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 123 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 398754 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3569.99 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1595016 KiB
[startup+3601.71 s]
# the end of solver process 878043 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.23 s, system=7.12943 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.34 2.29 2.56 3/233 880508
/proc/meminfo: memFree=121609756/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=1664064 memory=1595612 CPUtime=3571.69 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 3515900 0 0 0 356471 698 0 0 20 0 3 0 169223605 1704001536 398903 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 416016 398903 3310 3032 0 401991 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=12780 CPUtime=3570.61 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3491882 0 0 0 356380 681 0 0 20 0 3 0 169223681 1704001536 398903 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=-7736752767861218940 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 123 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 398903 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1595612 KiB
[startup+3590.4 s]
/proc/loadavg: 2.31 2.29 2.56 3/233 880508
/proc/meminfo: memFree=121606676/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=1664064 memory=1598716 CPUtime=3578.06 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 3528695 0 0 0 357107 699 0 0 20 0 3 0 169223605 1704001536 399679 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 416016 399679 3310 3032 0 402503 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=12740 CPUtime=3576.97 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3504649 0 0 0 357015 682 0 0 20 0 3 0 169223681 1704001536 399679 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=4880 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 123 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 399679 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3578.06 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1598716 KiB
[startup+3596.8 s]
/proc/loadavg: 2.29 2.28 2.56 3/233 880509
/proc/meminfo: memFree=121604716/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=1664064 memory=1600584 CPUtime=3584.45 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 3540986 0 0 0 357744 701 0 0 20 0 3 0 169223605 1704001536 400146 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 416016 400146 3310 3032 0 406663 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=1594256 CPUtime=3583.35 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3516935 0 0 0 357652 683 0 0 20 0 3 0 169223681 1704001536 400146 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=0 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 123 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 400146 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1600584 KiB
[startup+3600 s]*
/proc/loadavg: 2.26 2.28 2.55 3/233 880509
/proc/meminfo: memFree=121604688/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=1664064 memory=1600596 CPUtime=3587.65 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 3551084 0 0 0 358063 702 0 0 20 0 3 0 169223605 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 416016 400149 3310 3032 0 406663 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=1627128 CPUtime=3586.56 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3527054 0 0 0 357972 684 0 0 20 0 3 0 169223681 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=4784 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 123 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3587.65 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1600596 KiB
[startup+3600.8 s]
/proc/loadavg: 2.26 2.28 2.55 3/233 880509
/proc/meminfo: memFree=121604688/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=1664064 memory=1600596 CPUtime=3588.44 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 3629391 0 0 0 358137 707 0 0 20 0 3 0 169223605 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 416016 400149 3310 3032 0 406663 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=1600592 CPUtime=3587.35 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3605345 0 0 0 358046 689 0 0 20 0 3 0 169223681 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=5624 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 123 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3588.44 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1600596 KiB
[startup+3601.2 s]
/proc/loadavg: 2.26 2.28 2.55 3/233 880511
/proc/meminfo: memFree=121604660/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=1664064 memory=1600596 CPUtime=3588.84 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 3640161 0 0 0 358177 707 0 0 20 0 3 0 169223605 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 416016 400149 3310 3032 0 406663 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=11936 CPUtime=3587.74 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3616109 0 0 0 358085 689 0 0 20 0 3 0 169223681 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=5624 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 123 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3588.84 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1600596 KiB
[startup+3601.6 s]
/proc/loadavg: 2.26 2.28 2.55 3/233 880511
/proc/meminfo: memFree=121604660/131655788 swapFree=131071996/131071996
[pid=878043] ppid=878040 vsize=1664064 memory=1600596 CPUtime=3589.23 cores=1,3
/proc/878043/stat : 878043 (fscip) S 878040 878043 874063 0 -1 1077936128 3648207 0 0 0 358216 707 0 0 20 0 3 0 169223605 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
/proc/878043/statm: 416016 400149 3310 3032 0 406663 0
[pid=878043/tid=878046] ppid=878040 vsize=1664064 memory=43124 CPUtime=3588.14 cores=1,3
/proc/878043/task/878046/stat : 878046 (fscip) R 878040 878043 874063 0 -1 4194368 3624155 0 0 0 358125 689 0 0 20 0 3 0 169223681 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
[pid=878043/tid=878047] ppid=878040 vsize=1664064 memory=1600596 CPUtime=0.04 cores=1,3
/proc/878043/task/878047/stat : 878047 (fscip) S 878040 878043 874063 0 -1 1077936192 123 0 0 0 1 3 0 0 20 0 3 0 169223684 1704001536 400149 134679101440 4194304 16613245 140735467787856 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38965248 140735467791381 140735467791497 140735467791497 140735467798512 0
Current children cumulated CPU time: 3589.23 s
Current children cumulated vsize: 1664064 KiB
Current children cumulated memory: 1600596 KiB
Child status: 0
Real time (s): 3601.71
CPU time (s): 3589.36
CPU user time (s): 3582.23
CPU system time (s): 7.12943
CPU usage (%): 99.657
Max. virtual memory (cumulated for all children) (KiB): 1664064
Max. memory (cumulated for all children) (KiB): 1600596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.23
system time used= 7.12943
maximum resident set size= 1613580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3650685
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= 10660
involuntary context switches= 3690
# summary of solver processes directly reported to runsolver:
# pid: 878043
# total CPU time (s): 3589.36
# total CPU user time (s): 3582.23
# total CPU system time (s): 7.12943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0185 second user time and 37.1225 second system time
The end
Begin job on nodeC005 at 2024-07-17 00:57:40
IDJOB=4434951
IDBENCH=158621
IDSOLVER=3064
FILE ID=nodeC005/4434951-1721170648
RUNJOBID= nodeC005-1721165433-874075
SLURM_JOB_ID= 7505788
Free space on /tmp= 723680 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.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-4434951-1721170648/watcher-4434951-1721170648 -o /tmp/evaluation-result-4434951-1721170648/solver-4434951-1721170648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721165433-874075 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434951-1721170648.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1717590299
nodeC005.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 : 3672.870
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.53
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 : 3491.784
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.35
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.203
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.53
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.178
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.35
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 : 3672.930
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.53
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 : 3670.842
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.35
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.382
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.53
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.394
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 114141360 kB
MemAvailable: 119255560 kB
Buffers: 420856 kB
Cached: 5471824 kB
SwapCached: 0 kB
Active: 862540 kB
Inactive: 15956312 kB
Active(anon): 3432 kB
Inactive(anon): 10960436 kB
Active(file): 859108 kB
Inactive(file): 4995876 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28580 kB
Writeback: 0 kB
AnonPages: 10924964 kB
Mapped: 142600 kB
Shmem: 37704 kB
KReclaimable: 198828 kB
Slab: 312904 kB
SReclaimable: 198828 kB
SUnreclaim: 114076 kB
KernelStack: 3984 kB
PageTables: 31208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 5798160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3717120 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC005 at 2024-07-17 01:57:42