0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.07 c Default LC presolving (default).
0.00/0.07 c ** Before presolving: virtualMemUsedAtLc = 77830125, getVmSize() = 69476352, SCIPgetMemUsed() = 40765767, SCIPgetMemTotal() = 45102359, SCIPgetMemExternEstim() = 32727766
0.00/0.07 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
84.86/85.27 c ** Estimated virtualMemUsedAtSolver = 107531842, getVmSize() = 155865088, SCIPgetMemUsed() = 84561309, SCIPgetMemTotal() = 128569997, SCIPgetMemExternEstim() = 32727766
84.86/85.27 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
84.86/85.27 c Original Problem :
84.86/85.27 c Problem name : instance-4426852-1720908176
84.86/85.27 c Variables : 12328 (12328 binary, 0 integer, 0 implicit integer, 0 continuous)
84.86/85.27 c Constraints : 23307
84.86/85.27 c Objective sense : minimize
84.86/85.27 c Presolved Problem :
84.86/85.27 c Variables : 11878 (11878 binary, 0 integer, 0 implicit integer, 0 continuous)
84.86/85.27 c Constraints : 11457
84.86/85.27 c Constraints : Number
84.86/85.27 c knapsack : 1
84.86/85.27 c linear : 11428
84.86/85.27 c indicator : 28
84.86/85.27 c ** Instance transfer method used: 0
84.96/85.30 c ** ParaScipInstance copy increased the number of variables. **
84.96/85.33 c LC is working with racing ramp-up and with rebuilding tree after racing.
84.96/85.33 c Nodes Active
84.96/85.33 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
85.16/85.50 c * 86 0 1 1 5714.0000 - -
85.16/85.50 c 86 0 1 1 5714.0000 - -
101.40/101.96 c * 102 0 1 1 3067.0000 - -
101.40/101.96 c 102 0 1 1 3067.0000 - -
101.69/102.20 c * 102 0 1 1 3037.0000 - -
101.69/102.23 c * 102 0 1 1 2749.0000 - -
108.13/108.70 c 109 2 1 1 2749.0000 381.5000 -
113.47/114.10 c 114 13 12 1 2749.0000 398.5000 -
120.49/121.27 c 121 25 24 1 2749.0000 414.0000 -
126.94/127.71 c 128 34 33 1 2749.0000 452.6667 -
132.47/133.31 c 133 45 44 1 2749.0000 452.6667 -
138.81/139.77 c 140 57 56 1 2749.0000 452.6667 -
146.04/147.02 c 147 68 67 1 2749.0000 452.6667 -
151.69/152.71 c 153 73 72 1 2749.0000 465.6667 490.34%
156.93/158.07 c 158 82 81 1 2749.0000 467.6667 487.81%
164.35/165.55 c 166 93 92 1 2749.0000 467.6667 487.81%
177.52/178.88 c 179 95 94 1 2749.0000 467.6667 487.81%
184.75/186.17 c 186 98 97 1 2749.0000 467.6667 487.81%
190.89/192.37 c 192 102 101 1 2749.0000 467.6667 487.81%
197.52/199.07 c 199 104 103 1 2749.0000 467.6667 487.81%
208.80/210.42 c 210 105 104 1 2749.0000 467.6667 487.81%
217.32/219.10 c 219 108 107 1 2749.0000 467.6667 487.81%
223.85/225.67 c * 226 110 109 1 2584.0000 467.6667 452.53%
223.85/225.67 c 226 110 109 1 2584.0000 467.6667 452.53%
231.18/233.05 c 233 112 111 1 2584.0000 467.6667 452.53%
236.32/238.21 c 238 114 113 1 2584.0000 467.6667 452.53%
244.54/246.51 c 247 118 117 1 2584.0000 467.6667 452.53%
251.77/253.88 c 254 122 121 1 2584.0000 468.1667 451.94%
261.77/263.96 c 264 126 125 1 2584.0000 468.1667 451.94%
266.81/269.08 c 269 129 128 1 2584.0000 468.1667 451.94%
273.45/275.71 c 276 132 131 1 2584.0000 468.1667 451.94%
280.47/282.85 c 283 136 135 1 2584.0000 483.6667 434.25%
287.79/290.23 c 290 140 139 1 2584.0000 483.6667 434.25%
295.13/297.61 c 298 144 143 1 2584.0000 513.1667 403.54%
302.84/305.43 c 305 148 147 1 2584.0000 513.1667 403.54%
310.56/313.29 c 313 152 151 1 2584.0000 544.1667 374.85%
317.48/320.26 c 320 155 154 1 2584.0000 548.1667 371.39%
323.23/326.03 c 326 159 158 1 2584.0000 548.1667 371.39%
329.46/332.37 c 332 166 165 1 2584.0000 548.1667 371.39%
337.38/340.39 c 340 170 169 1 2584.0000 548.1667 371.39%
342.63/345.66 c 346 174 173 1 2584.0000 548.1667 371.39%
350.94/354.08 c 354 176 175 1 2584.0000 548.1667 371.39%
356.39/359.50 c 360 178 177 1 2584.0000 548.1667 371.39%
362.72/365.98 c * 366 180 179 1 2565.0000 548.1667 367.92%
362.72/365.98 c 366 180 179 1 2565.0000 548.1667 367.92%
374.10/377.41 c 377 187 186 1 2565.0000 548.1667 367.92%
383.50/386.94 c 387 194 193 1 2565.0000 548.1667 367.92%
392.21/395.77 c 396 202 201 1 2565.0000 561.5000 356.81%
397.46/401.09 c 401 210 209 1 2565.0000 561.5000 356.81%
405.87/409.57 c 410 221 220 1 2565.0000 561.5000 356.81%
412.20/415.99 c 416 227 226 1 2565.0000 565.6667 353.45%
414.48/418.27 c * 418 227 226 1 2558.0000 565.6667 352.21%
418.23/422.01 c 422 231 230 1 2558.0000 565.6667 352.21%
424.66/428.59 c 429 233 232 1 2558.0000 565.6667 352.21%
432.59/436.56 c 437 242 241 1 2558.0000 565.6667 352.21%
438.03/442.04 c 442 252 251 1 2558.0000 578.1667 342.43%
451.29/455.47 c 455 263 262 1 2558.0000 578.1667 342.43%
459.31/463.55 c 464 272 271 1 2558.0000 578.1667 342.43%
466.03/470.32 c 470 280 279 1 2558.0000 578.1667 342.43%
472.96/477.35 c 477 298 297 1 2558.0000 578.5000 342.18%
479.00/483.44 c 483 342 341 1 2558.0000 582.0000 339.52%
485.13/489.64 c 490 380 379 1 2558.0000 582.0000 339.52%
493.15/497.71 c 498 390 389 1 2558.0000 582.0000 339.52%
500.28/504.99 c 505 396 395 1 2558.0000 582.0000 339.52%
507.50/512.26 c 512 405 404 1 2558.0000 582.0000 339.52%
515.12/519.96 c 520 412 411 1 2558.0000 582.6667 339.02%
520.75/525.63 c 526 417 416 1 2558.0000 582.6667 339.02%
529.08/534.06 c 534 427 426 1 2558.0000 582.6667 339.02%
529.77/534.71 c * 535 427 426 1 2544.0000 582.6667 336.61%
536.10/541.14 c 541 432 431 1 2544.0000 582.6667 336.61%
544.51/549.63 c 550 446 445 1 2544.0000 582.6667 336.61%
550.94/556.12 c 556 462 461 1 2544.0000 597.5000 325.77%
556.38/561.65 c 562 469 468 1 2544.0000 597.5000 325.77%
562.81/568.19 c 568 485 484 1 2544.0000 599.4167 324.41%
568.05/573.44 c 573 493 492 1 2544.0000 599.4167 324.41%
573.89/579.36 c 579 511 510 1 2544.0000 599.4167 324.41%
580.52/586.03 c 586 513 512 1 2544.0000 603.6667 321.42%
587.26/592.83 c 593 530 529 1 2544.0000 603.6667 321.42%
595.86/601.54 c 602 551 550 1 2544.0000 603.6667 321.42%
603.38/609.17 c 609 559 558 1 2544.0000 611.0000 316.37%
608.84/614.61 c 615 579 578 1 2544.0000 611.0000 316.37%
614.52/620.32 c 620 608 607 1 2544.0000 611.0000 316.37%
621.09/626.90 c 627 632 631 1 2544.0000 614.0000 314.33%
628.85/634.70 c 635 642 641 1 2544.0000 614.4167 314.05%
634.44/640.31 c 640 646 645 1 2544.0000 614.4167 314.05%
641.22/647.19 c 647 657 656 1 2544.0000 614.4167 314.05%
647.48/653.46 c 653 669 668 1 2544.0000 614.4167 314.05%
654.75/660.76 c 661 684 683 1 2544.0000 614.4167 314.05%
672.29/678.36 c 678 699 698 1 2544.0000 614.4167 314.05%
682.75/688.87 c 689 712 711 1 2544.0000 618.6667 311.21%
688.82/694.98 c 695 722 721 1 2544.0000 618.6667 311.21%
694.60/700.70 c 701 727 726 1 2544.0000 618.6667 311.21%
700.87/707.07 c 707 752 751 1 2544.0000 618.6667 311.21%
707.54/713.77 c 714 765 764 1 2544.0000 618.6667 311.21%
712.82/719.07 c 719 772 771 1 2544.0000 624.1667 307.58%
718.70/724.98 c 725 794 793 1 2544.0000 624.1667 307.58%
724.18/730.43 c 730 816 815 1 2544.0000 624.1667 307.58%
730.65/736.90 c 737 831 830 1 2544.0000 624.1667 307.58%
736.33/742.69 c 743 834 833 1 2544.0000 629.5000 304.13%
743.70/750.04 c 750 846 845 1 2544.0000 629.5000 304.13%
749.77/756.16 c 756 859 858 1 2544.0000 629.5000 304.13%
755.95/762.31 c 762 872 871 1 2544.0000 634.0417 301.24%
761.63/768.07 c 768 874 873 1 2544.0000 634.0417 301.24%
770.19/776.65 c 777 882 881 1 2544.0000 634.1667 301.16%
777.26/783.75 c 784 890 889 1 2544.0000 634.1667 301.16%
782.45/788.99 c 789 901 900 1 2544.0000 634.1667 301.16%
791.51/798.06 c 798 912 911 1 2544.0000 635.6667 300.21%
797.49/804.03 c 804 915 914 1 2544.0000 635.6667 300.21%
802.57/809.16 c 809 922 921 1 2544.0000 635.6667 300.21%
808.14/814.74 c 815 933 932 1 2544.0000 635.6667 300.21%
816.00/822.64 c 823 952 951 1 2544.0000 635.6667 300.21%
824.38/831.09 c 831 972 971 1 2544.0000 638.1667 298.64%
830.15/836.84 c 837 988 987 1 2544.0000 638.1667 298.64%
835.23/841.97 c 842 1004 1003 1 2544.0000 638.1667 298.64%
842.60/849.37 c 849 1020 1019 1 2544.0000 638.1667 298.64%
847.78/854.52 c 855 1036 1035 1 2544.0000 638.1667 298.64%
853.36/860.13 c 860 1047 1046 1 2544.0000 638.1667 298.64%
879.36/886.27 c 886 1051 1 1 2544.0000 896.0417 183.92%
884.64/891.53 c 892 1054 4 1 2544.0000 896.0417 183.92%
891.12/898.07 c 898 1061 11 1 2544.0000 901.0417 182.34%
897.20/904.17 c 904 1064 14 1 2544.0000 901.0417 182.34%
903.26/910.21 c 910 1072 22 1 2544.0000 901.0417 182.34%
909.04/916.04 c 916 1075 25 1 2544.0000 901.0417 182.34%
915.92/922.98 c 923 1090 40 1 2544.0000 901.0417 182.34%
921.80/928.81 c 929 1101 51 1 2544.0000 915.4167 177.91%
928.97/936.07 c 936 1104 54 1 2544.0000 915.4167 177.91%
936.53/943.66 c 944 1113 63 1 2544.0000 915.4167 177.91%
942.32/949.44 c 949 1118 68 1 2544.0000 928.7917 173.90%
948.40/955.54 c 956 1124 74 1 2544.0000 928.7917 173.90%
953.98/961.19 c 961 1130 80 1 2544.0000 928.7917 173.90%
961.15/968.38 c 968 1133 83 1 2544.0000 928.7917 173.90%
969.31/976.56 c 977 1137 87 1 2544.0000 928.7917 173.90%
975.09/982.38 c 982 1140 90 1 2544.0000 928.7917 173.90%
981.46/988.77 c 989 1143 93 1 2544.0000 928.7917 173.90%
989.13/996.45 c 996 1147 97 1 2544.0000 928.7917 173.90%
994.61/1001.92 c 1002 1154 104 1 2544.0000 928.7917 173.90%
1000.99/1008.33 c 1008 1158 108 1 2544.0000 928.7917 173.90%
1010.45/1017.89 c 1018 1164 114 1 2544.0000 928.7917 173.90%
1016.13/1023.51 c 1024 1168 118 1 2544.0000 938.2917 171.13%
1023.90/1031.32 c 1031 1174 124 1 2544.0000 938.2917 171.13%
1028.98/1036.48 c 1036 1178 128 1 2544.0000 938.2917 171.13%
1035.96/1043.40 c 1043 1182 132 1 2544.0000 938.2917 171.13%
1042.83/1050.33 c 1050 1186 136 1 2544.0000 938.2917 171.13%
1047.81/1055.39 c 1055 1188 138 1 2544.0000 938.2917 171.13%
1053.49/1061.09 c 1061 1196 146 1 2544.0000 938.2917 171.13%
1060.96/1068.58 c 1069 1198 148 1 2544.0000 938.2917 171.13%
1066.04/1073.65 c 1074 1204 154 1 2544.0000 938.2917 171.13%
1072.81/1080.42 c 1080 1210 160 1 2544.0000 938.2917 171.13%
1077.99/1085.69 c 1086 1214 164 1 2544.0000 938.2917 171.13%
1085.37/1093.07 c 1093 1221 171 1 2544.0000 938.2917 171.13%
1092.34/1100.03 c 1100 1230 180 1 2544.0000 951.7917 167.29%
1098.02/1105.79 c 1106 1234 184 1 2544.0000 951.7917 167.29%
1108.67/1116.48 c 1116 1241 191 1 2544.0000 951.7917 167.29%
1114.95/1122.72 c 1123 1243 193 1 2544.0000 951.7917 167.29%
1120.63/1128.41 c 1128 1250 200 1 2544.0000 951.7917 167.29%
1129.10/1136.98 c 1137 1255 205 1 2544.0000 977.9167 160.14%
1138.56/1146.44 c 1146 1263 213 1 2544.0000 977.9167 160.14%
1144.73/1152.64 c 1153 1274 224 1 2544.0000 977.9167 160.14%
1151.21/1159.14 c 1159 1285 235 1 2544.0000 977.9167 160.14%
1157.89/1165.86 c 1166 1302 252 1 2544.0000 983.3750 158.70%
1163.87/1171.88 c 1172 1317 267 1 2544.0000 983.3750 158.70%
1171.64/1179.66 c 1180 1344 294 1 2544.0000 984.6250 158.37%
1177.61/1185.65 c 1186 1359 309 1 2544.0000 990.5417 156.83%
1183.38/1191.42 c 1191 1381 331 1 2544.0000 996.6250 155.26%
1188.37/1196.44 c 1196 1391 341 1 2544.0000 997.2917 155.09%
1193.95/1202.08 c 1202 1419 369 1 2544.0000 997.2917 155.09%
1200.03/1208.13 c 1208 1449 399 1 2544.0000 997.3750 155.07%
1205.20/1213.32 c 1213 1461 411 1 2544.0000 997.3750 155.07%
1211.18/1219.33 c 1219 1474 424 1 2544.0000 997.3750 155.07%
1219.05/1227.25 c 1227 1490 440 1 2544.0000 997.6250 155.01%
1226.52/1234.79 c 1235 1520 470 1 2544.0000 1004.8750 153.17%
1233.19/1241.45 c 1241 1544 494 1 2544.0000 1007.3750 152.54%
1238.88/1247.14 c 1247 1554 504 1 2544.0000 1008.1250 152.35%
1245.35/1253.67 c 1254 1572 522 1 2544.0000 1009.2917 152.06%
1250.52/1258.89 c 1259 1601 551 1 2544.0000 1009.3750 152.04%
1258.19/1266.50 c 1267 1623 573 1 2544.0000 1009.3750 152.04%
1263.48/1271.82 c 1272 1649 599 1 2544.0000 1009.3750 152.04%
1269.95/1278.32 c 1278 1665 615 1 2544.0000 1009.3750 152.04%
1275.82/1284.27 c 1284 1685 635 1 2544.0000 1009.3750 152.04%
1281.90/1290.39 c 1290 1693 643 1 2544.0000 1009.3750 152.04%
1287.58/1296.04 c 1296 1728 678 1 2544.0000 1009.3750 152.04%
1294.15/1302.68 c 1303 1737 687 1 2544.0000 1009.3750 152.04%
1300.72/1309.24 c 1309 1758 708 1 2544.0000 1009.6250 151.97%
1306.11/1314.62 c 1315 1779 729 1 2544.0000 1010.1250 151.85%
1314.07/1322.68 c 1323 1805 755 1 2544.0000 1011.1250 151.60%
1321.65/1330.20 c 1330 1811 761 1 2544.0000 1011.1250 151.60%
1327.23/1335.80 c 1336 1814 764 1 2544.0000 1011.1250 151.60%
1338.18/1346.80 c 1347 1823 773 1 2544.0000 1011.1250 151.60%
1343.56/1352.26 c 1352 1838 788 1 2544.0000 1011.1250 151.60%
1351.03/1359.77 c 1360 1851 801 1 2544.0000 1011.1250 151.60%
1357.31/1366.09 c 1366 1854 804 1 2544.0000 1011.1250 151.60%
1362.69/1371.42 c 1371 1856 806 1 2544.0000 1011.1250 151.60%
1369.66/1378.44 c 1378 1861 811 1 2544.0000 1011.1250 151.60%
1375.84/1384.63 c 1385 1864 814 1 2544.0000 1011.1250 151.60%
1383.01/1391.89 c 1392 1867 817 1 2544.0000 1011.1250 151.60%
1388.09/1396.98 c 1397 1870 820 1 2544.0000 1011.1250 151.60%
1394.27/1403.12 c 1403 1872 822 1 2544.0000 1011.1250 151.60%
1399.65/1408.58 c 1409 1874 824 1 2544.0000 1011.1250 151.60%
1406.03/1414.95 c 1415 1877 827 1 2544.0000 1011.1250 151.60%
1412.80/1421.79 c 1422 1879 829 1 2544.0000 1011.1250 151.60%
1419.96/1428.92 c 1429 1884 834 1 2544.0000 1011.1250 151.60%
1426.85/1435.81 c 1436 1890 840 1 2544.0000 1011.1250 151.60%
1433.91/1442.95 c 1443 1896 846 1 2544.0000 1011.1250 151.60%
1444.68/1453.73 c 1454 1899 849 1 2544.0000 1011.1250 151.60%
1451.24/1460.31 c 1460 1902 852 1 2544.0000 1011.1250 151.60%
1456.52/1465.63 c 1466 1906 856 1 2544.0000 1011.1250 151.60%
1462.40/1471.50 c 1472 1907 857 1 2544.0000 1011.1250 151.60%
1468.27/1477.48 c 1477 1910 860 1 2544.0000 1011.1250 151.60%
1474.15/1483.31 c 1483 1912 862 1 2544.0000 1011.1250 151.60%
1487.99/1497.26 c 1497 1914 864 1 2544.0000 1011.1250 151.60%
1494.87/1504.14 c 1504 1917 867 1 2544.0000 1011.1250 151.60%
1504.13/1513.48 c 1513 1919 869 1 2544.0000 1011.1250 151.60%
1511.41/1520.72 c 1521 1922 872 1 2544.0000 1011.1250 151.60%
1519.97/1529.31 c 1529 1926 876 1 2544.0000 1011.1250 151.60%
1527.66/1537.00 c 1537 1929 879 1 2544.0000 1011.1250 151.60%
1535.23/1544.69 c 1545 1931 881 1 2544.0000 1011.1250 151.60%
1542.11/1551.58 c 1552 1934 884 1 2544.0000 1011.1250 151.60%
1548.89/1558.30 c 1558 1936 886 1 2544.0000 1011.1250 151.60%
1554.47/1563.90 c 1564 1940 890 1 2544.0000 1011.1250 151.60%
1561.65/1571.19 c 1571 1943 893 1 2544.0000 1011.1250 151.60%
1568.34/1577.82 c 1578 1945 895 1 2544.0000 1011.1250 151.60%
1575.62/1585.17 c 1585 1947 897 1 2544.0000 1011.1250 151.60%
1585.58/1595.13 c 1595 1949 899 1 2544.0000 1011.1250 151.60%
1592.96/1602.57 c 1603 1951 901 1 2544.0000 1011.1250 151.60%
1599.84/1609.40 c 1609 1953 903 1 2544.0000 1011.1250 151.60%
1609.61/1619.21 c 1619 1955 905 1 2544.0000 1011.1250 151.60%
1615.59/1625.25 c 1625 1958 908 1 2544.0000 1011.1250 151.60%
1622.77/1632.43 c 1632 1960 910 1 2544.0000 1011.1250 151.60%
1631.24/1640.93 c 1641 1962 912 1 2544.0000 1011.1250 151.60%
1638.42/1648.12 c 1648 1963 913 1 2544.0000 1011.1250 151.60%
1645.60/1655.30 c 1655 1966 916 1 2544.0000 1011.1250 151.60%
1651.58/1661.37 c 1661 1967 917 1 2544.0000 1011.1250 151.60%
1659.85/1669.65 c 1670 1968 918 1 2544.0000 1011.1250 151.60%
1666.24/1676.07 c 1676 1970 920 1 2544.0000 1011.1250 151.60%
1672.52/1682.36 c 1682 1972 922 1 2544.0000 1011.1250 151.60%
1679.41/1689.28 c 1689 1974 924 1 2544.0000 1011.1250 151.60%
1688.18/1698.01 c 1698 1978 928 1 2544.0000 1011.1250 151.60%
1693.36/1703.22 c 1703 1979 929 1 2544.0000 1011.1250 151.60%
1699.64/1709.59 c 1710 1980 930 1 2544.0000 1011.1250 151.60%
1712.90/1722.89 c 1723 1983 933 1 2544.0000 1011.1250 151.60%
1718.09/1728.07 c 1728 1984 934 1 2544.0000 1011.1250 151.60%
1726.57/1736.51 c 1737 1986 936 1 2544.0000 1011.1250 151.60%
1735.05/1745.00 c 1745 1989 939 1 2544.0000 1011.1250 151.60%
1742.42/1752.40 c 1752 1992 942 1 2544.0000 1011.1250 151.60%
1749.90/1759.96 c 1760 1996 946 1 2544.0000 1011.1250 151.60%
1757.58/1767.60 c 1768 2000 950 1 2544.0000 1011.1250 151.60%
1764.06/1774.13 c 1774 2004 954 1 2544.0000 1011.1250 151.60%
1771.05/1781.12 c 1781 2006 956 1 2544.0000 1011.1250 151.60%
1777.83/1787.95 c 1788 2009 959 1 2544.0000 1011.1250 151.60%
1784.01/1794.16 c 1794 2012 962 1 2544.0000 1011.1250 151.60%
1792.69/1802.81 c 1803 2014 964 1 2544.0000 1011.1250 151.60%
1800.06/1810.29 c 1810 2016 966 1 2544.0000 1011.1250 151.60%
1807.04/1817.27 c 1817 2017 967 1 2544.0000 1011.1250 151.60%
1812.52/1822.73 c 1823 2018 968 1 2544.0000 1011.1250 151.60%
1820.00/1830.29 c 1830 2020 970 1 2544.0000 1011.1250 151.60%
1830.57/1840.84 c 1841 2022 972 1 2544.0000 1011.1250 151.60%
1837.35/1847.60 c 1848 2023 973 1 2544.0000 1011.1250 151.60%
1849.32/1859.64 c 1860 2024 974 1 2544.0000 1011.1250 151.60%
1859.79/1870.14 c 1870 2026 976 1 2544.0000 1011.1250 151.60%
1867.77/1878.16 c 1878 2028 978 1 2544.0000 1011.1250 151.60%
1875.54/1885.93 c 1886 2029 979 1 2544.0000 1011.1250 151.60%
1882.42/1892.85 c 1893 2031 981 1 2544.0000 1011.1250 151.60%
1890.20/1900.67 c 1901 2033 983 1 2544.0000 1011.1250 151.60%
1897.78/1908.26 c 1908 2035 985 1 2544.0000 1011.1250 151.60%
1904.57/1915.00 c 1915 2037 987 1 2544.0000 1011.1250 151.60%
1911.24/1921.74 c 1922 2039 989 1 2544.0000 1011.1250 151.60%
1919.63/1930.14 c 1930 2041 991 1 2544.0000 1011.1250 151.60%
1927.70/1938.22 c 1938 2043 993 1 2544.0000 1011.1250 151.60%
1934.68/1945.25 c 1945 2045 995 1 2544.0000 1011.1250 151.60%
1947.24/1957.89 c 1958 2048 998 1 2544.0000 1011.1250 151.60%
1954.92/1965.52 c 1966 2050 1000 1 2544.0000 1011.1250 151.60%
1961.11/1971.70 c 1972 2052 1002 1 2544.0000 1011.1250 151.60%
1968.39/1979.07 c 1979 2054 1004 1 2544.0000 1011.1250 151.60%
1974.97/1985.62 c 1986 2056 1006 1 2544.0000 1011.1250 151.60%
1982.26/1992.92 c 1993 2059 1009 1 2544.0000 1011.1250 151.60%
1989.53/2000.30 c 2000 2061 1011 1 2544.0000 1011.1250 151.60%
1996.42/2007.12 c 2007 2064 1014 1 2544.0000 1011.1250 151.60%
2005.19/2015.96 c 2016 2066 1016 1 2544.0000 1011.1250 151.60%
2016.16/2026.92 c 2027 2068 1018 1 2544.0000 1011.1250 151.60%
2022.84/2033.68 c 2034 2071 1021 1 2544.0000 1011.1250 151.60%
2029.42/2040.20 c 2040 2073 1023 1 2544.0000 1011.1250 151.60%
2034.51/2045.32 c 2045 2074 1024 1 2544.0000 1011.1250 151.60%
2042.89/2053.71 c 2054 2077 1027 1 2544.0000 1011.1250 151.60%
2047.98/2058.89 c 2059 2078 1028 1 2544.0000 1011.1250 151.60%
2054.27/2065.13 c 2065 2080 1030 1 2544.0000 1011.1250 151.60%
2059.25/2070.17 c 2070 2082 1032 1 2544.0000 1011.1250 151.60%
2064.34/2075.24 c 2075 2084 1034 1 2544.0000 1011.1250 151.60%
2069.52/2080.40 c 2080 2086 1036 1 2544.0000 1011.1250 151.60%
2079.99/2090.93 c 2091 2090 1040 1 2544.0000 1011.1250 151.60%
2086.28/2097.29 c 2097 2092 1042 1 2544.0000 1011.1250 151.60%
2093.95/2104.90 c 2105 2094 1044 1 2544.0000 1011.1250 151.60%
2102.04/2113.08 c 2113 2096 1046 1 2544.0000 1011.1250 151.60%
2109.02/2120.05 c 2120 2098 1048 1 2544.0000 1011.1250 151.60%
2117.29/2128.32 c 2128 2100 1050 1 2544.0000 1011.1250 151.60%
2124.57/2135.69 c 2136 2102 1052 1 2544.0000 1011.1250 151.60%
2130.06/2141.11 c 2141 2103 1053 1 2544.0000 1011.1250 151.60%
2139.83/2150.98 c 2151 2105 1055 1 2544.0000 1011.1250 151.60%
2145.62/2156.70 c 2157 2106 1056 1 2544.0000 1011.1250 151.60%
2152.00/2163.18 c 2163 2107 1057 1 2544.0000 1011.1250 151.60%
2157.39/2168.54 c 2169 2108 1058 1 2544.0000 1011.1250 151.60%
2163.77/2174.95 c 2175 2110 1060 1 2544.0000 1011.1250 151.60%
2168.86/2180.07 c 2180 2112 1062 1 2544.0000 1011.1250 151.60%
2174.85/2186.08 c 2186 2114 1064 1 2544.0000 1011.1250 151.60%
2180.02/2191.26 c 2191 2116 1066 1 2544.0000 1011.1250 151.60%
2185.41/2196.65 c 2197 2118 1068 1 2544.0000 1011.1250 151.60%
2193.98/2205.28 c 2205 2120 1070 1 2544.0000 1011.1250 151.60%
2209.04/2220.31 c 2220 2122 1072 1 2544.0000 1011.1250 151.60%
2214.43/2225.71 c 2226 2123 1073 1 2544.0000 1011.1250 151.60%
2220.11/2231.40 c 2231 2124 1074 1 2544.0000 1011.1250 151.60%
2225.60/2236.93 c 2237 2125 1075 1 2544.0000 1011.1250 151.60%
2231.78/2243.13 c 2243 2126 1076 1 2544.0000 1011.1250 151.60%
2241.06/2252.41 c 2252 2128 1078 1 2544.0000 1011.1250 151.60%
2250.23/2261.64 c 2262 2130 1080 1 2544.0000 1011.1250 151.60%
2258.21/2269.65 c 2270 2132 1082 1 2544.0000 1011.1250 151.60%
2266.09/2277.52 c 2278 2134 1084 1 2544.0000 1011.1250 151.60%
2270.18/2281.62 c * 2282 2134 1084 1 2538.0000 1011.1250 151.01%
2280.35/2291.82 c 2292 2136 1086 1 2538.0000 1011.1250 151.01%
2289.63/2301.11 c 2301 2138 1088 1 2538.0000 1011.1250 151.01%
2302.69/2314.22 c 2314 2140 1090 1 2538.0000 1011.1250 151.01%
2309.27/2320.84 c 2321 2142 1092 1 2538.0000 1011.1250 151.01%
2321.04/2332.68 c 2333 2144 1094 1 2538.0000 1011.1250 151.01%
2330.91/2342.55 c 2343 2146 1096 1 2538.0000 1011.1250 151.01%
2338.30/2349.94 c 2350 2148 1098 1 2538.0000 1011.1250 151.01%
2343.89/2355.58 c 2356 2156 1106 1 2538.0000 1011.1250 151.01%
2349.57/2361.27 c 2361 2157 1107 1 2538.0000 1011.1250 151.01%
2359.84/2371.51 c 2372 2159 1109 1 2538.0000 1011.1250 151.01%
2370.61/2382.38 c 2382 2161 1111 1 2538.0000 1011.1250 151.01%
2383.58/2395.35 c 2395 2162 1112 1 2538.0000 1011.1250 151.01%
2390.76/2402.51 c 2403 2164 1114 1 2538.0000 1011.1250 151.01%
2398.44/2410.26 c 2410 2165 1115 1 2538.0000 1011.1250 151.01%
2407.41/2419.23 c 2419 2168 1118 1 2538.0000 1011.1250 151.01%
2416.98/2428.81 c 2429 2171 1121 1 2538.0000 1011.3750 150.95%
2428.16/2440.02 c 2440 2174 1124 1 2538.0000 1011.3750 150.95%
2438.53/2450.46 c 2450 2177 1127 1 2538.0000 1011.3750 150.95%
2453.29/2465.29 c 2465 2180 1130 1 2538.0000 1011.3750 150.95%
2462.96/2474.91 c 2475 2183 1133 1 2538.0000 1011.3750 150.95%
2473.33/2485.36 c 2485 2186 1136 1 2538.0000 1011.3750 150.95%
2480.41/2492.45 c 2492 2192 1142 1 2538.0000 1011.3750 150.95%
2485.40/2497.48 c 2497 2196 1146 1 2538.0000 1011.3750 150.95%
2491.38/2503.43 c 2503 2201 1151 1 2538.0000 1011.3750 150.95%
2499.46/2511.50 c 2512 2204 1154 1 2538.0000 1011.3750 150.95%
2506.54/2518.67 c 2519 2207 1157 1 2538.0000 1011.3750 150.95%
2512.02/2524.14 c 2524 2209 1159 1 2538.0000 1011.3750 150.95%
2517.50/2529.64 c 2530 2211 1161 1 2538.0000 1011.3750 150.95%
2525.58/2537.71 c 2538 2214 1164 1 2538.0000 1011.3750 150.95%
2531.56/2543.72 c 2544 2217 1167 1 2538.0000 1011.3750 150.95%
2537.14/2549.37 c 2549 2219 1169 1 2538.0000 1011.3750 150.95%
2543.12/2555.30 c 2555 2223 1173 1 2538.0000 1011.3750 150.95%
2548.20/2560.49 c 2560 2227 1177 1 2538.0000 1011.3750 150.95%
2554.49/2566.71 c 2567 2231 1181 1 2538.0000 1011.3750 150.95%
2559.47/2571.79 c 2572 2236 1186 1 2538.0000 1011.3750 150.95%
2565.05/2577.30 c 2577 2245 1195 1 2538.0000 1011.3750 150.95%
2571.14/2583.49 c 2584 2253 1203 1 2538.0000 1011.3750 150.95%
2576.82/2589.19 c 2589 2260 1210 1 2538.0000 1011.3750 150.95%
2668.47/2681.06 c 2681 2264 1214 1 2538.0000 1011.3750 150.95%
2674.05/2686.60 c 2687 2275 1225 1 2538.0000 1011.3750 150.95%
2679.93/2692.54 c 2693 2283 1233 1 2538.0000 1011.3750 150.95%
2690.51/2703.13 c 2703 2291 1241 1 2538.0000 1011.6250 150.88%
2710.84/2723.55 c 2724 2295 1245 1 2538.0000 1011.6250 150.88%
2718.82/2731.52 c 2732 2297 1247 1 2538.0000 1011.6250 150.88%
2724.91/2737.62 c 2738 2298 1248 1 2538.0000 1011.6250 150.88%
2732.68/2745.40 c 2745 2301 1251 1 2538.0000 1011.6250 150.88%
2740.37/2753.12 c 2753 2303 1253 1 2538.0000 1011.6250 150.88%
2748.24/2761.06 c 2761 2307 1257 1 2538.0000 1011.6250 150.88%
2754.12/2766.91 c 2767 2309 1259 1 2538.0000 1011.6250 150.88%
2764.69/2777.55 c 2778 2313 1263 1 2538.0000 1011.6250 150.88%
2774.96/2787.80 c 2788 2321 1271 1 2538.0000 1011.8750 150.82%
2780.25/2793.19 c 2793 2325 1275 1 2538.0000 1011.8750 150.82%
2786.72/2799.64 c 2800 2331 1281 1 2538.0000 1011.8750 150.82%
2793.11/2806.04 c 2806 2335 1285 1 2538.0000 1011.8750 150.82%
2798.59/2811.52 c 2812 2343 1293 1 2538.0000 1011.8750 150.82%
2806.66/2819.68 c 2820 2351 1301 1 2538.0000 1012.1250 150.76%
2812.45/2825.43 c 2825 2355 1305 1 2538.0000 1012.1250 150.76%
2818.24/2831.29 c 2831 2368 1318 1 2538.0000 1012.1250 150.76%
2823.92/2836.97 c 2837 2373 1323 1 2538.0000 1012.1250 150.76%
2835.29/2848.32 c 2848 2381 1331 1 2538.0000 1012.1250 150.76%
2851.84/2864.93 c 2865 2385 1335 1 2538.0000 1012.1250 150.76%
2861.31/2874.42 c 2874 2391 1341 1 2538.0000 1012.1250 150.76%
2868.89/2882.00 c 2882 2399 1349 1 2538.0000 1012.1250 150.76%
2876.36/2889.59 c 2890 2401 1351 1 2538.0000 1012.8750 150.57%
2881.65/2894.82 c 2895 2409 1359 1 2538.0000 1012.8750 150.57%
2887.63/2900.85 c 2901 2412 1362 1 2538.0000 1012.8750 150.57%
2893.02/2906.27 c 2906 2418 1368 1 2538.0000 1012.8750 150.57%
2900.90/2914.14 c 2914 2424 1374 1 2538.0000 1012.8750 150.57%
2907.38/2920.62 c 2921 2431 1381 1 2538.0000 1012.8750 150.57%
2920.15/2933.45 c 2933 2432 1382 1 2538.0000 1012.8750 150.57%
2925.73/2939.01 c 2939 2440 1390 1 2538.0000 1012.8750 150.57%
2933.51/2946.88 c 2947 2441 1391 1 2538.0000 1012.8750 150.57%
2941.98/2955.30 c 2955 2448 1398 1 2538.0000 1012.8750 150.57%
2949.46/2962.84 c 2963 2456 1406 1 2538.0000 1012.8750 150.57%
2954.65/2968.06 c 2968 2462 1412 1 2538.0000 1012.8750 150.57%
2961.23/2974.63 c 2975 2467 1417 1 2538.0000 1012.8750 150.57%
2969.80/2983.22 c 2983 2480 1430 1 2538.0000 1012.8750 150.57%
2976.88/2990.35 c 2990 2481 1431 1 2538.0000 1012.8750 150.57%
2991.24/3004.74 c 3005 2485 1435 1 2538.0000 1012.8750 150.57%
3001.02/3014.50 c 3015 2488 1438 1 2538.0000 1012.8750 150.57%
3008.89/3022.49 c 3022 2495 1445 1 2538.0000 1012.8750 150.57%
3014.68/3028.26 c 3028 2498 1448 1 2538.0000 1012.8750 150.57%
3021.47/3035.06 c 3035 2506 1456 1 2538.0000 1012.8750 150.57%
3027.35/3040.92 c 3041 2513 1463 1 2538.0000 1012.8750 150.57%
3038.02/3051.62 c 3052 2521 1471 1 2538.0000 1013.3750 150.45%
3044.70/3058.34 c 3058 2529 1479 1 2538.0000 1013.3750 150.45%
3057.96/3071.66 c 3072 2538 1488 1 2538.0000 1013.3750 150.45%
3064.84/3078.55 c 3079 2544 1494 1 2538.0000 1013.3750 150.45%
3070.02/3083.73 c 3084 2552 1502 1 2538.0000 1013.3750 150.45%
3076.00/3089.74 c 3090 2556 1506 1 2538.0000 1013.3750 150.45%
3084.08/3097.87 c 3098 2561 1511 1 2538.0000 1014.3750 150.20%
3095.27/3109.08 c 3109 2565 1515 1 2538.0000 1014.3750 150.20%
3102.44/3116.22 c 3116 2569 1519 1 2538.0000 1014.3750 150.20%
3109.02/3122.89 c 3123 2577 1527 1 2538.0000 1014.3750 150.20%
3114.91/3128.70 c 3129 2585 1535 1 2538.0000 1014.3750 150.20%
3122.19/3136.00 c 3136 2593 1543 1 2538.0000 1014.3750 150.20%
3135.05/3148.93 c 3149 2600 1550 1 2538.0000 1014.3750 150.20%
3142.53/3156.47 c 3156 2601 1551 1 2538.0000 1014.8750 150.08%
3148.91/3162.86 c 3163 2608 1558 1 2538.0000 1014.8750 150.08%
3155.19/3169.10 c 3169 2612 1562 1 2538.0000 1014.8750 150.08%
3161.67/3175.67 c 3176 2619 1569 1 2538.0000 1014.8750 150.08%
3170.45/3184.49 c 3184 2624 1574 1 2538.0000 1014.8750 150.08%
3176.93/3190.97 c 3191 2632 1582 1 2538.0000 1014.8750 150.08%
3182.91/3196.98 c 3197 2638 1588 1 2538.0000 1014.8750 150.08%
3188.10/3202.15 c 3202 2640 1590 1 2538.0000 1014.8750 150.08%
3194.58/3208.65 c 3209 2641 1591 1 2538.0000 1015.7500 149.86%
3207.85/3221.97 c 3222 2645 1595 1 2538.0000 1015.7500 149.86%
3216.03/3230.15 c 3230 2649 1599 1 2538.0000 1015.7500 149.86%
3224.80/3238.97 c 3239 2657 1607 1 2538.0000 1015.7500 149.86%
3233.77/3247.94 c 3248 2664 1614 1 2538.0000 1015.7500 149.86%
3241.25/3255.42 c 3255 2669 1619 1 2538.0000 1015.7500 149.86%
3248.23/3262.47 c 3262 2673 1623 1 2538.0000 1015.7500 149.86%
3257.01/3271.28 c 3271 2681 1631 1 2538.0000 1021.8750 148.37%
3273.46/3287.74 c 3288 2685 1635 1 2538.0000 1021.8750 148.37%
3279.35/3293.65 c 3294 2689 1639 1 2538.0000 1021.8750 148.37%
3288.12/3302.40 c 3302 2697 1647 1 2538.0000 1021.8750 148.37%
3296.10/3310.47 c 3310 2704 1654 1 2538.0000 1021.8750 148.37%
3307.67/3322.08 c 3322 2712 1662 1 2538.0000 1021.8750 148.37%
3313.75/3328.15 c 3328 2720 1670 1 2538.0000 1021.8750 148.37%
3320.43/3334.89 c 3335 2721 1671 1 2538.0000 1021.8750 148.37%
3327.52/3341.97 c 3342 2729 1679 1 2538.0000 1021.8750 148.37%
3334.30/3348.73 c 3349 2737 1687 1 2538.0000 1021.8750 148.37%
3341.38/3355.88 c 3356 2745 1695 1 2538.0000 1021.8750 148.37%
3348.46/3362.91 c 3363 2753 1703 1 2538.0000 1021.8750 148.37%
3353.95/3368.45 c 3368 2754 1704 1 2538.0000 1021.8750 148.37%
3409.59/3424.25 c 3424 2760 1710 1 2538.0000 1021.8750 148.37%
3417.37/3432.05 c 3432 2761 1711 1 2538.0000 1022.1250 148.31%
3430.34/3445.08 c 3445 2764 1714 1 2538.0000 1022.1250 148.31%
3438.71/3453.46 c 3453 2769 1719 1 2538.0000 1022.1250 148.31%
3445.09/3459.88 c 3460 2772 1722 1 2538.0000 1022.1250 148.31%
3455.57/3470.31 c 3470 2777 1727 1 2538.0000 1022.1250 148.31%
3465.63/3480.44 c 3480 2778 1728 1 2538.0000 1022.1250 148.31%
3470.72/3485.54 c 3486 2784 1734 1 2538.0000 1022.1250 148.31%
3477.10/3491.99 c 3492 2785 1735 1 2538.0000 1022.1250 148.31%
3485.68/3500.51 c 3501 2793 1743 1 2538.0000 1022.1250 148.31%
3495.27/3510.16 c 3510 2800 1750 1 2538.0000 1022.1250 148.31%
3502.44/3517.33 c 3517 2801 1751 1 2538.0000 1022.1250 148.31%
3524.48/3539.40 c 3539 2804 1754 1 2538.0000 1022.1250 148.31%
3536.34/3551.30 c 3551 2809 1759 1 2538.0000 1022.1250 148.31%
3543.14/3558.18 c 3558 2815 1765 1 2538.0000 1022.1250 148.31%
3552.51/3567.59 c 3568 2817 1767 1 2538.0000 1022.1250 148.31%
3559.69/3574.75 c 3575 2824 1774 1 2538.0000 1022.1250 148.31%
3566.17/3581.28 c 3581 2825 1775 1 2538.0000 1022.1250 148.31%
3573.15/3588.23 c 3588 2832 1782 1 2538.0000 1022.1250 148.31%
3578.73/3593.89 c 3594 2833 1783 1 2538.0000 1022.1250 148.31%
3584.92/3600.00 c 3600 2836 1786 0 2538.0000 1022.1250 148.31%
3585.02/3600.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.02/3600.10 c Total Time : 3600.11
3585.02/3600.10 c solving : 3600.11
3585.02/3600.10 c presolving : 85.20 (included in solving)
3585.02/3600.10 c B&B Tree :
3585.02/3600.10 c nodes (total) : 1
3585.02/3600.10 c Solution :
3585.02/3600.10 c Solutions found : 9
3585.02/3600.10 c Primal Bound : +2.53800000000000e+03
3585.02/3600.10 c Dual Bound : +1.02212500000000e+03
3585.02/3600.10 c Gap : 148.30622 %
3585.02/3600.10 c * Warning: final gap: 1.48306e+00 is greater than SCIPepsilon: 1.00000e-09
3585.02/3600.11 o 2538
3585.02/3600.11 s SATISFIABLE
3585.02/3600.11 v -x900 x899 -x898 x897 -x896 x895 -x894 x893 x892 -x891 -x890 x889 x888 -x887 -x886 x885 -x884 x883 x882 -x881 -x880 x879 -x878
3585.02/3600.11 v x877 -x876 x875 x874 -x873 x872 -x871 -x870 x869 -x868 x867 -x866 x865 x864 -x863 -x862 x861 x860 -x859 x858 -x857 -x856 x855
3585.02/3600.11 v x854 -x853 x852 -x851 -x850 x849 x848 -x847 x846 -x845 x844 -x843 -x842 x841 -x840 x839 -x838 x837 x836 -x835 -x834 x833 -x832
3585.02/3600.11 v x831 -x830 x829 x828 -x827 x826 -x825 x824 -x823 x822 -x821 x820 -x819 x818 -x817 -x816 x815 -x814 x813 -x812 x811 x810 -x809
3585.02/3600.11 v x808 -x807 -x806 x805 -x804 x803 -x802 x801 x800 -x799 -x798 x797 x796 -x795 x794 -x793 -x792 x791 x790 -x789 x788 -x787
3585.02/3600.11 v x786 -x785 x784 -x783 x782 -x781 -x780 x779 x778 -x777 x776 -x775 -x774 x773 -x772 x771 x770 -x769 -x768 x767 -x766 x765 x764
3585.02/3600.11 v -x763 x762 -x761 x760 -x759 -x758 x757 -x756 x755 -x754 x753 x752 -x751 -x750 x749 -x748 x747 -x746 x745 x744 -x743 -x742 x741
3585.02/3600.11 v x740 -x739 -x738 x737 x736 -x735 -x734 x733 -x732 x731 -x730 x729 -x728 x727 -x726 x725 -x724 x723 -x722 x721 x720 -x719 x718
3585.02/3600.11 v -x717 -x716 x715 x714 -x713 x712 -x711 x710 -x709 x708 -x707 -x706 x705 -x704 x703 x702 -x701 -x700 x699 -x698 x697 -x696
3585.02/3600.11 v x695 -x694 x693 x692 -x691 x690 -x689 x688 -x687 x686 -x685 x684 -x683 -x682 x681 x680 -x679 -x678 x677 x676 -x675 -x674 x673
3585.02/3600.11 v x672 -x671 x670 -x669 -x668 x667 x666 -x665 x664 -x663 -x662 x661 -x660 x659 x658 -x657 x656 -x655 x654 -x653 x652 -x651 x650
3585.02/3600.11 v -x649 x648 -x647 -x646 x645 x644 -x643 x642 -x641 -x640 x639 x638 -x637 x636 -x635 x634 -x633 x632 -x631 -x630 x629 x628 -x627
3585.02/3600.11 v -x626 x625 x624 -x623 -x622 x621 -x620 x619 -x618 x617 -x616 x615 -x614 x613 -x612 x611 x610 -x609 -x608 x607 -x606 x605
3585.02/3600.11 v -x604 x603 x602 -x601 x600 -x599 x598 -x597 -x596 x595 -x594 x593 x592 -x591 x590 -x589 -x588 x587 x586 -x585 x584 -x583 -x582
3585.02/3600.11 v x581 -x580 x579 x578 -x577 x576 -x575 -x574 x573 -x572 x571 -x570 x569 x568 -x567 -x566 x565 -x564 x563 -x562 x561 -x560 x559
3585.02/3600.11 v -x558 x557 x556 -x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 -x546 x545 -x544 x543 x542 -x541 x540 -x539 -x538 x537
3585.02/3600.11 v x536 -x535 x534 -x533 -x532 x531 -x530 x529 x528 -x527 -x526 x525 x524 -x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514
3585.02/3600.11 v -x513 x512 -x511 -x510 x509 x508 -x507 -x506 x505 x504 -x503 -x502 x501 x500 -x499 -x498 x497 -x496 x495 x494 -x493 x492 -x491
3585.02/3600.11 v -x490 x489 -x488 x487 -x486 x485 x484 -x483 -x482 x481 -x480 x479 x478 -x477 x476 -x475 x474 -x473 -x472 x471 -x470 x469 x468
3585.02/3600.11 v -x467 -x466 x465 x464 -x463 -x462 x461 -x460 x459 -x458 x457 -x456 x455 -x454 x453 x452 -x451 x450 -x449 -x448 x447 -x446
3585.02/3600.11 v x445 -x444 x443 -x442 x441 x440 -x439 -x438 x437 -x436 x435 -x434 x433 -x432 x431 x430 -x429 x428 -x427 -x426 x425 x424 -x423
3585.02/3600.11 v x422 -x421 x420 -x419 x418 -x417 -x416 x415 -x414 x413 x412 -x411 x410 -x409 -x408 x407 x406 -x405 x404 -x403 -x402 x401 -x400
3585.02/3600.11 v x399 -x398 x397 x396 -x395 x394 -x393 x392 -x391 -x390 x389 -x388 x387 x386 -x385 -x384 x383 -x382 x381 -x380 x379 x378 -x377
3585.02/3600.11 v x376 -x375 -x374 x373 x372 -x371 -x370 x369 x368 -x367 -x366 x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 -x356 x355
3585.02/3600.11 v -x354 x353 -x352 x351 -x350 x349 x348 -x347 -x346 x345 -x344 x343 -x342 x341 x340 -x339 -x338 x337 -x336 x335 -x334 x333 x332
3585.02/3600.11 v -x331 -x330 x329 -x328 x327 x326 -x325 x324 -x323 -x322 x321 x320 -x319 x318 -x317 -x316 x315 -x314 x313 -x312 x311 x310 -x309
3585.02/3600.11 v -x308 x307 x306 -x305 x304 -x303 -x302 x301 x300 -x299 x298 -x297 x296 -x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287
3585.02/3600.11 v x286 -x285 x284 -x283 x282 -x281 -x280 x279 -x278 x277 x276 -x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 x264
3585.02/3600.11 v -x263 x262 -x261 -x260 x259 x258 -x257 -x256 x255 x254 -x253 x252 -x251 -x250 x249 x248 -x247 -x246 x245 x244 -x243 x242 -x241
3585.02/3600.11 v -x240 x239 x238 -x237 x236 -x235 -x234 x233 x232 -x231 -x230 x229 x228 -x227 -x226 x225 x224 -x223 -x222 x221 -x220 x219 x218
3585.02/3600.11 v -x217 x216 -x215 -x214 x213 x212 -x211 x210 -x209 -x208 x207 -x206 x205 x204 -x203 x202 -x201 -x200 x199 -x198 x197 -x196
3585.02/3600.11 v x195 -x194 x193 x192 -x191 -x190 x189 -x188 x187 -x186 x185 x184 -x183 x182 -x181 -x180 x179 -x178 x177 -x176 x175 x174 -x173
3585.02/3600.17 v x172 -x171 x170 -x169 x168 -x167 -x166 x165 x164 -x163 -x162 x161 -x160 x159 -x158 x157 x156 -x155 -x154 x153 x152 -x151 x150
3585.02/3600.17 v -x149 x148 -x147 -x146 x145 -x144 x143 -x142 x141 x140 -x139 -x138 x137 x136 -x135 -x134 x133 x132 -x131 x130 -x129 x128 -x127
3585.02/3600.17 v x126 -x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 x116 -x115 -x114 x113 x112 -x111 -x110 x109 x108 -x107 -x106 x105
3585.02/3600.17 v -x104 x103 x102 -x101 -x100 x99 x98 -x97 -x96 x95 x94 -x93 -x92 x91 x90 -x89 x88 -x87 -x86 x85 x84 -x83 -x82 x81 x80 -x79 -x78
3585.02/3600.17 v x77 -x76 x75 x74 -x73 x72 -x71 -x70 x69 x68 -x67 -x66 x65 x64 -x63 -x62 x61 -x60 x59 x58 -x57 -x56 x55 -x54 x53 -x52 x51 -x50
3585.02/3600.17 v x49 x48 -x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 -x30 x29 -x28 x27 -x26 x25 x24 -x23
3585.02/3600.17 v x22 -x21 -x20 x19 x18 -x17 x16 -x15 -x14 x13 x12 -x11 x10 -x9 -x8 x7 x6 -x5 x4 -x3 x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60226 MiB free)
memory of node 1: 64473 MiB (56595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426852-1720908176/watcher-4426852-1720908176 -o /tmp/evaluation-result-4426852-1720908176/solver-4426852-1720908176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720905583-723469 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426852-1720908176.wbo -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=727620, runsolver pid=727617
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.13 4.16 4.10 5/263 727621
/proc/meminfo: memFree=119565452/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=84660 memory=72776 CPUtime=0.1 cores=0,2
/proc/727620/stat : 727620 (fscip) R 727617 727620 721052 0 -1 4194304 15907 0 0 0 8 2 0 0 20 0 1 0 142982535 86691840 18194 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 21165 18194 2590 3032 0 17565 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84660 KiB
Current children cumulated memory: 72776 KiB
[startup+0.20577 s]*
/proc/loadavg: 4.13 4.16 4.10 5/263 727621
/proc/meminfo: memFree=119533868/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=115532 memory=101672 CPUtime=0.2 cores=0,2
/proc/727620/stat : 727620 (fscip) R 727617 727620 721052 0 -1 4194304 23121 0 0 0 17 3 0 0 20 0 1 0 142982535 118304768 25418 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 28883 25418 2622 3032 0 25283 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115532 KiB
Current children cumulated memory: 101672 KiB
[startup+0.305831 s]*
/proc/loadavg: 4.13 4.16 4.10 5/263 727621
/proc/meminfo: memFree=119531516/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=118164 memory=103848 CPUtime=0.3 cores=0,2
/proc/727620/stat : 727620 (fscip) R 727617 727620 721052 0 -1 4194304 23643 0 0 0 27 3 0 0 20 0 1 0 142982535 120999936 25962 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 29541 25962 2654 3032 0 25941 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118164 KiB
Current children cumulated memory: 103848 KiB
[startup+0.700239 s]
/proc/loadavg: 4.13 4.16 4.10 5/263 727621
/proc/meminfo: memFree=119531412/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=118164 memory=103848 CPUtime=0.69 cores=0,2
/proc/727620/stat : 727620 (fscip) R 727617 727620 721052 0 -1 4194304 23643 0 0 0 66 3 0 0 20 0 1 0 142982535 120999936 25962 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 29541 25962 2654 3032 0 25941 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 118164 KiB
Current children cumulated memory: 103848 KiB
[startup+1.50023 s]
/proc/loadavg: 4.12 4.16 4.10 5/263 727621
/proc/meminfo: memFree=119531420/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=118164 memory=104112 CPUtime=1.48 cores=0,2
/proc/727620/stat : 727620 (fscip) R 727617 727620 721052 0 -1 4194304 23675 0 0 0 145 3 0 0 20 0 1 0 142982535 120999936 26028 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 29541 26028 2654 3032 0 25941 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118164 KiB
Current children cumulated memory: 104112 KiB
[startup+3.10589 s]
/proc/loadavg: 4.12 4.16 4.10 5/263 727621
/proc/meminfo: memFree=119530812/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=118548 memory=104376 CPUtime=3.08 cores=0,2
/proc/727620/stat : 727620 (fscip) R 727617 727620 721052 0 -1 4194304 23739 0 0 0 305 3 0 0 20 0 1 0 142982535 121393152 26094 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 29637 26094 2654 3032 0 26037 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 118548 KiB
Current children cumulated memory: 104376 KiB
[startup+6.30022 s]
/proc/loadavg: 4.11 4.15 4.10 5/263 727622
/proc/meminfo: memFree=119530116/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=119064 memory=104904 CPUtime=6.26 cores=0,2
/proc/727620/stat : 727620 (fscip) R 727617 727620 721052 0 -1 4194304 23867 0 0 0 623 3 0 0 20 0 1 0 142982535 121921536 26226 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 29766 26226 2654 3032 0 26166 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 119064 KiB
Current children cumulated memory: 104904 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.15 4.10 5/261 727623
/proc/meminfo: memFree=119528956/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=121120 memory=106752 CPUtime=12.64 cores=0,2
/proc/727620/stat : 727620 (fscip) R 727617 727620 721052 0 -1 4194304 24379 0 0 0 1261 3 0 0 20 0 1 0 142982535 124026880 26688 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 30280 26688 2654 3032 0 26680 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 121120 KiB
Current children cumulated memory: 106752 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.14 4.10 6/261 727625
/proc/meminfo: memFree=119519864/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=123176 memory=108864 CPUtime=25.39 cores=0,2
/proc/727620/stat : 727620 (fscip) R 727617 727620 721052 0 -1 4194304 24891 0 0 0 2536 3 0 0 20 0 1 0 142982535 126132224 27216 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 30794 27216 2654 3032 0 27194 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 123176 KiB
Current children cumulated memory: 108864 KiB
[startup+51.1059 s]
/proc/loadavg: 4.11 4.14 4.10 6/261 727629
/proc/meminfo: memFree=119508544/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=126260 memory=112032 CPUtime=50.89 cores=0,2
/proc/727620/stat : 727620 (fscip) R 727617 727620 721052 0 -1 4194304 25659 0 0 0 5086 3 0 0 20 0 1 0 142982535 129290240 28008 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 31565 28008 2654 3032 0 27965 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 126260 KiB
Current children cumulated memory: 112032 KiB
[startup+102.301 s]
/proc/loadavg: 4.22 4.17 4.11 5/263 727641
/proc/meminfo: memFree=119327656/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=429216 memory=328292 CPUtime=101.8 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 145097 0 0 0 10165 15 0 0 20 0 3 0 142982535 439517184 82073 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 107304 82073 2974 3032 0 94403 0
[pid=727620/tid=727637] ppid=727617 vsize=429216 memory=269076 CPUtime=16.81 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 109080 0 0 0 1671 10 0 0 20 0 3 0 142991063 439517184 82073 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=429216 memory=11648 CPUtime=0 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 142991069 439517184 82073 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 429216 KiB
Current children cumulated memory: 328292 KiB
[startup+162.301 s]
/proc/loadavg: 4.19 4.17 4.11 5/261 727652
/proc/meminfo: memFree=119254636/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=430912 memory=338516 CPUtime=161.18 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 229404 0 0 0 16096 22 0 0 20 0 3 0 142982535 441253888 84629 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 107728 84629 2990 3032 0 96738 0
[pid=727620/tid=727637] ppid=727617 vsize=430912 memory=15864 CPUtime=76.19 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 193244 0 0 0 7603 16 0 0 20 0 3 0 142991063 441253888 84629 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=430912 memory=330596 CPUtime=0 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 142991069 441253888 84629 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 161.18 s
Current children cumulated vsize: 430912 KiB
Current children cumulated memory: 338516 KiB
[startup+222.301 s]
/proc/loadavg: 4.12 4.15 4.10 5/261 727662
/proc/meminfo: memFree=119229228/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=430912 memory=355128 CPUtime=220.58 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 295056 0 0 0 22032 26 0 0 20 0 3 0 142982535 441253888 88782 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 107728 88782 2990 3032 0 102469 0
[pid=727620/tid=727637] ppid=727617 vsize=430912 memory=11648 CPUtime=135.6 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 258800 0 0 0 13539 21 0 0 20 0 3 0 142991063 441253888 88782 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=430912 memory=355128 CPUtime=0 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 142991069 441253888 88782 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 220.58 s
Current children cumulated vsize: 430912 KiB
Current children cumulated memory: 355128 KiB
[startup+282.301 s]
/proc/loadavg: 4.24 4.17 4.11 5/263 727687
/proc/meminfo: memFree=119217188/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=430912 memory=355460 CPUtime=279.98 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 330650 0 0 0 27969 29 0 0 20 0 3 0 142982535 441253888 88865 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 107728 88865 2990 3032 0 102469 0
[pid=727620/tid=727637] ppid=727617 vsize=430912 memory=26496 CPUtime=194.98 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 292545 0 0 0 19475 23 0 0 20 0 3 0 142991063 441253888 88865 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=430912 memory=355460 CPUtime=0 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 142991069 441253888 88865 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 279.98 s
Current children cumulated vsize: 430912 KiB
Current children cumulated memory: 355460 KiB
[startup+342.301 s]
/proc/loadavg: 4.15 4.15 4.10 5/265 727923
/proc/meminfo: memFree=119199668/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=496448 memory=364296 CPUtime=339.36 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 359593 0 0 0 33904 32 0 0 20 0 3 0 142982535 508362752 91074 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 124112 91074 2990 3032 0 105418 0
[pid=727620/tid=727637] ppid=727617 vsize=496448 memory=364296 CPUtime=254.36 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 321454 0 0 0 25410 26 0 0 20 0 3 0 142991063 508362752 91074 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=496448 memory=364296 CPUtime=0 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 142991069 508362752 91074 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 339.36 s
################
# More data... #
################
/proc/727620/statm: 235496 204774 2990 3032 0 216215 0
[pid=727620/tid=727637] ppid=727617 vsize=941984 memory=12952 CPUtime=3362.48 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1606795 0 0 0 336076 172 0 0 20 0 3 0 142991063 964591616 204774 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=941984 memory=819092 CPUtime=0.02 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 301 0 0 0 0 2 0 0 20 0 3 0 142991069 964591616 204774 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3447.59 s
Current children cumulated vsize: 941984 KiB
Current children cumulated memory: 819096 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.12 1.43 2/241 730083
/proc/meminfo: memFree=127839892/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=941984 memory=821820 CPUtime=3507.43 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 1656890 0 0 0 350559 184 0 0 20 0 3 0 142982535 964591616 205455 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 235496 205455 2990 3032 0 218504 0
[pid=727620/tid=727637] ppid=727617 vsize=941984 memory=819092 CPUtime=3422.32 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1612204 0 0 0 342059 173 0 0 20 0 3 0 142991063 964591616 205455 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=941984 memory=821748 CPUtime=0.02 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 305 0 0 0 0 2 0 0 20 0 3 0 142991069 964591616 205455 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3507.43 s
Current children cumulated vsize: 941984 KiB
Current children cumulated memory: 821820 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.11 1.41 2/241 730093
/proc/meminfo: memFree=127812724/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=941984 memory=848288 CPUtime=3567.27 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 1663777 0 0 0 356542 185 0 0 20 0 3 0 142982535 964591616 212072 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 235496 212072 2990 3032 0 222542 0
[pid=727620/tid=727637] ppid=727617 vsize=941984 memory=847640 CPUtime=3482.16 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1619080 0 0 0 348042 174 0 0 20 0 3 0 142991063 964591616 212072 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=941984 memory=848288 CPUtime=0.04 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 306 0 0 0 1 3 0 0 20 0 3 0 142991069 964591616 212072 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3567.27 s
Current children cumulated vsize: 941984 KiB
Current children cumulated memory: 848288 KiB
[startup+3600.17 s]
# the end of solver process 727620 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.24 s, system=1.86187 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.10 1.11 1.41 2/241 730093
/proc/meminfo: memFree=127812724/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=941984 memory=848288 CPUtime=3568.96 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 1664031 0 0 0 356711 185 0 0 20 0 3 0 142982535 964591616 212072 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 235496 212072 2990 3032 0 222542 0
[pid=727620/tid=727637] ppid=727617 vsize=941984 memory=2772 CPUtime=3483.86 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1619334 0 0 0 348212 174 0 0 20 0 3 0 142991063 964591616 212072 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=941984 memory=4776 CPUtime=0.04 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 306 0 0 0 1 3 0 0 20 0 3 0 142991069 964591616 212072 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3568.96 s
Current children cumulated vsize: 941984 KiB
Current children cumulated memory: 848288 KiB
[startup+3590.4 s]
/proc/loadavg: 1.09 1.11 1.41 2/241 730095
/proc/meminfo: memFree=127812696/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=941984 memory=848288 CPUtime=3575.34 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 1664341 0 0 0 357349 185 0 0 20 0 3 0 142982535 964591616 212072 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 235496 212072 2990 3032 0 222542 0
[pid=727620/tid=727637] ppid=727617 vsize=941984 memory=37048 CPUtime=3490.24 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1619632 0 0 0 348850 174 0 0 20 0 3 0 142991063 964591616 212072 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=941984 memory=12952 CPUtime=0.04 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 309 0 0 0 1 3 0 0 20 0 3 0 142991069 964591616 212072 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3575.34 s
Current children cumulated vsize: 941984 KiB
Current children cumulated memory: 848288 KiB
[startup+3596.8 s]
/proc/loadavg: 1.08 1.11 1.40 2/241 730095
/proc/meminfo: memFree=127805748/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=941984 memory=855220 CPUtime=3581.73 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 1664751 0 0 0 357988 185 0 0 20 0 3 0 142982535 964591616 213805 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 235496 213805 2990 3032 0 222542 0
[pid=727620/tid=727637] ppid=727617 vsize=941984 memory=-7738161242256924800 CPUtime=3496.62 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1620042 0 0 0 349488 174 0 0 20 0 3 0 142991063 964591616 213805 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=941984 memory=11648 CPUtime=0.04 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 309 0 0 0 1 3 0 0 20 0 3 0 142991069 964591616 213805 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3581.73 s
Current children cumulated vsize: 941984 KiB
Current children cumulated memory: 855220 KiB
[startup+3598.4 s]
/proc/loadavg: 1.16 1.12 1.41 2/241 730097
/proc/meminfo: memFree=127805448/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=941984 memory=855220 CPUtime=3583.32 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 1664781 0 0 0 358147 185 0 0 20 0 3 0 142982535 964591616 213805 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 235496 213805 2990 3032 0 222557 0
[pid=727620/tid=727637] ppid=727617 vsize=941984 memory=32224 CPUtime=3498.21 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1620072 0 0 0 349647 174 0 0 20 0 3 0 142991063 964591616 213805 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=941984 memory=855220 CPUtime=0.04 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 309 0 0 0 1 3 0 0 20 0 3 0 142991069 964591616 213805 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3583.32 s
Current children cumulated vsize: 941984 KiB
Current children cumulated memory: 855220 KiB
[startup+3599.2 s]
/proc/loadavg: 1.16 1.12 1.41 2/241 730097
/proc/meminfo: memFree=127805448/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=941984 memory=855232 CPUtime=3584.12 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 1664871 0 0 0 358227 185 0 0 20 0 3 0 142982535 964591616 213808 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 235496 213808 2990 3032 0 222557 0
[pid=727620/tid=727637] ppid=727617 vsize=941984 memory=15864 CPUtime=3499.01 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1620162 0 0 0 349727 174 0 0 20 0 3 0 142991063 964591616 213808 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=941984 memory=2280 CPUtime=0.04 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 309 0 0 0 1 3 0 0 20 0 3 0 142991069 964591616 213808 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3584.12 s
Current children cumulated vsize: 941984 KiB
Current children cumulated memory: 855232 KiB
[startup+3599.6 s]
/proc/loadavg: 1.16 1.12 1.41 2/241 730097
/proc/meminfo: memFree=127805448/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=941984 memory=855232 CPUtime=3584.52 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 1664890 0 0 0 358267 185 0 0 20 0 3 0 142982535 964591616 213808 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 235496 213808 2990 3032 0 222557 0
[pid=727620/tid=727637] ppid=727617 vsize=941984 memory=6720667631927901287 CPUtime=3499.41 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1620181 0 0 0 349767 174 0 0 20 0 3 0 142991063 964591616 213808 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=941984 memory=12952 CPUtime=0.04 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 309 0 0 0 1 3 0 0 20 0 3 0 142991069 964591616 213808 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3584.52 s
Current children cumulated vsize: 941984 KiB
Current children cumulated memory: 855232 KiB
[startup+3600 s]*
/proc/loadavg: 1.16 1.12 1.41 2/241 730097
/proc/meminfo: memFree=127805476/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=941984 memory=855232 CPUtime=3584.92 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 1664892 0 0 0 358307 185 0 0 20 0 3 0 142982535 964591616 213808 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 235496 213808 2990 3032 0 222557 0
[pid=727620/tid=727637] ppid=727617 vsize=941984 memory=6720667631927901287 CPUtime=3499.81 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1620183 0 0 0 349807 174 0 0 20 0 3 0 142991063 964591616 213808 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=941984 memory=-7738161242256924800 CPUtime=0.04 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 309 0 0 0 1 3 0 0 20 0 3 0 142991069 964591616 213808 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3584.92 s
Current children cumulated vsize: 941984 KiB
Current children cumulated memory: 855232 KiB
[startup+3600.11 s]
/proc/loadavg: 1.16 1.12 1.41 2/241 730097
/proc/meminfo: memFree=127805476/131524600 swapFree=131071996/131071996
[pid=727620] ppid=727617 vsize=893032 memory=806084 CPUtime=3585.02 cores=0,2
/proc/727620/stat : 727620 (fscip) S 727617 727620 721052 0 -1 1077936128 1666165 0 0 0 358317 185 0 0 20 0 3 0 142982535 914464768 202005 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
/proc/727620/statm: 223258 201521 2990 3032 0 210319 0
[pid=727620/tid=727637] ppid=727617 vsize=890104 memory=848288 CPUtime=3499.91 cores=0,2
/proc/727620/task/727637/stat : 727637 (fscip) R 727617 727620 721052 0 -1 4194368 1621459 0 0 0 349817 174 0 0 20 0 3 0 142991063 911466496 201521 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
[pid=727620/tid=727638] ppid=727617 vsize=890104 memory=11648 CPUtime=0.04 cores=0,2
/proc/727620/task/727638/stat : 727638 (fscip) S 727617 727620 721052 0 -1 1077936192 309 0 0 0 1 3 0 0 20 0 3 0 142991069 911466496 201521 134679101440 4194304 16613245 140729263014432 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56410112 140729263018977 140729263019093 140729263019093 140729263026160 0
Current children cumulated CPU time: 3585.02 s
Current children cumulated vsize: 893032 KiB
Current children cumulated memory: 806084 KiB
Child status: 0
Real time (s): 3600.17
CPU time (s): 3585.1
CPU user time (s): 3583.24
CPU system time (s): 1.86187
CPU usage (%): 99.5813
Max. virtual memory (cumulated for all children) (KiB): 941984
Max. memory (cumulated for all children) (KiB): 855232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.24
system time used= 1.86187
maximum resident set size= 855232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1668119
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= 5882
involuntary context switches= 28138
# summary of solver processes directly reported to runsolver:
# pid: 727620
# total CPU time (s): 3585.1
# total CPU user time (s): 3583.24
# total CPU system time (s): 1.86187
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90114 second user time and 15.3972 second system time
The end
Begin job on nodeC023 at 2024-07-14 00:03:08
IDJOB=4426852
IDBENCH=144115
IDSOLVER=3044
FILE ID=nodeC023/4426852-1720908176
RUNJOBID= nodeC023-1720905583-723469
SLURM_JOB_ID= 7486082
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-le450-5a-2_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426852-1720908176/watcher-4426852-1720908176 -o /tmp/evaluation-result-4426852-1720908176/solver-4426852-1720908176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720905583-723469 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426852-1720908176.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6c085f75a45f8dc628de423430f6f9d1
RANDOM SEED=1890351866
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3644.165
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.449
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.735
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.028
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.598
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.503
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3625.648
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.039
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119625952 kB
MemAvailable: 120819256 kB
Buffers: 337492 kB
Cached: 1685912 kB
SwapCached: 0 kB
Active: 564644 kB
Inactive: 10720048 kB
Active(anon): 1596 kB
Inactive(anon): 9297080 kB
Active(file): 563048 kB
Inactive(file): 1422968 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29148 kB
Writeback: 0 kB
AnonPages: 9261016 kB
Mapped: 136440 kB
Shmem: 37720 kB
KReclaimable: 94220 kB
Slab: 196704 kB
SReclaimable: 94220 kB
SUnreclaim: 102484 kB
KernelStack: 4204 kB
PageTables: 28380 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6048020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 55360 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3862528 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: 189140 kB
DirectMap2M: 15312896 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC023 at 2024-07-14 01:03:09