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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 37883904, getVmSize() = 37883904, SCIPgetMemUsed() = 11805132, SCIPgetMemTotal() = 15646716, SCIPgetMemExternEstim() = 9624606
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.19 c ** Estimated virtualMemUsedAtSolver = 32479914, getVmSize() = 59555840, SCIPgetMemUsed() = 19228311, SCIPgetMemTotal() = 35188263, SCIPgetMemExternEstim() = 9624606
0.10/0.19 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.19 c Original Problem :
0.10/0.19 c Problem name : instance-4434844-1721126087
0.10/0.19 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.19 c Constraints : 9296
0.10/0.19 c Objective sense : minimize
0.10/0.19 c Presolved Problem :
0.10/0.19 c Variables : 790 (790 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.19 c Constraints : 9224
0.10/0.19 c Constraints : Number
0.10/0.19 c setppc : 9224
0.10/0.19 c ** Instance transfer method used: 0
0.10/0.21 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.22 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.22 c Nodes Active
0.20/0.22 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.29/0.38 c * 0 0 1 1 10.0000 - -
0.39/0.44 c * 0 0 1 1 9.0000 - -
5.76/5.87 c 6 92 88 1 9.0000 7.0000 28.57%
10.95/11.06 c 11 255 251 1 9.0000 7.0000 28.57%
16.13/16.24 c 16 415 411 1 9.0000 7.0000 28.57%
21.42/21.50 c 22 600 566 1 9.0000 7.0000 28.57%
26.81/26.93 c 27 767 727 1 9.0000 7.0000 28.57%
32.28/32.46 c 32 931 883 1 9.0000 7.0000 28.57%
37.47/37.60 c 38 1090 1030 1 9.0000 7.0000 28.57%
42.76/42.95 c 43 1207 1143 1 9.0000 7.0000 28.57%
47.95/48.18 c 48 1351 1277 1 9.0000 7.0000 28.57%
53.14/53.30 c 53 1538 1422 1 9.0000 7.0000 28.57%
58.42/58.69 c 59 1794 1636 1 9.0000 7.0000 28.57%
63.81/64.08 c 64 2096 1892 1 9.0000 7.0000 28.57%
68.99/69.29 c 69 2449 2195 1 9.0000 7.0000 28.57%
74.38/74.61 c 75 2712 1 1 9.0000 7.0000 28.57%
79.66/79.90 c 80 2873 142 1 9.0000 7.0000 28.57%
84.85/85.14 c 85 3027 282 1 9.0000 7.0000 28.57%
90.04/90.33 c 90 3238 459 1 9.0000 7.0000 28.57%
95.12/95.45 c 95 3476 665 1 9.0000 7.0000 28.57%
100.21/100.56 c 101 3780 949 1 9.0000 7.0000 28.57%
105.29/105.67 c 106 4125 1269 1 9.0000 7.0000 28.57%
110.58/110.93 c 111 4541 1673 1 9.0000 7.0000 28.57%
115.67/116.02 c 116 5017 2123 1 9.0000 7.0000 28.57%
120.95/121.35 c 121 5324 2414 1 9.0000 7.0000 28.57%
126.24/126.63 c 127 5627 2699 1 9.0000 7.0000 28.57%
131.23/131.69 c 132 5970 3022 1 9.0000 7.0000 28.57%
136.31/136.76 c 137 6383 3423 1 9.0000 7.0000 28.57%
141.50/141.98 c 142 6712 3732 1 9.0000 7.0000 28.57%
146.59/147.05 c 147 7106 4112 1 9.0000 7.0000 28.57%
151.67/152.14 c 152 7569 4551 1 9.0000 7.0000 28.57%
156.75/157.23 c 157 8059 5017 1 9.0000 7.0000 28.57%
161.74/162.30 c 162 8677 5575 1 9.0000 7.0000 28.57%
166.92/167.46 c 167 9205 6073 1 9.0000 7.0000 28.57%
172.02/172.55 c 173 9686 6522 1 9.0000 7.0000 28.57%
177.10/177.60 c 178 10259 7053 1 9.0000 7.0000 28.57%
182.08/182.69 c 183 10714 7500 1 9.0000 7.0000 28.57%
187.17/187.77 c 188 11163 7927 1 9.0000 7.0000 28.57%
192.26/192.85 c 193 11614 8362 1 9.0000 7.0000 28.57%
197.44/198.03 c 198 12076 8781 1 9.0000 7.0000 28.57%
202.43/203.08 c 203 12625 9292 1 9.0000 7.0000 28.57%
207.52/208.14 c 208 13232 9863 1 9.0000 7.0000 28.57%
212.80/213.40 c 213 13801 10325 1 9.0000 7.0000 28.57%
217.79/218.48 c 218 14281 10761 1 9.0000 7.0000 28.57%
222.97/223.64 c 224 14876 11261 1 9.0000 7.0000 28.57%
228.05/228.75 c 229 15390 11741 1 9.0000 7.0000 28.57%
233.14/233.82 c 234 15895 12210 1 9.0000 7.0000 28.57%
238.13/238.88 c 239 16412 12693 1 9.0000 7.0000 28.57%
243.21/243.96 c 244 17039 13246 1 9.0000 7.0000 28.57%
248.30/249.03 c 249 17625 13782 1 9.0000 7.0000 28.57%
253.39/254.11 c 254 18231 14340 1 9.0000 7.0000 28.57%
258.38/259.16 c 259 18885 14954 1 9.0000 7.0000 28.57%
263.45/264.23 c 264 19469 15484 1 9.0000 7.0000 28.57%
268.54/269.34 c 269 20023 15972 1 9.0000 7.0000 28.57%
273.62/274.40 c 274 20641 16514 1 9.0000 7.0000 28.57%
278.82/279.66 c 280 21092 16929 1 9.0000 7.0000 28.57%
284.00/284.88 c 285 21421 17220 1 9.0000 7.0000 28.57%
289.08/289.98 c 290 21870 17613 1 9.0000 7.0000 28.57%
294.17/295.10 c 295 22467 18141 1 9.0000 7.0000 28.57%
299.26/300.18 c 300 23097 18727 1 9.0000 7.0000 28.57%
304.34/305.26 c 305 23779 19341 1 9.0000 7.0000 28.57%
309.43/310.31 c 310 24463 19980 1 9.0000 7.0000 28.57%
314.42/315.37 c 315 25104 20595 1 9.0000 7.0000 28.57%
319.50/320.42 c 320 25753 21208 1 9.0000 7.0000 28.57%
324.59/325.52 c 326 26367 21780 1 9.0000 7.0000 28.57%
329.57/330.59 c 331 27067 22412 1 9.0000 7.0000 28.57%
334.67/335.65 c 336 27752 23035 1 9.0000 7.0000 28.57%
339.75/340.71 c 341 28416 23639 1 9.0000 7.0000 28.57%
344.73/345.77 c 346 29052 24232 1 9.0000 7.0000 28.57%
349.83/350.82 c 351 29649 24797 1 9.0000 7.0000 28.57%
354.81/355.88 c 356 30231 25355 1 9.0000 7.0000 28.57%
359.90/360.96 c 361 30832 25933 1 9.0000 7.0000 28.57%
364.99/366.02 c 366 31429 26496 1 9.0000 7.0000 28.57%
369.97/371.08 c 371 32103 27094 1 9.0000 7.0000 28.57%
375.06/376.16 c 376 32753 27686 1 9.0000 7.0000 28.57%
380.15/381.25 c 381 33284 28185 1 9.0000 7.0000 28.57%
385.23/386.31 c 386 33846 28703 1 9.0000 7.0000 28.57%
390.22/391.39 c 391 34400 29201 1 9.0000 7.0000 28.57%
395.31/396.43 c 396 34990 29755 1 9.0000 7.0000 28.57%
400.40/401.52 c 402 35589 30292 1 9.0000 7.0000 28.57%
405.38/406.57 c 407 36223 30818 1 9.0000 7.0000 28.57%
410.47/411.62 c 412 36742 31286 1 9.0000 7.0000 28.57%
415.46/416.67 c 417 37278 31784 1 9.0000 7.0000 28.57%
420.55/421.73 c 422 38037 32419 1 9.0000 7.0000 28.57%
425.63/426.80 c 427 38691 32995 1 9.0000 7.0000 28.57%
430.62/431.86 c 432 39301 33537 1 9.0000 7.0000 28.57%
435.71/436.95 c 437 39915 34095 1 9.0000 7.0000 28.57%
440.79/442.00 c 442 40627 34733 1 9.0000 7.0000 28.57%
445.78/447.07 c 447 41344 35288 1 9.0000 7.0000 28.57%
450.87/452.14 c 452 42032 35896 1 9.0000 7.0000 28.57%
455.95/457.21 c 457 42636 36438 1 9.0000 7.0000 28.57%
460.93/462.27 c 462 43263 36985 1 9.0000 7.0000 28.57%
466.03/467.34 c 467 43927 37583 1 9.0000 7.0000 28.57%
471.11/472.40 c 472 44617 38176 1 9.0000 7.0000 28.57%
476.10/477.46 c 477 45316 38739 1 9.0000 7.0000 28.57%
481.19/482.54 c 483 46011 39334 1 9.0000 7.0000 28.57%
486.27/487.63 c 488 46621 39872 1 9.0000 7.0000 28.57%
491.36/492.71 c 493 47191 40412 1 9.0000 7.0000 28.57%
496.35/497.76 c 498 47785 40968 1 9.0000 7.0000 28.57%
501.43/502.87 c 503 48288 41445 1 9.0000 7.0000 28.57%
506.52/507.93 c 508 48826 41958 1 9.0000 7.0000 28.57%
511.51/512.99 c 513 49430 42490 1 9.0000 7.0000 28.57%
516.60/518.05 c 518 50053 43000 1 9.0000 7.0000 28.57%
521.68/523.13 c 523 50675 43533 1 9.0000 7.0000 28.57%
526.68/528.18 c 528 51254 44008 1 9.0000 7.0000 28.57%
531.86/533.30 c 533 51855 44519 1 9.0000 7.0000 28.57%
536.84/538.35 c 538 52588 45102 1 9.0000 7.0000 28.57%
541.93/543.43 c 543 53183 45599 1 9.0000 7.0000 28.57%
547.02/548.55 c 549 53657 46021 1 9.0000 7.0000 28.57%
552.11/553.63 c 554 54312 46596 1 9.0000 7.0000 28.57%
557.19/558.70 c 559 55060 47248 1 9.0000 7.0000 28.57%
562.18/563.75 c 564 55732 47830 1 9.0000 7.0000 28.57%
567.17/568.80 c 569 56482 48470 1 9.0000 7.0000 28.57%
572.36/573.91 c 574 57251 49058 1 9.0000 7.0000 28.57%
577.35/578.96 c 579 58009 49699 1 9.0000 7.0000 28.57%
582.44/584.06 c 584 58659 50271 1 9.0000 7.0000 28.57%
587.52/589.12 c 589 59273 50835 1 9.0000 7.0000 28.57%
592.51/594.18 c 594 59979 51470 1 9.0000 7.0000 28.57%
597.59/599.23 c 599 60641 52078 1 9.0000 7.0000 28.57%
602.58/604.29 c 604 61316 52673 1 9.0000 7.0000 28.57%
607.66/609.37 c 609 61989 53255 1 9.0000 7.0000 28.57%
612.75/614.41 c 614 62687 53841 1 9.0000 7.0000 28.57%
617.84/619.51 c 620 63401 54398 1 9.0000 7.0000 28.57%
622.83/624.58 c 625 64039 54950 1 9.0000 7.0000 28.57%
628.01/629.70 c 630 64449 55316 1 9.0000 7.0000 28.57%
633.00/634.78 c 635 65031 55842 1 9.0000 7.0000 28.57%
638.09/639.83 c 640 65618 56391 1 9.0000 7.0000 28.57%
643.17/644.92 c 645 66092 56829 1 9.0000 7.0000 28.57%
648.27/650.03 c 650 66422 57127 1 9.0000 7.0000 28.57%
653.36/655.11 c 655 66807 57476 1 9.0000 7.0000 28.57%
658.64/660.40 c 660 67106 57739 1 9.0000 7.0000 28.57%
663.63/665.45 c 665 67575 58157 1 9.0000 7.0000 28.57%
668.71/670.54 c 671 68053 58581 1 9.0000 7.0000 28.57%
673.80/675.60 c 676 68640 59090 1 9.0000 7.0000 28.57%
678.78/680.64 c 681 69188 59579 1 9.0000 7.0000 28.57%
683.87/685.73 c 686 69808 60149 1 9.0000 7.0000 28.57%
688.86/690.79 c 691 70454 60718 1 9.0000 7.0000 28.57%
693.95/695.83 c 696 71153 61291 1 9.0000 7.0000 28.57%
698.94/700.89 c 701 71906 61899 1 9.0000 7.0000 28.57%
704.12/706.00 c 706 72573 62462 1 9.0000 7.0000 28.57%
709.11/711.08 c 711 73173 63022 1 9.0000 7.0000 28.57%
714.19/716.16 c 716 73664 63479 1 9.0000 7.0000 28.57%
719.28/721.25 c 721 74183 63930 1 9.0000 7.0000 28.57%
724.57/726.55 c 727 74701 64357 1 9.0000 7.0000 28.57%
729.65/731.66 c 732 75172 64780 1 9.0000 7.0000 28.57%
734.74/736.72 c 737 75780 65322 1 9.0000 7.0000 28.57%
739.82/741.84 c 742 76233 65751 1 9.0000 7.0000 28.57%
744.92/746.91 c 747 76842 66332 1 9.0000 7.0000 28.57%
749.90/751.97 c 752 77443 66888 1 9.0000 7.0000 28.57%
754.98/757.05 c 757 78004 67425 1 9.0000 7.0000 28.57%
760.07/762.12 c 762 78647 68016 1 9.0000 7.0000 28.57%
765.14/767.20 c 767 79207 68544 1 9.0000 7.0000 28.57%
770.12/772.28 c 772 79818 69105 1 9.0000 7.0000 28.57%
775.21/777.36 c 777 80437 69680 1 9.0000 7.0000 28.57%
780.30/782.42 c 782 80957 70186 1 9.0000 7.0000 28.57%
785.28/787.49 c 787 81630 70813 1 9.0000 7.0000 28.57%
790.46/792.61 c 793 82261 71420 1 9.0000 7.0000 28.57%
795.45/797.68 c 798 82856 71965 1 9.0000 7.0000 28.57%
800.53/802.76 c 803 83353 72420 1 9.0000 7.0000 28.57%
805.71/807.92 c 808 83733 72776 1 9.0000 7.0000 28.57%
810.79/813.03 c 813 84275 73258 1 9.0000 7.0000 28.57%
815.88/818.11 c 818 84991 73874 1 9.0000 7.0000 28.57%
820.87/823.16 c 823 85668 74462 1 9.0000 7.0000 28.57%
825.94/828.21 c 828 86293 75031 1 9.0000 7.0000 28.57%
831.02/833.34 c 833 86904 75583 1 9.0000 7.0000 28.57%
836.11/838.44 c 838 87414 76020 1 9.0000 7.0000 28.57%
841.09/843.50 c 844 88081 76562 1 9.0000 7.0000 28.57%
846.17/848.57 c 849 88723 77120 1 9.0000 7.0000 28.57%
851.26/853.63 c 854 89311 77660 1 9.0000 7.0000 28.57%
856.24/858.69 c 859 89989 78270 1 9.0000 7.0000 28.57%
861.33/863.79 c 864 90719 78890 1 9.0000 7.0000 28.57%
866.40/868.89 c 869 91348 79432 1 9.0000 7.0000 28.57%
871.48/873.97 c 874 92008 80011 1 9.0000 7.0000 28.57%
876.58/879.04 c 879 92696 80617 1 9.0000 7.0000 28.57%
881.56/884.09 c 884 93336 81203 1 9.0000 7.0000 28.57%
886.64/889.16 c 889 94024 81817 1 9.0000 7.0000 28.57%
891.82/894.35 c 894 94655 82388 1 9.0000 7.0000 28.57%
896.91/899.41 c 899 95304 82950 1 9.0000 7.0000 28.57%
901.88/904.49 c 904 95909 83480 1 9.0000 7.0000 28.57%
906.97/909.55 c 910 96538 84036 1 9.0000 7.0000 28.57%
912.05/914.63 c 915 97101 84546 1 9.0000 7.0000 28.57%
917.04/919.69 c 920 97653 85038 1 9.0000 7.0000 28.57%
922.12/924.74 c 925 98220 85553 1 9.0000 7.0000 28.57%
927.11/929.79 c 930 98851 86100 1 9.0000 7.0000 28.57%
932.18/934.86 c 935 99473 86656 1 9.0000 7.0000 28.57%
937.27/939.92 c 940 100128 87188 1 9.0000 7.0000 28.57%
942.26/944.97 c 945 100741 87737 1 9.0000 7.0000 28.57%
947.34/950.05 c 950 101313 88263 1 9.0000 7.0000 28.57%
952.43/955.12 c 955 102048 88842 1 9.0000 7.0000 28.57%
957.41/960.17 c 960 102773 89463 1 9.0000 7.0000 28.57%
962.50/965.28 c 965 103494 90056 1 9.0000 7.0000 28.57%
967.58/970.34 c 970 104458 90669 1 9.0000 7.0000 28.57%
972.57/975.38 c 975 105240 91256 1 9.0000 7.0000 28.57%
977.66/980.44 c 980 106191 91898 1 9.0000 7.0000 28.57%
982.74/985.50 c 986 107121 92569 1 9.0000 7.0000 28.57%
987.73/990.55 c 991 108006 93239 1 9.0000 7.0000 28.57%
992.82/995.62 c 996 108851 93822 1 9.0000 7.0000 28.57%
997.80/1000.67 c 1001 109658 94401 1 9.0000 7.0000 28.57%
1002.89/1005.73 c 1006 110459 94976 1 9.0000 7.0000 28.57%
1007.88/1010.79 c 1011 111356 95623 1 9.0000 7.0000 28.57%
1012.96/1015.86 c 1016 112048 96205 1 9.0000 7.0000 28.57%
1018.05/1020.91 c 1021 112786 96884 1 9.0000 7.0000 28.57%
1023.04/1025.98 c 1026 113626 97546 1 9.0000 7.0000 28.57%
1028.12/1031.03 c 1031 114362 98137 1 9.0000 7.0000 28.57%
1033.22/1036.11 c 1036 115085 98721 1 9.0000 7.0000 28.57%
1038.20/1041.20 c 1041 115819 99313 1 9.0000 7.0000 28.57%
1043.28/1046.28 c 1046 116562 99900 1 9.0000 7.0000 28.57%
1048.37/1051.34 c 1051 117302 100469 1 9.0000 7.0000 28.57%
1053.45/1056.40 c 1056 118092 101076 1 9.0000 7.0000 28.57%
1058.44/1061.45 c 1061 118929 101693 1 9.0000 7.0000 28.57%
1063.52/1066.51 c 1067 119679 102274 1 9.0000 7.0000 28.57%
1068.51/1071.56 c 1072 120321 102786 1 9.0000 7.0000 28.57%
1073.60/1076.63 c 1077 121109 103343 1 9.0000 7.0000 28.57%
1078.58/1081.69 c 1082 121851 103919 1 9.0000 7.0000 28.57%
1083.67/1086.76 c 1087 122705 104518 1 9.0000 7.0000 28.57%
1088.76/1091.83 c 1092 123576 105126 1 9.0000 7.0000 28.57%
1093.84/1096.95 c 1097 124370 105730 1 9.0000 7.0000 28.57%
1098.93/1102.00 c 1102 125161 106304 1 9.0000 7.0000 28.57%
1103.93/1107.05 c 1107 125902 106853 1 9.0000 7.0000 28.57%
1109.01/1112.13 c 1112 126728 107482 1 9.0000 7.0000 28.57%
1114.09/1117.21 c 1117 127628 108128 1 9.0000 7.0000 28.57%
1119.08/1122.27 c 1122 128496 108777 1 9.0000 7.0000 28.57%
1124.17/1127.35 c 1127 129264 109365 1 9.0000 7.0000 28.57%
1129.26/1132.42 c 1132 130018 109935 1 9.0000 7.0000 28.57%
1134.24/1137.47 c 1137 130832 110582 1 9.0000 7.0000 28.57%
1139.33/1142.56 c 1143 131522 111149 1 9.0000 7.0000 28.57%
1144.41/1147.61 c 1148 132264 111734 1 9.0000 7.0000 28.57%
1149.40/1152.65 c 1153 133038 112325 1 9.0000 7.0000 28.57%
1154.49/1157.72 c 1158 133819 112920 1 9.0000 7.0000 28.57%
1159.47/1162.78 c 1163 134604 113520 1 9.0000 7.0000 28.57%
1164.56/1167.85 c 1168 135397 114146 1 9.0000 7.0000 28.57%
1169.64/1172.90 c 1173 136284 114807 1 9.0000 7.0000 28.57%
1174.63/1177.98 c 1178 137173 115419 1 9.0000 7.0000 28.57%
1179.73/1183.04 c 1183 138121 116082 1 9.0000 7.0000 28.57%
1184.71/1188.09 c 1188 138924 116688 1 9.0000 7.0000 28.57%
1189.80/1193.16 c 1193 139769 117337 1 9.0000 7.0000 28.57%
1194.88/1198.23 c 1198 140549 118011 1 9.0000 7.0000 28.57%
1199.97/1203.31 c 1203 141308 118615 1 9.0000 7.0000 28.57%
1204.96/1208.38 c 1208 142045 119180 1 9.0000 7.0000 28.57%
1210.04/1213.44 c 1213 142763 119759 1 9.0000 7.0000 28.57%
1215.13/1218.50 c 1219 143458 120381 1 9.0000 7.0000 28.57%
1220.11/1223.56 c 1224 144184 120958 1 9.0000 7.0000 28.57%
1225.20/1228.61 c 1229 145147 121644 1 9.0000 7.0000 28.57%
1230.19/1233.66 c 1234 145931 122255 1 9.0000 7.0000 28.57%
1235.27/1238.72 c 1239 146644 122831 1 9.0000 7.0000 28.57%
1240.26/1243.78 c 1244 147418 123436 1 9.0000 7.0000 28.57%
1245.35/1248.85 c 1249 148256 124072 1 9.0000 7.0000 28.57%
1250.43/1253.90 c 1254 149131 124703 1 9.0000 7.0000 28.57%
1255.42/1258.95 c 1259 149946 125325 1 9.0000 7.0000 28.57%
1260.51/1264.03 c 1264 150846 125956 1 9.0000 7.0000 28.57%
1265.50/1269.08 c 1269 151651 126581 1 9.0000 7.0000 28.57%
1270.58/1274.15 c 1274 152431 127215 1 9.0000 7.0000 28.57%
1275.57/1279.19 c 1279 153292 127853 1 9.0000 7.0000 28.57%
1280.65/1284.25 c 1284 154021 128470 1 9.0000 7.0000 28.57%
1285.74/1289.32 c 1289 154813 129124 1 9.0000 7.0000 28.57%
1290.73/1294.39 c 1294 155626 129776 1 9.0000 7.0000 28.57%
1295.81/1299.44 c 1299 156569 130479 1 9.0000 7.0000 28.57%
1300.90/1304.51 c 1305 157369 131125 1 9.0000 7.0000 28.57%
1305.88/1309.56 c 1310 158341 131860 1 9.0000 7.0000 28.57%
1310.98/1314.64 c 1315 159162 132506 1 9.0000 7.0000 28.57%
1316.06/1319.70 c 1320 159931 133134 1 9.0000 7.0000 28.57%
1321.05/1324.76 c 1325 160696 133731 1 9.0000 7.0000 28.57%
1326.14/1329.83 c 1330 161478 134368 1 9.0000 7.0000 28.57%
1331.22/1334.90 c 1335 162253 134970 1 9.0000 7.0000 28.57%
1336.21/1339.98 c 1340 162987 135584 1 9.0000 7.0000 28.57%
1341.30/1345.05 c 1345 163866 136259 1 9.0000 7.0000 28.57%
1346.38/1350.11 c 1350 164644 136869 1 9.0000 7.0000 28.57%
1351.37/1355.17 c 1355 165369 137462 1 9.0000 7.0000 28.57%
1356.46/1360.25 c 1360 166175 138108 1 9.0000 7.0000 28.57%
1361.54/1365.30 c 1365 166899 138709 1 9.0000 7.0000 28.57%
1366.53/1370.37 c 1370 167622 139302 1 9.0000 7.0000 28.57%
1371.61/1375.44 c 1375 168444 139952 1 9.0000 7.0000 28.57%
1376.70/1380.50 c 1380 169162 140552 1 9.0000 7.0000 28.57%
1381.69/1385.58 c 1386 169940 141179 1 9.0000 7.0000 28.57%
1386.78/1390.63 c 1391 170707 141870 1 9.0000 7.0000 28.57%
1391.76/1395.69 c 1396 171542 142552 1 9.0000 7.0000 28.57%
1396.85/1400.76 c 1401 172298 143196 1 9.0000 7.0000 28.57%
1401.94/1405.83 c 1406 173066 143870 1 9.0000 7.0000 28.57%
1407.02/1410.91 c 1411 173870 144535 1 9.0000 7.0000 28.57%
1412.01/1415.97 c 1416 174622 145131 1 9.0000 7.0000 28.57%
1417.10/1421.03 c 1421 175503 145797 1 9.0000 7.0000 28.57%
1422.19/1426.11 c 1426 176216 146448 1 9.0000 7.0000 28.57%
1427.27/1431.20 c 1431 176920 147064 1 9.0000 7.0000 28.57%
1432.25/1436.27 c 1436 177696 147711 1 9.0000 7.0000 28.57%
1437.34/1441.33 c 1441 178478 148374 1 9.0000 7.0000 28.57%
1442.32/1446.39 c 1446 179337 149038 1 9.0000 7.0000 28.57%
1447.41/1451.45 c 1451 180134 149675 1 9.0000 7.0000 28.57%
1452.40/1456.50 c 1456 180830 150244 1 9.0000 7.0000 28.57%
1457.49/1461.57 c 1462 181512 150807 1 9.0000 7.0000 28.57%
1462.58/1466.63 c 1467 182276 151458 1 9.0000 7.0000 28.57%
1467.56/1471.70 c 1472 182893 151984 1 9.0000 7.0000 28.57%
1472.65/1476.76 c 1477 183651 152591 1 9.0000 7.0000 28.57%
1477.73/1481.82 c 1482 184507 153205 1 9.0000 7.0000 28.57%
1482.72/1486.87 c 1487 185309 153849 1 9.0000 7.0000 28.57%
1487.81/1491.93 c 1492 186129 154530 1 9.0000 7.0000 28.57%
1492.79/1496.99 c 1497 186957 155205 1 9.0000 7.0000 28.57%
1497.88/1502.10 c 1502 187761 155833 1 9.0000 7.0000 28.57%
1502.97/1507.15 c 1507 188644 156455 1 9.0000 7.0000 28.57%
1508.06/1512.22 c 1512 189475 157054 1 9.0000 7.0000 28.57%
1513.04/1517.27 c 1517 190233 157654 1 9.0000 7.0000 28.57%
1518.13/1522.34 c 1522 191029 158304 1 9.0000 7.0000 28.57%
1523.12/1527.39 c 1527 191697 158880 1 9.0000 7.0000 28.57%
1528.20/1532.45 c 1532 192382 159462 1 9.0000 7.0000 28.57%
1533.29/1537.52 c 1538 193230 160131 1 9.0000 7.0000 28.57%
1538.37/1542.60 c 1543 193986 160754 1 9.0000 7.0000 28.57%
1543.35/1547.67 c 1548 194716 161340 1 9.0000 7.0000 28.57%
1548.40/1552.73 c 1553 195438 161954 1 9.0000 7.0000 28.57%
1553.46/1557.80 c 1558 196180 162566 1 9.0000 7.0000 28.57%
1558.41/1562.85 c 1563 196998 163182 1 9.0000 7.0000 28.57%
1563.45/1567.91 c 1568 197705 163766 1 9.0000 7.0000 28.57%
1568.41/1572.97 c 1573 198465 164378 1 9.0000 7.0000 28.57%
1573.48/1578.05 c 1578 199177 164992 1 9.0000 7.0000 28.57%
1578.56/1583.10 c 1583 199934 165597 1 9.0000 7.0000 28.57%
1583.65/1588.21 c 1588 200615 166165 1 9.0000 7.0000 28.57%
1588.63/1593.26 c 1593 201273 166738 1 9.0000 7.0000 28.57%
1593.72/1598.35 c 1598 201872 167195 1 9.0000 7.0000 28.57%
1598.81/1603.48 c 1603 202478 167714 1 9.0000 7.0000 28.57%
1603.89/1608.57 c 1609 203009 168168 1 9.0000 7.0000 28.57%
1608.98/1613.69 c 1614 203517 168620 1 9.0000 7.0000 28.57%
1614.07/1618.76 c 1619 204138 169146 1 9.0000 7.0000 28.57%
1619.15/1623.82 c 1624 204701 169658 1 9.0000 7.0000 28.57%
1624.14/1628.88 c 1629 205237 170118 1 9.0000 7.0000 28.57%
1629.22/1633.96 c 1634 205832 170607 1 9.0000 7.0000 28.57%
1634.32/1639.07 c 1639 206416 171097 1 9.0000 7.0000 28.57%
1639.40/1644.15 c 1644 207213 171723 1 9.0000 7.0000 28.57%
1644.49/1649.21 c 1649 208066 172346 1 9.0000 7.0000 28.57%
1649.47/1654.26 c 1654 208847 172949 1 9.0000 7.0000 28.57%
1654.56/1659.32 c 1659 209579 173524 1 9.0000 7.0000 28.57%
1659.64/1664.42 c 1664 210238 174043 1 9.0000 7.0000 28.57%
1664.74/1669.50 c 1670 210869 174571 1 9.0000 7.0000 28.57%
1669.72/1674.59 c 1675 211436 175084 1 9.0000 7.0000 28.57%
1674.81/1679.66 c 1680 211995 175572 1 9.0000 7.0000 28.57%
1679.90/1684.73 c 1685 212549 176082 1 9.0000 7.0000 28.57%
1684.88/1689.78 c 1690 213117 176561 1 9.0000 7.0000 28.57%
1689.97/1694.85 c 1695 213873 177117 1 9.0000 7.0000 28.57%
1695.06/1699.90 c 1700 214649 177743 1 9.0000 7.0000 28.57%
1700.04/1704.96 c 1705 215462 178344 1 9.0000 7.0000 28.57%
1705.14/1710.02 c 1710 216350 178981 1 9.0000 7.0000 28.57%
1710.12/1715.10 c 1715 217234 179638 1 9.0000 7.0000 28.57%
1715.21/1720.17 c 1720 217963 180217 1 9.0000 7.0000 28.57%
1720.29/1725.23 c 1725 218768 180792 1 9.0000 7.0000 28.57%
1725.27/1730.29 c 1730 219466 181349 1 9.0000 7.0000 28.57%
1730.36/1735.37 c 1735 220323 182020 1 9.0000 7.0000 28.57%
1735.45/1740.43 c 1740 221031 182575 1 9.0000 7.0000 28.57%
1740.43/1745.48 c 1745 221781 183189 1 9.0000 7.0000 28.57%
1745.52/1750.56 c 1751 222454 183765 1 9.0000 7.0000 28.57%
1750.60/1755.63 c 1756 223125 184325 1 9.0000 7.0000 28.57%
1755.60/1760.68 c 1761 223843 184929 1 9.0000 7.0000 28.57%
1760.68/1765.73 c 1766 224613 185529 1 9.0000 7.0000 28.57%
1765.77/1770.81 c 1771 225310 186094 1 9.0000 7.0000 28.57%
1770.76/1775.87 c 1776 226021 186705 1 9.0000 7.0000 28.57%
1775.84/1780.92 c 1781 226818 187352 1 9.0000 7.0000 28.57%
1780.82/1785.97 c 1786 227609 188017 1 9.0000 7.0000 28.57%
1785.92/1791.07 c 1791 228362 188587 1 9.0000 7.0000 28.57%
1791.00/1796.13 c 1796 229128 189166 1 9.0000 7.0000 28.57%
1796.09/1801.20 c 1801 229836 189745 1 9.0000 7.0000 28.57%
1801.08/1806.25 c 1806 230492 190312 1 9.0000 7.0000 28.57%
1806.16/1811.30 c 1811 231236 190905 1 9.0000 7.0000 28.57%
1811.14/1816.37 c 1816 232021 191537 1 9.0000 7.0000 28.57%
1816.23/1821.43 c 1821 232834 192145 1 9.0000 7.0000 28.57%
1821.22/1826.48 c 1826 233625 192708 1 9.0000 7.0000 28.57%
1826.30/1831.54 c 1832 234343 193301 1 9.0000 7.0000 28.57%
1831.39/1836.61 c 1837 235178 193963 1 9.0000 7.0000 28.57%
1836.37/1841.68 c 1842 236117 194664 1 9.0000 7.0000 28.57%
1841.46/1846.72 c 1847 237084 195291 1 9.0000 7.0000 28.57%
1846.45/1851.79 c 1852 237872 195846 1 9.0000 7.0000 28.57%
1851.53/1856.84 c 1857 238627 196382 1 9.0000 7.0000 28.57%
1856.62/1861.93 c 1862 239402 196983 1 9.0000 7.0000 28.57%
1862.30/1867.61 c 1868 240232 197628 1 9.0000 7.0009 28.55%
1867.49/1872.88 c 1873 241162 198285 1 9.0000 7.0026 28.52%
1872.57/1877.91 c 1878 242202 198939 1 9.0000 7.0044 28.49%
1877.56/1882.92 c 1883 243202 199608 1 9.0000 7.0070 28.44%
1882.55/1887.99 c 1888 244372 200362 1 9.0000 7.0092 28.40%
1887.64/1893.07 c 1893 245632 201060 1 9.0000 7.0126 28.34%
1893.22/1898.69 c 1899 247032 201845 1 9.0000 7.0164 28.27%
1898.31/1903.72 c 1904 248342 201960 1 9.0000 7.0252 28.11%
1903.29/1908.79 c 1909 249642 201863 1 9.0000 7.0339 27.95%
1908.38/1913.81 c 1914 251202 201747 1 9.0000 7.0511 27.64%
1913.35/1918.86 c 1919 252812 201640 1 9.0000 7.1154 26.49%
1918.95/1924.43 c 1924 254685 201477 1 9.0000 7.5000 20.00%
1924.42/1929.94 c 1930 256635 201352 1 9.0000 8.0000 12.50%
1929.41/1934.99 c 1935 258632 201175 1 9.0000 8.0000 12.50%
1934.50/1940.07 c 1940 260592 200994 1 9.0000 8.0000 12.50%
1939.59/1945.12 c 1945 262631 200822 1 9.0000 8.0000 12.50%
1944.57/1950.18 c 1950 264551 200702 1 9.0000 8.0000 12.50%
1949.65/1955.28 c 1955 266588 200533 1 9.0000 8.0000 12.50%
1954.73/1960.33 c 1960 268671 200409 1 9.0000 8.0000 12.50%
1959.82/1965.40 c 1965 270724 200243 1 9.0000 8.0000 12.50%
1964.90/1970.52 c 1971 272535 200185 1 9.0000 8.0000 12.50%
1969.89/1975.58 c 1976 274516 200072 1 9.0000 8.0000 12.50%
1975.08/1980.72 c 1981 276641 199959 1 9.0000 8.0000 12.50%
1980.06/1985.77 c 1986 278938 199830 1 9.0000 8.0000 12.50%
1985.15/1990.83 c 1991 280904 199770 1 9.0000 8.0000 12.50%
1990.14/1995.88 c 1996 282957 199766 1 9.0000 8.0000 12.50%
1995.22/2000.98 c 2001 285365 199679 1 9.0000 8.0000 12.50%
2000.31/2006.07 c 2006 287429 199554 1 9.0000 8.0000 12.50%
2005.40/2011.12 c 2011 289509 199542 1 9.0000 8.0000 12.50%
2010.38/2016.17 c 2016 291526 199495 1 9.0000 8.0000 12.50%
2015.46/2021.24 c 2021 293558 199433 1 9.0000 8.0000 12.50%
2020.55/2026.35 c 2026 295602 199404 1 9.0000 8.0000 12.50%
2025.63/2031.42 c 2031 297416 199358 1 9.0000 8.0000 12.50%
2030.72/2036.51 c 2037 299208 199271 1 9.0000 8.0000 12.50%
2035.70/2041.59 c 2042 301105 199235 1 9.0000 8.0000 12.50%
2040.79/2046.65 c 2047 302894 199217 1 9.0000 8.0000 12.50%
2045.88/2051.70 c 2052 305143 199183 1 9.0000 8.0000 12.50%
2050.86/2056.75 c 2057 306877 199161 1 9.0000 8.0000 12.50%
2055.94/2061.86 c 2062 308937 199111 1 9.0000 8.0000 12.50%
2061.03/2066.95 c 2067 310851 199063 1 9.0000 8.0000 12.50%
2066.12/2072.03 c 2072 312962 199004 1 9.0000 8.0000 12.50%
2071.21/2077.12 c 2077 314929 198935 1 9.0000 8.0000 12.50%
2076.20/2082.18 c 2082 316819 198940 1 9.0000 8.0000 12.50%
2081.37/2087.31 c 2087 318442 198935 1 9.0000 8.0000 12.50%
2086.36/2092.37 c 2092 320769 198917 1 9.0000 8.0000 12.50%
2091.44/2097.45 c 2097 322759 198877 1 9.0000 8.0000 12.50%
2096.53/2102.57 c 2103 324680 198852 1 9.0000 8.0000 12.50%
2101.61/2107.61 c 2108 326264 198840 1 9.0000 8.0000 12.50%
2106.60/2112.67 c 2113 328234 198802 1 9.0000 8.0000 12.50%
2111.68/2117.76 c 2118 330396 198802 1 9.0000 8.0000 12.50%
2116.76/2122.85 c 2123 332599 198795 1 9.0000 8.0000 12.50%
2121.85/2127.96 c 2128 334389 198733 1 9.0000 8.0000 12.50%
2127.04/2133.11 c 2133 336557 198680 1 9.0000 8.0000 12.50%
2132.03/2138.17 c 2138 338293 198648 1 9.0000 8.0000 12.50%
2137.11/2143.24 c 2143 339988 198623 1 9.0000 8.0000 12.50%
2142.19/2148.33 c 2148 341390 198612 1 9.0000 8.0000 12.50%
2147.18/2153.38 c 2153 343416 198537 1 9.0000 8.0000 12.50%
2152.27/2158.49 c 2158 345317 198502 1 9.0000 8.0000 12.50%
2157.35/2163.55 c 2164 347439 198497 1 9.0000 8.0000 12.50%
2162.43/2168.61 c 2169 349481 198481 1 9.0000 8.0000 12.50%
2167.51/2173.70 c 2174 351368 198469 1 9.0000 8.0000 12.50%
2172.50/2178.76 c 2179 353390 198472 1 9.0000 8.0000 12.50%
2177.58/2183.82 c 2184 355470 198458 1 9.0000 8.0000 12.50%
2182.67/2188.99 c 2189 357721 198415 1 9.0000 8.0000 12.50%
2187.76/2194.08 c 2194 359821 198390 1 9.0000 8.0000 12.50%
2192.85/2199.16 c 2199 361563 198329 1 9.0000 8.0000 12.50%
2197.93/2204.27 c 2204 363670 198314 1 9.0000 8.0000 12.50%
2203.02/2209.38 c 2209 365409 198287 1 9.0000 8.0000 12.50%
2208.10/2214.45 c 2214 367194 198295 1 9.0000 8.0000 12.50%
2213.18/2219.53 c 2220 369347 198258 1 9.0000 8.0000 12.50%
2218.26/2224.62 c 2225 371344 198242 1 9.0000 8.0000 12.50%
2223.25/2229.67 c 2230 372949 198237 1 9.0000 8.0000 12.50%
2228.44/2234.80 c 2235 374590 198259 1 9.0000 8.0000 12.50%
2233.43/2239.89 c 2240 376513 198233 1 9.0000 8.0000 12.50%
2238.61/2245.01 c 2245 378406 198226 1 9.0000 8.0000 12.50%
2243.60/2250.10 c 2250 380460 198206 1 9.0000 8.0000 12.50%
2248.78/2255.23 c 2255 382297 198194 1 9.0000 8.0000 12.50%
2253.87/2260.33 c 2260 383677 198196 1 9.0000 8.0000 12.50%
2258.85/2265.38 c 2265 385685 198147 1 9.0000 8.0000 12.50%
2263.94/2270.42 c 2270 387562 198127 1 9.0000 8.0000 12.50%
2268.93/2275.49 c 2275 389229 198133 1 9.0000 8.0000 12.50%
2274.11/2280.60 c 2281 391162 198144 1 9.0000 8.0000 12.50%
2279.09/2285.69 c 2286 392893 198131 1 9.0000 8.0000 12.50%
2284.27/2290.85 c 2291 394700 198100 1 9.0000 8.0000 12.50%
2289.36/2295.91 c 2296 396452 198080 1 9.0000 8.0000 12.50%
2294.45/2301.02 c 2301 398536 198035 1 9.0000 8.0000 12.50%
2299.53/2306.10 c 2306 400106 198042 1 9.0000 8.0000 12.50%
2304.52/2311.18 c 2311 401828 198029 1 9.0000 8.0000 12.50%
2309.60/2316.26 c 2316 403681 198033 1 9.0000 8.0000 12.50%
2314.69/2321.37 c 2321 405586 198025 1 9.0000 8.0000 12.50%
2319.87/2326.50 c 2326 407218 198035 1 9.0000 8.0000 12.50%
2324.86/2331.57 c 2332 409387 198047 1 9.0000 8.0000 12.50%
2330.05/2336.71 c 2337 411226 198049 1 9.0000 8.0000 12.50%
2335.03/2341.75 c 2342 413125 198035 1 9.0000 8.0000 12.50%
2340.12/2346.82 c 2347 415057 198041 1 9.0000 8.0000 12.50%
2345.10/2351.86 c 2352 416727 198023 1 9.0000 8.0000 12.50%
2350.18/2356.95 c 2357 418229 198006 1 9.0000 8.0000 12.50%
2355.27/2362.04 c 2362 419835 198053 1 9.0000 8.0000 12.50%
2360.36/2367.17 c 2367 421395 198067 1 9.0000 8.0000 12.50%
2365.44/2372.30 c 2372 423054 198049 1 9.0000 8.0000 12.50%
2370.52/2377.34 c 2377 425356 198035 1 9.0000 8.0000 12.50%
2375.61/2382.40 c 2382 427457 198022 1 9.0000 8.0000 12.50%
2380.60/2387.45 c 2387 429308 197999 1 9.0000 8.0000 12.50%
2385.68/2392.53 c 2393 430996 197987 1 9.0000 8.0000 12.50%
2390.67/2397.59 c 2398 432844 197966 1 9.0000 8.0000 12.50%
2395.75/2402.66 c 2403 434328 197951 1 9.0000 8.0000 12.50%
2400.84/2407.72 c 2408 436451 197929 1 9.0000 8.0000 12.50%
2405.92/2412.80 c 2413 438742 197910 1 9.0000 8.0000 12.50%
2411.00/2417.92 c 2418 440811 197851 1 9.0000 8.0000 12.50%
2416.10/2423.03 c 2423 442366 197841 1 9.0000 8.0000 12.50%
2421.08/2428.07 c 2428 444015 197842 1 9.0000 8.0000 12.50%
2426.17/2433.13 c 2433 445847 197863 1 9.0000 8.0000 12.50%
2431.25/2438.22 c 2438 447688 197826 1 9.0000 8.0000 12.50%
2436.23/2443.28 c 2443 449412 197811 1 9.0000 8.0000 12.50%
2441.32/2448.38 c 2448 451248 197791 1 9.0000 8.0000 12.50%
2446.40/2453.49 c 2453 452873 197792 1 9.0000 8.0000 12.50%
2451.49/2458.56 c 2459 454563 197772 1 9.0000 8.0000 12.50%
2456.58/2463.65 c 2464 456108 197761 1 9.0000 8.0000 12.50%
2461.67/2468.74 c 2469 458069 197772 1 9.0000 8.0000 12.50%
2466.74/2473.85 c 2474 460256 197714 1 9.0000 8.0000 12.50%
2471.83/2478.90 c 2479 462310 197661 1 9.0000 8.0000 12.50%
2476.92/2484.00 c 2484 464171 197644 1 9.0000 8.0000 12.50%
2481.91/2489.05 c 2489 466015 197649 1 9.0000 8.0000 12.50%
2486.99/2494.11 c 2494 468085 197591 1 9.0000 8.0000 12.50%
2492.07/2499.24 c 2499 470115 197581 1 9.0000 8.0000 12.50%
2497.06/2504.29 c 2504 472287 197623 1 9.0000 8.0000 12.50%
2502.13/2509.39 c 2509 473876 197627 1 9.0000 8.0000 12.50%
2507.32/2514.52 c 2515 475794 197565 1 9.0000 8.0000 12.50%
2512.31/2519.57 c 2520 477335 197536 1 9.0000 8.0000 12.50%
2517.50/2524.73 c 2525 478904 197597 1 9.0000 8.0000 12.50%
2522.58/2529.80 c 2530 480528 197564 1 9.0000 8.0000 12.50%
2527.66/2534.97 c 2535 482407 197582 1 9.0000 8.0000 12.50%
2532.85/2540.11 c 2540 484059 197609 1 9.0000 8.0000 12.50%
2537.94/2545.21 c 2545 485612 197575 1 9.0000 8.0000 12.50%
2543.02/2550.33 c 2550 487014 197563 1 9.0000 8.0000 12.50%
2548.01/2555.39 c 2555 488869 197522 1 9.0000 8.0000 12.50%
2553.19/2560.50 c 2560 491121 197521 1 9.0000 8.0000 12.50%
2558.28/2565.66 c 2566 492585 197529 1 9.0000 8.0000 12.50%
2563.36/2570.77 c 2571 494530 197511 1 9.0000 8.0000 12.50%
2568.45/2575.84 c 2576 496691 197476 1 9.0000 8.0000 12.50%
2573.53/2580.93 c 2581 498655 197460 1 9.0000 8.0000 12.50%
2578.52/2585.98 c 2586 500421 197441 1 9.0000 8.0000 12.50%
2583.60/2591.05 c 2591 502474 197414 1 9.0000 8.0000 12.50%
2588.59/2596.09 c 2596 504319 197415 1 9.0000 8.0000 12.50%
2593.86/2601.37 c 2601 506095 197405 1 9.0000 8.0000 12.50%
2598.95/2606.46 c 2606 508080 197402 1 9.0000 8.0000 12.50%
2604.03/2611.52 c 2612 510042 197402 1 9.0000 8.0000 12.50%
2609.01/2616.58 c 2617 511613 197361 1 9.0000 8.0000 12.50%
2614.10/2621.63 c 2622 513875 197328 1 9.0000 8.0000 12.50%
2619.18/2626.76 c 2627 515697 197326 1 9.0000 8.0000 12.50%
2624.27/2631.81 c 2632 517524 197304 1 9.0000 8.0000 12.50%
2629.36/2636.92 c 2637 519601 197272 1 9.0000 8.0000 12.50%
2634.33/2641.99 c 2642 521289 197229 1 9.0000 8.0000 12.50%
2639.53/2647.11 c 2647 523079 197225 1 9.0000 8.0000 12.50%
2644.51/2652.18 c 2652 524519 197225 1 9.0000 8.0000 12.50%
2649.59/2657.25 c 2657 526314 197198 1 9.0000 8.0000 12.50%
2654.67/2662.35 c 2662 528386 197205 1 9.0000 8.0000 12.50%
2659.86/2667.51 c 2668 529675 197185 1 9.0000 8.0000 12.50%
2664.85/2672.56 c 2673 531906 197175 1 9.0000 8.0000 12.50%
2669.94/2677.61 c 2678 533964 197187 1 9.0000 8.0000 12.50%
2675.02/2682.72 c 2683 535737 197136 1 9.0000 8.0000 12.50%
2680.11/2687.81 c 2688 537615 197101 1 9.0000 8.0000 12.50%
2685.08/2692.88 c 2693 539796 197072 1 9.0000 8.0000 12.50%
2690.28/2698.00 c 2698 541256 197080 1 9.0000 8.0000 12.50%
2695.26/2703.05 c 2703 543320 197073 1 9.0000 8.0000 12.50%
2700.34/2708.13 c 2708 545103 197030 1 9.0000 8.0000 12.50%
2705.43/2713.23 c 2713 547367 197026 1 9.0000 8.0000 12.50%
2710.51/2718.33 c 2718 548471 197033 1 9.0000 8.0000 12.50%
2715.59/2723.41 c 2723 549986 197034 1 9.0000 8.0000 12.50%
2720.68/2728.52 c 2729 551834 197034 1 9.0000 8.0000 12.50%
2725.77/2733.62 c 2734 553032 197034 1 9.0000 8.0000 12.50%
2730.95/2738.80 c 2739 554063 197025 1 9.0000 8.0000 12.50%
2736.04/2743.91 c 2744 555815 197004 1 9.0000 8.0000 12.50%
2741.02/2748.97 c 2749 557591 196953 1 9.0000 8.0000 12.50%
2746.10/2754.02 c 2754 559246 196940 1 9.0000 8.0000 12.50%
2751.09/2759.08 c 2759 560965 196909 1 9.0000 8.0000 12.50%
2756.17/2764.18 c 2764 562478 196913 1 9.0000 8.0000 12.50%
2761.26/2769.28 c 2769 564752 196878 1 9.0000 8.0000 12.50%
2766.34/2774.36 c 2774 566660 196885 1 9.0000 8.0000 12.50%
2771.42/2779.45 c 2779 568861 196838 1 9.0000 8.0000 12.50%
2776.51/2784.50 c 2784 571089 196810 1 9.0000 8.0000 12.50%
2781.59/2789.66 c 2790 573171 196787 1 9.0000 8.0000 12.50%
2786.68/2794.78 c 2795 574857 196765 1 9.0000 8.0000 12.50%
2791.77/2799.82 c 2800 576703 196717 1 9.0000 8.0000 12.50%
2796.75/2804.90 c 2805 578263 196661 1 9.0000 8.0000 12.50%
2801.83/2809.94 c 2810 580533 196650 1 9.0000 8.0000 12.50%
2806.92/2815.02 c 2815 582506 196631 1 9.0000 8.0000 12.50%
2812.01/2820.16 c 2820 583880 196635 1 9.0000 8.0000 12.50%
2817.09/2825.26 c 2825 585372 196666 1 9.0000 8.0000 12.50%
2822.18/2830.39 c 2830 587431 196602 1 9.0000 8.0000 12.50%
2827.26/2835.44 c 2835 589378 196542 1 9.0000 8.0000 12.50%
2832.34/2840.50 c 2840 591241 196481 1 9.0000 8.0000 12.50%
2837.33/2845.55 c 2846 593059 196456 1 9.0000 8.0000 12.50%
2842.41/2850.67 c 2851 595231 196439 1 9.0000 8.0000 12.50%
2847.50/2855.79 c 2856 596742 196420 1 9.0000 8.0000 12.50%
2852.58/2860.84 c 2861 598714 196410 1 9.0000 8.0000 12.50%
2857.67/2865.95 c 2866 600601 196389 1 9.0000 8.0000 12.50%
2862.86/2871.16 c 2871 602073 196369 1 9.0000 8.0000 12.50%
2867.94/2876.26 c 2876 603778 196358 1 9.0000 8.0000 12.50%
2873.12/2881.44 c 2881 605568 196320 1 9.0000 8.0000 12.50%
2878.21/2886.58 c 2887 607153 196327 1 9.0000 8.0000 12.50%
2883.30/2891.68 c 2892 609351 196241 1 9.0000 8.0000 12.50%
2888.47/2896.84 c 2897 611346 196194 1 9.0000 8.0000 12.50%
2893.56/2901.95 c 2902 613308 196149 1 9.0000 8.0000 12.50%
2898.75/2907.14 c 2907 614940 196143 1 9.0000 8.0000 12.50%
2903.83/2912.22 c 2912 616594 196157 1 9.0000 8.0000 12.50%
2908.92/2917.31 c 2917 617834 196154 1 9.0000 8.0000 12.50%
2913.90/2922.37 c 2922 619409 196128 1 9.0000 8.0000 12.50%
2918.99/2927.44 c 2927 621155 196091 1 9.0000 8.0000 12.50%
2924.08/2932.50 c 2932 623197 196109 1 9.0000 8.0000 12.50%
2929.06/2937.55 c 2938 624882 196110 1 9.0000 8.0000 12.50%
2934.14/2942.61 c 2943 626454 196103 1 9.0000 8.0000 12.50%
2939.23/2947.75 c 2948 627999 196079 1 9.0000 8.0000 12.50%
2944.32/2952.87 c 2953 629959 196070 1 9.0000 8.0000 12.50%
2949.40/2957.95 c 2958 631566 196039 1 9.0000 8.0000 12.50%
2954.48/2963.00 c 2963 633768 196044 1 9.0000 8.0000 12.50%
2959.47/2968.05 c 2968 635889 196015 1 9.0000 8.0000 12.50%
2964.55/2973.17 c 2973 637387 195998 1 9.0000 8.0000 12.50%
2969.63/2978.26 c 2978 639368 195975 1 9.0000 8.0000 12.50%
2974.72/2983.37 c 2983 641740 195946 1 9.0000 8.0000 12.50%
2979.81/2988.46 c 2988 643504 195929 1 9.0000 8.0000 12.50%
2984.89/2993.51 c 2994 645929 195910 1 9.0000 8.0000 12.50%
2989.88/2998.58 c 2999 647984 195905 1 9.0000 8.0000 12.50%
2995.06/3003.71 c 3004 650148 195874 1 9.0000 8.0000 12.50%
3000.04/3008.78 c 3009 651983 195844 1 9.0000 8.0000 12.50%
3005.24/3013.92 c 3014 653731 195849 1 9.0000 8.0000 12.50%
3010.32/3019.05 c 3019 654829 195824 1 9.0000 8.0000 12.50%
3015.41/3024.13 c 3024 656785 195852 1 9.0000 8.0000 12.50%
3020.49/3029.24 c 3029 658429 195892 1 9.0000 8.0000 12.50%
3025.57/3034.31 c 3034 659719 195890 1 9.0000 8.0000 12.50%
3030.57/3039.37 c 3039 661071 195886 1 9.0000 8.0000 12.50%
3035.65/3044.41 c 3044 662854 195862 1 9.0000 8.0000 12.50%
3040.63/3049.49 c 3049 663870 195888 1 9.0000 8.0000 12.50%
3045.73/3054.59 c 3055 665588 195804 1 9.0000 8.0000 12.50%
3050.91/3059.73 c 3060 666930 195816 1 9.0000 8.0000 12.50%
3056.10/3064.91 c 3065 668363 195820 1 9.0000 8.0000 12.50%
3061.18/3070.09 c 3070 670164 195811 1 9.0000 8.0000 12.50%
3066.28/3075.17 c 3075 671849 195775 1 9.0000 8.0000 12.50%
3071.35/3080.21 c 3080 674080 195703 1 9.0000 8.0000 12.50%
3076.34/3085.29 c 3085 675898 195674 1 9.0000 8.0000 12.50%
3081.42/3090.36 c 3090 677734 195669 1 9.0000 8.0000 12.50%
3086.51/3095.40 c 3095 679800 195652 1 9.0000 8.0000 12.50%
3091.49/3100.47 c 3100 681455 195616 1 9.0000 8.0000 12.50%
3096.58/3105.58 c 3106 683264 195612 1 9.0000 8.0000 12.50%
3101.67/3110.66 c 3111 684789 195589 1 9.0000 8.0000 12.50%
3106.75/3115.73 c 3116 686793 195606 1 9.0000 8.0000 12.50%
3111.83/3120.81 c 3121 688275 195604 1 9.0000 8.0000 12.50%
3116.92/3125.98 c 3126 690350 195564 1 9.0000 8.0000 12.50%
3122.01/3131.06 c 3131 691771 195549 1 9.0000 8.0000 12.50%
3127.09/3136.14 c 3136 693582 195505 1 9.0000 8.0000 12.50%
3132.08/3141.19 c 3141 695397 195461 1 9.0000 8.0000 12.50%
3137.16/3146.25 c 3146 697390 195433 1 9.0000 8.0000 12.50%
3142.34/3151.47 c 3151 699085 195398 1 9.0000 8.0000 12.50%
3147.44/3156.56 c 3157 700475 195427 1 9.0000 8.0000 12.50%
3152.52/3161.61 c 3162 701981 195439 1 9.0000 8.0000 12.50%
3157.60/3166.75 c 3167 703511 195429 1 9.0000 8.0000 12.50%
3162.69/3171.80 c 3172 705825 195384 1 9.0000 8.0000 12.50%
3167.67/3176.85 c 3177 708283 195355 1 9.0000 8.0000 12.50%
3172.77/3181.90 c 3182 710519 195348 1 9.0000 8.0000 12.50%
3177.85/3187.08 c 3187 712423 195307 1 9.0000 8.0000 12.50%
3183.04/3192.24 c 3192 713206 195305 1 9.0000 8.0000 12.50%
3188.12/3197.31 c 3197 714483 195304 1 9.0000 8.0000 12.50%
3193.11/3202.36 c 3202 716542 195267 1 9.0000 8.0000 12.50%
3198.19/3207.44 c 3207 718178 195237 1 9.0000 8.0000 12.50%
3203.27/3212.56 c 3213 719774 195234 1 9.0000 8.0000 12.50%
3208.37/3217.61 c 3218 722157 195190 1 9.0000 8.0000 12.50%
3213.35/3222.66 c 3223 724465 195186 1 9.0000 8.0000 12.50%
3218.43/3227.74 c 3228 726075 195178 1 9.0000 8.0000 12.50%
3223.42/3232.78 c 3233 727771 195217 1 9.0000 8.0000 12.50%
3228.51/3237.90 c 3238 729368 195194 1 9.0000 8.0000 12.50%
3233.60/3242.98 c 3243 731192 195184 1 9.0000 8.0000 12.50%
3238.68/3248.05 c 3248 733341 195175 1 9.0000 8.0000 12.50%
3243.78/3253.16 c 3253 734578 195167 1 9.0000 8.0000 12.50%
3248.85/3258.24 c 3258 735472 195161 1 9.0000 8.0000 12.50%
3253.84/3263.29 c 3263 737089 195125 1 9.0000 8.0000 12.50%
3258.93/3268.38 c 3268 738606 195106 1 9.0000 8.0000 12.50%
3264.02/3273.44 c 3273 739761 195086 1 9.0000 8.0000 12.50%
3269.11/3278.57 c 3279 741526 195085 1 9.0000 8.0000 12.50%
3274.19/3283.63 c 3284 743137 195037 1 9.0000 8.0000 12.50%
3279.25/3288.74 c 3289 745137 194977 1 9.0000 8.0000 12.50%
3284.30/3293.82 c 3294 747165 194970 1 9.0000 8.0000 12.50%
3289.25/3298.89 c 3299 748515 194963 1 9.0000 8.0000 12.50%
3294.41/3304.00 c 3304 750077 194949 1 9.0000 8.0000 12.50%
3299.49/3309.10 c 3309 752004 194931 1 9.0000 8.0000 12.50%
3304.57/3314.23 c 3314 753576 194912 1 9.0000 8.0000 12.50%
3309.55/3319.28 c 3319 755468 194892 1 9.0000 8.0000 12.50%
3314.65/3324.36 c 3324 756931 194887 1 9.0000 8.0000 12.50%
3319.73/3329.44 c 3329 758107 194887 1 9.0000 8.0000 12.50%
3324.71/3334.48 c 3334 760215 194862 1 9.0000 8.0000 12.50%
3329.80/3339.54 c 3340 762345 194860 1 9.0000 8.0000 12.50%
3334.89/3344.66 c 3345 764702 194840 1 9.0000 8.0000 12.50%
3339.97/3349.74 c 3350 766877 194802 1 9.0000 8.0000 12.50%
3345.06/3354.85 c 3355 768073 194820 1 9.0000 8.0000 12.50%
3350.14/3359.95 c 3360 769569 194791 1 9.0000 8.0000 12.50%
3355.23/3365.09 c 3365 771889 194733 1 9.0000 8.0000 12.50%
3360.32/3370.15 c 3370 774255 194705 1 9.0000 8.0000 12.50%
3365.40/3375.25 c 3375 775885 194686 1 9.0000 8.0000 12.50%
3370.48/3380.35 c 3380 778074 194648 1 9.0000 8.0000 12.50%
3375.57/3385.40 c 3385 780104 194619 1 9.0000 8.0000 12.50%
3380.66/3390.50 c 3391 781389 194599 1 9.0000 8.0000 12.50%
3385.64/3395.58 c 3396 783079 194573 1 9.0000 8.0000 12.50%
3390.83/3400.70 c 3401 784627 194565 1 9.0000 8.0000 12.50%
3395.82/3405.77 c 3406 786490 194554 1 9.0000 8.0000 12.50%
3400.90/3410.85 c 3411 788343 194541 1 9.0000 8.0000 12.50%
3405.99/3415.94 c 3416 790160 194539 1 9.0000 8.0000 12.50%
3411.08/3421.01 c 3421 791691 194525 1 9.0000 8.0000 12.50%
3416.06/3426.05 c 3426 793581 194506 1 9.0000 8.0000 12.50%
3421.15/3431.13 c 3431 795412 194476 1 9.0000 8.0000 12.50%
3426.14/3436.18 c 3436 797638 194475 1 9.0000 8.0000 12.50%
3431.22/3441.29 c 3441 799586 194428 1 9.0000 8.0000 12.50%
3436.30/3446.38 c 3446 800910 194413 1 9.0000 8.0000 12.50%
3441.39/3451.48 c 3451 802168 194390 1 9.0000 8.0000 12.50%
3446.47/3456.58 c 3457 804398 194374 1 9.0000 8.0000 12.50%
3451.56/3461.67 c 3462 806177 194358 1 9.0000 8.0000 12.50%
3456.65/3466.72 c 3467 807977 194322 1 9.0000 8.0000 12.50%
3461.63/3471.80 c 3472 810151 194265 1 9.0000 8.0000 12.50%
3466.72/3476.85 c 3477 812026 194257 1 9.0000 8.0000 12.50%
3471.81/3481.92 c 3482 813914 194228 1 9.0000 8.0000 12.50%
3477.00/3487.13 c 3487 815478 194219 1 9.0000 8.0000 12.50%
3482.07/3492.24 c 3492 817214 194255 1 9.0000 8.0000 12.50%
3487.17/3497.30 c 3497 818202 194226 1 9.0000 8.0000 12.50%
3492.25/3502.41 c 3502 819990 194238 1 9.0000 8.0000 12.50%
3497.34/3507.51 c 3508 821805 194210 1 9.0000 8.0000 12.50%
3502.43/3512.63 c 3513 823684 194192 1 9.0000 8.0000 12.50%
3507.41/3517.67 c 3518 825957 194172 1 9.0000 8.0000 12.50%
3512.49/3522.75 c 3523 827464 194177 1 9.0000 8.0000 12.50%
3517.58/3527.82 c 3528 829420 194187 1 9.0000 8.0000 12.50%
3522.67/3532.93 c 3533 830385 194210 1 9.0000 8.0000 12.50%
3527.76/3538.07 c 3538 832341 194198 1 9.0000 8.0000 12.50%
3532.85/3543.19 c 3543 834423 194168 1 9.0000 8.0000 12.50%
3537.93/3548.27 c 3548 835694 194191 1 9.0000 8.0000 12.50%
3543.02/3553.36 c 3553 836977 194155 1 9.0000 8.0000 12.50%
3548.10/3558.45 c 3558 838678 194117 1 9.0000 8.0000 12.50%
3553.19/3563.54 c 3564 840320 194113 1 9.0000 8.0000 12.50%
3558.27/3568.62 c 3569 842096 194085 1 9.0000 8.0000 12.50%
3563.26/3573.67 c 3574 843871 194065 1 9.0000 8.0000 12.50%
3568.34/3578.80 c 3579 845567 194049 1 9.0000 8.0000 12.50%
3573.43/3583.84 c 3584 848254 194003 1 9.0000 8.0000 12.50%
3578.62/3589.00 c 3589 850115 193958 1 9.0000 8.0000 12.50%
3583.60/3594.05 c 3594 851993 193937 1 9.0000 8.0000 12.50%
3588.69/3599.18 c 3599 853286 193939 1 9.0000 8.0000 12.50%
3590.18/3600.65 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.18/3600.65 c Total Time : 3600.65
3590.18/3600.65 c solving : 3600.65
3590.18/3600.65 c presolving : 0.17 (included in solving)
3590.18/3600.65 c B&B Tree :
3590.18/3600.65 c nodes (total) : 1
3590.18/3600.65 c Solution :
3590.18/3600.65 c Solutions found : 2
3590.18/3600.65 c Primal Bound : +9.00000000000000e+00
3590.18/3600.65 c Dual Bound : +8.00000000000000e+00
3590.18/3600.65 c Gap : 12.50000 %
3590.18/3600.65 c * Warning: final gap: 1.25000e-01 is greater than SCIPepsilon: 1.00000e-09
3590.18/3600.65 o 9
3590.18/3600.65 s SATISFIABLE
3590.18/3600.65 v -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
3590.18/3600.65 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750
3590.18/3600.65 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729
3590.18/3600.65 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708
3590.18/3600.65 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687
3590.18/3600.65 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
3590.18/3600.65 v -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645
3590.18/3600.65 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624
3590.18/3600.65 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603
3590.18/3600.65 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
3590.18/3600.65 v -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
3590.18/3600.65 v -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
3590.18/3600.65 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
3590.18/3600.65 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
3590.18/3600.65 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
3590.18/3600.65 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
3590.18/3600.65 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
3590.18/3600.65 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
3590.18/3600.65 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
3590.18/3600.65 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
3590.18/3600.65 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351
3590.18/3600.65 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
3590.18/3600.65 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309
3590.18/3600.65 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288
3590.18/3600.65 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267
3590.18/3600.65 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246
3590.18/3600.65 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
3590.18/3600.65 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
3590.18/3600.65 v -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
3590.18/3600.65 v -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
3590.18/3600.65 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
3590.18/3600.65 v -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
3590.18/3600.66 v -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
3590.18/3600.66 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
3590.18/3600.66 v -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
3590.18/3600.66 v -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
3590.18/3600.66 v x23 x22 x21 x20 x19 x18 x17 x16 x15 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: 63931 MiB (61004 MiB free)
memory of node 1: 64510 MiB (60950 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434844-1721126087/watcher-4434844-1721126087 -o /tmp/evaluation-result-4434844-1721126087/solver-4434844-1721126087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850732 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434844-1721126087.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=852793, runsolver pid=852790
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.09 4.08 4.02 5/253 852805
/proc/meminfo: memFree=124781160/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=47776 memory=37448 CPUtime=0.1 cores=4,6
/proc/852793/stat : 852793 (fscip) R 852790 852793 850721 0 -1 4194304 7755 0 0 0 9 1 0 0 20 0 1 0 164778451 48922624 9362 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 11944 9362 2734 3032 0 8344 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47776 KiB
Current children cumulated memory: 37448 KiB
[startup+0.205589 s]*
/proc/loadavg: 4.09 4.08 4.02 5/260 852816
/proc/meminfo: memFree=124628284/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=133728 memory=47496 CPUtime=0.2 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 11776 0 0 0 19 1 0 0 20 0 2 0 164778451 136937472 11874 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 33432 11874 2766 3032 0 13480 0
[pid=852793/tid=852816] ppid=852790 vsize=133728 memory=8737651120394928259 CPUtime=0 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 164778471 136937472 11874 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 133728 KiB
Current children cumulated memory: 47496 KiB
[startup+0.306347 s]*
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124560116/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=141924 memory=73424 CPUtime=0.29 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 18259 0 0 0 27 2 0 0 20 0 3 0 164778451 145330176 18356 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 35481 18356 2782 3032 0 22284 0
[pid=852793/tid=852816] ppid=852790 vsize=141924 memory=-9105260755809575612 CPUtime=0.08 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 6481 0 0 0 8 0 0 0 20 0 3 0 164778471 145330176 18356 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=141924 memory=0 CPUtime=0 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164778473 145330176 18356 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 141924 KiB
Current children cumulated memory: 73424 KiB
[startup+0.70024 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124394212/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=141924 memory=105648 CPUtime=0.67 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 26547 0 0 0 63 4 0 0 20 0 3 0 164778451 145330176 26412 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 35481 26412 2910 3032 0 30491 0
[pid=852793/tid=852816] ppid=852790 vsize=141924 memory=41440 CPUtime=0.46 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 14769 0 0 0 44 2 0 0 20 0 3 0 164778471 145330176 26412 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=141924 memory=12340 CPUtime=0 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164778473 145330176 26412 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 141924 KiB
Current children cumulated memory: 105648 KiB
[startup+1.50026 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124070696/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=141924 memory=106320 CPUtime=1.47 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 32343 0 0 0 143 4 0 0 20 0 3 0 164778451 145330176 26580 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 35481 26580 2910 3032 0 30823 0
[pid=852793/tid=852816] ppid=852790 vsize=141924 memory=12340 CPUtime=1.26 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 20565 0 0 0 124 2 0 0 20 0 3 0 164778471 145330176 26580 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=141924 memory=0 CPUtime=0 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164778473 145330176 26580 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 141924 KiB
Current children cumulated memory: 106320 KiB
[startup+3.10552 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=123809736/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=207460 memory=149588 CPUtime=3.07 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 45267 0 0 0 301 6 0 0 20 0 3 0 164778451 212439040 37397 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 51865 37397 2942 3032 0 42374 0
[pid=852793/tid=852816] ppid=852790 vsize=207460 memory=-6080820922521140076 CPUtime=2.87 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 33462 0 0 0 282 5 0 0 20 0 3 0 164778471 212439040 37397 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=207460 memory=0 CPUtime=0 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 164778473 212439040 37397 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 207460 KiB
Current children cumulated memory: 149588 KiB
[startup+6.30025 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 852821
/proc/meminfo: memFree=123574540/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=272996 memory=180656 CPUtime=6.26 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 65711 0 0 0 618 8 0 0 20 0 3 0 164778451 279547904 45164 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 68249 45164 2942 3032 0 50571 0
[pid=852793/tid=852816] ppid=852790 vsize=272996 memory=0 CPUtime=6.05 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 53877 0 0 0 599 6 0 0 20 0 3 0 164778471 279547904 45164 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=272996 memory=-6080820922521140076 CPUtime=0 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 164778473 279547904 45164 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 272996 KiB
Current children cumulated memory: 180656 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 852822
/proc/meminfo: memFree=123396012/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=272996 memory=196948 CPUtime=12.64 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 101483 0 0 0 1254 10 0 0 20 0 3 0 164778451 279547904 49237 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 68249 49237 2990 3032 0 54262 0
[pid=852793/tid=852816] ppid=852790 vsize=272996 memory=12340 CPUtime=12.43 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 89580 0 0 0 1235 8 0 0 20 0 3 0 164778471 279547904 49237 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=272996 memory=0 CPUtime=0 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 164778473 279547904 49237 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 272996 KiB
Current children cumulated memory: 196948 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.08 4.02 5/264 852823
/proc/meminfo: memFree=123295140/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=274692 memory=210488 CPUtime=25.41 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 152684 0 0 0 2527 14 0 0 20 0 3 0 164778451 281284608 52622 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 68673 52622 3310 3032 0 57631 0
[pid=852793/tid=852816] ppid=852790 vsize=274692 memory=185028 CPUtime=25.2 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 140707 0 0 0 2508 12 0 0 20 0 3 0 164778471 281284608 52622 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=274692 memory=3539829539897344319 CPUtime=0 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 164778473 281284608 52622 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 274692 KiB
Current children cumulated memory: 210488 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 852830
/proc/meminfo: memFree=122494952/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=281724 memory=217184 CPUtime=50.94 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 204820 0 0 0 5077 17 0 0 20 0 3 0 164778451 288485376 54296 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 70431 54296 3310 3032 0 59389 0
[pid=852793/tid=852816] ppid=852790 vsize=281724 memory=215096 CPUtime=50.73 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 192714 0 0 0 5058 15 0 0 20 0 3 0 164778471 288485376 54296 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=281724 memory=214164 CPUtime=0 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 164778473 288485376 54296 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 281724 KiB
Current children cumulated memory: 217184 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/264 852838
/proc/meminfo: memFree=122077440/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=351092 memory=274772 CPUtime=102 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 292038 0 0 0 10175 25 0 0 20 0 3 0 164778451 359518208 68693 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 87773 68693 3310 3032 0 73566 0
[pid=852793/tid=852816] ppid=852790 vsize=351092 memory=12340 CPUtime=101.78 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 279854 0 0 0 10155 23 0 0 20 0 3 0 164778471 359518208 68693 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=351092 memory=274308 CPUtime=0 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 164778473 359518208 68693 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 351092 KiB
Current children cumulated memory: 274772 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.17 4.06 5/264 852849
/proc/meminfo: memFree=121970736/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=353604 memory=280148 CPUtime=161.84 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 336897 0 0 0 16153 31 0 0 20 0 3 0 164778451 362090496 70037 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 88401 70037 3310 3032 0 74194 0
[pid=852793/tid=852816] ppid=852790 vsize=353604 memory=12312 CPUtime=161.62 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 324667 0 0 0 16133 29 0 0 20 0 3 0 164778471 362090496 70037 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=353604 memory=2220 CPUtime=0 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 164778473 362090496 70037 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 353604 KiB
Current children cumulated memory: 280148 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.06 5/264 852859
/proc/meminfo: memFree=121956748/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=356624 memory=292816 CPUtime=221.67 cores=4,6
################
# More data... #
################
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3391.98 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1886485 0 0 0 338813 385 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=1500844 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.27 4.15 5/265 854714
/proc/meminfo: memFree=119833800/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3452.25 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 1905968 0 0 0 344828 397 0 0 20 0 3 0 164778451 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3451.81 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1893024 0 0 0 344791 390 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=41440 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.28 4.16 5/265 854724
/proc/meminfo: memFree=119830184/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3512.09 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 1908913 0 0 0 350808 401 0 0 20 0 3 0 164778451 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=41440 CPUtime=3511.65 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1895953 0 0 0 350771 394 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=2220 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.24 4.15 5/263 854735
/proc/meminfo: memFree=119823828/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3571.93 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 1911703 0 0 0 356787 406 0 0 20 0 3 0 164778451 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=12312 CPUtime=3571.48 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1898729 0 0 0 356750 398 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=15976 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
[startup+3600.67 s]
# the end of solver process 852793 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.17 s, system=4.09235 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.24 4.15 5/263 854735
/proc/meminfo: memFree=119823820/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3573.63 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 1911729 0 0 0 356957 406 0 0 20 0 3 0 164778451 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=2712 CPUtime=3573.18 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1898755 0 0 0 356920 398 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=13720 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3573.63 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.23 4.15 5/263 854737
/proc/meminfo: memFree=119823660/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3580.01 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 1912037 0 0 0 357594 407 0 0 20 0 3 0 164778451 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=6720659969722695531 CPUtime=3579.55 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1899063 0 0 0 357556 399 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=1500844 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3580.01 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119823604/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3586.39 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 1912254 0 0 0 358232 407 0 0 20 0 3 0 164778451 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3585.93 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1899280 0 0 0 358194 399 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=12312 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119823524/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3587.99 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 1912321 0 0 0 358392 407 0 0 20 0 3 0 164778451 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3587.53 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1899347 0 0 0 358354 399 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=12312 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3587.99 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119823516/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3589.59 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 1912729 0 0 0 358552 407 0 0 20 0 3 0 164778451 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=6720664359212826479 CPUtime=3589.13 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1899755 0 0 0 358514 399 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=-7449366816639837562 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3589.59 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
[startup+3600.4 s]
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119823516/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3589.98 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 1917848 0 0 0 358591 407 0 0 20 0 3 0 164778451 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=1816 CPUtime=3589.52 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1904873 0 0 0 358553 399 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=2000 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3589.98 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
[startup+3600.6 s]
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119823516/131524600 swapFree=131071996/131071996
[pid=852793] ppid=852790 vsize=1559688 memory=1500844 CPUtime=3590.18 cores=4,6
/proc/852793/stat : 852793 (fscip) S 852790 852793 850721 0 -1 1077936128 1919740 0 0 0 358611 407 0 0 20 0 3 0 164778451 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
/proc/852793/statm: 389922 375211 3310 3032 0 384833 0
[pid=852793/tid=852816] ppid=852790 vsize=1559688 memory=27652 CPUtime=3589.73 cores=4,6
/proc/852793/task/852816/stat : 852816 (fscip) R 852790 852793 850721 0 -1 4194368 1906766 0 0 0 358573 400 0 0 20 0 3 0 164778471 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
[pid=852793/tid=852817] ppid=852790 vsize=1559688 memory=5492 CPUtime=0.02 cores=4,6
/proc/852793/task/852817/stat : 852817 (fscip) S 852790 852793 850721 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 164778473 1597120512 375211 134679101440 4194304 16613245 140733700786416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 50036736 140733700793365 140733700793481 140733700793481 140733700800496 0
Current children cumulated CPU time: 3590.18 s
Current children cumulated vsize: 1559688 KiB
Current children cumulated memory: 1500844 KiB
Child status: 0
Real time (s): 3600.67
CPU time (s): 3590.26
CPU user time (s): 3586.17
CPU system time (s): 4.09235
CPU usage (%): 99.7109
Max. virtual memory (cumulated for all children) (KiB): 1559688
Max. memory (cumulated for all children) (KiB): 1500844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.16
system time used= 4.09235
maximum resident set size= 1511512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1920218
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= 11483
involuntary context switches= 3768
# summary of solver processes directly reported to runsolver:
# pid: 852793
# total CPU time (s): 3590.26
# total CPU user time (s): 3586.17
# total CPU system time (s): 4.09235
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.21192 second user time and 15.3201 second system time
The end
Begin job on nodeC033 at 2024-07-16 12:34:59
IDJOB=4434844
IDBENCH=155341
IDSOLVER=3064
FILE ID=nodeC033/4434844-1721126087
RUNJOBID= nodeC033-1721122498-850732
SLURM_JOB_ID= 7505674
Free space on /tmp= 890056 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1620770.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-4434844-1721126087/watcher-4434844-1721126087 -o /tmp/evaluation-result-4434844-1721126087/solver-4434844-1721126087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850732 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434844-1721126087.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ea40b84df91c60f1b4d71ba03d843a27
RANDOM SEED=985858961
nodeC033.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 : 0xb00002a
cpu MHz : 3664.540
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.826
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.197
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3640.764
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.328
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.738
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.953
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.379
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124887932 kB
MemAvailable: 129634848 kB
Buffers: 433864 kB
Cached: 5093656 kB
SwapCached: 0 kB
Active: 689532 kB
Inactive: 5231716 kB
Active(anon): 1580 kB
Inactive(anon): 429856 kB
Active(file): 687952 kB
Inactive(file): 4801860 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 90780 kB
Writeback: 0 kB
AnonPages: 391068 kB
Mapped: 115728 kB
Shmem: 37716 kB
KReclaimable: 193504 kB
Slab: 310772 kB
SReclaimable: 193504 kB
SUnreclaim: 117268 kB
KernelStack: 3960 kB
PageTables: 9392 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 768684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 460800 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: 262868 kB
DirectMap2M: 25724928 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889976 MiB
End job on nodeC033 at 2024-07-16 13:35:00