0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.10 c Default LC presolving (default).
0.09/0.10 c ** Before presolving: virtualMemUsedAtLc = 90953797, getVmSize() = 75100160, SCIPgetMemUsed() = 44521276, SCIPgetMemTotal() = 50542140, SCIPgetMemExternEstim() = 40411657
0.09/0.10 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.68/0.79 c ** Estimated virtualMemUsedAtSolver = 144286366, getVmSize() = 205381632, SCIPgetMemUsed() = 92891341, SCIPgetMemTotal() = 176017893, SCIPgetMemExternEstim() = 40411657
0.68/0.79 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.68/0.79 c Original Problem :
0.68/0.79 c Problem name : instance-4464046-1722378594
0.68/0.79 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.79 c Constraints : 41263
0.68/0.79 c Objective sense : minimize
0.68/0.79 c Presolved Problem :
0.68/0.79 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.79 c Constraints : 41263
0.68/0.79 c Constraints : Number
0.68/0.79 c setppc : 41263
0.68/0.79 c ** Instance transfer method used: 0
0.79/0.84 c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.89 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.89 c Nodes Active
0.79/0.89 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.58/1.69 c * 2 0 1 1 -28.0000 - -
1.69/1.73 c * 2 0 1 1 -29.0000 - -
1.79/1.86 c * 2 0 1 1 -30.0000 - -
13.84/13.94 c 14 2 1 1 -30.0000 -40.0000 33.33%
19.22/19.32 c 19 18 17 1 -30.0000 -40.0000 33.33%
25.49/25.64 c 26 37 36 1 -30.0000 -40.0000 33.33%
30.98/31.12 c 31 53 52 1 -30.0000 -40.0000 33.33%
35.56/35.73 c * 36 64 63 1 -31.0000 -40.0000 29.03%
35.56/35.74 c * 36 64 63 1 -32.0000 -40.0000 25.00%
36.55/36.74 c 37 68 58 1 -32.0000 -40.0000 25.00%
42.33/42.59 c 43 84 72 1 -32.0000 -40.0000 25.00%
46.31/46.57 c * 47 95 83 1 -35.0000 -40.0000 14.29%
49.41/49.63 c 50 102 70 1 -35.0000 -40.0000 14.29%
55.48/55.74 c 56 122 80 1 -35.0000 -40.0000 14.29%
61.55/61.87 c 62 152 100 1 -35.0000 -40.0000 14.29%
69.63/69.93 c 70 206 130 1 -35.0000 -40.0000 14.29%
75.60/75.92 c 76 248 154 1 -35.0000 -40.0000 14.29%
82.58/82.98 c 83 270 170 1 -35.0000 -40.0000 14.29%
89.15/89.59 c 90 324 194 1 -35.0000 -40.0000 14.29%
95.53/95.98 c 96 426 234 1 -35.0000 -40.0000 14.29%
101.81/102.28 c 102 546 274 1 -35.0000 -40.0000 14.29%
107.59/108.03 c 108 820 366 1 -35.0000 -40.0000 14.29%
113.56/114.02 c 114 925 400 1 -35.0000 -40.0000 14.29%
119.54/120.05 c 120 993 456 1 -35.0000 -40.0000 14.29%
133.00/133.59 c 134 1027 0 1 -35.0000 -40.0000 14.29%
138.07/138.60 c 139 1056 29 1 -35.0000 -40.0000 14.29%
145.95/146.54 c 147 1087 50 1 -35.0000 -40.0000 14.29%
146.55/147.16 c * 147 1087 50 1 -36.0000 -40.0000 11.11%
152.22/152.87 c 153 1222 110 1 -36.0000 -40.0000 11.11%
157.40/158.02 c 158 1395 239 1 -36.0000 -40.0000 11.11%
163.27/163.90 c 164 1528 350 1 -36.0000 -40.0000 11.11%
168.55/169.23 c 169 1727 505 1 -36.0000 -40.0000 11.11%
173.73/174.47 c 174 1888 638 1 -36.0000 -40.0000 11.11%
179.92/180.61 c 181 2071 789 1 -36.0000 -40.0000 11.11%
186.09/186.89 c 187 2201 899 1 -36.0000 -40.0000 11.11%
191.38/192.13 c 192 2240 934 1 -36.0000 -40.0000 11.11%
197.15/197.98 c 198 2300 988 1 -36.0000 -40.0000 11.11%
202.93/203.76 c 204 2415 1079 1 -36.0000 -40.0000 11.11%
208.02/208.80 c 209 2464 1114 1 -36.0000 -40.0000 11.11%
213.20/214.05 c 214 2508 1154 1 -36.0000 -40.0000 11.11%
218.78/219.60 c 220 2559 1181 1 -36.0000 -40.0000 11.11%
223.76/224.63 c 225 2571 1189 1 -36.0000 -40.0000 11.11%
229.04/229.91 c 230 2607 1211 1 -36.0000 -40.0000 11.11%
234.82/235.70 c 236 2637 1229 1 -36.0000 -40.0000 11.11%
240.20/241.17 c 241 2759 1321 1 -36.0000 -40.0000 11.11%
245.97/246.90 c 247 2815 1351 1 -36.0000 -40.0000 11.11%
251.56/252.50 c 253 2919 1429 1 -36.0000 -40.0000 11.11%
256.93/257.95 c 258 3005 1501 1 -36.0000 -40.0000 11.11%
262.81/263.87 c 264 3086 1542 1 -36.0000 -40.0000 11.11%
269.19/270.24 c 270 3154 1580 1 -36.0000 -40.0000 11.11%
274.37/275.46 c 275 3212 1612 1 -36.0000 -40.0000 11.11%
280.15/281.27 c 281 3232 1630 1 -36.0000 -40.0000 11.11%
286.03/287.18 c 287 3351 1715 1 -36.0000 -40.0000 11.11%
291.11/292.21 c 292 3459 1773 1 -36.0000 -40.0000 11.11%
296.19/297.39 c 297 3582 1856 1 -36.0000 -40.0000 11.11%
301.77/302.93 c 303 3648 1902 1 -36.0000 -40.0000 11.11%
307.45/308.66 c 309 3928 2016 1 -36.0000 -40.0000 11.11%
312.54/313.75 c 314 4044 2062 1 -36.0000 -40.0000 11.11%
318.22/319.47 c 319 4051 2065 1 -36.0000 -40.0000 11.11%
323.80/325.04 c 325 4153 2105 1 -36.0000 -40.0000 11.11%
329.17/330.40 c 330 4320 2190 1 -36.0000 -40.0000 11.11%
334.76/336.09 c 336 4454 2262 1 -36.0000 -40.0000 11.11%
340.23/341.55 c 342 4497 2285 1 -36.0000 -40.0000 11.11%
345.51/346.89 c 347 4592 2326 1 -36.0000 -40.0000 11.11%
351.20/352.50 c 353 4747 2401 1 -36.0000 -40.0000 11.11%
356.78/358.12 c 358 4802 2418 1 -36.0000 -40.0000 11.11%
362.26/363.68 c 364 4928 2468 1 -36.0000 -40.0000 11.11%
367.54/368.97 c 369 5025 2525 1 -36.0000 -40.0000 11.11%
373.42/374.85 c 375 5136 2566 1 -36.0000 -40.0000 11.11%
379.20/380.63 c 381 5215 2597 1 -36.0000 -40.0000 11.11%
385.07/386.53 c 387 5237 2607 1 -36.0000 -40.0000 11.11%
390.45/391.97 c 392 5488 2758 1 -36.0000 -40.0000 11.11%
396.53/398.07 c 398 5645 2855 1 -36.0000 -40.0000 11.11%
403.21/404.71 c 405 5654 2858 1 -36.0000 -40.0000 11.11%
409.68/411.29 c 411 5678 2874 1 -36.0000 -40.0000 11.11%
415.48/417.01 c 417 5749 2921 1 -36.0000 -40.0000 11.11%
423.24/424.84 c 425 5801 2953 1 -36.0000 -40.0000 11.11%
428.43/430.03 c 430 5825 2967 1 -36.0000 -40.0000 11.11%
435.00/436.65 c 437 5847 2983 1 -36.0000 -40.0000 11.11%
441.08/442.75 c 443 6020 3102 1 -36.0000 -40.0000 11.11%
446.86/448.51 c 449 6045 3119 1 -36.0000 -40.0000 11.11%
451.95/453.61 c 454 6133 3177 1 -36.0000 -40.0000 11.11%
457.83/459.50 c 460 6207 3223 1 -36.0000 -40.0000 11.11%
465.00/466.71 c 467 6278 3274 1 -36.0000 -40.0000 11.11%
471.18/472.94 c 473 6426 3356 1 -36.0000 -40.0000 11.11%
476.65/478.46 c 478 6520 3436 1 -36.0000 -40.0000 11.11%
483.84/485.65 c 486 6557 3455 1 -36.0000 -40.0000 11.11%
489.51/491.39 c 491 6659 3515 1 -36.0000 -40.0000 11.11%
495.39/497.24 c 497 6717 3545 1 -36.0000 -40.0000 11.11%
500.98/502.88 c 503 6839 3623 1 -36.0000 -40.0000 11.11%
506.76/508.70 c 509 6939 3697 1 -36.0000 -40.0000 11.11%
512.04/513.95 c 514 6982 3718 1 -36.0000 -40.0000 11.11%
517.03/518.97 c 519 7090 3762 1 -36.0000 -40.0000 11.11%
522.10/524.05 c 524 7173 3815 1 -36.0000 -40.0000 11.11%
527.19/529.18 c 529 7280 3882 1 -36.0000 -40.0000 11.11%
532.77/534.78 c 535 7415 3949 1 -36.0000 -40.0000 11.11%
538.55/540.54 c 541 7496 3992 1 -36.0000 -40.0000 11.11%
544.03/546.08 c 546 7595 4051 1 -36.0000 -40.0000 11.11%
549.11/551.19 c 551 7708 4118 1 -36.0000 -40.0000 11.11%
554.49/556.58 c 557 7831 4193 1 -36.0000 -40.0000 11.11%
560.07/562.13 c 562 8033 4327 1 -36.0000 -40.0000 11.11%
565.55/567.68 c 568 8190 4424 1 -36.0000 -40.0000 11.11%
573.52/575.66 c 576 8237 4455 1 -36.0000 -40.0000 11.11%
579.10/581.29 c 581 8276 4470 1 -36.0000 -40.0000 11.11%
585.88/588.08 c 588 8380 4526 1 -36.0000 -40.0000 11.11%
590.05/592.24 c * 592 8435 4563 1 -38.0000 -40.0000 5.26%
591.95/594.13 c 594 8539 1297 1 -38.0000 -40.0000 5.26%
597.03/599.27 c 599 8756 1360 1 -38.0000 -40.0000 5.26%
602.11/604.31 c 604 9017 1433 1 -38.0000 -40.0000 5.26%
607.29/609.59 c 610 9174 1470 1 -38.0000 -40.0000 5.26%
613.06/615.37 c 615 9457 1517 1 -38.0000 -40.0000 5.26%
619.94/622.23 c 622 9526 1518 1 -38.0000 -40.0000 5.26%
625.33/627.65 c 628 9624 1526 1 -38.0000 -40.0000 5.26%
630.51/632.85 c 633 9872 1578 1 -38.0000 -40.0000 5.26%
636.39/638.79 c 639 10214 1644 1 -38.0000 -40.0000 5.26%
642.37/644.70 c 645 10517 1667 1 -38.0000 -40.0000 5.26%
647.35/649.76 c 650 10708 1662 1 -38.0000 -40.0000 5.26%
652.64/655.05 c 655 11097 1719 1 -38.0000 -40.0000 5.26%
658.51/660.98 c 661 11343 1743 1 -38.0000 -40.0000 5.26%
664.00/666.48 c 666 11534 1746 1 -38.0000 -40.0000 5.26%
669.87/672.32 c 672 11770 1778 1 -38.0000 -40.0000 5.26%
675.95/678.46 c 678 11996 1814 1 -38.0000 -40.0000 5.26%
681.04/683.54 c 684 12371 1865 1 -38.0000 -40.0000 5.26%
686.31/688.86 c 689 12749 1891 1 -38.0000 -40.0000 5.26%
691.50/694.00 c 694 13073 1917 1 -38.0000 -40.0000 5.26%
696.48/699.09 c 699 13342 1964 1 -38.0000 -40.0000 5.26%
701.56/704.17 c 704 13570 2050 1 -38.0000 -40.0000 5.26%
706.74/709.35 c 709 13894 2133 1 -38.0000 -40.0000 5.26%
711.73/714.37 c 714 14087 2166 1 -38.0000 -40.0000 5.26%
717.40/720.06 c 720 14341 2211 1 -38.0000 -40.0000 5.26%
723.08/725.72 c 726 14594 2280 1 -38.0000 -40.0000 5.26%
729.26/731.97 c 732 14736 2306 1 -38.0000 -40.0000 5.26%
734.55/737.24 c 737 14834 2312 1 -38.0000 -40.0000 5.26%
740.12/742.88 c 743 15017 2333 1 -38.0000 -40.0000 5.26%
745.20/747.99 c 748 15310 2377 1 -38.0000 -40.0000 5.26%
750.38/753.10 c 753 15661 2430 1 -38.0000 -40.0000 5.26%
755.37/758.18 c 758 15962 2469 1 -38.0000 -40.0000 5.26%
761.24/764.10 c 764 16180 2511 1 -38.0000 -40.0000 5.26%
767.51/770.36 c 770 16438 2544 1 -38.0000 -40.0000 5.26%
772.59/775.45 c 775 16754 2611 1 -38.0000 -40.0000 5.26%
777.67/780.55 c 781 17001 2640 1 -38.0000 -40.0000 5.26%
783.05/785.91 c 786 17211 2676 1 -38.0000 -40.0000 5.26%
788.14/791.05 c 791 17375 2694 1 -38.0000 -40.0000 5.26%
793.71/796.64 c 797 17666 2721 1 -38.0000 -40.0000 5.26%
799.10/802.04 c 802 17781 2758 1 -38.0000 -40.0000 5.26%
805.08/808.04 c 808 18111 2811 1 -38.0000 -40.0000 5.26%
810.35/813.37 c 813 18464 2858 1 -38.0000 -40.0000 5.26%
816.04/819.08 c 819 18685 2889 1 -38.0000 -40.0000 5.26%
821.31/824.32 c 824 18990 2938 1 -38.0000 -40.0000 5.26%
826.59/829.69 c 830 19135 2959 1 -38.0000 -40.0000 5.26%
831.68/834.75 c 835 19386 3008 1 -38.0000 -40.0000 5.26%
837.46/840.52 c 841 19437 3013 1 -38.0000 -40.0000 5.26%
843.14/846.21 c 846 19543 3029 1 -38.0000 -40.0000 5.26%
848.42/851.58 c 852 19703 3041 1 -38.0000 -40.0000 5.26%
854.59/857.78 c 858 19840 3044 1 -38.0000 -40.0000 5.26%
860.38/863.57 c 864 20173 3097 1 -38.0000 -40.0000 5.26%
866.26/869.44 c 869 20410 3118 1 -38.0000 -40.0000 5.26%
872.13/875.34 c 875 20749 3171 1 -38.0000 -40.0000 5.26%
877.21/880.41 c 880 21103 3269 1 -38.0000 -40.0000 5.26%
882.39/885.69 c 886 21461 3351 1 -38.0000 -40.0000 5.26%
887.57/890.81 c 891 21745 3382 1 -38.0000 -40.0000 5.26%
892.55/895.88 c 896 21989 3442 1 -38.0000 -40.0000 5.26%
898.04/901.39 c 901 22233 3468 1 -38.0000 -40.0000 5.26%
903.42/906.74 c 907 22428 3487 1 -38.0000 -40.0000 5.26%
908.89/912.28 c 912 22538 3499 1 -38.0000 -40.0000 5.26%
915.17/918.58 c 919 22766 3497 1 -38.0000 -40.0000 5.26%
920.85/924.21 c 924 23115 3586 1 -38.0000 -40.0000 5.26%
926.12/929.51 c 930 23365 3662 1 -38.0000 -40.0000 5.26%
931.51/934.95 c 935 23582 3705 1 -38.0000 -40.0000 5.26%
936.79/940.21 c 940 23659 3720 1 -38.0000 -40.0000 5.26%
942.18/945.64 c 946 23699 3734 1 -38.0000 -40.0000 5.26%
947.56/951.05 c 951 23919 3780 1 -38.0000 -40.0000 5.26%
953.73/957.23 c 957 24058 3799 1 -38.0000 -40.0000 5.26%
960.20/963.75 c 964 24250 3815 1 -38.0000 -40.0000 5.26%
965.29/968.83 c 969 24385 3818 1 -38.0000 -40.0000 5.26%
971.77/975.35 c 975 24618 3847 1 -38.0000 -40.0000 5.26%
976.85/980.40 c 980 24914 3870 1 -38.0000 -40.0000 5.26%
982.33/985.98 c 986 25156 3912 1 -38.0000 -40.0000 5.26%
988.11/991.71 c 992 25421 3987 1 -38.0000 -40.0000 5.26%
993.69/997.30 c 997 25519 4005 1 -38.0000 -40.0000 5.26%
1000.17/1003.83 c 1004 25696 4054 1 -38.0000 -40.0000 5.26%
1005.75/1009.43 c 1009 25814 4078 1 -38.0000 -40.0000 5.26%
1011.63/1015.36 c 1015 26093 4105 1 -38.0000 -40.0000 5.26%
1017.61/1021.35 c 1021 26272 4124 1 -38.0000 -40.0000 5.26%
1023.59/1027.36 c 1027 26475 4127 1 -38.0000 -40.0000 5.26%
1028.98/1032.71 c 1033 26565 4151 1 -38.0000 -40.0000 5.26%
1034.65/1038.40 c 1038 26715 4189 1 -38.0000 -40.0000 5.26%
1040.03/1043.83 c 1044 26943 4223 1 -38.0000 -40.0000 5.26%
1045.72/1049.55 c 1050 27042 4240 1 -38.0000 -40.0000 5.26%
1052.49/1056.36 c 1056 27153 4249 1 -38.0000 -40.0000 5.26%
1057.67/1061.57 c 1062 27277 4277 1 -38.0000 -40.0000 5.26%
1062.95/1066.85 c 1067 27431 4311 1 -38.0000 -40.0000 5.26%
1068.43/1072.32 c 1072 27556 4338 1 -38.0000 -40.0000 5.26%
1074.12/1078.04 c 1078 27654 4358 1 -38.0000 -40.0000 5.26%
1080.00/1083.93 c 1084 27715 4361 1 -38.0000 -40.0000 5.26%
1087.17/1091.17 c 1091 27826 4370 1 -38.0000 -40.0000 5.26%
1093.05/1097.09 c 1097 27948 4372 1 -38.0000 -40.0000 5.26%
1098.53/1102.59 c 1103 28095 4385 1 -38.0000 -40.0000 5.26%
1103.91/1107.99 c 1108 28220 4404 1 -38.0000 -40.0000 5.26%
1110.39/1114.45 c 1114 28245 4407 1 -38.0000 -40.0000 5.26%
1115.57/1119.68 c 1120 28390 4426 1 -38.0000 -40.0000 5.26%
1121.45/1125.50 c 1126 28458 4432 1 -38.0000 -40.0000 5.26%
1126.84/1130.93 c 1131 28570 4438 1 -38.0000 -40.0000 5.26%
1132.43/1136.57 c 1137 28615 4441 1 -38.0000 -40.0000 5.26%
1137.50/1141.64 c 1142 28902 4470 1 -38.0000 -40.0000 5.26%
1143.08/1147.22 c 1147 29152 4494 1 -38.0000 -40.0000 5.26%
1148.76/1152.92 c 1153 29272 4488 1 -38.0000 -40.0000 5.26%
1153.95/1158.13 c 1158 29390 4508 1 -38.0000 -40.0000 5.26%
1160.92/1165.11 c 1165 29582 4528 1 -38.0000 -40.0000 5.26%
1166.30/1170.56 c 1171 29772 4530 1 -38.0000 -40.0000 5.26%
1172.17/1176.41 c 1176 29973 4539 1 -38.0000 -40.0000 5.26%
1178.15/1182.40 c 1182 30236 4612 1 -38.0000 -40.0000 5.26%
1183.43/1187.76 c 1188 30594 4682 1 -38.0000 -40.0000 5.26%
1189.50/1193.87 c 1194 30952 4689 1 -38.0000 -40.0000 5.26%
1195.18/1199.57 c 1200 31151 4700 1 -38.0000 -40.0000 5.26%
1200.86/1205.24 c 1205 31498 4768 1 -38.0000 -40.0000 5.26%
1205.94/1210.39 c 1210 31591 4775 1 -38.0000 -40.0000 5.26%
1211.41/1215.89 c 1216 31752 4832 1 -38.0000 -40.0000 5.26%
1216.80/1221.22 c 1221 31909 4883 1 -38.0000 -40.0000 5.26%
1222.08/1226.59 c 1227 32016 4912 1 -38.0000 -40.0000 5.26%
1228.45/1232.94 c 1233 32291 4955 1 -38.0000 -40.0000 5.26%
1233.83/1238.33 c 1238 32632 4980 1 -38.0000 -40.0000 5.26%
1239.41/1243.94 c 1244 32936 4988 1 -38.0000 -40.0000 5.26%
1245.38/1249.97 c 1250 33147 5007 1 -38.0000 -40.0000 5.26%
1251.16/1255.77 c 1256 33553 5043 1 -38.0000 -40.0000 5.26%
1257.13/1261.72 c 1262 33891 5113 1 -38.0000 -40.0000 5.26%
1262.11/1266.78 c 1267 34320 5118 1 -38.0000 -40.0000 5.26%
1267.19/1271.81 c 1272 34464 5138 1 -38.0000 -40.0000 5.26%
1272.27/1276.90 c 1277 34930 5130 1 -38.0000 -40.0000 5.26%
1277.26/1281.95 c 1282 35379 5183 1 -38.0000 -40.0000 5.26%
1283.72/1288.44 c 1288 35755 5253 1 -38.0000 -40.0000 5.26%
1289.71/1294.47 c 1294 36048 5270 1 -38.0000 -40.0000 5.26%
1295.68/1300.40 c 1300 36450 5319 1 -38.0000 -40.0000 5.26%
1300.67/1305.49 c 1306 36888 5377 1 -38.0000 -40.0000 5.26%
1306.35/1311.14 c 1311 37082 5405 1 -38.0000 -40.0000 5.26%
1311.42/1316.20 c 1316 37475 5448 1 -38.0000 -40.0000 5.26%
1316.50/1321.30 c 1321 37821 5488 1 -38.0000 -40.0000 5.26%
1321.88/1326.76 c 1327 38061 5520 1 -38.0000 -40.0000 5.26%
1327.27/1332.14 c 1332 38443 5564 1 -38.0000 -40.0000 5.26%
1332.34/1337.21 c 1337 38780 5592 1 -38.0000 -40.0000 5.26%
1337.32/1342.29 c 1342 39045 5608 1 -38.0000 -40.0000 5.26%
1342.40/1347.34 c 1347 39393 5646 1 -38.0000 -40.0000 5.26%
1347.48/1352.40 c 1352 39683 5720 1 -38.0000 -40.0000 5.26%
1353.36/1358.39 c 1358 40021 5754 1 -38.0000 -40.0000 5.26%
1358.63/1363.65 c 1364 40299 5814 1 -38.0000 -40.0000 5.26%
1364.12/1369.18 c 1369 40667 5844 1 -38.0000 -40.0000 5.26%
1369.49/1374.54 c 1375 40878 5871 1 -38.0000 -40.0000 5.26%
1374.67/1379.74 c 1380 41187 5918 1 -38.0000 -40.0000 5.26%
1379.75/1384.82 c 1385 41558 5971 1 -38.0000 -40.0000 5.26%
1386.03/1391.12 c 1391 41843 5984 1 -38.0000 -40.0000 5.26%
1391.01/1396.14 c 1396 42036 5977 1 -38.0000 -40.0000 5.26%
1396.78/1401.92 c 1402 42387 6002 1 -38.0000 -40.0000 5.26%
1403.76/1408.93 c 1409 42722 6015 1 -38.0000 -40.0000 5.26%
1410.43/1415.65 c 1416 43000 6022 1 -38.0000 -40.0000 5.26%
1416.40/1421.60 c 1422 43340 6058 1 -38.0000 -40.0000 5.26%
1422.29/1427.54 c 1428 43563 6067 1 -38.0000 -40.0000 5.26%
1427.37/1432.62 c 1433 43975 6103 1 -38.0000 -40.0000 5.26%
1432.55/1437.80 c 1438 44381 6161 1 -38.0000 -40.0000 5.26%
1438.42/1443.71 c 1444 44723 6212 1 -38.0000 -40.0000 5.26%
1445.10/1450.45 c 1450 45095 6256 1 -38.0000 -40.0000 5.26%
1450.68/1456.01 c 1456 45519 6285 1 -38.0000 -40.0000 5.26%
1455.95/1461.30 c 1461 45910 6330 1 -38.0000 -40.0000 5.26%
1461.74/1467.15 c 1467 46052 6358 1 -38.0000 -40.0000 5.26%
1467.71/1473.14 c 1473 46366 6422 1 -38.0000 -40.0000 5.26%
1473.69/1479.12 c 1479 46608 6440 1 -38.0000 -40.0000 5.26%
1478.96/1484.43 c 1484 46925 6491 1 -38.0000 -40.0000 5.26%
1484.15/1489.63 c 1490 47261 6583 1 -38.0000 -40.0000 5.26%
1489.53/1495.01 c 1495 47445 6610 1 -38.0000 -40.0000 5.26%
1494.81/1500.36 c 1500 47678 6651 1 -38.0000 -40.0000 5.26%
1500.68/1506.25 c 1506 47834 6663 1 -38.0000 -40.0000 5.26%
1506.47/1512.09 c 1512 48068 6691 1 -38.0000 -40.0000 5.26%
1512.05/1517.66 c 1518 48357 6768 1 -38.0000 -40.0000 5.26%
1518.02/1523.60 c 1524 48602 6793 1 -38.0000 -40.0000 5.26%
1523.10/1528.73 c 1529 48970 6847 1 -38.0000 -40.0000 5.26%
1528.28/1533.95 c 1534 49372 6921 1 -38.0000 -40.0000 5.26%
1533.67/1539.38 c 1539 49586 6915 1 -38.0000 -40.0000 5.26%
1539.04/1544.73 c 1545 49845 6950 1 -38.0000 -40.0000 5.26%
1544.22/1549.90 c 1550 50044 6949 1 -38.0000 -40.0000 5.26%
1549.70/1555.40 c 1555 50316 6973 1 -38.0000 -40.0000 5.26%
1555.58/1561.30 c 1561 50566 6999 1 -38.0000 -40.0000 5.26%
1561.06/1566.88 c 1567 50882 7081 1 -38.0000 -40.0000 5.26%
1566.23/1572.02 c 1572 51117 7114 1 -38.0000 -40.0000 5.26%
1571.41/1577.23 c 1577 51484 7155 1 -38.0000 -40.0000 5.26%
1577.29/1583.12 c 1583 51777 7186 1 -38.0000 -40.0000 5.26%
1582.45/1588.39 c 1588 52122 7227 1 -38.0000 -40.0000 5.26%
1587.64/1593.55 c 1594 52522 7265 1 -38.0000 -40.0000 5.26%
1593.51/1599.41 c 1599 52664 7293 1 -38.0000 -40.0000 5.26%
1600.29/1606.23 c 1606 52762 7313 1 -38.0000 -40.0000 5.26%
1605.67/1611.69 c 1612 52863 7346 1 -38.0000 -40.0000 5.26%
1611.45/1617.48 c 1617 53054 7371 1 -38.0000 -40.0000 5.26%
1617.33/1623.30 c 1623 53208 7405 1 -38.0000 -40.0000 5.26%
1622.91/1628.95 c 1629 53380 7467 1 -38.0000 -40.0000 5.26%
1629.18/1635.20 c 1635 53485 7484 1 -38.0000 -40.0000 5.26%
1634.76/1640.88 c 1641 53528 7483 1 -38.0000 -40.0000 5.26%
1640.14/1646.22 c 1646 53593 7496 1 -38.0000 -40.0000 5.26%
1645.52/1651.62 c 1652 53667 7514 1 -38.0000 -40.0000 5.26%
1650.81/1656.90 c 1657 53710 7521 1 -38.0000 -40.0000 5.26%
1656.38/1662.53 c 1663 53973 7580 1 -38.0000 -40.0000 5.26%
1661.46/1667.66 c 1668 54159 7616 1 -38.0000 -40.0000 5.26%
1666.74/1672.93 c 1673 54470 7664 1 -38.0000 -40.0000 5.26%
1673.61/1679.86 c 1680 54691 7709 1 -38.0000 -40.0000 5.26%
1679.50/1685.71 c 1686 54910 7726 1 -38.0000 -40.0000 5.26%
1684.98/1691.28 c 1691 55304 7780 1 -38.0000 -40.0000 5.26%
1690.36/1696.64 c 1697 55491 7823 1 -38.0000 -40.0000 5.26%
1695.94/1702.20 c 1702 55667 7875 1 -38.0000 -40.0000 5.26%
1700.92/1707.28 c 1707 55951 7919 1 -38.0000 -40.0000 5.26%
1706.70/1713.08 c 1713 56234 7953 1 -38.0000 -40.0000 5.26%
1712.28/1718.61 c 1719 56463 7984 1 -38.0000 -40.0000 5.26%
1719.55/1725.98 c 1726 56710 8035 1 -38.0000 -40.0000 5.26%
1726.43/1732.88 c 1733 56871 8048 1 -38.0000 -40.0000 5.26%
1732.51/1738.96 c 1739 57049 8044 1 -38.0000 -40.0000 5.26%
1737.79/1744.25 c 1744 57370 8095 1 -38.0000 -40.0000 5.26%
1743.37/1749.88 c 1750 57546 8111 1 -38.0000 -40.0000 5.26%
1749.15/1755.68 c 1756 57855 8164 1 -38.0000 -40.0000 5.26%
1754.23/1760.78 c 1761 58006 8183 1 -38.0000 -40.0000 5.26%
1759.51/1766.02 c 1766 58190 8201 1 -38.0000 -40.0000 5.26%
1765.18/1771.72 c 1772 58438 8223 1 -38.0000 -40.0000 5.26%
1770.56/1777.14 c 1777 58592 8227 1 -38.0000 -40.0000 5.26%
1776.54/1783.13 c 1783 58788 8299 1 -38.0000 -40.0000 5.26%
1783.11/1789.74 c 1790 59010 8339 1 -38.0000 -40.0000 5.26%
1788.50/1795.16 c 1795 59263 8360 1 -38.0000 -40.0000 5.26%
1793.96/1800.64 c 1801 59501 8356 1 -38.0000 -40.0000 5.26%
1799.54/1806.24 c 1806 59783 8391 1 -38.0000 -40.0000 5.26%
1805.33/1812.08 c 1812 60010 8424 1 -38.0000 -40.0000 5.26%
1810.40/1817.18 c 1817 60367 8465 1 -38.0000 -40.0000 5.26%
1816.57/1823.31 c 1823 60514 8472 1 -38.0000 -40.0000 5.26%
1821.54/1828.35 c 1828 60730 8484 1 -38.0000 -40.0000 5.26%
1827.12/1833.90 c 1834 61027 8525 1 -38.0000 -40.0000 5.26%
1832.21/1839.02 c 1839 61355 8545 1 -38.0000 -40.0000 5.26%
1837.88/1844.74 c 1845 61688 8544 1 -38.0000 -40.0000 5.26%
1843.55/1850.42 c 1850 61976 8564 1 -38.0000 -40.0000 5.26%
1848.73/1855.63 c 1856 62223 8595 1 -38.0000 -40.0000 5.26%
1853.71/1860.69 c 1861 62539 8631 1 -38.0000 -40.0000 5.26%
1858.88/1865.81 c 1866 62911 8671 1 -38.0000 -40.0000 5.26%
1864.36/1871.34 c 1871 63216 8720 1 -38.0000 -40.0000 5.26%
1869.63/1876.62 c 1877 63654 8768 1 -38.0000 -40.0000 5.26%
1874.62/1881.67 c 1882 64120 8808 1 -38.0000 -40.0000 5.26%
1880.88/1887.94 c 1888 64412 8818 1 -38.0000 -40.0000 5.26%
1886.27/1893.35 c 1893 64750 8874 1 -38.0000 -40.0000 5.26%
1891.34/1898.41 c 1898 65158 8922 1 -38.0000 -40.0000 5.26%
1896.32/1903.49 c 1904 65349 8935 1 -38.0000 -40.0000 5.26%
1901.60/1908.78 c 1909 65653 8979 1 -38.0000 -40.0000 5.26%
1906.68/1913.84 c 1914 66162 9038 1 -38.0000 -40.0000 5.26%
1911.76/1918.92 c 1919 66653 9091 1 -38.0000 -40.0000 5.26%
1917.43/1924.61 c 1925 66955 9127 1 -38.0000 -40.0000 5.26%
1923.60/1930.81 c 1931 67367 9191 1 -38.0000 -40.0000 5.26%
1928.79/1936.00 c 1936 67687 9227 1 -38.0000 -40.0000 5.26%
1933.76/1941.06 c 1941 68156 9254 1 -38.0000 -40.0000 5.26%
1938.94/1946.25 c 1946 68554 9302 1 -38.0000 -40.0000 5.26%
1944.12/1951.40 c 1951 69061 9375 1 -38.0000 -40.0000 5.26%
1949.10/1956.45 c 1956 69521 9427 1 -38.0000 -40.0000 5.26%
1954.18/1961.52 c 1962 70003 9495 1 -38.0000 -40.0000 5.26%
1959.16/1966.58 c 1967 70501 9551 1 -38.0000 -40.0000 5.26%
1964.24/1971.63 c 1972 70988 9610 1 -38.0000 -40.0000 5.26%
1969.62/1977.04 c 1977 71332 9634 1 -38.0000 -40.0000 5.26%
1974.80/1982.27 c 1982 71727 9682 1 -38.0000 -40.0000 5.26%
1979.99/1987.41 c 1987 72036 9731 1 -38.0000 -40.0000 5.26%
1984.97/1992.46 c 1992 72377 9816 1 -38.0000 -40.0000 5.26%
1990.04/1997.54 c 1998 72768 9849 1 -38.0000 -40.0000 5.26%
1995.13/2002.66 c 2003 73124 9899 1 -38.0000 -40.0000 5.26%
2000.21/2007.73 c 2008 73509 9968 1 -38.0000 -40.0000 5.26%
2005.28/2012.83 c 2013 73936 9986 1 -38.0000 -40.0000 5.26%
2010.37/2017.90 c 2018 74375 10009 1 -38.0000 -40.0000 5.26%
2015.55/2023.11 c 2023 74694 10026 1 -38.0000 -40.0000 5.26%
2021.43/2029.02 c 2029 74924 10038 1 -38.0000 -40.0000 5.26%
2026.51/2034.19 c 2034 75283 10034 1 -38.0000 -40.0000 5.26%
2031.78/2039.48 c 2039 75659 10112 1 -38.0000 -40.0000 5.26%
2038.37/2046.02 c 2046 75996 10147 1 -38.0000 -40.0000 5.26%
2043.45/2051.16 c 2051 76298 10159 1 -38.0000 -40.0000 5.26%
2048.52/2056.28 c 2056 76614 10154 1 -38.0000 -40.0000 5.26%
2053.81/2061.55 c 2062 76906 10174 1 -38.0000 -40.0000 5.26%
2058.89/2066.60 c 2067 77317 10209 1 -38.0000 -40.0000 5.26%
2063.97/2071.79 c 2072 77649 10205 1 -38.0000 -40.0000 5.26%
2069.25/2077.05 c 2077 78012 10192 1 -38.0000 -40.0000 5.26%
2074.53/2082.35 c 2082 78253 10196 1 -38.0000 -40.0000 5.26%
2079.61/2087.41 c 2087 78619 10248 1 -38.0000 -40.0000 5.26%
2084.69/2092.55 c 2093 79048 10291 1 -38.0000 -40.0000 5.26%
2091.17/2099.06 c 2099 79430 10311 1 -38.0000 -40.0000 5.26%
2097.15/2105.02 c 2105 79642 10329 1 -38.0000 -40.0000 5.26%
2102.24/2110.15 c 2110 80107 10402 1 -38.0000 -40.0000 5.26%
2108.00/2115.97 c 2116 80405 10446 1 -38.0000 -40.0000 5.26%
2113.10/2121.07 c 2121 80916 10525 1 -38.0000 -40.0000 5.26%
2118.17/2126.12 c 2126 81305 10612 1 -38.0000 -40.0000 5.26%
2123.15/2131.17 c 2131 81747 10712 1 -38.0000 -40.0000 5.26%
2128.23/2136.24 c 2136 82200 10781 1 -38.0000 -40.0000 5.26%
2133.71/2141.70 c 2142 82587 10808 1 -38.0000 -40.0000 5.26%
2138.69/2146.76 c 2147 83082 10893 1 -38.0000 -40.0000 5.26%
2144.07/2152.15 c 2152 83535 10906 1 -38.0000 -40.0000 5.26%
2149.75/2157.87 c 2158 83947 10960 1 -38.0000 -40.0000 5.26%
2154.82/2162.92 c 2163 84430 10946 1 -38.0000 -40.0000 5.26%
2159.80/2167.97 c 2168 84953 10975 1 -38.0000 -40.0000 5.26%
2164.98/2173.18 c 2173 85440 11007 1 -38.0000 -40.0000 5.26%
2170.66/2178.82 c 2179 85824 11053 1 -38.0000 -40.0000 5.26%
2175.64/2183.88 c 2184 86333 11088 1 -38.0000 -40.0000 5.26%
2180.73/2188.93 c 2189 86752 11127 1 -38.0000 -40.0000 5.26%
2186.70/2194.93 c 2195 87199 11162 1 -38.0000 -40.0000 5.26%
2191.88/2200.19 c 2200 87589 11234 1 -38.0000 -40.0000 5.26%
2196.97/2205.27 c 2205 88022 11307 1 -38.0000 -40.0000 5.26%
2202.05/2210.37 c 2210 88324 11319 1 -38.0000 -40.0000 5.26%
2207.12/2215.45 c 2215 88732 11321 1 -38.0000 -40.0000 5.26%
2212.10/2220.49 c 2220 89105 11372 1 -38.0000 -40.0000 5.26%
2217.29/2225.63 c 2226 89496 11403 1 -38.0000 -40.0000 5.26%
2222.68/2231.09 c 2231 89835 11438 1 -38.0000 -40.0000 5.26%
2228.35/2236.73 c 2237 90160 11439 1 -38.0000 -40.0000 5.26%
2233.52/2241.99 c 2242 90596 11443 1 -38.0000 -40.0000 5.26%
2238.62/2247.07 c 2247 91015 11461 1 -38.0000 -40.0000 5.26%
2243.69/2252.18 c 2252 91377 11519 1 -38.0000 -40.0000 5.26%
2249.87/2258.38 c 2258 91561 11533 1 -38.0000 -40.0000 5.26%
2255.05/2263.51 c 2264 91916 11582 1 -38.0000 -40.0000 5.26%
2260.13/2268.60 c 2269 92326 11596 1 -38.0000 -40.0000 5.26%
2266.21/2274.79 c 2275 92487 11605 1 -38.0000 -40.0000 5.26%
2271.29/2279.88 c 2280 92840 11614 1 -38.0000 -40.0000 5.26%
2276.37/2284.96 c 2285 93292 11594 1 -38.0000 -40.0000 5.26%
2281.75/2290.38 c 2290 93465 11591 1 -38.0000 -40.0000 5.26%
2287.14/2295.76 c 2296 93610 11568 1 -38.0000 -40.0000 5.26%
2292.81/2301.44 c 2301 93973 11575 1 -38.0000 -40.0000 5.26%
2298.09/2306.75 c 2307 94284 11616 1 -38.0000 -40.0000 5.26%
2303.87/2312.55 c 2313 94569 11633 1 -38.0000 -40.0000 5.26%
2309.46/2318.13 c 2318 94720 11652 1 -38.0000 -40.0000 5.26%
2315.24/2323.98 c 2324 95049 11665 1 -38.0000 -40.0000 5.26%
2320.61/2329.32 c 2329 95432 11692 1 -38.0000 -40.0000 5.26%
2325.69/2334.40 c 2334 95846 11747 1 -38.0000 -40.0000 5.26%
2330.68/2339.46 c 2339 96305 11824 1 -38.0000 -40.0000 5.26%
2335.75/2344.52 c 2345 96735 11892 1 -38.0000 -40.0000 5.26%
2340.83/2349.60 c 2350 97264 11934 1 -38.0000 -40.0000 5.26%
2345.92/2354.70 c 2355 97735 11979 1 -38.0000 -40.0000 5.26%
2351.30/2360.18 c 2360 97990 11984 1 -38.0000 -40.0000 5.26%
2356.78/2365.61 c 2366 98377 11993 1 -38.0000 -40.0000 5.26%
2361.76/2370.69 c 2371 98687 11998 1 -38.0000 -40.0000 5.26%
2367.14/2376.02 c 2376 99037 12050 1 -38.0000 -40.0000 5.26%
2372.12/2381.10 c 2381 99478 12077 1 -38.0000 -40.0000 5.26%
2377.20/2386.18 c 2386 99871 12122 1 -38.0000 -40.0000 5.26%
2382.28/2391.25 c 2391 100373 12179 1 -38.0000 -40.0000 5.26%
2388.75/2397.71 c 2398 100777 12229 1 -38.0000 -40.0000 5.26%
2393.73/2402.79 c 2403 101021 12214 1 -38.0000 -40.0000 5.26%
2398.82/2407.84 c 2408 101448 12287 1 -38.0000 -40.0000 5.26%
2403.90/2412.93 c 2413 101771 12360 1 -38.0000 -40.0000 5.26%
2408.98/2418.00 c 2418 102251 12422 1 -38.0000 -40.0000 5.26%
2413.96/2423.09 c 2423 102661 12498 1 -38.0000 -40.0000 5.26%
2419.14/2428.21 c 2428 103095 12526 1 -38.0000 -40.0000 5.26%
2424.22/2433.37 c 2433 103462 12565 1 -38.0000 -40.0000 5.26%
2429.30/2438.42 c 2438 103845 12584 1 -38.0000 -40.0000 5.26%
2434.48/2443.61 c 2444 104127 12609 1 -38.0000 -40.0000 5.26%
2439.47/2448.68 c 2449 104510 12604 1 -38.0000 -40.0000 5.26%
2444.54/2453.75 c 2454 104934 12658 1 -38.0000 -40.0000 5.26%
2449.72/2458.91 c 2459 105286 12684 1 -38.0000 -40.0000 5.26%
2454.81/2464.09 c 2464 105722 12687 1 -38.0000 -40.0000 5.26%
2460.58/2469.80 c 2470 106041 12700 1 -38.0000 -40.0000 5.26%
2465.56/2474.89 c 2475 106485 12720 1 -38.0000 -40.0000 5.26%
2470.75/2480.07 c 2480 106946 12748 1 -38.0000 -40.0000 5.26%
2476.73/2486.07 c 2486 107231 12765 1 -38.0000 -40.0000 5.26%
2481.90/2491.20 c 2491 107616 12840 1 -38.0000 -40.0000 5.26%
2486.99/2496.32 c 2496 107994 12887 1 -38.0000 -40.0000 5.26%
2491.96/2501.38 c 2501 108372 12925 1 -38.0000 -40.0000 5.26%
2497.54/2506.99 c 2507 108781 12946 1 -38.0000 -40.0000 5.26%
2503.13/2512.58 c 2513 109059 12947 1 -38.0000 -40.0000 5.26%
2508.30/2517.73 c 2518 109490 12954 1 -38.0000 -40.0000 5.26%
2513.39/2522.86 c 2523 109842 12950 1 -38.0000 -40.0000 5.26%
2518.46/2527.91 c 2528 110246 13002 1 -38.0000 -40.0000 5.26%
2523.55/2533.00 c 2533 110693 13011 1 -38.0000 -40.0000 5.26%
2528.54/2538.06 c 2538 111154 13038 1 -38.0000 -40.0000 5.26%
2533.91/2543.46 c 2543 111424 13060 1 -38.0000 -40.0000 5.26%
2538.99/2548.55 c 2549 111798 13088 1 -38.0000 -40.0000 5.26%
2544.07/2553.62 c 2554 112211 13183 1 -38.0000 -40.0000 5.26%
2549.95/2559.50 c 2560 112460 13288 1 -38.0000 -40.0000 5.26%
2555.33/2564.92 c 2565 112678 13316 1 -38.0000 -40.0000 5.26%
2560.71/2570.35 c 2570 112871 13319 1 -38.0000 -40.0000 5.26%
2567.39/2577.06 c 2577 113018 13310 1 -38.0000 -40.0000 5.26%
2573.37/2583.04 c 2583 113282 13340 1 -38.0000 -40.0000 5.26%
2578.45/2588.13 c 2588 113766 13360 1 -38.0000 -40.0000 5.26%
2583.63/2593.35 c 2593 113989 13389 1 -38.0000 -40.0000 5.26%
2588.71/2598.45 c 2598 114419 13405 1 -38.0000 -40.0000 5.26%
2593.79/2603.50 c 2604 114837 13447 1 -38.0000 -40.0000 5.26%
2598.87/2608.65 c 2609 115213 13469 1 -38.0000 -40.0000 5.26%
2604.54/2614.35 c 2614 115593 13501 1 -38.0000 -40.0000 5.26%
2609.63/2619.41 c 2619 116051 13478 1 -38.0000 -40.0000 5.26%
2614.81/2624.68 c 2625 116507 13492 1 -38.0000 -40.0000 5.26%
2619.89/2629.74 c 2630 116874 13557 1 -38.0000 -40.0000 5.26%
2624.87/2634.79 c 2635 117363 13618 1 -38.0000 -40.0000 5.26%
2629.95/2639.84 c 2640 117796 13642 1 -38.0000 -40.0000 5.26%
2635.14/2645.05 c 2645 118297 13695 1 -38.0000 -40.0000 5.26%
2640.22/2650.12 c 2650 118777 13757 1 -38.0000 -40.0000 5.26%
2645.29/2655.24 c 2655 119232 13776 1 -38.0000 -40.0000 5.26%
2650.47/2660.45 c 2660 119611 13833 1 -38.0000 -40.0000 5.26%
2655.55/2665.52 c 2666 120019 13874 1 -38.0000 -40.0000 5.26%
2660.63/2670.61 c 2671 120193 13868 1 -38.0000 -40.0000 5.26%
2665.82/2675.80 c 2676 120593 13893 1 -38.0000 -40.0000 5.26%
2671.10/2681.16 c 2681 120748 13896 1 -38.0000 -40.0000 5.26%
2676.17/2686.22 c 2686 121127 13896 1 -38.0000 -40.0000 5.26%
2681.35/2691.41 c 2691 121499 13922 1 -38.0000 -40.0000 5.26%
2687.34/2697.41 c 2697 121757 13938 1 -38.0000 -40.0000 5.26%
2692.62/2702.72 c 2703 122110 13959 1 -38.0000 -40.0000 5.26%
2697.59/2707.79 c 2708 122527 13984 1 -38.0000 -40.0000 5.26%
2703.68/2713.83 c 2714 122728 14037 1 -38.0000 -40.0000 5.26%
2708.76/2718.93 c 2719 123152 14077 1 -38.0000 -40.0000 5.26%
2713.84/2724.07 c 2724 123546 14145 1 -38.0000 -40.0000 5.26%
2719.83/2730.03 c 2730 123646 14161 1 -38.0000 -40.0000 5.26%
2725.20/2735.41 c 2735 123778 14179 1 -38.0000 -40.0000 5.26%
2731.18/2741.41 c 2741 123949 14200 1 -38.0000 -40.0000 5.26%
2736.26/2746.59 c 2747 124248 14309 1 -38.0000 -40.0000 5.26%
2741.44/2751.74 c 2752 124599 14376 1 -38.0000 -40.0000 5.26%
2746.52/2756.88 c 2757 125044 14477 1 -38.0000 -40.0000 5.26%
2751.61/2761.95 c 2762 125435 14560 1 -38.0000 -40.0000 5.26%
2756.69/2767.07 c 2767 125802 14607 1 -38.0000 -40.0000 5.26%
2761.86/2772.26 c 2772 126219 14652 1 -38.0000 -40.0000 5.26%
2767.25/2777.69 c 2778 126621 14700 1 -38.0000 -40.0000 5.26%
2772.33/2782.72 c 2783 126914 14715 1 -38.0000 -40.0000 5.26%
2777.31/2787.78 c 2788 127402 14739 1 -38.0000 -40.0000 5.26%
2782.39/2792.84 c 2793 127884 14789 1 -38.0000 -40.0000 5.26%
2787.47/2797.91 c 2798 128388 14835 1 -38.0000 -40.0000 5.26%
2792.75/2803.28 c 2803 128816 14893 1 -38.0000 -40.0000 5.26%
2797.93/2808.48 c 2808 129054 14909 1 -38.0000 -40.0000 5.26%
2803.41/2813.90 c 2814 129407 14926 1 -38.0000 -40.0000 5.26%
2808.39/2818.95 c 2819 129825 14963 1 -38.0000 -40.0000 5.26%
2813.48/2824.03 c 2824 130310 14990 1 -38.0000 -40.0000 5.26%
2819.05/2829.66 c 2830 130685 14989 1 -38.0000 -40.0000 5.26%
2824.54/2835.19 c 2835 130944 15018 1 -38.0000 -40.0000 5.26%
2831.31/2841.96 c 2842 131314 15032 1 -38.0000 -40.0000 5.26%
2836.40/2847.04 c 2847 131768 15088 1 -38.0000 -40.0000 5.26%
2842.37/2853.02 c 2853 132100 15124 1 -38.0000 -40.0000 5.26%
2848.15/2858.82 c 2859 132567 15095 1 -38.0000 -40.0000 5.26%
2853.14/2863.89 c 2864 133076 15120 1 -38.0000 -40.0000 5.26%
2858.21/2868.97 c 2869 133539 15171 1 -38.0000 -40.0000 5.26%
2863.30/2874.07 c 2874 134003 15217 1 -38.0000 -40.0000 5.26%
2868.76/2879.53 c 2880 134436 15200 1 -38.0000 -40.0000 5.26%
2873.85/2884.61 c 2885 134867 15213 1 -38.0000 -40.0000 5.26%
2879.03/2889.88 c 2890 135128 15234 1 -38.0000 -40.0000 5.26%
2884.22/2895.02 c 2895 135586 15278 1 -38.0000 -40.0000 5.26%
2889.49/2900.33 c 2900 135995 15305 1 -38.0000 -40.0000 5.26%
2894.67/2905.58 c 2906 136286 15312 1 -38.0000 -40.0000 5.26%
2899.75/2910.66 c 2911 136669 15373 1 -38.0000 -40.0000 5.26%
2905.03/2915.95 c 2916 137056 15426 1 -38.0000 -40.0000 5.26%
2910.81/2921.77 c 2922 137463 15427 1 -38.0000 -40.0000 5.26%
2915.89/2926.87 c 2927 137879 15423 1 -38.0000 -40.0000 5.26%
2920.97/2931.95 c 2932 138264 15432 1 -38.0000 -40.0000 5.26%
2926.15/2937.18 c 2937 138719 15453 1 -38.0000 -40.0000 5.26%
2931.43/2942.40 c 2942 139119 15461 1 -38.0000 -40.0000 5.26%
2937.21/2948.27 c 2948 139529 15469 1 -38.0000 -40.0000 5.26%
2942.99/2954.08 c 2954 139916 15486 1 -38.0000 -40.0000 5.26%
2948.77/2959.89 c 2960 140283 15473 1 -38.0000 -40.0000 5.26%
2953.84/2964.95 c 2965 140712 15518 1 -38.0000 -40.0000 5.26%
2959.33/2970.41 c 2970 141031 15527 1 -38.0000 -40.0000 5.26%
2964.40/2975.58 c 2976 141473 15551 1 -38.0000 -40.0000 5.26%
2969.69/2980.85 c 2981 141812 15598 1 -38.0000 -40.0000 5.26%
2975.27/2986.40 c 2986 142013 15669 1 -38.0000 -40.0000 5.26%
2980.34/2991.54 c 2992 142330 15728 1 -38.0000 -40.0000 5.26%
2986.13/2997.37 c 2997 142658 15748 1 -38.0000 -40.0000 5.26%
2991.81/3003.10 c 3003 142830 15756 1 -38.0000 -40.0000 5.26%
2996.90/3008.15 c 3008 143218 15768 1 -38.0000 -40.0000 5.26%
3003.87/3015.19 c 3015 143558 15739 1 -38.0000 -40.0000 5.26%
3008.94/3020.25 c 3020 143990 15761 1 -38.0000 -40.0000 5.26%
3014.23/3025.55 c 3026 144424 15757 1 -38.0000 -40.0000 5.26%
3019.31/3030.69 c 3031 144616 15755 1 -38.0000 -40.0000 5.26%
3024.38/3035.74 c 3036 145058 15783 1 -38.0000 -40.0000 5.26%
3030.07/3041.44 c 3041 145472 15809 1 -38.0000 -40.0000 5.26%
3035.55/3046.95 c 3047 145847 15834 1 -38.0000 -40.0000 5.26%
3040.64/3052.01 c 3052 146268 15837 1 -38.0000 -40.0000 5.26%
3046.21/3057.65 c 3058 146551 15868 1 -38.0000 -40.0000 5.26%
3051.28/3062.73 c 3063 146954 15913 1 -38.0000 -40.0000 5.26%
3056.47/3067.94 c 3068 147390 15921 1 -38.0000 -40.0000 5.26%
3062.34/3073.86 c 3074 147650 15931 1 -38.0000 -40.0000 5.26%
3067.42/3078.92 c 3079 147712 15935 1 -38.0000 -40.0000 5.26%
3072.82/3084.35 c 3084 147814 15947 1 -38.0000 -40.0000 5.26%
3077.99/3089.53 c 3090 148187 15924 1 -38.0000 -40.0000 5.26%
3084.17/3095.73 c 3096 148542 15931 1 -38.0000 -40.0000 5.26%
3089.25/3100.80 c 3101 149025 15960 1 -38.0000 -40.0000 5.26%
3094.33/3105.94 c 3106 149173 15982 1 -38.0000 -40.0000 5.26%
3099.42/3111.02 c 3111 149627 16038 1 -38.0000 -40.0000 5.26%
3104.40/3116.09 c 3116 150067 16114 1 -38.0000 -40.0000 5.26%
3109.47/3121.13 c 3121 150614 16165 1 -38.0000 -40.0000 5.26%
3114.56/3126.20 c 3126 151008 16229 1 -38.0000 -40.0000 5.26%
3119.63/3131.32 c 3131 151411 16276 1 -38.0000 -40.0000 5.26%
3124.62/3136.37 c 3136 151837 16308 1 -38.0000 -40.0000 5.26%
3129.89/3141.66 c 3142 152275 16328 1 -38.0000 -40.0000 5.26%
3134.97/3146.72 c 3147 152641 16350 1 -38.0000 -40.0000 5.26%
3139.96/3151.78 c 3152 153033 16360 1 -38.0000 -40.0000 5.26%
3145.04/3156.87 c 3157 153393 16412 1 -38.0000 -40.0000 5.26%
3150.33/3162.10 c 3162 153780 16449 1 -38.0000 -40.0000 5.26%
3155.40/3167.20 c 3167 154180 16487 1 -38.0000 -40.0000 5.26%
3160.48/3172.37 c 3172 154611 16482 1 -38.0000 -40.0000 5.26%
3165.56/3177.44 c 3177 155085 16476 1 -38.0000 -40.0000 5.26%
3170.65/3182.50 c 3183 155503 16502 1 -38.0000 -40.0000 5.26%
3175.62/3187.55 c 3188 155925 16500 1 -38.0000 -40.0000 5.26%
3180.70/3192.66 c 3193 156293 16514 1 -38.0000 -40.0000 5.26%
3185.89/3197.82 c 3198 156667 16528 1 -38.0000 -40.0000 5.26%
3190.87/3202.88 c 3203 157152 16582 1 -38.0000 -40.0000 5.26%
3196.55/3208.57 c 3209 157511 16600 1 -38.0000 -40.0000 5.26%
3202.03/3214.04 c 3214 157972 16611 1 -38.0000 -40.0000 5.26%
3207.12/3219.19 c 3219 158408 16637 1 -38.0000 -40.0000 5.26%
3213.69/3225.77 c 3226 158799 16662 1 -38.0000 -40.0000 5.26%
3218.77/3230.84 c 3231 159183 16642 1 -38.0000 -40.0000 5.26%
3224.64/3236.79 c 3237 159607 16680 1 -38.0000 -40.0000 5.26%
3230.62/3242.74 c 3243 159989 16684 1 -38.0000 -40.0000 5.26%
3235.70/3247.87 c 3248 160421 16720 1 -38.0000 -40.0000 5.26%
3240.79/3252.93 c 3253 160867 16707 1 -38.0000 -40.0000 5.26%
3246.46/3258.60 c 3259 161207 16717 1 -38.0000 -40.0000 5.26%
3251.54/3263.70 c 3264 161526 16712 1 -38.0000 -40.0000 5.26%
3256.52/3268.77 c 3269 162004 16722 1 -38.0000 -40.0000 5.26%
3261.61/3273.82 c 3274 162468 16748 1 -38.0000 -40.0000 5.26%
3266.79/3279.07 c 3279 162900 16778 1 -38.0000 -40.0000 5.26%
3271.87/3284.14 c 3284 163172 16830 1 -38.0000 -40.0000 5.26%
3277.44/3289.74 c 3290 163329 16865 1 -38.0000 -40.0000 5.26%
3283.43/3295.70 c 3296 163568 16884 1 -38.0000 -40.0000 5.26%
3288.41/3300.78 c 3301 164006 16932 1 -38.0000 -40.0000 5.26%
3293.49/3305.85 c 3306 164497 16945 1 -38.0000 -40.0000 5.26%
3299.16/3311.56 c 3312 164976 16932 1 -38.0000 -40.0000 5.26%
3304.25/3316.65 c 3317 165301 16949 1 -38.0000 -40.0000 5.26%
3310.22/3322.63 c 3323 165713 16969 1 -38.0000 -40.0000 5.26%
3315.61/3328.02 c 3328 166092 16990 1 -38.0000 -40.0000 5.26%
3320.78/3333.21 c 3333 166435 17009 1 -38.0000 -40.0000 5.26%
3325.97/3338.41 c 3338 166789 17027 1 -38.0000 -40.0000 5.26%
3330.95/3343.48 c 3343 167220 17037 1 -38.0000 -40.0000 5.26%
3336.22/3348.73 c 3349 167599 17054 1 -38.0000 -40.0000 5.26%
3341.20/3353.79 c 3354 168017 17054 1 -38.0000 -40.0000 5.26%
3347.18/3359.77 c 3360 168454 17075 1 -38.0000 -40.0000 5.26%
3352.26/3364.83 c 3365 168942 17090 1 -38.0000 -40.0000 5.26%
3357.45/3370.01 c 3370 169329 17129 1 -38.0000 -40.0000 5.26%
3362.82/3375.49 c 3376 169707 17130 1 -38.0000 -40.0000 5.26%
3367.90/3380.58 c 3381 170076 17139 1 -38.0000 -40.0000 5.26%
3372.98/3385.63 c 3386 170387 17163 1 -38.0000 -40.0000 5.26%
3378.26/3390.95 c 3391 170700 17192 1 -38.0000 -40.0000 5.26%
3383.45/3396.16 c 3396 170987 17191 1 -38.0000 -40.0000 5.26%
3388.52/3401.25 c 3401 171383 17209 1 -38.0000 -40.0000 5.26%
3393.61/3406.32 c 3406 171771 17261 1 -38.0000 -40.0000 5.26%
3399.18/3411.92 c 3412 172091 17267 1 -38.0000 -40.0000 5.26%
3404.77/3417.58 c 3418 172411 17253 1 -38.0000 -40.0000 5.26%
3409.84/3422.68 c 3423 172836 17274 1 -38.0000 -40.0000 5.26%
3415.02/3427.87 c 3428 173144 17274 1 -38.0000 -40.0000 5.26%
3420.10/3432.98 c 3433 173593 17313 1 -38.0000 -40.0000 5.26%
3425.29/3438.14 c 3438 173940 17329 1 -38.0000 -40.0000 5.26%
3430.47/3443.31 c 3443 174144 17333 1 -38.0000 -40.0000 5.26%
3436.34/3449.22 c 3449 174426 17347 1 -38.0000 -40.0000 5.26%
3442.33/3455.20 c 3455 174678 17347 1 -38.0000 -40.0000 5.26%
3447.30/3460.25 c 3460 175136 17339 1 -38.0000 -40.0000 5.26%
3452.39/3465.33 c 3465 175495 17390 1 -38.0000 -40.0000 5.26%
3457.47/3470.40 c 3470 175931 17425 1 -38.0000 -40.0000 5.26%
3463.44/3476.40 c 3476 176325 17431 1 -38.0000 -40.0000 5.26%
3469.42/3482.45 c 3482 176698 17448 1 -38.0000 -40.0000 5.26%
3474.50/3487.50 c 3488 177115 17531 1 -38.0000 -40.0000 5.26%
3480.29/3493.33 c 3493 177436 17586 1 -38.0000 -40.0000 5.26%
3485.56/3498.68 c 3499 177662 17606 1 -38.0000 -40.0000 5.26%
3492.44/3505.52 c 3506 177751 17633 1 -38.0000 -40.0000 5.26%
3498.31/3511.45 c 3511 178017 17639 1 -38.0000 -40.0000 5.26%
3503.40/3516.56 c 3517 178358 17746 1 -38.0000 -40.0000 5.26%
3508.48/3521.66 c 3522 178780 17725 1 -38.0000 -40.0000 5.26%
3513.56/3526.77 c 3527 179217 17740 1 -38.0000 -40.0000 5.26%
3518.94/3532.11 c 3532 179490 17777 1 -38.0000 -40.0000 5.26%
3523.93/3537.17 c 3537 179831 17840 1 -38.0000 -40.0000 5.26%
3529.00/3542.22 c 3542 180312 17891 1 -38.0000 -40.0000 5.26%
3534.28/3547.56 c 3548 180797 17922 1 -38.0000 -40.0000 5.26%
3539.36/3552.67 c 3553 181104 17911 1 -38.0000 -40.0000 5.26%
3545.35/3558.67 c 3559 181365 17910 1 -38.0000 -40.0000 5.26%
3550.53/3563.89 c 3564 181736 17933 1 -38.0000 -40.0000 5.26%
3556.30/3569.66 c 3570 182125 17946 1 -38.0000 -40.0000 5.26%
3561.89/3575.28 c 3575 182310 17939 1 -38.0000 -40.0000 5.26%
3566.97/3580.35 c 3580 182808 17949 1 -38.0000 -40.0000 5.26%
3572.05/3585.40 c 3585 183276 17945 1 -38.0000 -40.0000 5.26%
3578.13/3591.58 c 3592 183681 17996 1 -38.0000 -40.0000 5.26%
3583.41/3596.88 c 3597 183776 18027 1 -38.0000 -40.0000 5.26%
3585.00/3598.40 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.00/3598.40 c Total Time : 3598.41
3585.00/3598.40 c solving : 3598.41
3585.00/3598.40 c presolving : 0.69 (included in solving)
3585.00/3598.40 c B&B Tree :
3585.00/3598.40 c nodes (total) : 1
3585.00/3598.40 c Solution :
3585.00/3598.40 c Solutions found : 9
3585.00/3598.40 c Primal Bound : -3.80000000000000e+01
3585.00/3598.40 c Dual Bound : -4.00000000000000e+01
3585.00/3598.40 c Gap : 5.26316 %
3585.00/3598.40 c * Warning: final gap: 5.26316e-02 is greater than SCIPepsilon: 1.00000e-09
3585.00/3598.41 o -38
3585.00/3598.41 s SATISFIABLE
3585.00/3598.41 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3585.00/3598.41 v x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53
3585.00/3598.41 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
3585.00/3598.41 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103
3585.00/3598.41 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3585.00/3598.41 v x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3585.00/3598.41 v -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3585.00/3598.41 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3585.00/3598.41 v -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3585.00/3598.41 v -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3585.00/3598.41 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250
3585.00/3598.41 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
3585.00/3598.41 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
3585.00/3598.41 v -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
3585.00/3598.41 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
3585.00/3598.41 v -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355
3585.00/3598.41 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
3585.00/3598.41 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397
3585.00/3598.41 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
3585.00/3598.41 v -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
3585.00/3598.41 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460
3585.00/3598.41 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
3585.00/3598.41 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
3585.00/3598.41 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
3585.00/3598.41 v -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544
3585.00/3598.41 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
3585.00/3598.41 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
3585.00/3598.41 v -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
3585.00/3598.41 v x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
3585.00/3598.41 v x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
3585.00/3598.41 v -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
3585.00/3598.41 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
3585.00/3598.45 v -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
3585.00/3598.45 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
3585.00/3598.45 v -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
3585.00/3598.45 v -x755 -x756 -x757 -x758 -x759 -x760
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 (62069 MiB free)
memory of node 1: 64510 MiB (59262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464046-1722378594/watcher-4464046-1722378594 -o /tmp/evaluation-result-4464046-1722378594/solver-4464046-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722378594-29035 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464046-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=29091, runsolver pid=29088
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 0.12 0.11 0.09 5/259 29099
/proc/meminfo: memFree=124114232/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=74556 memory=62492 CPUtime=0.09 cores=0,2
/proc/29091/stat : 29091 (fscip) R 29088 29091 29025 0 -1 4194304 13431 0 0 0 8 1 0 0 20 0 1 0 4456509 76345344 15623 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 18639 15623 2614 3035 0 15035 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74556 KiB
Current children cumulated memory: 62492 KiB
[startup+0.20567 s]*
/proc/loadavg: 0.12 0.11 0.09 5/259 29099
/proc/meminfo: memFree=123926600/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=102224 memory=90900 CPUtime=0.2 cores=0,2
/proc/29091/stat : 29091 (fscip) R 29088 29091 29025 0 -1 4194304 22612 0 0 0 18 2 0 0 20 0 1 0 4456509 104677376 22725 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 25556 22725 2678 3035 0 21952 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102224 KiB
Current children cumulated memory: 90900 KiB
[startup+0.305597 s]*
/proc/loadavg: 0.12 0.11 0.09 5/259 29099
/proc/meminfo: memFree=123827704/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=96532 memory=84736 CPUtime=0.3 cores=0,2
/proc/29091/stat : 29091 (fscip) R 29088 29091 29025 0 -1 4194304 25440 0 0 0 27 3 0 0 20 0 1 0 4456509 98848768 21184 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 24133 21184 2710 3035 0 20529 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96532 KiB
Current children cumulated memory: 84736 KiB
[startup+0.700229 s]
/proc/loadavg: 0.12 0.11 0.09 5/259 29099
/proc/meminfo: memFree=123705792/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=165172 memory=145404 CPUtime=0.68 cores=0,2
/proc/29091/stat : 29091 (fscip) R 29088 29091 29025 0 -1 4194304 33749 0 0 0 63 5 0 0 20 0 1 0 4456509 169136128 36351 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 41293 36351 2758 3035 0 37689 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 165172 KiB
Current children cumulated memory: 145404 KiB
[startup+1.50025 s]
/proc/loadavg: 0.12 0.11 0.09 5/261 29101
/proc/meminfo: memFree=123311700/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=412360 memory=321160 CPUtime=1.48 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 73764 0 0 0 137 11 0 0 20 0 3 0 4456509 422256640 80290 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 103090 80290 2790 3035 0 88758 0
[pid=29091/tid=29100] ppid=29088 vsize=412360 memory=2588 CPUtime=0.64 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 29694 0 0 0 61 3 0 0 20 0 3 0 4456588 422256640 80290 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=412360 memory=2268 CPUtime=0 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456598 422256640 80290 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 412360 KiB
Current children cumulated memory: 321160 KiB
[startup+3.10543 s]
/proc/loadavg: 0.12 0.11 0.09 5/261 29101
/proc/meminfo: memFree=123120600/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=502480 memory=399148 CPUtime=3.08 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 108379 0 0 0 293 15 0 0 20 0 3 0 4456509 514539520 99787 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 125620 99787 2998 3035 0 109741 0
[pid=29091/tid=29100] ppid=29088 vsize=502480 memory=2268 CPUtime=2.24 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 64140 0 0 0 217 7 0 0 20 0 3 0 4456588 514539520 99787 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=502480 memory=1972 CPUtime=0 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4456598 514539520 99787 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 502480 KiB
Current children cumulated memory: 399148 KiB
[startup+6.30022 s]
/proc/loadavg: 0.43 0.18 0.11 5/262 29104
/proc/meminfo: memFree=123090964/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=502480 memory=402324 CPUtime=6.27 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 126032 0 0 0 610 17 0 0 20 0 3 0 4456509 514539520 100581 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 125620 100581 2998 3035 0 114379 0
[pid=29091/tid=29100] ppid=29088 vsize=502480 memory=0 CPUtime=5.43 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 81793 0 0 0 534 9 0 0 20 0 3 0 4456588 514539520 100581 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=502480 memory=124932008764240 CPUtime=0 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4456598 514539520 100581 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 502480 KiB
Current children cumulated memory: 402324 KiB
[startup+12.7002 s]
/proc/loadavg: 0.72 0.24 0.13 5/264 29106
/proc/meminfo: memFree=122221536/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=653068 memory=464092 CPUtime=12.65 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 179809 0 0 0 1244 21 0 0 20 0 3 0 4456509 668741632 116023 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 163267 116023 2998 3035 0 143934 0
[pid=29091/tid=29100] ppid=29088 vsize=653068 memory=399148 CPUtime=11.8 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 135565 0 0 0 1167 13 0 0 20 0 3 0 4456588 668741632 116023 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=653068 memory=412000 CPUtime=0 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4456598 668741632 116023 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 653068 KiB
Current children cumulated memory: 464092 KiB
[startup+25.5003 s]
/proc/loadavg: 1.45 0.43 0.20 5/264 29109
/proc/meminfo: memFree=121937048/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=653068 memory=464124 CPUtime=25.39 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 216789 0 0 0 2516 23 0 0 20 0 3 0 4456509 668741632 116031 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 163267 116031 2998 3035 0 143934 0
[pid=29091/tid=29100] ppid=29088 vsize=653068 memory=412000 CPUtime=24.55 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 172444 0 0 0 2440 15 0 0 20 0 3 0 4456588 668741632 116031 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=653068 memory=132 CPUtime=0 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4456598 668741632 116031 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 653068 KiB
Current children cumulated memory: 464124 KiB
[startup+51.1057 s]
/proc/loadavg: 2.32 0.71 0.30 5/267 29171
/proc/meminfo: memFree=121224764/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=653228 memory=464356 CPUtime=50.9 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 281817 0 0 0 5063 27 0 0 20 0 3 0 4456509 668905472 116089 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 163307 116089 2998 3035 0 151673 0
[pid=29091/tid=29100] ppid=29088 vsize=653228 memory=7686721470264483783 CPUtime=50.05 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 236969 0 0 0 4987 18 0 0 20 0 3 0 4456588 668905472 116089 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=653228 memory=464184 CPUtime=0 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4456598 668905472 116089 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 653228 KiB
Current children cumulated memory: 464356 KiB
[startup+102.3 s]
/proc/loadavg: 3.76 1.34 0.53 5/265 29182
/proc/meminfo: memFree=120940652/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=718764 memory=505208 CPUtime=101.91 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 372191 0 0 0 10158 33 0 0 20 0 3 0 4456509 736014336 126302 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 179691 126302 2998 3035 0 172142 0
[pid=29091/tid=29100] ppid=29088 vsize=718764 memory=11576 CPUtime=101.06 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 327211 0 0 0 10081 25 0 0 20 0 3 0 4456588 736014336 126302 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=718764 memory=491296 CPUtime=0 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4456598 736014336 126302 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 718764 KiB
Current children cumulated memory: 505208 KiB
[startup+162.3 s]
/proc/loadavg: 4.38 1.97 0.80 5/265 29192
/proc/meminfo: memFree=120862348/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=816772 memory=583292 CPUtime=161.68 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 468608 0 0 0 16128 40 0 0 20 0 3 0 4456509 836374528 145823 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 204193 145823 3302 3035 0 195514 0
[pid=29091/tid=29100] ppid=29088 vsize=816772 memory=12888 CPUtime=160.83 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 423350 0 0 0 16051 32 0 0 20 0 3 0 4456588 836374528 145823 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=816772 memory=562224 CPUtime=0 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4456598 836374528 145823 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 816772 KiB
Current children cumulated memory: 583292 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 2.40 1.03 5/265 29202
/proc/meminfo: memFree=120807420/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=832004 memory=592700 CPUtime=221.47 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 507946 0 0 0 22103 44 0 0 20 0 3 0 4456509 851972096 148175 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 208001 148175 3302 3035 0 201077 0
[pid=29091/tid=29100] ppid=29088 vsize=832004 memory=577456 CPUtime=220.61 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 462634 0 0 0 22026 35 0 0 20 0 3 0 4456588 851972096 148175 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=832004 memory=592700 CPUtime=0 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4456598 851972096 148175 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 832004 KiB
Current children cumulated memory: 592700 KiB
################
# More data... #
################
/proc/29091/statm: 505009 445426 3302 3035 0 492613 0
[pid=29091/tid=29100] ppid=29088 vsize=2020036 memory=11576 CPUtime=3388.57 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4414469 0 0 0 338457 400 0 0 20 0 3 0 4456588 2068516864 445426 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=2020036 memory=12888 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 4456598 2068516864 445426 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3389.62 s
Current children cumulated vsize: 2020036 KiB
Current children cumulated memory: 1781704 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/263 30856
/proc/meminfo: memFree=119469024/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=2085572 memory=1836232 CPUtime=3449.39 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 4602295 0 0 0 344513 426 0 0 20 0 3 0 4456509 2135625728 459058 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 521393 459058 3302 3035 0 500262 0
[pid=29091/tid=29100] ppid=29088 vsize=2085572 memory=11576 CPUtime=3448.34 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4555194 0 0 0 344423 411 0 0 20 0 3 0 4456588 2135625728 459058 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=2085572 memory=1835988 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 4456598 2135625728 459058 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3449.39 s
Current children cumulated vsize: 2085572 KiB
Current children cumulated memory: 1836232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/263 30867
/proc/meminfo: memFree=119465364/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=2085572 memory=1837236 CPUtime=3509.18 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 4727947 0 0 0 350483 435 0 0 20 0 3 0 4456509 2135625728 459309 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 521393 459309 3302 3035 0 500262 0
[pid=29091/tid=29100] ppid=29088 vsize=2085572 memory=1836232 CPUtime=3508.12 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4680822 0 0 0 350392 420 0 0 20 0 3 0 4456588 2135625728 459309 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=2085572 memory=1836816 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 150 0 0 0 1 2 0 0 20 0 3 0 4456598 2135625728 459309 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3509.18 s
Current children cumulated vsize: 2085572 KiB
Current children cumulated memory: 1837236 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/265 31047
/proc/meminfo: memFree=119475756/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=2020036 memory=1813588 CPUtime=3568.96 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 4792818 0 0 0 356453 443 0 0 20 0 3 0 4456509 2068516864 453397 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 505009 453397 3302 3035 0 499917 0
[pid=29091/tid=29100] ppid=29088 vsize=2020036 memory=1813364 CPUtime=3567.9 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4745668 0 0 0 356362 428 0 0 20 0 3 0 4456588 2068516864 453397 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=2020036 memory=11576 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 4456598 2068516864 453397 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3568.96 s
Current children cumulated vsize: 2020036 KiB
Current children cumulated memory: 1813588 KiB
[startup+3598.47 s]
# the end of solver process 29091 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.53 s, system=4.55967 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.05 5/265 31049
/proc/meminfo: memFree=119474884/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=2020036 memory=1813836 CPUtime=3570.66 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 4793448 0 0 0 356623 443 0 0 20 0 3 0 4456509 2068516864 453459 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 505009 453459 3302 3035 0 499917 0
[pid=29091/tid=29100] ppid=29088 vsize=2020036 memory=-7452449699976536190 CPUtime=3569.6 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4746298 0 0 0 356532 428 0 0 20 0 3 0 4456588 2068516864 453459 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=2020036 memory=4353456488556687008 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 4456598 2068516864 453459 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3570.66 s
Current children cumulated vsize: 2020036 KiB
Current children cumulated memory: 1813836 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.10 4.05 5/265 31049
/proc/meminfo: memFree=119463788/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=2020036 memory=1824480 CPUtime=3577.03 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 4868354 0 0 0 357255 448 0 0 20 0 3 0 4456509 2068516864 456120 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 505009 456120 3302 3035 0 499917 0
[pid=29091/tid=29100] ppid=29088 vsize=2020036 memory=1972 CPUtime=3575.97 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4821204 0 0 0 357164 433 0 0 20 0 3 0 4456588 2068516864 456120 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=2020036 memory=100 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 4456598 2068516864 456120 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3577.03 s
Current children cumulated vsize: 2020036 KiB
Current children cumulated memory: 1824480 KiB
[startup+3593.6 s]
/proc/loadavg: 4.07 4.10 4.05 5/265 31049
/proc/meminfo: memFree=119463592/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=2020036 memory=1824604 CPUtime=3580.22 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 4868440 0 0 0 357574 448 0 0 20 0 3 0 4456509 2068516864 456151 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 505009 456151 3302 3035 0 499917 0
[pid=29091/tid=29100] ppid=29088 vsize=2020036 memory=1824480 CPUtime=3579.16 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4821290 0 0 0 357483 433 0 0 20 0 3 0 4456588 2068516864 456151 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=2020036 memory=1824480 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 4456598 2068516864 456151 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3580.22 s
Current children cumulated vsize: 2020036 KiB
Current children cumulated memory: 1824604 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.10 4.05 5/265 31050
/proc/meminfo: memFree=119463316/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=2020036 memory=1824812 CPUtime=3583.41 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 4868670 0 0 0 357893 448 0 0 20 0 3 0 4456509 2068516864 456203 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 505009 456203 3302 3035 0 499917 0
[pid=29091/tid=29100] ppid=29088 vsize=2020036 memory=280211585392976 CPUtime=3582.35 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4821520 0 0 0 357802 433 0 0 20 0 3 0 4456588 2068516864 456203 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=2020036 memory=12888 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 4456598 2068516864 456203 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 2020036 KiB
Current children cumulated memory: 1824812 KiB
[startup+3597.6 s]
/proc/loadavg: 4.06 4.10 4.05 5/265 31050
/proc/meminfo: memFree=119463324/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=2020036 memory=1824812 CPUtime=3584.21 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 4868704 0 0 0 357973 448 0 0 20 0 3 0 4456509 2068516864 456203 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 505009 456203 3302 3035 0 499917 0
[pid=29091/tid=29100] ppid=29088 vsize=2020036 memory=5448 CPUtime=3583.15 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4821554 0 0 0 357882 433 0 0 20 0 3 0 4456588 2068516864 456203 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=2020036 memory=15884 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 4456598 2068516864 456203 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3584.21 s
Current children cumulated vsize: 2020036 KiB
Current children cumulated memory: 1824812 KiB
[startup+3598 s]*
/proc/loadavg: 4.06 4.10 4.05 5/265 31050
/proc/meminfo: memFree=119463296/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=2020036 memory=1824824 CPUtime=3584.61 cores=0,2
/proc/29091/stat : 29091 (fscip) R 29088 29091 29025 0 -1 1077936128 4868746 0 0 0 358013 448 0 0 20 0 3 0 4456509 2068516864 456206 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 505009 456206 3302 3035 0 499917 0
[pid=29091/tid=29100] ppid=29088 vsize=2020036 memory=-7452449699976536190 CPUtime=3583.55 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4821596 0 0 0 357922 433 0 0 20 0 3 0 4456588 2068516864 456206 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=2020036 memory=4353456488556687008 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 4456598 2068516864 456206 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3584.61 s
Current children cumulated vsize: 2020036 KiB
Current children cumulated memory: 1824824 KiB
[startup+3598.4 s]
/proc/loadavg: 4.06 4.10 4.05 5/265 31050
/proc/meminfo: memFree=119463296/131524592 swapFree=131071996/131071996
[pid=29091] ppid=29088 vsize=1974924 memory=1671980 CPUtime=3585 cores=0,2
/proc/29091/stat : 29091 (fscip) S 29088 29091 29025 0 -1 1077936128 4930717 0 0 0 358048 452 0 0 20 0 3 0 4456509 2022322176 417995 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
/proc/29091/statm: 493731 417995 3302 3035 0 488639 0
[pid=29091/tid=29100] ppid=29088 vsize=1974924 memory=1824812 CPUtime=3583.95 cores=0,2
/proc/29091/task/29100/stat : 29100 (fscip) R 29088 29091 29025 0 -1 4194368 4883566 0 0 0 357958 437 0 0 20 0 3 0 4456588 2022322176 417995 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
[pid=29091/tid=29101] ppid=29088 vsize=1974924 memory=4353456488556687008 CPUtime=0.03 cores=0,2
/proc/29091/task/29101/stat : 29101 (fscip) S 29088 29091 29025 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 4456598 2022322176 417995 134679101440 4194304 16623229 140724978637792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 34865152 140724978639894 140724978640010 140724978640010 140724978647024 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 1974924 KiB
Current children cumulated memory: 1671980 KiB
Child status: 0
Real time (s): 3598.47
CPU time (s): 3585.09
CPU user time (s): 3580.53
CPU system time (s): 4.55967
CPU usage (%): 99.6281
Max. virtual memory (cumulated for all children) (KiB): 2085572
Max. memory (cumulated for all children) (KiB): 1847900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.53
system time used= 4.55967
maximum resident set size= 1856160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4935865
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= 9770
involuntary context switches= 25119
# summary of solver processes directly reported to runsolver:
# pid: 29091
# total CPU time (s): 3585.09
# total CPU user time (s): 3580.53
# total CPU system time (s): 4.55967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98899 second user time and 16.7663 second system time
The end
Begin job on nodeC016 at 2024-07-31 00:29:54
IDJOB=4464046
IDBENCH=146695
IDSOLVER=3092
FILE ID=nodeC016/4464046-1722378594
RUNJOBID= nodeC016-1722378594-29035
SLURM_JOB_ID= 8249829
Free space on /tmp= 890016 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.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-4464046-1722378594/watcher-4464046-1722378594 -o /tmp/evaluation-result-4464046-1722378594/solver-4464046-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722378594-29035 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464046-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=1497379858
nodeC016.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 : 3628.870
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.92
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 : 3380.743
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.47
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 : 3662.153
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.92
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 : 3670.307
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.47
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 : 3628.256
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.92
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 : 3675.493
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.47
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 : 3648.506
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.92
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 : 3663.589
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.47
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524592 kB
MemFree: 124267272 kB
MemAvailable: 129627248 kB
Buffers: 93796 kB
Cached: 6072544 kB
SwapCached: 0 kB
Active: 266384 kB
Inactive: 6451812 kB
Active(anon): 1472 kB
Inactive(anon): 571756 kB
Active(file): 264912 kB
Inactive(file): 5880056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 124692 kB
Writeback: 0 kB
AnonPages: 552136 kB
Mapped: 106584 kB
Shmem: 21336 kB
KReclaimable: 109624 kB
Slab: 196548 kB
SReclaimable: 109624 kB
SUnreclaim: 86924 kB
KernelStack: 4064 kB
PageTables: 9676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 851128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 272384 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: 275156 kB
DirectMap2M: 7886848 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC016 at 2024-07-31 01:29:53