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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 47222784, getVmSize() = 47222784, SCIPgetMemUsed() = 21373409, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13408067
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.19/0.31 c ** Estimated virtualMemUsedAtSolver = 39292797, getVmSize() = 69857280, SCIPgetMemUsed() = 25132681, SCIPgetMemTotal() = 45531129, SCIPgetMemExternEstim() = 13408067
0.19/0.31 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.19/0.31 c Original Problem :
0.19/0.31 c Problem name : instance-4450720-1721418046
0.19/0.31 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.31 c Constraints : 9520
0.19/0.31 c Objective sense : minimize
0.19/0.31 c Presolved Problem :
0.19/0.31 c Variables : 3347 (3347 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.31 c Constraints : 7753
0.19/0.31 c Constraints : Number
0.19/0.31 c and : 32
0.19/0.31 c linear : 1300
0.19/0.31 c logicor : 6421
0.19/0.31 c ** Instance transfer method used: 0
0.29/0.32 c ** ParaScipInstance copy does not increase the number of variables. **
0.29/0.34 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.29/0.34 c Nodes Active
0.29/0.34 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
32.80/33.19 c 33 2 1 1 - 0.0000 -
42.81/43.25 c 43 24 23 1 - 0.0000 -
52.14/52.60 c 53 30 29 1 - 0.0000 -
58.87/59.43 c 59 36 35 1 - 0.0000 -
203.04/204.87 c 205 39 38 1 - 0.0000 -
210.02/211.85 c 212 45 44 1 - 0.0000 -
216.71/218.58 c 219 52 51 1 - 0.0000 -
223.00/224.82 c 225 55 54 1 - 0.0000 -
228.29/230.16 c 230 62 61 1 - 0.0000 -
235.86/237.78 c 238 68 67 1 - 0.0000 -
240.95/242.85 c 243 72 71 1 - 0.0000 -
246.03/247.94 c 248 75 74 1 - 0.0000 -
251.32/253.22 c 253 78 77 1 - 0.0000 -
259.99/261.93 c 262 85 84 1 - 0.0000 -
267.47/269.47 c 269 95 94 1 - 0.0000 -
274.15/276.19 c 276 105 104 1 - 0.0000 -
279.32/281.34 c 281 129 128 1 - 0.0000 -
284.61/286.65 c 287 132 131 1 - 0.0000 -
290.69/292.78 c 293 135 134 1 - 0.0000 -
300.65/302.77 c 303 142 141 1 - 0.0000 -
306.24/308.38 c 308 150 149 1 - 0.0000 -
312.62/314.75 c 315 172 171 1 - 0.0000 -
317.91/320.09 c 320 205 204 1 - 0.0000 -
325.37/327.56 c 328 255 254 1 - 0.0000 -
333.55/335.77 c 336 374 373 1 - 0.0000 -
341.43/343.64 c 344 410 409 1 - 0.0000 -
348.90/351.19 c 351 434 433 1 - 0.0000 -
357.97/360.23 c 360 454 453 1 - 0.0000 -
365.46/367.79 c 368 474 473 1 - 0.0000 -
372.84/375.12 c 375 498 497 1 - 0.0000 -
382.01/384.35 c 384 534 533 1 - 0.0000 -
387.59/389.90 c 390 551 550 1 - 0.0000 -
394.48/396.88 c 397 562 561 1 - 0.0000 -
402.06/404.49 c 404 590 589 1 - 0.0000 -
409.23/411.67 c 412 651 650 1 - 0.0000 -
417.72/420.17 c 420 654 653 1 - 0.0000 -
423.39/425.82 c 426 658 657 1 - 0.0000 -
432.77/435.20 c 435 678 677 1 - 0.0000 -
440.05/442.53 c 443 690 689 1 - 0.0000 -
446.44/448.95 c 449 708 707 1 - 0.0000 -
451.72/454.23 c 454 727 726 1 - 0.0000 -
457.92/460.44 c 460 736 735 1 - 0.0000 -
463.61/466.19 c 466 766 765 1 - 0.0000 -
468.99/471.55 c 472 792 791 1 - 0.0000 -
474.57/477.12 c 477 839 838 1 - 0.0000 -
482.36/484.93 c 485 862 861 1 - 0.0000 -
487.45/490.00 c 490 867 866 1 - 0.0000 -
497.22/499.82 c 500 897 896 1 - 0.0000 -
504.10/506.76 c 507 932 931 1 - 0.0000 -
509.79/512.47 c 512 945 944 1 - 0.0000 -
516.07/518.72 c 519 947 946 1 - 0.0000 -
524.45/527.18 c 527 992 991 1 - 0.0000 -
532.23/534.99 c 535 1017 1016 1 - 0.0000 -
539.81/542.58 c 543 1037 1036 1 - 0.0000 -
547.99/550.72 c 551 1047 1046 1 - 0.0000 -
586.00/588.80 c 589 1051 1 1 - 0.0000 -
591.29/594.17 c 594 1068 18 1 - 0.0000 -
598.97/601.88 c 602 1081 31 1 - 0.0000 -
607.25/610.14 c 610 1092 42 1 - 0.0000 -
613.62/616.55 c 617 1114 64 1 - 0.0000 -
621.51/624.48 c 624 1141 91 1 - 0.0000 -
626.69/629.69 c 630 1149 99 1 - 0.0000 -
632.39/635.34 c 635 1166 116 1 - 0.0000 -
638.27/641.28 c 641 1175 125 1 - 0.0000 -
645.95/648.97 c 649 1181 131 1 - 0.0000 -
654.33/657.36 c 657 1197 147 1 - 0.0000 -
659.61/662.60 c 663 1252 202 1 - 0.0000 -
664.90/667.93 c 668 1283 233 1 - 0.0000 -
673.48/676.52 c 677 1301 251 1 - 0.0000 -
679.36/682.49 c 682 1336 286 1 - 0.0000 -
685.75/688.87 c 689 1356 306 1 - 0.0000 -
692.23/695.40 c 695 1369 319 1 - 0.0000 -
702.31/705.49 c 705 1381 331 1 - 0.0000 -
711.09/714.27 c 714 1406 356 1 - 0.0000 -
717.27/720.42 c 720 1425 375 1 - 0.0000 -
722.55/725.76 c 726 1463 413 1 - 0.0000 -
728.23/731.46 c 731 1482 432 1 - 0.0000 -
733.52/736.79 c 737 1493 443 1 - 0.0000 -
739.11/742.37 c 742 1511 461 1 - 0.0000 -
744.29/747.54 c 748 1535 485 1 - 0.0000 -
751.88/755.19 c 755 1579 529 1 - 0.0000 -
758.75/762.04 c 762 1589 539 1 - 0.0000 -
764.23/767.52 c 768 1633 583 1 - 0.0000 -
769.41/772.76 c 773 1703 653 1 - 0.0000 -
775.40/778.73 c 779 1716 666 1 - 0.0000 -
787.16/790.50 c 790 1751 701 1 - 0.0000 -
792.34/795.77 c 796 1766 712 1 - 0.0000 -
799.63/803.02 c 803 1776 722 1 - 0.0000 -
804.61/808.05 c 808 1834 778 1 - 0.0000 -
810.49/813.99 c 814 1866 808 1 - 0.0000 -
820.06/823.58 c 824 1921 863 1 - 0.0000 -
826.04/829.54 c 830 1956 898 1 - 0.0000 -
831.13/834.68 c 835 1986 928 1 - 0.0000 -
838.91/842.44 c 842 2001 943 1 - 0.0000 -
844.60/848.11 c 848 2072 1014 1 - 0.0000 -
854.07/857.69 c 858 2091 1033 1 - 0.0000 -
859.95/863.52 c 864 2133 1073 1 - 0.0000 -
866.84/870.45 c 870 2185 1125 1 - 0.0000 -
1041.51/1045.53 c 1046 2191 1131 1 - 0.0000 -
1048.59/1052.60 c 1053 2197 1137 1 - 0.0000 -
1055.38/1059.41 c 1059 2209 1149 1 - 0.0000 -
1062.86/1066.90 c 1067 2215 1155 1 - 0.0000 -
1068.15/1072.23 c 1072 2282 1222 1 - 0.0000 -
1078.32/1082.44 c 1082 2323 1263 1 - 0.0000 -
1083.51/1087.66 c 1088 2340 1280 1 - 0.0000 -
1091.19/1095.36 c 1095 2367 1305 1 - 0.0000 -
1101.36/1105.57 c 1106 2421 1359 1 - 0.0000 -
1107.25/1111.44 c 1111 2497 1435 1 - 0.0000 -
1113.73/1117.93 c 1118 2517 1455 1 - 0.0000 -
1119.62/1123.80 c 1124 2579 1517 1 - 0.0000 -
1124.70/1128.90 c 1129 2637 1575 1 - 0.0000 -
1130.19/1134.40 c 1134 2657 1595 1 - 0.0000 -
1137.27/1141.52 c 1142 2679 1617 1 - 0.0000 -
1142.45/1146.78 c 1147 2715 1651 1 - 0.0000 -
1148.54/1152.85 c 1153 2723 1659 1 - 0.0000 -
1161.01/1165.32 c 1165 2765 1701 1 - 0.0000 -
1166.50/1170.86 c 1171 2793 1729 1 - 0.0000 -
1172.98/1177.36 c 1177 2807 1743 1 - 0.0000 -
1178.27/1182.63 c 1183 2849 1783 1 - 0.0000 -
1183.35/1187.79 c 1188 2873 1807 1 - 0.0000 -
1188.65/1193.08 c 1193 2881 1815 1 - 0.0000 -
1194.23/1198.60 c 1199 2953 1887 1 - 0.0000 -
1202.50/1206.94 c 1207 2965 1899 1 - 0.0000 -
1208.19/1212.63 c 1213 2993 1927 1 - 0.0000 -
1213.28/1217.79 c 1218 3045 1979 1 - 0.0000 -
1218.77/1223.24 c 1223 3079 2013 1 - 0.0000 -
1224.56/1229.04 c 1229 3097 2031 1 - 0.0000 -
1231.83/1236.35 c 1236 3147 2079 1 - 0.0000 -
1237.71/1242.21 c 1242 3242 2174 1 - 0.0000 -
1245.89/1250.49 c 1250 3321 2253 1 - 0.0000 -
1254.17/1258.80 c 1259 3327 2259 1 - 0.0000 -
1259.36/1263.90 c 1264 3374 2306 1 - 0.0000 -
1267.14/1271.76 c 1272 3417 2349 1 - 0.0000 -
1277.92/1282.52 c 1283 3441 2373 1 - 0.0000 -
1284.00/1288.68 c 1289 3459 2391 1 - 0.0000 -
1293.88/1298.53 c 1299 3525 2457 1 - 0.0000 -
1299.37/1304.06 c 1304 3597 2529 1 - 0.0000 -
1308.94/1313.61 c 1314 3651 2583 1 - 0.0000 -
1314.33/1319.06 c 1319 3661 2593 1 - 0.0000 -
1320.91/1325.69 c 1326 3693 2625 1 - 0.0000 -
1326.99/1331.72 c 1332 3730 2662 1 - 0.0000 -
1332.08/1336.89 c 1337 3769 2701 1 - 0.0000 -
1339.17/1343.94 c 1344 3783 2715 1 - 0.0000 -
1344.95/1349.77 c 1350 3831 2763 1 - 0.0000 -
1357.82/1362.68 c 1363 3873 2805 1 - 0.0000 -
1367.89/1372.78 c 1373 3891 2823 1 - 0.0000 -
1373.68/1378.58 c 1379 3917 2849 1 - 0.0000 -
1378.96/1383.88 c 1384 3961 2893 1 - 0.0000 -
1384.05/1388.91 c 1389 3979 2911 1 - 0.0000 -
1391.83/1396.75 c 1397 4005 2937 1 - 0.0000 -
1398.02/1402.94 c 1403 4011 2943 1 - 0.0000 -
1403.60/1408.50 c 1408 4063 2995 1 - 0.0000 -
1409.88/1414.89 c 1415 4101 3033 1 - 0.0000 -
1418.46/1423.42 c 1423 4125 3057 1 - 0.0000 -
1424.45/1429.46 c 1429 4136 3068 1 - 0.0000 -
1429.54/1434.54 c 1435 4143 3075 1 - 0.0000 -
1435.32/1440.34 c 1440 4158 3090 1 - 0.0000 -
1441.01/1446.00 c 1446 4206 3138 1 - 0.0000 -
1448.48/1453.53 c 1454 4239 3171 1 - 0.0000 -
1455.17/1460.25 c 1460 4280 3212 1 - 0.0000 -
1468.04/1473.11 c 1473 4311 3243 1 - 0.0000 -
1473.42/1478.58 c 1479 4322 3254 1 - 0.0000 -
1481.60/1486.77 c 1487 4335 3267 1 - 0.0000 -
1490.68/1495.82 c 1496 4347 3279 1 - 0.0000 -
1495.97/1501.12 c 1501 4389 3321 1 - 0.0000 -
1501.65/1506.85 c 1507 4412 3344 1 - 0.0000 -
1507.84/1513.01 c 1513 4442 3372 1 - 0.0000 -
1517.00/1522.24 c 1522 4444 3374 1 - 0.0000 -
1522.29/1527.52 c 1528 4486 3416 1 - 0.0000 -
1528.47/1533.78 c 1534 4499 3429 1 - 0.0000 -
1533.65/1538.96 c 1539 4505 3435 1 - 0.0000 -
1541.23/1546.59 c 1547 4559 3489 1 - 0.0000 -
1547.41/1552.79 c 1553 4585 3515 1 - 0.0000 -
1553.29/1558.64 c 1559 4607 3537 1 - 0.0000 -
1562.36/1567.70 c 1568 4648 3578 1 - 0.0000 -
1570.43/1575.81 c 1576 4699 3627 1 - 0.0000 -
1576.72/1582.11 c 1582 4728 3656 1 - 0.0000 -
1582.50/1587.95 c 1588 4764 3692 1 - 0.0000 -
1588.48/1593.93 c 1594 4783 3711 1 - 0.0000 -
1596.85/1602.32 c 1602 4799 3727 1 - 0.0000 -
1606.42/1611.91 c 1612 4813 3741 1 - 0.0000 -
1611.80/1617.37 c 1617 4828 3754 1 - 0.0000 -
1619.78/1625.39 c 1625 4863 3789 1 - 0.0000 -
1625.77/1631.39 c 1631 4884 3810 1 - 0.0000 -
1631.35/1636.91 c 1637 4916 3842 1 - 0.0000 -
1638.44/1644.03 c 1644 4949 3875 1 - 0.0000 -
1646.71/1652.31 c 1652 4971 3897 1 - 0.0000 -
1654.79/1660.44 c 1660 4992 3918 1 - 0.0000 -
1662.77/1668.45 c 1668 5042 3968 1 - 0.0000 -
1668.16/1673.82 c 1674 5056 3982 1 - 0.0000 -
1673.26/1678.90 c 1679 5094 4020 1 - 0.0000 -
1681.04/1686.75 c 1687 5113 4039 1 - 0.0000 -
1686.72/1692.46 c 1692 5154 4078 1 - 0.0000 -
1694.21/1699.91 c 1700 5186 4110 1 - 0.0000 -
1699.69/1705.49 c 1705 5228 4152 1 - 0.0000 -
1709.07/1714.86 c 1715 5243 4167 1 - 0.0000 -
1714.76/1720.54 c 1721 5268 4192 1 - 0.0000 -
1723.53/1729.31 c 1729 5286 4210 1 - 0.0000 -
1728.72/1734.54 c 1735 5304 4228 1 - 0.0000 -
1734.21/1740.03 c 1740 5359 4283 1 - 0.0000 -
1739.79/1745.69 c 1746 5379 4303 1 - 0.0000 -
1744.98/1750.80 c 1751 5432 4356 1 - 0.0000 -
1753.36/1759.26 c 1759 5465 4387 1 - 0.0000 -
1759.44/1765.34 c 1765 5486 4408 1 - 0.0000 -
1765.13/1771.09 c 1771 5501 4423 1 - 0.0000 -
1770.31/1776.21 c 1776 5508 4430 1 - 0.0000 -
1776.60/1782.58 c 1783 5536 4458 1 - 0.0000 -
1782.38/1788.35 c 1788 5567 4487 1 - 0.0000 -
1787.87/1793.82 c 1794 5600 4520 1 - 0.0000 -
1794.75/1800.75 c 1801 5652 4572 1 - 0.0000 -
1800.04/1806.03 c 1806 5671 4591 1 - 0.0000 -
1805.72/1811.79 c 1812 5713 4633 1 - 0.0000 -
1811.31/1817.36 c 1817 5715 4635 1 - 0.0000 -
1817.20/1823.24 c 1823 5731 4651 1 - 0.0000 -
1824.08/1830.18 c 1830 5758 4678 1 - 0.0000 -
1832.56/1838.62 c 1839 5786 4706 1 - 0.0000 -
1838.84/1844.94 c 1845 5793 4713 1 - 0.0000 -
1844.44/1850.58 c 1851 5801 4721 1 - 0.0000 -
1849.73/1855.85 c 1856 5813 4733 1 - 0.0000 -
1855.41/1861.56 c 1862 5862 4782 1 - 0.0000 -
1863.49/1869.61 c 1870 5886 4806 1 - 0.0000 -
1870.48/1876.67 c 1877 5915 4835 1 - 0.0000 -
1875.56/1881.78 c 1882 5948 4868 1 - 0.0000 -
1881.05/1887.29 c 1887 5990 4910 1 - 0.0000 -
1887.14/1893.30 c 1893 6006 4926 1 - 0.0000 -
1897.11/1903.34 c 1903 6029 4949 1 - 0.0000 -
1902.80/1909.01 c 1909 6036 4956 1 - 0.0000 -
1908.18/1914.43 c 1914 6058 4978 1 - 0.0000 -
1914.77/1921.07 c 1921 6086 5006 1 - 0.0000 -
1919.95/1926.25 c 1926 6105 5025 1 - 0.0000 -
1928.23/1934.51 c 1935 6136 5056 1 - 0.0000 -
1933.82/1940.17 c 1940 6151 5071 1 - 0.0000 -
1939.80/1946.19 c 1946 6206 5126 1 - 0.0000 -
1946.28/1952.60 c 1953 6208 5128 1 - 0.0000 -
1952.68/1959.07 c 1959 6251 5171 1 - 0.0000 -
1958.26/1964.66 c 1965 6302 5218 1 - 0.0000 -
1966.44/1972.82 c 1973 6345 5261 1 - 0.0000 -
1971.43/1977.86 c 1978 6366 5282 1 - 0.0000 -
1977.72/1984.19 c 1984 6398 5314 1 - 0.0000 -
1985.39/1991.88 c 1992 6431 5347 1 - 0.0000 -
1990.48/1996.90 c 1997 6477 5393 1 - 0.0000 -
1995.67/2002.13 c 2002 6488 5404 1 - 0.0000 -
2001.95/2008.41 c 2008 6516 5432 1 - 0.0000 -
2007.74/2014.27 c 2014 6560 5476 1 - 0.0000 -
2014.42/2020.90 c 2021 6566 5482 1 - 0.0000 -
2019.41/2025.96 c 2026 6581 5497 1 - 0.0000 -
2025.00/2031.55 c 2032 6636 5552 1 - 0.0000 -
2030.38/2036.91 c 2037 6645 5561 1 - 0.0000 -
2036.07/2042.62 c 2043 6697 5613 1 - 0.0000 -
2041.46/2048.10 c 2048 6718 5634 1 - 0.0000 -
2048.44/2055.02 c 2055 6731 5647 1 - 0.0000 -
2054.32/2060.99 c 2061 6760 5676 1 - 0.0000 -
2060.21/2066.84 c 2067 6823 5739 1 - 0.0000 -
2066.59/2073.29 c 2073 6852 5768 1 - 0.0000 -
2072.58/2079.25 c 2079 6880 5796 1 - 0.0000 -
2077.67/2084.31 c 2084 6910 5826 1 - 0.0000 -
2083.36/2090.01 c 2090 6916 5832 1 - 0.0000 -
2088.45/2095.17 c 2095 6923 5839 1 - 0.0000 -
2094.03/2100.74 c 2101 6940 5856 1 - 0.0000 -
2099.51/2106.25 c 2106 6966 5882 1 - 0.0000 -
2104.70/2111.49 c 2111 6986 5902 1 - 0.0000 -
2113.18/2119.94 c 2120 7023 5939 1 - 0.0000 -
2121.86/2128.69 c 2129 7038 5954 1 - 0.0000 -
2127.94/2134.79 c 2135 7083 5999 1 - 0.0000 -
2135.03/2141.87 c 2142 7116 6032 1 - 0.0000 -
2140.52/2147.39 c 2147 7131 6047 1 - 0.0000 -
2145.91/2152.80 c 2153 7150 6066 1 - 0.0000 -
2151.00/2157.86 c 2158 7186 6102 1 - 0.0000 -
2156.88/2163.79 c 2164 7207 6123 1 - 0.0000 -
2161.97/2168.84 c 2169 7228 6144 1 - 0.0000 -
2167.95/2174.84 c 2175 7285 6201 1 - 0.0000 -
2174.04/2180.94 c 2181 7315 6231 1 - 0.0000 -
2179.32/2186.23 c 2186 7349 6265 1 - 0.0000 -
2188.60/2195.54 c 2196 7359 6275 1 - 0.0000 -
2193.79/2200.72 c 2201 7366 6282 1 - 0.0000 -
2203.07/2210.04 c 2210 7388 6304 1 - 0.0000 -
2210.25/2217.22 c 2217 7395 6311 1 - 0.0000 -
2218.43/2225.49 c 2225 7423 6339 1 - 0.0000 -
2223.91/2230.97 c 2231 7459 6375 1 - 0.0000 -
2229.80/2236.88 c 2237 7481 6397 1 - 0.0000 -
2234.79/2241.88 c 2242 7527 6443 1 - 0.0000 -
2240.77/2247.89 c 2248 7546 6462 1 - 0.0000 -
2250.35/2257.43 c 2257 7588 6504 1 - 0.0000 -
2255.94/2263.09 c 2263 7606 6522 1 - 0.0000 -
2262.92/2270.02 c 2270 7623 6539 1 - 0.0000 -
2269.80/2276.96 c 2277 7652 6568 1 - 0.0000 -
2278.08/2285.23 c 2285 7673 6589 1 - 0.0000 -
2285.56/2292.72 c 2293 7688 6604 1 - 0.0000 -
2295.04/2302.29 c 2302 7702 6618 1 - 0.0000 -
2300.72/2307.90 c 2308 7720 6636 1 - 0.0000 -
2306.01/2313.21 c 2313 7761 6677 1 - 0.0000 -
2316.48/2323.75 c 2324 7781 6697 1 - 0.0000 -
2322.57/2329.84 c 2330 7802 6718 1 - 0.0000 -
2328.25/2335.51 c 2336 7813 6729 1 - 0.0000 -
2333.54/2340.86 c 2341 7851 6765 1 - 0.0000 -
2339.12/2346.45 c 2346 7873 6787 1 - 0.0000 -
2344.31/2351.65 c 2352 7888 6802 1 - 0.0000 -
2349.29/2356.66 c 2357 7925 6838 1 - 0.0000 -
2356.48/2363.83 c 2364 7952 6865 1 - 0.0000 -
2364.76/2372.15 c 2372 7973 6886 1 - 0.0000 -
2370.65/2378.06 c 2378 8016 6929 1 - 0.0000 -
2375.73/2383.15 c 2383 8037 6950 1 - 0.0000 -
2383.41/2390.82 c 2391 8059 6972 1 - 0.0000 -
2388.90/2396.39 c 2396 8079 6992 1 - 0.0000 -
2394.08/2401.50 c 2402 8089 7002 1 - 0.0000 -
2400.38/2407.87 c 2408 8128 7041 1 - 0.0000 -
2407.66/2415.16 c 2415 8152 7065 1 - 0.0000 -
2416.54/2424.04 c 2424 8166 7079 1 - 0.0000 -
2422.32/2429.81 c 2430 8206 7119 1 - 0.0000 -
2428.00/2435.51 c 2436 8227 7140 1 - 0.0000 -
2436.38/2443.97 c 2444 8259 7170 1 - 0.0000 -
2442.27/2449.80 c 2450 8273 7184 1 - 0.0000 -
2448.56/2456.16 c 2456 8289 7198 1 - 0.0000 -
2453.64/2461.27 c 2461 8296 7205 1 - 0.0000 -
2459.13/2466.75 c 2467 8323 7232 1 - 0.0000 -
2465.21/2472.83 c 2473 8369 7278 1 - 0.0000 -
2470.80/2478.48 c 2478 8396 7305 1 - 0.0000 -
2475.88/2483.52 c 2484 8429 7338 1 - 0.0000 -
2482.07/2489.79 c 2490 8453 7362 1 - 0.0000 -
2488.25/2495.97 c 2496 8500 7409 1 - 0.0000 -
2494.34/2502.02 c 2502 8520 7429 1 - 0.0000 -
2501.32/2509.00 c 2509 8539 7448 1 - 0.0000 -
2508.50/2516.28 c 2516 8553 7462 1 - 0.0000 -
2514.09/2521.81 c 2522 8568 7477 1 - 0.0000 -
2519.17/2526.97 c 2527 8575 7484 1 - 0.0000 -
2524.86/2532.64 c 2533 8592 7501 1 - 0.0000 -
2529.95/2537.79 c 2538 8618 7527 1 - 0.0000 -
2538.42/2546.20 c 2546 8646 7555 1 - 0.0000 -
2544.11/2551.92 c 2552 8653 7562 1 - 0.0000 -
2549.20/2557.07 c 2557 8667 7576 1 - 0.0000 -
2554.88/2562.76 c 2563 8688 7597 1 - 0.0000 -
2564.17/2572.10 c 2572 8718 7627 1 - 0.0000 -
2570.25/2578.18 c 2578 8769 7678 1 - 0.0000 -
2576.33/2584.23 c 2584 8790 7699 1 - 0.0000 -
2585.71/2593.66 c 2594 8818 7725 1 - 0.0000 -
2591.29/2599.20 c 2599 8866 7773 1 - 0.0000 -
2596.38/2604.37 c 2604 8908 7815 1 - 0.0000 -
2602.17/2610.16 c 2610 8916 7823 1 - 0.0000 -
2607.35/2615.34 c 2615 8925 7832 1 - 0.0000 -
2612.84/2620.82 c 2621 8932 7839 1 - 0.0000 -
2622.31/2630.31 c 2630 8946 7853 1 - 0.0000 -
2627.60/2635.62 c 2636 8988 7895 1 - 0.0000 -
2633.00/2641.07 c 2641 9031 7938 1 - 0.0000 -
2638.28/2646.36 c 2646 9067 7974 1 - 0.0000 -
2643.37/2651.42 c 2651 9081 7988 1 - 0.0000 -
2648.96/2657.05 c 2657 9115 8022 1 - 0.0000 -
2654.64/2662.74 c 2663 9125 8032 1 - 0.0000 -
2662.12/2670.20 c 2670 9146 8053 1 - 0.0000 -
2671.70/2679.82 c 2680 9161 8068 1 - 0.0000 -
2677.58/2685.72 c 2686 9213 8120 1 - 0.0000 -
2685.06/2693.21 c 2693 9239 8146 1 - 0.0000 -
2690.45/2698.67 c 2699 9253 8160 1 - 0.0000 -
2695.84/2704.09 c 2704 9268 8175 1 - 0.0000 -
2892.45/2901.27 c 2901 9275 8182 1 - 0.0000 -
2898.13/2906.99 c 2907 9282 8189 1 - 0.0000 -
2903.42/2912.20 c 2912 9318 8225 1 - 0.0000 -
2908.60/2917.48 c 2917 9332 8239 1 - 0.0000 -
2913.98/2922.86 c 2923 9368 8275 1 - 0.0000 -
2922.56/2931.49 c 2931 9396 8303 1 - 0.0000 -
2928.34/2937.21 c 2937 9442 8349 1 - 0.0000 -
2933.92/2942.85 c 2943 9466 8373 1 - 0.0000 -
2942.50/2951.44 c 2951 9482 8389 1 - 0.0000 -
2953.08/2962.08 c 2962 9503 8410 1 - 0.0000 -
2959.25/2968.21 c 2968 9525 8432 1 - 0.0000 -
2964.54/2973.50 c 2974 9560 8467 1 - 0.0000 -
2970.12/2979.17 c 2979 9579 8486 1 - 0.0000 -
2976.20/2985.28 c 2985 9603 8510 1 - 0.0000 -
2983.77/2992.86 c 2993 9639 8546 1 - 0.0000 -
2989.06/2998.16 c 2998 9689 8596 1 - 0.0000 -
2995.54/3004.62 c 3005 9696 8603 1 - 0.0000 -
3001.03/3010.15 c 3010 9703 8610 1 - 0.0000 -
3006.30/3015.49 c 3015 9736 8643 1 - 0.0000 -
3014.58/3023.74 c 3024 9768 8675 1 - 0.0000 -
3020.36/3029.57 c 3030 9814 8721 1 - 0.0000 -
3025.85/3035.03 c 3035 9860 8765 1 - 0.0000 -
3030.93/3040.18 c 3040 9878 8783 1 - 0.0000 -
3040.40/3049.68 c 3050 9911 8816 1 - 0.0000 -
3046.08/3055.38 c 3055 9961 8866 1 - 0.0000 -
3052.06/3061.37 c 3061 9993 8898 1 - 0.0000 -
3063.13/3072.43 c 3072 10011 8916 1 - 0.0000 -
3071.20/3080.51 c 3081 10032 8937 1 - 0.0000 -
3076.39/3085.79 c 3086 10067 8972 1 - 0.0000 -
3081.97/3091.35 c 3091 10082 8987 1 - 0.0000 -
3091.95/3101.30 c 3101 10093 8998 1 - 0.0000 -
3100.42/3109.89 c 3110 10125 9030 1 - 0.0000 -
3105.81/3115.22 c 3115 10156 9061 1 - 0.0000 -
3110.99/3120.40 c 3120 10157 9062 1 - 0.0000 -
3116.47/3125.99 c 3126 10207 9112 1 - 0.0000 -
3122.26/3131.78 c 3132 10255 9160 1 - 0.0000 -
3130.73/3140.23 c 3140 10277 9182 1 - 0.0000 -
3135.91/3145.45 c 3145 10326 9231 1 - 0.0000 -
3141.10/3150.65 c 3151 10333 9238 1 - 0.0000 -
3149.97/3159.58 c 3160 10357 9262 1 - 0.0000 -
3155.46/3165.03 c 3165 10396 9301 1 - 0.0000 -
3161.74/3171.36 c 3171 10421 9326 1 - 0.0000 -
3167.43/3177.10 c 3177 10465 9370 1 - 0.0000 -
3172.91/3182.51 c 3183 10470 9375 1 - 0.0000 -
3178.80/3188.41 c 3188 10500 9405 1 - 0.0000 -
3184.78/3194.41 c 3194 10530 9435 1 - 0.0000 -
3193.06/3202.75 c 3203 10565 9470 1 - 0.0000 -
3199.05/3208.75 c 3209 10581 9486 1 - 0.0000 -
3208.02/3217.73 c 3218 10605 9510 1 - 0.0000 -
3213.31/3223.07 c 3223 10809 9710 1 - 0.0000 -
3218.41/3228.16 c 3228 11162 10029 1 - 0.0000 -
3226.88/3236.66 c 3237 11338 10085 1 - 0.0000 -
3233.37/3243.16 c 3243 11578 10176 1 - 0.0000 -
3239.35/3249.18 c 3249 11833 10226 1 - 0.0000 -
3244.53/3254.30 c 3254 12179 10237 1 - 0.0000 -
3249.62/3259.45 c 3259 12471 10231 1 - 0.0000 -
3255.00/3264.83 c 3265 12663 10289 1 - 0.0000 -
3260.09/3269.91 c 3270 12860 10288 1 - 0.0000 -
3265.58/3275.40 c 3275 13094 10281 1 - 0.0000 -
3271.36/3281.22 c 3281 13256 10309 1 - 0.0000 -
3276.95/3286.88 c 3287 13444 10306 1 - 0.0000 -
3282.03/3291.99 c 3292 13532 10309 1 - 0.0000 -
3287.23/3297.12 c 3297 13748 10324 1 - 0.0000 -
3292.71/3302.66 c 3303 14226 10344 1 - 0.0000 -
3297.89/3307.86 c 3308 14693 10355 1 - 0.0000 -
3303.37/3313.33 c 3313 14820 10352 1 - 0.0000 -
3308.96/3318.94 c 3319 15373 10335 1 - 0.0000 -
3314.06/3324.07 c 3324 15809 10341 1 - 0.0000 -
3319.84/3329.80 c 3330 16085 10347 1 - 0.0000 -
3324.92/3334.95 c 3335 16555 10339 1 - 0.0000 -
3330.21/3340.22 c 3340 17230 10334 1 - 0.0000 -
3335.29/3345.36 c 3345 17811 10338 1 - 0.0000 -
3340.37/3350.47 c 3350 18182 10330 1 - 0.0000 -
3345.66/3355.72 c 3356 18588 10330 1 - 0.0000 -
3350.74/3360.87 c 3361 18931 10328 1 - 0.0000 -
3356.13/3366.21 c 3366 19399 10342 1 - 0.0000 -
3361.31/3371.48 c 3371 20065 10334 1 - 0.0000 -
3366.50/3376.68 c 3377 20487 10328 1 - 0.0000 -
3371.68/3381.81 c 3382 20980 10333 1 - 0.0000 -
3376.77/3386.90 c 3387 21428 10340 1 - 0.0000 -
3381.75/3391.99 c 3392 21939 10351 1 - 0.0000 -
3386.94/3397.16 c 3397 22584 10349 1 - 0.0000 -
3392.11/3402.37 c 3402 22989 10358 1 - 0.0000 -
3397.31/3407.52 c 3408 23370 10347 1 - 0.0000 -
3402.49/3412.76 c 3413 23697 10348 1 - 0.0000 -
3407.67/3417.93 c 3418 24064 10344 1 - 0.0000 -
3412.86/3423.15 c 3423 24412 10337 1 - 0.0000 -
3417.94/3428.29 c 3428 24769 10336 1 - 0.0000 -
3423.02/3433.36 c 3433 25184 10337 1 - 0.0000 -
3428.11/3438.48 c 3438 25674 10362 1 - 0.0000 -
3433.19/3443.59 c 3444 26380 10358 1 - 0.0000 -
3438.38/3448.74 c 3449 26724 10344 1 - 0.0000 -
3443.48/3453.84 c 3454 27289 10367 1 - 0.0000 -
3448.67/3459.07 c 3459 27535 10363 1 - 0.0000 -
3454.15/3464.57 c 3465 27817 10360 1 - 0.0000 -
3459.34/3469.75 c 3470 28088 10376 1 - 0.0000 -
3464.73/3475.14 c 3475 28318 10373 1 - 0.0000 -
3469.82/3480.28 c 3480 28528 10381 1 - 0.0000 -
3474.90/3485.39 c 3485 28816 10390 1 - 0.0000 -
3480.09/3490.52 c 3491 29089 10375 1 - 0.0000 -
3485.18/3495.68 c 3496 29289 10366 1 - 0.0000 -
3490.36/3500.88 c 3501 29535 10370 1 - 0.0000 -
3495.66/3506.14 c 3506 29788 10378 1 - 0.0000 -
3500.85/3511.35 c 3511 30043 10381 1 - 0.0000 -
3506.13/3516.64 c 3517 30277 10383 1 - 0.0000 -
3511.42/3521.93 c 3522 30514 10370 1 - 0.0000 -
3516.61/3527.16 c 3527 30791 10363 1 - 0.0000 -
3521.79/3532.35 c 3532 31042 10387 1 - 0.0000 -
3527.09/3537.60 c 3538 31312 10370 1 - 0.0000 -
3532.27/3542.80 c 3543 31608 10370 1 - 0.0000 -
3537.46/3548.02 c 3548 31875 10362 1 - 0.0000 -
3542.55/3553.14 c 3553 32101 10378 1 - 0.0000 -
3547.73/3558.32 c 3558 32282 10375 1 - 0.0000 -
3552.92/3563.55 c 3564 32466 10366 1 - 0.0000 -
3558.21/3568.81 c 3569 32664 10363 1 - 0.0000 -
3563.30/3573.98 c 3574 32913 10364 1 - 0.0000 -
3568.58/3579.20 c 3579 33093 10363 1 - 0.0000 -
3573.67/3584.39 c 3584 33421 10365 1 - 0.0000 -
3578.96/3589.60 c 3590 33733 10375 1 - 0.0000 -
3584.05/3594.75 c 3595 34207 10368 1 - 0.0000 -
3589.24/3599.94 c 3600 34578 10351 1 - 0.0000 -
3589.34/3600.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.34/3600.04 c Total Time : 3600.0400
3589.34/3600.04 c solving : 3600.0400
3589.34/3600.04 c presolving : 0.2706 (included in solving)
3589.34/3600.04 c B&B Tree :
3589.34/3600.04 c nodes (total) : 1
3589.34/3600.04 c Solution :
3589.34/3600.04 c Solutions found : 0
3589.34/3600.04 c Primal Bound : -
3589.34/3600.04 c Dual Bound : +0.00000000000000e+00
3589.34/3600.04 c Gap : -
3589.34/3600.06 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: 63931 MiB (60285 MiB free)
memory of node 1: 64510 MiB (61296 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450720-1721418046/watcher-4450720-1721418046 -o /tmp/evaluation-result-4450720-1721418046/solver-4450720-1721418046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040500 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450720-1721418046.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1044931, runsolver pid=1044928
[startup+0.10046 s]*
/proc/loadavg: 4.05 4.18 4.14 5/263 1044932
/proc/meminfo: memFree=124467008/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=54652 memory=43640 CPUtime=0.09 cores=1,3
/proc/1044931/stat : 1044931 (fscip) R 1044928 1044931 1040488 0 -1 4194304 9850 0 0 0 8 1 0 0 20 0 1 0 193974324 55963648 10910 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 13663 10910 2702 3032 0 10063 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54652 KiB
Current children cumulated memory: 43640 KiB
[startup+0.205434 s]*
/proc/loadavg: 4.05 4.18 4.14 5/263 1044932
/proc/meminfo: memFree=124462652/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=58916 memory=48184 CPUtime=0.19 cores=1,3
/proc/1044931/stat : 1044931 (fscip) R 1044928 1044931 1040488 0 -1 4194304 10938 0 0 0 18 1 0 0 20 0 1 0 193974324 60329984 12046 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 14729 12046 2718 3032 0 11129 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58916 KiB
Current children cumulated memory: 48184 KiB
[startup+0.30539 s]*
/proc/loadavg: 4.05 4.18 4.14 5/263 1044932
/proc/meminfo: memFree=124458256/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=76416 memory=52948 CPUtime=0.29 cores=1,3
/proc/1044931/stat : 1044931 (fscip) R 1044928 1044931 1040488 0 -1 4194304 12439 0 0 0 28 1 0 0 20 0 2 0 193974324 78249984 13237 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 19104 13237 2766 3032 0 15503 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=76416 memory=-7523928910011918686 CPUtime=0 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 193974355 78249984 13237 134679101440 4194304 16613245 140731664582224 0 0 0 2147221247 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76416 KiB
Current children cumulated memory: 52948 KiB
[startup+0.700461 s]
/proc/loadavg: 4.05 4.18 4.14 5/265 1044934
/proc/meminfo: memFree=124418684/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=153636 memory=114116 CPUtime=0.67 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 28863 0 0 0 63 4 0 0 20 0 3 0 193974324 157323264 28529 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 38409 28529 2926 3032 0 32712 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=153636 memory=15976 CPUtime=0.35 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 13776 0 0 0 33 2 0 0 20 0 3 0 193974355 157323264 28529 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=153636 memory=257 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193974358 157323264 28529 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 153636 KiB
Current children cumulated memory: 114116 KiB
[startup+1.50444 s]
/proc/loadavg: 4.05 4.18 4.14 5/265 1044934
/proc/meminfo: memFree=124360220/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=148436 CPUtime=1.47 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 42056 0 0 0 141 6 0 0 20 0 3 0 193974324 224432128 37109 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 37109 2942 3032 0 42435 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=257 CPUtime=1.14 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 26969 0 0 0 111 3 0 0 20 0 3 0 193974355 224432128 37109 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=0 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 37109 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 148436 KiB
[startup+3.10544 s]
/proc/loadavg: 4.05 4.18 4.14 5/265 1044934
/proc/meminfo: memFree=124362332/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=148488 CPUtime=3.06 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 47503 0 0 0 299 7 0 0 20 0 3 0 193974324 224432128 37122 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 37122 2942 3032 0 42435 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=0 CPUtime=2.73 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 32414 0 0 0 269 4 0 0 20 0 3 0 193974355 224432128 37122 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=0 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 37122 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 148488 KiB
[startup+6.30044 s]
/proc/loadavg: 4.05 4.17 4.14 5/265 1044934
/proc/meminfo: memFree=124362312/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=148504 CPUtime=6.22 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 54900 0 0 0 615 7 0 0 20 0 3 0 193974324 224432128 37126 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 37126 2942 3032 0 42435 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=0 CPUtime=5.91 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 39811 0 0 0 586 5 0 0 20 0 3 0 193974355 224432128 37126 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=-7664417297257815420 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 37126 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 148504 KiB
[startup+12.7004 s]
/proc/loadavg: 4.04 4.17 4.13 5/265 1044935
/proc/meminfo: memFree=124362208/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=148508 CPUtime=12.57 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 79149 0 0 0 1249 8 0 0 20 0 3 0 193974324 224432128 37127 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 37127 2942 3032 0 42435 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=-7664417297257815420 CPUtime=12.25 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 64050 0 0 0 1220 5 0 0 20 0 3 0 193974355 224432128 37127 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=148504 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 37127 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 148508 KiB
[startup+25.5054 s]
/proc/loadavg: 4.11 4.18 4.14 5/265 1044937
/proc/meminfo: memFree=124361844/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=148792 CPUtime=25.26 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 101073 0 0 0 2517 9 0 0 20 0 3 0 193974324 224432128 37198 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 37198 2942 3032 0 42435 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=148792 CPUtime=24.95 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 85962 0 0 0 2488 7 0 0 20 0 3 0 193974355 224432128 37198 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=5492 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 37198 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 148792 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.18 4.14 5/265 1044941
/proc/meminfo: memFree=124334212/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=174060 CPUtime=50.65 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 147813 0 0 0 5052 13 0 0 20 0 3 0 193974324 224432128 43515 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 43515 2990 3032 0 48833 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=173624 CPUtime=50.32 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 132617 0 0 0 5022 10 0 0 20 0 3 0 193974355 224432128 43515 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=12340 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 43515 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 50.65 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 174060 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/266 1044952
/proc/meminfo: memFree=124332636/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=173736 CPUtime=101.4 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 167667 0 0 0 10127 13 0 0 20 0 3 0 193974324 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 43434 2990 3032 0 49095 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=173736 CPUtime=101.08 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 152429 0 0 0 10097 11 0 0 20 0 3 0 193974355 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=173736 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 101.4 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 173736 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/266 1044962
/proc/meminfo: memFree=124328000/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=173736 CPUtime=160.9 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 176622 0 0 0 16076 14 0 0 20 0 3 0 193974324 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 43434 2990 3032 0 49095 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=173736 CPUtime=160.57 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 161372 0 0 0 16046 11 0 0 20 0 3 0 193974355 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=219172 memory=5492 CPUtime=0 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 193974358 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 160.9 s
Current children cumulated vsize: 219172 KiB
Current children cumulated memory: 173736 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/266 1044973
/proc/meminfo: memFree=124313088/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=219172 memory=173736 CPUtime=220.5 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 186973 0 0 0 22035 15 0 0 20 0 3 0 193974324 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 54793 43434 2990 3032 0 49095 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=219172 memory=173736 CPUtime=220.17 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 171682 0 0 0 22005 12 0 0 20 0 3 0 193974355 224432128 43434 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
################
# More data... #
################
/proc/1044931/statm: 87561 77146 3310 3032 0 78948 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=27652 CPUtime=3391.66 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 379868 0 0 0 339122 44 0 0 20 0 3 0 193974355 358649856 77146 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=308580 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 77146 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 308584 KiB
[startup+3462.3 s]
/proc/loadavg: 3.28 3.79 3.97 4/253 1046856
/proc/meminfo: memFree=124376492/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=310080 CPUtime=3451.95 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 399686 0 0 0 345142 53 0 0 20 0 3 0 193974324 358649856 77520 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 77520 3310 3032 0 78948 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=309900 CPUtime=3451.49 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 383230 0 0 0 345104 45 0 0 20 0 3 0 193974355 358649856 77520 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=310080 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 251 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 77520 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 310080 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.65 3.91 4/253 1046866
/proc/meminfo: memFree=124360960/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325116 CPUtime=3511.82 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 407964 0 0 0 351127 55 0 0 20 0 3 0 193974324 358649856 81279 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81279 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=325116 CPUtime=3511.35 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 391488 0 0 0 351088 47 0 0 20 0 3 0 193974355 358649856 81279 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=325116 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 253 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81279 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325116 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.55 3.86 4/253 1046876
/proc/meminfo: memFree=124360412/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325120 CPUtime=3571.67 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410383 0 0 0 357111 56 0 0 20 0 3 0 193974324 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81280 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=325116 CPUtime=3571.21 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 393890 0 0 0 357072 49 0 0 20 0 3 0 193974355 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=15976 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325120 KiB
[startup+3600.07 s]
# the end of solver process 1044931 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.84 s, system=0.576428 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.09 3.55 3.86 4/253 1046877
/proc/meminfo: memFree=124360456/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325120 CPUtime=3573.37 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410436 0 0 0 357281 56 0 0 20 0 3 0 193974324 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81280 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=-6807889875275189607 CPUtime=3572.91 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 393942 0 0 0 357242 49 0 0 20 0 3 0 193974355 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=1400224349373227066 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3573.37 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325120 KiB
[startup+3590.4 s]
/proc/loadavg: 3.08 3.54 3.85 4/255 1046883
/proc/meminfo: memFree=124360208/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325120 CPUtime=3579.75 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410591 0 0 0 357919 56 0 0 20 0 3 0 193974324 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81280 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=325120 CPUtime=3579.29 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394097 0 0 0 357880 49 0 0 20 0 3 0 193974355 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=-6736113756348320872 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81280 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3579.75 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325120 KiB
[startup+3596.8 s]
/proc/loadavg: 3.14 3.54 3.85 4/255 1046884
/proc/meminfo: memFree=124360224/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325148 CPUtime=3586.15 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410743 0 0 0 358558 57 0 0 20 0 3 0 193974324 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81287 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=12340 CPUtime=3585.67 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394249 0 0 0 358518 49 0 0 20 0 3 0 193974355 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=5568 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325148 KiB
[startup+3598.4 s]
/proc/loadavg: 3.14 3.54 3.85 4/255 1046885
/proc/meminfo: memFree=124360164/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325148 CPUtime=3587.74 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410772 0 0 0 358717 57 0 0 20 0 3 0 193974324 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81287 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=49592 CPUtime=3587.27 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394278 0 0 0 358678 49 0 0 20 0 3 0 193974355 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=5492 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3587.74 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325148 KiB
[startup+3599.2 s]
/proc/loadavg: 3.14 3.54 3.85 4/255 1046885
/proc/meminfo: memFree=124360148/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325148 CPUtime=3588.54 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410772 0 0 0 358797 57 0 0 20 0 3 0 193974324 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81287 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=325148 CPUtime=3588.07 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394278 0 0 0 358758 49 0 0 20 0 3 0 193974355 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=2220 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3588.54 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325148 KiB
[startup+3599.6 s]
/proc/loadavg: 3.14 3.54 3.85 4/255 1046885
/proc/meminfo: memFree=124360148/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325148 CPUtime=3588.94 cores=1,3
/proc/1044931/stat : 1044931 (fscip) S 1044928 1044931 1040488 0 -1 1077936128 410802 0 0 0 358837 57 0 0 20 0 3 0 193974324 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81287 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=49592 CPUtime=3588.47 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394308 0 0 0 358798 49 0 0 20 0 3 0 193974355 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=12312 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3588.94 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325148 KiB
[startup+3600 s]*
/proc/loadavg: 3.14 3.54 3.85 4/255 1046885
/proc/meminfo: memFree=124360156/131524600 swapFree=131071996/131071996
[pid=1044931] ppid=1044928 vsize=350244 memory=325148 CPUtime=3589.34 cores=1,3
/proc/1044931/stat : 1044931 (fscip) R 1044928 1044931 1040488 0 -1 1077936128 410855 0 0 0 358877 57 0 0 20 0 3 0 193974324 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
/proc/1044931/statm: 87561 81287 3310 3032 0 83739 0
[pid=1044931/tid=1044933] ppid=1044928 vsize=350244 memory=-6807889875275189607 CPUtime=3588.87 cores=1,3
/proc/1044931/task/1044933/stat : 1044933 (fscip) R 1044928 1044931 1040488 0 -1 4194368 394361 0 0 0 358838 49 0 0 20 0 3 0 193974355 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
[pid=1044931/tid=1044934] ppid=1044928 vsize=350244 memory=-9187040411948841410 CPUtime=0.04 cores=1,3
/proc/1044931/task/1044934/stat : 1044934 (fscip) S 1044928 1044931 1040488 0 -1 1077936192 255 0 0 0 1 3 0 0 20 0 3 0 193974358 358649856 81287 134679101440 4194304 16613245 140731664582224 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 46612480 140731664585747 140731664585863 140731664585863 140731664592880 0
Current children cumulated CPU time: 3589.34 s
Current children cumulated vsize: 350244 KiB
Current children cumulated memory: 325148 KiB
Child status: 0
Real time (s): 3600.07
CPU time (s): 3589.41
CPU user time (s): 3588.84
CPU system time (s): 0.576428
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 415780
Max. memory (cumulated for all children) (KiB): 333564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.84
system time used= 0.576428
maximum resident set size= 333564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411470
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= 6947
involuntary context switches= 3714
# summary of solver processes directly reported to runsolver:
# pid: 1044931
# total CPU time (s): 3589.41
# total CPU user time (s): 3588.84
# total CPU system time (s): 0.576428
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97481 second user time and 17.0466 second system time
The end
Begin job on nodeC033 at 2024-07-19 21:40:58
IDJOB=4450720
IDBENCH=162225
IDSOLVER=3064
FILE ID=nodeC033/4450720-1721418046
RUNJOBID= nodeC033-1721410598-1040500
SLURM_JOB_ID= 7545470
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-3.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-4450720-1721418046/watcher-4450720-1721418046 -o /tmp/evaluation-result-4450720-1721418046/solver-4450720-1721418046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040500 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450720-1721418046.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3a6a9e178c68ea233cbdb43dd005ad2a
RANDOM SEED=1633176064
nodeC033.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 : 3664.130
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.50
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 : 3678.553
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3599.786
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.50
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 : 3666.576
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3664.160
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.50
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 : 3674.791
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3600.010
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.50
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.109
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124500524 kB
MemAvailable: 128927900 kB
Buffers: 576252 kB
Cached: 4643332 kB
SwapCached: 0 kB
Active: 1036884 kB
Inactive: 5257664 kB
Active(anon): 1580 kB
Inactive(anon): 1119284 kB
Active(file): 1035304 kB
Inactive(file): 4138380 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28256 kB
Writeback: 0 kB
AnonPages: 1072268 kB
Mapped: 145056 kB
Shmem: 45908 kB
KReclaimable: 186680 kB
Slab: 310032 kB
SReclaimable: 186680 kB
SUnreclaim: 123352 kB
KernelStack: 4184 kB
PageTables: 11684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 905032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 878592 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC033 at 2024-07-19 22:40:58