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.09 c Default LC presolving (default).
0.00/0.10 c ** Before presolving: virtualMemUsedAtLc = 46317568, getVmSize() = 46317568, SCIPgetMemUsed() = 20043273, SCIPgetMemTotal() = 24093393, SCIPgetMemExternEstim() = 12409514
0.00/0.10 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.41/0.50 c ** Estimated virtualMemUsedAtSolver = 37832021, getVmSize() = 67178496, SCIPgetMemUsed() = 23106444, SCIPgetMemTotal() = 42993108, SCIPgetMemExternEstim() = 12409514
0.41/0.50 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.41/0.50 c Original Problem :
0.41/0.50 c Problem name : instance-4450810-1721421598
0.41/0.50 c Variables : 4128 (4128 binary, 0 integer, 0 implicit integer, 0 continuous)
0.41/0.50 c Constraints : 8704
0.41/0.50 c Objective sense : minimize
0.41/0.50 c Presolved Problem :
0.41/0.50 c Variables : 3218 (3218 binary, 0 integer, 0 implicit integer, 0 continuous)
0.41/0.50 c Constraints : 7029
0.41/0.50 c Constraints : Number
0.41/0.50 c and : 32
0.41/0.50 c linear : 1257
0.41/0.50 c logicor : 5740
0.41/0.50 c ** Instance transfer method used: 0
0.51/0.53 c ** ParaScipInstance copy does not increase the number of variables. **
0.51/0.57 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.51/0.57 c Nodes Active
0.51/0.57 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
31.79/31.95 c 32 2 1 1 - 0.0000 -
39.87/40.06 c 40 16 15 1 - 0.0000 -
45.04/45.21 c 45 20 19 1 - 0.0000 -
51.72/51.95 c 52 24 23 1 - 0.0000 -
213.21/213.94 c 214 26 25 1 - 0.0000 -
220.99/221.74 c 222 30 29 1 - 0.0000 -
232.45/233.29 c 233 36 35 1 - 0.0000 -
239.33/240.14 c 240 40 39 1 - 0.0000 -
245.90/246.73 c 247 44 43 1 - 0.0000 -
253.18/254.03 c 254 48 47 1 - 0.0000 -
260.94/261.85 c 262 52 51 1 - 0.0000 -
266.92/267.84 c 268 56 55 1 - 0.0000 -
272.89/273.84 c 274 72 71 1 - 0.0000 -
277.97/278.92 c 279 93 92 1 - 0.0000 -
283.86/284.81 c 285 96 95 1 - 0.0000 -
293.14/294.11 c 294 116 115 1 - 0.0000 -
298.71/299.75 c 300 138 137 1 - 0.0000 -
306.49/307.59 c 308 143 142 1 - 0.0000 -
313.97/315.05 c 315 152 151 1 - 0.0000 -
319.64/320.79 c 321 177 176 1 - 0.0000 -
324.83/325.93 c 326 192 191 1 - 0.0000 -
331.21/332.35 c 332 212 211 1 - 0.0000 -
339.08/340.26 c 340 215 214 1 - 0.0000 -
345.07/346.20 c 346 239 238 1 - 0.0000 -
350.95/352.17 c 352 256 255 1 - 0.0000 -
357.72/358.97 c 359 265 264 1 - 0.0000 -
367.50/368.77 c 369 275 274 1 - 0.0000 -
375.57/376.80 c 377 282 281 1 - 0.0000 -
381.45/382.79 c 383 302 301 1 - 0.0000 -
386.94/388.20 c 388 312 311 1 - 0.0000 -
393.52/394.85 c 395 322 321 1 - 0.0000 -
400.10/401.45 c 401 328 327 1 - 0.0000 -
405.78/407.11 c 407 349 348 1 - 0.0000 -
411.16/412.57 c 413 368 367 1 - 0.0000 -
416.94/418.39 c 418 388 387 1 - 0.0000 -
422.82/424.28 c 424 392 391 1 - 0.0000 -
429.41/430.86 c 431 432 431 1 - 0.0000 -
435.28/436.73 c 437 449 448 1 - 0.0000 -
443.95/445.41 c 445 472 471 1 - 0.0000 -
449.44/450.94 c 451 497 496 1 - 0.0000 -
455.42/456.99 c 457 508 507 1 - 0.0000 -
460.52/462.11 c 462 540 539 1 - 0.0000 -
466.50/468.02 c 468 555 552 1 - 0.0000 -
471.48/473.06 c 473 585 582 1 - 0.0000 -
477.46/479.03 c 479 652 647 1 - 0.0000 -
487.61/489.23 c 489 698 693 1 - 0.0000 -
495.18/496.84 c 497 712 707 1 - 0.0000 -
500.77/502.49 c 502 732 727 1 - 0.0000 -
506.55/508.20 c 508 760 755 1 - 0.0000 -
511.93/513.68 c 514 808 803 1 - 0.0000 -
517.33/519.08 c 519 819 814 1 - 0.0000 -
523.10/524.85 c 525 895 890 1 - 0.0000 -
529.48/531.22 c 531 912 907 1 - 0.0000 -
535.27/537.10 c 537 979 974 1 - 0.0000 -
542.92/544.72 c 545 985 980 1 - 0.0000 -
548.70/550.53 c 551 1014 1009 1 - 0.0000 -
555.49/557.37 c 557 1041 1036 1 - 0.0000 -
561.18/563.03 c 563 1045 1040 1 - 0.0000 -
567.05/568.91 c 569 1055 1050 1 - 0.0000 -
572.14/574.10 c 574 1103 1098 1 - 0.0000 -
577.61/579.60 c 580 1129 1124 1 - 0.0000 -
585.29/587.23 c 587 1162 1155 1 - 0.0000 -
593.56/595.58 c 596 1255 1248 1 - 0.0000 -
601.54/603.54 c 604 1288 1281 1 - 0.0000 -
607.32/609.30 c 609 1304 1297 1 - 0.0000 -
614.11/616.13 c 616 1322 1315 1 - 0.0000 -
622.38/624.47 c 624 1492 1483 1 - 0.0000 -
628.56/630.61 c 631 1565 1554 1 - 0.0000 -
633.64/635.73 c 636 1673 1662 1 - 0.0000 -
640.22/642.39 c 642 1712 1701 1 - 0.0000 -
647.39/649.58 c 650 1784 1773 1 - 0.0000 -
653.37/655.54 c 656 1815 1804 1 - 0.0000 -
658.97/661.18 c 661 1842 1831 1 - 0.0000 -
665.32/667.53 c 668 1886 1871 1 - 0.0000 -
675.69/677.91 c 678 1928 1913 1 - 0.0000 -
682.17/684.43 c 684 1962 1945 1 - 0.0000 -
687.65/689.93 c 690 1983 1966 1 - 0.0000 -
692.64/694.98 c 695 2007 1988 1 - 0.0000 -
698.22/700.56 c 701 2099 2078 1 - 0.0000 -
703.81/706.12 c 706 2135 2114 1 - 0.0000 -
710.47/712.82 c 713 2154 2133 1 - 0.0000 -
715.45/717.83 c 718 2222 2201 1 - 0.0000 -
721.53/723.99 c 724 2248 2223 1 - 0.0000 -
726.91/729.37 c 729 2334 2303 1 - 0.0000 -
735.08/737.53 c 738 2356 2325 1 - 0.0000 -
740.86/743.36 c 743 2505 2472 1 - 0.0000 -
746.55/749.09 c 749 2550 2517 1 - 0.0000 -
752.72/755.28 c 755 2566 2533 1 - 0.0000 -
760.61/763.16 c 763 2582 2549 1 - 0.0000 -
766.38/768.94 c 769 2624 2591 1 - 0.0000 -
772.86/775.43 c 775 2650 2617 1 - 0.0000 -
779.73/782.40 c 782 2686 2651 1 - 0.0000 -
785.71/788.30 c 788 2777 2740 1 - 0.0000 -
791.30/793.93 c 794 2778 2741 1 - 0.0000 -
796.40/799.06 c 799 2814 2777 1 - 0.0000 -
801.67/804.39 c 804 2840 2803 1 - 0.0000 -
806.95/809.69 c 810 2890 2853 1 - 0.0000 -
812.93/815.62 c 816 2948 2909 1 - 0.0000 -
821.11/823.84 c 824 2986 2947 1 - 0.0000 -
826.49/829.20 c 829 3016 2975 1 - 0.0000 -
833.47/836.27 c 836 3065 3022 1 - 0.0000 -
839.05/841.86 c 842 3073 3030 1 - 0.0000 -
844.83/847.60 c 848 3136 3091 1 - 0.0000 -
851.01/853.83 c 854 3142 3097 1 - 0.0000 -
856.30/859.15 c 859 3152 3107 1 - 0.0000 -
862.29/865.13 c 865 3177 3132 1 - 0.0000 -
867.85/870.73 c 871 3210 3165 1 - 0.0000 -
873.83/876.73 c 877 3237 3192 1 - 0.0000 -
879.81/882.73 c 883 3293 3248 1 - 0.0000 -
885.70/888.66 c 889 3317 3272 1 - 0.0000 -
891.38/894.38 c 894 3372 3327 1 - 0.0000 -
898.65/901.64 c 902 3414 3369 1 - 0.0000 -
905.04/908.03 c 908 3432 3383 1 - 0.0000 -
910.21/913.29 c 913 3495 3446 1 - 0.0000 -
917.00/920.04 c 920 3528 3479 1 - 0.0000 -
924.47/927.50 c 928 3536 3487 1 - 0.0000 -
931.64/934.71 c 935 3572 3523 1 - 0.0000 -
937.83/940.92 c 941 3632 3583 1 - 0.0000 -
943.11/946.22 c 946 3679 3630 1 - 0.0000 -
948.50/951.66 c 952 3701 3650 1 - 0.0000 -
954.89/958.10 c 958 3759 3708 1 - 0.0000 -
960.56/963.73 c 964 3762 3711 1 - 0.0000 -
966.54/969.70 c 970 3779 3726 1 - 0.0000 -
972.83/976.05 c 976 3825 3764 1 - 0.0000 -
978.70/981.94 c 982 3858 3797 1 - 0.0000 -
983.89/987.12 c 987 3878 3817 1 - 0.0000 -
990.16/993.46 c 993 3931 3862 1 - 0.0000 -
996.64/999.98 c 1000 3946 3877 1 - 0.0000 -
1004.11/1007.48 c 1007 3976 3905 1 - 0.0000 -
1009.39/1012.71 c 1013 4045 3974 1 - 0.0000 -
1014.79/1018.16 c 1018 4048 3977 1 - 0.0000 -
1020.77/1024.12 c 1024 4077 4004 1 - 0.0000 -
1027.13/1030.51 c 1031 4113 4040 1 - 0.0000 -
1035.90/1039.32 c 1039 4126 4053 1 - 0.0000 -
1041.08/1044.51 c 1045 4148 4075 1 - 0.0000 -
1050.34/1053.84 c 1054 4187 4110 1 - 0.0000 -
1058.21/1061.72 c 1062 4212 4135 1 - 0.0000 -
1064.29/1067.82 c 1068 4241 4164 1 - 0.0000 -
1069.67/1073.26 c 1073 4266 4189 1 - 0.0000 -
1075.65/1079.28 c 1079 4316 4239 1 - 0.0000 -
1218.82/1222.92 c 1223 4324 4245 1 - 0.0000 -
1224.10/1228.22 c 1228 4363 4284 1 - 0.0000 -
1231.57/1235.72 c 1236 4432 4351 1 - 0.0000 -
1237.05/1241.22 c 1241 4469 4386 1 - 0.0000 -
1243.43/1247.69 c 1248 4478 4395 1 - 0.0000 -
1248.51/1252.75 c 1253 4500 4415 1 - 0.0000 -
1256.68/1260.91 c 1261 4524 4439 1 - 0.0000 -
1262.87/1267.16 c 1267 4573 4488 1 - 0.0000 -
1268.33/1272.68 c 1273 4600 4515 1 - 0.0000 -
1273.51/1277.86 c 1278 4637 4552 1 - 0.0000 -
1278.89/1283.22 c 1283 4696 4607 1 - 0.0000 -
1284.87/1289.27 c 1289 4718 4627 1 - 0.0000 -
1290.35/1294.71 c 1295 4763 4670 1 - 0.0000 -
1297.42/1301.89 c 1302 4796 4703 1 - 0.0000 -
1303.10/1307.56 c 1308 4804 4711 1 - 0.0000 -
1310.27/1314.71 c 1315 4874 4779 1 - 0.0000 -
1316.45/1320.96 c 1321 4891 4796 1 - 0.0000 -
1323.02/1327.52 c 1328 4923 4826 1 - 0.0000 -
1329.40/1333.95 c 1334 4957 4858 1 - 0.0000 -
1335.68/1340.21 c 1340 5021 4922 1 - 0.0000 -
1342.66/1347.26 c 1347 5038 4939 1 - 0.0000 -
1353.91/1358.57 c 1359 5098 4999 1 - 0.0000 -
1360.69/1365.32 c 1365 5126 5027 1 - 0.0000 -
1368.85/1373.58 c 1374 5214 5113 1 - 0.0000 -
1373.94/1378.60 c 1379 5231 5130 1 - 0.0000 -
1379.11/1383.81 c 1384 5270 5169 1 - 0.0000 -
1384.31/1389.10 c 1389 5286 5185 1 - 0.0000 -
1395.27/1400.07 c 1400 5318 5217 1 - 0.0000 -
1402.73/1407.54 c 1408 5330 5229 1 - 0.0000 -
1408.50/1413.37 c 1413 5380 5279 1 - 0.0000 -
1415.19/1420.04 c 1420 5394 5293 1 - 0.0000 -
1420.36/1425.26 c 1425 5446 5343 1 - 0.0000 -
1426.73/1431.65 c 1432 5458 5355 1 - 0.0000 -
1432.71/1437.65 c 1438 5544 5441 1 - 0.0000 -
1438.49/1443.43 c 1443 5569 5466 1 - 0.0000 -
1445.17/1450.14 c 1450 5613 5510 1 - 0.0000 -
1450.64/1455.67 c 1456 5618 5515 1 - 0.0000 -
1457.61/1462.61 c 1463 5683 5580 1 - 0.0000 -
1463.69/1468.71 c 1469 5714 5609 1 - 0.0000 -
1469.99/1475.02 c 1475 5737 5632 1 - 0.0000 -
1478.74/1483.81 c 1484 5769 5664 1 - 0.0000 -
1484.32/1489.49 c 1489 5779 5674 1 - 0.0000 -
1490.50/1495.65 c 1496 5829 5722 1 - 0.0000 -
1495.58/1500.79 c 1501 5874 5767 1 - 0.0000 -
1500.87/1506.10 c 1506 5899 5792 1 - 0.0000 -
1507.63/1512.81 c 1513 5949 5836 1 - 0.0000 -
1515.30/1520.50 c 1520 5964 5851 1 - 0.0000 -
1520.58/1525.84 c 1526 5994 5881 1 - 0.0000 -
1526.06/1531.38 c 1531 6019 5906 1 - 0.0000 -
1531.94/1537.28 c 1537 6063 5950 1 - 0.0000 -
1537.52/1542.89 c 1543 6093 5980 1 - 0.0000 -
1543.59/1548.97 c 1549 6114 6001 1 - 0.0000 -
1549.68/1555.08 c 1555 6155 6042 1 - 0.0000 -
1557.24/1562.62 c 1563 6174 6061 1 - 0.0000 -
1567.30/1572.70 c 1573 6214 6101 1 - 0.0000 -
1573.08/1578.56 c 1579 6232 6119 1 - 0.0000 -
1578.26/1583.73 c 1584 6286 6173 1 - 0.0000 -
1583.34/1588.87 c 1589 6301 6188 1 - 0.0000 -
1588.63/1594.19 c 1594 6352 6239 1 - 0.0000 -
1596.19/1601.78 c 1602 6389 6276 1 - 0.0000 -
1602.87/1608.46 c 1608 6429 6316 1 - 0.0000 -
1609.35/1614.98 c 1615 6450 6337 1 - 0.0000 -
1615.63/1621.21 c 1621 6464 6351 1 - 0.0000 -
1621.90/1627.54 c 1628 6494 6381 1 - 0.0000 -
1629.27/1635.00 c 1635 6549 6436 1 - 0.0000 -
1635.25/1640.98 c 1641 6592 6479 1 - 0.0000 -
1644.43/1650.18 c 1650 6609 6496 1 - 0.0000 -
1649.59/1655.33 c 1655 6630 6517 1 - 0.0000 -
1656.38/1662.18 c 1662 6639 6526 1 - 0.0000 -
1661.75/1667.53 c 1668 6686 6571 1 - 0.0000 -
1668.12/1673.97 c 1674 6735 6618 1 - 0.0000 -
1674.60/1680.44 c 1680 6760 6641 1 - 0.0000 -
1680.87/1686.76 c 1687 6805 6686 1 - 0.0000 -
1686.45/1692.30 c 1692 6840 6721 1 - 0.0000 -
1692.44/1698.36 c 1698 6898 6779 1 - 0.0000 -
1698.91/1704.83 c 1705 6940 6821 1 - 0.0000 -
1704.10/1710.10 c 1710 6978 6859 1 - 0.0000 -
1709.57/1715.52 c 1716 6992 6873 1 - 0.0000 -
1714.65/1720.62 c 1721 7015 6896 1 - 0.0000 -
1720.73/1726.77 c 1727 7068 6949 1 - 0.0000 -
1726.12/1732.14 c 1732 7100 6981 1 - 0.0000 -
1733.48/1739.54 c 1740 7125 7006 1 - 0.0000 -
1738.97/1745.08 c 1745 7180 7061 1 - 0.0000 -
1747.13/1753.20 c 1753 7220 7101 1 - 0.0000 -
1754.40/1760.54 c 1761 7230 7111 1 - 0.0000 -
1760.78/1766.95 c 1767 7260 7141 1 - 0.0000 -
1768.44/1774.67 c 1775 7300 7181 1 - 0.0000 -
1775.22/1781.40 c 1781 7345 7226 1 - 0.0000 -
1781.80/1788.05 c 1788 7365 7246 1 - 0.0000 -
1787.07/1793.37 c 1793 7390 7271 1 - 0.0000 -
1792.16/1798.40 c 1798 7415 7296 1 - 0.0000 -
1798.34/1804.68 c 1805 7436 7317 1 - 0.0000 -
1804.73/1811.06 c 1811 7440 7321 1 - 0.0000 -
1811.09/1817.46 c 1817 7500 7381 1 - 0.0000 -
1816.28/1822.65 c 1823 7515 7396 1 - 0.0000 -
1822.86/1829.27 c 1829 7525 7406 1 - 0.0000 -
1828.65/1835.09 c 1835 7542 7423 1 - 0.0000 -
1834.03/1840.42 c 1840 7577 7458 1 - 0.0000 -
1839.62/1846.04 c 1846 7602 7483 1 - 0.0000 -
1846.29/1852.75 c 1853 7635 7516 1 - 0.0000 -
1851.68/1858.14 c 1858 7663 7544 1 - 0.0000 -
1859.35/1865.80 c 1866 7675 7556 1 - 0.0000 -
1864.33/1870.81 c 1871 7705 7586 1 - 0.0000 -
1869.53/1876.03 c 1876 7741 7622 1 - 0.0000 -
1879.08/1885.69 c 1886 7760 7641 1 - 0.0000 -
1886.47/1893.04 c 1893 7805 7686 1 - 0.0000 -
1897.44/1904.08 c 1904 7840 7721 1 - 0.0000 -
1903.21/1909.87 c 1910 7891 7770 1 - 0.0000 -
1909.59/1916.21 c 1916 7905 7784 1 - 0.0000 -
1918.06/1924.75 c 1925 7917 7796 1 - 0.0000 -
1924.04/1930.75 c 1931 7984 7863 1 - 0.0000 -
1929.22/1935.99 c 1936 8009 7888 1 - 0.0000 -
1934.42/1941.18 c 1941 8037 7916 1 - 0.0000 -
1940.68/1947.48 c 1947 8068 7947 1 - 0.0000 -
1946.38/1953.12 c 1953 8114 7993 1 - 0.0000 -
1951.45/1958.20 c 1958 8135 8014 1 - 0.0000 -
1959.82/1966.64 c 1967 8202 8081 1 - 0.0000 -
1965.10/1971.93 c 1972 8227 8106 1 - 0.0000 -
1970.08/1976.96 c 1977 8262 8141 1 - 0.0000 -
1976.56/1983.44 c 1983 8292 8171 1 - 0.0000 -
1982.64/1989.54 c 1990 8317 8196 1 - 0.0000 -
1992.81/1999.74 c 2000 8342 8221 1 - 0.0000 -
1998.29/2005.21 c 2005 8376 8255 1 - 0.0000 -
2005.08/2012.06 c 2012 8402 8281 1 - 0.0000 -
2011.45/2018.46 c 2018 8448 8327 1 - 0.0000 -
2018.72/2025.71 c 2026 8492 8371 1 - 0.0000 -
2024.12/2031.17 c 2031 8515 8394 1 - 0.0000 -
2030.20/2037.21 c 2037 8550 8429 1 - 0.0000 -
2035.58/2042.62 c 2043 8562 8441 1 - 0.0000 -
2040.66/2047.73 c 2048 8577 8456 1 - 0.0000 -
2045.74/2052.80 c 2053 8602 8481 1 - 0.0000 -
2051.82/2058.95 c 2059 8642 8521 1 - 0.0000 -
2059.80/2066.95 c 2067 8677 8556 1 - 0.0000 -
2066.88/2074.08 c 2074 8727 8606 1 - 0.0000 -
2073.35/2080.51 c 2081 8777 8656 1 - 0.0000 -
2078.43/2085.68 c 2086 8782 8661 1 - 0.0000 -
2083.62/2090.85 c 2091 8807 8686 1 - 0.0000 -
2089.92/2097.17 c 2097 8860 8739 1 - 0.0000 -
2095.90/2103.14 c 2103 8900 8779 1 - 0.0000 -
2101.17/2108.42 c 2108 8928 8807 1 - 0.0000 -
2106.76/2114.08 c 2114 8968 8847 1 - 0.0000 -
2111.93/2119.25 c 2119 8982 8861 1 - 0.0000 -
2117.41/2124.79 c 2125 8992 8871 1 - 0.0000 -
2122.50/2129.85 c 2130 9044 8921 1 - 0.0000 -
2128.28/2135.67 c 2136 9073 8950 1 - 0.0000 -
2134.26/2141.66 c 2142 9123 9000 1 - 0.0000 -
2144.02/2151.43 c 2151 9158 9035 1 - 0.0000 -
2151.49/2158.90 c 2159 9173 9050 1 - 0.0000 -
2157.68/2165.11 c 2165 9207 9084 1 - 0.0000 -
2165.94/2173.46 c 2173 9258 9135 1 - 0.0000 -
2171.03/2178.56 c 2179 9284 9161 1 - 0.0000 -
2176.71/2184.23 c 2184 9312 9189 1 - 0.0000 -
2182.69/2190.27 c 2190 9318 9195 1 - 0.0000 -
2191.76/2199.33 c 2199 9333 9210 1 - 0.0000 -
2198.14/2205.79 c 2206 9358 9235 1 - 0.0000 -
2203.54/2211.13 c 2211 9419 9296 1 - 0.0000 -
2209.11/2216.79 c 2217 9456 9333 1 - 0.0000 -
2215.69/2223.35 c 2223 9491 9368 1 - 0.0000 -
2223.77/2231.44 c 2231 9503 9380 1 - 0.0000 -
2229.25/2236.93 c 2237 9523 9400 1 - 0.0000 -
2234.53/2242.28 c 2242 9554 9431 1 - 0.0000 -
2240.42/2248.19 c 2248 9593 9470 1 - 0.0000 -
2247.68/2255.43 c 2255 9628 9505 1 - 0.0000 -
2253.96/2261.76 c 2262 9659 9536 1 - 0.0000 -
2261.53/2269.31 c 2269 9703 9580 1 - 0.0000 -
2266.81/2274.65 c 2275 9728 9605 1 - 0.0000 -
2272.89/2280.75 c 2281 9761 9638 1 - 0.0000 -
2278.87/2286.76 c 2287 9789 9666 1 - 0.0000 -
2284.56/2292.46 c 2292 9804 9681 1 - 0.0000 -
2290.25/2298.16 c 2298 9853 9730 1 - 0.0000 -
2296.32/2304.29 c 2304 9923 9800 1 - 0.0000 -
2302.60/2310.53 c 2311 9954 9831 1 - 0.0000 -
2308.98/2316.90 c 2317 10019 9896 1 - 0.0000 -
2315.46/2323.46 c 2323 10023 9900 1 - 0.0000 -
2321.54/2329.59 c 2330 10033 9910 1 - 0.0000 -
2327.52/2335.51 c 2336 10068 9945 1 - 0.0000 -
2334.30/2342.33 c 2342 10113 9990 1 - 0.0000 -
2342.09/2350.17 c 2350 10163 10040 1 - 0.0000 -
2348.35/2356.45 c 2356 10187 10064 1 - 0.0000 -
2354.43/2362.56 c 2363 10221 10098 1 - 0.0000 -
2360.21/2368.39 c 2368 10263 10140 1 - 0.0000 -
2369.28/2377.47 c 2377 10303 10180 1 - 0.0000 -
2377.27/2385.43 c 2385 10369 10244 1 - 0.0000 -
2384.64/2392.82 c 2393 10404 10279 1 - 0.0000 -
2389.62/2397.88 c 2398 10419 10294 1 - 0.0000 -
2396.20/2404.44 c 2404 10456 10331 1 - 0.0000 -
2401.79/2410.01 c 2410 10484 10359 1 - 0.0000 -
2408.16/2416.48 c 2416 10519 10394 1 - 0.0000 -
2414.64/2422.99 c 2423 10544 10419 1 - 0.0000 -
2419.92/2428.26 c 2428 10566 10441 1 - 0.0000 -
2427.99/2436.32 c 2436 10599 10474 1 - 0.0000 -
2437.86/2446.29 c 2446 10609 10484 1 - 0.0000 -
2445.94/2454.32 c 2454 10659 10534 1 - 0.0000 -
2451.22/2459.69 c 2460 10680 10555 1 - 0.0000 -
2457.10/2465.50 c 2466 10720 10595 1 - 0.0000 -
2463.18/2471.61 c 2472 10777 10652 1 - 0.0000 -
2469.36/2477.80 c 2478 10804 10679 1 - 0.0000 -
2474.74/2483.25 c 2483 10829 10704 1 - 0.0000 -
2482.82/2491.38 c 2491 10884 10759 1 - 0.0000 -
2490.20/2498.79 c 2499 10894 10769 1 - 0.0000 -
2496.18/2504.70 c 2505 10940 10815 1 - 0.0000 -
2505.75/2514.37 c 2514 10959 10834 1 - 0.0000 -
2510.93/2519.59 c 2520 10993 10868 1 - 0.0000 -
2516.92/2525.59 c 2526 11030 10905 1 - 0.0000 -
2522.41/2531.05 c 2531 11073 10946 1 - 0.0000 -
2528.88/2537.54 c 2538 11119 10992 1 - 0.0000 -
2534.56/2543.21 c 2543 11139 11012 1 - 0.0000 -
2543.34/2552.02 c 2552 11159 11032 1 - 0.0000 -
2549.81/2558.57 c 2559 11208 11081 1 - 0.0000 -
2555.49/2564.28 c 2564 11220 11093 1 - 0.0000 -
2561.67/2570.49 c 2570 11259 11132 1 - 0.0000 -
2566.95/2575.71 c 2576 11304 11177 1 - 0.0000 -
2572.25/2581.06 c 2581 11324 11197 1 - 0.0000 -
2580.71/2589.54 c 2590 11374 11247 1 - 0.0000 -
2586.21/2595.09 c 2595 11394 11267 1 - 0.0000 -
2593.38/2602.29 c 2602 11429 11302 1 - 0.0000 -
2600.35/2609.25 c 2609 11474 11347 1 - 0.0000 -
2605.44/2614.39 c 2614 11506 11379 1 - 0.0000 -
2612.91/2621.87 c 2622 11544 11417 1 - 0.0000 -
2618.49/2627.45 c 2627 11558 11431 1 - 0.0000 -
2626.57/2635.56 c 2636 11604 11477 1 - 0.0000 -
2634.24/2643.20 c 2643 11629 11502 1 - 0.0000 -
2639.82/2648.85 c 2649 11649 11522 1 - 0.0000 -
2644.91/2654.01 c 2654 11669 11542 1 - 0.0000 -
2650.29/2659.31 c 2659 11747 11618 1 - 0.0000 -
2655.37/2664.48 c 2664 11788 11659 1 - 0.0000 -
2660.65/2669.79 c 2670 11815 11684 1 - 0.0000 -
2665.95/2675.06 c 2675 11829 11698 1 - 0.0000 -
2672.31/2681.49 c 2681 11854 11723 1 - 0.0000 -
2680.69/2689.89 c 2690 11914 11783 1 - 0.0000 -
2686.07/2695.22 c 2695 11924 11793 1 - 0.0000 -
2691.96/2701.12 c 2701 11949 11818 1 - 0.0000 -
2697.03/2706.27 c 2706 11992 11861 1 - 0.0000 -
2702.53/2711.74 c 2712 12010 11879 1 - 0.0000 -
2709.60/2718.89 c 2719 12044 11913 1 - 0.0000 -
2716.89/2726.12 c 2726 12054 11923 1 - 0.0000 -
2725.45/2734.70 c 2735 12069 11938 1 - 0.0000 -
2731.03/2740.33 c 2740 12084 11953 1 - 0.0000 -
2736.52/2745.81 c 2746 12138 12007 1 - 0.0000 -
2741.50/2750.86 c 2751 12158 12027 1 - 0.0000 -
2747.69/2757.09 c 2757 12174 12043 1 - 0.0000 -
2752.96/2762.34 c 2762 12212 12081 1 - 0.0000 -
2760.04/2769.42 c 2769 12229 12098 1 - 0.0000 -
2765.12/2774.58 c 2775 12271 12140 1 - 0.0000 -
2770.80/2780.27 c 2780 12304 12173 1 - 0.0000 -
2775.89/2785.38 c 2785 12343 12212 1 - 0.0000 -
2782.77/2792.22 c 2792 12355 12222 1 - 0.0000 -
2788.45/2797.93 c 2798 12400 12267 1 - 0.0000 -
2793.73/2803.25 c 2803 12420 12287 1 - 0.0000 -
2801.21/2810.71 c 2811 12475 12342 1 - 0.0000 -
2806.29/2815.84 c 2816 12533 12400 1 - 0.0000 -
2813.07/2822.65 c 2823 12575 12442 1 - 0.0000 -
2818.65/2828.22 c 2828 12609 12476 1 - 0.0000 -
2827.22/2836.82 c 2837 12625 12492 1 - 0.0000 -
2833.20/2842.87 c 2843 12655 12522 1 - 0.0000 -
2839.40/2849.09 c 2849 12709 12576 1 - 0.0000 -
2846.57/2856.20 c 2856 12745 12612 1 - 0.0000 -
2854.14/2863.84 c 2864 12795 12662 1 - 0.0000 -
2860.34/2870.03 c 2870 12806 12673 1 - 0.0000 -
2868.41/2878.16 c 2878 12840 12707 1 - 0.0000 -
2874.98/2884.72 c 2885 12875 12742 1 - 0.0000 -
2881.46/2891.25 c 2891 12918 12785 1 - 0.0000 -
2887.44/2897.25 c 2897 12950 12817 1 - 0.0000 -
2893.52/2903.37 c 2903 12997 12862 1 - 0.0000 -
2900.09/2909.95 c 2910 13030 12895 1 - 0.0000 -
2905.78/2915.65 c 2916 13045 12910 1 - 0.0000 -
2912.05/2921.94 c 2922 13075 12940 1 - 0.0000 -
2917.93/2927.88 c 2928 13125 12990 1 - 0.0000 -
2926.00/2935.92 c 2936 13140 13005 1 - 0.0000 -
2931.28/2941.25 c 2941 13150 13015 1 - 0.0000 -
2938.35/2948.32 c 2948 13170 13035 1 - 0.0000 -
2944.23/2954.24 c 2954 13198 13063 1 - 0.0000 -
2950.12/2960.19 c 2960 13223 13088 1 - 0.0000 -
2958.58/2968.62 c 2969 13245 13110 1 - 0.0000 -
2963.86/2973.92 c 2974 13280 13145 1 - 0.0000 -
2969.43/2979.50 c 2980 13352 13217 1 - 0.0000 -
2975.92/2986.07 c 2986 13391 13256 1 - 0.0000 -
2982.48/2992.65 c 2993 13450 13315 1 - 0.0000 -
2988.36/2998.51 c 2999 13474 13337 1 - 0.0000 -
2994.24/3004.48 c 3004 13495 13358 1 - 0.0000 -
3000.72/3010.97 c 3011 13506 13369 1 - 0.0000 -
3006.30/3016.53 c 3017 13540 13403 1 - 0.0000 -
3011.68/3021.90 c 3022 13576 13437 1 - 0.0000 -
3021.85/3032.16 c 3032 13622 13483 1 - 0.0000 -
3027.73/3038.08 c 3038 13652 13513 1 - 0.0000 -
3037.48/3047.83 c 3048 13672 13533 1 - 0.0000 -
3044.66/3055.10 c 3055 13692 13553 1 - 0.0000 -
3050.53/3060.95 c 3061 13760 13621 1 - 0.0000 -
3056.31/3066.76 c 3067 13802 13663 1 - 0.0000 -
3061.70/3072.12 c 3072 13837 13698 1 - 0.0000 -
3067.46/3077.95 c 3078 13847 13708 1 - 0.0000 -
3073.34/3083.87 c 3084 13882 13743 1 - 0.0000 -
3274.80/3286.03 c 3286 13942 13803 1 - 0.0000 -
3281.27/3292.55 c 3293 13991 13852 1 - 0.0000 -
3286.45/3297.75 c 3298 13997 13858 1 - 0.0000 -
3291.93/3303.30 c 3303 14007 13868 1 - 0.0000 -
3297.01/3308.39 c 3308 14050 13911 1 - 0.0000 -
3302.49/3313.81 c 3314 14092 13953 1 - 0.0000 -
3307.79/3319.16 c 3319 14102 13963 1 - 0.0000 -
3313.25/3324.61 c 3325 14162 14023 1 - 0.0000 -
3319.93/3331.33 c 3331 14192 14053 1 - 0.0000 -
3326.80/3338.22 c 3338 14207 14068 1 - 0.0000 -
3332.18/3343.64 c 3344 14247 14108 1 - 0.0000 -
3341.74/3353.23 c 3353 14282 14143 1 - 0.0000 -
3348.63/3360.16 c 3360 14292 14153 1 - 0.0000 -
3354.60/3366.13 c 3366 14315 14176 1 - 0.0000 -
3360.27/3371.88 c 3372 14337 14198 1 - 0.0000 -
3365.75/3377.35 c 3377 14391 14252 1 - 0.0000 -
3374.72/3386.34 c 3386 14432 14293 1 - 0.0000 -
3380.00/3391.64 c 3392 14466 14327 1 - 0.0000 -
3388.57/3400.25 c 3400 14507 14368 1 - 0.0000 -
3395.35/3407.09 c 3407 14532 14393 1 - 0.0000 -
3401.33/3413.02 c 3413 14545 14406 1 - 0.0000 -
3406.70/3418.49 c 3418 14569 14430 1 - 0.0000 -
3412.39/3424.13 c 3424 14598 14459 1 - 0.0000 -
3418.36/3430.15 c 3430 14602 14463 1 - 0.0000 -
3424.34/3436.19 c 3436 14656 14517 1 - 0.0000 -
3429.51/3441.36 c 3441 14690 14549 1 - 0.0000 -
3434.69/3446.50 c 3446 14744 14601 1 - 0.0000 -
3440.47/3452.39 c 3452 14768 14625 1 - 0.0000 -
3446.44/3458.32 c 3458 14800 14657 1 - 0.0000 -
3451.42/3463.37 c 3463 14808 14665 1 - 0.0000 -
3457.51/3469.48 c 3469 14858 14715 1 - 0.0000 -
3463.20/3475.13 c 3475 14878 14735 1 - 0.0000 -
3470.36/3482.38 c 3482 14903 14760 1 - 0.0000 -
3475.94/3487.93 c 3488 14940 14795 1 - 0.0000 -
3481.32/3493.36 c 3493 14966 14821 1 - 0.0000 -
3490.28/3502.33 c 3502 14994 14849 1 - 0.0000 -
3496.46/3508.53 c 3509 15059 14914 1 - 0.0000 -
3501.95/3514.03 c 3514 15064 14919 1 - 0.0000 -
3507.41/3519.57 c 3520 15120 14975 1 - 0.0000 -
3512.90/3525.03 c 3525 15149 15004 1 - 0.0000 -
3518.57/3530.76 c 3531 15202 15055 1 - 0.0000 -
3528.23/3540.42 c 3540 15209 15062 1 - 0.0000 -
3535.51/3547.77 c 3548 15234 15087 1 - 0.0000 -
3542.49/3554.79 c 3555 15279 15132 1 - 0.0000 -
3548.36/3560.65 c 3561 15314 15167 1 - 0.0000 -
3554.64/3566.98 c 3567 15396 15249 1 - 0.0000 -
3561.01/3573.33 c 3573 15442 15295 1 - 0.0000 -
3567.99/3580.39 c 3580 15474 15327 1 - 0.0000 -
3573.37/3585.79 c 3586 15511 15364 1 - 0.0000 -
3579.45/3591.87 c 3592 15534 15387 1 - 0.0000 -
3586.43/3598.87 c 3599 15559 15412 1 - 0.0000 -
3587.64/3600.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.64/3600.04 c Total Time : 3600.0400
3587.64/3600.04 c solving : 3600.0400
3587.64/3600.04 c presolving : 0.4039 (included in solving)
3587.64/3600.04 c B&B Tree :
3587.64/3600.04 c nodes (total) : 1
3587.64/3600.04 c Solution :
3587.64/3600.04 c Solutions found : 0
3587.64/3600.04 c Primal Bound : -
3587.64/3600.04 c Dual Bound : +0.00000000000000e+00
3587.64/3600.04 c Gap : -
3587.64/3600.07 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (59685 MiB free)
memory of node 1: 64473 MiB (61688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450810-1721421598/watcher-4450810-1721421598 -o /tmp/evaluation-result-4450810-1721421598/solver-4450810-1721421598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033549 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450810-1721421598.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1033602, runsolver pid=1033597
[startup+0.100879 s]*
/proc/loadavg: 1.41 2.86 3.65 5/245 1033613
/proc/meminfo: memFree=124209348/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=47360 memory=36084 CPUtime=0.1 cores=0,2
/proc/1033602/stat : 1033602 (fscip) R 1033597 1033602 1033539 0 -1 4194304 6701 0 0 0 8 2 0 0 20 0 1 0 194318621 48496640 9021 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 11840 9021 2574 3032 0 8240 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47360 KiB
Current children cumulated memory: 36084 KiB
[startup+0.214734 s]*
/proc/loadavg: 1.41 2.86 3.65 6/245 1033613
/proc/meminfo: memFree=124173376/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=54900 memory=43772 CPUtime=0.21 cores=0,2
/proc/1033602/stat : 1033602 (fscip) R 1033597 1033602 1033539 0 -1 4194304 9293 0 0 0 18 3 0 0 20 0 1 0 194318621 56217600 10943 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 13725 10943 2654 3032 0 10125 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54900 KiB
Current children cumulated memory: 43772 KiB
[startup+0.312958 s]*
/proc/loadavg: 1.41 2.86 3.65 6/245 1033613
/proc/meminfo: memFree=124174140/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=56336 memory=45248 CPUtime=0.31 cores=0,2
/proc/1033602/stat : 1033602 (fscip) R 1033597 1033602 1033539 0 -1 4194304 10141 0 0 0 28 3 0 0 20 0 1 0 194318621 57688064 11312 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 14084 11312 2702 3032 0 10484 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 45248 KiB
[startup+0.700402 s]
/proc/loadavg: 1.41 2.86 3.65 5/246 1033616
/proc/meminfo: memFree=124153912/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=153920 memory=83864 CPUtime=0.68 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 21746 0 0 0 60 8 0 0 20 0 3 0 194318621 157614080 20966 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 38480 20966 2782 3032 0 25650 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=153920 memory=5532 CPUtime=0.15 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 7523 0 0 0 13 2 0 0 20 0 3 0 194318671 157614080 20966 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153920 KiB
Current children cumulated memory: 83864 KiB
[startup+1.50038 s]
/proc/loadavg: 1.41 2.86 3.65 5/253 1033623
/proc/meminfo: memFree=123972556/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=223568 memory=141344 CPUtime=1.48 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 35964 0 0 0 136 12 0 0 20 0 3 0 194318621 228933632 35336 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 55892 35336 2942 3032 0 40527 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=223568 memory=5532 CPUtime=0.95 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 21741 0 0 0 88 7 0 0 20 0 3 0 194318671 228933632 35336 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=223568 memory=12740 CPUtime=0 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194318678 228933632 35336 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 223568 KiB
Current children cumulated memory: 141344 KiB
[startup+3.11373 s]
/proc/loadavg: 1.62 2.88 3.65 5/253 1033623
/proc/meminfo: memFree=123794720/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=220484 memory=135404 CPUtime=3.09 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 44626 0 0 0 296 13 0 0 20 0 3 0 194318621 225775616 33851 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 55121 33851 2942 3032 0 39756 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=220484 memory=-7736474891312062845 CPUtime=2.55 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 30397 0 0 0 248 7 0 0 20 0 3 0 194318671 225775616 33851 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=220484 memory=0 CPUtime=0 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 194318678 225775616 33851 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 220484 KiB
Current children cumulated memory: 135404 KiB
[startup+6.30031 s]
/proc/loadavg: 1.62 2.88 3.65 5/253 1033623
/proc/meminfo: memFree=123794532/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=220484 memory=135628 CPUtime=6.27 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 55793 0 0 0 613 14 0 0 20 0 3 0 194318621 225775616 33907 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 55121 33907 2942 3032 0 39756 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=220484 memory=-7736474891312062845 CPUtime=5.73 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 41562 0 0 0 565 8 0 0 20 0 3 0 194318671 225775616 33907 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=220484 memory=0 CPUtime=0 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 194318678 225775616 33907 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 220484 KiB
Current children cumulated memory: 135628 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 2.90 3.65 5/253 1033624
/proc/meminfo: memFree=123793964/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=220484 memory=135640 CPUtime=12.64 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 74302 0 0 0 1250 14 0 0 20 0 3 0 194318621 225775616 33910 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 55121 33910 2942 3032 0 39756 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=220484 memory=135636 CPUtime=12.11 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 60059 0 0 0 1202 9 0 0 20 0 3 0 194318671 225775616 33910 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=220484 memory=12740 CPUtime=0 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 194318678 225775616 33910 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 220484 KiB
Current children cumulated memory: 135640 KiB
[startup+25.5003 s]
/proc/loadavg: 2.30 2.95 3.66 5/253 1033626
/proc/meminfo: memFree=123790712/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=220484 memory=135716 CPUtime=25.4 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 95170 0 0 0 2525 15 0 0 20 0 3 0 194318621 225775616 33929 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 55121 33929 2942 3032 0 39756 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=220484 memory=135716 CPUtime=24.87 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 80919 0 0 0 2477 10 0 0 20 0 3 0 194318671 225775616 33929 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=220484 memory=289 CPUtime=0 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 194318678 225775616 33929 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 220484 KiB
Current children cumulated memory: 135716 KiB
[startup+51.1123 s]
/proc/loadavg: 2.95 3.06 3.67 5/253 1033630
/proc/meminfo: memFree=123695396/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=220484 memory=156188 CPUtime=50.93 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 123246 0 0 0 5075 18 0 0 20 0 3 0 194318621 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 55121 39047 2990 3032 0 45681 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=220484 memory=156188 CPUtime=50.4 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 108914 0 0 0 5027 13 0 0 20 0 3 0 194318671 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=220484 memory=135640 CPUtime=0 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 194318678 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 220484 KiB
Current children cumulated memory: 156188 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 3.24 3.70 5/253 1033639
/proc/meminfo: memFree=123694496/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=220484 memory=156188 CPUtime=101.98 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 138329 0 0 0 10179 19 0 0 20 0 3 0 194318621 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 55121 39047 2990 3032 0 45681 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=220484 memory=156188 CPUtime=101.44 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 123982 0 0 0 10131 13 0 0 20 0 3 0 194318671 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=220484 memory=12740 CPUtime=0 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 194318678 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 220484 KiB
Current children cumulated memory: 156188 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.39 3.73 5/252 1033650
/proc/meminfo: memFree=123693096/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=220484 memory=156188 CPUtime=161.8 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 146902 0 0 0 16160 20 0 0 20 0 3 0 194318621 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 55121 39047 2990 3032 0 45681 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=220484 memory=156188 CPUtime=161.27 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 132543 0 0 0 16113 14 0 0 20 0 3 0 194318671 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=220484 memory=156188 CPUtime=0 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 194318678 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 220484 KiB
Current children cumulated memory: 156188 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.54 3.76 5/252 1033660
/proc/meminfo: memFree=123687248/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=220484 memory=156188 CPUtime=221.58 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 161158 0 0 0 22137 21 0 0 20 0 3 0 194318621 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 55121 39047 2990 3032 0 45681 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=220484 memory=156188 CPUtime=221.05 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 146752 0 0 0 22090 15 0 0 20 0 3 0 194318671 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=220484 memory=156188 CPUtime=0 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 3 0 194318678 225775616 39047 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 220484 KiB
################
# More data... #
################
/proc/1033602/statm: 71505 54659 2990 3032 0 56984 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=218588 CPUtime=3389.94 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 304943 0 0 0 338949 45 0 0 20 0 3 0 194318671 292884480 54659 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=12740 CPUtime=0.05 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 281 0 0 0 1 4 0 0 20 0 3 0 194318678 292884480 54659 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3390.66 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 218636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.56 4.60 4.35 5/249 1035416
/proc/meminfo: memFree=123189980/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=286020 memory=219976 CPUtime=3450.43 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 322407 0 0 0 344983 60 0 0 20 0 3 0 194318621 292884480 54994 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 71505 54994 2990 3032 0 57273 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=12740 CPUtime=3449.71 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 306790 0 0 0 344925 46 0 0 20 0 3 0 194318671 292884480 54994 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=218648 CPUtime=0.06 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 283 0 0 0 2 4 0 0 20 0 3 0 194318678 292884480 54994 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3450.43 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 219976 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.50 4.33 5/249 1035426
/proc/meminfo: memFree=123189020/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=286020 memory=220496 CPUtime=3510.2 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 324026 0 0 0 350959 61 0 0 20 0 3 0 194318621 292884480 55124 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 71505 55124 2990 3032 0 57403 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=12740 CPUtime=3509.48 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 308391 0 0 0 350902 46 0 0 20 0 3 0 194318671 292884480 55124 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=220496 CPUtime=0.06 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 285 0 0 0 2 4 0 0 20 0 3 0 194318678 292884480 55124 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3510.2 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 220496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.44 4.32 5/249 1035437
/proc/meminfo: memFree=123187588/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=286020 memory=221440 CPUtime=3569.98 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 325231 0 0 0 356936 62 0 0 20 0 3 0 194318621 292884480 55360 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 71505 55360 2990 3032 0 57682 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=12740 CPUtime=3569.25 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 309569 0 0 0 356879 46 0 0 20 0 3 0 194318671 292884480 55360 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=12740 CPUtime=0.06 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 290 0 0 0 2 4 0 0 20 0 3 0 194318678 292884480 55360 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3569.98 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 221440 KiB
[startup+3600.08 s]
# the end of solver process 1033602 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.08 s, system=0.62948 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.43 4.32 5/249 1035437
/proc/meminfo: memFree=123187632/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=286020 memory=221440 CPUtime=3571.69 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 325251 0 0 0 357107 62 0 0 20 0 3 0 194318621 292884480 55360 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 71505 55360 2990 3032 0 57682 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=-6952569112950574953 CPUtime=3570.95 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 309589 0 0 0 357049 46 0 0 20 0 3 0 194318671 292884480 55360 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=1471054669716160641 CPUtime=0.06 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 290 0 0 0 2 4 0 0 20 0 3 0 194318678 292884480 55360 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 221440 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.42 4.32 5/249 1035437
/proc/meminfo: memFree=123187212/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=286020 memory=221772 CPUtime=3578.05 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 325502 0 0 0 357743 62 0 0 20 0 3 0 194318621 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 71505 55443 2990 3032 0 57744 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=221440 CPUtime=3577.32 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 309840 0 0 0 357686 46 0 0 20 0 3 0 194318671 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=12740 CPUtime=0.06 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 290 0 0 0 2 4 0 0 20 0 3 0 194318678 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3578.05 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 221772 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.42 4.31 5/249 1035438
/proc/meminfo: memFree=123187268/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=286020 memory=221772 CPUtime=3584.43 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 325517 0 0 0 358381 62 0 0 20 0 3 0 194318621 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 71505 55443 2990 3032 0 57744 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=50128 CPUtime=3583.7 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 309855 0 0 0 358324 46 0 0 20 0 3 0 194318671 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=-7024626706971791209 CPUtime=0.06 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 290 0 0 0 2 4 0 0 20 0 3 0 194318678 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3584.43 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 221772 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.42 4.31 5/249 1035438
/proc/meminfo: memFree=123187268/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=286020 memory=221772 CPUtime=3586.03 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 325518 0 0 0 358541 62 0 0 20 0 3 0 194318621 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 71505 55443 2990 3032 0 57744 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=2268 CPUtime=3585.29 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 309856 0 0 0 358483 46 0 0 20 0 3 0 194318671 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=5532 CPUtime=0.06 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 290 0 0 0 2 4 0 0 20 0 3 0 194318678 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 221772 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.41 4.31 5/249 1035438
/proc/meminfo: memFree=123187244/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=286020 memory=221772 CPUtime=3586.83 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 325522 0 0 0 358621 62 0 0 20 0 3 0 194318621 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 71505 55443 2990 3032 0 57744 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=12740 CPUtime=3586.09 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 309860 0 0 0 358563 46 0 0 20 0 3 0 194318671 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=50128 CPUtime=0.06 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 290 0 0 0 2 4 0 0 20 0 3 0 194318678 292884480 55443 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3586.83 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 221772 KiB
[startup+3599.6 s]
/proc/loadavg: 4.13 4.41 4.31 5/249 1035438
/proc/meminfo: memFree=123187244/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=286020 memory=221860 CPUtime=3587.22 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 325525 0 0 0 358660 62 0 0 20 0 3 0 194318621 292884480 55465 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 71505 55465 2990 3032 0 57744 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=-7024626706971791209 CPUtime=3586.49 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 309863 0 0 0 358603 46 0 0 20 0 3 0 194318671 292884480 55465 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=7320 CPUtime=0.06 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 290 0 0 0 2 4 0 0 20 0 3 0 194318678 292884480 55465 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3587.22 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 221860 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.41 4.31 4/245 1035438
/proc/meminfo: memFree=123452804/131655788 swapFree=131071996/131071996
[pid=1033602] ppid=1033597 vsize=286020 memory=221860 CPUtime=3587.64 cores=0,2
/proc/1033602/stat : 1033602 (fscip) S 1033597 1033602 1033539 0 -1 1077936128 325666 0 0 0 358702 62 0 0 20 0 3 0 194318621 292884480 55465 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
/proc/1033602/statm: 71505 55465 2990 3032 0 57744 0
[pid=1033602/tid=1033616] ppid=1033597 vsize=286020 memory=-7737321035155752336 CPUtime=3586.9 cores=0,2
/proc/1033602/task/1033616/stat : 1033616 (fscip) R 1033597 1033602 1033539 0 -1 4194368 310073 0 0 0 358644 46 0 0 20 0 3 0 194318671 292884480 55465 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
[pid=1033602/tid=1033618] ppid=1033597 vsize=286020 memory=1471054669716160641 CPUtime=0.06 cores=0,2
/proc/1033602/task/1033618/stat : 1033618 (fscip) S 1033597 1033602 1033539 0 -1 1077936192 290 0 0 0 2 4 0 0 20 0 3 0 194318678 292884480 55465 134679101440 4194304 16613245 140731337150272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 27402240 140731337151507 140731337151623 140731337151623 140731337158640 0
Current children cumulated CPU time: 3587.64 s
Current children cumulated vsize: 286020 KiB
Current children cumulated memory: 221860 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3587.71
CPU user time (s): 3587.08
CPU system time (s): 0.62948
CPU usage (%): 99.6565
Max. virtual memory (cumulated for all children) (KiB): 286020
Max. memory (cumulated for all children) (KiB): 221860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.08
system time used= 0.62948
maximum resident set size= 221860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326402
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= 6740
involuntary context switches= 25102
# summary of solver processes directly reported to runsolver:
# pid: 1033602
# total CPU time (s): 3587.71
# total CPU user time (s): 3587.08
# total CPU system time (s): 0.62948
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6027 second user time and 37.4164 second system time
The end
Begin job on nodeC005 at 2024-07-19 22:40:10
IDJOB=4450810
IDBENCH=162279
IDSOLVER=3064
FILE ID=nodeC005/4450810-1721421598
RUNJOBID= nodeC005-1721421610-1033549
SLURM_JOB_ID= 7545501
Free space on /tmp= 723780 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round22-1.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-4450810-1721421598/watcher-4450810-1721421598 -o /tmp/evaluation-result-4450810-1721421598/solver-4450810-1721421598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033549 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450810-1721421598.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2d93360d2b62765c062d6e400c743a07
RANDOM SEED=540776806
nodeC005.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 : 1197.176
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.53
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 : 1197.176
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.35
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.350
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.53
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.237
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.35
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 : 3488.305
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.53
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 : 1197.176
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.35
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.176
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.53
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.357
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124302860 kB
MemAvailable: 129840476 kB
Buffers: 533984 kB
Cached: 5785244 kB
SwapCached: 0 kB
Active: 1137188 kB
Inactive: 5517172 kB
Active(anon): 3328 kB
Inactive(anon): 377696 kB
Active(file): 1133860 kB
Inactive(file): 5139476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114308 kB
Writeback: 0 kB
AnonPages: 334372 kB
Mapped: 116956 kB
Shmem: 45896 kB
KReclaimable: 208956 kB
Slab: 328380 kB
SReclaimable: 208956 kB
SUnreclaim: 119424 kB
KernelStack: 3744 kB
PageTables: 9996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 863640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC005 at 2024-07-19 23:40:10