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 = 53280768, getVmSize() = 53280768, SCIPgetMemUsed() = 26058986, SCIPgetMemTotal() = 30935994, SCIPgetMemExternEstim() = 14058588
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
9.76/9.80 c ** Estimated virtualMemUsedAtSolver = 93515863, getVmSize() = 151449600, SCIPgetMemUsed() = 90818391, SCIPgetMemTotal() = 126215207, SCIPgetMemExternEstim() = 14058588
9.76/9.80 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
9.76/9.80 c Original Problem :
9.76/9.80 c Problem name : instance-4447130-1721347761
9.76/9.80 c Variables : 7208 (7208 binary, 0 integer, 0 implicit integer, 0 continuous)
9.76/9.80 c Constraints : 7422
9.76/9.80 c Objective sense : minimize
9.76/9.80 c Presolved Problem :
9.76/9.80 c Variables : 6448 (6448 binary, 0 integer, 0 implicit integer, 0 continuous)
9.76/9.80 c Constraints : 6620
9.76/9.80 c Constraints : Number
9.76/9.80 c setppc : 1402
9.76/9.80 c orbitope : 3
9.76/9.80 c logicor : 5215
9.76/9.80 c ** Instance transfer method used: 0
9.76/9.81 c ** ParaScipInstance copy increased the number of variables. **
9.76/9.83 c LC is working with racing ramp-up and with rebuilding tree after racing.
9.76/9.83 c Nodes Active
9.76/9.83 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
154.28/154.73 c 155 2 1 1 - 0.0000 -
160.96/161.43 c 161 4 3 1 - 0.0000 -
167.65/168.16 c 168 8 7 1 - 0.0000 -
174.23/174.77 c 175 12 11 1 - 0.0000 -
182.51/183.03 c 183 13 12 1 - 0.0000 -
187.60/188.15 c 188 14 13 1 - 0.0000 -
194.08/194.67 c 195 20 17 1 - 0.0000 -
200.56/201.13 c 201 23 20 1 - 0.0000 -
206.15/206.71 c 207 27 22 1 - 0.0000 -
212.33/212.90 c 213 41 28 1 - 0.0000 -
217.61/218.22 c 218 56 29 1 - 0.0000 -
223.50/224.18 c 224 74 27 1 - 0.0000 -
228.78/229.46 c 229 85 26 1 - 0.0000 -
234.27/234.91 c 235 95 30 1 - 0.0000 -
240.74/241.43 c 241 107 28 1 - 0.0000 -
246.33/247.00 c 247 118 27 1 - 0.0000 -
251.61/252.35 c 252 122 27 1 - 0.0000 -
258.29/259.00 c 259 134 31 1 - 0.0000 -
263.78/264.50 c 264 149 28 1 - 0.0000 -
268.76/269.55 c 270 164 27 1 - 0.0000 -
274.15/274.91 c 275 180 27 1 - 0.0000 -
281.12/281.96 c 282 196 29 1 - 0.0000 -
286.11/286.99 c 287 210 29 1 - 0.0000 -
292.89/293.73 c 294 212 29 1 - 0.0000 -
298.28/299.14 c 299 213 30 1 - 0.0000 -
306.75/307.62 c 308 214 31 1 - 0.0000 -
325.21/326.12 c 326 216 33 1 - 0.0000 -
330.49/331.42 c 331 227 36 1 - 0.0000 -
337.08/338.07 c 338 239 38 1 - 0.0000 -
342.16/343.16 c 343 244 39 1 - 0.0000 -
347.94/348.98 c 349 251 44 1 - 0.0000 -
353.74/354.79 c 355 255 48 1 - 0.0000 -
365.01/366.06 c 366 257 50 1 - 0.0000 -
373.39/374.42 c 374 263 54 1 - 0.0000 -
379.08/380.13 c 380 278 51 1 - 0.0000 -
386.25/387.39 c 387 285 52 1 - 0.0000 -
393.73/394.81 c 395 286 53 1 - 0.0000 -
399.42/400.54 c 401 288 57 1 - 0.0000 -
441.11/442.37 c 442 292 59 1 - 0.0000 -
446.20/447.49 c 448 299 60 1 - 0.0000 -
455.58/456.82 c 457 302 63 1 - 0.0000 -
461.35/462.61 c 463 316 67 1 - 0.0000 -
468.13/469.40 c 469 337 66 1 - 0.0000 -
473.52/474.87 c 475 354 63 1 - 0.0000 -
479.81/481.20 c 481 367 66 1 - 0.0000 -
486.09/487.40 c 487 386 67 1 - 0.0000 -
491.87/493.29 c 493 400 63 1 - 0.0000 -
497.16/498.54 c 499 413 66 1 - 0.0000 -
503.75/505.11 c 505 434 67 1 - 0.0000 -
509.42/510.81 c 511 451 68 1 - 0.0000 -
515.01/516.41 c 516 464 66 1 - 0.0000 -
520.70/522.11 c 522 483 65 1 - 0.0000 -
526.69/528.14 c 528 493 66 1 - 0.0000 -
532.86/534.39 c 534 505 64 1 - 0.0000 -
538.05/539.58 c 540 515 66 1 - 0.0000 -
544.14/545.64 c 546 530 65 1 - 0.0000 -
550.32/551.85 c 552 545 66 1 - 0.0000 -
555.31/556.85 c 557 554 65 1 - 0.0000 -
560.69/562.29 c 562 565 64 1 - 0.0000 -
566.68/568.21 c 568 580 65 1 - 0.0000 -
571.87/573.47 c 573 590 65 1 - 0.0000 -
576.95/578.52 c 579 601 64 1 - 0.0000 -
582.94/584.51 c 585 612 63 1 - 0.0000 -
588.13/589.79 c 590 622 63 1 - 0.0000 -
594.51/596.14 c 596 634 63 1 - 0.0000 -
599.60/601.21 c 601 645 64 1 - 0.0000 -
604.58/606.27 c 606 658 67 1 - 0.0000 -
610.17/611.80 c 612 673 64 1 - 0.0000 -
615.36/617.01 c 617 680 65 1 - 0.0000 -
620.54/622.21 c 622 698 65 1 - 0.0000 -
626.33/628.01 c 628 713 66 1 - 0.0000 -
631.51/633.23 c 633 727 68 1 - 0.0000 -
636.80/638.54 c 639 739 66 1 - 0.0000 -
641.99/643.76 c 644 750 65 1 - 0.0000 -
648.27/650.00 c 650 760 65 1 - 0.0000 -
653.45/655.22 c 655 779 66 1 - 0.0000 -
659.44/661.27 c 661 817 70 1 - 0.0000 -
665.23/667.03 c 667 838 67 1 - 0.0000 -
671.12/672.93 c 673 863 64 1 - 0.0000 -
676.70/678.54 c 679 875 64 1 - 0.0000 -
683.88/685.75 c 686 890 65 1 - 0.0000 -
689.96/691.88 c 692 901 66 1 - 0.0000 -
695.15/697.00 c 697 912 67 1 - 0.0000 -
700.63/702.50 c 703 926 65 1 - 0.0000 -
706.61/708.55 c 709 939 64 1 - 0.0000 -
712.11/714.04 c 714 953 64 1 - 0.0000 -
719.98/721.96 c 722 964 61 1 - 0.0000 -
726.76/728.70 c 729 975 62 1 - 0.0000 -
733.15/735.13 c 735 978 65 1 - 0.0000 -
740.53/742.58 c 743 979 66 1 - 0.0000 -
746.71/748.74 c 749 992 69 1 - 0.0000 -
752.20/754.22 c 754 1011 74 1 - 0.0000 -
758.18/760.26 c 760 1020 73 1 - 0.0000 -
763.77/765.82 c 766 1035 74 1 - 0.0000 -
771.35/773.41 c 773 1049 78 1 - 0.0000 -
777.33/779.48 c 779 1052 81 1 - 0.0000 -
784.11/786.22 c 786 1053 82 1 - 0.0000 -
789.40/791.53 c 792 1058 83 1 - 0.0000 -
800.57/802.70 c 803 1062 87 1 - 0.0000 -
806.16/808.32 c 808 1071 88 1 - 0.0000 -
811.95/814.15 c 814 1079 92 1 - 0.0000 -
817.83/820.00 c 820 1094 93 1 - 0.0000 -
825.81/828.03 c 828 1109 100 1 - 0.0000 -
831.39/833.63 c 834 1120 101 1 - 0.0000 -
836.68/838.91 c 839 1135 100 1 - 0.0000 -
842.86/845.16 c 845 1153 100 1 - 0.0000 -
848.35/850.65 c 851 1165 102 1 - 0.0000 -
854.33/856.64 c 857 1177 102 1 - 0.0000 -
860.21/862.52 c 863 1188 103 1 - 0.0000 -
865.40/867.71 c 868 1206 107 1 - 0.0000 -
870.49/872.84 c 873 1229 106 1 - 0.0000 -
875.68/878.00 c 878 1247 102 1 - 0.0000 -
881.77/884.15 c 884 1261 102 1 - 0.0000 -
887.76/890.12 c 890 1275 102 1 - 0.0000 -
893.24/895.66 c 896 1284 101 1 - 0.0000 -
899.42/901.82 c 902 1297 102 1 - 0.0000 -
905.31/907.79 c 908 1314 104 1 - 0.0000 -
910.80/913.20 c 913 1329 107 1 - 0.0000 -
915.98/918.41 c 918 1357 107 1 - 0.0000 -
921.87/924.30 c 924 1371 107 1 - 0.0000 -
928.65/931.15 c 931 1386 106 1 - 0.0000 -
934.34/936.87 c 937 1395 107 1 - 0.0000 -
940.32/942.80 c 943 1413 109 1 - 0.0000 -
946.90/949.44 c 949 1436 110 1 - 0.0000 -
951.89/954.48 c 954 1452 112 1 - 0.0000 -
958.48/961.08 c 961 1476 110 1 - 0.0000 -
964.26/966.87 c 967 1489 109 1 - 0.0000 -
969.45/972.01 c 972 1506 106 1 - 0.0000 -
975.13/977.74 c 978 1522 108 1 - 0.0000 -
980.22/982.88 c 983 1548 108 1 - 0.0000 -
986.60/989.28 c 989 1564 106 1 - 0.0000 -
992.59/995.22 c 995 1583 107 1 - 0.0000 -
998.07/1000.70 c 1001 1591 107 1 - 0.0000 -
1003.86/1006.59 c 1007 1607 105 1 - 0.0000 -
1012.04/1014.78 c 1015 1616 106 1 - 0.0000 -
1019.22/1021.91 c 1022 1621 111 1 - 0.0000 -
1103.21/1106.15 c 1106 1622 112 1 - 0.0000 -
1108.21/1111.17 c 1111 1627 113 1 - 0.0000 -
1146.01/1149.05 c 1149 1634 118 1 - 0.0000 -
1151.79/1154.82 c 1155 1637 121 1 - 0.0000 -
1156.78/1159.83 c 1160 1641 125 1 - 0.0000 -
1163.36/1166.44 c 1166 1642 126 1 - 0.0000 -
1169.55/1172.61 c 1173 1656 128 1 - 0.0000 -
1175.63/1178.73 c 1179 1661 131 1 - 0.0000 -
1187.90/1191.00 c 1191 1663 133 1 - 0.0000 -
1193.18/1196.38 c 1196 1676 134 1 - 0.0000 -
1199.07/1202.24 c 1202 1693 135 1 - 0.0000 -
1204.86/1208.09 c 1208 1703 141 1 - 0.0000 -
1210.34/1213.56 c 1214 1742 142 1 - 0.0000 -
1215.52/1218.75 c 1219 1768 140 1 - 0.0000 -
1220.62/1223.84 c 1224 1779 141 1 - 0.0000 -
1226.80/1230.02 c 1230 1783 145 1 - 0.0000 -
1232.89/1236.16 c 1236 1785 147 1 - 0.0000 -
1248.64/1251.93 c 1252 1801 153 1 - 0.0000 -
1253.83/1257.12 c 1257 1805 157 1 - 0.0000 -
1266.30/1269.62 c 1270 1808 160 1 - 0.0000 -
1272.28/1275.70 c 1276 1821 163 1 - 0.0000 -
1278.97/1282.34 c 1282 1826 168 1 - 0.0000 -
1286.25/1289.69 c 1290 1834 176 1 - 0.0000 -
1292.52/1295.95 c 1296 1855 189 1 - 0.0000 -
1298.12/1301.51 c 1302 1863 189 1 - 0.0000 -
1304.00/1307.45 c 1307 1876 190 1 - 0.0000 -
1309.69/1313.14 c 1313 1887 199 1 - 0.0000 -
1315.47/1318.99 c 1319 1900 202 1 - 0.0000 -
1320.67/1324.17 c 1324 1905 201 1 - 0.0000 -
1329.54/1333.09 c 1333 1911 207 1 - 0.0000 -
1369.83/1373.49 c 1374 1912 208 1 - 0.0000 -
1375.92/1379.51 c 1380 1935 214 1 - 0.0000 -
1381.11/1384.76 c 1385 1952 217 1 - 0.0000 -
1386.79/1390.42 c 1390 1990 217 1 - 0.0000 -
1391.97/1395.67 c 1396 2021 220 1 - 0.0000 -
1397.66/1401.36 c 1401 2033 222 1 - 0.0000 -
1403.35/1407.06 c 1407 2051 221 1 - 0.0000 -
1408.53/1412.25 c 1412 2068 221 1 - 0.0000 -
1414.22/1417.98 c 1418 2086 221 1 - 0.0000 -
1421.10/1424.88 c 1425 2102 222 1 - 0.0000 -
1426.98/1430.76 c 1431 2119 227 1 - 0.0000 -
1432.67/1436.43 c 1436 2132 226 1 - 0.0000 -
1437.95/1441.78 c 1442 2144 222 1 - 0.0000 -
1443.74/1447.52 c 1448 2160 222 1 - 0.0000 -
1450.72/1454.51 c 1455 2174 220 1 - 0.0000 -
1456.81/1460.66 c 1461 2183 219 1 - 0.0000 -
1463.20/1467.00 c 1467 2200 218 1 - 0.0000 -
1468.68/1472.53 c 1473 2215 221 1 - 0.0000 -
1474.17/1478.01 c 1478 2236 219 1 - 0.0000 -
1479.35/1483.26 c 1483 2249 216 1 - 0.0000 -
1484.54/1488.41 c 1488 2263 218 1 - 0.0000 -
1491.13/1495.09 c 1495 2280 219 1 - 0.0000 -
1496.81/1500.75 c 1501 2292 220 1 - 0.0000 -
1502.39/1506.39 c 1506 2306 220 1 - 0.0000 -
1508.78/1512.70 c 1513 2331 221 1 - 0.0000 -
1515.37/1519.36 c 1519 2350 222 1 - 0.0000 -
1520.85/1524.80 c 1525 2369 221 1 - 0.0000 -
1525.93/1529.96 c 1530 2379 221 1 - 0.0000 -
1531.62/1535.60 c 1536 2399 221 1 - 0.0000 -
1537.20/1541.23 c 1541 2415 223 1 - 0.0000 -
1542.78/1546.80 c 1547 2441 221 1 - 0.0000 -
1548.66/1552.73 c 1553 2457 221 1 - 0.0000 -
1554.54/1558.62 c 1559 2471 219 1 - 0.0000 -
1560.32/1564.48 c 1564 2483 223 1 - 0.0000 -
1565.61/1569.73 c 1570 2501 223 1 - 0.0000 -
1571.39/1575.59 c 1576 2525 223 1 - 0.0000 -
1576.57/1580.70 c 1581 2538 226 1 - 0.0000 -
1583.35/1587.59 c 1588 2556 224 1 - 0.0000 -
1589.93/1594.16 c 1594 2561 227 1 - 0.0000 -
1594.92/1599.17 c 1599 2564 230 1 - 0.0000 -
1600.10/1604.33 c 1604 2572 236 1 - 0.0000 -
1605.89/1610.11 c 1610 2578 238 1 - 0.0000 -
1611.88/1616.13 c 1616 2587 241 1 - 0.0000 -
1617.76/1622.02 c 1622 2601 243 1 - 0.0000 -
1623.64/1627.98 c 1628 2615 243 1 - 0.0000 -
1629.13/1633.48 c 1633 2623 243 1 - 0.0000 -
1634.72/1639.07 c 1639 2636 241 1 - 0.0000 -
1640.30/1644.68 c 1645 2644 241 1 - 0.0000 -
1649.58/1653.91 c 1654 2652 249 1 - 0.0000 -
1655.57/1659.94 c 1660 2656 253 1 - 0.0000 -
1672.63/1677.07 c 1677 2658 255 1 - 0.0000 -
1684.89/1689.36 c 1689 2660 257 1 - 0.0000 -
1690.18/1694.60 c 1695 2665 0 1 - 0.0000 -
1754.62/1759.23 c 1759 2665 0 1 - 0.0000 -
1776.16/1780.89 c 1781 2666 1 1 - 0.0000 -
1787.53/1792.29 c 1792 2676 11 1 - 0.0000 -
1795.21/1799.94 c 1800 2678 13 1 - 0.0000 -
1801.40/1806.14 c 1806 2685 18 1 - 0.0000 -
1809.28/1814.09 c 1814 2686 19 1 - 0.0000 -
1814.46/1819.22 c 1819 2703 26 1 - 0.0000 -
1819.65/1824.47 c 1824 2724 27 1 - 0.0000 -
1824.73/1829.50 c 1830 2727 28 1 - 0.0000 -
1833.41/1838.24 c 1838 2729 30 1 - 0.0000 -
1851.67/1856.52 c 1857 2730 31 1 - 0.0000 -
1857.55/1862.45 c 1862 2755 32 1 - 0.0000 -
1863.84/1868.72 c 1869 2776 31 1 - 0.0000 -
1871.02/1875.99 c 1876 2797 34 1 - 0.0000 -
1889.97/1894.98 c 1895 2800 37 1 - 0.0000 -
1895.85/1900.86 c 1901 2825 38 1 - 0.0000 -
1901.74/1906.71 c 1907 2844 37 1 - 0.0000 -
1911.02/1916.09 c 1916 2851 40 1 - 0.0000 -
1916.90/1921.99 c 1922 2879 38 1 - 0.0000 -
1922.78/1927.85 c 1928 2905 43 1 - 0.0000 -
1928.47/1933.59 c 1934 2928 46 1 - 0.0000 -
1934.56/1939.64 c 1940 2957 45 1 - 0.0000 -
1940.45/1945.53 c 1946 2980 44 1 - 0.0000 -
1946.33/1951.44 c 1951 2991 45 1 - 0.0000 -
1951.62/1956.72 c 1957 3011 45 1 - 0.0000 -
1957.31/1962.43 c 1962 3031 47 1 - 0.0000 -
1962.29/1967.48 c 1967 3049 51 1 - 0.0000 -
1968.08/1973.27 c 1973 3082 49 1 - 0.0000 -
1973.46/1978.61 c 1979 3139 56 1 - 0.0000 -
1979.25/1984.45 c 1984 3181 56 1 - 0.0000 -
1984.94/1990.10 c 1990 3208 57 1 - 0.0000 -
1991.12/1996.30 c 1996 3241 56 1 - 0.0000 -
1996.81/2002.03 c 2002 3272 55 1 - 0.0000 -
2002.29/2007.53 c 2008 3311 58 1 - 0.0000 -
2007.37/2012.69 c 2013 3369 56 1 - 0.0000 -
2013.16/2018.43 c 2018 3412 59 1 - 0.0000 -
2019.24/2024.52 c 2025 3446 59 1 - 0.0000 -
2024.53/2029.85 c 2030 3480 63 1 - 0.0000 -
2030.01/2035.31 c 2035 3530 61 1 - 0.0000 -
2035.40/2040.71 c 2041 3566 65 1 - 0.0000 -
2041.29/2046.63 c 2047 3595 60 1 - 0.0000 -
2046.77/2052.18 c 2052 3631 64 1 - 0.0000 -
2052.56/2057.95 c 2058 3662 61 1 - 0.0000 -
2058.14/2063.58 c 2064 3696 61 1 - 0.0000 -
2063.63/2069.06 c 2069 3734 65 1 - 0.0000 -
2068.91/2074.37 c 2074 3764 57 1 - 0.0000 -
2074.90/2080.33 c 2080 3793 58 1 - 0.0000 -
2080.48/2085.94 c 2086 3813 56 1 - 0.0000 -
2085.87/2091.32 c 2091 3841 56 1 - 0.0000 -
2091.15/2096.65 c 2097 3870 55 1 - 0.0000 -
2096.64/2102.17 c 2102 3908 57 1 - 0.0000 -
2102.23/2107.76 c 2108 3945 56 1 - 0.0000 -
2107.62/2113.12 c 2113 3986 57 1 - 0.0000 -
2113.50/2119.09 c 2119 4017 56 1 - 0.0000 -
2119.28/2124.88 c 2125 4043 54 1 - 0.0000 -
2124.77/2130.34 c 2130 4079 60 1 - 0.0000 -
2130.15/2135.75 c 2136 4111 58 1 - 0.0000 -
2135.84/2141.44 c 2141 4134 57 1 - 0.0000 -
2141.13/2146.75 c 2147 4164 55 1 - 0.0000 -
2146.82/2152.40 c 2152 4195 56 1 - 0.0000 -
2151.81/2157.41 c 2157 4220 57 1 - 0.0000 -
2157.69/2163.31 c 2163 4238 55 1 - 0.0000 -
2163.57/2169.21 c 2169 4258 53 1 - 0.0000 -
2169.16/2174.81 c 2175 4297 54 1 - 0.0000 -
2174.54/2180.28 c 2180 4331 52 1 - 0.0000 -
2180.33/2186.04 c 2186 4371 52 1 - 0.0000 -
2186.01/2191.74 c 2192 4415 52 1 - 0.0000 -
2191.51/2197.21 c 2197 4441 54 1 - 0.0000 -
2196.99/2202.70 c 2203 4459 52 1 - 0.0000 -
2202.68/2208.40 c 2208 4483 54 1 - 0.0000 -
2208.06/2213.89 c 2214 4521 54 1 - 0.0000 -
2213.45/2219.27 c 2219 4568 57 1 - 0.0000 -
2219.34/2225.16 c 2225 4598 55 1 - 0.0000 -
2225.51/2231.35 c 2231 4628 57 1 - 0.0000 -
2231.10/2236.97 c 2237 4666 55 1 - 0.0000 -
2236.29/2242.18 c 2242 4690 53 1 - 0.0000 -
2241.67/2247.50 c 2248 4716 53 1 - 0.0000 -
2247.26/2253.15 c 2253 4740 53 1 - 0.0000 -
2252.34/2258.23 c 2258 4766 51 1 - 0.0000 -
2257.63/2263.50 c 2264 4803 52 1 - 0.0000 -
2263.42/2269.31 c 2269 4841 54 1 - 0.0000 -
2269.00/2274.92 c 2275 4881 54 1 - 0.0000 -
2274.58/2280.59 c 2281 4927 54 1 - 0.0000 -
2279.98/2285.96 c 2286 4955 54 1 - 0.0000 -
2285.66/2291.61 c 2292 4983 52 1 - 0.0000 -
2291.15/2297.19 c 2297 5017 52 1 - 0.0000 -
2296.73/2302.78 c 2303 5050 53 1 - 0.0000 -
2302.62/2308.65 c 2309 5088 55 1 - 0.0000 -
2307.90/2313.94 c 2314 5124 51 1 - 0.0000 -
2313.38/2319.44 c 2319 5156 53 1 - 0.0000 -
2318.98/2325.10 c 2325 5186 49 1 - 0.0000 -
2324.75/2330.89 c 2331 5216 53 1 - 0.0000 -
2330.15/2336.21 c 2336 5251 52 1 - 0.0000 -
2335.84/2341.98 c 2342 5277 52 1 - 0.0000 -
2341.42/2347.55 c 2348 5314 55 1 - 0.0000 -
2347.01/2353.13 c 2353 5345 55 1 - 0.0000 -
2352.79/2358.98 c 2359 5379 55 1 - 0.0000 -
2358.57/2364.79 c 2365 5404 54 1 - 0.0000 -
2364.15/2370.37 c 2370 5441 55 1 - 0.0000 -
2369.74/2375.92 c 2376 5466 52 1 - 0.0000 -
2375.33/2381.51 c 2382 5495 51 1 - 0.0000 -
2380.31/2386.53 c 2387 5511 51 1 - 0.0000 -
2386.10/2392.34 c 2392 5533 51 1 - 0.0000 -
2392.18/2398.49 c 2398 5554 50 1 - 0.0000 -
2397.96/2404.29 c 2404 5577 53 1 - 0.0000 -
2404.76/2411.01 c 2411 5613 51 1 - 0.0000 -
2409.94/2416.23 c 2416 5637 53 1 - 0.0000 -
2415.93/2422.24 c 2422 5662 50 1 - 0.0000 -
2421.21/2427.52 c 2428 5683 53 1 - 0.0000 -
2427.40/2433.79 c 2434 5708 52 1 - 0.0000 -
2432.69/2439.02 c 2439 5724 56 1 - 0.0000 -
2437.87/2444.27 c 2444 5740 54 1 - 0.0000 -
2443.66/2450.07 c 2450 5756 51 1 - 0.0000 -
2449.44/2455.83 c 2456 5787 50 1 - 0.0000 -
2455.42/2461.88 c 2462 5825 54 1 - 0.0000 -
2460.72/2467.19 c 2467 5869 54 1 - 0.0000 -
2466.30/2472.76 c 2473 5916 51 1 - 0.0000 -
2472.38/2478.85 c 2479 5934 51 1 - 0.0000 -
2478.86/2485.30 c 2485 5953 50 1 - 0.0000 -
2484.05/2490.50 c 2491 5971 50 1 - 0.0000 -
2489.54/2496.04 c 2496 6011 54 1 - 0.0000 -
2495.32/2501.83 c 2502 6047 52 1 - 0.0000 -
2500.61/2507.19 c 2507 6084 51 1 - 0.0000 -
2506.99/2513.58 c 2514 6138 53 1 - 0.0000 -
2512.07/2518.65 c 2519 6158 54 1 - 0.0000 -
2517.66/2524.21 c 2524 6197 49 1 - 0.0000 -
2522.65/2529.29 c 2529 6227 53 1 - 0.0000 -
2527.94/2534.59 c 2535 6261 55 1 - 0.0000 -
2534.12/2540.75 c 2541 6292 55 1 - 0.0000 -
2539.91/2546.58 c 2547 6328 54 1 - 0.0000 -
2545.59/2552.22 c 2552 6362 52 1 - 0.0000 -
2551.18/2557.89 c 2558 6394 56 1 - 0.0000 -
2557.56/2564.27 c 2564 6425 53 1 - 0.0000 -
2563.25/2569.99 c 2570 6456 66 1 - 0.0000 -
2569.23/2575.99 c 2576 6487 61 1 - 0.0000 -
2574.51/2581.23 c 2581 6529 57 1 - 0.0000 -
2580.20/2586.92 c 2587 6558 54 1 - 0.0000 -
2585.68/2592.49 c 2592 6587 55 1 - 0.0000 -
2591.58/2598.38 c 2598 6610 52 1 - 0.0000 -
2597.27/2604.09 c 2604 6635 51 1 - 0.0000 -
2602.95/2609.79 c 2610 6666 52 1 - 0.0000 -
2608.43/2615.29 c 2615 6697 48 1 - 0.0000 -
2614.32/2621.12 c 2621 6720 49 1 - 0.0000 -
2620.21/2627.03 c 2627 6748 53 1 - 0.0000 -
2625.69/2632.57 c 2633 6774 47 1 - 0.0000 -
2631.28/2638.18 c 2638 6803 52 1 - 0.0000 -
2636.96/2643.83 c 2644 6827 50 1 - 0.0000 -
2642.84/2649.77 c 2650 6849 46 1 - 0.0000 -
2648.53/2655.45 c 2655 6877 50 1 - 0.0000 -
2654.61/2661.55 c 2662 6907 48 1 - 0.0000 -
2660.00/2666.90 c 2667 6939 48 1 - 0.0000 -
2665.38/2672.30 c 2672 6970 48 1 - 0.0000 -
2671.17/2678.13 c 2678 7004 50 1 - 0.0000 -
2676.65/2683.63 c 2684 7037 54 1 - 0.0000 -
2681.84/2688.89 c 2689 7078 55 1 - 0.0000 -
2687.04/2694.02 c 2694 7112 59 1 - 0.0000 -
2693.03/2700.08 c 2700 7153 58 1 - 0.0000 -
2698.41/2705.44 c 2705 7191 60 1 - 0.0000 -
2703.69/2710.77 c 2711 7222 57 1 - 0.0000 -
2709.38/2716.45 c 2716 7253 52 1 - 0.0000 -
2715.16/2722.29 c 2722 7296 57 1 - 0.0000 -
2720.65/2727.77 c 2728 7320 59 1 - 0.0000 -
2726.13/2733.28 c 2733 7355 56 1 - 0.0000 -
2731.92/2739.08 c 2739 7394 51 1 - 0.0000 -
2737.50/2744.69 c 2745 7412 49 1 - 0.0000 -
2743.48/2750.68 c 2751 7429 47 1 - 0.0000 -
2748.77/2755.90 c 2756 7453 62 1 - 0.0000 -
2754.16/2761.32 c 2761 7477 57 1 - 0.0000 -
2759.85/2767.02 c 2767 7496 64 1 - 0.0000 -
2764.93/2772.15 c 2772 7513 63 1 - 0.0000 -
2770.02/2777.22 c 2777 7527 61 1 - 0.0000 -
2775.70/2782.93 c 2783 7546 62 1 - 0.0000 -
2781.48/2788.76 c 2789 7574 59 1 - 0.0000 -
2787.37/2794.62 c 2795 7596 57 1 - 0.0000 -
2792.96/2800.26 c 2800 7628 61 1 - 0.0000 -
2798.85/2806.19 c 2806 7651 55 1 - 0.0000 -
2804.23/2811.59 c 2812 7668 53 1 - 0.0000 -
2810.41/2817.70 c 2818 7691 60 1 - 0.0000 -
2816.40/2823.77 c 2824 7728 59 1 - 0.0000 -
2822.79/2830.14 c 2830 7774 56 1 - 0.0000 -
2829.07/2836.40 c 2836 7789 57 1 - 0.0000 -
2841.24/2848.64 c 2849 7816 53 1 - 0.0000 -
2846.82/2854.21 c 2854 7828 59 1 - 0.0000 -
2852.21/2859.65 c 2860 7844 55 1 - 0.0000 -
2858.29/2865.71 c 2866 7868 51 1 - 0.0000 -
2863.28/2870.73 c 2871 7889 49 1 - 0.0000 -
2868.76/2876.24 c 2876 7899 47 1 - 0.0000 -
2873.95/2881.47 c 2881 7926 48 1 - 0.0000 -
2879.04/2886.57 c 2887 7962 49 1 - 0.0000 -
2885.63/2893.12 c 2893 8002 50 1 - 0.0000 -
2891.71/2899.22 c 2899 8044 47 1 - 0.0000 -
2897.50/2905.01 c 2905 8065 44 1 - 0.0000 -
2902.48/2910.07 c 2910 8076 47 1 - 0.0000 -
2908.36/2915.92 c 2916 8103 56 1 - 0.0000 -
2914.35/2921.93 c 2922 8133 52 1 - 0.0000 -
2920.13/2927.75 c 2928 8163 50 1 - 0.0000 -
2926.22/2933.82 c 2934 8190 49 1 - 0.0000 -
2931.80/2939.47 c 2939 8222 52 1 - 0.0000 -
2937.59/2945.21 c 2945 8251 51 1 - 0.0000 -
2943.07/2950.79 c 2951 8282 47 1 - 0.0000 -
2949.07/2956.79 c 2957 8310 47 1 - 0.0000 -
2954.85/2962.55 c 2963 8343 50 1 - 0.0000 -
2960.73/2968.41 c 2968 8372 47 1 - 0.0000 -
2966.33/2974.00 c 2974 8401 46 1 - 0.0000 -
2971.31/2979.06 c 2979 8436 47 1 - 0.0000 -
2976.79/2984.59 c 2985 8465 50 1 - 0.0000 -
2981.88/2989.66 c 2990 8490 49 1 - 0.0000 -
2987.66/2995.48 c 2995 8519 48 1 - 0.0000 -
2993.15/3000.95 c 3001 8556 51 1 - 0.0000 -
2998.93/3006.72 c 3007 8584 48 1 - 0.0000 -
3004.32/3012.16 c 3012 8611 47 1 - 0.0000 -
3009.80/3017.67 c 3018 8636 48 1 - 0.0000 -
3015.29/3023.19 c 3023 8668 50 1 - 0.0000 -
3021.28/3029.18 c 3029 8701 45 1 - 0.0000 -
3027.36/3035.29 c 3035 8726 51 1 - 0.0000 -
3032.74/3040.68 c 3041 8752 51 1 - 0.0000 -
3038.23/3046.14 c 3046 8787 52 1 - 0.0000 -
3043.71/3051.63 c 3052 8830 51 1 - 0.0000 -
3049.30/3057.23 c 3057 8872 49 1 - 0.0000 -
3054.89/3062.86 c 3063 8904 51 1 - 0.0000 -
3060.37/3068.33 c 3068 8929 54 1 - 0.0000 -
3066.16/3074.15 c 3074 8954 51 1 - 0.0000 -
3072.05/3080.09 c 3080 8985 50 1 - 0.0000 -
3077.73/3085.74 c 3086 9012 53 1 - 0.0000 -
3083.71/3091.76 c 3092 9047 50 1 - 0.0000 -
3089.81/3097.87 c 3098 9082 50 1 - 0.0000 -
3095.49/3103.54 c 3104 9112 50 1 - 0.0000 -
3101.08/3109.15 c 3109 9142 52 1 - 0.0000 -
3106.86/3114.99 c 3115 9169 51 1 - 0.0000 -
3112.75/3120.82 c 3121 9196 52 1 - 0.0000 -
3118.43/3126.54 c 3127 9225 53 1 - 0.0000 -
3123.92/3132.08 c 3132 9255 53 1 - 0.0000 -
3129.91/3138.04 c 3138 9284 52 1 - 0.0000 -
3135.89/3144.05 c 3144 9311 53 1 - 0.0000 -
3142.07/3150.22 c 3150 9342 54 1 - 0.0000 -
3148.26/3156.43 c 3156 9372 54 1 - 0.0000 -
3153.95/3162.17 c 3162 9401 55 1 - 0.0000 -
3159.83/3168.01 c 3168 9435 51 1 - 0.0000 -
3165.11/3173.38 c 3173 9466 54 1 - 0.0000 -
3170.80/3179.02 c 3179 9508 51 1 - 0.0000 -
3175.89/3184.16 c 3184 9534 53 1 - 0.0000 -
3181.37/3189.63 c 3190 9559 52 1 - 0.0000 -
3187.45/3195.78 c 3196 9590 51 1 - 0.0000 -
3193.44/3201.79 c 3202 9619 52 1 - 0.0000 -
3199.33/3207.64 c 3208 9650 53 1 - 0.0000 -
3204.41/3212.77 c 3213 9667 50 1 - 0.0000 -
3210.50/3218.85 c 3219 9700 49 1 - 0.0000 -
3216.38/3224.72 c 3225 9729 48 1 - 0.0000 -
3222.67/3231.09 c 3231 9752 47 1 - 0.0000 -
3228.45/3236.89 c 3237 9779 50 1 - 0.0000 -
3234.03/3242.43 c 3242 9819 50 1 - 0.0000 -
3239.52/3247.96 c 3248 9853 48 1 - 0.0000 -
3245.11/3253.54 c 3254 9884 49 1 - 0.0000 -
3250.49/3258.97 c 3259 9914 49 1 - 0.0000 -
3256.17/3264.62 c 3265 9948 49 1 - 0.0000 -
3261.56/3270.09 c 3270 9983 52 1 - 0.0000 -
3267.24/3275.76 c 3276 10012 51 1 - 0.0000 -
3273.03/3281.54 c 3282 10047 49 1 - 0.0000 -
3278.62/3287.19 c 3287 10075 49 1 - 0.0000 -
3284.51/3293.05 c 3293 10102 50 1 - 0.0000 -
3289.89/3298.42 c 3298 10133 49 1 - 0.0000 -
3295.27/3303.88 c 3304 10162 50 1 - 0.0000 -
3301.16/3309.75 c 3310 10198 50 1 - 0.0000 -
3306.64/3315.25 c 3315 10227 51 1 - 0.0000 -
3312.43/3321.00 c 3321 10262 48 1 - 0.0000 -
3318.21/3326.82 c 3327 10293 47 1 - 0.0000 -
3323.60/3332.29 c 3332 10325 49 1 - 0.0000 -
3329.28/3337.95 c 3338 10355 48 1 - 0.0000 -
3335.17/3343.87 c 3344 10388 47 1 - 0.0000 -
3340.55/3349.29 c 3349 10414 47 1 - 0.0000 -
3346.35/3355.07 c 3355 10459 47 1 - 0.0000 -
3352.13/3360.82 c 3361 10496 44 1 - 0.0000 -
3358.12/3366.84 c 3367 10528 48 1 - 0.0000 -
3363.80/3372.52 c 3373 10565 47 1 - 0.0000 -
3369.19/3377.92 c 3378 10597 50 1 - 0.0000 -
3375.17/3383.93 c 3384 10626 49 1 - 0.0000 -
3380.27/3389.05 c 3389 10659 48 1 - 0.0000 -
3386.35/3395.15 c 3395 10704 46 1 - 0.0000 -
3392.23/3401.09 c 3401 10745 46 1 - 0.0000 -
3398.22/3407.09 c 3407 10776 48 1 - 0.0000 -
3404.31/3413.13 c 3413 10815 46 1 - 0.0000 -
3410.08/3418.91 c 3419 10846 49 1 - 0.0000 -
3415.97/3424.82 c 3425 10884 46 1 - 0.0000 -
3422.05/3430.92 c 3431 10918 48 1 - 0.0000 -
3427.74/3436.64 c 3437 10952 45 1 - 0.0000 -
3433.52/3442.41 c 3442 10974 45 1 - 0.0000 -
3439.41/3448.36 c 3448 11001 46 1 - 0.0000 -
3444.99/3453.93 c 3454 11026 45 1 - 0.0000 -
3450.28/3459.20 c 3459 11047 46 1 - 0.0000 -
3455.76/3464.72 c 3465 11076 44 1 - 0.0000 -
3461.55/3470.53 c 3471 11100 40 1 - 0.0000 -
3467.23/3476.20 c 3476 11119 51 1 - 0.0000 -
3472.22/3481.21 c 3481 11138 49 1 - 0.0000 -
3477.81/3486.85 c 3487 11172 51 1 - 0.0000 -
3483.49/3492.56 c 3493 11208 53 1 - 0.0000 -
3489.18/3498.26 c 3498 11241 52 1 - 0.0000 -
3494.97/3504.07 c 3504 11267 51 1 - 0.0000 -
3500.85/3509.90 c 3510 11291 49 1 - 0.0000 -
3506.23/3515.33 c 3515 11316 51 1 - 0.0000 -
3512.03/3521.17 c 3521 11352 47 1 - 0.0000 -
3517.71/3526.86 c 3527 11387 52 1 - 0.0000 -
3523.49/3532.60 c 3533 11417 48 1 - 0.0000 -
3529.08/3538.24 c 3538 11434 49 1 - 0.0000 -
3534.76/3543.98 c 3544 11464 51 1 - 0.0000 -
3540.35/3549.57 c 3550 11490 49 1 - 0.0000 -
3546.63/3555.82 c 3556 11502 53 1 - 0.0000 -
3552.21/3561.43 c 3561 11521 56 1 - 0.0000 -
3558.20/3567.44 c 3567 11544 55 1 - 0.0000 -
3563.79/3573.03 c 3573 11573 56 1 - 0.0000 -
3569.96/3579.28 c 3579 11605 54 1 - 0.0000 -
3575.35/3584.61 c 3585 11630 51 1 - 0.0000 -
3580.74/3590.09 c 3590 11659 56 1 - 0.0000 -
3586.13/3595.44 c 3595 11691 54 1 - 0.0000 -
3590.72/3600.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.72/3600.07 c Total Time : 3600.0700
3590.72/3600.07 c solving : 3600.0700
3590.72/3600.07 c presolving : 9.7588 (included in solving)
3590.72/3600.07 c B&B Tree :
3590.72/3600.07 c nodes (total) : 1
3590.72/3600.07 c Solution :
3590.72/3600.07 c Solutions found : 0
3590.72/3600.07 c Primal Bound : -
3590.72/3600.07 c Dual Bound : +0.00000000000000e+00
3590.72/3600.07 c Gap : -
3590.72/3600.10 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 (62073 MiB free)
memory of node 1: 64510 MiB (62997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447130-1721347761/watcher-4447130-1721347761 -o /tmp/evaluation-result-4447130-1721347761/solver-4447130-1721347761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721340572-980431 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447130-1721347761.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=984790, runsolver pid=984784
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.06 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127987840/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=64792 memory=53448 CPUtime=0.09 cores=5,7
/proc/984790/stat : 984790 (fscip) R 984784 984790 980418 0 -1 4194304 12029 0 0 0 8 1 0 0 20 0 1 0 186936300 66347008 13362 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 16198 13362 2638 3032 0 12598 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64792 KiB
Current children cumulated memory: 53448 KiB
[startup+0.205641 s]*
/proc/loadavg: 4.06 4.11 4.09 6/256 984800
/proc/meminfo: memFree=127973968/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=69228 memory=57740 CPUtime=0.2 cores=5,7
/proc/984790/stat : 984790 (fscip) R 984784 984790 980418 0 -1 4194304 13734 0 0 0 18 2 0 0 20 0 1 0 186936300 70889472 14435 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 17307 14435 2718 3032 0 13707 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69228 KiB
Current children cumulated memory: 57740 KiB
[startup+0.304925 s]*
/proc/loadavg: 4.06 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127930776/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=85044 memory=71300 CPUtime=0.3 cores=5,7
/proc/984790/stat : 984790 (fscip) R 984784 984790 980418 0 -1 4194304 17168 0 0 0 28 2 0 0 20 0 1 0 186936300 87085056 17825 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 21261 17825 2718 3032 0 17661 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85044 KiB
Current children cumulated memory: 71300 KiB
[startup+0.700204 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127910576/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=92000 memory=78176 CPUtime=0.69 cores=5,7
/proc/984790/stat : 984790 (fscip) R 984784 984790 980418 0 -1 4194304 18912 0 0 0 66 3 0 0 20 0 1 0 186936300 94208000 19544 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 23000 19544 2734 3032 0 19400 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 92000 KiB
Current children cumulated memory: 78176 KiB
[startup+1.50022 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127909832/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=92188 memory=78436 CPUtime=1.49 cores=5,7
/proc/984790/stat : 984790 (fscip) R 984784 984790 980418 0 -1 4194304 18961 0 0 0 146 3 0 0 20 0 1 0 186936300 94400512 19609 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 23047 19609 2734 3032 0 19447 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 92188 KiB
Current children cumulated memory: 78436 KiB
[startup+3.10537 s]
/proc/loadavg: 4.05 4.11 4.09 5/254 984846
/proc/meminfo: memFree=128207608/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=93392 memory=80020 CPUtime=3.09 cores=5,7
/proc/984790/stat : 984790 (fscip) R 984784 984790 980418 0 -1 4194304 19382 0 0 0 306 3 0 0 20 0 1 0 186936300 95633408 20005 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 23348 20005 2734 3032 0 19748 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 93392 KiB
Current children cumulated memory: 80020 KiB
[startup+6.30022 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 984848
/proc/meminfo: memFree=128135868/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=93392 memory=80020 CPUtime=6.27 cores=5,7
/proc/984790/stat : 984790 (fscip) R 984784 984790 980418 0 -1 4194304 19388 0 0 0 624 3 0 0 20 0 1 0 186936300 95633408 20005 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 23348 20005 2734 3032 0 19748 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93392 KiB
Current children cumulated memory: 80020 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 984855
/proc/meminfo: memFree=127777316/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=309908 memory=199508 CPUtime=12.64 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 57106 0 0 0 1256 8 0 0 20 0 3 0 186936300 317345792 49877 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 77477 49877 2910 3032 0 59525 0
[pid=984790/tid=984853] ppid=984784 vsize=309908 memory=196812 CPUtime=2.85 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 25552 0 0 0 282 3 0 0 20 0 3 0 186937280 317345792 49877 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=309908 memory=2657 CPUtime=0 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 186937283 317345792 49877 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 309908 KiB
Current children cumulated memory: 199508 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 984857
/proc/meminfo: memFree=127726776/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=310044 memory=203720 CPUtime=25.4 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 73732 0 0 0 2531 9 0 0 20 0 3 0 186936300 317485056 50930 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 77511 50930 2926 3032 0 60564 0
[pid=984790/tid=984853] ppid=984784 vsize=310044 memory=11400 CPUtime=15.62 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 42150 0 0 0 1558 4 0 0 20 0 3 0 186937280 317485056 50930 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=310044 memory=11400 CPUtime=0 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 186937283 317485056 50930 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 310044 KiB
Current children cumulated memory: 203720 KiB
[startup+51.1053 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 984865
/proc/meminfo: memFree=127489288/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=312160 memory=205076 CPUtime=50.94 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 87197 0 0 0 5085 9 0 0 20 0 3 0 186936300 319651840 51269 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 78040 51269 2926 3032 0 61254 0
[pid=984790/tid=984853] ppid=984784 vsize=312160 memory=205064 CPUtime=41.15 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 55594 0 0 0 4111 4 0 0 20 0 3 0 186937280 319651840 51269 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=312160 memory=205064 CPUtime=0 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 186937283 319651840 51269 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 312160 KiB
Current children cumulated memory: 205076 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 984875
/proc/meminfo: memFree=127391524/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=384272 memory=297056 CPUtime=102 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 141726 0 0 0 10185 15 0 0 20 0 3 0 186936300 393494528 74264 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 96068 74264 2942 3032 0 84536 0
[pid=984790/tid=984853] ppid=984784 vsize=384272 memory=297056 CPUtime=92.22 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 110113 0 0 0 9212 10 0 0 20 0 3 0 186937280 393494528 74264 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=384272 memory=297056 CPUtime=0 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 3 0 186937283 393494528 74264 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 384272 KiB
Current children cumulated memory: 297056 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 984885
/proc/meminfo: memFree=127379452/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=384272 memory=299744 CPUtime=161.86 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 175896 0 0 0 16168 18 0 0 20 0 3 0 186936300 393494528 74936 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 96068 74936 2990 3032 0 84536 0
[pid=984790/tid=984853] ppid=984784 vsize=384272 memory=11400 CPUtime=152.07 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 144238 0 0 0 15194 13 0 0 20 0 3 0 186937280 393494528 74936 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=384272 memory=297064 CPUtime=0 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 79 0 0 0 0 0 0 0 20 0 3 0 186937283 393494528 74936 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 384272 KiB
Current children cumulated memory: 299744 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 984895
/proc/meminfo: memFree=127364448/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=384272 memory=301896 CPUtime=221.7 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 222319 0 0 0 22148 22 0 0 20 0 3 0 186936300 393494528 75474 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 96068 75474 2990 3032 0 89039 0
[pid=984790/tid=984853] ppid=984784 vsize=384272 memory=301332 CPUtime=211.92 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 190641 0 0 0 21175 17 0 0 20 0 3 0 186937280 393494528 75474 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=384272 memory=301332 CPUtime=0 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 186937283 393494528 75474 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 384272 KiB
Current children cumulated memory: 301896 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 984908
/proc/meminfo: memFree=127350172/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=384272 memory=313864 CPUtime=281.52 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 239451 0 0 0 28129 23 0 0 20 0 3 0 186936300 393494528 78466 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 96068 78466 2990 3032 0 89039 0
[pid=984790/tid=984853] ppid=984784 vsize=384272 memory=44432 CPUtime=271.73 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 207761 0 0 0 27155 18 0 0 20 0 3 0 186937280 393494528 78466 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=384272 memory=5448 CPUtime=0 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 186937283 393494528 78466 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 384272 KiB
################
# More data... #
################
/proc/984790/statm: 144645 130666 2990 3032 0 135004 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=522664 CPUtime=3383.58 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 508949 0 0 0 338298 60 0 0 20 0 3 0 186937280 592465920 130666 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=12740 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 277 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 130666 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 522664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 986665
/proc/meminfo: memFree=126983360/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=578580 memory=530864 CPUtime=3453.37 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 553685 0 0 0 345265 72 0 0 20 0 3 0 186936300 592465920 132716 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 144645 132716 2990 3032 0 137140 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=530864 CPUtime=3443.42 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 521294 0 0 0 344280 62 0 0 20 0 3 0 186937280 592465920 132716 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=530864 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 283 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 132716 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 530864 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 986676
/proc/meminfo: memFree=126981992/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=578580 memory=531744 CPUtime=3513.22 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 565776 0 0 0 351248 74 0 0 20 0 3 0 186936300 592465920 132936 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 144645 132936 2990 3032 0 137140 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=531744 CPUtime=3503.26 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 533374 0 0 0 350263 63 0 0 20 0 3 0 186937280 592465920 132936 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=531744 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 285 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 132936 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 531744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 986688
/proc/meminfo: memFree=126980884/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=578580 memory=532032 CPUtime=3573.06 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 570291 0 0 0 357232 74 0 0 20 0 3 0 186936300 592465920 133008 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 144645 133008 2990 3032 0 137140 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=532032 CPUtime=3563.1 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 537875 0 0 0 356246 64 0 0 20 0 3 0 186937280 592465920 133008 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=11400 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 289 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 133008 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 532032 KiB
[startup+3600.1 s]
# the end of solver process 984790 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.07 s, system=0.756982 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.09 5/264 986688
/proc/meminfo: memFree=126980884/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=578580 memory=532032 CPUtime=3574.76 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 570308 0 0 0 357402 74 0 0 20 0 3 0 186936300 592465920 133008 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 144645 133008 2990 3032 0 137140 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=-5155634780447454526 CPUtime=3564.8 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 537892 0 0 0 356416 64 0 0 20 0 3 0 186937280 592465920 133008 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=31428 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 289 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 133008 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3574.76 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 532032 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 986688
/proc/meminfo: memFree=126980544/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=578580 memory=532316 CPUtime=3581.13 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 570381 0 0 0 358039 74 0 0 20 0 3 0 186936300 592465920 133079 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 144645 133079 2990 3032 0 137140 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=532032 CPUtime=3571.18 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 537965 0 0 0 357054 64 0 0 20 0 3 0 186937280 592465920 133079 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=11400 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 289 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 133079 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3581.13 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 532316 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980572/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=578580 memory=532316 CPUtime=3587.53 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 570390 0 0 0 358678 75 0 0 20 0 3 0 186936300 592465920 133079 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 144645 133079 2990 3032 0 137140 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=532032 CPUtime=3577.56 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 537974 0 0 0 357692 64 0 0 20 0 3 0 186937280 592465920 133079 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=532316 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 289 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 133079 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3587.53 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 532316 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980144/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=578580 memory=532600 CPUtime=3589.12 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 570393 0 0 0 358837 75 0 0 20 0 3 0 186936300 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 144645 133150 2990 3032 0 137140 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=11400 CPUtime=3579.15 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 537977 0 0 0 357851 64 0 0 20 0 3 0 186937280 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=44432 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 289 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3589.12 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 532600 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980244/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=578580 memory=532600 CPUtime=3589.92 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 570471 0 0 0 358917 75 0 0 20 0 3 0 186936300 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 144645 133150 2990 3032 0 137140 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=11400 CPUtime=3579.95 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 538051 0 0 0 357931 64 0 0 20 0 3 0 186937280 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=44432 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 289 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3589.92 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 532600 KiB
[startup+3599.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980244/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=578580 memory=532600 CPUtime=3590.32 cores=5,7
/proc/984790/stat : 984790 (fscip) S 984784 984790 980418 0 -1 1077936128 570483 0 0 0 358957 75 0 0 20 0 3 0 186936300 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 144645 133150 2990 3032 0 137140 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=33020 CPUtime=3580.35 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 538063 0 0 0 357971 64 0 0 20 0 3 0 186937280 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=100 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 289 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3590.32 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 532600 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.09 4.09 4/260 986689
/proc/meminfo: memFree=127398988/131524600 swapFree=131071996/131071996
[pid=984790] ppid=984784 vsize=578580 memory=532600 CPUtime=3590.72 cores=5,7
/proc/984790/stat : 984790 (fscip) R 984784 984790 980418 0 -1 1077936128 570483 0 0 0 358997 75 0 0 20 0 3 0 186936300 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
/proc/984790/statm: 144645 133150 2990 3032 0 137140 0
[pid=984790/tid=984853] ppid=984784 vsize=578580 memory=-5155634780447454526 CPUtime=3580.75 cores=5,7
/proc/984790/task/984853/stat : 984853 (fscip) R 984784 984790 980418 0 -1 4194368 538063 0 0 0 358011 64 0 0 20 0 3 0 186937280 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
[pid=984790/tid=984854] ppid=984784 vsize=578580 memory=-9044459746194447340 CPUtime=0.02 cores=5,7
/proc/984790/task/984854/stat : 984854 (fscip) S 984784 984790 980418 0 -1 1077936192 289 0 0 0 1 1 0 0 20 0 3 0 186937283 592465920 133150 134679101440 4194304 16613245 140732709750384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54116352 140732709757972 140732709758088 140732709758088 140732709765104 0
Current children cumulated CPU time: 3590.72 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 532600 KiB
Child status: 0
Real time (s): 3600.1
CPU time (s): 3590.82
CPU user time (s): 3590.07
CPU system time (s): 0.756982
CPU usage (%): 99.7422
Max. virtual memory (cumulated for all children) (KiB): 578580
Max. memory (cumulated for all children) (KiB): 532600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.07
system time used= 0.756982
maximum resident set size= 532600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 572189
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= 8282
involuntary context switches= 3314
# summary of solver processes directly reported to runsolver:
# pid: 984790
# total CPU time (s): 3590.82
# total CPU user time (s): 3590.07
# total CPU system time (s): 0.756982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74733 second user time and 15.6049 second system time
The end
Begin job on nodeC015 at 2024-07-19 02:09:33
IDJOB=4447130
IDBENCH=158362
IDSOLVER=3064
FILE ID=nodeC015/4447130-1721347761
RUNJOBID= nodeC015-1721340572-980431
SLURM_JOB_ID= 7542724
Free space on /tmp= 890028 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K106.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-4447130-1721347761/watcher-4447130-1721347761 -o /tmp/evaluation-result-4447130-1721347761/solver-4447130-1721347761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721340572-980431 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447130-1721347761.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24ba6b7b7d8e9ae68244a11b7fe894d2
RANDOM SEED=2128500327
nodeC015.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 : 3636.383
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.990
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 : 3655.964
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.097
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 : 3644.366
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.646
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 : 3660.566
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.646
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: 128079284 kB
MemAvailable: 129308608 kB
Buffers: 512876 kB
Cached: 1542456 kB
SwapCached: 0 kB
Active: 1648912 kB
Inactive: 1163772 kB
Active(anon): 1540 kB
Inactive(anon): 792552 kB
Active(file): 1647372 kB
Inactive(file): 371220 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85988 kB
Writeback: 8 kB
AnonPages: 754596 kB
Mapped: 128652 kB
Shmem: 37720 kB
KReclaimable: 100756 kB
Slab: 213364 kB
SReclaimable: 100756 kB
SUnreclaim: 112608 kB
KernelStack: 4100 kB
PageTables: 10348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 935104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 548864 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: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC015 at 2024-07-19 03:09:33