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.06 c Default LC presolving (default).
0.00/0.06 c ** Before presolving: virtualMemUsedAtLc = 37900288, getVmSize() = 37900288, SCIPgetMemUsed() = 11805212, SCIPgetMemTotal() = 15646716, SCIPgetMemExternEstim() = 9624606
0.00/0.06 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.51/0.52 c ** Estimated virtualMemUsedAtSolver = 32490837, getVmSize() = 59572224, SCIPgetMemUsed() = 19228391, SCIPgetMemTotal() = 35188263, SCIPgetMemExternEstim() = 9624606
0.51/0.52 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.51/0.52 c Original Problem :
0.51/0.52 c Problem name : instance-4464176-1722382201
0.51/0.52 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
0.51/0.52 c Constraints : 9296
0.51/0.52 c Objective sense : minimize
0.51/0.52 c Presolved Problem :
0.51/0.52 c Variables : 790 (790 binary, 0 integer, 0 implicit integer, 0 continuous)
0.51/0.52 c Constraints : 9224
0.51/0.52 c Constraints : Number
0.51/0.52 c setppc : 9224
0.51/0.52 c ** Instance transfer method used: 0
0.51/0.55 c ** ParaScipInstance copy does not increase the number of variables. **
0.51/0.58 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.51/0.58 c Nodes Active
0.51/0.58 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.99/1.01 c * 1 0 1 1 10.0000 - -
1.09/1.11 c * 1 0 1 1 9.0000 - -
5.16/5.26 c 5 36 32 1 9.0000 7.0000 28.57%
10.44/10.51 c 11 203 199 1 9.0000 7.0000 28.57%
15.73/15.82 c 16 329 325 1 9.0000 7.0000 28.57%
20.82/20.95 c 21 532 508 1 9.0000 7.0000 28.57%
26.02/26.12 c 26 679 643 1 9.0000 7.0000 28.57%
31.28/31.40 c 31 815 773 1 9.0000 7.0000 28.57%
36.56/36.70 c 37 975 921 1 9.0000 7.0000 28.57%
42.05/42.26 c 42 1129 1067 1 9.0000 7.0000 28.57%
47.33/47.50 c 48 1260 1190 1 9.0000 7.0000 28.57%
52.52/52.72 c 53 1387 1305 1 9.0000 7.0000 28.57%
58.00/58.25 c 58 1612 1480 1 9.0000 7.0000 28.57%
63.18/63.44 c 63 1854 1692 1 9.0000 7.0000 28.57%
68.27/68.50 c 68 2150 1944 1 9.0000 7.0000 28.57%
73.36/73.61 c 74 2480 2220 1 9.0000 7.0000 28.57%
78.75/79.03 c 79 2712 1 1 9.0000 7.0000 28.57%
83.92/84.26 c 84 2867 136 1 9.0000 7.0000 28.57%
89.21/89.55 c 90 3003 264 1 9.0000 7.0000 28.57%
94.39/94.75 c 95 3176 411 1 9.0000 7.0000 28.57%
99.57/99.97 c 100 3401 608 1 9.0000 7.0000 28.57%
104.77/105.13 c 105 3616 793 1 9.0000 7.0000 28.57%
109.84/110.27 c 110 3895 1060 1 9.0000 7.0000 28.57%
115.22/115.62 c 116 4219 1361 1 9.0000 7.0000 28.57%
120.20/120.68 c 121 4641 1773 1 9.0000 7.0000 28.57%
125.29/125.74 c 126 5066 2172 1 9.0000 7.0000 28.57%
130.47/130.99 c 131 5324 2414 1 9.0000 7.0000 28.57%
135.66/136.15 c 136 5593 2669 1 9.0000 7.0000 28.57%
140.84/141.36 c 141 5918 2972 1 9.0000 7.0000 28.57%
146.02/146.54 c 147 6295 3335 1 9.0000 7.0000 28.57%
151.20/151.76 c 152 6619 3647 1 9.0000 7.0000 28.57%
156.50/157.06 c 157 6935 3951 1 9.0000 7.0000 28.57%
161.58/162.17 c 162 7321 4319 1 9.0000 7.0000 28.57%
166.65/167.28 c 167 7747 4723 1 9.0000 7.0000 28.57%
171.73/172.36 c 172 8208 5154 1 9.0000 7.0000 28.57%
176.82/177.42 c 177 8736 5632 1 9.0000 7.0000 28.57%
181.80/182.48 c 182 9202 6070 1 9.0000 7.0000 28.57%
186.88/187.56 c 188 9617 6457 1 9.0000 7.0000 28.57%
191.97/192.62 c 193 10159 6957 1 9.0000 7.0000 28.57%
197.06/197.77 c 198 10582 7372 1 9.0000 7.0000 28.57%
202.14/202.85 c 203 11002 7776 1 9.0000 7.0000 28.57%
207.22/207.94 c 208 11356 8118 1 9.0000 7.0000 28.57%
212.21/212.99 c 213 11844 8568 1 9.0000 7.0000 28.57%
217.40/218.17 c 218 12220 8909 1 9.0000 7.0000 28.57%
222.46/223.24 c 223 12694 9359 1 9.0000 7.0000 28.57%
227.55/228.31 c 228 13205 9842 1 9.0000 7.0000 28.57%
232.73/233.50 c 234 13729 10261 1 9.0000 7.0000 28.57%
237.72/238.59 c 239 14133 10631 1 9.0000 7.0000 28.57%
242.79/243.65 c 244 14603 11026 1 9.0000 7.0000 28.57%
247.88/248.72 c 249 15096 11463 1 9.0000 7.0000 28.57%
252.96/253.80 c 254 15558 11897 1 9.0000 7.0000 28.57%
258.04/258.90 c 259 15978 12283 1 9.0000 7.0000 28.57%
263.02/263.98 c 264 16455 12736 1 9.0000 7.0000 28.57%
268.11/269.03 c 269 17005 13214 1 9.0000 7.0000 28.57%
273.08/274.09 c 274 17507 13674 1 9.0000 7.0000 28.57%
278.17/279.15 c 279 18021 14154 1 9.0000 7.0000 28.57%
283.23/284.24 c 284 18583 14678 1 9.0000 7.0000 28.57%
288.32/289.30 c 289 19124 15171 1 9.0000 7.0000 28.57%
293.40/294.45 c 294 19579 15582 1 9.0000 7.0000 28.57%
298.47/299.52 c 300 20077 16020 1 9.0000 7.0000 28.57%
303.45/304.58 c 305 20644 16517 1 9.0000 7.0000 28.57%
308.54/309.65 c 310 21044 16883 1 9.0000 7.0000 28.57%
313.93/315.11 c 315 21398 17197 1 9.0000 7.0000 28.57%
319.10/320.24 c 320 21779 17538 1 9.0000 7.0000 28.57%
324.18/325.31 c 325 22295 17981 1 9.0000 7.0000 28.57%
329.16/330.36 c 330 22848 18490 1 9.0000 7.0000 28.57%
334.24/335.41 c 335 23451 19045 1 9.0000 7.0000 28.57%
339.22/340.48 c 340 24048 19592 1 9.0000 7.0000 28.57%
344.31/345.54 c 346 24635 20146 1 9.0000 7.0000 28.57%
349.29/350.59 c 351 25236 20717 1 9.0000 7.0000 28.57%
354.37/355.65 c 356 25826 21265 1 9.0000 7.0000 28.57%
359.45/360.73 c 361 26358 21771 1 9.0000 7.0000 28.57%
364.44/365.78 c 366 26963 22323 1 9.0000 7.0000 28.57%
369.53/370.86 c 371 27567 22862 1 9.0000 7.0000 28.57%
374.61/375.97 c 376 28205 23444 1 9.0000 7.0000 28.57%
379.70/381.03 c 381 28830 24033 1 9.0000 7.0000 28.57%
384.69/386.09 c 386 29296 24460 1 9.0000 7.0000 28.57%
389.77/391.15 c 391 29846 24988 1 9.0000 7.0000 28.57%
394.84/396.22 c 396 30403 25510 1 9.0000 7.0000 28.57%
399.92/401.30 c 401 30901 26002 1 9.0000 7.0000 28.57%
404.91/406.38 c 406 31440 26507 1 9.0000 7.0000 28.57%
410.00/411.44 c 411 32044 27039 1 9.0000 7.0000 28.57%
415.08/416.54 c 417 32624 27565 1 9.0000 7.0000 28.57%
420.27/421.72 c 422 33164 28071 1 9.0000 7.0000 28.57%
425.56/427.02 c 427 33626 28499 1 9.0000 7.0000 28.57%
430.53/432.11 c 432 34124 28957 1 9.0000 7.0000 28.57%
435.70/437.22 c 437 34625 29412 1 9.0000 7.0000 28.57%
440.79/442.30 c 442 35158 29915 1 9.0000 7.0000 28.57%
445.76/447.39 c 447 35719 30386 1 9.0000 7.0000 28.57%
450.83/452.47 c 452 36270 30859 1 9.0000 7.0000 28.57%
455.92/457.58 c 458 36734 31278 1 9.0000 7.0000 28.57%
460.99/462.65 c 463 37213 31725 1 9.0000 7.0000 28.57%
466.07/467.72 c 468 37838 32264 1 9.0000 7.0000 28.57%
471.06/472.79 c 473 38462 32784 1 9.0000 7.0000 28.57%
476.22/477.90 c 478 39022 33290 1 9.0000 7.0000 28.57%
481.20/482.97 c 483 39569 33781 1 9.0000 7.0000 28.57%
486.29/488.03 c 488 40119 34281 1 9.0000 7.0000 28.57%
491.28/493.08 c 493 40748 34838 1 9.0000 7.0000 28.57%
496.37/498.14 c 498 41389 35327 1 9.0000 7.0000 28.57%
501.44/503.21 c 503 42021 35887 1 9.0000 7.0000 28.57%
506.42/508.26 c 508 42555 36369 1 9.0000 7.0000 28.57%
511.50/513.31 c 513 43138 36862 1 9.0000 7.0000 28.57%
516.49/518.37 c 518 43698 37370 1 9.0000 7.0000 28.57%
521.57/523.44 c 523 44318 37916 1 9.0000 7.0000 28.57%
526.66/528.56 c 529 44912 38420 1 9.0000 7.0000 28.57%
531.74/533.61 c 534 45555 38950 1 9.0000 7.0000 28.57%
536.72/538.69 c 539 46188 39473 1 9.0000 7.0000 28.57%
541.80/543.75 c 544 46732 39983 1 9.0000 7.0000 28.57%
546.89/548.82 c 549 47249 40470 1 9.0000 7.0000 28.57%
551.87/553.88 c 554 47835 41014 1 9.0000 7.0000 28.57%
556.96/558.95 c 559 48344 41501 1 9.0000 7.0000 28.57%
562.05/564.04 c 564 48883 42011 1 9.0000 7.0000 28.57%
567.05/569.10 c 569 49503 42545 1 9.0000 7.0000 28.57%
572.13/574.19 c 574 50095 43040 1 9.0000 7.0000 28.57%
577.20/579.24 c 579 50678 43536 1 9.0000 7.0000 28.57%
582.29/584.34 c 584 51200 43968 1 9.0000 7.0000 28.57%
587.37/589.40 c 589 51743 44417 1 9.0000 7.0000 28.57%
592.35/594.46 c 594 52363 44942 1 9.0000 7.0000 28.57%
597.43/599.53 c 600 52995 45425 1 9.0000 7.0000 28.57%
602.52/604.66 c 605 53431 45815 1 9.0000 7.0000 28.57%
607.61/609.73 c 610 53974 46300 1 9.0000 7.0000 28.57%
612.59/614.78 c 615 54652 46890 1 9.0000 7.0000 28.57%
617.68/619.86 c 620 55301 47461 1 9.0000 7.0000 28.57%
622.76/624.92 c 625 55872 47952 1 9.0000 7.0000 28.57%
627.75/629.98 c 630 56626 48558 1 9.0000 7.0000 28.57%
632.84/635.09 c 635 57286 49081 1 9.0000 7.0000 28.57%
637.93/640.15 c 640 57970 49662 1 9.0000 7.0000 28.57%
642.92/645.19 c 645 58602 50220 1 9.0000 7.0000 28.57%
647.98/650.25 c 650 59157 50731 1 9.0000 7.0000 28.57%
653.07/655.30 c 655 59748 51263 1 9.0000 7.0000 28.57%
658.05/660.38 c 660 60359 51824 1 9.0000 7.0000 28.57%
663.14/665.46 c 665 60986 52397 1 9.0000 7.0000 28.57%
668.22/670.52 c 671 61657 52943 1 9.0000 7.0000 28.57%
673.21/675.57 c 676 62249 53458 1 9.0000 7.0000 28.57%
678.30/680.63 c 681 62831 53958 1 9.0000 7.0000 28.57%
683.27/685.69 c 686 63514 54501 1 9.0000 7.0000 28.57%
688.36/690.77 c 691 64048 54959 1 9.0000 7.0000 28.57%
693.45/695.86 c 696 64430 55303 1 9.0000 7.0000 28.57%
698.54/700.91 c 701 64933 55768 1 9.0000 7.0000 28.57%
703.52/705.97 c 706 65481 56258 1 9.0000 7.0000 28.57%
708.62/711.05 c 711 65963 56718 1 9.0000 7.0000 28.57%
713.70/716.13 c 716 66254 56977 1 9.0000 7.0000 28.57%
718.77/721.22 c 721 66639 57324 1 9.0000 7.0000 28.57%
723.96/726.40 c 726 66938 57601 1 9.0000 7.0000 28.57%
729.05/731.53 c 732 67301 57917 1 9.0000 7.0000 28.57%
734.33/736.81 c 737 67755 58313 1 9.0000 7.0000 28.57%
739.31/741.87 c 742 68213 58721 1 9.0000 7.0000 28.57%
744.39/746.98 c 747 68726 59166 1 9.0000 7.0000 28.57%
749.49/752.06 c 752 69214 59603 1 9.0000 7.0000 28.57%
754.57/757.12 c 757 69756 60099 1 9.0000 7.0000 28.57%
759.56/762.17 c 762 70326 60609 1 9.0000 7.0000 28.57%
764.63/767.22 c 767 70981 61164 1 9.0000 7.0000 28.57%
769.62/772.28 c 772 71666 61695 1 9.0000 7.0000 28.57%
774.80/777.40 c 777 72305 62228 1 9.0000 7.0000 28.57%
779.89/782.51 c 783 72866 62735 1 9.0000 7.0000 28.57%
784.87/787.58 c 788 73402 63235 1 9.0000 7.0000 28.57%
789.95/792.68 c 793 73811 63610 1 9.0000 7.0000 28.57%
795.23/797.93 c 798 74338 64053 1 9.0000 7.0000 28.57%
800.42/803.12 c 803 74804 64448 1 9.0000 7.0000 28.57%
805.49/808.23 c 808 75290 64886 1 9.0000 7.0000 28.57%
810.57/813.30 c 813 75861 65391 1 9.0000 7.0000 28.57%
815.65/818.42 c 818 76272 65790 1 9.0000 7.0000 28.57%
820.63/823.48 c 823 76858 66348 1 9.0000 7.0000 28.57%
825.71/828.59 c 829 77427 66872 1 9.0000 7.0000 28.57%
830.78/833.64 c 834 77952 67373 1 9.0000 7.0000 28.57%
835.87/838.71 c 839 78547 67930 1 9.0000 7.0000 28.57%
840.85/843.79 c 844 79101 68446 1 9.0000 7.0000 28.57%
845.93/848.85 c 849 79640 68945 1 9.0000 7.0000 28.57%
851.01/853.96 c 854 80244 69497 1 9.0000 7.0000 28.57%
856.10/859.03 c 859 80757 69992 1 9.0000 7.0000 28.57%
861.08/864.08 c 864 81326 70529 1 9.0000 7.0000 28.57%
866.15/869.15 c 869 81928 71095 1 9.0000 7.0000 28.57%
871.23/874.22 c 874 82527 71668 1 9.0000 7.0000 28.57%
876.30/879.32 c 879 83044 72141 1 9.0000 7.0000 28.57%
881.29/884.37 c 884 83513 72578 1 9.0000 7.0000 28.57%
886.56/889.63 c 890 83839 72874 1 9.0000 7.0000 28.57%
891.54/894.69 c 895 84419 73374 1 9.0000 7.0000 28.57%
896.62/899.76 c 900 85128 73989 1 9.0000 7.0000 28.57%
901.70/904.82 c 905 85784 74556 1 9.0000 7.0000 28.57%
906.68/909.89 c 910 86382 75112 1 9.0000 7.0000 28.57%
911.76/914.97 c 915 86959 75636 1 9.0000 7.0000 28.57%
916.96/920.15 c 920 87435 76037 1 9.0000 7.0000 28.57%
922.02/925.22 c 925 88093 76574 1 9.0000 7.0000 28.57%
927.00/930.29 c 930 88725 77122 1 9.0000 7.0000 28.57%
932.09/935.35 c 935 89296 77647 1 9.0000 7.0000 28.57%
937.16/940.45 c 940 89965 78248 1 9.0000 7.0000 28.57%
942.25/945.54 c 946 90679 78856 1 9.0000 7.0000 28.57%
947.32/950.62 c 951 91286 79378 1 9.0000 7.0000 28.57%
952.30/955.69 c 956 91955 79960 1 9.0000 7.0000 28.57%
957.39/960.74 c 961 92643 80568 1 9.0000 7.0000 28.57%
962.47/965.80 c 966 93274 81145 1 9.0000 7.0000 28.57%
967.45/970.85 c 971 93945 81746 1 9.0000 7.0000 28.57%
972.53/975.93 c 976 94563 82304 1 9.0000 7.0000 28.57%
977.50/981.01 c 981 95128 82804 1 9.0000 7.0000 28.57%
982.59/986.06 c 986 95685 83303 1 9.0000 7.0000 28.57%
987.66/991.16 c 991 96273 83789 1 9.0000 7.0000 28.57%
992.74/996.20 c 996 96804 84282 1 9.0000 7.0000 28.57%
997.81/1001.30 c 1001 97300 84727 1 9.0000 7.0000 28.57%
1002.79/1006.36 c 1006 97817 85188 1 9.0000 7.0000 28.57%
1007.87/1011.43 c 1011 98341 85664 1 9.0000 7.0000 28.57%
1012.95/1016.51 c 1017 98922 86159 1 9.0000 7.0000 28.57%
1018.02/1021.60 c 1022 99493 86676 1 9.0000 7.0000 28.57%
1023.01/1026.67 c 1027 100096 87171 1 9.0000 7.0000 28.57%
1028.09/1031.72 c 1032 100661 87661 1 9.0000 7.0000 28.57%
1033.07/1036.79 c 1037 101206 88170 1 9.0000 7.0000 28.57%
1038.15/1041.85 c 1042 101805 88661 1 9.0000 7.0000 28.57%
1043.22/1046.91 c 1047 102468 89196 1 9.0000 7.0000 28.57%
1048.20/1051.99 c 1052 103143 89793 1 9.0000 7.0000 28.57%
1053.30/1057.04 c 1057 103903 90328 1 9.0000 7.0000 28.57%
1058.28/1062.09 c 1062 104749 90890 1 9.0000 7.0000 28.57%
1063.37/1067.16 c 1067 105501 91446 1 9.0000 7.0000 28.57%
1068.43/1072.22 c 1072 106372 92038 1 9.0000 7.0000 28.57%
1073.42/1077.28 c 1077 107195 92626 1 9.0000 7.0000 28.57%
1078.50/1082.33 c 1082 108003 93236 1 9.0000 7.0000 28.57%
1083.48/1087.38 c 1087 108781 93774 1 9.0000 7.0000 28.57%
1088.57/1092.47 c 1092 109552 94316 1 9.0000 7.0000 28.57%
1093.66/1097.55 c 1098 110269 94832 1 9.0000 7.0000 28.57%
1098.74/1102.63 c 1103 111005 95370 1 9.0000 7.0000 28.57%
1103.72/1107.68 c 1108 111709 95923 1 9.0000 7.0000 28.57%
1108.91/1112.80 c 1113 112358 96491 1 9.0000 7.0000 28.57%
1113.89/1117.87 c 1118 113082 97127 1 9.0000 7.0000 28.57%
1118.97/1122.92 c 1123 113808 97688 1 9.0000 7.0000 28.57%
1124.07/1128.01 c 1128 114462 98221 1 9.0000 7.0000 28.57%
1129.06/1133.06 c 1133 115111 98747 1 9.0000 7.0000 28.57%
1134.13/1138.14 c 1138 115783 99286 1 9.0000 7.0000 28.57%
1139.13/1143.20 c 1143 116434 99796 1 9.0000 7.0000 28.57%
1144.19/1148.27 c 1148 117119 100318 1 9.0000 7.0000 28.57%
1149.28/1153.34 c 1153 117832 100877 1 9.0000 7.0000 28.57%
1154.36/1158.40 c 1158 118567 101421 1 9.0000 7.0000 28.57%
1159.35/1163.46 c 1163 119300 101973 1 9.0000 7.0000 28.57%
1164.43/1168.56 c 1169 119930 102469 1 9.0000 7.0000 28.57%
1169.51/1173.62 c 1174 120580 102965 1 9.0000 7.0000 28.57%
1174.60/1178.73 c 1179 121283 103479 1 9.0000 7.0000 28.57%
1179.68/1183.82 c 1184 121980 104018 1 9.0000 7.0000 28.57%
1184.66/1188.87 c 1189 122737 104541 1 9.0000 7.0000 28.57%
1189.74/1193.94 c 1194 123545 105099 1 9.0000 7.0000 28.57%
1194.73/1198.99 c 1199 124246 105632 1 9.0000 7.0000 28.57%
1199.82/1204.05 c 1204 124977 106159 1 9.0000 7.0000 28.57%
1204.91/1209.15 c 1209 125598 106647 1 9.0000 7.0000 28.57%
1209.98/1214.24 c 1214 126369 107212 1 9.0000 7.0000 28.57%
1215.06/1219.32 c 1219 127106 107775 1 9.0000 7.0000 28.57%
1220.04/1224.39 c 1224 127936 108345 1 9.0000 7.0000 28.57%
1225.13/1229.45 c 1229 128671 108907 1 9.0000 7.0000 28.57%
1230.21/1234.50 c 1234 129350 109427 1 9.0000 7.0000 28.57%
1235.20/1239.58 c 1240 130049 109958 1 9.0000 7.0000 28.57%
1240.28/1244.63 c 1245 130780 110542 1 9.0000 7.0000 28.57%
1245.37/1249.72 c 1250 131430 111059 1 9.0000 7.0000 28.57%
1250.35/1254.79 c 1255 132057 111580 1 9.0000 7.0000 28.57%
1255.44/1259.84 c 1260 132793 112112 1 9.0000 7.0000 28.57%
1260.52/1264.90 c 1265 133456 112653 1 9.0000 7.0000 28.57%
1265.51/1269.97 c 1270 134180 113183 1 9.0000 7.0000 28.57%
1270.60/1275.02 c 1275 134877 113729 1 9.0000 7.0000 28.57%
1275.58/1280.09 c 1280 135636 114310 1 9.0000 7.0000 28.57%
1280.66/1285.15 c 1285 136425 114906 1 9.0000 7.0000 28.57%
1285.74/1290.23 c 1290 137203 115439 1 9.0000 7.0000 28.57%
1290.72/1295.29 c 1295 138047 116022 1 9.0000 7.0000 28.57%
1295.81/1300.36 c 1300 138712 116534 1 9.0000 7.0000 28.57%
1300.89/1305.42 c 1305 139482 117114 1 9.0000 7.0000 28.57%
1305.88/1310.49 c 1310 140186 117686 1 9.0000 7.0000 28.57%
1310.96/1315.56 c 1316 140866 118270 1 9.0000 7.0000 28.57%
1316.04/1320.62 c 1321 141564 118806 1 9.0000 7.0000 28.57%
1321.13/1325.73 c 1326 142212 119314 1 9.0000 7.0000 28.57%
1326.22/1330.81 c 1331 142884 119859 1 9.0000 7.0000 28.57%
1331.19/1335.88 c 1336 143514 120425 1 9.0000 7.0000 28.57%
1336.29/1340.97 c 1341 144161 120942 1 9.0000 7.0000 28.57%
1341.38/1346.07 c 1346 145050 121565 1 9.0000 7.0000 28.57%
1346.47/1351.12 c 1351 145759 122123 1 9.0000 7.0000 28.57%
1351.45/1356.19 c 1356 146432 122660 1 9.0000 7.0000 28.57%
1356.52/1361.25 c 1361 147115 123199 1 9.0000 7.0000 28.57%
1361.60/1366.31 c 1366 147849 123759 1 9.0000 7.0000 28.57%
1366.59/1371.36 c 1371 148567 124322 1 9.0000 7.0000 28.57%
1371.67/1376.43 c 1376 149390 124898 1 9.0000 7.0000 28.57%
1376.65/1381.49 c 1381 150154 125460 1 9.0000 7.0000 28.57%
1381.74/1386.58 c 1387 150908 126010 1 9.0000 7.0000 28.57%
1386.82/1391.64 c 1392 151644 126574 1 9.0000 7.0000 28.57%
1391.91/1396.74 c 1397 152331 127143 1 9.0000 7.0000 28.57%
1396.99/1401.81 c 1402 153075 127696 1 9.0000 7.0000 28.57%
1401.98/1406.86 c 1407 153788 128267 1 9.0000 7.0000 28.57%
1407.06/1411.93 c 1412 154431 128830 1 9.0000 7.0000 28.57%
1412.04/1416.98 c 1417 155210 129449 1 9.0000 7.0000 28.57%
1417.14/1422.02 c 1422 155971 130047 1 9.0000 7.0000 28.57%
1422.13/1427.09 c 1427 156750 130624 1 9.0000 7.0000 28.57%
1427.21/1432.16 c 1432 157483 131223 1 9.0000 7.0000 28.57%
1432.28/1437.21 c 1437 158316 131837 1 9.0000 7.0000 28.57%
1437.27/1442.26 c 1442 159064 132428 1 9.0000 7.0000 28.57%
1442.35/1447.31 c 1447 159785 133001 1 9.0000 7.0000 28.57%
1447.33/1452.36 c 1452 160455 133550 1 9.0000 7.0000 28.57%
1452.42/1457.43 c 1457 161122 134095 1 9.0000 7.0000 28.57%
1457.50/1462.50 c 1462 161866 134661 1 9.0000 7.0000 28.57%
1462.49/1467.57 c 1468 162506 135199 1 9.0000 7.0000 28.57%
1467.57/1472.63 c 1473 163249 135806 1 9.0000 7.0000 28.57%
1472.56/1477.69 c 1478 164027 136382 1 9.0000 7.0000 28.57%
1477.64/1482.78 c 1483 164729 136944 1 9.0000 7.0000 28.57%
1482.72/1487.84 c 1488 165393 137482 1 9.0000 7.0000 28.57%
1487.81/1492.90 c 1493 166113 138063 1 9.0000 7.0000 28.57%
1492.79/1497.98 c 1498 166772 138600 1 9.0000 7.0000 28.57%
1497.88/1503.09 c 1503 167444 139156 1 9.0000 7.0000 28.57%
1502.97/1508.15 c 1508 168159 139728 1 9.0000 7.0000 28.57%
1508.04/1513.24 c 1513 168830 140286 1 9.0000 7.0000 28.57%
1513.13/1518.30 c 1518 169431 140786 1 9.0000 7.0000 28.57%
1518.10/1523.35 c 1523 170199 141402 1 9.0000 7.0000 28.57%
1523.19/1528.41 c 1528 170848 141999 1 9.0000 7.0000 28.57%
1528.18/1533.47 c 1533 171621 142609 1 9.0000 7.0000 28.57%
1533.26/1538.53 c 1539 172284 143184 1 9.0000 7.0000 28.57%
1538.25/1543.57 c 1544 172959 143779 1 9.0000 7.0000 28.57%
1543.33/1548.65 c 1549 173676 144387 1 9.0000 7.0000 28.57%
1548.41/1553.70 c 1554 174391 144943 1 9.0000 7.0000 28.57%
1553.40/1558.78 c 1559 175143 145529 1 9.0000 7.0000 28.57%
1558.48/1563.87 c 1564 175855 146109 1 9.0000 7.0000 28.57%
1563.56/1568.93 c 1569 176509 146707 1 9.0000 7.0000 28.57%
1568.55/1574.01 c 1574 177170 147262 1 9.0000 7.0000 28.57%
1573.63/1579.07 c 1579 177826 147829 1 9.0000 7.0000 28.57%
1578.72/1584.16 c 1584 178554 148426 1 9.0000 7.0000 28.57%
1583.79/1589.22 c 1589 179307 149008 1 9.0000 7.0000 28.57%
1588.77/1594.28 c 1594 179997 149569 1 9.0000 7.0000 28.57%
1593.86/1599.37 c 1599 180680 150121 1 9.0000 7.0000 28.57%
1598.94/1604.45 c 1604 181267 150599 1 9.0000 7.0000 28.57%
1604.02/1609.50 c 1610 182007 151205 1 9.0000 7.0000 28.57%
1609.00/1614.58 c 1615 182565 151720 1 9.0000 7.0000 28.57%
1614.09/1619.65 c 1620 183173 152230 1 9.0000 7.0000 28.57%
1619.17/1624.72 c 1625 183855 152763 1 9.0000 7.0000 28.57%
1624.16/1629.80 c 1630 184674 153331 1 9.0000 7.0000 28.57%
1629.24/1634.89 c 1635 185400 153918 1 9.0000 7.0000 28.57%
1634.33/1639.94 c 1640 186134 154535 1 9.0000 7.0000 28.57%
1639.30/1645.01 c 1645 186871 155138 1 9.0000 7.0000 28.57%
1644.41/1650.07 c 1650 187587 155702 1 9.0000 7.0000 28.57%
1649.49/1655.14 c 1655 188375 156257 1 9.0000 7.0000 28.57%
1654.48/1660.20 c 1660 189143 156798 1 9.0000 7.0000 28.57%
1659.55/1665.25 c 1665 189810 157321 1 9.0000 7.0000 28.57%
1664.63/1670.34 c 1670 190556 157897 1 9.0000 7.0000 28.57%
1669.71/1675.42 c 1675 191181 158439 1 9.0000 7.0000 28.57%
1674.80/1680.53 c 1681 191775 158948 1 9.0000 7.0000 28.57%
1679.78/1685.58 c 1686 192403 159479 1 9.0000 7.0000 28.57%
1684.87/1690.63 c 1691 193147 160067 1 9.0000 7.0000 28.57%
1689.86/1695.68 c 1696 193842 160626 1 9.0000 7.0000 28.57%
1694.93/1700.75 c 1701 194455 161132 1 9.0000 7.0000 28.57%
1700.02/1705.83 c 1706 195140 161695 1 9.0000 7.0000 28.57%
1705.10/1710.91 c 1711 195730 162200 1 9.0000 7.0000 28.57%
1710.09/1715.98 c 1716 196419 162764 1 9.0000 7.0000 28.57%
1715.18/1721.05 c 1721 197145 163299 1 9.0000 7.0000 28.57%
1720.26/1726.11 c 1726 197777 163826 1 9.0000 7.0000 28.57%
1725.33/1731.21 c 1731 198468 164381 1 9.0000 7.0000 28.57%
1730.32/1736.29 c 1736 199102 164923 1 9.0000 7.0000 28.57%
1735.40/1741.38 c 1741 199776 165468 1 9.0000 7.0000 28.57%
1740.49/1746.45 c 1746 200402 165984 1 9.0000 7.0000 28.57%
1745.47/1751.49 c 1752 200959 166475 1 9.0000 7.0000 28.57%
1750.55/1756.59 c 1757 201564 166971 1 9.0000 7.0000 28.57%
1755.64/1761.68 c 1762 202082 167372 1 9.0000 7.0000 28.57%
1760.72/1766.76 c 1767 202594 167816 1 9.0000 7.0000 28.57%
1765.81/1771.84 c 1772 203045 168202 1 9.0000 7.0000 28.57%
1770.89/1777.01 c 1777 203537 168638 1 9.0000 7.0000 28.57%
1775.98/1782.07 c 1782 204107 169117 1 9.0000 7.0000 28.57%
1781.07/1787.14 c 1787 204628 169591 1 9.0000 7.0000 28.57%
1786.14/1792.22 c 1792 205114 170015 1 9.0000 7.0000 28.57%
1791.13/1797.27 c 1797 205637 170441 1 9.0000 7.0000 28.57%
1796.31/1802.42 c 1802 206144 170875 1 9.0000 7.0000 28.57%
1801.40/1807.52 c 1808 206865 171429 1 9.0000 7.0000 28.57%
1806.38/1812.58 c 1813 207589 171994 1 9.0000 7.0000 28.57%
1811.46/1817.64 c 1818 208301 172519 1 9.0000 7.0000 28.57%
1816.54/1822.70 c 1823 208993 173047 1 9.0000 7.0000 28.57%
1821.53/1827.76 c 1828 209621 173558 1 9.0000 7.0000 28.57%
1826.61/1832.86 c 1833 210201 174016 1 9.0000 7.0000 28.57%
1831.69/1837.97 c 1838 210779 174491 1 9.0000 7.0000 28.57%
1836.80/1843.03 c 1843 211316 174968 1 9.0000 7.0000 28.57%
1841.78/1848.10 c 1848 211813 175411 1 9.0000 7.0000 28.57%
1846.86/1853.16 c 1853 212315 175872 1 9.0000 7.0000 28.57%
1851.93/1858.24 c 1858 212836 176331 1 9.0000 7.0000 28.57%
1857.02/1863.31 c 1863 213380 176778 1 9.0000 7.0000 28.57%
1862.00/1868.37 c 1868 214135 177334 1 9.0000 7.0000 28.57%
1867.09/1873.43 c 1873 214835 177871 1 9.0000 7.0000 28.57%
1872.07/1878.48 c 1878 215550 178408 1 9.0000 7.0000 28.57%
1877.16/1883.54 c 1884 216322 178962 1 9.0000 7.0000 28.57%
1882.14/1888.59 c 1889 217066 179530 1 9.0000 7.0000 28.57%
1887.23/1893.66 c 1894 217750 180049 1 9.0000 7.0000 28.57%
1892.31/1898.70 c 1899 218436 180576 1 9.0000 7.0000 28.57%
1897.29/1903.77 c 1904 219107 181063 1 9.0000 7.0000 28.57%
1902.38/1908.83 c 1909 219765 181579 1 9.0000 7.0000 28.57%
1907.36/1913.88 c 1914 220487 182144 1 9.0000 7.0000 28.57%
1912.44/1918.94 c 1919 221132 182649 1 9.0000 7.0000 28.57%
1917.43/1924.01 c 1924 221791 183197 1 9.0000 7.0000 28.57%
1922.52/1929.06 c 1929 222390 183713 1 9.0000 7.0000 28.57%
1927.61/1934.13 c 1934 223001 184213 1 9.0000 7.0000 28.57%
1932.68/1939.21 c 1939 223613 184756 1 9.0000 7.0000 28.57%
1937.66/1944.27 c 1944 224281 185275 1 9.0000 7.0000 28.57%
1942.75/1949.34 c 1949 224972 185820 1 9.0000 7.0000 28.57%
1947.73/1954.40 c 1954 225614 186360 1 9.0000 7.0000 28.57%
1952.82/1959.46 c 1959 226287 186922 1 9.0000 7.0000 28.57%
1957.90/1964.55 c 1965 227003 187502 1 9.0000 7.0000 28.57%
1962.98/1969.63 c 1970 227717 188093 1 9.0000 7.0000 28.57%
1967.97/1974.68 c 1975 228389 188611 1 9.0000 7.0000 28.57%
1973.05/1979.73 c 1980 229095 189139 1 9.0000 7.0000 28.57%
1978.03/1984.77 c 1985 229723 189664 1 9.0000 7.0000 28.57%
1983.12/1989.85 c 1990 230299 190146 1 9.0000 7.0000 28.57%
1988.21/1994.90 c 1995 230990 190715 1 9.0000 7.0000 28.57%
1993.18/1999.95 c 2000 231679 191245 1 9.0000 7.0000 28.57%
1998.28/2005.02 c 2005 232388 191817 1 9.0000 7.0000 28.57%
2003.37/2010.11 c 2010 233131 192347 1 9.0000 7.0000 28.57%
2008.35/2015.16 c 2015 233816 192856 1 9.0000 7.0000 28.57%
2013.41/2020.22 c 2020 234456 193389 1 9.0000 7.0000 28.57%
2018.50/2025.31 c 2025 235211 193994 1 9.0000 7.0000 28.57%
2023.49/2030.39 c 2030 236058 194617 1 9.0000 7.0000 28.57%
2028.57/2035.47 c 2035 236917 195180 1 9.0000 7.0000 28.57%
2033.65/2040.55 c 2041 237662 195707 1 9.0000 7.0000 28.57%
2038.73/2045.61 c 2046 238322 196174 1 9.0000 7.0000 28.57%
2043.72/2050.66 c 2051 239061 196698 1 9.0000 7.0000 28.57%
2048.81/2055.77 c 2056 239686 197223 1 9.0000 7.0000 28.57%
2053.99/2060.96 c 2061 240382 197741 1 9.0000 7.0011 28.55%
2059.27/2066.29 c 2066 241232 198323 1 9.0000 7.0027 28.52%
2064.35/2071.32 c 2071 242092 198874 1 9.0000 7.0042 28.49%
2069.63/2076.62 c 2077 242982 199463 1 9.0000 7.0061 28.46%
2074.72/2081.73 c 2082 243932 200083 1 9.0000 7.0083 28.42%
2080.01/2087.08 c 2087 245022 200723 1 9.0000 7.0112 28.37%
2085.28/2092.35 c 2092 246142 201330 1 9.0000 7.0128 28.34%
2090.36/2097.46 c 2097 247192 201924 1 9.0000 7.0173 28.25%
2095.54/2102.62 c 2103 248392 201941 1 9.0000 7.0256 28.10%
2100.53/2107.65 c 2108 249492 201875 1 9.0000 7.0330 27.97%
2105.51/2112.69 c 2113 250842 201757 1 9.0000 7.0451 27.75%
2110.60/2117.70 c 2118 252262 201693 1 9.0000 7.0722 27.26%
2116.48/2123.68 c 2124 253919 201542 1 9.0000 7.3333 22.73%
2121.76/2128.99 c 2129 255501 201469 1 9.0000 7.5000 20.00%
2126.95/2134.16 c 2134 257154 201311 1 9.0000 8.0000 12.50%
2132.02/2139.22 c 2139 258833 201151 1 9.0000 8.0000 12.50%
2137.00/2144.27 c 2144 260498 201015 1 9.0000 8.0000 12.50%
2142.09/2149.32 c 2149 262251 200844 1 9.0000 8.0000 12.50%
2147.07/2154.39 c 2154 263862 200759 1 9.0000 8.0000 12.50%
2152.15/2159.49 c 2159 265481 200619 1 9.0000 8.0000 12.50%
2157.23/2164.53 c 2165 267201 200495 1 9.0000 8.0000 12.50%
2162.32/2169.61 c 2170 268902 200385 1 9.0000 8.0000 12.50%
2167.31/2174.69 c 2175 270586 200250 1 9.0000 8.0000 12.50%
2172.39/2179.74 c 2180 272156 200183 1 9.0000 8.0000 12.50%
2177.47/2184.84 c 2185 273938 200073 1 9.0000 8.0000 12.50%
2182.46/2189.89 c 2190 275531 200004 1 9.0000 8.0000 12.50%
2187.65/2195.08 c 2195 277241 199915 1 9.0000 8.0000 12.50%
2192.73/2200.12 c 2200 279190 199832 1 9.0000 8.0000 12.50%
2197.81/2205.21 c 2205 280764 199774 1 9.0000 8.0000 12.50%
2202.79/2210.27 c 2210 282530 199745 1 9.0000 8.0000 12.50%
2207.87/2215.32 c 2215 284315 199741 1 9.0000 8.0000 12.50%
2212.86/2220.38 c 2220 286276 199621 1 9.0000 8.0000 12.50%
2218.04/2225.51 c 2226 288051 199566 1 9.0000 8.0000 12.50%
2223.02/2230.58 c 2231 289738 199566 1 9.0000 8.0000 12.50%
2228.10/2235.68 c 2236 291472 199523 1 9.0000 8.0000 12.50%
2233.18/2240.73 c 2241 293136 199477 1 9.0000 8.0000 12.50%
2238.27/2245.84 c 2246 294983 199436 1 9.0000 8.0000 12.50%
2243.36/2250.93 c 2251 296849 199350 1 9.0000 8.0000 12.50%
2248.45/2256.07 c 2256 298488 199356 1 9.0000 8.0000 12.50%
2253.53/2261.17 c 2261 299991 199287 1 9.0000 8.0000 12.50%
2258.71/2266.35 c 2266 301627 199236 1 9.0000 8.0000 12.50%
2263.79/2271.43 c 2271 303238 199198 1 9.0000 8.0000 12.50%
2268.87/2276.51 c 2277 305070 199169 1 9.0000 8.0000 12.50%
2273.86/2281.55 c 2282 306909 199162 1 9.0000 8.0000 12.50%
2278.94/2286.60 c 2287 308608 199129 1 9.0000 8.0000 12.50%
2283.92/2291.67 c 2292 310346 199097 1 9.0000 8.0000 12.50%
2289.01/2296.73 c 2297 312042 199049 1 9.0000 8.0000 12.50%
2294.09/2301.80 c 2302 313889 199012 1 9.0000 8.0000 12.50%
2299.07/2306.84 c 2307 315801 198944 1 9.0000 8.0000 12.50%
2304.15/2311.90 c 2312 317475 198948 1 9.0000 8.0000 12.50%
2309.14/2316.99 c 2317 318993 198923 1 9.0000 8.0000 12.50%
2314.32/2322.12 c 2322 320700 198929 1 9.0000 8.0000 12.50%
2319.31/2327.17 c 2327 322592 198865 1 9.0000 8.0000 12.50%
2324.38/2332.24 c 2332 324215 198822 1 9.0000 8.0000 12.50%
2329.46/2337.31 c 2337 325792 198842 1 9.0000 8.0000 12.50%
2334.45/2342.37 c 2342 327186 198829 1 9.0000 8.0000 12.50%
2339.53/2347.42 c 2347 328712 198835 1 9.0000 8.0000 12.50%
2344.51/2352.50 c 2352 330402 198795 1 9.0000 8.0000 12.50%
2349.59/2357.55 c 2358 332192 198755 1 9.0000 8.0000 12.50%
2354.68/2362.60 c 2363 333984 198719 1 9.0000 8.0000 12.50%
2359.67/2367.65 c 2368 335716 198705 1 9.0000 8.0000 12.50%
2364.74/2372.78 c 2373 337474 198671 1 9.0000 8.0000 12.50%
2369.83/2377.85 c 2378 338972 198665 1 9.0000 8.0000 12.50%
2374.92/2382.98 c 2383 340638 198633 1 9.0000 8.0000 12.50%
2379.99/2388.06 c 2388 342031 198609 1 9.0000 8.0000 12.50%
2385.09/2393.13 c 2393 343486 198546 1 9.0000 8.0000 12.50%
2390.16/2398.20 c 2398 345082 198508 1 9.0000 8.0000 12.50%
2395.24/2403.31 c 2403 346483 198511 1 9.0000 8.0000 12.50%
2400.21/2408.37 c 2408 348384 198501 1 9.0000 8.0000 12.50%
2405.30/2413.46 c 2413 350197 198501 1 9.0000 8.0000 12.50%
2410.38/2418.57 c 2419 352018 198478 1 9.0000 8.0000 12.50%
2415.47/2423.66 c 2424 353951 198460 1 9.0000 8.0000 12.50%
2420.55/2428.70 c 2429 355839 198486 1 9.0000 8.0000 12.50%
2425.54/2433.76 c 2434 357754 198462 1 9.0000 8.0000 12.50%
2430.62/2438.85 c 2439 359444 198424 1 9.0000 8.0000 12.50%
2435.70/2443.99 c 2444 361124 198404 1 9.0000 8.0000 12.50%
2440.79/2449.08 c 2449 362759 198384 1 9.0000 8.0000 12.50%
2445.88/2454.18 c 2454 364390 198374 1 9.0000 8.0000 12.50%
2450.95/2459.23 c 2459 365961 198359 1 9.0000 8.0000 12.50%
2456.03/2464.32 c 2464 367584 198365 1 9.0000 8.0000 12.50%
2461.12/2469.41 c 2469 369274 198360 1 9.0000 8.0000 12.50%
2466.10/2474.48 c 2474 370985 198324 1 9.0000 8.0000 12.50%
2471.28/2479.63 c 2480 372577 198295 1 9.0000 8.0000 12.50%
2476.27/2484.69 c 2485 374040 198305 1 9.0000 8.0000 12.50%
2481.35/2489.77 c 2490 375706 198296 1 9.0000 8.0000 12.50%
2486.43/2494.83 c 2495 377325 198289 1 9.0000 8.0000 12.50%
2491.41/2499.88 c 2500 378889 198282 1 9.0000 8.0000 12.50%
2496.50/2504.97 c 2505 380386 198297 1 9.0000 8.0000 12.50%
2501.59/2510.02 c 2510 382183 198273 1 9.0000 8.0000 12.50%
2506.77/2515.20 c 2515 383517 198257 1 9.0000 8.0000 12.50%
2511.75/2520.26 c 2520 384920 198273 1 9.0000 8.0000 12.50%
2516.83/2525.31 c 2525 386566 198257 1 9.0000 8.0000 12.50%
2521.91/2530.43 c 2530 387778 198257 1 9.0000 8.0000 12.50%
2526.90/2535.48 c 2535 389449 198277 1 9.0000 8.0000 12.50%
2531.98/2540.53 c 2541 390995 198290 1 9.0000 8.0000 12.50%
2537.06/2545.62 c 2546 392825 198266 1 9.0000 8.0000 12.50%
2542.15/2550.73 c 2551 394512 198238 1 9.0000 8.0000 12.50%
2547.23/2555.82 c 2556 396102 198218 1 9.0000 8.0000 12.50%
2552.22/2560.88 c 2561 397905 198205 1 9.0000 8.0000 12.50%
2557.30/2565.93 c 2566 399675 198184 1 9.0000 8.0000 12.50%
2562.28/2570.98 c 2571 401361 198181 1 9.0000 8.0000 12.50%
2567.38/2576.08 c 2576 402809 198181 1 9.0000 8.0000 12.50%
2572.46/2581.17 c 2581 404375 198159 1 9.0000 8.0000 12.50%
2577.54/2586.25 c 2586 405894 198169 1 9.0000 8.0000 12.50%
2582.62/2591.34 c 2591 407502 198171 1 9.0000 8.0000 12.50%
2587.70/2596.45 c 2596 409095 198191 1 9.0000 8.0000 12.50%
2592.68/2601.49 c 2602 410863 198178 1 9.0000 8.0000 12.50%
2597.77/2606.55 c 2607 412762 198150 1 9.0000 8.0000 12.50%
2602.85/2611.68 c 2612 413665 198155 1 9.0000 8.0000 12.50%
2607.93/2616.74 c 2617 415149 198157 1 9.0000 8.0000 12.50%
2613.02/2621.80 c 2622 416863 198142 1 9.0000 8.0000 12.50%
2618.08/2626.90 c 2627 418299 198128 1 9.0000 8.0000 12.50%
2623.07/2631.96 c 2632 419635 198145 1 9.0000 8.0000 12.50%
2628.16/2637.09 c 2637 420758 198131 1 9.0000 8.0000 12.50%
2633.24/2642.15 c 2642 422340 198099 1 9.0000 8.0000 12.50%
2638.32/2647.22 c 2647 424061 198082 1 9.0000 8.0000 12.50%
2643.30/2652.27 c 2652 425873 198102 1 9.0000 8.0000 12.50%
2648.38/2657.33 c 2657 427548 198050 1 9.0000 8.0000 12.50%
2653.36/2662.38 c 2662 429129 198034 1 9.0000 8.0000 12.50%
2658.45/2667.43 c 2667 430630 198035 1 9.0000 8.0000 12.50%
2663.54/2672.53 c 2673 431854 198021 1 9.0000 8.0000 12.50%
2668.51/2677.58 c 2678 433432 198020 1 9.0000 8.0000 12.50%
2673.59/2682.63 c 2683 435083 198024 1 9.0000 8.0000 12.50%
2678.67/2687.75 c 2688 436572 198016 1 9.0000 8.0000 12.50%
2683.64/2692.79 c 2693 438182 197996 1 9.0000 8.0000 12.50%
2688.72/2697.88 c 2698 439832 197972 1 9.0000 8.0000 12.50%
2693.80/2702.93 c 2703 441720 197948 1 9.0000 8.0000 12.50%
2698.99/2708.14 c 2708 443432 197943 1 9.0000 8.0000 12.50%
2704.06/2713.23 c 2713 445250 197921 1 9.0000 8.0000 12.50%
2709.02/2718.29 c 2718 446692 197914 1 9.0000 8.0000 12.50%
2714.10/2723.35 c 2723 448361 197914 1 9.0000 8.0000 12.50%
2719.18/2728.46 c 2728 449847 197873 1 9.0000 8.0000 12.50%
2724.26/2733.52 c 2734 451359 197886 1 9.0000 8.0000 12.50%
2729.33/2738.61 c 2739 453023 197856 1 9.0000 8.0000 12.50%
2734.41/2743.70 c 2744 454617 197842 1 9.0000 8.0000 12.50%
2739.49/2748.86 c 2749 456138 197851 1 9.0000 8.0000 12.50%
2744.57/2753.91 c 2754 457932 197820 1 9.0000 8.0000 12.50%
2749.55/2758.96 c 2759 459637 197772 1 9.0000 8.0000 12.50%
2754.51/2764.01 c 2764 461395 197756 1 9.0000 8.0000 12.50%
2759.60/2769.10 c 2769 462808 197745 1 9.0000 8.0000 12.50%
2764.69/2774.16 c 2774 464465 197729 1 9.0000 8.0000 12.50%
2769.86/2779.31 c 2779 466129 197690 1 9.0000 8.0000 12.50%
2774.84/2784.37 c 2784 467930 197703 1 9.0000 8.0000 12.50%
2779.92/2789.42 c 2789 469702 197703 1 9.0000 8.0000 12.50%
2784.91/2794.47 c 2794 471044 197683 1 9.0000 8.0000 12.50%
2789.99/2799.56 c 2800 472796 197628 1 9.0000 8.0000 12.50%
2795.07/2804.65 c 2805 474087 197602 1 9.0000 8.0000 12.50%
2800.16/2809.70 c 2810 475538 197593 1 9.0000 8.0000 12.50%
2805.14/2814.78 c 2815 477291 197624 1 9.0000 8.0000 12.50%
2810.23/2819.85 c 2820 478526 197616 1 9.0000 8.0000 12.50%
2815.31/2824.99 c 2825 480040 197622 1 9.0000 8.0000 12.50%
2820.39/2830.06 c 2830 481494 197609 1 9.0000 8.0000 12.50%
2825.38/2835.11 c 2835 483208 197583 1 9.0000 8.0000 12.50%
2830.55/2840.21 c 2840 484772 197577 1 9.0000 8.0000 12.50%
2835.63/2845.36 c 2845 485969 197553 1 9.0000 8.0000 12.50%
2840.71/2850.40 c 2850 487778 197525 1 9.0000 8.0000 12.50%
2845.70/2855.45 c 2855 489329 197518 1 9.0000 8.0000 12.50%
2850.78/2860.58 c 2861 490698 197510 1 9.0000 8.0000 12.50%
2855.86/2865.66 c 2866 492239 197495 1 9.0000 8.0000 12.50%
2860.94/2870.74 c 2871 494120 197466 1 9.0000 8.0000 12.50%
2866.03/2875.87 c 2876 495916 197460 1 9.0000 8.0000 12.50%
2871.10/2880.93 c 2881 497336 197437 1 9.0000 8.0000 12.50%
2876.20/2886.01 c 2886 499178 197419 1 9.0000 8.0000 12.50%
2881.19/2891.07 c 2891 500645 197423 1 9.0000 8.0000 12.50%
2886.27/2896.11 c 2896 502227 197404 1 9.0000 8.0000 12.50%
2891.25/2901.18 c 2901 503737 197380 1 9.0000 8.0000 12.50%
2896.33/2906.29 c 2906 505645 197384 1 9.0000 8.0000 12.50%
2901.41/2911.33 c 2911 507071 197389 1 9.0000 8.0000 12.50%
2906.49/2916.43 c 2916 508821 197353 1 9.0000 8.0000 12.50%
2911.57/2921.53 c 2922 510777 197294 1 9.0000 8.0000 12.50%
2916.56/2926.57 c 2927 512557 197299 1 9.0000 8.0000 12.50%
2921.64/2931.66 c 2932 514261 197301 1 9.0000 8.0000 12.50%
2926.72/2936.74 c 2937 515581 197277 1 9.0000 8.0000 12.50%
2931.81/2941.86 c 2942 517352 197245 1 9.0000 8.0000 12.50%
2936.88/2946.92 c 2947 518781 197228 1 9.0000 8.0000 12.50%
2941.86/2951.97 c 2952 520223 197221 1 9.0000 8.0000 12.50%
2947.06/2957.16 c 2957 521584 197211 1 9.0000 8.0000 12.50%
2952.13/2962.22 c 2962 523014 197187 1 9.0000 8.0000 12.50%
2957.12/2967.27 c 2967 524657 197196 1 9.0000 8.0000 12.50%
2962.19/2972.34 c 2972 526051 197176 1 9.0000 8.0000 12.50%
2967.18/2977.39 c 2977 527551 197169 1 9.0000 8.0000 12.50%
2972.26/2982.44 c 2982 529168 197198 1 9.0000 8.0000 12.50%
2977.34/2987.57 c 2988 530754 197141 1 9.0000 8.0000 12.50%
2982.53/2992.71 c 2993 532055 197140 1 9.0000 8.0000 12.50%
2987.51/2997.75 c 2998 533777 197119 1 9.0000 8.0000 12.50%
2992.59/3002.81 c 3003 535537 197102 1 9.0000 8.0000 12.50%
2997.58/3007.86 c 3008 537149 197118 1 9.0000 8.0000 12.50%
3002.65/3012.98 c 3013 538406 197101 1 9.0000 8.0000 12.50%
3007.75/3018.07 c 3018 539836 197095 1 9.0000 8.0000 12.50%
3012.84/3023.14 c 3023 540953 197092 1 9.0000 8.0000 12.50%
3017.91/3028.21 c 3028 542595 197073 1 9.0000 8.0000 12.50%
3022.98/3033.37 c 3033 544031 197085 1 9.0000 8.0000 12.50%
3028.07/3038.42 c 3038 545672 197072 1 9.0000 8.0000 12.50%
3033.15/3043.56 c 3044 547022 197071 1 9.0000 8.0000 12.50%
3038.24/3048.67 c 3049 548409 197044 1 9.0000 8.0000 12.50%
3043.32/3053.73 c 3054 549621 197055 1 9.0000 8.0000 12.50%
3048.40/3058.86 c 3059 551311 197005 1 9.0000 8.0000 12.50%
3053.48/3063.98 c 3064 552647 197003 1 9.0000 8.0000 12.50%
3058.58/3069.10 c 3069 553996 196973 1 9.0000 8.0000 12.50%
3063.66/3074.15 c 3074 555472 196952 1 9.0000 8.0000 12.50%
3068.83/3079.33 c 3079 556855 196933 1 9.0000 8.0000 12.50%
3073.82/3084.37 c 3084 558548 196953 1 9.0000 8.0000 12.50%
3078.90/3089.46 c 3089 560171 196999 1 9.0000 8.0000 12.50%
3083.98/3094.56 c 3095 561577 196993 1 9.0000 8.0000 12.50%
3089.07/3099.62 c 3100 563358 196984 1 9.0000 8.0000 12.50%
3094.05/3104.67 c 3105 565107 196966 1 9.0000 8.0000 12.50%
3099.13/3109.74 c 3110 566727 196945 1 9.0000 8.0000 12.50%
3104.22/3114.80 c 3115 568107 196934 1 9.0000 8.0000 12.50%
3109.20/3119.87 c 3120 569454 196908 1 9.0000 8.0000 12.50%
3114.28/3124.91 c 3125 571002 196878 1 9.0000 8.0000 12.50%
3119.37/3130.04 c 3130 572691 196827 1 9.0000 8.0000 12.50%
3124.35/3135.10 c 3135 574113 196806 1 9.0000 8.0000 12.50%
3129.44/3140.17 c 3140 575537 196804 1 9.0000 8.0000 12.50%
3134.51/3145.29 c 3145 576977 196807 1 9.0000 8.0000 12.50%
3139.59/3150.39 c 3150 578088 196784 1 9.0000 8.0000 12.50%
3144.77/3155.51 c 3156 579432 196773 1 9.0000 8.0000 12.50%
3149.76/3160.56 c 3161 581305 196748 1 9.0000 8.0000 12.50%
3154.94/3165.77 c 3166 582349 196706 1 9.0000 8.0000 12.50%
3160.03/3170.87 c 3171 584014 196678 1 9.0000 8.0000 12.50%
3165.11/3175.93 c 3176 585587 196652 1 9.0000 8.0000 12.50%
3170.09/3180.99 c 3181 586886 196618 1 9.0000 8.0000 12.50%
3175.17/3186.04 c 3186 588648 196606 1 9.0000 8.0000 12.50%
3180.26/3191.12 c 3191 590017 196581 1 9.0000 8.0000 12.50%
3185.24/3196.19 c 3196 591358 196532 1 9.0000 8.0000 12.50%
3190.31/3201.24 c 3201 592770 196513 1 9.0000 8.0000 12.50%
3195.30/3206.29 c 3206 594145 196482 1 9.0000 8.0000 12.50%
3200.48/3211.40 c 3211 595418 196481 1 9.0000 8.0000 12.50%
3205.57/3216.53 c 3217 596782 196494 1 9.0000 8.0000 12.50%
3210.64/3221.68 c 3222 597884 196481 1 9.0000 8.0000 12.50%
3215.73/3226.79 c 3227 599177 196495 1 9.0000 8.0000 12.50%
3220.81/3231.88 c 3232 600517 196487 1 9.0000 8.0000 12.50%
3225.90/3236.94 c 3237 602140 196439 1 9.0000 8.0000 12.50%
3230.88/3241.99 c 3242 603620 196394 1 9.0000 8.0000 12.50%
3235.97/3247.07 c 3247 605130 196385 1 9.0000 8.0000 12.50%
3241.13/3252.22 c 3252 606818 196361 1 9.0000 8.0000 12.50%
3246.23/3257.31 c 3257 608033 196355 1 9.0000 8.0000 12.50%
3251.20/3262.36 c 3262 609436 196342 1 9.0000 8.0000 12.50%
3256.29/3267.44 c 3267 610995 196332 1 9.0000 8.0000 12.50%
3261.37/3272.51 c 3273 611731 196339 1 9.0000 8.0000 12.50%
3266.36/3277.56 c 3278 613022 196303 1 9.0000 8.0000 12.50%
3271.43/3282.66 c 3283 614451 196278 1 9.0000 8.0000 12.50%
3276.52/3287.77 c 3288 615784 196265 1 9.0000 8.0000 12.50%
3281.60/3292.82 c 3293 617436 196265 1 9.0000 8.0000 12.50%
3286.69/3297.99 c 3298 618735 196296 1 9.0000 8.0000 12.50%
3291.78/3303.09 c 3303 619998 196264 1 9.0000 8.0000 12.50%
3296.87/3308.15 c 3308 621437 196251 1 9.0000 8.0000 12.50%
3301.94/3313.23 c 3313 622853 196241 1 9.0000 8.0000 12.50%
3307.02/3318.35 c 3318 624664 196218 1 9.0000 8.0000 12.50%
3312.00/3323.40 c 3323 626537 196185 1 9.0000 8.0000 12.50%
3317.08/3328.49 c 3328 628090 196172 1 9.0000 8.0000 12.50%
3322.17/3333.59 c 3334 629573 196234 1 9.0000 8.0000 12.50%
3327.25/3338.67 c 3339 630994 196206 1 9.0000 8.0000 12.50%
3332.44/3343.87 c 3344 632200 196186 1 9.0000 8.0000 12.50%
3337.51/3348.93 c 3349 634191 196174 1 9.0000 8.0000 12.50%
3342.60/3354.08 c 3354 635826 196156 1 9.0000 8.0000 12.50%
3347.69/3359.15 c 3359 637527 196138 1 9.0000 8.0000 12.50%
3352.76/3364.23 c 3364 639256 196125 1 9.0000 8.0000 12.50%
3357.83/3369.35 c 3369 640686 196106 1 9.0000 8.0000 12.50%
3362.92/3374.40 c 3374 642475 196076 1 9.0000 8.0000 12.50%
3367.90/3379.45 c 3379 644099 196065 1 9.0000 8.0000 12.50%
3373.09/3384.62 c 3385 645473 196033 1 9.0000 8.0000 12.50%
3378.07/3389.68 c 3390 646718 196024 1 9.0000 8.0000 12.50%
3383.15/3394.73 c 3395 648154 196015 1 9.0000 8.0000 12.50%
3388.23/3399.87 c 3400 649767 196020 1 9.0000 8.0000 12.50%
3393.32/3404.99 c 3405 650505 196084 1 9.0000 8.0000 12.50%
3398.60/3410.21 c 3410 651288 196058 1 9.0000 8.0000 12.50%
3403.78/3415.40 c 3415 652406 196016 1 9.0000 8.0000 12.50%
3408.77/3420.48 c 3420 653678 196018 1 9.0000 8.0000 12.50%
3413.85/3425.57 c 3426 655121 196033 1 9.0000 8.0000 12.50%
3418.94/3430.67 c 3431 656519 196018 1 9.0000 8.0000 12.50%
3424.03/3435.78 c 3436 657481 195986 1 9.0000 8.0000 12.50%
3429.11/3440.87 c 3441 658764 195959 1 9.0000 8.0000 12.50%
3434.19/3445.98 c 3446 660196 195941 1 9.0000 8.0000 12.50%
3439.28/3451.11 c 3451 661541 195965 1 9.0000 8.0000 12.50%
3444.37/3456.18 c 3456 662624 195955 1 9.0000 8.0000 12.50%
3449.43/3461.26 c 3461 664125 195922 1 9.0000 8.0000 12.50%
3454.52/3466.31 c 3466 665565 195896 1 9.0000 8.0000 12.50%
3459.60/3471.46 c 3471 667246 195864 1 9.0000 8.0000 12.50%
3464.69/3476.54 c 3477 668637 195856 1 9.0000 8.0000 12.50%
3469.77/3481.64 c 3482 670181 195856 1 9.0000 8.0000 12.50%
3474.85/3486.74 c 3487 671432 195820 1 9.0000 8.0000 12.50%
3479.93/3491.82 c 3492 672762 195805 1 9.0000 8.0000 12.50%
3484.92/3496.88 c 3497 674572 195781 1 9.0000 8.0000 12.50%
3490.00/3501.96 c 3502 675481 195801 1 9.0000 8.0000 12.50%
3495.20/3507.15 c 3507 676282 195779 1 9.0000 8.0000 12.50%
3500.27/3512.21 c 3512 677834 195774 1 9.0000 8.0000 12.50%
3505.35/3517.33 c 3517 678999 195779 1 9.0000 8.0000 12.50%
3510.43/3522.41 c 3522 680582 195756 1 9.0000 8.0000 12.50%
3515.41/3527.48 c 3527 682253 195717 1 9.0000 8.0000 12.50%
3520.50/3532.58 c 3533 683451 195708 1 9.0000 8.0000 12.50%
3525.68/3537.70 c 3538 684698 195704 1 9.0000 8.0000 12.50%
3530.67/3542.75 c 3543 686314 195662 1 9.0000 8.0000 12.50%
3535.75/3547.80 c 3548 687996 195630 1 9.0000 8.0000 12.50%
3540.73/3552.86 c 3553 689254 195621 1 9.0000 8.0000 12.50%
3545.81/3557.98 c 3558 690643 195624 1 9.0000 8.0000 12.50%
3550.89/3563.03 c 3563 691955 195595 1 9.0000 8.0000 12.50%
3555.88/3568.10 c 3568 693036 195595 1 9.0000 8.0000 12.50%
3561.05/3573.24 c 3573 694312 195599 1 9.0000 8.0000 12.50%
3566.04/3578.29 c 3578 695974 195543 1 9.0000 8.0000 12.50%
3571.12/3583.33 c 3583 697583 195546 1 9.0000 8.0000 12.50%
3576.10/3588.39 c 3588 699465 195541 1 9.0000 8.0000 12.50%
3581.18/3593.44 c 3593 701167 195522 1 9.0000 8.0000 12.50%
3586.66/3598.92 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.66/3598.92 c Total Time : 3598.90
3586.66/3598.92 c solving : 3598.90
3586.66/3598.92 c presolving : 0.46 (included in solving)
3586.66/3598.92 c B&B Tree :
3586.66/3598.92 c nodes (total) : 1
3586.66/3598.92 c Solution :
3586.66/3598.92 c Solutions found : 2
3586.66/3598.92 c Primal Bound : +9.00000000000000e+00
3586.66/3598.92 c Dual Bound : +8.00000000000000e+00
3586.66/3598.92 c Gap : 12.50000 %
3586.66/3598.92 c * Warning: final gap: 1.25000e-01 is greater than SCIPepsilon: 1.00000e-09
3586.66/3598.92 o 9
3586.66/3598.92 s SATISFIABLE
3586.66/3598.92 v -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
3586.66/3598.92 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750
3586.66/3598.92 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729
3586.66/3598.92 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708
3586.66/3598.92 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687
3586.66/3598.92 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
3586.66/3598.92 v -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645
3586.66/3598.92 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624
3586.66/3598.92 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603
3586.66/3598.92 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
3586.66/3598.92 v -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
3586.66/3598.92 v -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
3586.66/3598.92 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
3586.66/3598.92 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
3586.66/3598.92 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
3586.66/3598.92 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
3586.66/3598.92 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
3586.66/3598.92 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
3586.66/3598.92 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
3586.66/3598.92 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
3586.66/3598.92 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351
3586.66/3598.92 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
3586.66/3598.92 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309
3586.66/3598.92 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288
3586.66/3598.92 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267
3586.66/3598.92 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246
3586.66/3598.92 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
3586.66/3598.92 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
3586.66/3598.92 v -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
3586.66/3598.92 v -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
3586.66/3598.92 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
3586.66/3598.92 v -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
3586.66/3598.92 v -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
3586.66/3598.92 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
3586.66/3598.92 v -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
3586.66/3598.92 v -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
3586.66/3598.92 v x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (53771 MiB free)
memory of node 1: 64473 MiB (57885 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464176-1722382201/watcher-4464176-1722382201 -o /tmp/evaluation-result-4464176-1722382201/solver-4464176-1722382201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28658 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464176-1722382201.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31144, runsolver pid=31141
[startup+0.100828 s]*
/proc/loadavg: 4.11 4.26 4.18 6/248 31147
/proc/meminfo: memFree=114180724/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=42324 memory=31628 CPUtime=0.1 cores=5,7
/proc/31144/stat : 31144 (fscip) R 31141 31144 28645 0 -1 4194304 5532 0 0 0 9 1 0 0 20 0 1 0 4817720 43339776 7907 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 10581 7907 2662 3035 0 6977 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42324 KiB
Current children cumulated memory: 31628 KiB
[startup+0.213175 s]*
/proc/loadavg: 4.11 4.26 4.18 5/248 31147
/proc/meminfo: memFree=114059672/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=47204 memory=37012 CPUtime=0.21 cores=5,7
/proc/31144/stat : 31144 (fscip) R 31141 31144 28645 0 -1 4194304 7588 0 0 0 19 2 0 0 20 0 1 0 4817720 48336896 9253 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 11801 9253 2758 3035 0 8197 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47204 KiB
Current children cumulated memory: 37012 KiB
[startup+0.313128 s]*
/proc/loadavg: 4.11 4.26 4.18 5/248 31147
/proc/meminfo: memFree=113956716/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=48188 memory=38068 CPUtime=0.31 cores=5,7
/proc/31144/stat : 31144 (fscip) R 31141 31144 28645 0 -1 4194304 7853 0 0 0 29 2 0 0 20 0 1 0 4817720 49344512 9517 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 12047 9517 2758 3035 0 8443 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48188 KiB
Current children cumulated memory: 38068 KiB
[startup+0.70083 s]
/proc/loadavg: 4.11 4.26 4.18 5/248 31147
/proc/meminfo: memFree=113720668/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=141940 memory=70812 CPUtime=0.68 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 17606 0 0 0 63 5 0 0 20 0 3 0 4817720 145346560 17703 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 35485 17703 2790 3035 0 21640 0
[pid=31144/tid=31148] ppid=31141 vsize=141940 memory=1804 CPUtime=0.13 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 5829 0 0 0 12 1 0 0 20 0 3 0 4817772 145346560 17703 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141940 KiB
Current children cumulated memory: 70812 KiB
[startup+1.50034 s]
/proc/loadavg: 4.11 4.26 4.18 5/250 31149
/proc/meminfo: memFree=113163796/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=141940 memory=104732 CPUtime=1.47 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 26258 0 0 0 140 7 0 0 20 0 3 0 4817720 145346560 26183 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 35485 26183 2950 3035 0 30490 0
[pid=31144/tid=31148] ppid=31141 vsize=141940 memory=1804 CPUtime=0.92 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 14481 0 0 0 89 3 0 0 20 0 3 0 4817772 145346560 26183 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=141940 memory=12160 CPUtime=0 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817779 145346560 26183 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 141940 KiB
Current children cumulated memory: 104732 KiB
[startup+3.11281 s]
/proc/loadavg: 4.10 4.25 4.17 5/248 31195
/proc/meminfo: memFree=111159224/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=141940 memory=105756 CPUtime=3.08 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 33747 0 0 0 300 8 0 0 20 0 3 0 4817720 145346560 26439 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 35485 26439 2950 3035 0 30900 0
[pid=31144/tid=31148] ppid=31141 vsize=141940 memory=-5155634595918211973 CPUtime=2.53 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 21965 0 0 0 248 5 0 0 20 0 3 0 4817772 145346560 26439 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=141940 memory=0 CPUtime=0 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4817779 145346560 26439 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 141940 KiB
Current children cumulated memory: 105756 KiB
[startup+6.30035 s]
/proc/loadavg: 4.10 4.25 4.17 5/248 31196
/proc/meminfo: memFree=110289052/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=207476 memory=162172 CPUtime=6.26 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 60651 0 0 0 614 12 0 0 20 0 3 0 4817720 212455424 40543 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 51869 40543 2966 3035 0 45879 0
[pid=31144/tid=31148] ppid=31141 vsize=207476 memory=150544 CPUtime=5.7 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 48839 0 0 0 562 8 0 0 20 0 3 0 4817772 212455424 40543 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=207476 memory=0 CPUtime=0 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4817779 212455424 40543 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 207476 KiB
Current children cumulated memory: 162172 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.25 4.17 5/249 31253
/proc/meminfo: memFree=108279652/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=273012 memory=193812 CPUtime=12.64 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 103375 0 0 0 1248 16 0 0 20 0 3 0 4817720 279564288 48453 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 68253 48453 3014 3035 0 54189 0
[pid=31144/tid=31148] ppid=31141 vsize=273012 memory=5518 CPUtime=12.09 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 91490 0 0 0 1197 12 0 0 20 0 3 0 4817772 279564288 48453 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=273012 memory=-7596283413075682684 CPUtime=0 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4817779 279564288 48453 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 273012 KiB
Current children cumulated memory: 193812 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.25 4.18 5/250 31256
/proc/meminfo: memFree=102115636/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=273012 memory=208392 CPUtime=25.4 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 153308 0 0 0 2520 20 0 0 20 0 3 0 4817720 279564288 52098 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 68253 52098 3318 3035 0 57201 0
[pid=31144/tid=31148] ppid=31141 vsize=273012 memory=208384 CPUtime=24.84 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 141333 0 0 0 2468 16 0 0 20 0 3 0 4817772 279564288 52098 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=273012 memory=202128 CPUtime=0 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4817779 279564288 52098 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 273012 KiB
Current children cumulated memory: 208392 KiB
[startup+51.1127 s]
/proc/loadavg: 4.10 4.23 4.17 5/249 31260
/proc/meminfo: memFree=93509956/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=278868 memory=214776 CPUtime=50.93 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 208859 0 0 0 5069 24 0 0 20 0 3 0 4817720 285560832 53694 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 69717 53694 3318 3035 0 58665 0
[pid=31144/tid=31148] ppid=31141 vsize=278868 memory=202128 CPUtime=50.37 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 196778 0 0 0 5017 20 0 0 20 0 3 0 4817772 285560832 53694 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=278868 memory=12160 CPUtime=0 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4817779 285560832 53694 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 278868 KiB
Current children cumulated memory: 214776 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.24 4.18 5/251 31324
/proc/meminfo: memFree=112549448/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=351108 memory=273880 CPUtime=101.96 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 309875 0 0 0 10161 35 0 0 20 0 3 0 4817720 359534592 68470 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 87777 68470 3318 3035 0 73426 0
[pid=31144/tid=31148] ppid=31141 vsize=351108 memory=273880 CPUtime=101.4 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 297683 0 0 0 10110 30 0 0 20 0 3 0 4817772 359534592 68470 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=351108 memory=12160 CPUtime=0 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4817779 359534592 68470 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 351108 KiB
Current children cumulated memory: 273880 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.22 4.18 5/251 31335
/proc/meminfo: memFree=112489288/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=353620 memory=277044 CPUtime=161.77 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 336475 0 0 0 16136 41 0 0 20 0 3 0 4817720 362106880 69261 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 88405 69261 3318 3035 0 74054 0
[pid=31144/tid=31148] ppid=31141 vsize=353620 memory=275072 CPUtime=161.2 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 324247 0 0 0 16084 36 0 0 20 0 3 0 4817772 362106880 69261 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=353620 memory=274968 CPUtime=0 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4817779 362106880 69261 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 353620 KiB
Current children cumulated memory: 277044 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.18 4.17 5/253 31348
/proc/meminfo: memFree=110646532/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=360156 memory=285496 CPUtime=221.57 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 362686 0 0 0 22109 48 0 0 20 0 3 0 4817720 368799744 71374 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 90039 71374 3318 3035 0 76058 0
[pid=31144/tid=31148] ppid=31141 vsize=360156 memory=277300 CPUtime=220.99 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 350428 0 0 0 22057 42 0 0 20 0 3 0 4817772 368799744 71374 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=360156 memory=31788 CPUtime=0 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4817779 368799744 71374 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 360156 KiB
################
# More data... #
################
/proc/31144/statm: 371009 351009 3318 3035 0 363533 0
[pid=31144/tid=31148] ppid=31141 vsize=1484036 memory=1404036 CPUtime=3449.6 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2068173 0 0 0 344428 532 0 0 20 0 3 0 4817772 1519652864 351009 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1484036 memory=1404036 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 4817779 1519652864 351009 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3450.54 s
Current children cumulated vsize: 1484036 KiB
Current children cumulated memory: 1404036 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/254 33130
/proc/meminfo: memFree=104620424/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=1484036 memory=1409188 CPUtime=3510.33 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 2119426 0 0 0 350473 560 0 0 20 0 3 0 4817720 1519652864 352297 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 371009 352297 3318 3035 0 364146 0
[pid=31144/tid=31148] ppid=31141 vsize=1484036 memory=1404036 CPUtime=3509.4 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2106477 0 0 0 350398 542 0 0 20 0 3 0 4817772 1519652864 352297 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1484036 memory=1409188 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 140 0 0 0 1 4 0 0 20 0 3 0 4817779 1519652864 352297 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3510.33 s
Current children cumulated vsize: 1484036 KiB
Current children cumulated memory: 1409188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/254 33141
/proc/meminfo: memFree=104580708/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3570.12 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 2169637 0 0 0 356441 571 0 0 20 0 3 0 4817720 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 375521 361884 3318 3035 0 368658 0
[pid=31144/tid=31148] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3569.18 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2156676 0 0 0 356365 553 0 0 20 0 3 0 4817772 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1502084 memory=12160 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 4817779 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3570.12 s
Current children cumulated vsize: 1502084 KiB
Current children cumulated memory: 1447536 KiB
[startup+3599.02 s]
# the end of solver process 31144 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.82 s, system=5.95396 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.13 4.15 5/255 33142
/proc/meminfo: memFree=104580772/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3571.83 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 2170388 0 0 0 356611 572 0 0 20 0 3 0 4817720 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 375521 361884 3318 3035 0 368658 0
[pid=31144/tid=31148] ppid=31141 vsize=1502084 memory=0 CPUtime=3570.88 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2157427 0 0 0 356535 553 0 0 20 0 3 0 4817772 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1502084 memory=-5155633680935826750 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 4817779 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 1502084 KiB
Current children cumulated memory: 1447536 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.12 4.15 5/255 33144
/proc/meminfo: memFree=104580644/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3578.19 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 2172794 0 0 0 357246 573 0 0 20 0 3 0 4817720 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 375521 361884 3318 3035 0 368658 0
[pid=31144/tid=31148] ppid=31141 vsize=1502084 memory=5412 CPUtime=3577.25 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2159833 0 0 0 357170 555 0 0 20 0 3 0 4817772 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1502084 memory=1447536 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 4817779 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3578.19 s
Current children cumulated vsize: 1502084 KiB
Current children cumulated memory: 1447536 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.12 4.15 5/255 33144
/proc/meminfo: memFree=104580680/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3581.38 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 2174122 0 0 0 357564 574 0 0 20 0 3 0 4817720 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 375521 361884 3318 3035 0 368658 0
[pid=31144/tid=31148] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3580.43 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2161161 0 0 0 357488 555 0 0 20 0 3 0 4817772 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1502084 memory=1447536 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 4817779 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3581.38 s
Current children cumulated vsize: 1502084 KiB
Current children cumulated memory: 1447536 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.12 4.15 5/255 33145
/proc/meminfo: memFree=104580660/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3584.57 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 2175728 0 0 0 357882 575 0 0 20 0 3 0 4817720 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 375521 361884 3318 3035 0 368658 0
[pid=31144/tid=31148] ppid=31141 vsize=1502084 memory=12952 CPUtime=3583.62 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2162767 0 0 0 357806 556 0 0 20 0 3 0 4817772 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1502084 memory=1447536 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 4817779 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3584.57 s
Current children cumulated vsize: 1502084 KiB
Current children cumulated memory: 1447536 KiB
[startup+3597.6 s]
/proc/loadavg: 4.07 4.12 4.15 5/255 33145
/proc/meminfo: memFree=104580620/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3585.36 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 2176312 0 0 0 357961 575 0 0 20 0 3 0 4817720 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 375521 361884 3318 3035 0 368658 0
[pid=31144/tid=31148] ppid=31141 vsize=1502084 memory=5412 CPUtime=3584.41 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2163351 0 0 0 357885 556 0 0 20 0 3 0 4817772 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1502084 memory=16076 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 4817779 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 1502084 KiB
Current children cumulated memory: 1447536 KiB
[startup+3598.4 s]
/proc/loadavg: 4.07 4.12 4.15 5/255 33145
/proc/meminfo: memFree=104580600/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3586.17 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 2259850 0 0 0 358036 581 0 0 20 0 3 0 4817720 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 375521 361884 3318 3035 0 368658 0
[pid=31144/tid=31148] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3585.22 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2246917 0 0 0 357960 562 0 0 20 0 3 0 4817772 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1502084 memory=12660 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 4817779 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 1502084 KiB
Current children cumulated memory: 1447536 KiB
[startup+3598.8 s]
/proc/loadavg: 4.07 4.12 4.15 5/255 33145
/proc/meminfo: memFree=104580600/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=1502084 memory=1447536 CPUtime=3586.56 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 2359084 0 0 0 358070 586 0 0 20 0 3 0 4817720 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 375521 361884 3318 3035 0 368658 0
[pid=31144/tid=31148] ppid=31141 vsize=1502084 memory=16076 CPUtime=3585.61 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2346142 0 0 0 357994 567 0 0 20 0 3 0 4817772 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1502084 memory=1447536 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 4817779 1538134016 361884 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 1502084 KiB
Current children cumulated memory: 1447536 KiB
[startup+3598.9 s]
/proc/loadavg: 4.07 4.12 4.15 5/255 33145
/proc/meminfo: memFree=104580600/131655788 swapFree=131071996/131071996
[pid=31144] ppid=31141 vsize=1494904 memory=1442860 CPUtime=3586.66 cores=5,7
/proc/31144/stat : 31144 (fscip) S 31141 31144 28645 0 -1 1077936128 2363508 0 0 0 358079 587 0 0 20 0 3 0 4817720 1530781696 360715 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
/proc/31144/statm: 373726 360715 3318 3035 0 366863 0
[pid=31144/tid=31148] ppid=31141 vsize=1494904 memory=0 CPUtime=3585.72 cores=5,7
/proc/31144/task/31148/stat : 31148 (fscip) R 31141 31144 28645 0 -1 4194368 2350546 0 0 0 358004 568 0 0 20 0 3 0 4817772 1530781696 360715 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
[pid=31144/tid=31149] ppid=31141 vsize=1494904 memory=4281682568518725278 CPUtime=0.05 cores=5,7
/proc/31144/task/31149/stat : 31149 (fscip) S 31141 31144 28645 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 4817779 1530781696 360715 134679101440 4194304 16623229 140726780694944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35430400 140726780703766 140726780703882 140726780703882 140726780710896 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 1494904 KiB
Current children cumulated memory: 1442860 KiB
Child status: 0
Real time (s): 3599.02
CPU time (s): 3586.78
CPU user time (s): 3580.82
CPU system time (s): 5.95396
CPU usage (%): 99.66
Max. virtual memory (cumulated for all children) (KiB): 1502084
Max. memory (cumulated for all children) (KiB): 1447536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.82
system time used= 5.95396
maximum resident set size= 1447536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2363827
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= 11447
involuntary context switches= 6937
# summary of solver processes directly reported to runsolver:
# pid: 31144
# total CPU time (s): 3586.78
# total CPU user time (s): 3580.82
# total CPU system time (s): 5.95396
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7595 second user time and 37.3437 second system time
The end
Begin job on nodeC009 at 2024-07-31 01:30:01
IDJOB=4464176
IDBENCH=155341
IDSOLVER=3092
FILE ID=nodeC009/4464176-1722382201
RUNJOBID= nodeC009-1722378594-28658
SLURM_JOB_ID= 8249839
Free space on /tmp= 723448 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1620770.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464176-1722382201/watcher-4464176-1722382201 -o /tmp/evaluation-result-4464176-1722382201/solver-4464176-1722382201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28658 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464176-1722382201.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ea40b84df91c60f1b4d71ba03d843a27
RANDOM SEED=292526229
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2394.512
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.997
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.471
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.274
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3672.488
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1297.030
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.421
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.265
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 114381032 kB
MemAvailable: 126294160 kB
Buffers: 94316 kB
Cached: 12620036 kB
SwapCached: 0 kB
Active: 337556 kB
Inactive: 16423600 kB
Active(anon): 1488 kB
Inactive(anon): 4066688 kB
Active(file): 336068 kB
Inactive(file): 12356912 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 341728 kB
Writeback: 28 kB
AnonPages: 4046888 kB
Mapped: 121132 kB
Shmem: 21320 kB
KReclaimable: 120696 kB
Slab: 202688 kB
SReclaimable: 120696 kB
SUnreclaim: 81992 kB
KernelStack: 3920 kB
PageTables: 16736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3753564 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1439744 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: 265032 kB
DirectMap2M: 12222464 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 723632 MiB
End job on nodeC009 at 2024-07-31 02:30:00