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.10 c Default LC presolving (default).
0.10/0.11 c ** Before presolving: virtualMemUsedAtLc = 47333376, getVmSize() = 47333376, SCIPgetMemUsed() = 21331553, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13363524
0.10/0.11 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.68/0.75 c ** Estimated virtualMemUsedAtSolver = 39911614, getVmSize() = 70844416, SCIPgetMemUsed() = 25354257, SCIPgetMemTotal() = 46503897, SCIPgetMemExternEstim() = 13363524
0.68/0.75 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.68/0.75 c Original Problem :
0.68/0.75 c Problem name : instance-4450870-1721421598
0.68/0.75 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.75 c Constraints : 9472
0.68/0.75 c Objective sense : minimize
0.68/0.75 c Presolved Problem :
0.68/0.75 c Variables : 3496 (3496 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.75 c Constraints : 7936
0.68/0.75 c Constraints : Number
0.68/0.75 c and : 32
0.68/0.75 c xor : 2
0.68/0.75 c linear : 1403
0.68/0.75 c logicor : 6499
0.68/0.75 c ** Instance transfer method used: 0
0.68/0.78 c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.82 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.82 c Nodes Active
0.79/0.82 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
37.76/37.91 c 38 2 1 1 - 0.0000 -
45.14/45.32 c 45 12 11 1 - 0.0000 -
51.22/51.49 c 51 13 12 1 - 0.0000 -
58.00/58.28 c 58 14 13 1 - 0.0000 -
65.49/65.79 c 66 16 15 1 - 0.0000 -
311.01/311.80 c 312 17 16 1 - 0.0000 -
318.79/319.62 c 320 19 18 1 - 0.0000 -
324.98/325.84 c 326 22 21 1 - 0.0000 -
330.76/331.62 c 332 23 22 1 - 0.0000 -
336.54/337.40 c 337 24 23 1 - 0.0000 -
343.62/344.58 c 345 25 24 1 - 0.0000 -
349.80/350.75 c 351 28 27 1 - 0.0000 -
357.09/358.10 c 358 32 31 1 - 0.0000 -
363.46/364.45 c 364 35 34 1 - 0.0000 -
369.64/370.69 c 371 39 38 1 - 0.0000 -
374.82/375.88 c 376 48 47 1 - 0.0000 -
381.12/382.12 c 382 75 74 1 - 0.0000 -
389.48/390.55 c 391 78 77 1 - 0.0000 -
395.16/396.25 c 396 82 81 1 - 0.0000 -
402.73/403.84 c 404 88 87 1 - 0.0000 -
409.61/410.76 c 411 102 101 1 - 0.0000 -
416.60/417.76 c 418 180 179 1 - 0.0000 -
422.58/423.78 c 424 184 183 1 - 0.0000 -
429.86/431.09 c 431 200 199 1 - 0.0000 -
438.33/439.53 c 440 248 247 1 - 0.0000 -
444.01/445.20 c 445 268 267 1 - 0.0000 -
449.69/450.92 c 451 312 311 1 - 0.0000 -
458.26/459.60 c 460 316 315 1 - 0.0000 -
465.54/466.87 c 467 324 323 1 - 0.0000 -
474.21/475.51 c 476 332 331 1 - 0.0000 -
479.90/481.21 c 481 336 335 1 - 0.0000 -
485.38/486.78 c 487 376 375 1 - 0.0000 -
491.06/492.44 c 492 407 406 1 - 0.0000 -
496.75/498.16 c 498 416 415 1 - 0.0000 -
505.02/506.46 c 506 428 427 1 - 0.0000 -
511.19/512.65 c 513 440 439 1 - 0.0000 -
516.59/518.10 c 518 447 446 1 - 0.0000 -
522.17/523.68 c 524 462 461 1 - 0.0000 -
527.35/528.87 c 529 486 485 1 - 0.0000 -
533.44/534.99 c 535 502 501 1 - 0.0000 -
538.82/540.39 c 540 541 540 1 - 0.0000 -
549.79/551.30 c 551 547 546 1 - 0.0000 -
557.37/558.92 c 559 562 561 1 - 0.0000 -
564.95/566.56 c 567 587 586 1 - 0.0000 -
570.83/572.41 c 572 592 591 1 - 0.0000 -
576.01/577.65 c 578 601 600 1 - 0.0000 -
592.38/594.08 c 594 612 611 1 - 0.0000 -
597.37/599.10 c 599 644 643 1 - 0.0000 -
602.55/604.29 c 604 658 657 1 - 0.0000 -
608.64/610.30 c 610 665 664 1 - 0.0000 -
616.33/618.09 c 618 747 746 1 - 0.0000 -
623.10/624.81 c 625 762 761 1 - 0.0000 -
628.19/629.92 c 630 777 776 1 - 0.0000 -
635.38/637.17 c 637 792 791 1 - 0.0000 -
642.05/643.90 c 644 817 816 1 - 0.0000 -
647.35/649.15 c 649 827 826 1 - 0.0000 -
654.52/656.38 c 656 877 876 1 - 0.0000 -
662.21/664.11 c 664 902 901 1 - 0.0000 -
667.69/669.55 c 670 942 941 1 - 0.0000 -
673.07/674.94 c 675 965 964 1 - 0.0000 -
678.75/680.62 c 681 972 971 1 - 0.0000 -
684.43/686.35 c 686 994 993 1 - 0.0000 -
695.11/697.08 c 697 1017 1016 1 - 0.0000 -
700.20/702.18 c 702 1032 1031 1 - 0.0000 -
705.27/707.25 c 707 1050 0 1 - 0.0000 -
745.24/747.33 c 747 1051 1 1 - 0.0000 -
752.22/754.38 c 754 1075 25 1 - 0.0000 -
758.80/760.95 c 761 1078 28 1 - 0.0000 -
764.89/767.04 c 767 1083 33 1 - 0.0000 -
771.06/773.24 c 773 1088 38 1 - 0.0000 -
779.04/781.29 c 781 1109 59 1 - 0.0000 -
786.01/788.28 c 788 1128 76 1 - 0.0000 -
791.30/793.55 c 794 1148 96 1 - 0.0000 -
802.06/804.30 c 804 1175 123 1 - 0.0000 -
808.05/810.34 c 810 1181 129 1 - 0.0000 -
815.23/817.56 c 818 1201 149 1 - 0.0000 -
825.40/827.78 c 828 1211 159 1 - 0.0000 -
830.70/833.08 c 833 1257 205 1 - 0.0000 -
836.37/838.72 c 839 1287 235 1 - 0.0000 -
845.24/847.67 c 848 1338 286 1 - 0.0000 -
853.72/856.12 c 856 1364 312 1 - 0.0000 -
859.60/862.02 c 862 1411 359 1 - 0.0000 -
865.48/868.01 c 868 1449 397 1 - 0.0000 -
874.25/876.76 c 877 1505 453 1 - 0.0000 -
880.13/882.64 c 883 1557 505 1 - 0.0000 -
887.12/889.64 c 890 1561 509 1 - 0.0000 -
894.10/896.62 c 897 1591 539 1 - 0.0000 -
900.98/903.53 c 904 1609 557 1 - 0.0000 -
906.58/909.19 c 909 1650 598 1 - 0.0000 -
912.65/915.27 c 915 1657 605 1 - 0.0000 -
921.23/923.89 c 924 1717 665 1 - 0.0000 -
927.81/930.50 c 930 1738 686 1 - 0.0000 -
933.80/936.45 c 936 1805 753 1 - 0.0000 -
939.29/941.91 c 942 1877 825 1 - 0.0000 -
947.17/949.87 c 950 1891 839 1 - 0.0000 -
953.37/956.07 c 956 1926 874 1 - 0.0000 -
961.14/963.81 c 964 1955 903 1 - 0.0000 -
966.72/969.44 c 969 2015 963 1 - 0.0000 -
974.90/977.67 c 978 2041 987 1 - 0.0000 -
981.09/983.82 c 984 2108 1054 1 - 0.0000 -
989.57/992.39 c 992 2141 1087 1 - 0.0000 -
994.86/997.65 c 998 2187 1133 1 - 0.0000 -
1000.14/1002.95 c 1003 2227 1173 1 - 0.0000 -
1005.93/1008.74 c 1009 2327 1273 1 - 0.0000 -
1012.81/1015.63 c 1016 2355 1299 1 - 0.0000 -
1018.79/1021.63 c 1022 2383 1327 1 - 0.0000 -
1028.18/1031.09 c 1031 2455 1399 1 - 0.0000 -
1034.75/1037.61 c 1038 2483 1427 1 - 0.0000 -
1043.24/1046.16 c 1046 2562 1506 1 - 0.0000 -
1049.14/1052.09 c 1052 2607 1551 1 - 0.0000 -
1056.31/1059.20 c 1059 2626 1570 1 - 0.0000 -
1061.39/1064.31 c 1064 2657 1601 1 - 0.0000 -
1067.19/1070.17 c 1070 2698 1642 1 - 0.0000 -
1078.35/1081.35 c 1081 2726 1670 1 - 0.0000 -
1088.23/1091.28 c 1091 2791 1735 1 - 0.0000 -
1093.91/1096.97 c 1097 2809 1753 1 - 0.0000 -
1100.11/1103.12 c 1103 2890 1834 1 - 0.0000 -
1105.79/1108.88 c 1109 2905 1849 1 - 0.0000 -
1112.47/1115.56 c 1116 2933 1877 1 - 0.0000 -
1117.65/1120.78 c 1121 3015 1959 1 - 0.0000 -
1123.14/1126.24 c 1126 3041 1985 1 - 0.0000 -
1130.52/1133.61 c 1134 3098 2042 1 - 0.0000 -
1137.70/1140.85 c 1141 3148 2092 1 - 0.0000 -
1145.90/1149.02 c 1149 3205 2149 1 - 0.0000 -
1151.77/1154.93 c 1155 3286 2230 1 - 0.0000 -
1161.14/1164.36 c 1164 3326 2270 1 - 0.0000 -
1166.23/1169.44 c 1169 3369 2313 1 - 0.0000 -
1171.62/1174.80 c 1175 3386 2330 1 - 0.0000 -
1177.30/1180.53 c 1181 3470 2414 1 - 0.0000 -
1182.69/1185.98 c 1186 3540 2484 1 - 0.0000 -
1192.07/1195.34 c 1195 3562 2506 1 - 0.0000 -
1203.34/1206.65 c 1207 3576 2520 1 - 0.0000 -
1209.03/1212.31 c 1212 3619 2563 1 - 0.0000 -
1214.21/1217.54 c 1218 3713 2657 1 - 0.0000 -
1221.39/1224.74 c 1225 3783 2727 1 - 0.0000 -
1226.70/1230.11 c 1230 3860 2804 1 - 0.0000 -
1233.57/1236.91 c 1237 3891 2835 1 - 0.0000 -
1239.45/1242.89 c 1243 3905 2849 1 - 0.0000 -
1247.74/1251.18 c 1251 3962 2906 1 - 0.0000 -
1254.51/1257.97 c 1258 4005 2949 1 - 0.0000 -
1260.30/1263.70 c 1264 4073 3017 1 - 0.0000 -
1266.48/1269.99 c 1270 4085 3029 1 - 0.0000 -
1271.68/1275.17 c 1275 4148 3092 1 - 0.0000 -
1277.36/1280.85 c 1281 4203 3147 1 - 0.0000 -
1285.55/1289.05 c 1289 4241 3185 1 - 0.0000 -
1291.82/1295.36 c 1295 4248 3192 1 - 0.0000 -
1298.10/1301.69 c 1302 4307 3251 1 - 0.0000 -
1307.49/1311.08 c 1311 4348 3292 1 - 0.0000 -
1312.96/1316.54 c 1317 4355 3299 1 - 0.0000 -
1320.04/1323.63 c 1324 4391 3335 1 - 0.0000 -
1325.93/1329.57 c 1330 4426 3370 1 - 0.0000 -
1331.21/1334.88 c 1335 4462 3406 1 - 0.0000 -
1336.60/1340.22 c 1340 4521 3465 1 - 0.0000 -
1344.48/1348.16 c 1348 4569 3513 1 - 0.0000 -
1349.95/1353.65 c 1354 4640 3584 1 - 0.0000 -
1355.85/1359.58 c 1360 4662 3606 1 - 0.0000 -
1361.13/1364.86 c 1365 4698 3642 1 - 0.0000 -
1366.52/1370.23 c 1370 4805 3749 1 - 0.0000 -
1371.91/1375.69 c 1376 4854 3798 1 - 0.0000 -
1382.88/1386.65 c 1387 4891 3835 1 - 0.0000 -
1389.46/1393.23 c 1393 4926 3870 1 - 0.0000 -
1394.75/1398.50 c 1398 4950 3894 1 - 0.0000 -
1400.93/1404.73 c 1405 4991 3935 1 - 0.0000 -
1409.91/1413.72 c 1414 5048 3992 1 - 0.0000 -
1415.40/1419.22 c 1419 5098 4042 1 - 0.0000 -
1422.08/1426.01 c 1426 5126 4070 1 - 0.0000 -
1427.36/1431.22 c 1431 5213 4157 1 - 0.0000 -
1432.94/1436.85 c 1437 5251 4195 1 - 0.0000 -
1439.32/1443.20 c 1443 5319 4263 1 - 0.0000 -
1444.61/1448.55 c 1449 5358 4302 1 - 0.0000 -
1450.00/1453.95 c 1454 5412 4356 1 - 0.0000 -
1456.98/1460.98 c 1461 5455 4399 1 - 0.0000 -
1463.07/1467.10 c 1467 5519 4463 1 - 0.0000 -
1469.06/1473.02 c 1473 5614 4558 1 - 0.0000 -
1475.93/1480.01 c 1480 5648 4592 1 - 0.0000 -
1482.02/1486.10 c 1486 5692 4636 1 - 0.0000 -
1492.99/1497.03 c 1497 5712 4656 1 - 0.0000 -
1500.26/1504.38 c 1504 5726 4670 1 - 0.0000 -
1505.56/1509.65 c 1510 5791 4735 1 - 0.0000 -
1513.44/1517.53 c 1518 5819 4763 1 - 0.0000 -
1522.12/1526.21 c 1526 5855 4799 1 - 0.0000 -
1527.60/1531.79 c 1532 5945 4887 1 - 0.0000 -
1535.08/1539.26 c 1539 6012 4954 1 - 0.0000 -
1541.57/1545.71 c 1546 6106 5048 1 - 0.0000 -
1546.75/1550.98 c 1551 6157 5099 1 - 0.0000 -
1556.03/1560.21 c 1560 6205 5147 1 - 0.0000 -
1561.12/1565.34 c 1565 6233 5175 1 - 0.0000 -
1566.30/1570.50 c 1570 6241 5183 1 - 0.0000 -
1571.59/1575.85 c 1576 6312 5252 1 - 0.0000 -
1576.67/1580.97 c 1581 6364 5304 1 - 0.0000 -
1582.46/1586.70 c 1587 6404 5344 1 - 0.0000 -
1587.64/1592.01 c 1592 6443 5383 1 - 0.0000 -
1593.91/1598.20 c 1598 6467 5407 1 - 0.0000 -
1602.39/1606.76 c 1607 6531 5471 1 - 0.0000 -
1607.80/1612.17 c 1612 6556 5496 1 - 0.0000 -
1616.36/1620.78 c 1621 6611 5551 1 - 0.0000 -
1622.94/1627.30 c 1627 6675 5615 1 - 0.0000 -
1628.23/1632.64 c 1633 6713 5653 1 - 0.0000 -
1634.21/1638.61 c 1639 6718 5658 1 - 0.0000 -
1641.71/1646.15 c 1646 6779 5719 1 - 0.0000 -
1648.98/1653.41 c 1653 6867 5807 1 - 0.0000 -
1654.07/1658.58 c 1659 6898 5838 1 - 0.0000 -
1659.95/1664.48 c 1664 6972 5912 1 - 0.0000 -
1665.65/1670.15 c 1670 7028 5968 1 - 0.0000 -
1670.64/1675.18 c 1675 7043 5983 1 - 0.0000 -
1676.62/1681.17 c 1681 7083 6023 1 - 0.0000 -
1686.18/1690.71 c 1691 7139 6079 1 - 0.0000 -
1693.48/1698.05 c 1698 7163 6103 1 - 0.0000 -
1701.15/1705.76 c 1706 7219 6159 1 - 0.0000 -
1706.23/1710.85 c 1711 7235 6175 1 - 0.0000 -
1711.62/1716.21 c 1716 7272 6212 1 - 0.0000 -
1718.19/1722.84 c 1723 7315 6255 1 - 0.0000 -
1726.88/1731.58 c 1732 7363 6303 1 - 0.0000 -
1732.17/1736.84 c 1737 7414 6354 1 - 0.0000 -
1738.15/1742.82 c 1743 7465 6405 1 - 0.0000 -
1744.34/1749.06 c 1749 7515 6455 1 - 0.0000 -
1749.91/1754.62 c 1755 7588 6528 1 - 0.0000 -
1758.89/1763.66 c 1764 7627 6567 1 - 0.0000 -
1764.08/1768.89 c 1769 7671 6609 1 - 0.0000 -
1769.56/1774.34 c 1774 7677 6615 1 - 0.0000 -
1778.04/1782.80 c 1783 7717 6655 1 - 0.0000 -
1784.62/1789.49 c 1789 7741 6679 1 - 0.0000 -
1790.61/1795.47 c 1795 7835 6773 1 - 0.0000 -
1795.99/1800.81 c 1801 7848 6786 1 - 0.0000 -
1806.29/1811.16 c 1811 7885 6823 1 - 0.0000 -
1812.56/1817.49 c 1817 7935 6871 1 - 0.0000 -
1818.55/1823.49 c 1823 7974 6910 1 - 0.0000 -
1827.62/1832.58 c 1833 8069 7005 1 - 0.0000 -
1833.01/1837.99 c 1838 8109 7045 1 - 0.0000 -
1840.20/1845.12 c 1845 8149 7085 1 - 0.0000 -
1848.08/1853.03 c 1853 8165 7101 1 - 0.0000 -
1853.66/1858.65 c 1859 8197 7133 1 - 0.0000 -
1858.94/1864.01 c 1864 8241 7176 1 - 0.0000 -
1865.92/1870.97 c 1871 8297 7232 1 - 0.0000 -
1871.61/1876.66 c 1877 8344 7279 1 - 0.0000 -
1879.19/1884.29 c 1884 8357 7292 1 - 0.0000 -
1886.56/1891.69 c 1892 8381 7316 1 - 0.0000 -
1893.15/1898.22 c 1898 8429 7364 1 - 0.0000 -
1898.74/1903.84 c 1904 8503 7438 1 - 0.0000 -
1904.72/1909.85 c 1910 8541 7476 1 - 0.0000 -
1910.60/1915.74 c 1916 8574 7509 1 - 0.0000 -
1916.90/1922.04 c 1922 8581 7516 1 - 0.0000 -
1922.98/1928.16 c 1928 8601 7536 1 - 0.0000 -
1928.97/1934.16 c 1934 8613 7548 1 - 0.0000 -
1934.04/1939.26 c 1939 8659 7594 1 - 0.0000 -
1941.43/1946.63 c 1947 8686 7621 1 - 0.0000 -
1947.61/1952.81 c 1953 8752 7687 1 - 0.0000 -
1955.59/1960.88 c 1961 8845 7780 1 - 0.0000 -
1965.77/1971.03 c 1971 8893 7828 1 - 0.0000 -
1971.45/1976.70 c 1977 8943 7878 1 - 0.0000 -
1977.23/1982.59 c 1983 8978 7912 1 - 0.0000 -
1982.63/1987.96 c 1988 9072 8006 1 - 0.0000 -
1990.72/1996.02 c 1996 9125 8059 1 - 0.0000 -
1996.39/2001.76 c 2002 9144 8078 1 - 0.0000 -
2004.37/2009.70 c 2010 9205 8139 1 - 0.0000 -
2009.56/2014.92 c 2015 9253 8187 1 - 0.0000 -
2015.04/2020.48 c 2020 9294 8228 1 - 0.0000 -
2020.93/2026.36 c 2026 9347 8281 1 - 0.0000 -
2026.72/2032.14 c 2032 9393 8327 1 - 0.0000 -
2032.40/2037.81 c 2038 9413 8347 1 - 0.0000 -
2037.59/2043.09 c 2043 9477 8411 1 - 0.0000 -
2042.68/2048.14 c 2048 9517 8451 1 - 0.0000 -
2051.34/2056.89 c 2057 9549 8483 1 - 0.0000 -
2057.23/2062.74 c 2063 9588 8522 1 - 0.0000 -
2064.92/2070.45 c 2070 9629 8563 1 - 0.0000 -
2073.60/2079.17 c 2079 9701 8635 1 - 0.0000 -
2081.58/2087.15 c 2087 9789 8723 1 - 0.0000 -
2089.75/2095.38 c 2095 9845 8779 1 - 0.0000 -
2096.33/2101.93 c 2102 9925 8859 1 - 0.0000 -
2101.71/2107.35 c 2107 9974 8907 1 - 0.0000 -
2107.90/2113.57 c 2114 10021 8954 1 - 0.0000 -
2113.78/2119.45 c 2119 10119 9052 1 - 0.0000 -
2120.56/2126.24 c 2126 10173 9106 1 - 0.0000 -
2125.75/2131.41 c 2131 10193 9126 1 - 0.0000 -
2131.04/2136.71 c 2137 10237 9170 1 - 0.0000 -
2138.92/2144.66 c 2145 10253 9186 1 - 0.0000 -
2148.70/2154.41 c 2154 10293 9226 1 - 0.0000 -
2154.18/2159.98 c 2160 10333 9266 1 - 0.0000 -
2160.07/2165.83 c 2166 10419 9352 1 - 0.0000 -
2165.85/2171.66 c 2172 10429 9362 1 - 0.0000 -
2171.44/2177.29 c 2177 10445 9378 1 - 0.0000 -
2177.72/2183.59 c 2184 10501 9434 1 - 0.0000 -
2184.70/2190.58 c 2191 10549 9482 1 - 0.0000 -
2189.89/2195.76 c 2196 10597 9530 1 - 0.0000 -
2195.78/2201.61 c 2202 10631 9564 1 - 0.0000 -
2204.17/2210.05 c 2210 10661 9594 1 - 0.0000 -
2210.64/2216.53 c 2217 10726 9659 1 - 0.0000 -
2216.14/2222.06 c 2222 10741 9674 1 - 0.0000 -
2223.40/2229.37 c 2229 10773 9706 1 - 0.0000 -
2228.59/2234.58 c 2235 10804 9737 1 - 0.0000 -
2234.47/2240.44 c 2240 10845 9778 1 - 0.0000 -
2240.37/2246.32 c 2246 10877 9810 1 - 0.0000 -
2245.35/2251.35 c 2251 10901 9834 1 - 0.0000 -
2256.92/2262.94 c 2263 10965 9898 1 - 0.0000 -
2266.20/2272.27 c 2272 10997 9930 1 - 0.0000 -
2273.68/2279.77 c 2280 11061 9994 1 - 0.0000 -
2280.86/2286.95 c 2287 11125 10058 1 - 0.0000 -
2286.15/2292.24 c 2292 11182 10115 1 - 0.0000 -
2291.54/2297.60 c 2298 11213 10146 1 - 0.0000 -
2297.22/2303.34 c 2303 11295 10228 1 - 0.0000 -
2302.51/2308.61 c 2309 11320 10253 1 - 0.0000 -
2307.80/2314.01 c 2314 11360 10293 1 - 0.0000 -
2313.18/2319.34 c 2319 11365 10298 1 - 0.0000 -
2322.06/2328.22 c 2328 11397 10330 1 - 0.0000 -
2327.54/2333.75 c 2334 11451 10384 1 - 0.0000 -
2332.73/2338.94 c 2339 11480 10413 1 - 0.0000 -
2339.61/2345.85 c 2346 11517 10450 1 - 0.0000 -
2345.10/2351.32 c 2351 11541 10474 1 - 0.0000 -
2353.38/2359.61 c 2360 11589 10522 1 - 0.0000 -
2358.78/2365.10 c 2365 11639 10572 1 - 0.0000 -
2368.45/2374.70 c 2375 11693 10626 1 - 0.0000 -
2616.63/2623.55 c 2624 11702 10633 1 - 0.0000 -
2622.51/2629.48 c 2629 11781 10712 1 - 0.0000 -
2628.90/2635.82 c 2636 11807 10738 1 - 0.0000 -
2634.88/2641.81 c 2642 11823 10754 1 - 0.0000 -
2639.97/2646.91 c 2647 11898 10829 1 - 0.0000 -
2646.85/2653.89 c 2654 11919 10850 1 - 0.0000 -
2651.94/2658.94 c 2659 11971 10902 1 - 0.0000 -
2657.33/2664.33 c 2664 11993 10924 1 - 0.0000 -
2667.01/2674.01 c 2674 12015 10946 1 - 0.0000 -
2672.28/2679.35 c 2679 12077 11008 1 - 0.0000 -
2680.46/2687.54 c 2688 12087 11018 1 - 0.0000 -
2689.44/2696.50 c 2696 12135 11066 1 - 0.0000 -
2694.53/2701.62 c 2702 12164 11095 1 - 0.0000 -
2703.02/2710.11 c 2710 12207 11138 1 - 0.0000 -
2708.70/2715.87 c 2716 12233 11164 1 - 0.0000 -
2713.90/2721.05 c 2721 12255 11186 1 - 0.0000 -
2721.88/2729.03 c 2729 12295 11226 1 - 0.0000 -
2729.96/2737.13 c 2737 12375 11306 1 - 0.0000 -
2735.23/2742.46 c 2742 12444 11375 1 - 0.0000 -
2740.41/2747.62 c 2748 12465 11396 1 - 0.0000 -
2748.49/2755.75 c 2756 12543 11474 1 - 0.0000 -
2753.89/2761.11 c 2761 12579 11510 1 - 0.0000 -
2761.06/2768.36 c 2768 12623 11554 1 - 0.0000 -
2766.15/2773.46 c 2773 12695 11626 1 - 0.0000 -
2771.63/2778.99 c 2779 12716 11647 1 - 0.0000 -
2777.42/2784.72 c 2785 12719 11650 1 - 0.0000 -
2782.41/2789.78 c 2790 12744 11674 1 - 0.0000 -
2790.98/2798.37 c 2798 12759 11689 1 - 0.0000 -
2797.47/2804.81 c 2805 12815 11745 1 - 0.0000 -
2804.55/2811.96 c 2812 12831 11761 1 - 0.0000 -
2809.75/2817.13 c 2817 12867 11797 1 - 0.0000 -
2815.02/2822.50 c 2822 12935 11864 1 - 0.0000 -
2820.81/2828.20 c 2828 12980 11909 1 - 0.0000 -
2829.39/2836.82 c 2837 13031 11960 1 - 0.0000 -
2836.17/2843.67 c 2844 13063 11990 1 - 0.0000 -
2843.56/2851.04 c 2851 13097 12024 1 - 0.0000 -
2849.65/2857.15 c 2857 13145 12072 1 - 0.0000 -
2855.22/2862.73 c 2863 13184 12111 1 - 0.0000 -
2860.40/2867.97 c 2868 13209 12136 1 - 0.0000 -
2871.88/2879.49 c 2879 13233 12160 1 - 0.0000 -
2876.97/2884.56 c 2885 13290 12217 1 - 0.0000 -
2882.36/2889.99 c 2890 13331 12258 1 - 0.0000 -
2887.94/2895.59 c 2896 13375 12302 1 - 0.0000 -
2893.83/2901.42 c 2901 13401 12328 1 - 0.0000 -
2900.31/2907.95 c 2908 13473 12400 1 - 0.0000 -
2906.59/2914.21 c 2914 13505 12432 1 - 0.0000 -
2914.49/2922.12 c 2922 13545 12472 1 - 0.0000 -
2920.26/2927.96 c 2928 13561 12488 1 - 0.0000 -
2925.36/2933.08 c 2933 13601 12528 1 - 0.0000 -
2931.03/2938.75 c 2939 13637 12564 1 - 0.0000 -
2936.22/2943.94 c 2944 13660 12587 1 - 0.0000 -
2941.50/2949.20 c 2949 13705 12632 1 - 0.0000 -
2947.39/2955.12 c 2955 13793 12720 1 - 0.0000 -
2953.96/2961.71 c 2962 13811 12735 1 - 0.0000 -
2959.95/2967.70 c 2968 13845 12769 1 - 0.0000 -
2965.93/2973.76 c 2974 13882 12806 1 - 0.0000 -
2971.62/2979.42 c 2979 13935 12859 1 - 0.0000 -
2977.60/2985.44 c 2985 13939 12863 1 - 0.0000 -
2986.08/2993.97 c 2994 13987 12911 1 - 0.0000 -
2991.18/2999.02 c 2999 14051 12975 1 - 0.0000 -
2996.85/3004.70 c 3005 14067 12991 1 - 0.0000 -
3004.15/3012.05 c 3012 14115 13039 1 - 0.0000 -
3010.01/3017.92 c 3018 14191 13115 1 - 0.0000 -
3016.22/3024.11 c 3024 14250 13174 1 - 0.0000 -
3021.89/3029.81 c 3030 14291 13215 1 - 0.0000 -
3027.38/3035.36 c 3035 14299 13223 1 - 0.0000 -
3032.76/3040.77 c 3041 14317 13241 1 - 0.0000 -
3038.75/3046.79 c 3047 14347 13271 1 - 0.0000 -
3043.83/3051.84 c 3052 14402 13326 1 - 0.0000 -
3049.92/3057.97 c 3058 14428 13352 1 - 0.0000 -
3056.70/3064.74 c 3065 14467 13391 1 - 0.0000 -
3061.89/3069.96 c 3070 14516 13440 1 - 0.0000 -
3068.57/3076.68 c 3077 14547 13471 1 - 0.0000 -
3077.45/3085.57 c 3086 14603 13527 1 - 0.0000 -
3084.23/3092.38 c 3092 14611 13535 1 - 0.0000 -
3090.92/3099.09 c 3099 14651 13575 1 - 0.0000 -
3098.59/3106.73 c 3107 14715 13639 1 - 0.0000 -
3107.18/3115.39 c 3115 14779 13703 1 - 0.0000 -
3114.56/3122.71 c 3123 14835 13759 1 - 0.0000 -
3119.64/3127.84 c 3128 14851 13775 1 - 0.0000 -
3125.03/3133.24 c 3133 14877 13801 1 - 0.0000 -
3130.82/3139.04 c 3139 14941 13865 1 - 0.0000 -
3138.10/3146.35 c 3146 14979 13903 1 - 0.0000 -
3143.69/3151.96 c 3152 15028 13952 1 - 0.0000 -
3152.56/3160.80 c 3161 15043 13967 1 - 0.0000 -
3159.45/3167.73 c 3168 15059 13983 1 - 0.0000 -
3166.43/3174.77 c 3175 15099 14023 1 - 0.0000 -
3175.20/3183.52 c 3184 15139 14063 1 - 0.0000 -
3181.09/3189.42 c 3189 15160 14084 1 - 0.0000 -
3188.37/3196.70 c 3197 15171 14095 1 - 0.0000 -
3195.15/3203.55 c 3204 15203 14127 1 - 0.0000 -
3202.65/3211.02 c 3211 15219 14143 1 - 0.0000 -
3208.52/3216.92 c 3217 15251 14175 1 - 0.0000 -
3213.72/3222.11 c 3222 15267 14191 1 - 0.0000 -
3218.71/3227.15 c 3227 15291 14214 1 - 0.0000 -
3224.38/3232.87 c 3233 15315 14236 1 - 0.0000 -
3229.97/3238.47 c 3238 15347 14268 1 - 0.0000 -
3236.04/3244.56 c 3245 15372 14293 1 - 0.0000 -
3246.02/3254.50 c 3254 15411 14332 1 - 0.0000 -
3251.31/3259.85 c 3260 15438 14359 1 - 0.0000 -
3258.39/3266.97 c 3267 15467 14388 1 - 0.0000 -
3263.59/3272.17 c 3272 15501 14422 1 - 0.0000 -
3270.36/3278.93 c 3279 15547 14468 1 - 0.0000 -
3277.04/3285.61 c 3286 15555 14476 1 - 0.0000 -
3282.13/3290.70 c 3291 15607 14526 1 - 0.0000 -
3291.90/3300.58 c 3301 15621 14540 1 - 0.0000 -
3299.78/3308.42 c 3308 15653 14572 1 - 0.0000 -
3305.67/3314.39 c 3314 15669 14588 1 - 0.0000 -
3310.76/3319.44 c 3319 15703 14622 1 - 0.0000 -
3318.24/3326.96 c 3327 15709 14628 1 - 0.0000 -
3324.02/3332.71 c 3333 15772 14691 1 - 0.0000 -
3330.51/3339.25 c 3339 15809 14728 1 - 0.0000 -
3336.19/3344.98 c 3345 15837 14756 1 - 0.0000 -
3343.39/3352.16 c 3352 15877 14796 1 - 0.0000 -
3348.57/3357.33 c 3357 15885 14804 1 - 0.0000 -
3354.26/3363.09 c 3363 15945 14863 1 - 0.0000 -
3361.43/3370.22 c 3370 15973 14891 1 - 0.0000 -
3370.60/3379.45 c 3379 15981 14899 1 - 0.0000 -
3376.30/3385.15 c 3385 16006 14924 1 - 0.0000 -
3381.87/3390.72 c 3391 16029 14947 1 - 0.0000 -
3388.66/3397.56 c 3398 16053 14971 1 - 0.0000 -
3394.16/3403.09 c 3403 16074 14992 1 - 0.0000 -
3400.14/3409.02 c 3409 16120 15038 1 - 0.0000 -
3405.91/3414.85 c 3415 16151 15069 1 - 0.0000 -
3411.80/3420.73 c 3421 16177 15095 1 - 0.0000 -
3417.38/3426.37 c 3426 16198 15116 1 - 0.0000 -
3422.37/3431.39 c 3431 16216 15133 1 - 0.0000 -
3433.74/3442.79 c 3443 16261 15178 1 - 0.0000 -
3440.42/3449.43 c 3449 16310 15227 1 - 0.0000 -
3448.50/3457.52 c 3458 16317 15234 1 - 0.0000 -
3455.28/3464.31 c 3464 16341 15258 1 - 0.0000 -
3461.27/3470.30 c 3470 16355 15272 1 - 0.0000 -
3468.45/3477.52 c 3478 16365 15282 1 - 0.0000 -
3474.24/3483.39 c 3483 16389 15306 1 - 0.0000 -
3480.12/3489.26 c 3489 16405 15322 1 - 0.0000 -
3486.60/3495.75 c 3496 16445 15362 1 - 0.0000 -
3492.90/3502.10 c 3502 16453 15370 1 - 0.0000 -
3500.37/3509.50 c 3510 16461 15378 1 - 0.0000 -
3506.86/3516.06 c 3516 16495 15412 1 - 0.0000 -
3512.35/3521.52 c 3522 16510 15427 1 - 0.0000 -
3517.95/3527.16 c 3527 16549 15466 1 - 0.0000 -
3524.62/3533.82 c 3534 16581 15498 1 - 0.0000 -
3530.00/3539.25 c 3539 16605 15522 1 - 0.0000 -
3536.90/3546.17 c 3546 16629 15546 1 - 0.0000 -
3542.67/3551.91 c 3552 16647 15564 1 - 0.0000 -
3549.55/3558.87 c 3559 16685 15602 1 - 0.0000 -
3556.43/3565.76 c 3566 16701 15618 1 - 0.0000 -
3562.02/3571.32 c 3571 16718 15635 1 - 0.0000 -
3568.10/3577.49 c 3577 16747 15664 1 - 0.0000 -
3575.17/3584.52 c 3585 16773 15690 1 - 0.0000 -
3581.25/3590.62 c 3591 16805 15722 1 - 0.0000 -
3591.63/3601.06 c 3601 16805 15722 0 - 0.0000 -
3591.73/3601.11 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.73/3601.11 c Total Time : 3601.1100
3591.73/3601.11 c solving : 3601.1100
3591.73/3601.11 c presolving : 0.6460 (included in solving)
3591.73/3601.11 c B&B Tree :
3591.73/3601.11 c nodes (total) : 1
3591.73/3601.11 c Solution :
3591.73/3601.11 c Solutions found : 0
3591.73/3601.11 c Primal Bound : -
3591.73/3601.11 c Dual Bound : +0.00000000000000e+00
3591.73/3601.11 c Gap : -
3591.73/3601.14 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (59683 MiB free)
memory of node 1: 64473 MiB (61688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450870-1721421598/watcher-4450870-1721421598 -o /tmp/evaluation-result-4450870-1721421598/solver-4450870-1721421598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033552 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450870-1721421598.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=1033610, runsolver pid=1033605
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 1.41 2.86 3.65 8/245 1033613
/proc/meminfo: memFree=124204644/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=48480 memory=37036 CPUtime=0.1 cores=5,7
/proc/1033610/stat : 1033610 (fscip) R 1033605 1033610 1033539 0 -1 4194304 6958 0 0 0 8 2 0 0 20 0 1 0 194318622 49643520 9259 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 12120 9259 2574 3032 0 8520 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48480 KiB
Current children cumulated memory: 37036 KiB
[startup+0.214835 s]*
/proc/loadavg: 1.41 2.86 3.65 7/245 1033613
/proc/meminfo: memFree=124173376/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=56860 memory=45688 CPUtime=0.22 cores=5,7
/proc/1033610/stat : 1033610 (fscip) R 1033605 1033610 1033539 0 -1 4194304 9875 0 0 0 18 4 0 0 20 0 1 0 194318622 58224640 11422 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 14215 11422 2654 3032 0 10615 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 56860 KiB
Current children cumulated memory: 45688 KiB
[startup+0.314305 s]*
/proc/loadavg: 1.41 2.86 3.65 6/245 1033613
/proc/meminfo: memFree=124174140/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=56636 memory=45652 CPUtime=0.32 cores=5,7
/proc/1033610/stat : 1033610 (fscip) R 1033605 1033610 1033539 0 -1 4194304 10371 0 0 0 28 4 0 0 20 0 1 0 194318622 57995264 11413 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 14159 11413 2702 3032 0 10559 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 56636 KiB
Current children cumulated memory: 45652 KiB
[startup+0.700268 s]
/proc/loadavg: 1.41 2.86 3.65 6/246 1033616
/proc/meminfo: memFree=124152232/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=60236 memory=49408 CPUtime=0.68 cores=5,7
/proc/1033610/stat : 1033610 (fscip) R 1033605 1033610 1033539 0 -1 4194304 11287 0 0 0 64 4 0 0 20 0 1 0 194318622 61681664 12352 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 15059 12352 2718 3032 0 11459 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60236 KiB
Current children cumulated memory: 49408 KiB
[startup+1.50066 s]
/proc/loadavg: 1.41 2.86 3.65 7/253 1033623
/proc/meminfo: memFree=123970204/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=154536 memory=111020 CPUtime=1.47 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 28142 0 0 0 136 11 0 0 20 0 3 0 194318622 158244864 27755 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 38634 27755 2926 3032 0 31952 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=154536 memory=48616 CPUtime=0.68 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 12843 0 0 0 64 4 0 0 20 0 3 0 194318697 158244864 27755 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=154536 memory=12740 CPUtime=0 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194318704 158244864 27755 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 154536 KiB
Current children cumulated memory: 111020 KiB
[startup+3.11355 s]
/proc/loadavg: 1.62 2.88 3.65 6/253 1033623
/proc/meminfo: memFree=123794720/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=220072 memory=147784 CPUtime=3.07 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 44329 0 0 0 293 14 0 0 20 0 3 0 194318622 225353728 36946 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 55018 36946 2942 3032 0 41692 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=220072 memory=112916 CPUtime=2.28 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 29025 0 0 0 221 7 0 0 20 0 3 0 194318697 225353728 36946 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=220072 memory=62824 CPUtime=0 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 194318704 225353728 36946 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 220072 KiB
Current children cumulated memory: 147784 KiB
[startup+6.30031 s]
/proc/loadavg: 1.62 2.88 3.65 6/253 1033623
/proc/meminfo: memFree=123794532/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=220072 memory=147864 CPUtime=6.24 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 53929 0 0 0 610 14 0 0 20 0 3 0 194318622 225353728 36966 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 55018 36966 2942 3032 0 41692 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=220072 memory=12740 CPUtime=5.46 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 38623 0 0 0 538 8 0 0 20 0 3 0 194318697 225353728 36966 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=220072 memory=12740 CPUtime=0 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 194318704 225353728 36966 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 220072 KiB
Current children cumulated memory: 147864 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 2.90 3.65 6/253 1033624
/proc/meminfo: memFree=123793964/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=220072 memory=147944 CPUtime=12.63 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 75607 0 0 0 1247 16 0 0 20 0 3 0 194318622 225353728 36986 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 55018 36986 2942 3032 0 41692 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=220072 memory=147880 CPUtime=11.85 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 60288 0 0 0 1175 10 0 0 20 0 3 0 194318697 225353728 36986 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=220072 memory=12740 CPUtime=0 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 194318704 225353728 36986 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 220072 KiB
Current children cumulated memory: 147944 KiB
[startup+25.5004 s]
/proc/loadavg: 2.30 2.95 3.66 6/253 1033626
/proc/meminfo: memFree=123790712/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=220072 memory=149000 CPUtime=25.39 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 101002 0 0 0 2522 17 0 0 20 0 3 0 194318622 225353728 37250 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 55018 37250 2942 3032 0 41692 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=220072 memory=12740 CPUtime=24.61 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 85670 0 0 0 2450 11 0 0 20 0 3 0 194318697 225353728 37250 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=220072 memory=149000 CPUtime=0 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 194318704 225353728 37250 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 220072 KiB
Current children cumulated memory: 149000 KiB
[startup+51.1131 s]
/proc/loadavg: 2.95 3.06 3.67 6/253 1033630
/proc/meminfo: memFree=123695396/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=220072 memory=171028 CPUtime=50.94 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 136908 0 0 0 5074 20 0 0 20 0 3 0 194318622 225353728 42757 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 55018 42757 2942 3032 0 48885 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=220072 memory=12740 CPUtime=50.15 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 121498 0 0 0 5001 14 0 0 20 0 3 0 194318697 225353728 42757 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=220072 memory=171028 CPUtime=0 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 194318704 225353728 42757 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 220072 KiB
Current children cumulated memory: 171028 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 3.24 3.70 6/253 1033639
/proc/meminfo: memFree=123694496/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=220072 memory=171220 CPUtime=102 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 157061 0 0 0 10179 21 0 0 20 0 3 0 194318622 225353728 42805 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 55018 42805 2990 3032 0 48885 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=220072 memory=12740 CPUtime=101.21 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 141598 0 0 0 10106 15 0 0 20 0 3 0 194318697 225353728 42805 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=220072 memory=12740 CPUtime=0 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 71 0 0 0 0 0 0 0 20 0 3 0 194318704 225353728 42805 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 220072 KiB
Current children cumulated memory: 171220 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.39 3.73 6/252 1033650
/proc/meminfo: memFree=123693096/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=220072 memory=171220 CPUtime=161.86 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 166332 0 0 0 16164 22 0 0 20 0 3 0 194318622 225353728 42805 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 55018 42805 2990 3032 0 48885 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=220072 memory=171220 CPUtime=161.08 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 150857 0 0 0 16092 16 0 0 20 0 3 0 194318697 225353728 42805 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=220072 memory=171220 CPUtime=0 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 194318704 225353728 42805 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 220072 KiB
Current children cumulated memory: 171220 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.54 3.76 6/252 1033660
/proc/meminfo: memFree=123687248/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=220072 memory=171220 CPUtime=221.73 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 170881 0 0 0 22150 23 0 0 20 0 3 0 194318622 225353728 42805 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 55018 42805 2990 3032 0 48885 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=220072 memory=171220 CPUtime=220.93 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 155400 0 0 0 22077 16 0 0 20 0 3 0 194318697 225353728 42805 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=220072 memory=171220 CPUtime=0 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 3 0 194318704 225353728 42805 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 220072 KiB
Current children cumulated memory: 171220 KiB
################
# More data... #
################
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=300520 CPUtime=3452.32 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 383576 0 0 0 345182 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=12740 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 285 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.50 4.33 6/249 1035426
/proc/meminfo: memFree=123189020/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=351144 memory=300708 CPUtime=3513.15 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 401120 0 0 0 351249 66 0 0 20 0 3 0 194318622 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=300708 CPUtime=3512.16 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 384520 0 0 0 351166 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=300708 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 287 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.44 4.32 6/249 1035437
/proc/meminfo: memFree=123187588/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=351144 memory=300708 CPUtime=3572.98 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 402036 0 0 0 357232 66 0 0 20 0 3 0 194318622 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=300708 CPUtime=3572 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 385410 0 0 0 357150 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=12740 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 293 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
[startup+3601.15 s]
# the end of solver process 1033610 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.1 s, system=0.671231 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.43 4.32 6/249 1035437
/proc/meminfo: memFree=123187632/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=351144 memory=300708 CPUtime=3574.69 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 402053 0 0 0 357403 66 0 0 20 0 3 0 194318622 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=-6952569112950574953 CPUtime=3573.71 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 385427 0 0 0 357321 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=1471054669716160641 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 293 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3574.69 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.42 4.32 6/249 1035437
/proc/meminfo: memFree=123187212/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=351144 memory=300708 CPUtime=3581.05 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 402080 0 0 0 358039 66 0 0 20 0 3 0 194318622 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=300708 CPUtime=3580.07 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 385454 0 0 0 357957 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=50128 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 293 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.42 4.31 6/249 1035438
/proc/meminfo: memFree=123187268/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=351144 memory=300708 CPUtime=3587.43 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 402163 0 0 0 358677 66 0 0 20 0 3 0 194318622 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=300708 CPUtime=3586.45 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 385535 0 0 0 358595 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=300708 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 295 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.42 4.31 6/249 1035438
/proc/meminfo: memFree=123187268/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=351144 memory=300708 CPUtime=3589.03 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 402167 0 0 0 358837 66 0 0 20 0 3 0 194318622 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=50128 CPUtime=3588.04 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 385539 0 0 0 358754 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=11936 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 295 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3589.03 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.41 4.31 7/245 1035438
/proc/meminfo: memFree=123452804/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=351144 memory=300708 CPUtime=3590.64 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 402167 0 0 0 358998 66 0 0 20 0 3 0 194318622 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=-6952569112950574953 CPUtime=3589.65 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 385539 0 0 0 358915 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=1471054669716160641 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 295 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3590.64 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
[startup+3600.8 s]
/proc/loadavg: 4.13 4.41 4.31 7/245 1035438
/proc/meminfo: memFree=123452804/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=351144 memory=300708 CPUtime=3591.42 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 402167 0 0 0 359076 66 0 0 20 0 3 0 194318622 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=300708 CPUtime=3590.43 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 385539 0 0 0 358993 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=29488 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 295 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3591.42 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
[startup+3601 s]*
/proc/loadavg: 4.13 4.41 4.31 6/250 1035585
/proc/meminfo: memFree=123874976/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=351144 memory=300708 CPUtime=3591.63 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 402167 0 0 0 359097 66 0 0 20 0 3 0 194318622 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=-7736474891312193915 CPUtime=3590.65 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 385539 0 0 0 359015 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=11936 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 295 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3591.63 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
[startup+3601.11 s]
/proc/loadavg: 4.13 4.41 4.31 6/250 1035585
/proc/meminfo: memFree=123874976/131655788 swapFree=131071996/131071996
[pid=1033610] ppid=1033605 vsize=351144 memory=300708 CPUtime=3591.73 cores=5,7
/proc/1033610/stat : 1033610 (fscip) S 1033605 1033610 1033539 0 -1 1077936128 402779 0 0 0 359107 66 0 0 20 0 3 0 194318622 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
/proc/1033610/statm: 87786 75177 2990 3032 0 77229 0
[pid=1033610/tid=1033620] ppid=1033605 vsize=351144 memory=300708 CPUtime=3590.75 cores=5,7
/proc/1033610/task/1033620/stat : 1033620 (fscip) R 1033605 1033610 1033539 0 -1 4194368 386148 0 0 0 359025 50 0 0 20 0 3 0 194318697 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
[pid=1033610/tid=1033622] ppid=1033605 vsize=351144 memory=300708 CPUtime=0.05 cores=5,7
/proc/1033610/task/1033622/stat : 1033622 (fscip) S 1033605 1033610 1033539 0 -1 1077936192 295 0 0 0 2 3 0 0 20 0 3 0 194318704 359571456 75177 134679101440 4194304 16613245 140727565470272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 46723072 140727565476883 140727565476999 140727565476999 140727565484016 0
Current children cumulated CPU time: 3591.73 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 300708 KiB
Child status: 0
Real time (s): 3601.15
CPU time (s): 3591.77
CPU user time (s): 3591.1
CPU system time (s): 0.671231
CPU usage (%): 99.7397
Max. virtual memory (cumulated for all children) (KiB): 351144
Max. memory (cumulated for all children) (KiB): 300708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.1
system time used= 0.671231
maximum resident set size= 300708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403432
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= 6588
involuntary context switches= 1123
# summary of solver processes directly reported to runsolver:
# pid: 1033610
# total CPU time (s): 3591.77
# total CPU user time (s): 3591.1
# total CPU system time (s): 0.671231
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0167 second user time and 37.6864 second system time
The end
Begin job on nodeC005 at 2024-07-19 22:40:10
IDJOB=4450870
IDBENCH=162302
IDSOLVER=3064
FILE ID=nodeC005/4450870-1721421598
RUNJOBID= nodeC005-1721421610-1033552
SLURM_JOB_ID= 7545501
Free space on /tmp= 723780 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size96-round23-2.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-4450870-1721421598/watcher-4450870-1721421598 -o /tmp/evaluation-result-4450870-1721421598/solver-4450870-1721421598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033552 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450870-1721421598.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8b84d78b1363b4a3850ebb291b1422d
RANDOM SEED=540776806
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.176
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.176
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.350
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.237
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3488.305
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.176
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.176
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.357
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124299836 kB
MemAvailable: 129837116 kB
Buffers: 533984 kB
Cached: 5785244 kB
SwapCached: 0 kB
Active: 1137188 kB
Inactive: 5520412 kB
Active(anon): 3328 kB
Inactive(anon): 380936 kB
Active(file): 1133860 kB
Inactive(file): 5139476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114308 kB
Writeback: 0 kB
AnonPages: 337612 kB
Mapped: 117928 kB
Shmem: 45896 kB
KReclaimable: 208956 kB
Slab: 328380 kB
SReclaimable: 208956 kB
SUnreclaim: 119424 kB
KernelStack: 3744 kB
PageTables: 9996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 863640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC005 at 2024-07-19 23:40:11