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.09/0.12 c Default LC presolving (default).
0.09/0.12 c ** Before presolving: virtualMemUsedAtLc = 108846964, getVmSize() = 96620544, SCIPgetMemUsed() = 68618758, SCIPgetMemTotal() = 72662950, SCIPgetMemExternEstim() = 36184014
0.09/0.12 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
12.84/12.92 c ** Estimated virtualMemUsedAtSolver = 117341530, getVmSize() = 167137280, SCIPgetMemUsed() = 89788154, SCIPgetMemTotal() = 139828282, SCIPgetMemExternEstim() = 36184014
12.84/12.92 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
12.84/12.92 c Original Problem :
12.84/12.92 c Problem name : instance-4452430-1721430201
12.84/12.92 c Variables : 21582 (21582 binary, 0 integer, 0 implicit integer, 0 continuous)
12.84/12.92 c Constraints : 17547
12.84/12.92 c Objective sense : minimize
12.84/12.92 c Presolved Problem :
12.84/12.92 c Variables : 11764 (11764 binary, 0 integer, 0 implicit integer, 0 continuous)
12.84/12.92 c Constraints : 7639
12.84/12.92 c Constraints : Number
12.84/12.92 c setppc : 7639
12.84/12.92 c ** Instance transfer method used: 0
12.84/12.94 c ** ParaScipInstance copy does not increase the number of variables. **
12.84/12.97 c LC is working with racing ramp-up and with rebuilding tree after racing.
12.84/12.97 c Nodes Active
12.84/12.97 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
52.27/52.61 c 53 2 1 1 - 0.0000 -
59.36/59.70 c 60 13 12 1 - 0.0000 -
64.54/64.95 c 65 14 13 1 - 0.0000 -
70.02/70.47 c 70 19 18 1 - 0.0000 -
88.58/89.08 c 89 24 23 1 - 0.0000 -
98.95/99.49 c 100 26 25 1 - 0.0000 -
172.27/172.97 c 173 28 27 1 - 0.0000 -
192.81/193.54 c 194 30 29 1 - 0.0000 -
201.89/202.62 c 203 32 31 1 - 0.0000 -
221.45/222.21 c 222 34 33 1 - 0.0000 -
232.52/233.39 c 233 36 35 1 - 0.0000 -
240.80/241.62 c 242 38 37 1 - 0.0000 -
260.26/261.16 c 261 42 41 1 - 0.0000 -
272.72/273.66 c 274 44 43 1 - 0.0000 -
283.39/284.36 c 284 48 47 1 - 0.0000 -
301.06/302.07 c 302 50 49 1 - 0.0000 -
323.50/324.53 c 325 54 53 1 - 0.0000 -
329.68/330.75 c 331 59 58 1 - 0.0000 -
338.46/339.55 c 340 62 61 1 - 0.0000 -
346.54/347.60 c 348 64 63 1 - 0.0000 -
352.52/353.63 c 354 66 65 1 - 0.0000 -
362.80/363.94 c 364 68 67 1 - 0.0000 -
368.09/369.22 c 369 70 69 1 - 0.0000 -
377.36/378.50 c 379 74 73 1 - 0.0000 -
385.64/386.81 c 387 76 75 1 - 0.0000 -
393.22/394.49 c 394 78 77 1 - 0.0000 -
399.10/400.36 c 400 82 81 1 - 0.0000 -
406.29/407.54 c 408 84 83 1 - 0.0000 -
411.38/412.60 c 413 86 85 1 - 0.0000 -
418.76/420.03 c 420 92 89 1 - 0.0000 -
427.63/428.97 c 429 98 95 1 - 0.0000 -
435.91/437.24 c 437 100 97 1 - 0.0000 -
444.18/445.52 c 446 104 101 1 - 0.0000 -
450.57/451.98 c 452 108 105 1 - 0.0000 -
456.55/457.98 c 458 114 111 1 - 0.0000 -
463.83/465.29 c 465 123 120 1 - 0.0000 -
468.92/470.34 c 470 125 122 1 - 0.0000 -
482.19/483.66 c 484 128 125 1 - 0.0000 -
488.97/490.48 c 490 131 130 1 - 0.0000 -
505.63/507.18 c 507 132 129 1 - 0.0000 -
519.50/521.01 c 521 135 132 1 - 0.0000 -
527.67/529.28 c 529 145 142 1 - 0.0000 -
534.65/536.26 c 536 150 147 1 - 0.0000 -
539.74/541.38 c 541 152 149 1 - 0.0000 -
546.92/548.52 c 549 155 152 1 - 0.0000 -
555.30/556.95 c 557 158 155 1 - 0.0000 -
560.49/562.19 c 562 162 159 1 - 0.0000 -
567.57/569.28 c 569 166 163 1 - 0.0000 -
576.04/577.71 c 578 168 165 1 - 0.0000 -
584.93/586.62 c 587 170 167 1 - 0.0000 -
592.50/594.22 c 594 172 169 1 - 0.0000 -
601.88/603.63 c 604 175 172 1 - 0.0000 -
607.86/609.67 c 610 178 175 1 - 0.0000 -
613.35/615.13 c 615 185 182 1 - 0.0000 -
626.51/628.38 c 628 192 189 1 - 0.0000 -
633.30/635.16 c 635 195 192 1 - 0.0000 -
641.38/643.21 c 643 198 195 1 - 0.0000 -
647.17/649.08 c 649 204 201 1 - 0.0000 -
652.25/654.14 c 654 205 202 1 - 0.0000 -
658.33/660.25 c 660 208 205 1 - 0.0000 -
664.51/666.49 c 666 217 214 1 - 0.0000 -
674.89/676.88 c 677 222 219 1 - 0.0000 -
681.37/683.35 c 683 229 226 1 - 0.0000 -
687.46/689.48 c 689 235 232 1 - 0.0000 -
693.15/695.13 c 695 240 237 1 - 0.0000 -
699.83/701.84 c 702 242 239 1 - 0.0000 -
706.41/708.48 c 708 247 244 1 - 0.0000 -
712.29/714.31 c 714 251 248 1 - 0.0000 -
717.88/719.99 c 720 252 249 1 - 0.0000 -
723.47/725.59 c 726 263 260 1 - 0.0000 -
731.05/733.19 c 733 267 264 1 - 0.0000 -
737.43/739.51 c 740 268 265 1 - 0.0000 -
744.42/746.56 c 747 272 269 1 - 0.0000 -
751.10/753.23 c 753 275 272 1 - 0.0000 -
756.09/758.25 c 758 276 273 1 - 0.0000 -
765.97/768.18 c 768 278 275 1 - 0.0000 -
771.05/773.25 c 773 283 278 1 - 0.0000 -
778.84/781.10 c 781 285 280 1 - 0.0000 -
789.70/791.96 c 792 288 283 1 - 0.0000 -
794.90/797.11 c 797 290 285 1 - 0.0000 -
800.98/803.21 c 803 294 289 1 - 0.0000 -
807.27/809.53 c 810 297 292 1 - 0.0000 -
817.24/819.50 c 820 302 297 1 - 0.0000 -
824.33/826.62 c 827 308 303 1 - 0.0000 -
829.42/831.72 c 832 314 309 1 - 0.0000 -
835.50/837.86 c 838 325 320 1 - 0.0000 -
842.08/844.41 c 844 334 329 1 - 0.0000 -
847.87/850.26 c 850 340 335 1 - 0.0000 -
855.35/857.73 c 858 344 339 1 - 0.0000 -
861.33/863.79 c 864 353 348 1 - 0.0000 -
868.81/871.21 c 871 358 353 1 - 0.0000 -
875.00/877.44 c 877 362 355 1 - 0.0000 -
889.96/892.44 c 892 368 361 1 - 0.0000 -
898.74/901.24 c 901 372 365 1 - 0.0000 -
904.02/906.50 c 907 378 371 1 - 0.0000 -
910.12/912.60 c 913 383 374 1 - 0.0000 -
916.10/918.67 c 919 392 383 1 - 0.0000 -
924.28/926.81 c 927 395 386 1 - 0.0000 -
934.75/937.32 c 937 402 393 1 - 0.0000 -
944.93/947.51 c 948 405 396 1 - 0.0000 -
950.22/952.86 c 953 408 399 1 - 0.0000 -
956.80/959.43 c 959 413 404 1 - 0.0000 -
964.38/967.07 c 967 419 410 1 - 0.0000 -
970.66/973.33 c 973 422 413 1 - 0.0000 -
977.24/979.97 c 980 427 418 1 - 0.0000 -
983.63/986.35 c 986 432 423 1 - 0.0000 -
989.61/992.37 c 992 435 426 1 - 0.0000 -
995.80/998.57 c 999 441 432 1 - 0.0000 -
1002.49/1005.20 c 1005 447 438 1 - 0.0000 -
1008.27/1011.01 c 1011 449 440 1 - 0.0000 -
1016.36/1019.12 c 1019 452 443 1 - 0.0000 -
1026.03/1028.84 c 1029 462 453 1 - 0.0000 -
1040.60/1043.43 c 1043 465 456 1 - 0.0000 -
1053.06/1055.96 c 1056 472 463 1 - 0.0000 -
1060.54/1063.42 c 1063 478 469 1 - 0.0000 -
1065.94/1068.86 c 1069 481 472 1 - 0.0000 -
1077.51/1080.43 c 1080 485 476 1 - 0.0000 -
1084.89/1087.84 c 1088 491 482 1 - 0.0000 -
1093.36/1096.32 c 1096 495 486 1 - 0.0000 -
1098.95/1101.99 c 1102 500 491 1 - 0.0000 -
1106.63/1109.68 c 1110 502 493 1 - 0.0000 -
1114.81/1117.88 c 1118 505 496 1 - 0.0000 -
1120.11/1123.18 c 1123 513 504 1 - 0.0000 -
1129.99/1133.05 c 1133 522 513 1 - 0.0000 -
1135.37/1138.43 c 1138 526 517 1 - 0.0000 -
1142.35/1145.43 c 1145 531 522 1 - 0.0000 -
1147.64/1150.74 c 1151 532 523 1 - 0.0000 -
1155.41/1158.52 c 1159 535 526 1 - 0.0000 -
1160.80/1163.94 c 1164 538 529 1 - 0.0000 -
1166.89/1170.04 c 1170 542 533 1 - 0.0000 -
1175.97/1179.14 c 1179 548 539 1 - 0.0000 -
1185.14/1188.35 c 1188 552 543 1 - 0.0000 -
1190.33/1193.55 c 1194 560 551 1 - 0.0000 -
1196.52/1199.78 c 1200 564 555 1 - 0.0000 -
1202.00/1205.29 c 1205 568 559 1 - 0.0000 -
1211.89/1215.14 c 1215 575 566 1 - 0.0000 -
1218.06/1221.34 c 1221 583 574 1 - 0.0000 -
1223.36/1226.66 c 1227 591 582 1 - 0.0000 -
1229.64/1232.95 c 1233 597 588 1 - 0.0000 -
1236.52/1239.82 c 1240 603 594 1 - 0.0000 -
1241.60/1244.97 c 1245 605 596 1 - 0.0000 -
1248.29/1251.66 c 1252 608 599 1 - 0.0000 -
1254.17/1257.53 c 1258 612 603 1 - 0.0000 -
1260.56/1263.99 c 1264 619 610 1 - 0.0000 -
1268.84/1272.26 c 1272 625 616 1 - 0.0000 -
1274.02/1277.44 c 1277 630 621 1 - 0.0000 -
1282.20/1285.69 c 1286 635 626 1 - 0.0000 -
1289.59/1293.09 c 1293 638 629 1 - 0.0000 -
1302.25/1305.78 c 1306 646 637 1 - 0.0000 -
1308.74/1312.21 c 1312 657 648 1 - 0.0000 -
1314.93/1318.40 c 1318 667 658 1 - 0.0000 -
1322.91/1326.40 c 1326 680 671 1 - 0.0000 -
1329.10/1332.67 c 1333 691 680 1 - 0.0000 -
1334.88/1338.45 c 1338 705 686 1 - 0.0000 -
1341.27/1344.80 c 1345 726 701 1 - 0.0000 -
1347.95/1351.50 c 1352 736 705 1 - 0.0000 -
1360.32/1363.99 c 1364 739 708 1 - 0.0000 -
1366.00/1369.68 c 1370 756 709 1 - 0.0000 -
1371.49/1375.13 c 1375 771 708 1 - 0.0000 -
1379.07/1382.75 c 1383 779 697 1 - 0.0000 -
1386.64/1390.36 c 1390 793 705 1 - 0.0000 -
1393.03/1396.78 c 1397 798 710 1 - 0.0000 -
1399.41/1403.14 c 1403 799 711 1 - 0.0000 -
1404.79/1408.58 c 1409 813 707 1 - 0.0000 -
1410.17/1413.92 c 1414 824 714 1 - 0.0000 -
1416.56/1420.35 c 1420 845 713 1 - 0.0000 -
1422.54/1426.30 c 1426 859 712 1 - 0.0000 -
1427.82/1431.69 c 1432 874 711 1 - 0.0000 -
1433.21/1437.01 c 1437 888 719 1 - 0.0000 -
1439.59/1443.48 c 1443 889 720 1 - 0.0000 -
1445.27/1449.12 c 1449 901 718 1 - 0.0000 -
1452.45/1456.31 c 1456 909 726 1 - 0.0000 -
1459.43/1463.36 c 1463 918 731 1 - 0.0000 -
1465.01/1468.93 c 1469 920 731 1 - 0.0000 -
1472.99/1476.91 c 1477 924 729 1 - 0.0000 -
1478.27/1482.26 c 1482 932 725 1 - 0.0000 -
1484.75/1488.72 c 1489 951 730 1 - 0.0000 -
1491.23/1495.29 c 1495 969 730 1 - 0.0000 -
1497.11/1501.16 c 1501 989 737 1 - 0.0000 -
1502.69/1506.76 c 1507 1009 737 1 - 0.0000 -
1508.68/1512.70 c 1513 1032 740 1 - 0.0000 -
1514.17/1518.30 c 1518 1036 744 1 - 0.0000 -
1519.55/1523.67 c 1524 1046 748 1 - 0.0000 -
1524.94/1529.07 c 1529 1062 752 1 - 0.0000 -
1530.92/1535.04 c 1535 1090 752 1 - 0.0000 -
1536.40/1540.50 c 1541 1109 747 1 - 0.0000 -
1541.58/1545.78 c 1546 1124 746 1 - 0.0000 -
1547.57/1551.77 c 1552 1139 735 1 - 0.0000 -
1552.85/1557.01 c 1557 1148 740 1 - 0.0000 -
1558.43/1562.67 c 1563 1174 746 1 - 0.0000 -
1563.82/1568.00 c 1568 1199 747 1 - 0.0000 -
1570.10/1574.38 c 1574 1224 746 1 - 0.0000 -
1575.98/1580.24 c 1580 1250 745 1 - 0.0000 -
1581.87/1586.12 c 1586 1276 741 1 - 0.0000 -
1587.95/1592.20 c 1592 1301 740 1 - 0.0000 -
1594.43/1598.72 c 1599 1329 740 1 - 0.0000 -
1599.41/1603.77 c 1604 1347 740 1 - 0.0000 -
1604.59/1608.99 c 1609 1369 746 1 - 0.0000 -
1610.38/1614.75 c 1615 1392 751 1 - 0.0000 -
1616.17/1620.52 c 1621 1416 755 1 - 0.0000 -
1621.15/1625.53 c 1626 1436 757 1 - 0.0000 -
1627.14/1631.51 c 1632 1460 767 1 - 0.0000 -
1633.13/1637.50 c 1638 1485 774 1 - 0.0000 -
1639.11/1643.54 c 1644 1504 781 1 - 0.0000 -
1645.00/1649.45 c 1649 1532 785 1 - 0.0000 -
1650.38/1654.86 c 1655 1560 787 1 - 0.0000 -
1655.87/1660.32 c 1660 1578 795 1 - 0.0000 -
1661.86/1666.34 c 1666 1604 799 1 - 0.0000 -
1667.24/1671.78 c 1672 1626 801 1 - 0.0000 -
1673.43/1677.94 c 1678 1649 798 1 - 0.0000 -
1679.11/1683.66 c 1684 1671 802 1 - 0.0000 -
1684.40/1688.98 c 1689 1692 799 1 - 0.0000 -
1689.98/1694.54 c 1695 1709 796 1 - 0.0000 -
1695.87/1700.43 c 1700 1737 802 1 - 0.0000 -
1701.46/1706.01 c 1706 1758 795 1 - 0.0000 -
1707.34/1711.98 c 1712 1780 791 1 - 0.0000 -
1713.23/1717.83 c 1718 1799 782 1 - 0.0000 -
1718.61/1723.25 c 1723 1819 790 1 - 0.0000 -
1723.70/1728.35 c 1728 1843 788 1 - 0.0000 -
1729.79/1734.48 c 1734 1866 783 1 - 0.0000 -
1735.48/1740.19 c 1740 1889 784 1 - 0.0000 -
1741.46/1746.14 c 1746 1917 782 1 - 0.0000 -
1746.65/1751.37 c 1751 1937 778 1 - 0.0000 -
1753.23/1757.96 c 1758 1960 783 1 - 0.0000 -
1758.42/1763.14 c 1763 1984 793 1 - 0.0000 -
1764.00/1768.75 c 1769 2012 791 1 - 0.0000 -
1769.79/1774.56 c 1775 2035 790 1 - 0.0000 -
1774.87/1779.63 c 1780 2055 796 1 - 0.0000 -
1780.86/1785.61 c 1786 2077 796 1 - 0.0000 -
1786.74/1791.56 c 1792 2101 802 1 - 0.0000 -
1791.93/1796.70 c 1797 2120 803 1 - 0.0000 -
1797.51/1802.31 c 1802 2138 803 1 - 0.0000 -
1802.50/1807.39 c 1807 2152 799 1 - 0.0000 -
1808.99/1813.81 c 1814 2172 799 1 - 0.0000 -
1814.08/1818.99 c 1819 2190 803 1 - 0.0000 -
1819.47/1824.35 c 1824 2205 802 1 - 0.0000 -
1825.55/1830.42 c 1830 2229 808 1 - 0.0000 -
1831.24/1836.18 c 1836 2253 808 1 - 0.0000 -
1836.42/1841.37 c 1841 2270 805 1 - 0.0000 -
1842.31/1847.21 c 1847 2293 808 1 - 0.0000 -
1847.30/1852.27 c 1852 2310 807 1 - 0.0000 -
1853.29/1858.28 c 1858 2326 803 1 - 0.0000 -
1859.57/1864.59 c 1865 2345 818 1 - 0.0000 -
1864.76/1869.70 c 1870 2367 824 1 - 0.0000 -
1870.34/1875.39 c 1875 2395 826 1 - 0.0000 -
1876.03/1881.00 c 1881 2409 828 1 - 0.0000 -
1881.81/1886.82 c 1887 2432 835 1 - 0.0000 -
1888.10/1893.16 c 1893 2456 825 1 - 0.0000 -
1893.78/1898.82 c 1899 2477 820 1 - 0.0000 -
1899.27/1904.32 c 1904 2493 814 1 - 0.0000 -
1904.95/1910.00 c 1910 2516 817 1 - 0.0000 -
1910.04/1915.11 c 1915 2532 815 1 - 0.0000 -
1915.63/1920.77 c 1921 2550 809 1 - 0.0000 -
1921.41/1926.58 c 1927 2569 803 1 - 0.0000 -
1927.40/1932.55 c 1933 2591 803 1 - 0.0000 -
1932.99/1938.16 c 1938 2617 807 1 - 0.0000 -
1938.67/1943.84 c 1944 2640 808 1 - 0.0000 -
1944.56/1949.71 c 1950 2662 814 1 - 0.0000 -
1950.14/1955.30 c 1955 2685 817 1 - 0.0000 -
1956.13/1961.30 c 1961 2711 816 1 - 0.0000 -
1961.71/1967.00 c 1967 2732 815 1 - 0.0000 -
1967.30/1972.52 c 1973 2751 812 1 - 0.0000 -
1972.38/1977.62 c 1978 2769 808 1 - 0.0000 -
1978.07/1983.36 c 1983 2795 800 1 - 0.0000 -
1984.16/1989.40 c 1989 2820 799 1 - 0.0000 -
1990.34/1995.65 c 1996 2840 795 1 - 0.0000 -
1996.22/2001.54 c 2002 2860 796 1 - 0.0000 -
2002.01/2007.38 c 2007 2879 793 1 - 0.0000 -
2007.99/2013.30 c 2013 2901 791 1 - 0.0000 -
2013.08/2018.45 c 2018 2916 788 1 - 0.0000 -
2019.07/2024.47 c 2024 2939 783 1 - 0.0000 -
2025.05/2030.43 c 2030 2959 781 1 - 0.0000 -
2030.15/2035.51 c 2036 2979 776 1 - 0.0000 -
2035.74/2041.17 c 2041 3003 776 1 - 0.0000 -
2041.32/2046.71 c 2047 3029 778 1 - 0.0000 -
2046.90/2052.37 c 2052 3055 786 1 - 0.0000 -
2053.09/2058.56 c 2059 3079 780 1 - 0.0000 -
2058.37/2063.85 c 2064 3094 781 1 - 0.0000 -
2064.16/2069.69 c 2070 3114 775 1 - 0.0000 -
2069.94/2075.50 c 2076 3137 772 1 - 0.0000 -
2075.63/2081.13 c 2081 3158 767 1 - 0.0000 -
2081.71/2087.22 c 2087 3179 758 1 - 0.0000 -
2087.79/2093.38 c 2093 3203 758 1 - 0.0000 -
2093.48/2099.01 c 2099 3224 759 1 - 0.0000 -
2098.87/2104.42 c 2104 3241 756 1 - 0.0000 -
2103.95/2109.54 c 2110 3262 755 1 - 0.0000 -
2109.54/2115.13 c 2115 3286 753 1 - 0.0000 -
2115.03/2120.63 c 2121 3313 750 1 - 0.0000 -
2120.11/2125.76 c 2126 3333 748 1 - 0.0000 -
2125.70/2131.35 c 2131 3356 750 1 - 0.0000 -
2131.58/2137.26 c 2137 3380 750 1 - 0.0000 -
2137.67/2143.33 c 2143 3400 754 1 - 0.0000 -
2143.66/2149.31 c 2149 3426 755 1 - 0.0000 -
2149.74/2155.41 c 2155 3443 746 1 - 0.0000 -
2155.83/2161.51 c 2162 3469 742 1 - 0.0000 -
2161.51/2167.21 c 2167 3493 744 1 - 0.0000 -
2166.90/2172.68 c 2173 3520 745 1 - 0.0000 -
2172.78/2178.57 c 2179 3537 746 1 - 0.0000 -
2178.87/2184.62 c 2185 3564 753 1 - 0.0000 -
2183.95/2189.72 c 2190 3583 758 1 - 0.0000 -
2189.94/2195.73 c 2196 3609 758 1 - 0.0000 -
2196.12/2201.91 c 2202 3632 761 1 - 0.0000 -
2202.11/2207.90 c 2208 3658 767 1 - 0.0000 -
2207.49/2213.36 c 2213 3674 757 1 - 0.0000 -
2213.28/2219.10 c 2219 3698 753 1 - 0.0000 -
2219.27/2225.11 c 2225 3718 751 1 - 0.0000 -
2224.76/2230.65 c 2231 3741 752 1 - 0.0000 -
2230.74/2236.60 c 2237 3759 748 1 - 0.0000 -
2236.23/2242.16 c 2242 3783 756 1 - 0.0000 -
2241.22/2247.19 c 2247 3806 755 1 - 0.0000 -
2247.21/2253.13 c 2253 3830 755 1 - 0.0000 -
2252.79/2258.70 c 2259 3853 762 1 - 0.0000 -
2258.67/2264.67 c 2265 3868 755 1 - 0.0000 -
2264.26/2270.26 c 2270 3896 759 1 - 0.0000 -
2270.34/2276.31 c 2276 3920 761 1 - 0.0000 -
2275.43/2281.41 c 2281 3943 766 1 - 0.0000 -
2281.31/2287.36 c 2287 3967 762 1 - 0.0000 -
2287.10/2293.14 c 2293 3991 764 1 - 0.0000 -
2292.79/2298.81 c 2299 4011 764 1 - 0.0000 -
2297.77/2303.89 c 2304 4029 758 1 - 0.0000 -
2303.66/2309.76 c 2310 4053 756 1 - 0.0000 -
2309.95/2316.05 c 2316 4082 755 1 - 0.0000 -
2315.53/2321.68 c 2322 4099 752 1 - 0.0000 -
2321.31/2327.43 c 2327 4123 750 1 - 0.0000 -
2326.90/2333.06 c 2333 4149 750 1 - 0.0000 -
2332.48/2338.65 c 2339 4175 756 1 - 0.0000 -
2338.27/2344.48 c 2344 4189 750 1 - 0.0000 -
2343.35/2349.55 c 2350 4206 753 1 - 0.0000 -
2349.44/2355.62 c 2356 4230 761 1 - 0.0000 -
2355.33/2361.59 c 2362 4253 764 1 - 0.0000 -
2361.21/2367.46 c 2367 4272 757 1 - 0.0000 -
2367.39/2373.67 c 2374 4293 750 1 - 0.0000 -
2372.69/2378.97 c 2379 4311 748 1 - 0.0000 -
2378.27/2384.58 c 2385 4340 743 1 - 0.0000 -
2384.06/2390.34 c 2390 4345 742 1 - 0.0000 -
2389.94/2396.21 c 2396 4372 745 1 - 0.0000 -
2395.43/2401.70 c 2402 4398 747 1 - 0.0000 -
2401.31/2407.65 c 2408 4424 743 1 - 0.0000 -
2406.89/2413.23 c 2413 4448 741 1 - 0.0000 -
2413.18/2419.51 c 2420 4474 739 1 - 0.0000 -
2419.16/2425.59 c 2426 4499 746 1 - 0.0000 -
2425.24/2431.66 c 2432 4527 748 1 - 0.0000 -
2431.22/2437.67 c 2438 4549 746 1 - 0.0000 -
2437.30/2443.74 c 2444 4574 755 1 - 0.0000 -
2442.99/2449.46 c 2449 4598 745 1 - 0.0000 -
2448.77/2455.24 c 2455 4616 743 1 - 0.0000 -
2454.35/2460.87 c 2461 4638 751 1 - 0.0000 -
2459.44/2465.92 c 2466 4655 750 1 - 0.0000 -
2465.42/2471.95 c 2472 4679 754 1 - 0.0000 -
2471.51/2478.09 c 2478 4703 754 1 - 0.0000 -
2477.49/2484.10 c 2484 4730 755 1 - 0.0000 -
2483.37/2489.94 c 2490 4754 749 1 - 0.0000 -
2489.15/2495.78 c 2496 4776 755 1 - 0.0000 -
2494.93/2501.55 c 2502 4797 750 1 - 0.0000 -
2500.91/2507.57 c 2508 4824 763 1 - 0.0000 -
2506.70/2513.32 c 2513 4844 767 1 - 0.0000 -
2512.08/2518.79 c 2519 4875 766 1 - 0.0000 -
2518.06/2524.74 c 2525 4900 763 1 - 0.0000 -
2523.75/2530.49 c 2530 4929 772 1 - 0.0000 -
2529.23/2535.94 c 2536 4951 778 1 - 0.0000 -
2534.22/2540.98 c 2541 4969 778 1 - 0.0000 -
2539.91/2546.61 c 2547 4987 774 1 - 0.0000 -
2545.79/2552.50 c 2553 5008 767 1 - 0.0000 -
2551.78/2558.54 c 2559 5030 767 1 - 0.0000 -
2557.86/2564.67 c 2565 5057 770 1 - 0.0000 -
2563.75/2570.52 c 2571 5080 769 1 - 0.0000 -
2569.34/2576.19 c 2576 5103 770 1 - 0.0000 -
2575.02/2581.88 c 2582 5129 778 1 - 0.0000 -
2580.82/2587.63 c 2588 5151 774 1 - 0.0000 -
2585.80/2592.66 c 2593 5172 777 1 - 0.0000 -
2591.49/2598.33 c 2598 5192 775 1 - 0.0000 -
2597.07/2603.99 c 2604 5219 776 1 - 0.0000 -
2602.35/2609.28 c 2609 5241 774 1 - 0.0000 -
2608.44/2615.39 c 2615 5266 771 1 - 0.0000 -
2614.12/2621.10 c 2621 5288 767 1 - 0.0000 -
2619.80/2626.70 c 2627 5308 766 1 - 0.0000 -
2625.59/2632.51 c 2633 5331 765 1 - 0.0000 -
2631.37/2638.36 c 2638 5354 768 1 - 0.0000 -
2637.35/2644.35 c 2644 5386 770 1 - 0.0000 -
2643.04/2650.01 c 2650 5415 767 1 - 0.0000 -
2648.81/2655.82 c 2656 5441 767 1 - 0.0000 -
2654.70/2661.78 c 2662 5470 764 1 - 0.0000 -
2660.88/2667.98 c 2668 5496 766 1 - 0.0000 -
2666.26/2673.37 c 2673 5522 766 1 - 0.0000 -
2672.24/2679.31 c 2679 5548 764 1 - 0.0000 -
2678.12/2685.20 c 2685 5581 763 1 - 0.0000 -
2684.01/2691.13 c 2691 5601 761 1 - 0.0000 -
2689.69/2696.80 c 2697 5623 765 1 - 0.0000 -
2695.57/2702.72 c 2703 5643 765 1 - 0.0000 -
2701.45/2708.68 c 2709 5659 759 1 - 0.0000 -
2707.03/2714.29 c 2714 5682 762 1 - 0.0000 -
2712.12/2719.33 c 2719 5701 763 1 - 0.0000 -
2718.10/2725.36 c 2725 5725 767 1 - 0.0000 -
2723.18/2730.41 c 2730 5742 766 1 - 0.0000 -
2728.97/2736.28 c 2736 5768 770 1 - 0.0000 -
2734.85/2742.16 c 2742 5794 770 1 - 0.0000 -
2740.43/2747.79 c 2748 5816 770 1 - 0.0000 -
2746.31/2753.69 c 2754 5841 767 1 - 0.0000 -
2751.80/2759.13 c 2759 5861 767 1 - 0.0000 -
2757.69/2765.07 c 2765 5882 768 1 - 0.0000 -
2763.47/2770.82 c 2771 5901 769 1 - 0.0000 -
2769.45/2776.89 c 2777 5923 767 1 - 0.0000 -
2775.43/2782.88 c 2783 5949 765 1 - 0.0000 -
2780.92/2788.35 c 2788 5975 765 1 - 0.0000 -
2786.50/2793.95 c 2794 6001 765 1 - 0.0000 -
2792.28/2799.76 c 2800 6027 763 1 - 0.0000 -
2797.96/2805.49 c 2805 6049 761 1 - 0.0000 -
2803.65/2811.18 c 2811 6073 765 1 - 0.0000 -
2809.53/2817.08 c 2817 6098 760 1 - 0.0000 -
2815.11/2822.65 c 2823 6123 757 1 - 0.0000 -
2820.19/2827.71 c 2828 6139 763 1 - 0.0000 -
2825.68/2833.25 c 2833 6159 763 1 - 0.0000 -
2831.16/2838.71 c 2839 6174 758 1 - 0.0000 -
2837.14/2844.70 c 2845 6194 756 1 - 0.0000 -
2843.12/2850.73 c 2851 6213 757 1 - 0.0000 -
2848.90/2856.51 c 2857 6232 758 1 - 0.0000 -
2854.99/2862.64 c 2863 6252 766 1 - 0.0000 -
2860.67/2868.38 c 2868 6273 765 1 - 0.0000 -
2866.65/2874.38 c 2874 6296 762 1 - 0.0000 -
2872.44/2880.15 c 2880 6318 766 1 - 0.0000 -
2878.42/2886.15 c 2886 6344 768 1 - 0.0000 -
2883.80/2891.57 c 2892 6368 776 1 - 0.0000 -
2889.29/2897.07 c 2897 6378 776 1 - 0.0000 -
2895.46/2903.26 c 2903 6408 776 1 - 0.0000 -
2901.05/2908.89 c 2909 6438 776 1 - 0.0000 -
2906.63/2914.44 c 2914 6463 773 1 - 0.0000 -
2912.51/2920.33 c 2920 6489 775 1 - 0.0000 -
2917.70/2925.50 c 2926 6510 778 1 - 0.0000 -
2923.78/2931.62 c 2932 6538 778 1 - 0.0000 -
2929.27/2937.12 c 2937 6559 773 1 - 0.0000 -
2935.15/2943.03 c 2943 6594 772 1 - 0.0000 -
2941.03/2948.99 c 2949 6615 767 1 - 0.0000 -
2946.31/2954.28 c 2954 6637 775 1 - 0.0000 -
2952.69/2960.69 c 2961 6658 772 1 - 0.0000 -
2957.98/2965.95 c 2966 6677 773 1 - 0.0000 -
2963.16/2971.12 c 2971 6695 767 1 - 0.0000 -
2968.74/2976.73 c 2977 6718 770 1 - 0.0000 -
2974.53/2982.59 c 2983 6749 775 1 - 0.0000 -
2980.61/2988.61 c 2989 6774 770 1 - 0.0000 -
2986.49/2994.50 c 2994 6806 770 1 - 0.0000 -
2991.58/2999.65 c 3000 6828 770 1 - 0.0000 -
2997.56/3005.64 c 3006 6853 771 1 - 0.0000 -
3003.64/3011.76 c 3012 6883 769 1 - 0.0000 -
3008.93/3017.07 c 3017 6903 771 1 - 0.0000 -
3014.61/3022.76 c 3023 6931 769 1 - 0.0000 -
3020.70/3028.86 c 3029 6956 768 1 - 0.0000 -
3026.58/3034.73 c 3035 6986 766 1 - 0.0000 -
3032.27/3040.45 c 3040 7015 769 1 - 0.0000 -
3038.75/3046.90 c 3047 7043 767 1 - 0.0000 -
3044.44/3052.62 c 3053 7062 776 1 - 0.0000 -
3049.63/3057.87 c 3058 7083 771 1 - 0.0000 -
3055.31/3063.59 c 3064 7111 771 1 - 0.0000 -
3061.30/3069.59 c 3070 7139 771 1 - 0.0000 -
3067.08/3075.35 c 3075 7166 766 1 - 0.0000 -
3072.17/3080.41 c 3080 7187 763 1 - 0.0000 -
3077.86/3086.14 c 3086 7213 771 1 - 0.0000 -
3083.85/3092.16 c 3092 7240 778 1 - 0.0000 -
3089.74/3098.03 c 3098 7266 776 1 - 0.0000 -
3095.32/3103.66 c 3104 7293 779 1 - 0.0000 -
3100.91/3109.20 c 3109 7317 775 1 - 0.0000 -
3106.39/3114.72 c 3115 7339 773 1 - 0.0000 -
3111.68/3120.05 c 3120 7365 767 1 - 0.0000 -
3117.56/3125.94 c 3126 7386 770 1 - 0.0000 -
3123.25/3131.69 c 3132 7409 765 1 - 0.0000 -
3129.53/3137.93 c 3138 7440 770 1 - 0.0000 -
3135.22/3143.63 c 3144 7466 764 1 - 0.0000 -
3140.91/3149.37 c 3149 7492 768 1 - 0.0000 -
3145.99/3154.49 c 3154 7513 771 1 - 0.0000 -
3151.78/3160.29 c 3160 7540 770 1 - 0.0000 -
3156.87/3165.34 c 3165 7559 777 1 - 0.0000 -
3162.95/3171.45 c 3171 7589 773 1 - 0.0000 -
3168.64/3177.17 c 3177 7615 773 1 - 0.0000 -
3174.42/3182.96 c 3183 7636 768 1 - 0.0000 -
3179.91/3188.42 c 3188 7662 768 1 - 0.0000 -
3184.90/3193.47 c 3193 7679 767 1 - 0.0000 -
3190.59/3199.19 c 3199 7706 766 1 - 0.0000 -
3196.17/3204.79 c 3205 7731 769 1 - 0.0000 -
3201.96/3210.59 c 3211 7746 776 1 - 0.0000 -
3207.84/3216.49 c 3216 7768 778 1 - 0.0000 -
3214.63/3223.21 c 3223 7793 773 1 - 0.0000 -
3220.61/3229.22 c 3229 7819 771 1 - 0.0000 -
3226.20/3234.88 c 3235 7841 775 1 - 0.0000 -
3232.08/3240.75 c 3241 7861 771 1 - 0.0000 -
3237.97/3246.69 c 3247 7888 772 1 - 0.0000 -
3243.85/3252.51 c 3253 7911 773 1 - 0.0000 -
3249.45/3258.12 c 3258 7928 770 1 - 0.0000 -
3255.23/3263.97 c 3264 7948 768 1 - 0.0000 -
3260.71/3269.40 c 3269 7972 770 1 - 0.0000 -
3266.40/3275.18 c 3275 7997 771 1 - 0.0000 -
3272.39/3281.15 c 3281 8025 771 1 - 0.0000 -
3278.27/3287.03 c 3287 8050 774 1 - 0.0000 -
3283.66/3292.45 c 3292 8070 780 1 - 0.0000 -
3288.74/3297.52 c 3298 8091 789 1 - 0.0000 -
3293.83/3302.64 c 3303 8105 789 1 - 0.0000 -
3299.61/3308.41 c 3308 8129 791 1 - 0.0000 -
3305.70/3314.57 c 3315 8153 787 1 - 0.0000 -
3310.78/3319.62 c 3320 8178 790 1 - 0.0000 -
3316.47/3325.34 c 3325 8201 787 1 - 0.0000 -
3321.56/3330.41 c 3330 8223 789 1 - 0.0000 -
3327.35/3336.24 c 3336 8246 788 1 - 0.0000 -
3332.54/3341.44 c 3341 8262 786 1 - 0.0000 -
3338.23/3347.16 c 3347 8282 784 1 - 0.0000 -
3344.41/3353.33 c 3353 8308 786 1 - 0.0000 -
3349.99/3358.96 c 3359 8333 787 1 - 0.0000 -
3355.58/3364.54 c 3365 8359 785 1 - 0.0000 -
3361.66/3370.63 c 3371 8377 783 1 - 0.0000 -
3367.45/3376.49 c 3376 8403 783 1 - 0.0000 -
3372.63/3381.63 c 3382 8419 783 1 - 0.0000 -
3377.82/3386.85 c 3387 8442 784 1 - 0.0000 -
3383.80/3392.80 c 3393 8467 781 1 - 0.0000 -
3389.19/3398.23 c 3398 8487 779 1 - 0.0000 -
3394.27/3403.35 c 3403 8507 781 1 - 0.0000 -
3399.97/3409.09 c 3409 8534 780 1 - 0.0000 -
3405.95/3415.09 c 3415 8562 780 1 - 0.0000 -
3411.93/3421.05 c 3421 8585 779 1 - 0.0000 -
3418.02/3427.15 c 3427 8616 778 1 - 0.0000 -
3423.70/3432.84 c 3433 8634 774 1 - 0.0000 -
3429.78/3438.95 c 3439 8656 776 1 - 0.0000 -
3435.78/3444.98 c 3445 8681 777 1 - 0.0000 -
3441.07/3450.24 c 3450 8701 779 1 - 0.0000 -
3446.05/3455.26 c 3455 8723 779 1 - 0.0000 -
3451.14/3460.36 c 3460 8743 781 1 - 0.0000 -
3456.93/3466.16 c 3466 8766 778 1 - 0.0000 -
3463.11/3472.31 c 3472 8789 775 1 - 0.0000 -
3468.60/3477.81 c 3478 8816 778 1 - 0.0000 -
3474.18/3483.44 c 3483 8838 776 1 - 0.0000 -
3479.88/3489.15 c 3489 8865 783 1 - 0.0000 -
3485.76/3495.04 c 3495 8895 783 1 - 0.0000 -
3491.34/3500.61 c 3501 8921 787 1 - 0.0000 -
3497.33/3506.65 c 3507 8950 790 1 - 0.0000 -
3502.82/3512.15 c 3512 8973 791 1 - 0.0000 -
3508.60/3517.91 c 3518 9002 800 1 - 0.0000 -
3513.69/3523.09 c 3523 9026 800 1 - 0.0000 -
3519.68/3529.05 c 3529 9052 800 1 - 0.0000 -
3525.56/3534.92 c 3535 9075 797 1 - 0.0000 -
3531.65/3541.08 c 3541 9096 790 1 - 0.0000 -
3537.53/3546.96 c 3547 9122 792 1 - 0.0000 -
3542.51/3551.99 c 3552 9141 791 1 - 0.0000 -
3547.80/3557.27 c 3557 9171 785 1 - 0.0000 -
3553.89/3563.38 c 3563 9198 784 1 - 0.0000 -
3558.97/3568.43 c 3568 9222 786 1 - 0.0000 -
3564.66/3574.14 c 3574 9247 787 1 - 0.0000 -
3570.24/3579.73 c 3580 9271 781 1 - 0.0000 -
3576.22/3585.74 c 3586 9299 781 1 - 0.0000 -
3581.91/3591.40 c 3591 9326 780 1 - 0.0000 -
3587.69/3597.22 c 3597 9353 783 1 - 0.0000 -
3590.49/3600.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.49/3600.07 c Total Time : 3600.0700
3590.49/3600.07 c solving : 3600.0700
3590.49/3600.07 c presolving : 12.7992 (included in solving)
3590.49/3600.07 c B&B Tree :
3590.49/3600.07 c nodes (total) : 1
3590.49/3600.07 c Solution :
3590.49/3600.07 c Solutions found : 0
3590.49/3600.07 c Primal Bound : -
3590.49/3600.07 c Dual Bound : +0.00000000000000e+00
3590.49/3600.07 c Gap : -
3590.58/3600.12 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: 63968 MiB (61296 MiB free)
memory of node 1: 64473 MiB (61642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452430-1721430201/watcher-4452430-1721430201 -o /tmp/evaluation-result-4452430-1721430201/solver-4452430-1721430201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028662 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452430-1721430201.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1033996, runsolver pid=1033993
[startup+0.100987 s]*
/proc/loadavg: 4.17 4.13 4.09 5/261 1033997
/proc/meminfo: memFree=125823788/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=84464 memory=74244 CPUtime=0.09 cores=1,3
/proc/1033996/stat : 1033996 (fscip) R 1033993 1033996 1028650 0 -1 4194304 16379 0 0 0 7 2 0 0 20 0 1 0 195185090 86491136 18561 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 21116 18561 2542 3032 0 17516 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84464 KiB
Current children cumulated memory: 74244 KiB
[startup+0.205987 s]*
/proc/loadavg: 4.17 4.13 4.09 5/261 1033997
/proc/meminfo: memFree=125799596/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=112112 memory=97316 CPUtime=0.19 cores=1,3
/proc/1033996/stat : 1033996 (fscip) R 1033993 1033996 1028650 0 -1 4194304 22077 0 0 0 17 2 0 0 20 0 1 0 195185090 114802688 24329 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 28028 24329 2606 3032 0 24428 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 112112 KiB
Current children cumulated memory: 97316 KiB
[startup+0.305989 s]*
/proc/loadavg: 4.17 4.13 4.09 5/261 1033997
/proc/meminfo: memFree=125788620/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=122052 memory=108184 CPUtime=0.28 cores=1,3
/proc/1033996/stat : 1033996 (fscip) R 1033993 1033996 1028650 0 -1 4194304 26421 0 0 0 25 3 0 0 20 0 1 0 195185090 124981248 27046 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 30513 27046 2638 3032 0 26913 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 122052 KiB
Current children cumulated memory: 108184 KiB
[startup+0.700239 s]
/proc/loadavg: 4.17 4.13 4.09 5/261 1033997
/proc/meminfo: memFree=125788312/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=118104 memory=104360 CPUtime=0.67 cores=1,3
/proc/1033996/stat : 1033996 (fscip) R 1033993 1033996 1028650 0 -1 4194304 26577 0 0 0 64 3 0 0 20 0 1 0 195185090 120938496 26090 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 29526 26090 2686 3032 0 25926 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 118104 KiB
Current children cumulated memory: 104360 KiB
[startup+1.50023 s]
/proc/loadavg: 4.17 4.13 4.09 5/261 1033997
/proc/meminfo: memFree=125785316/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=128488 memory=114628 CPUtime=1.48 cores=1,3
/proc/1033996/stat : 1033996 (fscip) R 1033993 1033996 1028650 0 -1 4194304 29072 0 0 0 144 4 0 0 20 0 1 0 195185090 131571712 28657 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 32122 28657 2750 3032 0 28522 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 128488 KiB
Current children cumulated memory: 114628 KiB
[startup+3.10553 s]
/proc/loadavg: 4.17 4.13 4.09 5/261 1033999
/proc/meminfo: memFree=125774884/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=135972 memory=121756 CPUtime=3.07 cores=1,3
/proc/1033996/stat : 1033996 (fscip) R 1033993 1033996 1028650 0 -1 4194304 30862 0 0 0 303 4 0 0 20 0 1 0 195185090 139235328 30439 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 33993 30439 2750 3032 0 30393 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 135972 KiB
Current children cumulated memory: 121756 KiB
[startup+6.30022 s]
/proc/loadavg: 4.15 4.13 4.09 5/261 1033999
/proc/meminfo: memFree=125774632/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=136124 memory=121756 CPUtime=6.26 cores=1,3
/proc/1033996/stat : 1033996 (fscip) R 1033993 1033996 1028650 0 -1 4194304 30903 0 0 0 622 4 0 0 20 0 1 0 195185090 139390976 30439 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 34031 30439 2750 3032 0 30431 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 136124 KiB
Current children cumulated memory: 121756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 1034000
/proc/meminfo: memFree=125770852/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=139432 memory=125244 CPUtime=12.64 cores=1,3
/proc/1033996/stat : 1033996 (fscip) R 1033993 1033996 1028650 0 -1 4194304 34426 0 0 0 1259 5 0 0 20 0 1 0 195185090 142778368 31311 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 34858 31311 2750 3032 0 31258 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 139432 KiB
Current children cumulated memory: 125244 KiB
[startup+25.501 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 1034004
/proc/meminfo: memFree=125639448/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=411348 memory=303532 CPUtime=25.32 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 115691 0 0 0 2519 13 0 0 20 0 3 0 195185090 421220352 75883 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 102837 75883 2942 3032 0 87298 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=411348 memory=238760 CPUtime=12.43 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 74281 0 0 0 1236 7 0 0 20 0 3 0 195186382 421220352 75883 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=411348 memory=238760 CPUtime=0 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 195186387 421220352 75883 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 411348 KiB
Current children cumulated memory: 303532 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.13 4.09 5/262 1034008
/proc/meminfo: memFree=125582612/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=411348 memory=311236 CPUtime=50.78 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 164994 0 0 0 5062 16 0 0 20 0 3 0 195185090 421220352 77809 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 102837 77809 2942 3032 0 88052 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=411348 memory=304652 CPUtime=37.88 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 123567 0 0 0 3778 10 0 0 20 0 3 0 195186382 421220352 77809 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=411348 memory=304632 CPUtime=0 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 195186387 421220352 77809 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 411348 KiB
Current children cumulated memory: 311236 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 1034068
/proc/meminfo: memFree=125610356/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=411348 memory=319152 CPUtime=101.84 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 215777 0 0 0 10164 20 0 0 20 0 3 0 195185090 421220352 79788 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 102837 79788 2990 3032 0 91921 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=411348 memory=319152 CPUtime=88.94 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 174236 0 0 0 8881 13 0 0 20 0 3 0 195186382 421220352 79788 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=411348 memory=319116 CPUtime=0 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 195186387 421220352 79788 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 411348 KiB
Current children cumulated memory: 319152 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 1034079
/proc/meminfo: memFree=125507620/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=411348 memory=319152 CPUtime=161.7 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 228911 0 0 0 16149 21 0 0 20 0 3 0 195185090 421220352 79788 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 102837 79788 2990 3032 0 91921 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=411348 memory=319152 CPUtime=148.79 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 187356 0 0 0 14865 14 0 0 20 0 3 0 195186382 421220352 79788 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=411348 memory=319152 CPUtime=0 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 195186387 421220352 79788 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 411348 KiB
Current children cumulated memory: 319152 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/263 1034089
/proc/meminfo: memFree=125480592/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=411348 memory=319556 CPUtime=221.55 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 250338 0 0 0 22132 23 0 0 20 0 3 0 195185090 421220352 79889 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 102837 79889 2990 3032 0 91921 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=411348 memory=11648 CPUtime=208.65 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 208715 0 0 0 20849 16 0 0 20 0 3 0 195186382 421220352 79889 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=411348 memory=1020272 CPUtime=0 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 195186387 421220352 79889 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 411348 KiB
Current children cumulated memory: 319556 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 1034100
/proc/meminfo: memFree=125479492/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=411348 memory=319556 CPUtime=281.4 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 276598 0 0 0 28115 25 0 0 20 0 3 0 195185090 421220352 79889 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 102837 79889 2990 3032 0 91921 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=411348 memory=319556 CPUtime=268.5 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 234927 0 0 0 26832 18 0 0 20 0 3 0 195186382 421220352 79889 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=411348 memory=319556 CPUtime=0 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 3 0 195186387 421220352 79889 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 411348 KiB
Current children cumulated memory: 319556 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/263 1034203
################
# More data... #
################
[pid=1033996] ppid=1033993 vsize=607956 memory=507376 CPUtime=3453.14 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 742941 0 0 0 345231 83 0 0 20 0 3 0 195185090 622546944 126844 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 151989 126844 3310 3032 0 132572 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=607956 memory=507376 CPUtime=3440.08 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 699704 0 0 0 343936 72 0 0 20 0 3 0 195186382 622546944 126844 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=607956 memory=507376 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 293 0 0 0 1 1 0 0 20 0 3 0 195186387 622546944 126844 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 507376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.22 4.17 5/266 1036008
/proc/meminfo: memFree=124490500/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=607956 memory=507376 CPUtime=3512.99 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 743791 0 0 0 351216 83 0 0 20 0 3 0 195185090 622546944 126844 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 151989 126844 3310 3032 0 132572 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=607956 memory=46416 CPUtime=3499.92 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 700531 0 0 0 349920 72 0 0 20 0 3 0 195186382 622546944 126844 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=607956 memory=11648 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 295 0 0 0 1 1 0 0 20 0 3 0 195186387 622546944 126844 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 507376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.20 4.17 5/267 1036020
/proc/meminfo: memFree=124487720/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=607956 memory=507408 CPUtime=3572.83 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 744658 0 0 0 357200 83 0 0 20 0 3 0 195185090 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 151989 126852 3310 3032 0 132572 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=607956 memory=12952 CPUtime=3559.77 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 701374 0 0 0 355905 72 0 0 20 0 3 0 195186382 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=607956 memory=5432 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 297 0 0 0 1 1 0 0 20 0 3 0 195186387 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 507408 KiB
[startup+3600.13 s]
# the end of solver process 1033996 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.77 s, system=0.845769 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.20 4.17 5/267 1036020
/proc/meminfo: memFree=124487720/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=607956 memory=507408 CPUtime=3574.53 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 744658 0 0 0 357370 83 0 0 20 0 3 0 195185090 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 151989 126852 3310 3032 0 132572 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=607956 memory=-7240236539081626471 CPUtime=3561.47 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 701374 0 0 0 356075 72 0 0 20 0 3 0 195186382 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=607956 memory=-6933350163988321990 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 297 0 0 0 1 1 0 0 20 0 3 0 195186387 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3574.53 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 507408 KiB
[startup+3590.4 s]
/proc/loadavg: 4.21 4.22 4.18 5/266 1036020
/proc/meminfo: memFree=124487496/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=607956 memory=507408 CPUtime=3580.91 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 744932 0 0 0 358008 83 0 0 20 0 3 0 195185090 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 151989 126852 3310 3032 0 132572 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=607956 memory=507408 CPUtime=3567.84 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 701639 0 0 0 356712 72 0 0 20 0 3 0 195186382 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=607956 memory=12952 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 297 0 0 0 1 1 0 0 20 0 3 0 195186387 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3580.91 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 507408 KiB
[startup+3596.8 s]
/proc/loadavg: 4.18 4.21 4.18 5/266 1036021
/proc/meminfo: memFree=124487016/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=607956 memory=507408 CPUtime=3587.29 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 745085 0 0 0 358646 83 0 0 20 0 3 0 195185090 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 151989 126852 3310 3032 0 132572 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=607956 memory=507408 CPUtime=3574.22 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 701781 0 0 0 357350 72 0 0 20 0 3 0 195186382 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=607956 memory=507408 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 297 0 0 0 1 1 0 0 20 0 3 0 195186387 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3587.29 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 507408 KiB
[startup+3598.4 s]
/proc/loadavg: 4.18 4.21 4.18 5/266 1036021
/proc/meminfo: memFree=124486980/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=607956 memory=507408 CPUtime=3588.89 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 745162 0 0 0 358806 83 0 0 20 0 3 0 195185090 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 151989 126852 3310 3032 0 132572 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=607956 memory=507408 CPUtime=3575.82 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 701858 0 0 0 357510 72 0 0 20 0 3 0 195186382 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=607956 memory=12952 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 297 0 0 0 1 1 0 0 20 0 3 0 195186387 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3588.89 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 507408 KiB
[startup+3599.2 s]
/proc/loadavg: 4.18 4.21 4.18 5/266 1036021
/proc/meminfo: memFree=124486980/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=607956 memory=507408 CPUtime=3589.68 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 745163 0 0 0 358885 83 0 0 20 0 3 0 195185090 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 151989 126852 3310 3032 0 132572 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=607956 memory=15996 CPUtime=3576.61 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 701859 0 0 0 357589 72 0 0 20 0 3 0 195186382 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=607956 memory=2280 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 297 0 0 0 1 1 0 0 20 0 3 0 195186387 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3589.68 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 507408 KiB
[startup+3599.6 s]
/proc/loadavg: 4.18 4.21 4.18 5/266 1036021
/proc/meminfo: memFree=124486980/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=607956 memory=507408 CPUtime=3590.08 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 745164 0 0 0 358925 83 0 0 20 0 3 0 195185090 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 151989 126852 3310 3032 0 132572 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=607956 memory=2204 CPUtime=3577.01 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 701860 0 0 0 357629 72 0 0 20 0 3 0 195186382 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=607956 memory=5544 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 297 0 0 0 1 1 0 0 20 0 3 0 195186387 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3590.08 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 507408 KiB
[startup+3600 s]*
/proc/loadavg: 4.18 4.21 4.18 5/266 1036021
/proc/meminfo: memFree=124486992/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=607956 memory=507408 CPUtime=3590.49 cores=1,3
/proc/1033996/stat : 1033996 (fscip) S 1033993 1033996 1028650 0 -1 1077936128 745187 0 0 0 358966 83 0 0 20 0 3 0 195185090 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 151989 126852 3310 3032 0 132572 0
[pid=1033996/tid=1034001] ppid=1033993 vsize=607956 memory=-7240236539081626471 CPUtime=3577.42 cores=1,3
/proc/1033996/task/1034001/stat : 1034001 (fscip) R 1033993 1033996 1028650 0 -1 4194368 701880 0 0 0 357670 72 0 0 20 0 3 0 195186382 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=607956 memory=-6933350163988321990 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 297 0 0 0 1 1 0 0 20 0 3 0 195186387 622546944 126852 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3590.49 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 507408 KiB
[startup+3600.11 s]
/proc/loadavg: 4.18 4.21 4.18 5/266 1036021
/proc/meminfo: memFree=124486992/131524600 swapFree=131070704/131071996
[pid=1033996] ppid=1033993 vsize=576580 memory=474824 CPUtime=3590.58 cores=1,3
/proc/1033996/stat : 1033996 (fscip) R 1033993 1033996 1028650 0 -1 4194304 746903 0 0 0 358975 83 0 0 20 0 2 0 195185090 590417920 118706 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
/proc/1033996/statm: 144145 118706 3310 3032 0 124728 0
[pid=1033996/tid=1034002] ppid=1033993 vsize=576580 memory=507408 CPUtime=0.02 cores=1,3
/proc/1033996/task/1034002/stat : 1034002 (fscip) S 1033993 1033996 1028650 0 -1 1077936192 297 0 0 0 1 1 0 0 20 0 2 0 195186387 590417920 118706 134679101440 4194304 16613245 140736050370528 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39886848 140736050377747 140736050377863 140736050377863 140736050384880 0
Current children cumulated CPU time: 3590.58 s
Current children cumulated vsize: 576580 KiB
Current children cumulated memory: 474824 KiB
Child status: 0
Real time (s): 3600.13
CPU time (s): 3590.62
CPU user time (s): 3589.77
CPU system time (s): 0.845769
CPU usage (%): 99.7359
Max. virtual memory (cumulated for all children) (KiB): 607956
Max. memory (cumulated for all children) (KiB): 507408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.77
system time used= 0.845769
maximum resident set size= 507408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 747850
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= 8127
involuntary context switches= 1735
# summary of solver processes directly reported to runsolver:
# pid: 1033996
# total CPU time (s): 3590.62
# total CPU user time (s): 3589.77
# total CPU system time (s): 0.845769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66835 second user time and 16.4009 second system time
The end
Begin job on nodeC023 at 2024-07-20 01:03:34
IDJOB=4452430
IDBENCH=164356
IDSOLVER=3064
FILE ID=nodeC023/4452430-1721430201
RUNJOBID= nodeC023-1721423005-1028662
SLURM_JOB_ID= 7545608
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.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-4452430-1721430201/watcher-4452430-1721430201 -o /tmp/evaluation-result-4452430-1721430201/solver-4452430-1721430201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028662 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452430-1721430201.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91
RANDOM SEED=1185454669
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.340
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 : 3674.012
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.947
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 : 3665.457
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.287
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 : 3671.431
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.098
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.099
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125890156 kB
MemAvailable: 128084256 kB
Buffers: 566904 kB
Cached: 2463444 kB
SwapCached: 80 kB
Active: 1199548 kB
Inactive: 3863956 kB
Active(anon): 1580 kB
Inactive(anon): 2077300 kB
Active(file): 1197968 kB
Inactive(file): 1786656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 29120 kB
Writeback: 0 kB
AnonPages: 2033320 kB
Mapped: 141020 kB
Shmem: 45728 kB
KReclaimable: 98596 kB
Slab: 192340 kB
SReclaimable: 98596 kB
SUnreclaim: 93744 kB
KernelStack: 4160 kB
PageTables: 13032 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1817496 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1030144 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC023 at 2024-07-20 02:03:34