0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.13 c Default LC presolving (default).
0.10/0.13 c ** Before presolving: virtualMemUsedAtLc = 53161984, getVmSize() = 53161984, SCIPgetMemUsed() = 24838784, SCIPgetMemTotal() = 30292416, SCIPgetMemExternEstim() = 19073282
0.10/0.13 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.48/2.51 c ** Estimated virtualMemUsedAtSolver = 94162688, getVmSize() = 147906560, SCIPgetMemUsed() = 69642854, SCIPgetMemTotal() = 122170750, SCIPgetMemExternEstim() = 19073282
2.48/2.51 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.48/2.51 c Original Problem :
2.48/2.51 c Problem name : instance-4434602-1721069986
2.48/2.51 c Variables : 2460 (2460 binary, 0 integer, 0 implicit integer, 0 continuous)
2.48/2.51 c Constraints : 17131
2.48/2.51 c Objective sense : minimize
2.48/2.51 c Presolved Problem :
2.48/2.51 c Variables : 2460 (2460 binary, 0 integer, 0 implicit integer, 0 continuous)
2.48/2.51 c Constraints : 17131
2.48/2.51 c Constraints : Number
2.48/2.51 c setppc : 15950
2.48/2.51 c logicor : 1181
2.48/2.51 c ** Instance transfer method used: 0
2.48/2.53 c ** ParaScipInstance copy does not increase the number of variables. **
2.48/2.59 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.48/2.59 c Nodes Active
2.48/2.59 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.16/5.25 c * 5 0 1 1 1183.0000 - -
5.16/5.25 c 5 0 1 1 1183.0000 - -
5.16/5.25 c * 5 0 1 1 1119.0000 - -
17.63/17.76 c 18 2 1 1 1119.0000 553.8380 102.04%
22.82/22.92 c 23 6 5 1 1119.0000 554.1533 101.93%
28.31/28.47 c 28 12 11 1 1119.0000 554.1533 101.93%
36.48/36.61 c 37 17 16 1 1119.0000 554.1533 101.93%
42.27/42.48 c 42 69 68 1 1119.0000 554.1533 101.93%
43.06/43.27 c * 43 69 68 1 1118.0000 554.1533 101.75%
43.06/43.27 c * 43 69 68 1 1117.0000 554.1533 101.57%
47.75/47.99 c 48 203 103 1 1117.0000 555.1302 101.21%
53.64/53.82 c 54 237 119 1 1117.0000 555.8229 100.96%
53.85/54.03 c * 54 237 119 1 1099.0000 555.8229 97.72%
53.85/54.07 c * 54 237 119 1 1086.0000 555.8229 95.39%
58.84/59.06 c 59 318 119 1 1086.0000 555.8229 95.39%
65.52/65.75 c 66 427 135 1 1086.0000 556.2260 95.24%
69.01/69.25 c * 69 456 140 1 1065.0000 556.3074 91.44%
69.01/69.27 c * 69 456 140 1 1063.0000 556.3074 91.08%
70.70/70.90 c 71 609 136 1 1063.0000 556.3074 91.08%
75.80/76.08 c 76 691 141 1 1063.0000 558.1843 90.44%
76.29/76.54 c * 77 691 141 1 1055.0000 558.1843 89.01%
80.89/81.12 c 81 718 144 1 1055.0000 558.1843 89.01%
88.56/88.85 c 89 798 139 1 1055.0000 559.5904 88.53%
94.85/95.19 c 95 817 158 1 1055.0000 573.6131 83.92%
100.63/100.92 c 101 867 195 1 1055.0000 575.5434 83.31%
104.52/104.81 c * 105 904 208 1 1050.0000 575.5434 82.44%
105.12/105.41 c * 105 904 208 1 1049.0000 575.5434 82.26%
106.21/106.57 c 107 910 208 1 1049.0000 575.5434 82.26%
112.00/112.31 c 112 967 219 1 1049.0000 575.5434 82.26%
118.39/118.76 c 119 997 233 1 1049.0000 575.5434 82.26%
123.57/123.96 c 124 1013 244 1 1049.0000 577.5203 81.64%
128.56/128.96 c 129 1036 247 1 1049.0000 577.5203 81.64%
133.95/134.32 c 134 1078 256 1 1049.0000 577.5203 81.64%
137.54/137.90 c * 138 1103 257 1 1044.0000 580.5591 79.83%
137.54/137.94 c * 138 1103 257 1 1042.0000 580.5591 79.48%
139.34/139.74 c 140 1151 258 1 1042.0000 580.5591 79.48%
145.02/145.41 c 145 1247 280 1 1042.0000 580.5591 79.48%
150.51/150.94 c 151 1402 283 1 1042.0000 580.5873 79.47%
157.79/158.26 c 158 1408 289 1 1042.0000 580.5873 79.47%
163.28/163.78 c 164 1627 288 1 1042.0000 580.5873 79.47%
168.36/168.86 c 169 1714 295 1 1042.0000 581.4576 79.20%
173.56/174.10 c 174 1738 299 1 1042.0000 582.8672 78.77%
178.64/179.12 c 179 1926 317 1 1042.0000 583.4490 78.59%
183.71/184.26 c 184 2126 323 1 1042.0000 583.4763 78.58%
189.79/190.37 c 190 2252 331 1 1042.0000 584.0357 78.41%
194.88/195.49 c 195 2487 344 1 1042.0000 584.0357 78.41%
202.46/203.04 c 203 2562 355 1 1042.0000 584.5749 78.25%
208.23/208.80 c 209 2703 363 1 1042.0000 584.8610 78.16%
214.71/215.38 c 215 2742 370 1 1042.0000 585.4580 77.98%
220.19/220.88 c 221 2779 389 1 1042.0000 585.9380 77.83%
225.67/226.36 c 226 2822 404 1 1042.0000 590.9997 76.31%
231.25/231.99 c 232 2873 423 1 1042.0000 591.4714 76.17%
236.73/237.44 c 237 2988 424 1 1042.0000 593.3177 75.62%
242.51/243.27 c 243 3066 446 1 1042.0000 597.4719 74.40%
248.10/248.87 c 249 3162 461 1 1042.0000 598.3649 74.14%
253.30/254.05 c 254 3202 484 1 1042.0000 598.4133 74.13%
259.17/260.01 c 260 3251 480 1 1042.0000 598.4133 74.13%
265.15/265.93 c 266 3307 486 1 1042.0000 598.6697 74.05%
270.73/271.53 c 272 3393 510 1 1042.0000 598.6697 74.05%
275.91/276.76 c 277 3548 509 1 1042.0000 598.6697 74.05%
281.31/282.13 c 282 3754 517 1 1042.0000 598.7021 74.04%
286.68/287.53 c 288 3834 535 1 1042.0000 599.4110 73.84%
292.08/292.94 c 293 3866 547 1 1042.0000 600.2570 73.59%
297.66/298.57 c 299 3950 573 1 1042.0000 601.0581 73.36%
303.44/304.37 c 304 4093 582 1 1042.0000 601.0581 73.36%
308.74/309.68 c 310 4173 592 1 1042.0000 601.1609 73.33%
314.13/315.01 c 315 4312 601 1 1042.0000 602.0634 73.07%
319.51/320.42 c 320 4372 607 1 1042.0000 602.0634 73.07%
325.10/326.03 c 326 4439 618 1 1042.0000 602.0634 73.07%
330.58/331.59 c 332 4514 625 1 1042.0000 602.3831 72.98%
335.66/336.65 c 337 4597 640 1 1042.0000 602.3831 72.98%
340.85/341.86 c 342 4662 657 1 1042.0000 603.0507 72.79%
347.74/348.70 c 349 4719 690 1 1042.0000 603.0507 72.79%
352.82/353.85 c 354 4859 694 1 1042.0000 603.0507 72.79%
359.81/360.84 c 361 4988 697 1 1042.0000 603.0507 72.79%
365.49/366.51 c 367 5037 704 1 1042.0000 603.0846 72.78%
375.56/376.61 c 377 5076 721 1 1042.0000 603.1627 72.76%
381.74/382.83 c 383 5100 731 1 1042.0000 603.1867 72.75%
386.73/387.86 c 388 5129 742 1 1042.0000 603.5001 72.66%
387.53/388.65 c * 389 5129 742 1 1007.0000 603.5001 66.86%
387.95/389.10 c * 389 5129 742 1 1006.0000 603.5001 66.69%
392.52/393.65 c 394 5168 714 1 1006.0000 603.5001 66.69%
397.61/398.76 c 399 5192 728 1 1006.0000 604.3447 66.46%
403.01/404.11 c 404 5200 736 1 1006.0000 604.3447 66.46%
408.68/409.83 c 410 5208 735 1 1006.0000 604.3447 66.46%
415.06/416.21 c 416 5255 736 1 1006.0000 604.6940 66.37%
420.65/421.82 c 422 5271 750 1 1006.0000 604.7599 66.35%
426.85/428.02 c 428 5282 761 1 1006.0000 604.7599 66.35%
432.12/433.39 c 433 5364 781 1 1006.0000 605.1063 66.25%
438.30/439.50 c 440 5462 816 1 1006.0000 605.3470 66.19%
443.39/444.69 c 445 5493 829 1 1006.0000 605.8690 66.04%
449.19/450.44 c 450 5574 829 1 1006.0000 606.5141 65.87%
468.04/469.32 c 469 5692 1 1 1006.0000 705.4537 42.60%
473.13/474.40 c 474 5742 35 1 1006.0000 707.1574 42.26%
479.20/480.54 c 481 5811 66 1 1006.0000 707.5118 42.19%
484.49/485.83 c 486 5887 74 1 1006.0000 707.6715 42.16%
489.58/491.00 c 491 6001 78 1 1006.0000 707.8590 42.12%
495.68/497.09 c 497 6041 88 1 1006.0000 707.9757 42.10%
501.35/502.70 c 503 6118 89 1 1006.0000 707.9757 42.10%
507.44/508.86 c 509 6182 97 1 1006.0000 714.1331 40.87%
513.32/514.73 c 515 6302 102 1 1006.0000 716.7529 40.36%
519.20/520.63 c 521 6429 119 1 1006.0000 717.2119 40.27%
524.49/525.99 c 526 6573 125 1 1006.0000 717.2119 40.27%
530.69/532.17 c 532 6639 133 1 1006.0000 717.3144 40.25%
536.57/538.06 c 538 6708 146 1 1006.0000 717.9139 40.13%
542.44/543.97 c 544 6799 149 1 1006.0000 718.1763 40.08%
548.03/549.50 c 550 6903 157 1 1006.0000 718.1894 40.07%
553.72/555.24 c 555 7006 154 1 1006.0000 718.1894 40.07%
558.70/560.28 c 560 7060 154 1 1006.0000 718.1894 40.07%
564.50/566.10 c 566 7168 156 1 1006.0000 718.1894 40.07%
569.87/571.40 c 571 7192 158 1 1006.0000 718.5668 40.00%
575.47/577.10 c 577 7252 218 1 1006.0000 720.7556 39.58%
581.04/582.65 c 583 7283 249 1 1006.0000 722.1731 39.30%
586.34/587.92 c 588 7342 294 1 1006.0000 722.9916 39.14%
591.62/593.25 c 593 7403 323 1 1006.0000 723.3210 39.08%
597.60/599.27 c 599 7439 329 1 1006.0000 723.3210 39.08%
602.80/604.40 c 604 7532 338 1 1006.0000 723.9192 38.97%
608.08/609.75 c 610 7571 365 1 1006.0000 724.3305 38.89%
613.96/615.66 c 616 7648 396 1 1006.0000 724.4588 38.86%
619.65/621.31 c 621 7690 412 1 1006.0000 724.7884 38.80%
624.94/626.68 c 627 7721 443 1 1006.0000 725.1252 38.73%
631.12/632.87 c 633 7742 464 1 1006.0000 725.2657 38.71%
636.70/638.48 c 638 7769 491 1 1006.0000 726.3265 38.51%
641.90/643.65 c 644 7788 510 1 1006.0000 726.7655 38.42%
648.78/650.56 c 651 7817 539 1 1006.0000 727.1784 38.34%
654.06/655.89 c 656 7832 554 1 1006.0000 727.4160 38.30%
659.45/661.21 c 661 7862 584 1 1006.0000 728.5958 38.07%
665.04/666.85 c 667 7902 604 1 1006.0000 729.1990 37.96%
670.34/672.13 c 672 7931 633 1 1006.0000 729.5591 37.89%
675.81/677.63 c 678 7961 663 1 1006.0000 730.1667 37.78%
681.31/683.13 c 683 8000 702 1 1006.0000 731.0083 37.62%
686.89/688.77 c 689 8060 722 1 1006.0000 731.6246 37.50%
692.47/694.31 c 694 8138 722 1 1006.0000 731.6246 37.50%
698.65/700.51 c 700 8219 729 1 1006.0000 731.6311 37.50%
705.43/707.31 c 707 8252 762 1 1006.0000 732.6435 37.31%
711.82/713.73 c 714 8302 812 1 1006.0000 732.8248 37.28%
717.30/719.25 c 719 8323 833 1 1006.0000 732.9841 37.25%
726.98/728.94 c 729 8351 861 1 1006.0000 733.2990 37.19%
731.97/733.95 c 734 8371 881 1 1006.0000 733.6703 37.12%
737.85/739.87 c 740 8412 922 1 1006.0000 734.1138 37.04%
743.34/745.39 c 745 8441 951 1 1006.0000 735.0054 36.87%
749.14/751.13 c 751 8481 991 1 1006.0000 735.6551 36.75%
754.91/756.92 c 757 8516 1026 1 1006.0000 735.9348 36.70%
760.40/762.44 c 762 8572 1082 1 1006.0000 736.2776 36.63%
766.00/768.06 c 768 8620 1130 1 1006.0000 736.6722 36.56%
771.47/773.58 c 774 8662 1172 1 1006.0000 737.0206 36.50%
776.97/779.06 c 779 8712 1222 1 1006.0000 737.1279 36.48%
782.24/784.34 c 784 8762 1272 1 1006.0000 737.2622 36.45%
787.33/789.48 c 789 8802 1312 1 1006.0000 737.3466 36.44%
792.62/794.78 c 795 8852 1362 1 1006.0000 737.5080 36.41%
798.30/800.47 c 800 8899 1409 1 1006.0000 737.5822 36.39%
803.59/805.76 c 806 8932 1442 1 1006.0000 737.7150 36.37%
808.89/811.05 c 811 8982 1492 1 1006.0000 737.7757 36.36%
814.88/817.04 c 817 9032 1542 1 1006.0000 737.9132 36.33%
820.75/822.98 c 823 9091 1601 1 1006.0000 738.0528 36.30%
825.85/828.08 c 828 9129 1639 1 1006.0000 738.1914 36.28%
831.83/834.06 c 834 9162 1672 1 1006.0000 738.6006 36.20%
837.01/839.24 c 839 9212 1722 1 1006.0000 738.7799 36.17%
843.39/845.68 c 846 9252 1762 1 1006.0000 738.9338 36.14%
848.97/851.29 c 851 9278 1788 1 1006.0000 738.9633 36.14%
854.27/856.50 c 856 9306 1816 1 1006.0000 739.0035 36.13%
859.65/861.98 c 862 9362 1872 1 1006.0000 739.6671 36.01%
865.24/867.56 c 868 9399 1909 1 1006.0000 739.6950 36.00%
871.53/873.88 c 874 9432 1942 1 1006.0000 739.9135 35.96%
877.61/879.94 c 880 9472 1980 1 1006.0000 740.0456 35.94%
883.59/885.95 c 886 9519 2017 1 1006.0000 740.2427 35.90%
888.88/891.23 c 891 9562 2060 1 1006.0000 740.4587 35.86%
894.36/896.74 c 897 9605 2089 1 1006.0000 740.4786 35.86%
899.55/901.95 c 902 9652 2136 1 1006.0000 740.7888 35.80%
905.34/907.70 c 908 9702 2186 1 1006.0000 741.1123 35.74%
910.74/913.12 c 913 9754 2238 1 1006.0000 741.2108 35.72%
916.22/918.63 c 919 9792 2276 1 1006.0000 741.3631 35.70%
921.80/924.29 c 924 9842 2326 1 1006.0000 741.5380 35.66%
927.89/930.31 c 930 9862 2346 1 1006.0000 741.6150 35.65%
933.17/935.62 c 936 9895 2379 1 1006.0000 741.7497 35.63%
938.26/940.76 c 941 9930 2412 1 1006.0000 741.7813 35.62%
943.74/946.29 c 946 9982 2432 1 1006.0000 742.0859 35.56%
948.83/951.32 c 951 10002 2442 1 1006.0000 742.1497 35.55%
954.81/957.33 c 957 10051 2491 1 1006.0000 742.2411 35.54%
960.20/962.77 c 963 10088 2526 1 1006.0000 742.3287 35.52%
966.29/968.83 c 969 10136 2540 1 1006.0000 742.4622 35.50%
972.17/974.74 c 975 10171 2575 1 1006.0000 742.4956 35.49%
977.27/979.88 c 980 10202 2606 1 1006.0000 742.6003 35.47%
982.95/985.55 c 986 10238 2642 1 1006.0000 742.9024 35.41%
988.73/991.32 c 991 10270 2674 1 1006.0000 743.0296 35.39%
993.83/996.41 c 996 10292 2696 1 1006.0000 743.1873 35.36%
999.21/1001.84 c 1002 10327 2731 1 1006.0000 743.3895 35.33%
1004.79/1007.40 c 1007 10371 2775 1 1006.0000 743.5439 35.30%
1010.28/1012.97 c 1013 10398 2802 1 1006.0000 743.6379 35.28%
1015.76/1018.48 c 1018 10440 2844 1 1006.0000 743.7876 35.25%
1021.16/1023.87 c 1024 10491 2895 1 1006.0000 743.8455 35.24%
1027.45/1030.15 c 1030 10521 2925 1 1006.0000 743.9522 35.22%
1035.43/1038.15 c 1038 10541 2945 1 1006.0000 744.1798 35.18%
1041.20/1043.94 c 1044 10572 2976 1 1006.0000 744.2639 35.17%
1046.89/1049.62 c 1050 10602 3006 1 1006.0000 744.2900 35.16%
1052.29/1055.09 c 1055 10632 3036 1 1006.0000 744.4506 35.13%
1057.87/1060.69 c 1061 10669 3073 1 1006.0000 744.6036 35.11%
1064.05/1066.88 c 1067 10707 3111 1 1006.0000 744.6451 35.10%
1069.84/1072.64 c 1073 10751 3155 1 1006.0000 744.7149 35.09%
1074.92/1077.79 c 1078 10792 3196 1 1006.0000 744.8751 35.06%
1080.60/1083.46 c 1083 10822 3226 1 1006.0000 744.9527 35.04%
1086.30/1089.19 c 1089 10854 3258 1 1006.0000 745.0006 35.03%
1091.38/1094.26 c 1094 10888 3292 1 1006.0000 745.1123 35.01%
1096.96/1099.83 c 1100 10929 3333 1 1006.0000 745.1546 35.01%
1102.95/1105.81 c 1106 10961 3365 1 1006.0000 745.2417 34.99%
1108.44/1111.38 c 1111 10990 3394 1 1006.0000 745.3237 34.97%
1115.42/1118.39 c 1118 11010 3414 1 1006.0000 745.3630 34.97%
1120.81/1123.76 c 1124 11042 3446 1 1006.0000 745.4876 34.95%
1126.49/1129.43 c 1129 11082 3486 1 1006.0000 745.6232 34.92%
1132.38/1135.39 c 1135 11116 3520 1 1006.0000 745.7969 34.89%
1138.36/1141.39 c 1141 11151 3555 1 1006.0000 745.9212 34.87%
1143.94/1146.93 c 1147 11182 3586 1 1006.0000 746.0710 34.84%
1149.63/1152.66 c 1153 11202 3606 1 1006.0000 746.1170 34.83%
1154.92/1157.97 c 1158 11230 3634 1 1006.0000 746.2112 34.81%
1160.70/1163.70 c 1164 11272 3674 1 1006.0000 746.3579 34.79%
1166.30/1169.32 c 1169 11312 3714 1 1006.0000 746.5095 34.76%
1171.99/1175.01 c 1175 11342 3744 1 1006.0000 746.6482 34.74%
1177.36/1180.49 c 1180 11392 3792 1 1006.0000 746.7347 34.72%
1183.07/1186.15 c 1186 11442 3842 1 1006.0000 746.9147 34.69%
1189.14/1192.27 c 1192 11482 3882 1 1006.0000 746.9729 34.68%
1195.03/1198.15 c 1198 11513 3911 1 1006.0000 746.9800 34.68%
1200.71/1203.88 c 1204 11542 3932 1 1006.0000 747.1258 34.65%
1206.39/1209.59 c 1210 11581 3971 1 1006.0000 747.3160 34.62%
1211.48/1214.65 c 1215 11622 4012 1 1006.0000 747.4751 34.59%
1216.57/1219.73 c 1220 11662 4052 1 1006.0000 747.7153 34.54%
1222.05/1225.20 c 1225 11722 4112 1 1006.0000 747.8965 34.51%
1227.64/1230.87 c 1231 11761 4151 1 1006.0000 748.0110 34.49%
1233.32/1236.57 c 1237 11792 4182 1 1006.0000 748.1219 34.47%
1238.51/1241.75 c 1242 11842 4232 1 1006.0000 748.3420 34.43%
1243.70/1246.93 c 1247 11892 4282 1 1006.0000 748.5391 34.40%
1248.79/1252.02 c 1252 11938 4302 1 1006.0000 748.6045 34.38%
1254.67/1257.98 c 1258 11990 4314 1 1006.0000 748.6054 34.38%
1259.77/1263.02 c 1263 12032 4320 1 1006.0000 748.6085 34.38%
1265.04/1268.32 c 1268 12072 4360 1 1006.0000 748.6857 34.37%
1270.23/1273.50 c 1274 12112 4400 1 1006.0000 748.8084 34.35%
1275.51/1278.80 c 1279 12162 4450 1 1006.0000 748.8821 34.33%
1281.30/1284.69 c 1285 12192 4480 1 1006.0000 748.9289 34.33%
1286.79/1290.11 c 1290 12242 4530 1 1006.0000 749.0611 34.30%
1291.97/1295.35 c 1295 12292 4580 1 1006.0000 749.1769 34.28%
1297.16/1300.59 c 1301 12331 4619 1 1006.0000 749.1857 34.28%
1302.44/1305.80 c 1306 12362 4650 1 1006.0000 749.3240 34.25%
1308.33/1311.76 c 1312 12422 4710 1 1006.0000 749.6343 34.20%
1313.62/1317.06 c 1317 12472 4760 1 1006.0000 749.7150 34.18%
1319.79/1323.24 c 1323 12521 4809 1 1006.0000 749.8475 34.16%
1324.78/1328.27 c 1328 12562 4850 1 1006.0000 749.8934 34.15%
1330.37/1333.80 c 1334 12612 4900 1 1006.0000 750.0068 34.13%
1335.95/1339.45 c 1339 12667 4911 1 1006.0000 750.0068 34.13%
1341.74/1345.29 c 1345 12746 4920 1 1006.0000 750.0068 34.13%
1347.53/1351.01 c 1351 12783 4923 1 1006.0000 750.0068 34.13%
1361.38/1364.98 c 1365 12831 4937 1 1006.0000 750.0304 34.13%
1367.07/1370.62 c 1371 12882 4988 1 1006.0000 750.2128 34.10%
1372.96/1376.55 c 1377 12932 5038 1 1006.0000 750.2551 34.09%
1378.34/1381.91 c 1382 12992 5098 1 1006.0000 750.4088 34.06%
1383.93/1387.51 c 1388 13102 5120 1 1006.0000 750.4088 34.06%
1389.12/1392.75 c 1393 13192 5132 1 1006.0000 750.4088 34.06%
1394.31/1397.93 c 1398 13280 5138 1 1006.0000 750.4088 34.06%
1399.41/1403.08 c 1403 13304 5148 1 1006.0000 750.4920 34.05%
1404.88/1408.57 c 1409 13340 5178 1 1006.0000 750.5230 34.04%
1410.48/1414.14 c 1414 13403 5187 1 1006.0000 750.5230 34.04%
1415.75/1419.48 c 1419 13461 5197 1 1006.0000 750.5230 34.04%
1421.93/1425.61 c 1426 13521 5239 1 1006.0000 750.6231 34.02%
1427.92/1431.66 c 1432 13561 5279 1 1006.0000 750.7429 34.00%
1434.00/1437.78 c 1438 13596 5314 1 1006.0000 750.8287 33.99%
1439.69/1443.42 c 1443 13651 5341 1 1006.0000 750.8912 33.97%
1445.18/1448.96 c 1449 13728 5350 1 1006.0000 750.8912 33.97%
1450.86/1454.63 c 1455 13815 5365 1 1006.0000 750.8912 33.97%
1456.84/1460.63 c 1461 13872 5374 1 1006.0000 750.8912 33.97%
1462.23/1466.05 c 1466 13912 5406 1 1006.0000 751.0264 33.95%
1467.23/1471.08 c 1471 13962 5434 1 1006.0000 751.0672 33.94%
1472.31/1476.19 c 1476 13987 5459 1 1006.0000 751.1197 33.93%
1477.59/1481.47 c 1481 14022 5494 1 1006.0000 751.1933 33.92%
1483.07/1486.91 c 1487 14048 5502 1 1006.0000 751.1933 33.92%
1488.76/1492.62 c 1493 14102 5518 1 1006.0000 751.2383 33.91%
1494.25/1498.13 c 1498 14122 5522 1 1006.0000 751.2383 33.91%
1499.73/1503.66 c 1504 14197 5527 1 1006.0000 751.2383 33.91%
1505.61/1509.50 c 1509 14244 5530 1 1006.0000 751.2385 33.91%
1511.60/1515.58 c 1516 14288 5574 1 1006.0000 751.3486 33.89%
1517.58/1521.53 c 1522 14331 5617 1 1006.0000 751.4371 33.88%
1523.08/1527.06 c 1527 14372 5658 1 1006.0000 751.5387 33.86%
1529.56/1533.56 c 1534 14413 5699 1 1006.0000 751.6316 33.84%
1535.23/1539.29 c 1539 14451 5737 1 1006.0000 751.7360 33.82%
1540.83/1544.83 c 1545 14492 5778 1 1006.0000 751.8140 33.81%
1545.91/1549.95 c 1550 14522 5798 1 1006.0000 751.8475 33.80%
1551.70/1555.78 c 1556 14542 5818 1 1006.0000 751.8927 33.80%
1557.39/1561.43 c 1561 14571 5847 1 1006.0000 751.9301 33.79%
1562.47/1566.50 c 1566 14615 5863 1 1006.0000 751.9336 33.79%
1567.66/1571.79 c 1572 14642 5870 1 1006.0000 751.9704 33.78%
1573.84/1577.90 c 1578 14690 5918 1 1006.0000 752.0750 33.76%
1578.82/1582.99 c 1583 14742 5936 1 1006.0000 752.1305 33.75%
1584.72/1588.82 c 1589 14780 5974 1 1006.0000 752.1909 33.74%
1590.60/1594.74 c 1595 14811 6005 1 1006.0000 752.2447 33.73%
1596.48/1600.68 c 1601 14851 6045 1 1006.0000 752.2674 33.73%
1603.77/1607.97 c 1608 14887 6081 1 1006.0000 752.3219 33.72%
1608.96/1613.17 c 1613 14922 6116 1 1006.0000 752.3834 33.71%
1614.95/1619.16 c 1619 14951 6145 1 1006.0000 752.4268 33.70%
1620.72/1624.90 c 1625 14986 6180 1 1006.0000 752.5117 33.69%
1626.01/1630.23 c 1630 15031 6225 1 1006.0000 752.5923 33.67%
1631.00/1635.27 c 1635 15068 6262 1 1006.0000 752.6379 33.66%
1632.81/1637.04 c * 1637 15070 6264 1 997.0000 752.6379 32.47%
1632.81/1637.08 c * 1637 15070 6264 1 990.0000 752.6379 31.54%
1636.69/1640.91 c 1641 15091 6171 1 990.0000 752.6730 31.53%
1642.57/1646.88 c 1647 15132 6212 1 990.0000 752.7641 31.52%
1648.36/1652.66 c 1653 15162 6242 1 990.0000 752.7863 31.51%
1654.14/1658.41 c 1658 15191 6271 1 990.0000 752.8500 31.50%
1659.84/1664.10 c 1664 15232 6312 1 990.0000 752.9031 31.49%
1665.42/1669.75 c 1670 15262 6342 1 990.0000 752.9115 31.49%
1670.72/1675.05 c 1675 15291 6371 1 990.0000 752.9468 31.48%
1675.89/1680.28 c 1680 15329 6409 1 990.0000 752.9724 31.48%
1684.46/1688.88 c 1689 15361 6441 1 990.0000 752.9955 31.47%
1689.86/1694.23 c 1694 15402 6482 1 990.0000 753.1316 31.45%
1695.84/1700.28 c 1700 15452 6532 1 990.0000 753.2080 31.44%
1701.93/1706.34 c 1706 15488 6568 1 990.0000 753.2201 31.44%
1707.72/1712.16 c 1712 15513 6593 1 990.0000 753.2851 31.42%
1712.71/1717.19 c 1717 15542 6622 1 990.0000 753.3519 31.41%
1717.99/1722.43 c 1722 15581 6661 1 990.0000 753.3846 31.41%
1723.87/1728.37 c 1728 15614 6694 1 990.0000 753.4029 31.40%
1729.35/1733.85 c 1734 15652 6718 1 990.0000 753.4577 31.39%
1734.34/1738.88 c 1739 15692 6758 1 990.0000 753.4995 31.39%
1739.83/1744.33 c 1744 15732 6798 1 990.0000 753.6386 31.36%
1745.02/1749.57 c 1750 15772 6838 1 990.0000 753.7029 31.35%
1751.00/1755.59 c 1756 15812 6878 1 990.0000 753.7543 31.34%
1757.18/1761.73 c 1762 15871 6937 1 990.0000 753.8821 31.32%
1763.07/1767.60 c 1768 15911 6977 1 990.0000 753.9613 31.31%
1769.05/1773.61 c 1774 15951 7017 1 990.0000 754.0069 31.30%
1774.14/1778.79 c 1779 15991 7057 1 990.0000 754.0345 31.29%
1780.03/1784.61 c 1785 16042 7108 1 990.0000 754.1019 31.28%
1785.81/1790.43 c 1790 16092 7158 1 990.0000 754.2174 31.26%
1791.29/1795.94 c 1796 16122 7188 1 990.0000 754.2285 31.26%
1797.18/1801.85 c 1802 16171 7237 1 990.0000 754.2589 31.25%
1802.87/1807.52 c 1808 16207 7273 1 990.0000 754.4024 31.23%
1808.05/1812.79 c 1813 16251 7317 1 990.0000 754.4503 31.22%
1813.35/1818.02 c 1818 16281 7347 1 990.0000 754.5196 31.21%
1819.23/1823.90 c 1824 16341 7407 1 990.0000 754.6063 31.19%
1824.22/1828.96 c 1829 16382 7448 1 990.0000 754.6912 31.18%
1829.50/1834.28 c 1834 16421 7487 1 990.0000 754.7072 31.18%
1835.40/1840.13 c 1840 16471 7537 1 990.0000 754.8280 31.16%
1841.17/1845.91 c 1846 16523 7569 1 990.0000 754.8435 31.15%
1847.06/1851.86 c 1852 16548 7574 1 990.0000 754.8435 31.15%
1853.55/1858.36 c 1858 16586 7578 1 990.0000 754.8435 31.15%
1858.73/1863.58 c 1864 16626 7582 1 990.0000 754.8532 31.15%
1864.23/1869.03 c 1869 16672 7626 1 990.0000 754.9246 31.14%
1870.01/1874.81 c 1875 16723 7639 1 990.0000 754.9246 31.14%
1875.30/1880.17 c 1880 16753 7647 1 990.0000 754.9246 31.14%
1880.67/1885.53 c 1886 16798 7658 1 990.0000 754.9246 31.14%
1886.07/1890.90 c 1891 16842 7668 1 990.0000 754.9963 31.13%
1891.05/1896.01 c 1896 16881 7707 1 990.0000 755.0319 31.12%
1896.83/1901.77 c 1902 16943 7767 1 990.0000 755.1473 31.10%
1902.62/1907.53 c 1908 17021 7771 1 990.0000 755.1473 31.10%
1908.50/1913.47 c 1913 17105 7769 1 990.0000 755.1473 31.10%
1913.89/1918.86 c 1919 17160 7794 1 990.0000 755.1559 31.10%
1919.98/1924.97 c 1925 17206 7840 1 990.0000 755.2724 31.08%
1925.36/1930.36 c 1930 17242 7876 1 990.0000 755.3157 31.07%
1930.75/1935.79 c 1936 17272 7906 1 990.0000 755.3335 31.07%
1936.54/1941.59 c 1942 17304 7938 1 990.0000 755.3901 31.06%
1941.63/1946.60 c 1947 17352 7986 1 990.0000 755.4683 31.04%
1947.61/1952.64 c 1953 17391 8025 1 990.0000 755.5030 31.04%
1953.59/1958.64 c 1959 17441 8075 1 990.0000 755.5494 31.03%
1958.78/1963.85 c 1964 17472 8106 1 990.0000 755.6151 31.02%
1964.08/1969.17 c 1969 17511 8145 1 990.0000 755.6852 31.01%
1969.66/1974.70 c 1975 17532 8166 1 990.0000 755.7456 31.00%
1976.05/1981.16 c 1981 17581 8215 1 990.0000 755.7993 30.99%
1982.04/1987.12 c 1987 17632 8266 1 990.0000 755.9242 30.97%
1987.21/1992.35 c 1992 17682 8316 1 990.0000 756.1572 30.93%
1992.49/1997.63 c 1998 17712 8346 1 990.0000 756.2060 30.92%
1997.78/2002.96 c 2003 17760 8394 1 990.0000 756.2143 30.92%
2002.89/2008.10 c 2008 17792 8426 1 990.0000 756.2465 30.91%
2008.26/2013.42 c 2013 17838 8472 1 990.0000 756.3304 30.90%
2014.24/2019.43 c 2019 17881 8513 1 990.0000 756.4151 30.88%
2019.94/2025.13 c 2025 17942 8546 1 990.0000 756.4705 30.87%
2025.11/2030.39 c 2030 17981 8585 1 990.0000 756.5285 30.86%
2030.70/2035.94 c 2036 18015 8619 1 990.0000 756.6884 30.83%
2036.19/2041.48 c 2041 18062 8666 1 990.0000 756.8306 30.81%
2038.28/2043.60 c * 2044 18071 8677 1 961.0000 756.8405 26.98%
2038.38/2043.69 c * 2044 18071 8677 1 960.0000 756.8405 26.84%
2042.17/2047.49 c 2047 18114 8538 1 960.0000 756.8542 26.84%
2047.26/2052.55 c 2053 18152 8558 1 960.0000 756.9151 26.83%
2053.25/2058.50 c 2058 18182 8588 1 960.0000 756.9659 26.82%
2059.93/2065.27 c 2065 18214 8618 1 960.0000 757.0114 26.81%
2065.51/2070.86 c 2071 18238 8642 1 960.0000 757.0250 26.81%
2071.30/2076.61 c 2077 18284 8684 1 960.0000 757.1270 26.80%
2079.09/2084.42 c 2084 18321 8683 1 960.0000 757.1270 26.80%
2084.47/2089.85 c 2090 18381 8685 1 960.0000 757.1270 26.80%
2090.06/2095.48 c 2095 18418 8684 1 960.0000 757.1270 26.80%
2095.44/2100.85 c 2101 18465 8693 1 960.0000 757.1369 26.79%
2101.53/2106.96 c 2107 18501 8721 1 960.0000 757.1748 26.79%
2107.62/2113.08 c 2113 18524 8744 1 960.0000 757.1915 26.78%
2113.80/2119.21 c 2119 18559 8779 1 960.0000 757.2398 26.78%
2119.29/2124.75 c 2125 18596 8808 1 960.0000 757.2701 26.77%
2124.98/2130.47 c 2130 18643 8807 1 960.0000 757.2701 26.77%
2130.17/2135.64 c 2136 18676 8808 1 960.0000 757.2701 26.77%
2136.05/2141.51 c 2142 18725 8805 1 960.0000 757.2701 26.77%
2141.24/2146.79 c 2147 18761 8825 1 960.0000 757.2821 26.77%
2147.03/2152.59 c 2153 18791 8855 1 960.0000 757.3264 26.76%
2152.81/2158.37 c 2158 18831 8895 1 960.0000 757.4193 26.75%
2158.29/2163.84 c 2164 18862 8926 1 960.0000 757.4368 26.74%
2163.88/2169.41 c 2169 18892 8956 1 960.0000 757.4495 26.74%
2169.59/2175.14 c 2175 18911 8975 1 960.0000 757.4694 26.74%
2174.76/2180.32 c 2180 18942 9006 1 960.0000 757.4893 26.73%
2180.46/2186.06 c 2186 18982 9046 1 960.0000 757.5149 26.73%
2185.54/2191.16 c 2191 19022 9062 1 960.0000 757.5542 26.72%
2190.92/2196.51 c 2196 19052 9090 1 960.0000 757.6877 26.70%
2196.52/2202.17 c 2202 19091 9129 1 960.0000 757.7523 26.69%
2201.89/2207.58 c 2208 19119 9157 1 960.0000 757.7887 26.68%
2208.18/2213.81 c 2214 19149 9187 1 960.0000 757.8043 26.68%
2213.27/2218.92 c 2219 19177 9215 1 960.0000 757.8152 26.68%
2218.55/2224.26 c 2224 19205 9243 1 960.0000 757.8846 26.67%
2224.45/2230.12 c 2230 19241 9279 1 960.0000 757.9219 26.66%
2230.34/2236.09 c 2236 19268 9304 1 960.0000 757.9777 26.65%
2235.51/2241.23 c 2241 19302 9338 1 960.0000 758.0300 26.64%
2240.61/2246.31 c 2246 19332 9368 1 960.0000 758.0747 26.64%
2245.60/2251.36 c 2251 19372 9406 1 960.0000 758.1641 26.62%
2250.88/2256.60 c 2257 19410 9444 1 960.0000 758.2590 26.61%
2257.07/2262.84 c 2263 19441 9475 1 960.0000 758.2992 26.60%
2262.06/2267.86 c 2268 19472 9506 1 960.0000 758.3942 26.58%
2267.54/2273.31 c 2273 19502 9534 1 960.0000 758.4595 26.57%
2273.24/2279.11 c 2279 19543 9537 1 960.0000 758.4595 26.57%
2278.51/2284.32 c 2284 19573 9533 1 960.0000 758.4595 26.57%
2284.00/2289.88 c 2290 19613 9537 1 960.0000 758.4595 26.57%
2289.58/2295.40 c 2295 19656 9538 1 960.0000 758.4595 26.57%
2294.88/2300.77 c 2301 19721 9539 1 960.0000 758.4595 26.57%
2300.18/2306.02 c 2306 19751 9543 1 960.0000 758.4595 26.57%
2305.26/2311.15 c 2311 19804 9546 1 960.0000 758.4595 26.57%
2310.54/2316.44 c 2316 19862 9544 1 960.0000 758.4834 26.57%
2315.73/2321.69 c 2322 19892 9574 1 960.0000 758.5181 26.56%
2321.31/2327.24 c 2327 19932 9614 1 960.0000 758.5666 26.55%
2327.00/2332.90 c 2333 19972 9652 1 960.0000 758.6266 26.54%
2332.58/2338.54 c 2339 20013 9691 1 960.0000 758.6817 26.54%
2338.19/2344.11 c 2344 20051 9729 1 960.0000 758.7340 26.53%
2352.44/2358.48 c 2358 20091 9769 1 960.0000 758.8337 26.51%
2362.42/2368.42 c 2368 20101 9779 1 960.0000 758.8390 26.51%
2368.01/2374.02 c 2374 20129 9805 1 960.0000 758.8723 26.50%
2373.79/2379.83 c 2380 20160 9836 1 960.0000 758.8900 26.50%
2379.38/2385.48 c 2385 20198 9874 1 960.0000 758.9426 26.49%
2385.47/2391.55 c 2392 20250 9926 1 960.0000 759.0049 26.48%
2391.45/2397.58 c 2398 20281 9957 1 960.0000 759.0231 26.48%
2397.73/2403.84 c 2404 20317 9985 1 960.0000 759.0624 26.47%
2403.03/2409.15 c 2409 20345 9985 1 960.0000 759.0624 26.47%
2409.02/2415.18 c 2415 20374 9986 1 960.0000 759.0624 26.47%
2414.59/2420.71 c 2421 20428 10000 1 960.0000 759.1278 26.46%
2420.89/2427.08 c 2427 20452 10024 1 960.0000 759.1705 26.45%
2425.98/2432.15 c 2432 20492 10064 1 960.0000 759.2305 26.44%
2431.36/2437.51 c 2438 20542 10114 1 960.0000 759.2924 26.43%
2436.34/2442.53 c 2443 20572 10144 1 960.0000 759.3016 26.43%
2441.33/2447.59 c 2448 20612 10184 1 960.0000 759.3435 26.42%
2447.42/2453.61 c 2454 20706 10218 1 960.0000 759.3577 26.42%
2452.61/2458.80 c 2459 20757 10219 1 960.0000 759.3577 26.42%
2458.29/2464.59 c 2465 20815 10215 1 960.0000 759.3577 26.42%
2464.28/2470.58 c 2471 20873 10217 1 960.0000 759.3577 26.42%
2469.37/2475.61 c 2476 20917 10217 1 960.0000 759.3577 26.42%
2474.46/2480.78 c 2481 20957 10217 1 960.0000 759.3577 26.42%
2479.75/2486.10 c 2486 21002 10246 1 960.0000 759.3783 26.42%
2485.23/2491.50 c 2492 21022 10266 1 960.0000 759.3995 26.42%
2490.92/2497.24 c 2497 21064 10274 1 960.0000 759.3995 26.42%
2496.01/2502.33 c 2502 21112 10304 1 960.0000 759.5178 26.40%
2501.70/2508.04 c 2508 21151 10343 1 960.0000 759.5717 26.39%
2506.89/2513.22 c 2513 21182 10374 1 960.0000 759.6502 26.37%
2513.07/2519.45 c 2519 21216 10408 1 960.0000 759.6844 26.37%
2518.76/2525.15 c 2525 21262 10454 1 960.0000 759.7978 26.35%
2525.44/2531.82 c 2532 21302 10494 1 960.0000 759.8621 26.34%
2531.32/2537.78 c 2538 21373 10503 1 960.0000 759.8621 26.34%
2536.41/2542.87 c 2543 21419 10509 1 960.0000 759.8766 26.34%
2544.10/2550.60 c 2551 21421 10511 1 960.0000 759.8766 26.34%
2549.60/2556.03 c 2556 21462 10550 1 960.0000 759.9840 26.32%
2554.58/2561.09 c 2561 21502 10590 1 960.0000 760.0316 26.31%
2561.26/2567.78 c 2568 21535 10623 1 960.0000 760.1433 26.29%
2566.56/2573.09 c 2573 21572 10660 1 960.0000 760.2354 26.28%
2571.84/2578.39 c 2578 21611 10699 1 960.0000 760.2636 26.27%
2577.22/2583.74 c 2584 21652 10740 1 960.0000 760.3712 26.25%
2582.31/2588.84 c 2589 21695 10777 1 960.0000 760.4074 26.25%
2587.80/2594.37 c 2594 21719 10777 1 960.0000 760.4074 26.25%
2593.78/2600.37 c 2600 21792 10806 1 960.0000 760.4644 26.24%
2599.78/2606.30 c 2606 21831 10845 1 960.0000 760.4900 26.23%
2605.16/2611.77 c 2612 21877 10875 1 960.0000 760.5290 26.23%
2611.64/2618.28 c 2618 21917 10891 1 960.0000 760.5550 26.22%
2616.73/2623.33 c 2623 21962 10934 1 960.0000 760.5843 26.22%
2622.43/2629.06 c 2629 21999 10971 1 960.0000 760.6053 26.22%
2628.31/2634.97 c 2635 22050 10996 1 960.0000 760.6319 26.21%
2633.80/2640.42 c 2640 22116 11004 1 960.0000 760.6319 26.21%
2639.18/2645.80 c 2646 22167 11005 1 960.0000 760.6319 26.21%
2645.57/2652.21 c 2652 22185 11017 1 960.0000 760.7004 26.20%
2651.66/2658.33 c 2658 22241 11073 1 960.0000 760.7182 26.20%
2656.84/2663.57 c 2664 22272 11104 1 960.0000 760.8603 26.17%
2662.44/2669.15 c 2669 22305 11137 1 960.0000 760.9230 26.16%
2668.11/2674.82 c 2675 22338 11170 1 960.0000 760.9512 26.16%
2673.41/2680.16 c 2680 22362 11194 1 960.0000 760.9801 26.15%
2678.60/2685.33 c 2685 22398 11230 1 960.0000 761.0189 26.15%
2683.88/2690.67 c 2691 22422 11254 1 960.0000 761.0553 26.14%
2689.47/2696.22 c 2696 22452 11284 1 960.0000 761.0823 26.14%
2696.16/2702.97 c 2703 22487 11319 1 960.0000 761.1036 26.13%
2702.35/2709.14 c 2709 22522 11354 1 960.0000 761.1462 26.13%
2707.42/2714.26 c 2714 22552 11384 1 960.0000 761.2081 26.12%
2712.82/2719.69 c 2720 22582 11414 1 960.0000 761.2957 26.10%
2718.80/2725.68 c 2726 22601 11433 1 960.0000 761.2993 26.10%
2723.99/2730.80 c 2731 22625 11453 1 960.0000 761.3088 26.10%
2729.08/2735.97 c 2736 22662 11452 1 960.0000 761.3170 26.10%
2734.36/2741.22 c 2741 22693 11479 1 960.0000 761.3440 26.09%
2740.46/2747.32 c 2747 22738 11482 1 960.0000 761.3440 26.09%
2746.25/2753.13 c 2753 22781 11493 1 960.0000 761.3570 26.09%
2751.93/2758.87 c 2759 22816 11528 1 960.0000 761.4471 26.08%
2757.62/2764.58 c 2765 22842 11554 1 960.0000 761.5597 26.06%
2763.30/2770.23 c 2770 22875 11571 1 960.0000 761.5731 26.05%
2769.20/2776.18 c 2776 22919 11573 1 960.0000 761.5731 26.05%
2774.48/2781.42 c 2781 23008 11576 1 960.0000 761.5731 26.05%
2779.67/2786.62 c 2787 23042 11572 1 960.0000 761.5731 26.05%
2785.35/2792.34 c 2792 23090 11574 1 960.0000 761.5731 26.05%
2791.15/2798.15 c 2798 23155 11585 1 960.0000 761.5731 26.05%
2796.82/2803.83 c 2804 23185 11605 1 960.0000 761.5783 26.05%
2801.92/2809.00 c 2809 23222 11642 1 960.0000 761.5986 26.05%
2807.90/2814.99 c 2815 23262 11682 1 960.0000 761.6905 26.04%
2813.59/2820.62 c 2821 23302 11722 1 960.0000 761.8186 26.01%
2819.57/2826.63 c 2827 23351 11771 1 960.0000 761.8761 26.00%
2825.97/2833.06 c 2833 23388 11788 1 960.0000 761.9223 26.00%
2831.96/2839.10 c 2839 23412 11794 1 960.0000 761.9223 26.00%
2837.73/2844.81 c 2845 23442 11804 1 960.0000 761.9785 25.99%
2842.82/2849.96 c 2850 23461 11823 1 960.0000 762.0001 25.98%
2848.71/2855.88 c 2856 23502 11862 1 960.0000 762.0688 25.97%
2854.70/2861.84 c 2862 23541 11901 1 960.0000 762.1358 25.96%
2859.68/2866.85 c 2867 23562 11922 1 960.0000 762.1530 25.96%
2865.57/2872.75 c 2873 23595 11955 1 960.0000 762.2646 25.94%
2870.97/2878.18 c 2878 23631 11991 1 960.0000 762.2710 25.94%
2876.45/2883.65 c 2884 23662 12022 1 960.0000 762.3541 25.93%
2881.84/2889.06 c 2889 23700 12058 1 960.0000 762.3907 25.92%
2888.03/2895.23 c 2895 23731 12089 1 960.0000 762.4156 25.92%
2893.51/2900.71 c 2901 23762 12120 1 960.0000 762.4442 25.91%
2898.70/2905.92 c 2906 23789 12147 1 960.0000 762.4656 25.91%
2903.99/2911.26 c 2911 23826 12182 1 960.0000 762.5199 25.90%
2909.47/2916.76 c 2917 23844 12200 1 960.0000 762.5622 25.89%
2914.77/2922.06 c 2922 23895 12237 1 960.0000 762.5737 25.89%
2920.86/2928.13 c 2928 23941 12275 1 960.0000 762.6226 25.88%
2926.53/2933.87 c 2934 23955 12289 1 960.0000 762.6404 25.88%
2932.32/2939.61 c 2940 23992 12326 1 960.0000 762.7173 25.87%
2937.91/2945.29 c 2945 24032 12366 1 960.0000 762.8216 25.85%
2943.90/2951.21 c 2951 24063 12379 1 960.0000 762.8216 25.85%
2949.98/2957.37 c 2957 24122 12398 1 960.0000 762.8403 25.85%
2955.17/2962.55 c 2963 24159 12431 1 960.0000 762.8959 25.84%
2964.66/2972.08 c 2972 24191 12463 1 960.0000 762.9334 25.83%
2970.53/2977.98 c 2978 24241 12503 1 960.0000 762.9918 25.82%
2976.22/2983.68 c 2984 24288 12504 1 960.0000 762.9918 25.82%
2982.30/2989.79 c 2990 24331 12543 1 960.0000 763.0257 25.81%
2987.60/2995.01 c 2995 24363 12573 1 960.0000 763.0950 25.80%
2993.08/3000.52 c 3001 24402 12610 1 960.0000 763.1702 25.79%
2998.27/3005.78 c 3006 24441 12647 1 960.0000 763.1877 25.79%
3003.57/3011.06 c 3011 24472 12676 1 960.0000 763.2621 25.78%
3008.74/3016.28 c 3016 24508 12710 1 960.0000 763.2898 25.77%
3014.73/3022.24 c 3022 24551 12751 1 960.0000 763.3226 25.77%
3019.72/3027.28 c 3027 24582 12782 1 960.0000 763.3960 25.75%
3025.11/3032.61 c 3033 24612 12812 1 960.0000 763.4628 25.74%
3031.89/3039.41 c 3039 24662 12862 1 960.0000 763.5105 25.74%
3036.98/3044.59 c 3045 24712 12910 1 960.0000 763.5824 25.72%
3043.06/3050.62 c 3051 24761 12949 1 960.0000 763.6680 25.71%
3048.47/3056.01 c 3056 24823 12947 1 960.0000 763.6680 25.71%
3054.46/3062.11 c 3062 24871 12967 1 960.0000 763.6987 25.70%
3060.03/3067.63 c 3068 24912 12996 1 960.0000 763.7140 25.70%
3065.32/3072.98 c 3073 24952 13034 1 960.0000 763.7805 25.69%
3071.11/3078.79 c 3079 24992 13074 1 960.0000 763.8182 25.68%
3076.80/3084.49 c 3084 25032 13114 1 960.0000 763.8541 25.68%
3082.08/3089.74 c 3090 25061 13143 1 960.0000 763.8727 25.68%
3087.77/3095.49 c 3095 25091 13173 1 960.0000 763.8862 25.67%
3094.46/3102.12 c 3102 25131 13211 1 960.0000 763.9506 25.66%
3099.84/3107.57 c 3108 25172 13252 1 960.0000 764.0246 25.65%
3105.73/3113.46 c 3113 25204 13284 1 960.0000 764.0407 25.65%
3111.01/3118.75 c 3119 25242 13320 1 960.0000 764.0925 25.64%
3116.80/3124.59 c 3125 25292 13370 1 960.0000 764.1571 25.63%
3122.59/3130.39 c 3130 25330 13406 1 960.0000 764.1615 25.63%
3128.98/3136.77 c 3137 25363 13439 1 960.0000 764.2574 25.61%
3134.37/3142.14 c 3142 25401 13473 1 960.0000 764.2915 25.61%
3139.95/3147.73 c 3148 25442 13514 1 960.0000 764.3272 25.60%
3145.94/3153.72 c 3154 25488 13560 1 960.0000 764.3602 25.60%
3151.82/3159.61 c 3160 25520 13590 1 960.0000 764.3672 25.59%
3157.81/3165.64 c 3166 25552 13622 1 960.0000 764.4152 25.59%
3163.09/3171.01 c 3171 25591 13657 1 960.0000 764.4525 25.58%
3169.38/3177.28 c 3177 25631 13697 1 960.0000 764.4992 25.57%
3174.86/3182.71 c 3183 25671 13737 1 960.0000 764.5701 25.56%
3180.06/3188.01 c 3188 25702 13768 1 960.0000 764.6025 25.56%
3186.25/3194.11 c 3194 25750 13814 1 960.0000 764.6385 25.55%
3192.14/3200.06 c 3200 25782 13846 1 960.0000 764.6706 25.54%
3197.31/3205.21 c 3205 25831 13895 1 960.0000 764.7604 25.53%
3202.61/3210.54 c 3211 25862 13926 1 960.0000 764.8302 25.52%
3207.89/3215.87 c 3216 25902 13966 1 960.0000 764.8585 25.51%
3213.09/3221.08 c 3221 25932 13996 1 960.0000 764.8685 25.51%
3219.47/3227.45 c 3227 25952 14016 1 960.0000 764.9062 25.51%
3222.96/3230.92 c * 3231 25972 14036 1 935.0000 764.9192 22.24%
3224.75/3232.72 c 3233 25982 13372 1 935.0000 764.9256 22.23%
3230.64/3238.67 c 3239 26042 13400 1 935.0000 764.9573 22.23%
3235.83/3243.86 c 3244 26094 13416 1 935.0000 764.9620 22.23%
3241.61/3249.68 c 3250 26155 13415 1 935.0000 764.9620 22.23%
3243.30/3251.32 c * 3251 26171 13415 1 933.0000 764.9620 21.97%
3243.30/3251.38 c * 3251 26171 13415 1 921.0000 764.9620 20.40%
3247.30/3255.33 c 3255 26217 12759 1 921.0000 764.9620 20.40%
3253.29/3261.37 c 3261 26249 12785 1 921.0000 765.0168 20.39%
3258.77/3266.85 c 3267 26293 12805 1 921.0000 765.0229 20.39%
3263.76/3271.87 c 3272 26334 12816 1 921.0000 765.0500 20.38%
3276.83/3284.92 c 3285 26341 12823 1 921.0000 765.0500 20.38%
3283.52/3291.70 c 3292 26374 12844 1 921.0000 765.0584 20.38%
3289.11/3297.28 c 3297 26419 12849 1 921.0000 765.0584 20.38%
3294.80/3302.90 c 3303 26462 12848 1 921.0000 765.0584 20.38%
3300.49/3308.65 c 3309 26529 12851 1 921.0000 765.0584 20.38%
3305.78/3313.98 c 3314 26560 12852 1 921.0000 765.0584 20.38%
3311.66/3319.81 c 3320 26590 12856 1 921.0000 765.0584 20.38%
3316.75/3324.92 c 3325 26636 12862 1 921.0000 765.0610 20.38%
3322.24/3330.46 c 3330 26693 12861 1 921.0000 765.0610 20.38%
3327.72/3335.94 c 3336 26751 12865 1 921.0000 765.0610 20.38%
3334.61/3342.84 c 3343 26758 12866 1 921.0000 765.0610 20.38%
3339.59/3347.87 c 3348 26798 12868 1 921.0000 765.0610 20.38%
3345.38/3353.69 c 3354 26853 12869 1 921.0000 765.0610 20.38%
3350.46/3358.77 c 3359 26882 12886 1 921.0000 765.0711 20.38%
3356.66/3364.92 c 3365 26952 12930 1 921.0000 765.1786 20.36%
3362.05/3370.34 c 3370 27002 12936 1 921.0000 765.1819 20.36%
3367.43/3375.72 c 3376 27068 12944 1 921.0000 765.1819 20.36%
3373.12/3381.43 c 3381 27121 12953 1 921.0000 765.2011 20.36%
3378.11/3386.45 c 3386 27194 12980 1 921.0000 765.2505 20.35%
3384.29/3392.65 c 3393 27241 13005 1 921.0000 765.2994 20.35%
3389.98/3398.33 c 3398 27275 13039 1 921.0000 765.3611 20.34%
3395.57/3403.91 c 3404 27321 13045 1 921.0000 765.3611 20.34%
3401.06/3409.46 c 3409 27392 13060 1 921.0000 765.3917 20.33%
3406.66/3415.09 c 3415 27466 13077 1 921.0000 765.3951 20.33%
3412.23/3420.64 c 3421 27546 13077 1 921.0000 765.3951 20.33%
3417.63/3426.04 c 3426 27609 13078 1 921.0000 765.3951 20.33%
3422.72/3431.11 c 3431 27673 13086 1 921.0000 765.4026 20.33%
3428.71/3437.12 c 3437 27736 13097 1 921.0000 765.4138 20.33%
3436.08/3444.55 c 3445 27763 13106 1 921.0000 765.4210 20.33%
3441.47/3449.90 c 3450 27829 13108 1 921.0000 765.4210 20.33%
3446.67/3455.14 c 3455 27896 13105 1 921.0000 765.4210 20.33%
3452.34/3460.89 c 3461 27969 13106 1 921.0000 765.4210 20.33%
3457.93/3466.46 c 3466 28058 13109 1 921.0000 765.4210 20.33%
3471.30/3479.89 c 3480 28113 13118 1 921.0000 765.4248 20.33%
3476.50/3485.05 c 3485 28149 13120 1 921.0000 765.4248 20.33%
3481.78/3490.30 c 3490 28247 13120 1 921.0000 765.4248 20.33%
3487.37/3495.97 c 3496 28350 13131 1 921.0000 765.4323 20.32%
3493.36/3501.93 c 3502 28413 13130 1 921.0000 765.4323 20.32%
3511.21/3519.88 c 3520 28462 13139 1 921.0000 765.4547 20.32%
3516.61/3525.28 c 3525 28542 13139 1 921.0000 765.4547 20.32%
3521.89/3530.55 c 3531 28622 13147 1 921.0000 765.4670 20.32%
3527.28/3536.01 c 3536 28748 13145 1 921.0000 765.4670 20.32%
3532.77/3541.44 c 3541 28842 13149 1 921.0000 765.4802 20.32%
3538.46/3547.15 c 3547 28928 13165 1 921.0000 765.5168 20.31%
3544.35/3553.01 c 3553 29024 13173 1 921.0000 765.5308 20.31%
3549.73/3558.47 c 3558 29107 13172 1 921.0000 765.5308 20.31%
3555.21/3563.96 c 3564 29147 13184 1 921.0000 765.5722 20.30%
3560.51/3569.22 c 3569 29209 13186 1 921.0000 765.5722 20.30%
3566.30/3575.05 c 3575 29270 13199 1 921.0000 765.5812 20.30%
3571.98/3580.74 c 3581 29336 13205 1 921.0000 765.5812 20.30%
3577.28/3586.03 c 3586 29427 13206 1 921.0000 765.5812 20.30%
3582.46/3591.26 c 3591 29513 13204 1 921.0000 765.5812 20.30%
3587.85/3596.62 c 3597 29598 13203 1 921.0000 765.5812 20.30%
3591.44/3600.27 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.44/3600.27 c Total Time : 3600.27
3591.44/3600.27 c solving : 3600.27
3591.44/3600.27 c presolving : 2.37 (included in solving)
3591.44/3600.27 c B&B Tree :
3591.44/3600.27 c nodes (total) : 1
3591.44/3600.27 c Solution :
3591.44/3600.27 c Solutions found : 22
3591.44/3600.27 c Primal Bound : +9.21000000000000e+02
3591.44/3600.27 c Dual Bound : +7.65581172647299e+02
3591.44/3600.27 c Gap : 20.30076 %
3591.44/3600.27 c * Warning: final gap: 2.03008e-01 is greater than SCIPepsilon: 1.00000e-09
3591.44/3600.28 o 921
3591.44/3600.28 s SATISFIABLE
3591.44/3600.28 v x2460 -x2459 x2458 -x2457 -x2456 x2455 x2454 -x2453 x2452 -x2451 x2450 -x2449 x2448 -x2447 x2446 -x2445 x2444 -x2443 x2442 -x2441
3591.44/3600.28 v -x2440 -x2439 -x2438 x2437 x2436 -x2435 x2434 -x2433 -x2432 -x2431 x2430 -x2429 -x2428 -x2427 -x2426 -x2425 x2424 -x2423 -x2422
3591.44/3600.28 v -x2421 x2420 -x2419 x2418 -x2417 x2416 -x2415 x2414 -x2413 x2412 -x2411 -x2410 x2409 x2408 -x2407 x2406 -x2405 x2404 -x2403
3591.44/3600.28 v x2402 -x2401 -x2400 x2399 -x2398 -x2397 x2396 -x2395 x2394 -x2393 -x2392 -x2391 x2390 -x2389 -x2388 -x2387 -x2386 -x2385
3591.44/3600.28 v x2384 -x2383 -x2382 -x2381 -x2380 x2379 -x2378 -x2377 x2376 -x2375 -x2374 -x2373 -x2372 -x2371 x2370 -x2369 -x2368 -x2367 -x2366
3591.44/3600.28 v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 x2356 -x2355 -x2354 -x2353 -x2352 x2351 x2350 -x2349 -x2348
3591.44/3600.28 v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 x2336 -x2335 -x2334 -x2333 -x2332 x2331 x2330
3591.44/3600.28 v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 x2319 -x2318 -x2317 x2316 -x2315 -x2314 -x2313 -x2312
3591.44/3600.28 v -x2311 x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 x2299 -x2298 -x2297 -x2296 -x2295 x2294 -x2293
3591.44/3600.28 v -x2292 -x2291 x2290 -x2289 -x2288 -x2287 -x2286 -x2285 x2284 -x2283 -x2282 -x2281 -x2280 x2279 -x2278 -x2277 x2276 -x2275
3591.44/3600.28 v -x2274 -x2273 -x2272 -x2271 x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 x2257
3591.44/3600.28 v x2256 -x2255 -x2254 -x2253 -x2252 -x2251 x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 x2240 -x2239 x2238
3591.44/3600.28 v -x2237 -x2236 x2235 x2234 -x2233 x2232 -x2231 x2230 -x2229 x2228 -x2227 x2226 -x2225 x2224 -x2223 x2222 -x2221 x2220 -x2219
3591.44/3600.28 v x2218 -x2217 -x2216 x2215 x2214 -x2213 x2212 -x2211 x2210 -x2209 x2208 -x2207 x2206 -x2205 x2204 -x2203 x2202 -x2201 -x2200
3591.44/3600.28 v -x2199 -x2198 -x2197 x2196 -x2195 x2194 -x2193 -x2192 x2191 x2190 -x2189 -x2188 -x2187 -x2186 -x2185 x2184 -x2183 -x2182 -x2181
3591.44/3600.28 v -x2180 x2179 -x2178 -x2177 x2176 -x2175 x2174 -x2173 -x2172 -x2171 x2170 -x2169 -x2168 -x2167 -x2166 -x2165 x2164 -x2163
3591.44/3600.28 v -x2162 -x2161 x2160 -x2159 x2158 -x2157 x2156 -x2155 x2154 -x2153 x2152 -x2151 -x2150 x2149 x2148 -x2147 x2146 -x2145 x2144
3591.44/3600.28 v -x2143 x2142 -x2141 x2140 -x2139 x2138 -x2137 -x2136 x2135 x2134 -x2133 x2132 -x2131 x2130 -x2129 x2128 -x2127 x2126 -x2125
3591.44/3600.28 v x2124 -x2123 x2122 -x2121 -x2120 -x2119 -x2118 x2117 x2116 -x2115 x2114 -x2113 -x2112 -x2111 x2110 -x2109 -x2108 -x2107 -x2106
3591.44/3600.28 v -x2105 x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 x2097 x2096 -x2095 x2094 -x2093 -x2092 -x2091 x2090 -x2089 -x2088 -x2087
3591.44/3600.28 v -x2086 -x2085 x2084 -x2083 -x2082 -x2081 x2080 -x2079 x2078 -x2077 -x2076 x2075 x2074 -x2073 x2072 -x2071 x2070 -x2069 x2068
3591.44/3600.28 v -x2067 x2066 -x2065 x2064 -x2063 x2062 -x2061 -x2060 -x2059 -x2058 x2057 x2056 -x2055 x2054 -x2053 -x2052 -x2051 x2050 -x2049
3591.44/3600.28 v -x2048 -x2047 -x2046 -x2045 x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 x2037 x2036 -x2035 x2034 -x2033 -x2032 -x2031
3591.44/3600.28 v x2030 -x2029 -x2028 -x2027 -x2026 -x2025 x2024 -x2023 -x2022 -x2021 x2020 -x2019 x2018 -x2017 x2016 -x2015 x2014 -x2013 x2012
3591.44/3600.28 v -x2011 -x2010 x2009 x2008 -x2007 x2006 -x2005 x2004 -x2003 x2002 -x2001 -x2000 -x1999 -x1998 x1997 x1996 -x1995 -x1994 -x1993
3591.44/3600.28 v -x1992 -x1991 x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 x1980 -x1979 x1978 -x1977 x1976 -x1975
3591.44/3600.28 v -x1974 -x1973 x1972 -x1971 x1970 -x1969 x1968 -x1967 x1966 -x1965 -x1964 x1963 x1962 -x1961 -x1960 x1959 -x1958 -x1957 x1956
3591.44/3600.28 v -x1955 x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 -x1946 -x1945 x1944 -x1943 -x1942 -x1941 x1940 -x1939 x1938 -x1937
3591.44/3600.28 v x1936 -x1935 x1934 -x1933 x1932 -x1931 -x1930 x1929 x1928 -x1927 x1926 -x1925 x1924 -x1923 x1922 -x1921 x1920 -x1919 x1918
3591.44/3600.28 v -x1917 -x1916 x1915 x1914 -x1913 x1912 -x1911 -x1910 -x1909 x1908 -x1907 x1906 -x1905 x1904 -x1903 x1902 -x1901 x1900 -x1899
3591.44/3600.28 v x1898 -x1897 x1896 -x1895 -x1894 x1893 x1892 -x1891 x1890 -x1889 x1888 -x1887 x1886 -x1885 -x1884 -x1883 x1882 -x1881 -x1880
3591.44/3600.28 v x1879 -x1878 -x1877 x1876 -x1875 x1874 -x1873 -x1872 -x1871 x1870 -x1869 -x1868 -x1867 -x1866 -x1865 x1864 -x1863 -x1862 -x1861
3591.44/3600.28 v x1860 -x1859 x1858 -x1857 x1856 -x1855 -x1854 -x1853 x1852 -x1851 x1850 -x1849 x1848 -x1847 x1846 -x1845 -x1844 x1843 x1842
3591.44/3600.28 v -x1841 x1840 -x1839 x1838 -x1837 x1836 -x1835 -x1834 x1833 x1832 -x1831 x1830 -x1829 x1828 -x1827 x1826 -x1825 -x1824 -x1823
3591.44/3600.28 v x1822 -x1821 -x1820 -x1819 -x1818 -x1817 x1816 -x1815 x1814 -x1813 -x1812 x1811 x1810 -x1809 -x1808 -x1807 -x1806 -x1805
3591.44/3600.28 v x1804 -x1803 -x1802 -x1801 x1800 -x1799 x1798 -x1797 -x1796 x1795 x1794 -x1793 x1792 -x1791 x1790 -x1789 x1788 -x1787 x1786
3591.44/3600.28 v -x1785 x1784 -x1783 x1782 -x1781 -x1780 -x1779 -x1778 x1777 x1776 -x1775 x1774 -x1773 -x1772 -x1771 x1770 -x1769 -x1768 -x1767
3591.44/3600.28 v -x1766 -x1765 x1764 -x1763 -x1762 -x1761 -x1760 x1759 -x1758 -x1757 x1756 -x1755 x1754 -x1753 -x1752 -x1751 x1750 -x1749 -x1748
3591.44/3600.28 v -x1747 -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 x1739 -x1738 -x1737 x1736 -x1735 x1734 -x1733 -x1732 -x1731 x1730
3591.44/3600.28 v -x1729 -x1728 -x1727 -x1726 -x1725 x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 x1717 x1716 -x1715 -x1714 -x1713 -x1712 -x1711
3591.44/3600.28 v x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 x1697 x1696 -x1695 x1694 -x1693
3591.44/3600.28 v -x1692 -x1691 x1690 -x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682 -x1681 x1680 -x1679 x1678 -x1677 -x1676 -x1675
3591.44/3600.28 v -x1674 x1673 x1672 -x1671 x1670 -x1669 x1668 -x1667 x1666 -x1665 -x1664 -x1663 x1662 -x1661 -x1660 -x1659 -x1658 x1657 x1656
3591.44/3600.28 v -x1655 x1654 -x1653 -x1652 -x1651 x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637
3591.44/3600.28 v x1636 -x1635 x1634 -x1633 -x1632 x1631 x1630 -x1629 -x1628 -x1627 -x1626 -x1625 x1624 -x1623 -x1622 -x1621 -x1620 x1619
3591.44/3600.28 v -x1618 -x1617 x1616 -x1615 x1614 -x1613 -x1612 -x1611 x1610 -x1609 -x1608 -x1607 -x1606 -x1605 x1604 -x1603 -x1602 -x1601 x1600
3591.44/3600.28 v -x1599 x1598 -x1597 -x1596 x1595 x1594 -x1593 x1592 -x1591 x1590 -x1589 x1588 -x1587 x1586 -x1585 x1584 -x1583 x1582 -x1581
3591.44/3600.28 v -x1580 x1579 -x1578 -x1577 x1576 -x1575 x1574 -x1573 -x1572 -x1571 x1570 -x1569 -x1568 -x1567 -x1566 -x1565 x1564 -x1563 -x1562
3591.44/3600.28 v -x1561 x1560 -x1559 x1558 -x1557 x1556 -x1555 -x1554 x1553 x1552 -x1551 x1550 -x1549 x1548 -x1547 x1546 -x1545 -x1544 -x1543
3591.44/3600.28 v x1542 -x1541 x1540 -x1539 x1538 -x1537 -x1536 x1535 x1534 -x1533 x1532 -x1531 x1530 -x1529 x1528 -x1527 x1526 -x1525 x1524
3591.44/3600.28 v -x1523 x1522 -x1521 -x1520 -x1519 -x1518 x1517 x1516 -x1515 x1514 -x1513 -x1512 -x1511 x1510 -x1509 -x1508 -x1507 -x1506 -x1505
3591.44/3600.28 v x1504 -x1503 -x1502 -x1501 -x1500 x1499 -x1498 -x1497 x1496 -x1495 x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487
3591.44/3600.28 v -x1486 -x1485 x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1475 x1474 -x1473 -x1472 x1471 x1470 -x1469 -x1468
3591.44/3600.28 v -x1467 -x1466 -x1465 x1464 -x1463 -x1462 -x1461 x1460 -x1459 x1458 -x1457 -x1456 x1455 x1454 -x1453 x1452 -x1451 x1450 -x1449
3591.44/3600.28 v x1448 -x1447 x1446 -x1445 x1444 -x1443 x1442 -x1441 -x1440 -x1439 -x1438 x1437 x1436 -x1435 x1434 -x1433 -x1432 -x1431
3591.44/3600.28 v x1430 -x1429 -x1428 -x1427 -x1426 -x1425 x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 x1416 -x1415 x1414 -x1413 -x1412
3591.44/3600.28 v -x1411 x1410 -x1409 -x1408 -x1407 -x1406 -x1405 x1404 -x1403 -x1402 -x1401 -x1400 x1399 -x1398 -x1397 -x1396 -x1395 x1394
3591.44/3600.28 v -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 x1380 -x1379 x1378 -x1377 x1376 -x1375
3591.44/3600.28 v -x1374 x1373 x1372 -x1371 x1370 -x1369 x1368 -x1367 x1366 -x1365 -x1364 -x1363 x1362 -x1361 x1360 -x1359 x1358 -x1357 -x1356
3591.44/3600.28 v -x1355 -x1354 x1353 x1352 -x1351 x1350 -x1349 x1348 -x1347 x1346 -x1345 -x1344 -x1343 x1342 -x1341 x1340 -x1339 x1338 -x1337
3591.44/3600.28 v x1336 -x1335 -x1334 x1333 x1332 -x1331 x1330 -x1329 x1328 -x1327 x1326 -x1325 -x1324 -x1323 x1322 -x1321 -x1320 -x1319 -x1318
3591.44/3600.28 v -x1317 -x1316 x1315 x1314 -x1313 -x1312 -x1311 x1310 -x1309 -x1308 -x1307 -x1306 -x1305 x1304 -x1303 -x1302 -x1301 x1300
3591.44/3600.28 v -x1299 x1298 -x1297 -x1296 x1295 x1294 -x1293 x1292 -x1291 x1290 -x1289 x1288 -x1287 x1286 -x1285 x1284 -x1283 x1282 -x1281
3591.44/3600.28 v -x1280 -x1279 -x1278 -x1277 -x1276 x1275 x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262
3591.44/3600.28 v -x1261 x1260 -x1259 x1258 -x1257 -x1256 x1255 x1254 -x1253 x1252 -x1251 x1250 -x1249 x1248 -x1247 x1246 -x1245 x1244 -x1243
3591.44/3600.28 v x1242 -x1241 -x1240 x1239 -x1238 -x1237 x1236 -x1235 x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224
3591.44/3600.28 v -x1223 -x1222 -x1221 x1220 -x1219 x1218 -x1217 x1216 -x1215 -x1214 x1213 x1212 -x1211 x1210 -x1209 x1208 -x1207 x1206 -x1205
3591.44/3600.28 v -x1204 -x1203 x1202 -x1201 -x1200 -x1199 -x1198 x1197 x1196 -x1195 x1194 -x1193 -x1192 -x1191 x1190 -x1189 -x1188 -x1187
3591.44/3600.28 v -x1186 -x1185 x1184 -x1183 -x1182 -x1181 x1180 -x1179 x1178 -x1177 -x1176 x1175 x1174 -x1173 x1172 -x1171 x1170 -x1169 x1168
3591.44/3600.28 v -x1167 x1166 -x1165 x1164 -x1163 x1162 -x1161 -x1160 x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152 -x1151 x1150 -x1149
3591.44/3600.28 v -x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 x1137 x1136 -x1135 x1134 -x1133 -x1132 -x1131
3591.44/3600.28 v x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114 -x1113 -x1112
3591.44/3600.28 v x1111 x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 x1098 -x1097 -x1096 x1095 x1094
3591.44/3600.28 v -x1093 x1092 -x1091 x1090 -x1089 x1088 -x1087 x1086 -x1085 x1084 -x1083 x1082 -x1081 -x1080 -x1079 -x1078 x1077 x1076 -x1075
3591.44/3600.28 v x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 -x1066 -x1065 x1064 -x1063 -x1062 -x1061 x1060 -x1059 x1058 -x1057 x1056
3591.44/3600.28 v -x1055 x1054 -x1053 x1052 -x1051 -x1050 x1049 x1048 -x1047 x1046 -x1045 x1044 -x1043 x1042 -x1041 -x1040 -x1039 -x1038 x1037
3591.44/3600.28 v x1036 -x1035 x1034 -x1033 -x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 x1020 -x1019 x1018
3591.44/3600.28 v -x1017 -x1016 x1015 x1014 -x1013 x1012 -x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003 x1002 -x1001 -x1000 -x999
3591.44/3600.28 v -x998 -x997 x996 -x995 x994 -x993 -x992 x991 x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980 x979 -x978 -x977
3591.44/3600.28 v x976 -x975 x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956
3591.44/3600.28 v -x955 -x954 -x953 -x952 x951 x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 x936 -x935 x934
3591.44/3600.28 v -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 x920 -x919 x918 -x917 x916 -x915 -x914 x913 x912
3591.44/3600.28 v -x911 x910 -x909 x908 -x907 x906 -x905 -x904 -x903 x902 -x901 x900 -x899 x898 -x897 -x896 x895 x894 -x893 x892 -x891 -x890
3591.44/3600.28 v -x889 x888 -x887 x886 -x885 x884 -x883 x882 -x881 -x880 -x879 -x878 x877 x876 -x875 x874 -x873 -x872 -x871 x870 -x869 -x868 -x867
3591.44/3600.28 v -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 x854 -x853 -x852 x851 x850 -x849 -x848 -x847 -x846
3591.44/3600.28 v -x845 x844 -x843 -x842 -x841 x840 -x839 x838 -x837 -x836 -x835 x834 -x833 x832 -x831 -x830 x829 x828 -x827 x826 -x825 x824 -x823
3591.44/3600.28 v x822 -x821 x820 -x819 x818 -x817 -x816 x815 x814 -x813 x812 -x811 x810 -x809 x808 -x807 x806 -x805 x804 -x803 x802 -x801
3591.44/3600.28 v x800 -x799 x798 -x797 x796 -x795 x794 -x793 x792 -x791 -x790 x789 x788 -x787 x786 -x785 x784 -x783 x782 -x781 -x780 -x779 -x778
3591.44/3600.28 v x777 -x776 -x775 x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 x760 -x759 x758 -x757 -x756
3591.44/3600.28 v x755 x754 -x753 x752 -x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 -x741 x740 -x739 x738 -x737 x736 -x735 -x734
3591.44/3600.28 v x733 x732 -x731 x730 -x729 x728 -x727 x726 -x725 -x724 -x723 x722 -x721 -x720 x719 -x718 -x717 x716 -x715 x714 -x713 -x712 -x711
3591.44/3600.28 v x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 x700 -x699 x698 -x697 -x696 x695 x694 -x693 x692 -x691 x690 -x689
3591.44/3600.28 v x688 -x687 x686 -x685 x684 -x683 x682 -x681 -x680 -x679 -x678 x677 x676 -x675 x674 -x673 -x672 -x671 x670 -x669 -x668 -x667
3591.44/3600.28 v -x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 -x655 x654 -x653 -x652 x651 x650 -x649 -x648 -x647 -x646 -x645
3591.44/3600.28 v x644 -x643 -x642 -x641 -x640 x639 -x638 x637 -x636 x635 -x634 x633 -x632 x631 -x630 x629 -x628 x627 -x626 x625 x624 -x623
3591.44/3600.28 v -x622 x621 -x620 x619 -x618 x617 -x616 x615 -x614 x613 -x612 x611 -x610 x609 -x608 x607 -x606 x605 -x604 x603 -x602 x601 -x600
3591.54/3600.33 v x599 -x598 x597 -x596 x595 -x594 x593 -x592 x591 -x590 x589 -x588 x587 -x586 x585 -x584 x583 -x582 x581 x580 -x579 -x578
3591.54/3600.33 v x577 -x576 x575 -x574 x573 -x572 x571 -x570 x569 -x568 x567 -x566 x565 -x564 x563 -x562 x561 x560 -x559 -x558 x557 -x556 x555
3591.54/3600.33 v -x554 x553 -x552 x551 -x550 x549 -x548 x547 -x546 x545 -x544 x543 -x542 x541 -x540 x539 -x538 x537 -x536 x535 -x534 x533 -x532
3591.54/3600.33 v x531 -x530 x529 -x528 x527 -x526 x525 -x524 x523 -x522 x521 -x520 x519 -x518 x517 x516 -x515 -x514 x513 -x512 x511 -x510 x509
3591.54/3600.33 v -x508 x507 -x506 x505 -x504 x503 -x502 x501 -x500 x499 -x498 x497 -x496 x495 -x494 x493 -x492 x491 -x490 x489 -x488 x487
3591.54/3600.33 v -x486 x485 -x484 x483 -x482 x481 -x480 x479 -x478 x477 -x476 x475 -x474 x473 -x472 x471 x470 -x469 x468 -x467 -x466 x465 -x464
3591.54/3600.33 v x463 -x462 x461 -x460 x459 x458 -x457 -x456 x455 -x454 x453 -x452 x451 -x450 x449 x448 -x447 -x446 x445 -x444 x443 -x442 x441
3591.54/3600.33 v -x440 x439 -x438 x437 -x436 x435 -x434 x433 x432 -x431 -x430 x429 -x428 x427 -x426 x425 -x424 x423 -x422 x421 -x420 x419 -x418
3591.54/3600.33 v x417 -x416 x415 -x414 x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 x403 -x402 x401 -x400 x399 -x398 x397 -x396
3591.54/3600.33 v x395 -x394 x393 x392 -x391 -x390 x389 -x388 x387 -x386 x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373
3591.54/3600.33 v -x372 x371 -x370 x369 x368 -x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350
3591.54/3600.33 v x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328
3591.54/3600.33 v x327 -x326 x325 x324 -x323 -x322 x321 -x320 x319 x318 -x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305
3591.54/3600.33 v -x304 x303 -x302 x301 -x300 x299 -x298 x297 x296 -x295 -x294 x293 -x292 x291 -x290 x289 x288 -x287 -x286 x285 -x284 x283 -x282
3591.54/3600.33 v x281 -x280 x279 -x278 x277 x276 -x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259
3591.54/3600.33 v -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 x240 -x239 -x238 x237
3591.54/3600.33 v -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214
3591.54/3600.33 v x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 x196 -x195 -x194 x193 -x192 x191
3591.54/3600.33 v -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 x176 -x175 -x174 x173 -x172 x171 -x170 x169 -x168
3591.54/3600.33 v x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146
3591.54/3600.33 v x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 x132 -x131 -x130 x129 x128 -x127 -x126 x125 -x124 x123
3591.54/3600.33 v -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 x112 -x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100
3591.54/3600.33 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 x73
3591.54/3600.33 v x72 -x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 x48 -x47 -x46 x45
3591.54/3600.33 v -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17
3591.54/3600.33 v -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: 64059 MiB (61885 MiB free)
memory of node 1: 64510 MiB (61042 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434602-1721069986/watcher-4434602-1721069986 -o /tmp/evaluation-result-4434602-1721069986/solver-4434602-1721069986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811948 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434602-1721069986.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=817123, runsolver pid=817120
[startup+0.101042 s]*
/proc/loadavg: 4.12 4.30 4.33 5/252 817124
/proc/meminfo: memFree=125856592/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=45448 memory=35332 CPUtime=0.1 cores=4,6
/proc/817123/stat : 817123 (fscip) R 817120 817123 811937 0 -1 4194304 6631 0 0 0 9 1 0 0 20 0 1 0 159156674 46538752 8833 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 11362 8833 2558 3032 0 7762 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 35332 KiB
[startup+0.212898 s]*
/proc/loadavg: 4.12 4.30 4.33 6/252 817124
/proc/meminfo: memFree=125840828/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=61488 memory=49492 CPUtime=0.21 cores=4,6
/proc/817123/stat : 817123 (fscip) R 817120 817123 811937 0 -1 4194304 10105 0 0 0 18 3 0 0 20 0 1 0 159156674 62963712 12373 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 15372 12373 2622 3032 0 11772 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 49492 KiB
[startup+0.311966 s]*
/proc/loadavg: 4.12 4.30 4.33 5/252 817124
/proc/meminfo: memFree=125837936/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=62104 memory=51228 CPUtime=0.31 cores=4,6
/proc/817123/stat : 817123 (fscip) R 817120 817123 811937 0 -1 4194304 13512 0 0 0 27 4 0 0 20 0 1 0 159156674 63594496 12807 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 15526 12807 2686 3032 0 11926 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 62104 KiB
Current children cumulated memory: 51228 KiB
[startup+0.700272 s]
/proc/loadavg: 4.12 4.30 4.33 5/252 817124
/proc/meminfo: memFree=125827112/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=73184 memory=61328 CPUtime=0.68 cores=4,6
/proc/817123/stat : 817123 (fscip) R 817120 817123 811937 0 -1 4194304 16030 0 0 0 63 5 0 0 20 0 1 0 159156674 74940416 15332 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 18296 15332 2718 3032 0 14696 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73184 KiB
Current children cumulated memory: 61328 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.30 4.33 5/252 817124
/proc/meminfo: memFree=125826168/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=74132 memory=62444 CPUtime=1.48 cores=4,6
/proc/817123/stat : 817123 (fscip) R 817120 817123 811937 0 -1 4194304 16264 0 0 0 143 5 0 0 20 0 1 0 159156674 75911168 15611 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 18533 15611 2734 3032 0 14933 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74132 KiB
Current children cumulated memory: 62444 KiB
[startup+3.11028 s]
/proc/loadavg: 4.11 4.29 4.33 5/254 817126
/proc/meminfo: memFree=125702804/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=230172 memory=173820 CPUtime=3.08 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 45301 0 0 0 295 13 0 0 20 0 3 0 159156674 235696128 43455 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 57543 43455 2782 3032 0 50336 0
[pid=817123/tid=817125] ppid=817120 vsize=230172 memory=144488 CPUtime=0.55 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 14050 0 0 0 51 4 0 0 20 0 3 0 159156925 235696128 43455 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=230172 memory=0 CPUtime=0 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159156933 235696128 43455 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 230172 KiB
Current children cumulated memory: 173820 KiB
[startup+6.30037 s]
/proc/loadavg: 4.11 4.29 4.33 5/254 817126
/proc/meminfo: memFree=125661520/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=295708 memory=217812 CPUtime=6.26 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 65973 0 0 0 612 14 0 0 20 0 3 0 159156674 302804992 54453 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 73927 54453 2974 3032 0 62812 0
[pid=817123/tid=817125] ppid=817120 vsize=295708 memory=0 CPUtime=3.73 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 34232 0 0 0 367 6 0 0 20 0 3 0 159156925 302804992 54453 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=295708 memory=62972 CPUtime=0 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 159156933 302804992 54453 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 295708 KiB
Current children cumulated memory: 217812 KiB
[startup+12.7004 s]
/proc/loadavg: 4.10 4.28 4.33 5/254 817127
/proc/meminfo: memFree=125632504/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=361244 memory=244252 CPUtime=12.65 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 101692 0 0 0 1248 17 0 0 20 0 3 0 159156674 369913856 61063 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 90311 61063 2974 3032 0 76181 0
[pid=817123/tid=817125] ppid=817120 vsize=361244 memory=0 CPUtime=10.12 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 69947 0 0 0 1003 9 0 0 20 0 3 0 159156925 369913856 61063 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=361244 memory=242216 CPUtime=0 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 159156933 369913856 61063 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 361244 KiB
Current children cumulated memory: 244252 KiB
[startup+25.5004 s]
/proc/loadavg: 4.24 4.31 4.33 5/254 817129
/proc/meminfo: memFree=125607372/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=361244 memory=267284 CPUtime=25.42 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 135524 0 0 0 2522 20 0 0 20 0 3 0 159156674 369913856 66821 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 90311 66821 2974 3032 0 83448 0
[pid=817123/tid=817125] ppid=817120 vsize=361244 memory=267276 CPUtime=22.88 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 103720 0 0 0 2277 11 0 0 20 0 3 0 159156925 369913856 66821 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=361244 memory=267276 CPUtime=0 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 159156933 369913856 66821 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 361244 KiB
Current children cumulated memory: 267284 KiB
[startup+51.1129 s]
/proc/loadavg: 4.22 4.30 4.33 5/252 817135
/proc/meminfo: memFree=125534248/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=426780 memory=293136 CPUtime=50.96 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 182780 0 0 0 5072 24 0 0 20 0 3 0 159156674 437022720 73284 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 106695 73284 2974 3032 0 90190 0
[pid=817123/tid=817125] ppid=817120 vsize=426780 memory=293108 CPUtime=48.43 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 150438 0 0 0 4827 16 0 0 20 0 3 0 159156925 437022720 73284 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=426780 memory=12440 CPUtime=0 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 159156933 437022720 73284 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 426780 KiB
Current children cumulated memory: 293136 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.26 4.31 5/252 817155
/proc/meminfo: memFree=125455780/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=557852 memory=368852 CPUtime=102.03 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 261827 0 0 0 10172 31 0 0 20 0 3 0 159156674 571240448 92213 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 139463 92213 2990 3032 0 119437 0
[pid=817123/tid=817125] ppid=817120 vsize=557852 memory=368832 CPUtime=99.48 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 228436 0 0 0 9926 22 0 0 20 0 3 0 159156925 571240448 92213 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=557852 memory=365912 CPUtime=0 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 159156933 571240448 92213 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 557852 KiB
Current children cumulated memory: 368852 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.24 4.30 5/252 817166
/proc/meminfo: memFree=125362172/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=688924 memory=451860 CPUtime=161.88 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 338754 0 0 0 16150 38 0 0 20 0 3 0 159156674 705458176 112965 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 172231 112965 2990 3032 0 160410 0
[pid=817123/tid=817125] ppid=817120 vsize=688924 memory=407824 CPUtime=159.33 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 304393 0 0 0 15904 29 0 0 20 0 3 0 159156925 705458176 112965 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=688924 memory=12440 CPUtime=0 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 159156933 705458176 112965 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 688924 KiB
Current children cumulated memory: 451860 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.21 4.29 5/252 817177
/proc/meminfo: memFree=125297392/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=688924 memory=474140 CPUtime=221.68 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 376888 0 0 0 22127 41 0 0 20 0 3 0 159156674 705458176 118535 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 172231 118535 2990 3032 0 166303 0
[pid=817123/tid=817125] ppid=817120 vsize=688924 memory=464928 CPUtime=219.13 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 342500 0 0 0 21881 32 0 0 20 0 3 0 159156925 705458176 118535 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=688924 memory=465084 CPUtime=0 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 159156933 705458176 118535 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 688924 KiB
Current children cumulated memory: 474140 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.20 4.27 5/250 817187
/proc/meminfo: memFree=125289188/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=754460 memory=476920 CPUtime=281.5 cores=4,6
################
# More data... #
################
[pid=817123] ppid=817120 vsize=2540264 memory=2334064 CPUtime=3453.84 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 2229804 0 0 0 345131 253 0 0 20 0 3 0 159156674 2601230336 583516 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 635066 583516 3310 3032 0 624093 0
[pid=817123/tid=817125] ppid=817120 vsize=2540264 memory=2334056 CPUtime=3450.95 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 2192725 0 0 0 344868 227 0 0 20 0 3 0 159156925 2601230336 583516 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=2540264 memory=12440 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 125 0 0 0 1 4 0 0 20 0 3 0 159156933 2601230336 583516 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3453.84 s
Current children cumulated vsize: 2540264 KiB
Current children cumulated memory: 2334064 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.14 1.76 2/224 818877
/proc/meminfo: memFree=126217308/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=2540264 memory=2348132 CPUtime=3513.71 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 2244462 0 0 0 351116 255 0 0 20 0 3 0 159156674 2601230336 587033 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 635066 587033 3310 3032 0 625879 0
[pid=817123/tid=817125] ppid=817120 vsize=2540264 memory=2348132 CPUtime=3510.82 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 2207362 0 0 0 350853 229 0 0 20 0 3 0 159156925 2601230336 587033 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=2540264 memory=2348132 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 127 0 0 0 1 4 0 0 20 0 3 0 159156933 2601230336 587033 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3513.71 s
Current children cumulated vsize: 2540264 KiB
Current children cumulated memory: 2348132 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.13 1.72 2/226 819059
/proc/meminfo: memFree=126217624/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=2540264 memory=2347116 CPUtime=3573.57 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 2256872 0 0 0 357100 257 0 0 20 0 3 0 159156674 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 635066 586779 3310 3032 0 627097 0
[pid=817123/tid=817125] ppid=817120 vsize=2540264 memory=2348132 CPUtime=3570.68 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 2219753 0 0 0 356837 231 0 0 20 0 3 0 159156925 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=2540264 memory=5576 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 129 0 0 0 1 4 0 0 20 0 3 0 159156933 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 2540264 KiB
Current children cumulated memory: 2347116 KiB
[startup+3600.35 s]
# the end of solver process 817123 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.98 s, system=2.61668 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.10 1.13 1.71 2/226 819059
/proc/meminfo: memFree=126217652/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=2540264 memory=2347116 CPUtime=3575.28 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 2257009 0 0 0 357271 257 0 0 20 0 3 0 159156674 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 635066 586779 3310 3032 0 627097 0
[pid=817123/tid=817125] ppid=817120 vsize=2540264 memory=6720659939557587819 CPUtime=3572.39 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 2219890 0 0 0 357008 231 0 0 20 0 3 0 159156925 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=2540264 memory=-5155633680935826750 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 129 0 0 0 1 4 0 0 20 0 3 0 159156933 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3575.28 s
Current children cumulated vsize: 2540264 KiB
Current children cumulated memory: 2347116 KiB
[startup+3590.4 s]
/proc/loadavg: 1.10 1.13 1.71 2/226 819060
/proc/meminfo: memFree=126217544/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=2540264 memory=2347116 CPUtime=3581.66 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 2258024 0 0 0 357908 258 0 0 20 0 3 0 159156674 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 635066 586779 3310 3032 0 627097 0
[pid=817123/tid=817125] ppid=817120 vsize=2540264 memory=2347116 CPUtime=3578.77 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 2220905 0 0 0 357645 232 0 0 20 0 3 0 159156925 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=2540264 memory=2347116 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 129 0 0 0 1 4 0 0 20 0 3 0 159156933 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3581.66 s
Current children cumulated vsize: 2540264 KiB
Current children cumulated memory: 2347116 KiB
[startup+3596.8 s]
/proc/loadavg: 1.09 1.12 1.71 2/226 819060
/proc/meminfo: memFree=126217552/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=2540264 memory=2347116 CPUtime=3588.05 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 2258343 0 0 0 358547 258 0 0 20 0 3 0 159156674 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 635066 586779 3310 3032 0 627097 0
[pid=817123/tid=817125] ppid=817120 vsize=2540264 memory=12440 CPUtime=3585.15 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 2221224 0 0 0 358283 232 0 0 20 0 3 0 159156925 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=2540264 memory=2347116 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 129 0 0 0 1 4 0 0 20 0 3 0 159156933 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 2540264 KiB
Current children cumulated memory: 2347116 KiB
[startup+3598.4 s]
/proc/loadavg: 1.08 1.12 1.70 2/226 819062
/proc/meminfo: memFree=126217468/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=2540264 memory=2347116 CPUtime=3589.64 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 2258589 0 0 0 358706 258 0 0 20 0 3 0 159156674 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 635066 586779 3310 3032 0 627097 0
[pid=817123/tid=817125] ppid=817120 vsize=2540264 memory=2347116 CPUtime=3586.75 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 2221470 0 0 0 358443 232 0 0 20 0 3 0 159156925 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=2540264 memory=5608 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 129 0 0 0 1 4 0 0 20 0 3 0 159156933 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3589.64 s
Current children cumulated vsize: 2540264 KiB
Current children cumulated memory: 2347116 KiB
[startup+3599.2 s]
/proc/loadavg: 1.08 1.12 1.70 2/226 819062
/proc/meminfo: memFree=126217468/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=2540264 memory=2347116 CPUtime=3590.44 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 2258718 0 0 0 358786 258 0 0 20 0 3 0 159156674 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 635066 586779 3310 3032 0 627097 0
[pid=817123/tid=817125] ppid=817120 vsize=2540264 memory=6720659939557587819 CPUtime=3587.55 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 2221599 0 0 0 358523 232 0 0 20 0 3 0 159156925 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=2540264 memory=-5155633680935826750 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 129 0 0 0 1 4 0 0 20 0 3 0 159156933 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3590.44 s
Current children cumulated vsize: 2540264 KiB
Current children cumulated memory: 2347116 KiB
[startup+3600 s]*
/proc/loadavg: 1.08 1.12 1.70 2/226 819063
/proc/meminfo: memFree=126217404/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=2540264 memory=2347116 CPUtime=3591.25 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 2258844 0 0 0 358867 258 0 0 20 0 3 0 159156674 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 635066 586779 3310 3032 0 627097 0
[pid=817123/tid=817125] ppid=817120 vsize=2540264 memory=6720659939557587819 CPUtime=3588.36 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 2221726 0 0 0 358604 232 0 0 20 0 3 0 159156925 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=2540264 memory=-5155633680935826750 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 129 0 0 0 1 4 0 0 20 0 3 0 159156933 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3591.25 s
Current children cumulated vsize: 2540264 KiB
Current children cumulated memory: 2347116 KiB
[startup+3600.2 s]
/proc/loadavg: 1.08 1.12 1.70 2/226 819063
/proc/meminfo: memFree=126217404/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=2540264 memory=2347116 CPUtime=3591.44 cores=4,6
/proc/817123/stat : 817123 (fscip) S 817120 817123 811937 0 -1 1077936128 2268021 0 0 0 358885 259 0 0 20 0 3 0 159156674 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 635066 586779 3310 3032 0 627097 0
[pid=817123/tid=817125] ppid=817120 vsize=2540264 memory=2216 CPUtime=3588.55 cores=4,6
/proc/817123/task/817125/stat : 817125 (fscip) R 817120 817123 811937 0 -1 4194368 2230900 0 0 0 358622 233 0 0 20 0 3 0 159156925 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
[pid=817123/tid=817126] ppid=817120 vsize=2540264 memory=5608 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 129 0 0 0 1 4 0 0 20 0 3 0 159156933 2601230336 586779 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3591.44 s
Current children cumulated vsize: 2540264 KiB
Current children cumulated memory: 2347116 KiB
[startup+3600.3 s]
/proc/loadavg: 1.08 1.12 1.70 2/226 819063
/proc/meminfo: memFree=126217404/131655788 swapFree=131071996/131071996
[pid=817123] ppid=817120 vsize=2328692 memory=2198404 CPUtime=3591.54 cores=4,6
/proc/817123/stat : 817123 (fscip) R 817120 817123 811937 0 -1 4194304 2270983 0 0 0 358895 259 0 0 20 0 2 0 159156674 2384580608 549601 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
/proc/817123/statm: 582173 549601 3310 3032 0 576001 0
[pid=817123/tid=817126] ppid=817120 vsize=2328692 memory=2347116 CPUtime=0.05 cores=4,6
/proc/817123/task/817126/stat : 817126 (fscip) S 817120 817123 811937 0 -1 1077936192 129 0 0 0 1 4 0 0 20 0 2 0 159156933 2384580608 549601 134679101440 4194304 16613245 140731360427696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28782592 140731360433173 140731360433289 140731360433289 140731360440304 0
Current children cumulated CPU time: 3591.54 s
Current children cumulated vsize: 2328692 KiB
Current children cumulated memory: 2198404 KiB
Child status: 0
Real time (s): 3600.35
CPU time (s): 3591.6
CPU user time (s): 3588.98
CPU system time (s): 2.61668
CPU usage (%): 99.7569
Max. virtual memory (cumulated for all children) (KiB): 2540264
Max. memory (cumulated for all children) (KiB): 2351932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.98
system time used= 2.61668
maximum resident set size= 2352848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2271195
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= 10708
involuntary context switches= 3845
# summary of solver processes directly reported to runsolver:
# pid: 817123
# total CPU time (s): 3591.6
# total CPU user time (s): 3588.98
# total CPU system time (s): 2.61668
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3773 second user time and 33.5306 second system time
The end
Begin job on nodeC002 at 2024-07-15 20:59:59
IDJOB=4434602
IDBENCH=147037
IDSOLVER=3064
FILE ID=nodeC002/4434602-1721069986
RUNJOBID= nodeC002-1721061290-811948
SLURM_JOB_ID= 7505511
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.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-4434602-1721069986/watcher-4434602-1721069986 -o /tmp/evaluation-result-4434602-1721069986/solver-4434602-1721069986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811948 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434602-1721069986.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0fb7b9dc188f1b53ec311352ea5d5560
RANDOM SEED=1244442675
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3665.859
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3671.603
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.315
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.295
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.700
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3674.164
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.159
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.317
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125878644 kB
MemAvailable: 127286068 kB
Buffers: 392936 kB
Cached: 1842980 kB
SwapCached: 0 kB
Active: 620324 kB
Inactive: 4596248 kB
Active(anon): 2716 kB
Inactive(anon): 3015636 kB
Active(file): 617608 kB
Inactive(file): 1580612 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28640 kB
Writeback: 0 kB
AnonPages: 2970528 kB
Mapped: 142396 kB
Shmem: 37704 kB
KReclaimable: 98468 kB
Slab: 196512 kB
SReclaimable: 98468 kB
SUnreclaim: 98044 kB
KernelStack: 4076 kB
PageTables: 15728 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1659764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52800 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2283520 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 20674560 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC002 at 2024-07-15 21:59:59