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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 47222784, getVmSize() = 47222784, SCIPgetMemUsed() = 21359457, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13393220
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.30/0.32 c ** Estimated virtualMemUsedAtSolver = 39649482, getVmSize() = 70402048, SCIPgetMemUsed() = 25229956, SCIPgetMemTotal() = 46081004, SCIPgetMemExternEstim() = 13393220
0.30/0.32 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.30/0.32 c Original Problem :
0.30/0.32 c Problem name : instance-4450630-1721415684
0.30/0.32 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.32 c Constraints : 9504
0.30/0.32 c Objective sense : minimize
0.30/0.32 c Presolved Problem :
0.30/0.32 c Variables : 3387 (3387 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.32 c Constraints : 7789
0.30/0.32 c Constraints : Number
0.30/0.32 c and : 32
0.30/0.32 c linear : 1341
0.30/0.32 c logicor : 6416
0.30/0.32 c ** Instance transfer method used: 0
0.30/0.34 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.35 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.35 c Nodes Active
0.30/0.35 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
36.69/36.85 c 37 2 1 1 - 0.0000 -
44.26/44.49 c 44 15 14 1 - 0.0000 -
50.25/50.49 c 50 17 16 1 - 0.0000 -
229.43/230.09 c 230 22 21 1 - 0.0000 -
237.71/238.35 c 238 26 25 1 - 0.0000 -
243.59/244.26 c 244 30 29 1 - 0.0000 -
250.27/250.90 c 251 32 31 1 - 0.0000 -
256.06/256.77 c 257 34 33 1 - 0.0000 -
264.54/265.25 c 265 38 37 1 - 0.0000 -
271.33/272.07 c 272 42 41 1 - 0.0000 -
278.50/279.23 c 279 46 45 1 - 0.0000 -
284.30/285.03 c 285 48 47 1 - 0.0000 -
290.68/291.45 c 291 66 65 1 - 0.0000 -
298.86/299.62 c 300 74 73 1 - 0.0000 -
307.84/308.61 c 309 78 77 1 - 0.0000 -
313.72/314.52 c 315 93 92 1 - 0.0000 -
319.71/320.57 c 321 98 97 1 - 0.0000 -
326.39/327.23 c 327 108 107 1 - 0.0000 -
332.78/333.62 c 334 134 133 1 - 0.0000 -
337.77/338.64 c 339 146 145 1 - 0.0000 -
347.74/348.67 c 349 150 149 1 - 0.0000 -
355.03/355.91 c 356 158 157 1 - 0.0000 -
360.23/361.19 c 361 195 194 1 - 0.0000 -
367.31/368.25 c 368 208 207 1 - 0.0000 -
373.10/374.09 c 374 226 225 1 - 0.0000 -
379.08/380.00 c 380 240 239 1 - 0.0000 -
387.17/388.19 c 388 253 252 1 - 0.0000 -
392.65/393.65 c 394 272 271 1 - 0.0000 -
399.23/400.26 c 400 298 297 1 - 0.0000 -
404.32/405.39 c 405 305 304 1 - 0.0000 -
409.50/410.58 c 411 332 331 1 - 0.0000 -
416.89/417.99 c 418 335 334 1 - 0.0000 -
423.37/424.49 c 424 352 351 1 - 0.0000 -
431.85/432.93 c 433 358 357 1 - 0.0000 -
437.44/438.50 c 439 383 382 1 - 0.0000 -
445.42/446.55 c 447 392 391 1 - 0.0000 -
451.50/452.69 c 453 409 408 1 - 0.0000 -
458.09/459.25 c 459 432 431 1 - 0.0000 -
466.18/467.32 c 467 458 457 1 - 0.0000 -
471.16/472.37 c 472 482 481 1 - 0.0000 -
477.75/478.99 c 479 508 507 1 - 0.0000 -
485.94/487.19 c 487 522 521 1 - 0.0000 -
492.71/493.94 c 494 538 537 1 - 0.0000 -
500.70/501.99 c 502 542 541 1 - 0.0000 -
506.08/507.33 c 507 568 567 1 - 0.0000 -
511.77/513.08 c 513 587 586 1 - 0.0000 -
516.95/518.24 c 518 592 591 1 - 0.0000 -
524.64/525.96 c 526 615 614 1 - 0.0000 -
530.62/531.94 c 532 652 651 1 - 0.0000 -
536.31/537.67 c 538 664 663 1 - 0.0000 -
544.99/546.35 c 546 695 694 1 - 0.0000 -
550.17/551.50 c 552 698 697 1 - 0.0000 -
563.05/564.43 c 564 708 707 1 - 0.0000 -
570.83/572.22 c 572 722 721 1 - 0.0000 -
578.71/580.13 c 580 742 741 1 - 0.0000 -
585.19/586.60 c 587 752 751 1 - 0.0000 -
591.07/592.56 c 593 777 776 1 - 0.0000 -
598.16/599.64 c 600 792 791 1 - 0.0000 -
603.65/605.13 c 605 825 824 1 - 0.0000 -
610.03/611.50 c 612 828 827 1 - 0.0000 -
618.52/620.05 c 620 858 857 1 - 0.0000 -
625.50/627.03 c 627 875 874 1 - 0.0000 -
631.68/633.25 c 633 915 914 1 - 0.0000 -
638.57/640.15 c 640 938 937 1 - 0.0000 -
643.95/645.58 c 646 970 969 1 - 0.0000 -
649.04/650.63 c 651 982 981 1 - 0.0000 -
658.52/660.12 c 660 988 987 1 - 0.0000 -
664.40/666.00 c 666 1016 1015 1 - 0.0000 -
669.49/671.10 c 671 1025 1024 1 - 0.0000 -
678.16/679.89 c 680 1045 1044 1 - 0.0000 -
724.16/725.91 c 726 1051 1 1 - 0.0000 -
730.05/731.87 c 732 1065 15 1 - 0.0000 -
736.93/738.76 c 739 1078 28 1 - 0.0000 -
742.22/744.06 c 744 1081 31 1 - 0.0000 -
748.70/750.53 c 751 1087 37 1 - 0.0000 -
755.39/757.23 c 757 1102 52 1 - 0.0000 -
761.87/763.72 c 764 1117 67 1 - 0.0000 -
768.96/770.87 c 771 1155 105 1 - 0.0000 -
774.25/776.11 c 776 1171 119 1 - 0.0000 -
780.73/782.68 c 783 1183 129 1 - 0.0000 -
789.91/791.86 c 792 1201 143 1 - 0.0000 -
796.39/798.32 c 798 1219 161 1 - 0.0000 -
803.28/805.26 c 805 1242 180 1 - 0.0000 -
808.76/810.74 c 811 1270 204 1 - 0.0000 -
814.95/816.95 c 817 1288 222 1 - 0.0000 -
820.14/822.14 c 822 1316 246 1 - 0.0000 -
827.22/829.25 c 829 1332 262 1 - 0.0000 -
833.31/835.31 c 835 1344 274 1 - 0.0000 -
841.10/843.17 c 843 1362 290 1 - 0.0000 -
847.99/850.08 c 850 1372 300 1 - 0.0000 -
854.27/856.30 c 856 1408 334 1 - 0.0000 -
859.45/861.59 c 862 1422 348 1 - 0.0000 -
1063.19/1065.75 c 1066 1438 364 1 - 0.0000 -
1071.07/1073.64 c 1074 1478 404 1 - 0.0000 -
1077.86/1080.48 c 1080 1518 444 1 - 0.0000 -
1087.14/1089.76 c 1090 1548 474 1 - 0.0000 -
1092.32/1094.99 c 1095 1600 526 1 - 0.0000 -
1098.31/1100.99 c 1101 1622 546 1 - 0.0000 -
1104.59/1107.29 c 1107 1663 585 1 - 0.0000 -
1110.98/1113.65 c 1114 1684 606 1 - 0.0000 -
1116.56/1119.22 c 1119 1691 613 1 - 0.0000 -
1125.14/1127.80 c 1128 1721 643 1 - 0.0000 -
1134.62/1137.34 c 1137 1775 697 1 - 0.0000 -
1140.11/1142.89 c 1143 1786 708 1 - 0.0000 -
1145.50/1148.27 c 1148 1825 747 1 - 0.0000 -
1152.78/1155.57 c 1156 1835 757 1 - 0.0000 -
1158.66/1161.42 c 1161 1859 781 1 - 0.0000 -
1164.36/1167.17 c 1167 1868 788 1 - 0.0000 -
1169.75/1172.57 c 1173 1906 824 1 - 0.0000 -
1175.04/1177.87 c 1178 1970 886 1 - 0.0000 -
1180.23/1183.00 c 1183 1999 915 1 - 0.0000 -
1192.79/1195.62 c 1196 2009 925 1 - 0.0000 -
1198.48/1201.33 c 1201 2059 975 1 - 0.0000 -
1204.17/1207.07 c 1207 2092 1008 1 - 0.0000 -
1212.04/1214.97 c 1215 2099 1015 1 - 0.0000 -
1217.24/1220.14 c 1220 2139 1053 1 - 0.0000 -
1225.41/1228.36 c 1228 2149 1063 1 - 0.0000 -
1230.70/1233.62 c 1234 2194 1108 1 - 0.0000 -
1235.89/1238.87 c 1239 2221 1135 1 - 0.0000 -
1244.17/1247.16 c 1247 2239 1153 1 - 0.0000 -
1249.65/1252.69 c 1253 2265 1179 1 - 0.0000 -
1255.34/1258.32 c 1258 2302 1216 1 - 0.0000 -
1260.72/1263.78 c 1264 2330 1244 1 - 0.0000 -
1266.61/1269.69 c 1270 2379 1293 1 - 0.0000 -
1274.69/1277.70 c 1278 2401 1315 1 - 0.0000 -
1279.77/1282.86 c 1283 2414 1328 1 - 0.0000 -
1288.35/1291.42 c 1291 2461 1375 1 - 0.0000 -
1296.33/1299.41 c 1299 2479 1393 1 - 0.0000 -
1304.41/1307.56 c 1308 2503 1417 1 - 0.0000 -
1309.50/1312.63 c 1313 2535 1449 1 - 0.0000 -
1317.09/1320.24 c 1320 2563 1477 1 - 0.0000 -
1322.58/1325.79 c 1326 2575 1489 1 - 0.0000 -
1327.97/1331.14 c 1331 2611 1525 1 - 0.0000 -
1333.15/1336.30 c 1336 2647 1561 1 - 0.0000 -
1338.84/1342.01 c 1342 2672 1586 1 - 0.0000 -
1343.93/1347.14 c 1347 2726 1640 1 - 0.0000 -
1349.11/1352.35 c 1352 2757 1671 1 - 0.0000 -
1354.50/1357.78 c 1358 2767 1681 1 - 0.0000 -
1360.88/1364.18 c 1364 2785 1699 1 - 0.0000 -
1368.66/1371.90 c 1372 2821 1735 1 - 0.0000 -
1374.45/1377.79 c 1378 2856 1770 1 - 0.0000 -
1383.03/1386.32 c 1386 2869 1783 1 - 0.0000 -
1390.31/1393.60 c 1394 2905 1819 1 - 0.0000 -
1396.20/1399.56 c 1400 2929 1843 1 - 0.0000 -
1401.98/1405.36 c 1405 2945 1859 1 - 0.0000 -
1408.47/1411.88 c 1412 2995 1909 1 - 0.0000 -
1414.95/1418.35 c 1418 3037 1951 1 - 0.0000 -
1420.44/1423.86 c 1424 3093 2007 1 - 0.0000 -
1426.42/1429.87 c 1430 3107 2021 1 - 0.0000 -
1431.62/1435.01 c 1435 3133 2047 1 - 0.0000 -
1437.60/1441.08 c 1441 3171 2085 1 - 0.0000 -
1443.38/1446.80 c 1447 3199 2113 1 - 0.0000 -
1449.87/1453.35 c 1453 3229 2143 1 - 0.0000 -
1455.15/1458.62 c 1459 3235 2149 1 - 0.0000 -
1460.34/1463.83 c 1464 3253 2167 1 - 0.0000 -
1473.01/1476.59 c 1477 3289 2203 1 - 0.0000 -
1479.89/1483.40 c 1483 3307 2221 1 - 0.0000 -
1487.27/1490.84 c 1491 3367 2279 1 - 0.0000 -
1494.75/1498.33 c 1498 3379 2291 1 - 0.0000 -
1500.04/1503.64 c 1504 3424 2336 1 - 0.0000 -
1507.53/1511.16 c 1511 3463 2375 1 - 0.0000 -
1513.11/1516.73 c 1517 3493 2405 1 - 0.0000 -
1518.50/1522.13 c 1522 3499 2411 1 - 0.0000 -
1525.18/1528.89 c 1529 3536 2448 1 - 0.0000 -
1531.37/1535.07 c 1535 3546 2458 1 - 0.0000 -
1536.65/1540.36 c 1540 3556 2468 1 - 0.0000 -
1541.74/1545.41 c 1545 3574 2486 1 - 0.0000 -
1547.44/1551.17 c 1551 3601 2513 1 - 0.0000 -
1552.82/1556.55 c 1557 3647 2559 1 - 0.0000 -
1558.51/1562.27 c 1562 3683 2595 1 - 0.0000 -
1565.59/1569.34 c 1569 3709 2621 1 - 0.0000 -
1570.78/1574.54 c 1575 3748 2660 1 - 0.0000 -
1576.67/1580.42 c 1580 3768 2680 1 - 0.0000 -
1582.45/1586.26 c 1586 3811 2723 1 - 0.0000 -
1588.24/1592.03 c 1592 3825 2737 1 - 0.0000 -
1594.82/1598.68 c 1599 3839 2751 1 - 0.0000 -
1599.81/1603.69 c 1604 3895 2807 1 - 0.0000 -
1608.19/1612.08 c 1612 3903 2815 1 - 0.0000 -
1613.97/1617.83 c 1618 3943 2855 1 - 0.0000 -
1619.36/1623.27 c 1623 3964 2876 1 - 0.0000 -
1626.54/1630.47 c 1630 3975 2887 1 - 0.0000 -
1632.53/1636.44 c 1636 4035 2947 1 - 0.0000 -
1638.91/1642.80 c 1643 4066 2978 1 - 0.0000 -
1644.00/1647.99 c 1648 4106 3016 1 - 0.0000 -
1649.79/1653.73 c 1654 4132 3042 1 - 0.0000 -
1655.37/1659.39 c 1659 4147 3057 1 - 0.0000 -
1661.36/1665.31 c 1665 4183 3093 1 - 0.0000 -
1667.54/1671.54 c 1672 4198 3108 1 - 0.0000 -
1675.62/1679.68 c 1680 4228 3138 1 - 0.0000 -
1681.21/1685.25 c 1685 4243 3153 1 - 0.0000 -
1686.50/1690.55 c 1691 4256 3166 1 - 0.0000 -
1692.48/1696.57 c 1697 4272 3182 1 - 0.0000 -
1698.77/1702.84 c 1703 4317 3227 1 - 0.0000 -
1704.55/1708.61 c 1709 4346 3256 1 - 0.0000 -
1709.74/1713.90 c 1714 4370 3280 1 - 0.0000 -
1715.93/1720.02 c 1720 4399 3309 1 - 0.0000 -
1723.21/1727.32 c 1727 4435 3345 1 - 0.0000 -
1729.00/1733.13 c 1733 4490 3400 1 - 0.0000 -
1737.57/1741.75 c 1742 4499 3409 1 - 0.0000 -
1742.96/1747.14 c 1747 4534 3444 1 - 0.0000 -
1749.95/1754.17 c 1754 4563 3473 1 - 0.0000 -
1755.23/1759.45 c 1759 4575 3485 1 - 0.0000 -
1763.32/1767.59 c 1768 4578 3488 1 - 0.0000 -
1769.01/1773.29 c 1773 4600 3510 1 - 0.0000 -
1776.19/1780.41 c 1780 4628 3538 1 - 0.0000 -
1782.47/1786.70 c 1787 4675 3585 1 - 0.0000 -
1792.15/1796.43 c 1796 4692 3602 1 - 0.0000 -
1798.43/1802.79 c 1803 4728 3638 1 - 0.0000 -
1804.72/1809.10 c 1809 4756 3666 1 - 0.0000 -
1811.20/1815.53 c 1816 4785 3695 1 - 0.0000 -
1819.88/1824.20 c 1824 4806 3716 1 - 0.0000 -
1826.57/1830.98 c 1831 4821 3731 1 - 0.0000 -
1832.05/1836.47 c 1836 4866 3776 1 - 0.0000 -
1839.43/1843.86 c 1844 4892 3802 1 - 0.0000 -
1846.12/1850.54 c 1851 4928 3836 1 - 0.0000 -
1851.10/1855.58 c 1856 4950 3858 1 - 0.0000 -
1857.59/1862.08 c 1862 4978 3886 1 - 0.0000 -
1862.68/1867.14 c 1867 4985 3893 1 - 0.0000 -
1869.46/1873.96 c 1874 4992 3900 1 - 0.0000 -
1875.25/1879.70 c 1880 5016 3924 1 - 0.0000 -
1883.23/1887.71 c 1888 5028 3936 1 - 0.0000 -
1888.71/1893.20 c 1893 5076 3984 1 - 0.0000 -
1894.80/1899.37 c 1899 5092 4000 1 - 0.0000 -
1901.18/1905.75 c 1906 5135 4043 1 - 0.0000 -
1909.57/1914.19 c 1914 5171 4079 1 - 0.0000 -
1914.65/1919.27 c 1919 5185 4093 1 - 0.0000 -
1920.34/1924.90 c 1925 5234 4142 1 - 0.0000 -
1926.92/1931.57 c 1932 5256 4164 1 - 0.0000 -
1933.30/1937.94 c 1938 5272 4180 1 - 0.0000 -
1938.40/1943.02 c 1943 5310 4218 1 - 0.0000 -
1947.07/1951.70 c 1952 5342 4250 1 - 0.0000 -
1954.25/1958.90 c 1959 5371 4279 1 - 0.0000 -
1960.14/1964.80 c 1965 5409 4317 1 - 0.0000 -
1967.82/1972.51 c 1973 5413 4321 1 - 0.0000 -
1973.11/1977.80 c 1978 5442 4350 1 - 0.0000 -
1978.10/1982.86 c 1983 5456 4364 1 - 0.0000 -
1983.78/1988.55 c 1989 5492 4400 1 - 0.0000 -
1989.38/1994.14 c 1994 5515 4423 1 - 0.0000 -
1997.55/2002.30 c 2002 5549 4457 1 - 0.0000 -
2003.05/2007.87 c 2008 5601 4507 1 - 0.0000 -
2008.24/2013.00 c 2013 5618 4524 1 - 0.0000 -
2014.32/2019.16 c 2019 5650 4556 1 - 0.0000 -
2020.10/2024.99 c 2025 5672 4578 1 - 0.0000 -
2026.19/2031.05 c 2031 5707 4613 1 - 0.0000 -
2032.37/2037.28 c 2037 5737 4643 1 - 0.0000 -
2039.75/2044.67 c 2045 5778 4684 1 - 0.0000 -
2044.94/2049.87 c 2050 5792 4698 1 - 0.0000 -
2051.03/2055.90 c 2056 5822 4728 1 - 0.0000 -
2058.91/2063.81 c 2064 5885 4789 1 - 0.0000 -
2064.49/2069.40 c 2069 5921 4825 1 - 0.0000 -
2069.88/2074.89 c 2075 5942 4846 1 - 0.0000 -
2075.87/2080.89 c 2081 5972 4876 1 - 0.0000 -
2087.34/2092.32 c 2092 6006 4910 1 - 0.0000 -
2093.03/2098.08 c 2098 6013 4917 1 - 0.0000 -
2100.01/2105.07 c 2105 6028 4932 1 - 0.0000 -
2105.90/2110.94 c 2111 6063 4965 1 - 0.0000 -
2113.48/2118.59 c 2119 6071 4973 1 - 0.0000 -
2119.36/2124.47 c 2124 6125 5027 1 - 0.0000 -
2125.55/2130.65 c 2131 6149 5051 1 - 0.0000 -
2131.64/2136.75 c 2137 6172 5074 1 - 0.0000 -
2137.42/2142.57 c 2143 6187 5089 1 - 0.0000 -
2143.91/2149.01 c 2149 6207 5109 1 - 0.0000 -
2149.59/2154.79 c 2155 6249 5151 1 - 0.0000 -
2156.18/2161.35 c 2161 6300 5202 1 - 0.0000 -
2162.16/2167.35 c 2167 6319 5221 1 - 0.0000 -
2167.65/2172.83 c 2173 6347 5249 1 - 0.0000 -
2176.33/2181.53 c 2182 6385 5287 1 - 0.0000 -
2186.30/2191.59 c 2192 6406 5308 1 - 0.0000 -
2194.18/2199.44 c 2199 6442 5344 1 - 0.0000 -
2199.67/2204.98 c 2205 6470 5372 1 - 0.0000 -
2209.65/2214.93 c 2215 6492 5394 1 - 0.0000 -
2215.13/2220.42 c 2220 6505 5407 1 - 0.0000 -
2220.52/2225.82 c 2226 6550 5452 1 - 0.0000 -
2227.61/2232.92 c 2233 6563 5465 1 - 0.0000 -
2235.09/2240.45 c 2240 6599 5501 1 - 0.0000 -
2240.28/2245.65 c 2246 6649 5551 1 - 0.0000 -
2246.27/2251.68 c 2252 6706 5608 1 - 0.0000 -
2251.55/2256.91 c 2257 6731 5633 1 - 0.0000 -
2257.24/2262.63 c 2263 6786 5688 1 - 0.0000 -
2262.53/2267.97 c 2268 6825 5727 1 - 0.0000 -
2269.11/2274.53 c 2275 6842 5744 1 - 0.0000 -
2276.60/2282.04 c 2282 6885 5787 1 - 0.0000 -
2281.88/2287.32 c 2287 6913 5815 1 - 0.0000 -
2287.96/2293.44 c 2293 6939 5841 1 - 0.0000 -
2293.15/2298.69 c 2299 6991 5893 1 - 0.0000 -
2301.53/2307.00 c 2307 7006 5908 1 - 0.0000 -
2307.21/2312.76 c 2313 7021 5923 1 - 0.0000 -
2313.70/2319.23 c 2319 7049 5951 1 - 0.0000 -
2320.59/2326.12 c 2326 7078 5980 1 - 0.0000 -
2326.17/2331.73 c 2332 7105 6007 1 - 0.0000 -
2332.85/2338.45 c 2338 7113 6015 1 - 0.0000 -
2337.94/2343.53 c 2344 7153 6055 1 - 0.0000 -
2345.72/2351.40 c 2351 7163 6065 1 - 0.0000 -
2351.70/2357.39 c 2357 7190 6092 1 - 0.0000 -
2357.49/2363.12 c 2363 7231 6133 1 - 0.0000 -
2363.17/2368.88 c 2369 7249 6151 1 - 0.0000 -
2375.74/2381.43 c 2381 7278 6180 1 - 0.0000 -
2380.83/2386.50 c 2386 7304 6206 1 - 0.0000 -
2387.81/2393.52 c 2394 7328 6230 1 - 0.0000 -
2393.99/2399.70 c 2400 7342 6244 1 - 0.0000 -
2399.68/2405.48 c 2405 7377 6279 1 - 0.0000 -
2409.65/2415.40 c 2415 7385 6287 1 - 0.0000 -
2416.04/2421.84 c 2422 7406 6308 1 - 0.0000 -
2421.82/2427.67 c 2428 7430 6332 1 - 0.0000 -
2428.80/2434.66 c 2435 7456 6358 1 - 0.0000 -
2437.28/2443.10 c 2443 7485 6387 1 - 0.0000 -
2443.36/2449.24 c 2449 7513 6415 1 - 0.0000 -
2450.15/2456.05 c 2456 7542 6444 1 - 0.0000 -
2455.93/2461.81 c 2462 7563 6465 1 - 0.0000 -
2461.32/2467.22 c 2467 7578 6480 1 - 0.0000 -
2466.80/2472.72 c 2473 7592 6494 1 - 0.0000 -
2472.09/2478.02 c 2478 7621 6523 1 - 0.0000 -
2701.04/2707.50 c 2708 7663 6565 1 - 0.0000 -
2706.22/2712.70 c 2713 7678 6580 1 - 0.0000 -
2712.80/2719.36 c 2719 7721 6623 1 - 0.0000 -
2719.39/2725.95 c 2726 7756 6658 1 - 0.0000 -
2730.36/2736.90 c 2737 7785 6687 1 - 0.0000 -
2735.55/2742.13 c 2742 7800 6702 1 - 0.0000 -
2743.22/2749.86 c 2750 7821 6723 1 - 0.0000 -
2748.51/2755.10 c 2755 7871 6773 1 - 0.0000 -
2755.68/2762.33 c 2762 7892 6794 1 - 0.0000 -
2764.35/2771.04 c 2771 7956 6856 1 - 0.0000 -
2770.53/2777.24 c 2777 7978 6878 1 - 0.0000 -
2777.21/2783.97 c 2784 8018 6918 1 - 0.0000 -
2783.09/2789.86 c 2790 8063 6963 1 - 0.0000 -
2788.58/2795.30 c 2795 8092 6992 1 - 0.0000 -
2793.96/2800.73 c 2801 8133 7033 1 - 0.0000 -
2800.14/2806.97 c 2807 8178 7078 1 - 0.0000 -
2805.52/2812.35 c 2812 8222 7122 1 - 0.0000 -
2810.91/2817.71 c 2818 8249 7149 1 - 0.0000 -
2816.99/2823.83 c 2824 8278 7178 1 - 0.0000 -
2822.77/2829.62 c 2830 8294 7194 1 - 0.0000 -
2828.55/2835.46 c 2835 8307 7207 1 - 0.0000 -
2834.53/2841.40 c 2841 8319 7219 1 - 0.0000 -
2840.02/2846.97 c 2847 8364 7264 1 - 0.0000 -
2845.00/2851.98 c 2852 8392 7292 1 - 0.0000 -
2851.78/2858.77 c 2859 8406 7306 1 - 0.0000 -
2857.66/2864.67 c 2865 8443 7343 1 - 0.0000 -
2864.64/2871.61 c 2872 8485 7385 1 - 0.0000 -
2869.92/2876.96 c 2877 8525 7425 1 - 0.0000 -
2875.21/2882.24 c 2882 8542 7442 1 - 0.0000 -
2881.89/2888.95 c 2889 8585 7485 1 - 0.0000 -
2886.97/2894.02 c 2894 8607 7507 1 - 0.0000 -
2895.05/2902.12 c 2902 8642 7542 1 - 0.0000 -
2900.83/2907.96 c 2908 8670 7570 1 - 0.0000 -
2907.60/2914.78 c 2915 8678 7578 1 - 0.0000 -
2915.18/2922.38 c 2922 8685 7585 1 - 0.0000 -
2920.87/2928.02 c 2928 8747 7647 1 - 0.0000 -
2926.15/2933.37 c 2933 8771 7671 1 - 0.0000 -
2935.12/2942.32 c 2942 8821 7721 1 - 0.0000 -
2941.40/2948.61 c 2949 8862 7762 1 - 0.0000 -
2950.57/2957.83 c 2958 8871 7771 1 - 0.0000 -
2955.55/2962.86 c 2963 8912 7812 1 - 0.0000 -
2960.64/2967.97 c 2968 8928 7828 1 - 0.0000 -
2966.63/2973.93 c 2974 8974 7874 1 - 0.0000 -
2972.71/2980.01 c 2980 9004 7904 1 - 0.0000 -
2978.69/2986.01 c 2986 9045 7945 1 - 0.0000 -
2986.17/2993.52 c 2994 9092 7992 1 - 0.0000 -
2993.45/3000.85 c 3001 9121 8021 1 - 0.0000 -
2999.23/3006.63 c 3007 9154 8054 1 - 0.0000 -
3004.21/3011.65 c 3012 9163 8063 1 - 0.0000 -
3015.48/3022.97 c 3023 9178 8078 1 - 0.0000 -
3020.96/3028.47 c 3028 9213 8113 1 - 0.0000 -
3026.24/3033.79 c 3034 9229 8129 1 - 0.0000 -
3032.13/3039.63 c 3040 9268 8168 1 - 0.0000 -
3037.81/3045.37 c 3045 9277 8177 1 - 0.0000 -
3043.19/3050.79 c 3051 9313 8213 1 - 0.0000 -
3049.27/3056.89 c 3057 9335 8235 1 - 0.0000 -
3057.05/3064.68 c 3065 9356 8256 1 - 0.0000 -
3064.43/3072.00 c 3072 9399 8299 1 - 0.0000 -
3071.11/3078.75 c 3079 9435 8335 1 - 0.0000 -
3076.20/3083.86 c 3084 9477 8377 1 - 0.0000 -
3081.78/3089.46 c 3089 9493 8393 1 - 0.0000 -
3086.87/3094.50 c 3094 9536 8436 1 - 0.0000 -
3092.65/3100.37 c 3100 9564 8464 1 - 0.0000 -
3098.54/3106.28 c 3106 9612 8512 1 - 0.0000 -
3105.43/3113.10 c 3113 9642 8542 1 - 0.0000 -
3114.20/3121.95 c 3122 9663 8563 1 - 0.0000 -
3119.79/3127.51 c 3128 9679 8579 1 - 0.0000 -
3125.58/3133.37 c 3133 9732 8630 1 - 0.0000 -
3134.75/3142.50 c 3142 9756 8654 1 - 0.0000 -
3140.24/3148.00 c 3148 9786 8684 1 - 0.0000 -
3146.23/3154.01 c 3154 9799 8697 1 - 0.0000 -
3152.11/3159.99 c 3160 9813 8711 1 - 0.0000 -
3158.20/3166.03 c 3166 9843 8741 1 - 0.0000 -
3163.78/3171.68 c 3172 9899 8797 1 - 0.0000 -
3169.57/3177.43 c 3177 9952 8850 1 - 0.0000 -
3176.26/3184.18 c 3184 9987 8885 1 - 0.0000 -
3182.34/3190.25 c 3190 10035 8933 1 - 0.0000 -
3188.52/3196.42 c 3196 10042 8940 1 - 0.0000 -
3197.70/3205.62 c 3206 10056 8954 1 - 0.0000 -
3203.09/3211.01 c 3211 10088 8986 1 - 0.0000 -
3210.87/3218.86 c 3219 10128 9026 1 - 0.0000 -
3216.55/3224.57 c 3225 10181 9079 1 - 0.0000 -
3222.94/3230.92 c 3231 10224 9122 1 - 0.0000 -
3229.13/3237.16 c 3237 10285 9183 1 - 0.0000 -
3235.11/3243.12 c 3243 10324 9222 1 - 0.0000 -
3240.79/3248.85 c 3249 10371 9269 1 - 0.0000 -
3246.27/3254.35 c 3254 10562 9452 1 - 0.0000 -
3253.24/3261.30 c 3261 10651 9535 1 - 0.0000 -
3259.03/3267.11 c 3267 10706 9590 1 - 0.0000 -
3264.90/3273.07 c 3273 10839 9703 1 - 0.0000 -
3271.59/3279.78 c 3280 10849 9711 1 - 0.0000 -
3279.76/3287.95 c 3288 10899 9743 1 - 0.0000 -
3286.34/3294.53 c 3295 11112 9824 1 - 0.0000 -
3292.01/3300.28 c 3300 11865 9991 1 - 0.0000 -
3298.09/3306.31 c 3306 12712 9901 1 - 0.0000 -
3303.19/3311.46 c 3311 12872 9953 1 - 0.0000 -
3308.87/3317.18 c 3317 13106 10057 1 - 0.0000 -
3314.05/3322.38 c 3322 13660 10236 1 - 0.0000 -
3319.13/3327.45 c 3327 14193 10287 1 - 0.0000 -
3324.32/3332.60 c 3333 14871 10282 1 - 0.0000 -
3329.41/3337.79 c 3338 15389 10273 1 - 0.0000 -
3334.59/3342.95 c 3343 15921 10265 1 - 0.0000 -
3339.69/3348.01 c 3348 16506 10270 1 - 0.0000 -
3344.67/3353.09 c 3353 17065 10278 1 - 0.0000 -
3349.96/3358.30 c 3358 17644 10297 1 - 0.0000 -
3354.95/3363.35 c 3363 18236 10296 1 - 0.0000 -
3360.03/3368.42 c 3368 18763 10286 1 - 0.0000 -
3365.03/3373.48 c 3373 19396 10300 1 - 0.0000 -
3370.11/3378.55 c 3379 20053 10322 1 - 0.0000 -
3375.20/3383.61 c 3384 20643 10333 1 - 0.0000 -
3380.19/3388.67 c 3389 21221 10332 1 - 0.0000 -
3385.27/3393.73 c 3394 21825 10336 1 - 0.0000 -
3390.26/3398.78 c 3399 22422 10341 1 - 0.0000 -
3395.35/3403.85 c 3404 22973 10345 1 - 0.0000 -
3400.44/3408.93 c 3409 23559 10347 1 - 0.0000 -
3405.42/3413.97 c 3414 24108 10353 1 - 0.0000 -
3410.52/3419.04 c 3419 24729 10370 1 - 0.0000 -
3415.50/3424.09 c 3424 25307 10397 1 - 0.0000 -
3420.59/3429.16 c 3429 25859 10377 1 - 0.0000 -
3425.67/3434.22 c 3434 26391 10404 1 - 0.0000 -
3430.66/3439.27 c 3439 26920 10388 1 - 0.0000 -
3435.75/3444.33 c 3444 27498 10389 1 - 0.0000 -
3440.73/3449.39 c 3449 28054 10386 1 - 0.0000 -
3445.82/3454.44 c 3454 28666 10415 1 - 0.0000 -
3450.91/3459.52 c 3460 29216 10418 1 - 0.0000 -
3455.90/3464.58 c 3465 29754 10423 1 - 0.0000 -
3460.98/3469.63 c 3470 30327 10442 1 - 0.0000 -
3466.07/3474.70 c 3475 30881 10434 1 - 0.0000 -
3471.06/3479.76 c 3480 31422 10438 1 - 0.0000 -
3476.15/3484.81 c 3485 31967 10427 1 - 0.0000 -
3481.14/3489.89 c 3490 32512 10434 1 - 0.0000 -
3486.22/3494.95 c 3495 33052 10421 1 - 0.0000 -
3491.31/3500.01 c 3500 33541 10418 1 - 0.0000 -
3496.30/3505.07 c 3505 34130 10408 1 - 0.0000 -
3501.39/3510.17 c 3510 34607 10421 1 - 0.0000 -
3506.47/3515.21 c 3515 35110 10410 1 - 0.0000 -
3511.46/3520.26 c 3520 35612 10401 1 - 0.0000 -
3516.55/3525.34 c 3525 36175 10417 1 - 0.0000 -
3521.54/3530.39 c 3530 36719 10410 1 - 0.0000 -
3526.62/3535.46 c 3535 37308 10408 1 - 0.0000 -
3531.71/3540.53 c 3541 37848 10408 1 - 0.0000 -
3536.69/3545.59 c 3546 38413 10412 1 - 0.0000 -
3541.79/3550.65 c 3551 38925 10408 1 - 0.0000 -
3546.77/3555.69 c 3556 39455 10407 1 - 0.0000 -
3551.86/3560.78 c 3561 40028 10390 1 - 0.0000 -
3556.95/3565.85 c 3566 40587 10383 1 - 0.0000 -
3562.04/3570.92 c 3571 41186 10383 1 - 0.0000 -
3567.02/3575.97 c 3576 41769 10368 1 - 0.0000 -
3572.11/3581.04 c 3581 42279 10378 1 - 0.0000 -
3577.10/3586.09 c 3586 42859 10407 1 - 0.0000 -
3582.19/3591.16 c 3591 43406 10426 1 - 0.0000 -
3587.27/3596.22 c 3596 44026 10447 1 - 0.0000 -
3591.07/3600.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.07/3600.06 c Total Time : 3600.0600
3591.07/3600.06 c solving : 3600.0600
3591.07/3600.06 c presolving : 0.2838 (included in solving)
3591.07/3600.06 c B&B Tree :
3591.07/3600.06 c nodes (total) : 1
3591.07/3600.06 c Solution :
3591.07/3600.06 c Solutions found : 0
3591.07/3600.06 c Primal Bound : -
3591.07/3600.06 c Dual Bound : +0.00000000000000e+00
3591.07/3600.06 c Gap : -
3591.07/3600.08 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 (60463 MiB free)
memory of node 1: 64510 MiB (60974 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450630-1721415684/watcher-4450630-1721415684 -o /tmp/evaluation-result-4450630-1721415684/solver-4450630-1721415684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040499 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450630-1721415684.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1043753, runsolver pid=1043750
[startup+0.100259 s]*
/proc/loadavg: 4.16 4.16 4.11 5/263 1043754
/proc/meminfo: memFree=124319496/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=54800 memory=43716 CPUtime=0.09 cores=4,6
/proc/1043753/stat : 1043753 (fscip) R 1043750 1043753 1040488 0 -1 4194304 9879 0 0 0 9 0 0 0 20 0 1 0 193738136 56115200 10929 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 13700 10929 2702 3032 0 10100 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54800 KiB
Current children cumulated memory: 43716 KiB
[startup+0.205658 s]*
/proc/loadavg: 4.16 4.16 4.11 5/263 1043754
/proc/meminfo: memFree=124314904/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=59016 memory=48260 CPUtime=0.2 cores=4,6
/proc/1043753/stat : 1043753 (fscip) R 1043750 1043753 1040488 0 -1 4194304 10953 0 0 0 19 1 0 0 20 0 1 0 193738136 60432384 12065 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 14754 12065 2718 3032 0 11154 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59016 KiB
Current children cumulated memory: 48260 KiB
[startup+0.305542 s]*
/proc/loadavg: 4.16 4.16 4.11 5/263 1043754
/proc/meminfo: memFree=124314092/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=65852 memory=52132 CPUtime=0.3 cores=4,6
/proc/1043753/stat : 1043753 (fscip) R 1043750 1043753 1040488 0 -1 4194304 11412 0 0 0 29 1 0 0 20 0 1 0 193738136 67432448 13033 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 16463 13033 2718 3032 0 12863 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65852 KiB
Current children cumulated memory: 52132 KiB
[startup+0.700246 s]
/proc/loadavg: 4.16 4.16 4.11 5/265 1043756
/proc/meminfo: memFree=124269228/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=154104 memory=117820 CPUtime=0.68 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 29301 0 0 0 65 3 0 0 20 0 3 0 193738136 157802496 29455 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 38526 29455 2926 3032 0 33215 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=154104 memory=5568 CPUtime=0.34 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 14179 0 0 0 33 1 0 0 20 0 3 0 193738169 157802496 29455 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=154104 memory=2273 CPUtime=0 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193738172 157802496 29455 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 154104 KiB
Current children cumulated memory: 117820 KiB
[startup+1.50024 s]
/proc/loadavg: 4.16 4.16 4.11 5/265 1043756
/proc/meminfo: memFree=124215424/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=219640 memory=147832 CPUtime=1.47 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 40253 0 0 0 143 4 0 0 20 0 3 0 193738136 224911360 36958 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 54910 36958 2942 3032 0 42922 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=219640 memory=2273 CPUtime=1.14 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 25124 0 0 0 111 3 0 0 20 0 3 0 193738169 224911360 36958 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=219640 memory=0 CPUtime=0 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193738172 224911360 36958 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 219640 KiB
Current children cumulated memory: 147832 KiB
[startup+3.10555 s]
/proc/loadavg: 4.15 4.15 4.11 5/265 1043756
/proc/meminfo: memFree=124215552/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=219640 memory=147900 CPUtime=3.08 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 47833 0 0 0 303 5 0 0 20 0 3 0 193738136 224911360 36975 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 54910 36975 2942 3032 0 42922 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=219640 memory=147844 CPUtime=2.74 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 32704 0 0 0 271 3 0 0 20 0 3 0 193738169 224911360 36975 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=219640 memory=0 CPUtime=0 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193738172 224911360 36975 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 219640 KiB
Current children cumulated memory: 147900 KiB
[startup+6.30024 s]
/proc/loadavg: 4.15 4.15 4.11 5/265 1043756
/proc/meminfo: memFree=124215536/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=219640 memory=147908 CPUtime=6.26 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 65667 0 0 0 621 5 0 0 20 0 3 0 193738136 224911360 36977 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 54910 36977 2942 3032 0 42922 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=219640 memory=12340 CPUtime=5.93 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 50537 0 0 0 589 4 0 0 20 0 3 0 193738169 224911360 36977 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=219640 memory=147904 CPUtime=0 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 193738172 224911360 36977 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 219640 KiB
Current children cumulated memory: 147908 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.16 4.11 5/265 1043757
/proc/meminfo: memFree=124215152/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=219640 memory=148040 CPUtime=12.65 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 79699 0 0 0 1258 7 0 0 20 0 3 0 193738136 224911360 37010 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 54910 37010 2942 3032 0 42922 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=219640 memory=6944656575208382560 CPUtime=12.31 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 64563 0 0 0 1226 5 0 0 20 0 3 0 193738169 224911360 37010 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=219640 memory=147900 CPUtime=0 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 193738172 224911360 37010 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 219640 KiB
Current children cumulated memory: 148040 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.16 4.11 5/265 1043759
/proc/meminfo: memFree=124213752/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=219640 memory=149352 CPUtime=25.41 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 105351 0 0 0 2534 7 0 0 20 0 3 0 193738136 224911360 37338 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 54910 37338 2942 3032 0 42922 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=219640 memory=148608 CPUtime=25.08 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 90205 0 0 0 2502 6 0 0 20 0 3 0 193738169 224911360 37338 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=219640 memory=148416 CPUtime=0 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 193738172 224911360 37338 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 219640 KiB
Current children cumulated memory: 149352 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.14 4.10 5/265 1043764
/proc/meminfo: memFree=124181420/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=219640 memory=181508 CPUtime=50.96 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 141290 0 0 0 5086 10 0 0 20 0 3 0 193738136 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 54910 45377 2990 3032 0 49865 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=219640 memory=12340 CPUtime=50.62 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 126062 0 0 0 5054 8 0 0 20 0 3 0 193738169 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=219640 memory=-6880510419367202409 CPUtime=0 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 193738172 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 219640 KiB
Current children cumulated memory: 181508 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/265 1043773
/proc/meminfo: memFree=124183536/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=219640 memory=181508 CPUtime=102.03 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 150836 0 0 0 10192 11 0 0 20 0 3 0 193738136 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 54910 45377 2990 3032 0 49865 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=219640 memory=12340 CPUtime=101.69 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 135591 0 0 0 10160 9 0 0 20 0 3 0 193738169 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=219640 memory=181508 CPUtime=0 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 193738172 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 219640 KiB
Current children cumulated memory: 181508 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/263 1043784
/proc/meminfo: memFree=124181900/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=219640 memory=181508 CPUtime=161.88 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 159952 0 0 0 16177 11 0 0 20 0 3 0 193738136 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 54910 45377 2990 3032 0 49865 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=219640 memory=181508 CPUtime=161.55 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 144697 0 0 0 16145 10 0 0 20 0 3 0 193738169 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=219640 memory=181508 CPUtime=0 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 193738172 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 219640 KiB
Current children cumulated memory: 181508 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/263 1043794
/proc/meminfo: memFree=124181248/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=219640 memory=181508 CPUtime=221.74 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 164593 0 0 0 22163 11 0 0 20 0 3 0 193738136 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 54910 45377 2990 3032 0 49865 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=219640 memory=181508 CPUtime=221.41 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 149333 0 0 0 22131 10 0 0 20 0 3 0 193738169 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=219640 memory=181508 CPUtime=0 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 193738172 224911360 45377 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
################
# More data... #
################
/proc/1043753/statm: 87678 82334 3294 3032 0 83998 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=350712 memory=309244 CPUtime=3393.4 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 363767 0 0 0 339301 39 0 0 20 0 3 0 193738169 359129088 82334 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=350712 memory=329336 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 189 0 0 0 1 2 0 0 20 0 3 0 193738172 359129088 82334 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 350712 KiB
Current children cumulated memory: 329336 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 1045682
/proc/meminfo: memFree=124033580/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=416248 memory=346172 CPUtime=3453.71 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 396523 0 0 0 345322 49 0 0 20 0 3 0 193738136 426237952 86543 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 104062 86543 3294 3032 0 88247 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=416248 memory=309244 CPUtime=3453.25 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 380392 0 0 0 345283 42 0 0 20 0 3 0 193738169 426237952 86543 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=416248 memory=329336 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 190 0 0 0 1 2 0 0 20 0 3 0 193738172 426237952 86543 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3453.71 s
Current children cumulated vsize: 416248 KiB
Current children cumulated memory: 346172 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 1045692
/proc/meminfo: memFree=124026468/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=416248 memory=346224 CPUtime=3513.56 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 405762 0 0 0 351304 52 0 0 20 0 3 0 193738136 426237952 86556 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 104062 86556 3294 3032 0 88247 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=416248 memory=329336 CPUtime=3513.1 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 389620 0 0 0 351265 45 0 0 20 0 3 0 193738169 426237952 86556 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=416248 memory=12340 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 191 0 0 0 1 2 0 0 20 0 3 0 193738172 426237952 86556 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 416248 KiB
Current children cumulated memory: 346224 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 1045717
/proc/meminfo: memFree=124025716/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=416248 memory=346224 CPUtime=3573.4 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 415023 0 0 0 357286 54 0 0 20 0 3 0 193738136 426237952 86556 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 104062 86556 3294 3032 0 88247 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=416248 memory=329336 CPUtime=3572.94 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 398870 0 0 0 357247 47 0 0 20 0 3 0 193738169 426237952 86556 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=416248 memory=346224 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 193738172 426237952 86556 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 416248 KiB
Current children cumulated memory: 346224 KiB
[startup+3600.09 s]
# the end of solver process 1043753 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.6 s, system=0.558207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.09 5/265 1045717
/proc/meminfo: memFree=124025716/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=416248 memory=346224 CPUtime=3575.1 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 415076 0 0 0 357456 54 0 0 20 0 3 0 193738136 426237952 86556 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 104062 86556 3294 3032 0 88247 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=416248 memory=2748 CPUtime=3574.64 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 398923 0 0 0 357417 47 0 0 20 0 3 0 193738169 426237952 86556 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=416248 memory=5000 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 193738172 426237952 86556 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3575.1 s
Current children cumulated vsize: 416248 KiB
Current children cumulated memory: 346224 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 1045718
/proc/meminfo: memFree=124016000/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=416248 memory=355988 CPUtime=3581.49 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 423444 0 0 0 358094 55 0 0 20 0 3 0 193738136 426237952 88997 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 104062 88997 3294 3032 0 90592 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=416248 memory=12312 CPUtime=3581.02 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 407291 0 0 0 358054 48 0 0 20 0 3 0 193738169 426237952 88997 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=416248 memory=346224 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 193738172 426237952 88997 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3581.49 s
Current children cumulated vsize: 416248 KiB
Current children cumulated memory: 355988 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 1045718
/proc/meminfo: memFree=124015872/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=416248 memory=355996 CPUtime=3587.87 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 423534 0 0 0 358732 55 0 0 20 0 3 0 193738136 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 104062 88999 3294 3032 0 90592 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=416248 memory=-9187040416378092226 CPUtime=3587.4 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 407381 0 0 0 358692 48 0 0 20 0 3 0 193738169 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=416248 memory=-6736113756348320872 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 193738172 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 416248 KiB
Current children cumulated memory: 355996 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 1045718
/proc/meminfo: memFree=124015888/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=416248 memory=355996 CPUtime=3589.47 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 423570 0 0 0 358892 55 0 0 20 0 3 0 193738136 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 104062 88999 3294 3032 0 90592 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=416248 memory=12340 CPUtime=3589 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 407417 0 0 0 358852 48 0 0 20 0 3 0 193738169 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=416248 memory=49348 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 193738172 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3589.47 s
Current children cumulated vsize: 416248 KiB
Current children cumulated memory: 355996 KiB
[startup+3599.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 1045720
/proc/meminfo: memFree=124015888/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=416248 memory=355996 CPUtime=3590.26 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 423594 0 0 0 358971 55 0 0 20 0 3 0 193738136 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 104062 88999 3294 3032 0 90592 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=416248 memory=2228 CPUtime=3589.8 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 407441 0 0 0 358932 48 0 0 20 0 3 0 193738169 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=416248 memory=32260 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 193738172 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3590.26 s
Current children cumulated vsize: 416248 KiB
Current children cumulated memory: 355996 KiB
[startup+3599.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 1045720
/proc/meminfo: memFree=124015888/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=416248 memory=355996 CPUtime=3590.66 cores=4,6
/proc/1043753/stat : 1043753 (fscip) S 1043750 1043753 1040488 0 -1 1077936128 423598 0 0 0 359011 55 0 0 20 0 3 0 193738136 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 104062 88999 3294 3032 0 90592 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=416248 memory=49348 CPUtime=3590.2 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 407445 0 0 0 358972 48 0 0 20 0 3 0 193738169 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=416248 memory=3728 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 193738172 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3590.66 s
Current children cumulated vsize: 416248 KiB
Current children cumulated memory: 355996 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.12 4.09 5/265 1045720
/proc/meminfo: memFree=124015852/131524600 swapFree=131071996/131071996
[pid=1043753] ppid=1043750 vsize=416248 memory=355996 CPUtime=3591.07 cores=4,6
/proc/1043753/stat : 1043753 (fscip) R 1043750 1043753 1040488 0 -1 1077936128 423609 0 0 0 359052 55 0 0 20 0 3 0 193738136 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
/proc/1043753/statm: 104062 88999 3294 3032 0 90592 0
[pid=1043753/tid=1043755] ppid=1043750 vsize=416248 memory=11488 CPUtime=3590.6 cores=4,6
/proc/1043753/task/1043755/stat : 1043755 (fscip) R 1043750 1043753 1040488 0 -1 4194368 407456 0 0 0 359012 48 0 0 20 0 3 0 193738169 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
[pid=1043753/tid=1043756] ppid=1043750 vsize=416248 memory=2788 CPUtime=0.03 cores=4,6
/proc/1043753/task/1043756/stat : 1043756 (fscip) S 1043750 1043753 1040488 0 -1 1077936192 192 0 0 0 1 2 0 0 20 0 3 0 193738172 426237952 88999 134679101440 4194304 16613245 140730274813680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31178752 140730274821139 140730274821255 140730274821255 140730274828272 0
Current children cumulated CPU time: 3591.07 s
Current children cumulated vsize: 416248 KiB
Current children cumulated memory: 355996 KiB
Child status: 0
Real time (s): 3600.09
CPU time (s): 3591.16
CPU user time (s): 3590.6
CPU system time (s): 0.558207
CPU usage (%): 99.7519
Max. virtual memory (cumulated for all children) (KiB): 421368
Max. memory (cumulated for all children) (KiB): 355996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.6
system time used= 0.558207
maximum resident set size= 355996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425131
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= 6815
involuntary context switches= 1122
# summary of solver processes directly reported to runsolver:
# pid: 1043753
# total CPU time (s): 3591.16
# total CPU user time (s): 3590.6
# total CPU system time (s): 0.558207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0764 second user time and 10.4476 second system time
The end
Begin job on nodeC033 at 2024-07-19 21:01:36
IDJOB=4450630
IDBENCH=162177
IDSOLVER=3064
FILE ID=nodeC033/4450630-1721415684
RUNJOBID= nodeC033-1721410598-1040499
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-size128-round23-9.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-4450630-1721415684/watcher-4450630-1721415684 -o /tmp/evaluation-result-4450630-1721415684/solver-4450630-1721415684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040499 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450630-1721415684.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bf1757ad4e21f2473915004abf7b1376
RANDOM SEED=49149893
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.981
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 : 3688.321
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 : 3600.814
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 : 3600.183
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 : 3674.464
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 : 3688.355
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 : 3645.629
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.092
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: 124353212 kB
MemAvailable: 128761112 kB
Buffers: 573228 kB
Cached: 4627132 kB
SwapCached: 0 kB
Active: 1033784 kB
Inactive: 5408044 kB
Active(anon): 1544 kB
Inactive(anon): 1285848 kB
Active(file): 1032240 kB
Inactive(file): 4122196 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28576 kB
Writeback: 0 kB
AnonPages: 1238760 kB
Mapped: 146116 kB
Shmem: 45908 kB
KReclaimable: 186224 kB
Slab: 309644 kB
SReclaimable: 186224 kB
SUnreclaim: 123420 kB
KernelStack: 4176 kB
PageTables: 11456 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 901380 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71232 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1114112 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= 889972 MiB
End job on nodeC033 at 2024-07-19 22:01:37