0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 47263744, getVmSize() = 47263744, SCIPgetMemUsed() = 21373489, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13408067
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.21/0.32 c ** Estimated virtualMemUsedAtSolver = 39292797, getVmSize() = 69881856, SCIPgetMemUsed() = 25132761, SCIPgetMemTotal() = 45531129, SCIPgetMemExternEstim() = 13408067
0.21/0.32 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.21/0.32 c Original Problem :
0.21/0.32 c Problem name : instance-4464654-1722386244
0.21/0.32 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.32 c Constraints : 9520
0.21/0.32 c Objective sense : minimize
0.21/0.32 c Presolved Problem :
0.21/0.32 c Variables : 3347 (3347 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.32 c Constraints : 7753
0.21/0.32 c Constraints : Number
0.21/0.32 c and : 32
0.21/0.32 c linear : 1300
0.21/0.32 c logicor : 6421
0.21/0.32 c ** Instance transfer method used: 0
0.32/0.34 c ** ParaScipInstance copy does not increase the number of variables. **
0.32/0.37 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.32/0.37 c Nodes Active
0.32/0.37 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
34.45/34.62 c 35 2 1 1 - 0.0000 -
44.31/44.58 c 45 24 23 1 - 0.0000 -
53.58/53.81 c 54 30 29 1 - 0.0000 -
60.26/60.55 c 61 36 35 1 - 0.0000 -
202.90/203.60 c 204 39 38 1 - 0.0000 -
209.88/210.62 c 211 45 44 1 - 0.0000 -
216.56/217.33 c 217 52 51 1 - 0.0000 -
222.74/223.56 c 224 55 54 1 - 0.0000 -
228.12/228.91 c 229 62 61 1 - 0.0000 -
235.69/236.54 c 237 68 67 1 - 0.0000 -
240.77/241.62 c 242 72 71 1 - 0.0000 -
245.86/246.75 c 247 75 74 1 - 0.0000 -
251.15/252.05 c 252 78 77 1 - 0.0000 -
259.81/260.76 c 261 85 84 1 - 0.0000 -
267.38/268.34 c 268 95 94 1 - 0.0000 -
274.17/275.11 c 275 105 104 1 - 0.0000 -
279.24/280.29 c 280 129 128 1 - 0.0000 -
284.62/285.60 c 286 132 131 1 - 0.0000 -
290.70/291.74 c 292 135 134 1 - 0.0000 -
300.57/301.65 c 302 142 141 1 - 0.0000 -
306.15/307.22 c 307 150 149 1 - 0.0000 -
311.83/312.92 c 313 171 170 1 - 0.0000 -
317.70/318.87 c 319 205 204 1 - 0.0000 -
325.08/326.24 c 326 255 254 1 - 0.0000 -
333.35/334.51 c 335 374 373 1 - 0.0000 -
341.12/342.38 c 342 410 409 1 - 0.0000 -
348.69/349.92 c 350 434 433 1 - 0.0000 -
357.77/359.02 c 359 454 453 1 - 0.0000 -
365.34/366.66 c 367 474 473 1 - 0.0000 -
372.62/373.98 c 374 498 497 1 - 0.0000 -
377.71/379.03 c 379 533 532 1 - 0.0000 -
384.37/385.76 c 386 538 537 1 - 0.0000 -
391.84/393.25 c 393 554 553 1 - 0.0000 -
397.53/398.99 c 399 581 580 1 - 0.0000 -
403.62/405.06 c 405 598 597 1 - 0.0000 -
409.49/410.95 c 411 651 650 1 - 0.0000 -
417.96/419.47 c 419 654 653 1 - 0.0000 -
423.65/425.18 c 425 658 657 1 - 0.0000 -
433.20/434.70 c 435 678 677 1 - 0.0000 -
440.49/442.09 c 442 690 689 1 - 0.0000 -
446.95/448.54 c 449 708 707 1 - 0.0000 -
452.03/453.64 c 454 726 725 1 - 0.0000 -
458.53/460.13 c 460 736 735 1 - 0.0000 -
464.29/465.97 c 466 766 765 1 - 0.0000 -
469.67/471.33 c 471 791 790 1 - 0.0000 -
475.36/477.04 c 477 839 838 1 - 0.0000 -
483.22/484.91 c 485 862 861 1 - 0.0000 -
488.20/489.98 c 490 867 866 1 - 0.0000 -
498.16/499.92 c 500 897 896 1 - 0.0000 -
505.13/506.92 c 507 932 931 1 - 0.0000 -
510.81/512.65 c 513 945 944 1 - 0.0000 -
517.10/518.90 c 519 947 946 1 - 0.0000 -
525.57/527.40 c 527 992 991 1 - 0.0000 -
533.34/535.28 c 535 1017 1016 1 - 0.0000 -
541.01/542.93 c 543 1037 1036 1 - 0.0000 -
549.20/551.11 c 551 1047 1046 1 - 0.0000 -
588.06/590.16 c 590 1051 1 1 - 0.0000 -
593.53/595.61 c 596 1068 18 1 - 0.0000 -
601.20/603.33 c 603 1081 31 1 - 0.0000 -
609.47/611.64 c 612 1092 42 1 - 0.0000 -
615.97/618.18 c 618 1114 64 1 - 0.0000 -
623.94/626.18 c 626 1141 91 1 - 0.0000 -
629.21/631.42 c 631 1149 99 1 - 0.0000 -
634.98/637.22 c 637 1166 116 1 - 0.0000 -
640.88/643.19 c 643 1175 125 1 - 0.0000 -
648.64/650.91 c 651 1181 131 1 - 0.0000 -
657.11/659.40 c 659 1197 147 1 - 0.0000 -
662.49/664.80 c 665 1252 202 1 - 0.0000 -
667.87/670.24 c 670 1283 233 1 - 0.0000 -
676.44/678.89 c 679 1301 251 1 - 0.0000 -
681.82/684.24 c 684 1335 285 1 - 0.0000 -
687.20/689.68 c 690 1349 299 1 - 0.0000 -
693.79/696.27 c 696 1361 311 1 - 0.0000 -
699.27/701.76 c 702 1377 327 1 - 0.0000 -
705.74/708.22 c 708 1381 331 1 - 0.0000 -
714.62/717.14 c 717 1406 356 1 - 0.0000 -
720.79/723.36 c 723 1425 375 1 - 0.0000 -
726.17/728.74 c 729 1463 413 1 - 0.0000 -
731.94/734.50 c 735 1482 432 1 - 0.0000 -
737.23/739.87 c 740 1493 443 1 - 0.0000 -
742.81/745.49 c 746 1510 460 1 - 0.0000 -
748.19/750.85 c 751 1535 485 1 - 0.0000 -
755.87/758.51 c 759 1579 529 1 - 0.0000 -
762.74/765.42 c 765 1589 539 1 - 0.0000 -
768.33/771.02 c 771 1633 583 1 - 0.0000 -
773.60/776.33 c 776 1702 652 1 - 0.0000 -
779.58/782.37 c 782 1716 666 1 - 0.0000 -
784.96/787.75 c 788 1747 697 1 - 0.0000 -
791.35/794.15 c 794 1751 701 1 - 0.0000 -
796.63/799.44 c 799 1766 712 1 - 0.0000 -
803.91/806.70 c 807 1776 722 1 - 0.0000 -
808.99/811.84 c 812 1834 778 1 - 0.0000 -
814.96/817.83 c 818 1866 808 1 - 0.0000 -
824.54/827.40 c 827 1921 863 1 - 0.0000 -
830.51/833.44 c 833 1956 898 1 - 0.0000 -
835.69/838.63 c 839 1986 928 1 - 0.0000 -
843.47/846.41 c 846 2001 943 1 - 0.0000 -
849.06/852.09 c 852 2072 1014 1 - 0.0000 -
858.72/861.71 c 862 2091 1033 1 - 0.0000 -
864.60/867.61 c 868 2133 1073 1 - 0.0000 -
871.47/874.54 c 875 2185 1125 1 - 0.0000 -
1045.63/1049.26 c 1049 2191 1131 1 - 0.0000 -
1052.80/1056.42 c 1056 2197 1137 1 - 0.0000 -
1059.58/1063.22 c 1063 2209 1149 1 - 0.0000 -
1067.06/1070.77 c 1071 2215 1155 1 - 0.0000 -
1072.54/1076.24 c 1076 2282 1222 1 - 0.0000 -
1082.80/1086.56 c 1087 2323 1263 1 - 0.0000 -
1088.08/1091.82 c 1092 2340 1280 1 - 0.0000 -
1095.76/1099.58 c 1100 2367 1305 1 - 0.0000 -
1106.13/1109.93 c 1110 2421 1359 1 - 0.0000 -
1112.00/1115.86 c 1116 2494 1432 1 - 0.0000 -
1118.58/1122.47 c 1122 2517 1455 1 - 0.0000 -
1124.46/1128.39 c 1128 2578 1516 1 - 0.0000 -
1129.74/1133.61 c 1134 2637 1575 1 - 0.0000 -
1135.23/1139.15 c 1139 2657 1595 1 - 0.0000 -
1142.39/1146.33 c 1146 2679 1617 1 - 0.0000 -
1147.68/1151.69 c 1152 2715 1651 1 - 0.0000 -
1153.75/1157.77 c 1158 2723 1659 1 - 0.0000 -
1166.32/1170.34 c 1170 2765 1701 1 - 0.0000 -
1171.89/1175.94 c 1176 2793 1729 1 - 0.0000 -
1178.37/1182.46 c 1182 2807 1743 1 - 0.0000 -
1183.74/1187.80 c 1188 2849 1783 1 - 0.0000 -
1188.82/1192.99 c 1193 2873 1807 1 - 0.0000 -
1194.11/1198.25 c 1198 2881 1815 1 - 0.0000 -
1199.68/1203.82 c 1204 2953 1887 1 - 0.0000 -
1207.87/1212.10 c 1212 2965 1899 1 - 0.0000 -
1213.64/1217.80 c 1218 2993 1927 1 - 0.0000 -
1218.72/1222.99 c 1223 3045 1979 1 - 0.0000 -
1224.20/1228.45 c 1228 3079 2013 1 - 0.0000 -
1229.98/1234.23 c 1234 3097 2031 1 - 0.0000 -
1237.25/1241.55 c 1242 3147 2079 1 - 0.0000 -
1243.14/1247.43 c 1247 3242 2174 1 - 0.0000 -
1251.41/1255.73 c 1256 3321 2253 1 - 0.0000 -
1259.69/1264.01 c 1264 3327 2259 1 - 0.0000 -
1264.77/1269.11 c 1269 3374 2306 1 - 0.0000 -
1272.53/1276.91 c 1277 3417 2349 1 - 0.0000 -
1283.09/1287.59 c 1288 3441 2373 1 - 0.0000 -
1289.17/1293.69 c 1294 3459 2391 1 - 0.0000 -
1298.94/1303.49 c 1303 3525 2457 1 - 0.0000 -
1304.53/1309.07 c 1309 3597 2529 1 - 0.0000 -
1313.98/1318.53 c 1319 3651 2583 1 - 0.0000 -
1319.36/1323.94 c 1324 3662 2594 1 - 0.0000 -
1325.95/1330.52 c 1331 3693 2625 1 - 0.0000 -
1330.93/1335.54 c 1336 3727 2659 1 - 0.0000 -
1336.01/1340.60 c 1341 3762 2694 1 - 0.0000 -
1344.09/1348.70 c 1349 3783 2715 1 - 0.0000 -
1349.77/1354.44 c 1354 3831 2763 1 - 0.0000 -
1362.53/1367.29 c 1367 3873 2805 1 - 0.0000 -
1372.49/1377.29 c 1377 3891 2823 1 - 0.0000 -
1378.28/1383.08 c 1383 3917 2849 1 - 0.0000 -
1383.55/1388.37 c 1388 3961 2893 1 - 0.0000 -
1388.54/1393.39 c 1393 3979 2911 1 - 0.0000 -
1396.32/1401.14 c 1401 4005 2937 1 - 0.0000 -
1402.39/1407.23 c 1407 4011 2943 1 - 0.0000 -
1407.87/1412.78 c 1413 4063 2995 1 - 0.0000 -
1414.27/1419.11 c 1419 4101 3033 1 - 0.0000 -
1422.63/1427.52 c 1428 4125 3057 1 - 0.0000 -
1428.61/1433.53 c 1434 4136 3068 1 - 0.0000 -
1433.59/1438.54 c 1439 4143 3075 1 - 0.0000 -
1439.27/1444.29 c 1444 4158 3090 1 - 0.0000 -
1444.95/1449.94 c 1450 4206 3138 1 - 0.0000 -
1452.42/1457.42 c 1457 4239 3171 1 - 0.0000 -
1459.12/1464.14 c 1464 4280 3212 1 - 0.0000 -
1471.76/1476.88 c 1477 4311 3243 1 - 0.0000 -
1477.14/1482.28 c 1482 4322 3254 1 - 0.0000 -
1485.22/1490.39 c 1490 4335 3267 1 - 0.0000 -
1494.19/1499.37 c 1499 4347 3279 1 - 0.0000 -
1499.47/1504.66 c 1505 4389 3321 1 - 0.0000 -
1505.15/1510.37 c 1510 4412 3344 1 - 0.0000 -
1511.23/1516.44 c 1516 4442 3372 1 - 0.0000 -
1520.30/1525.58 c 1526 4444 3374 1 - 0.0000 -
1525.50/1530.79 c 1531 4486 3416 1 - 0.0000 -
1531.68/1536.96 c 1537 4499 3429 1 - 0.0000 -
1536.77/1542.05 c 1542 4505 3435 1 - 0.0000 -
1544.24/1549.57 c 1550 4559 3489 1 - 0.0000 -
1550.42/1555.71 c 1556 4585 3515 1 - 0.0000 -
1556.10/1561.48 c 1561 4607 3537 1 - 0.0000 -
1565.07/1570.41 c 1570 4648 3578 1 - 0.0000 -
1573.05/1578.43 c 1578 4699 3627 1 - 0.0000 -
1579.23/1584.64 c 1585 4728 3656 1 - 0.0000 -
1585.01/1590.43 c 1590 4764 3692 1 - 0.0000 -
1590.89/1596.33 c 1596 4783 3711 1 - 0.0000 -
1599.16/1604.60 c 1605 4799 3727 1 - 0.0000 -
1608.54/1614.05 c 1614 4813 3741 1 - 0.0000 -
1613.92/1619.44 c 1619 4828 3754 1 - 0.0000 -
1621.80/1627.38 c 1627 4863 3789 1 - 0.0000 -
1627.78/1633.31 c 1633 4884 3810 1 - 0.0000 -
1633.16/1638.78 c 1639 4916 3842 1 - 0.0000 -
1640.24/1645.80 c 1646 4949 3875 1 - 0.0000 -
1648.32/1653.98 c 1654 4971 3897 1 - 0.0000 -
1656.40/1662.03 c 1662 4992 3918 1 - 0.0000 -
1664.27/1669.99 c 1670 5042 3968 1 - 0.0000 -
1669.65/1675.31 c 1675 5056 3982 1 - 0.0000 -
1674.63/1680.34 c 1680 5094 4020 1 - 0.0000 -
1682.32/1688.10 c 1688 5113 4039 1 - 0.0000 -
1687.99/1693.78 c 1694 5154 4078 1 - 0.0000 -
1695.38/1701.16 c 1701 5186 4110 1 - 0.0000 -
1700.95/1706.70 c 1707 5228 4152 1 - 0.0000 -
1710.12/1716.01 c 1716 5243 4167 1 - 0.0000 -
1715.80/1721.63 c 1722 5268 4192 1 - 0.0000 -
1724.47/1730.30 c 1730 5286 4210 1 - 0.0000 -
1729.56/1735.47 c 1735 5304 4228 1 - 0.0000 -
1735.04/1740.92 c 1741 5359 4283 1 - 0.0000 -
1740.62/1746.51 c 1747 5379 4303 1 - 0.0000 -
1745.70/1751.60 c 1752 5433 4357 1 - 0.0000 -
1753.97/1759.96 c 1760 5465 4387 1 - 0.0000 -
1760.07/1766.02 c 1766 5486 4408 1 - 0.0000 -
1765.64/1771.69 c 1772 5501 4423 1 - 0.0000 -
1770.72/1776.72 c 1777 5508 4430 1 - 0.0000 -
1777.01/1783.03 c 1783 5536 4458 1 - 0.0000 -
1782.68/1788.76 c 1789 5567 4487 1 - 0.0000 -
1788.07/1794.17 c 1794 5600 4520 1 - 0.0000 -
1794.95/1801.05 c 1801 5652 4572 1 - 0.0000 -
1800.12/1806.27 c 1806 5671 4591 1 - 0.0000 -
1805.91/1812.03 c 1812 5714 4634 1 - 0.0000 -
1811.39/1817.51 c 1818 5715 4635 1 - 0.0000 -
1817.17/1823.34 c 1823 5732 4652 1 - 0.0000 -
1824.04/1830.21 c 1830 5758 4678 1 - 0.0000 -
1832.32/1838.56 c 1839 5786 4706 1 - 0.0000 -
1838.60/1844.84 c 1845 5793 4713 1 - 0.0000 -
1844.18/1850.45 c 1850 5801 4721 1 - 0.0000 -
1849.36/1855.68 c 1856 5813 4733 1 - 0.0000 -
1855.05/1861.35 c 1861 5862 4782 1 - 0.0000 -
1863.02/1869.36 c 1869 5886 4806 1 - 0.0000 -
1870.00/1876.39 c 1876 5915 4835 1 - 0.0000 -
1875.98/1882.36 c 1882 5959 4879 1 - 0.0000 -
1882.26/1888.63 c 1889 6000 4920 1 - 0.0000 -
1887.64/1894.02 c 1894 6015 4935 1 - 0.0000 -
1896.50/1902.99 c 1903 6029 4949 1 - 0.0000 -
1902.09/1908.57 c 1909 6036 4956 1 - 0.0000 -
1907.47/1913.94 c 1914 6058 4978 1 - 0.0000 -
1914.05/1920.50 c 1921 6086 5006 1 - 0.0000 -
1919.13/1925.63 c 1926 6106 5026 1 - 0.0000 -
1927.21/1933.79 c 1934 6136 5056 1 - 0.0000 -
1932.79/1939.39 c 1939 6151 5071 1 - 0.0000 -
1938.77/1945.35 c 1945 6206 5126 1 - 0.0000 -
1945.05/1951.67 c 1952 6208 5128 1 - 0.0000 -
1951.44/1958.07 c 1958 6251 5171 1 - 0.0000 -
1957.01/1963.60 c 1964 6302 5218 1 - 0.0000 -
1964.98/1971.67 c 1972 6345 5261 1 - 0.0000 -
1971.47/1978.18 c 1978 6382 5298 1 - 0.0000 -
1977.45/1984.14 c 1984 6413 5329 1 - 0.0000 -
1983.82/1990.53 c 1991 6431 5347 1 - 0.0000 -
1988.81/1995.54 c 1996 6477 5393 1 - 0.0000 -
1993.99/2000.73 c 2001 6488 5404 1 - 0.0000 -
2000.17/2006.96 c 2007 6516 5432 1 - 0.0000 -
2006.05/2012.81 c 2013 6560 5476 1 - 0.0000 -
2012.53/2019.37 c 2019 6566 5482 1 - 0.0000 -
2017.61/2024.42 c 2024 6581 5497 1 - 0.0000 -
2023.10/2030.01 c 2030 6636 5552 1 - 0.0000 -
2028.48/2035.35 c 2035 6645 5561 1 - 0.0000 -
2034.17/2041.05 c 2041 6697 5613 1 - 0.0000 -
2039.64/2046.50 c 2047 6718 5634 1 - 0.0000 -
2046.42/2053.35 c 2053 6731 5647 1 - 0.0000 -
2052.30/2059.27 c 2059 6760 5676 1 - 0.0000 -
2058.09/2065.07 c 2065 6823 5739 1 - 0.0000 -
2064.46/2071.48 c 2071 6852 5768 1 - 0.0000 -
2070.54/2077.55 c 2078 6881 5797 1 - 0.0000 -
2081.11/2088.13 c 2088 6916 5832 1 - 0.0000 -
2086.19/2093.20 c 2093 6923 5839 1 - 0.0000 -
2091.68/2098.72 c 2099 6940 5856 1 - 0.0000 -
2097.07/2104.19 c 2104 6966 5882 1 - 0.0000 -
2102.24/2109.39 c 2109 6986 5902 1 - 0.0000 -
2110.62/2117.77 c 2118 7023 5939 1 - 0.0000 -
2119.29/2126.46 c 2126 7038 5954 1 - 0.0000 -
2125.37/2132.52 c 2133 7083 5999 1 - 0.0000 -
2132.34/2139.56 c 2140 7116 6032 1 - 0.0000 -
2137.84/2145.03 c 2145 7131 6047 1 - 0.0000 -
2143.21/2150.40 c 2150 7150 6066 1 - 0.0000 -
2148.19/2155.47 c 2155 7186 6102 1 - 0.0000 -
2154.07/2161.36 c 2161 7207 6123 1 - 0.0000 -
2159.05/2166.39 c 2166 7228 6144 1 - 0.0000 -
2165.03/2172.38 c 2172 7285 6201 1 - 0.0000 -
2171.11/2178.45 c 2178 7315 6231 1 - 0.0000 -
2176.40/2183.74 c 2184 7349 6265 1 - 0.0000 -
2185.56/2192.98 c 2193 7359 6275 1 - 0.0000 -
2190.66/2198.10 c 2198 7366 6282 1 - 0.0000 -
2199.92/2207.37 c 2207 7388 6304 1 - 0.0000 -
2207.09/2214.50 c 2215 7395 6311 1 - 0.0000 -
2215.26/2222.72 c 2223 7423 6339 1 - 0.0000 -
2220.74/2228.22 c 2228 7460 6376 1 - 0.0000 -
2226.53/2234.08 c 2234 7481 6397 1 - 0.0000 -
2231.52/2239.09 c 2239 7527 6443 1 - 0.0000 -
2237.50/2245.07 c 2245 7546 6462 1 - 0.0000 -
2246.95/2254.59 c 2255 7588 6504 1 - 0.0000 -
2252.64/2260.22 c 2260 7606 6522 1 - 0.0000 -
2259.43/2267.08 c 2267 7623 6539 1 - 0.0000 -
2266.41/2274.01 c 2274 7652 6568 1 - 0.0000 -
2274.57/2282.22 c 2282 7673 6589 1 - 0.0000 -
2281.94/2289.64 c 2290 7688 6604 1 - 0.0000 -
2291.43/2299.17 c 2299 7702 6618 1 - 0.0000 -
2296.99/2304.70 c 2305 7720 6636 1 - 0.0000 -
2302.18/2309.96 c 2310 7760 6676 1 - 0.0000 -
2312.74/2320.52 c 2321 7781 6697 1 - 0.0000 -
2318.72/2326.55 c 2327 7802 6718 1 - 0.0000 -
2324.40/2332.20 c 2332 7813 6729 1 - 0.0000 -
2329.69/2337.53 c 2338 7851 6765 1 - 0.0000 -
2335.18/2343.06 c 2343 7873 6787 1 - 0.0000 -
2340.35/2348.23 c 2348 7888 6802 1 - 0.0000 -
2345.33/2353.25 c 2353 7925 6838 1 - 0.0000 -
2352.22/2360.19 c 2360 7952 6865 1 - 0.0000 -
2360.29/2368.25 c 2368 7973 6886 1 - 0.0000 -
2365.97/2373.95 c 2374 8016 6929 1 - 0.0000 -
2372.45/2380.46 c 2380 8052 6965 1 - 0.0000 -
2378.24/2386.29 c 2386 8059 6972 1 - 0.0000 -
2383.62/2391.69 c 2392 8080 6993 1 - 0.0000 -
2389.31/2397.34 c 2397 8092 7005 1 - 0.0000 -
2394.69/2402.79 c 2403 8128 7041 1 - 0.0000 -
2401.77/2409.83 c 2410 8152 7065 1 - 0.0000 -
2410.35/2418.44 c 2418 8166 7079 1 - 0.0000 -
2415.94/2424.02 c 2424 8206 7119 1 - 0.0000 -
2421.41/2429.53 c 2430 8227 7140 1 - 0.0000 -
2429.59/2437.71 c 2438 8259 7170 1 - 0.0000 -
2435.17/2443.35 c 2443 8273 7184 1 - 0.0000 -
2441.36/2449.52 c 2450 8289 7198 1 - 0.0000 -
2447.25/2455.49 c 2456 8302 7211 1 - 0.0000 -
2452.73/2460.97 c 2461 8330 7239 1 - 0.0000 -
2459.11/2467.33 c 2467 8390 7299 1 - 0.0000 -
2464.70/2473.01 c 2473 8404 7313 1 - 0.0000 -
2473.67/2482.01 c 2482 8453 7362 1 - 0.0000 -
2479.65/2487.97 c 2488 8500 7409 1 - 0.0000 -
2485.53/2493.81 c 2494 8520 7429 1 - 0.0000 -
2492.21/2500.57 c 2501 8539 7448 1 - 0.0000 -
2499.29/2507.61 c 2508 8553 7462 1 - 0.0000 -
2504.58/2512.95 c 2513 8568 7477 1 - 0.0000 -
2510.86/2519.23 c 2519 8581 7490 1 - 0.0000 -
2516.05/2524.49 c 2524 8612 7521 1 - 0.0000 -
2521.23/2529.64 c 2530 8624 7533 1 - 0.0000 -
2528.11/2536.53 c 2537 8646 7555 1 - 0.0000 -
2533.61/2542.07 c 2542 8653 7562 1 - 0.0000 -
2542.77/2551.28 c 2551 8668 7577 1 - 0.0000 -
2553.14/2561.62 c 2562 8718 7627 1 - 0.0000 -
2558.92/2567.49 c 2568 8769 7678 1 - 0.0000 -
2564.80/2573.34 c 2573 8790 7699 1 - 0.0000 -
2573.88/2582.47 c 2582 8818 7725 1 - 0.0000 -
2579.47/2588.09 c 2588 8867 7774 1 - 0.0000 -
2588.63/2597.21 c 2597 8911 7818 1 - 0.0000 -
2594.82/2603.43 c 2603 8925 7832 1 - 0.0000 -
2600.10/2608.74 c 2609 8932 7839 1 - 0.0000 -
2609.28/2617.94 c 2618 8946 7853 1 - 0.0000 -
2614.37/2623.06 c 2623 8988 7895 1 - 0.0000 -
2620.35/2629.02 c 2629 9034 7941 1 - 0.0000 -
2628.33/2637.05 c 2637 9075 7982 1 - 0.0000 -
2634.01/2642.80 c 2643 9109 8016 1 - 0.0000 -
2640.49/2649.26 c 2649 9125 8032 1 - 0.0000 -
2647.67/2656.48 c 2656 9146 8053 1 - 0.0000 -
2657.04/2665.80 c 2666 9161 8068 1 - 0.0000 -
2662.63/2671.49 c 2671 9213 8120 1 - 0.0000 -
2669.90/2678.72 c 2679 9239 8146 1 - 0.0000 -
2675.30/2684.12 c 2684 9254 8161 1 - 0.0000 -
2680.37/2689.27 c 2689 9269 8176 1 - 0.0000 -
2871.67/2881.03 c 2881 9275 8182 1 - 0.0000 -
2877.14/2886.59 c 2887 9282 8189 1 - 0.0000 -
2882.92/2892.35 c 2892 9319 8226 1 - 0.0000 -
2888.31/2897.72 c 2898 9340 8247 1 - 0.0000 -
2893.49/2902.97 c 2903 9372 8279 1 - 0.0000 -
2900.78/2910.25 c 2910 9396 8303 1 - 0.0000 -
2906.26/2915.76 c 2916 9442 8349 1 - 0.0000 -
2911.75/2921.25 c 2921 9468 8375 1 - 0.0000 -
2920.02/2929.53 c 2930 9482 8389 1 - 0.0000 -
2930.29/2939.84 c 2940 9503 8410 1 - 0.0000 -
2936.17/2945.77 c 2946 9525 8432 1 - 0.0000 -
2941.47/2951.03 c 2951 9561 8468 1 - 0.0000 -
2946.84/2956.42 c 2956 9580 8487 1 - 0.0000 -
2952.63/2962.27 c 2962 9603 8510 1 - 0.0000 -
2959.90/2969.58 c 2970 9639 8546 1 - 0.0000 -
2965.09/2974.71 c 2975 9690 8597 1 - 0.0000 -
2971.27/2980.92 c 2981 9696 8603 1 - 0.0000 -
2976.56/2986.28 c 2986 9703 8610 1 - 0.0000 -
2981.74/2991.45 c 2991 9736 8643 1 - 0.0000 -
2989.72/2999.42 c 2999 9768 8675 1 - 0.0000 -
2996.10/3005.85 c 3006 9817 8724 1 - 0.0000 -
3004.28/3014.03 c 3014 9861 8766 1 - 0.0000 -
3009.37/3019.15 c 3019 9905 8810 1 - 0.0000 -
3014.64/3024.48 c 3024 9911 8816 1 - 0.0000 -
3020.13/3029.98 c 3030 9961 8866 1 - 0.0000 -
3025.91/3035.76 c 3036 9993 8898 1 - 0.0000 -
3036.58/3046.47 c 3046 10011 8916 1 - 0.0000 -
3044.46/3054.32 c 3054 10032 8937 1 - 0.0000 -
3049.54/3059.43 c 3059 10067 8972 1 - 0.0000 -
3054.93/3064.81 c 3065 10082 8987 1 - 0.0000 -
3064.50/3074.44 c 3074 10093 8998 1 - 0.0000 -
3072.77/3082.76 c 3083 10125 9030 1 - 0.0000 -
3082.95/3092.93 c 3093 10157 9062 1 - 0.0000 -
3088.93/3098.90 c 3099 10210 9115 1 - 0.0000 -
3094.91/3104.99 c 3105 10264 9169 1 - 0.0000 -
3102.01/3112.09 c 3112 10277 9182 1 - 0.0000 -
3107.10/3117.13 c 3117 10326 9231 1 - 0.0000 -
3112.08/3122.16 c 3122 10333 9238 1 - 0.0000 -
3120.74/3130.80 c 3131 10357 9262 1 - 0.0000 -
3125.73/3135.82 c 3136 10393 9298 1 - 0.0000 -
3132.02/3142.17 c 3142 10421 9326 1 - 0.0000 -
3137.59/3147.71 c 3148 10465 9370 1 - 0.0000 -
3142.78/3152.95 c 3153 10470 9375 1 - 0.0000 -
3150.97/3161.17 c 3161 10501 9406 1 - 0.0000 -
3156.54/3166.76 c 3167 10549 9454 1 - 0.0000 -
3162.32/3172.54 c 3173 10565 9470 1 - 0.0000 -
3168.11/3178.35 c 3178 10581 9486 1 - 0.0000 -
3176.79/3187.04 c 3187 10605 9510 1 - 0.0000 -
3182.16/3192.40 c 3192 10852 9751 1 - 0.0000 -
3187.65/3197.99 c 3198 11277 10056 1 - 0.0000 -
3194.63/3204.99 c 3205 11338 10085 1 - 0.0000 -
3200.82/3211.18 c 3211 11578 10176 1 - 0.0000 -
3206.89/3217.25 c 3217 11839 10230 1 - 0.0000 -
3211.98/3222.35 c 3222 12266 10242 1 - 0.0000 -
3217.37/3227.72 c 3228 12509 10253 1 - 0.0000 -
3222.55/3232.99 c 3233 12685 10291 1 - 0.0000 -
3227.74/3238.19 c 3238 12916 10280 1 - 0.0000 -
3233.02/3243.44 c 3243 13121 10302 1 - 0.0000 -
3238.80/3249.24 c 3249 13278 10319 1 - 0.0000 -
3244.78/3255.25 c 3255 13464 10306 1 - 0.0000 -
3250.36/3260.86 c 3261 13650 10315 1 - 0.0000 -
3255.44/3266.01 c 3266 13908 10343 1 - 0.0000 -
3260.65/3271.16 c 3271 14465 10353 1 - 0.0000 -
3265.72/3276.28 c 3276 14748 10356 1 - 0.0000 -
3271.30/3281.89 c 3282 14924 10349 1 - 0.0000 -
3276.50/3287.04 c 3287 15642 10357 1 - 0.0000 -
3281.58/3292.14 c 3292 15995 10339 1 - 0.0000 -
3287.35/3297.90 c 3298 16420 10330 1 - 0.0000 -
3292.45/3303.07 c 3303 16946 10329 1 - 0.0000 -
3297.62/3308.25 c 3308 17696 10337 1 - 0.0000 -
3302.71/3313.35 c 3313 18039 10325 1 - 0.0000 -
3307.90/3318.59 c 3319 18498 10334 1 - 0.0000 -
3313.07/3323.74 c 3324 18836 10331 1 - 0.0000 -
3318.37/3329.04 c 3329 19259 10342 1 - 0.0000 -
3323.45/3334.17 c 3334 19837 10341 1 - 0.0000 -
3328.62/3339.36 c 3339 20271 10331 1 - 0.0000 -
3333.70/3344.49 c 3344 20797 10336 1 - 0.0000 -
3338.89/3349.64 c 3350 21277 10347 1 - 0.0000 -
3344.17/3354.98 c 3355 21693 10352 1 - 0.0000 -
3349.27/3360.04 c 3360 22311 10335 1 - 0.0000 -
3354.35/3365.13 c 3365 22796 10340 1 - 0.0000 -
3359.52/3370.34 c 3370 23196 10352 1 - 0.0000 -
3364.81/3375.61 c 3376 23536 10347 1 - 0.0000 -
3369.99/3380.81 c 3381 23873 10359 1 - 0.0000 -
3375.08/3385.98 c 3386 24266 10335 1 - 0.0000 -
3380.27/3391.16 c 3391 24612 10330 1 - 0.0000 -
3385.55/3396.43 c 3396 24979 10337 1 - 0.0000 -
3390.63/3401.58 c 3402 25364 10334 1 - 0.0000 -
3395.72/3406.63 c 3407 26033 10369 1 - 0.0000 -
3400.80/3411.74 c 3412 26503 10359 1 - 0.0000 -
3405.88/3416.87 c 3417 27063 10345 1 - 0.0000 -
3411.08/3422.10 c 3422 27388 10361 1 - 0.0000 -
3416.36/3427.35 c 3427 27631 10361 1 - 0.0000 -
3421.74/3432.77 c 3433 27917 10357 1 - 0.0000 -
3427.13/3438.18 c 3438 28167 10374 1 - 0.0000 -
3432.41/3443.48 c 3443 28395 10368 1 - 0.0000 -
3437.49/3448.54 c 3449 28631 10376 1 - 0.0000 -
3442.57/3453.63 c 3454 28911 10385 1 - 0.0000 -
3447.76/3458.80 c 3459 29178 10371 1 - 0.0000 -
3452.96/3464.03 c 3464 29383 10372 1 - 0.0000 -
3458.13/3469.26 c 3469 29618 10372 1 - 0.0000 -
3463.32/3474.46 c 3474 29856 10365 1 - 0.0000 -
3468.51/3479.62 c 3480 30114 10381 1 - 0.0000 -
3473.78/3484.91 c 3485 30317 10371 1 - 0.0000 -
3479.05/3490.23 c 3490 30514 10370 1 - 0.0000 -
3484.33/3495.54 c 3496 30791 10363 1 - 0.0000 -
3489.52/3500.71 c 3501 31033 10388 1 - 0.0000 -
3494.70/3506.01 c 3506 31306 10370 1 - 0.0000 -
3499.99/3511.25 c 3511 31601 10369 1 - 0.0000 -
3505.38/3516.62 c 3517 31874 10363 1 - 0.0000 -
3510.56/3521.81 c 3522 32100 10379 1 - 0.0000 -
3515.64/3526.95 c 3527 32260 10376 1 - 0.0000 -
3520.84/3532.19 c 3532 32447 10369 1 - 0.0000 -
3526.02/3537.39 c 3537 32659 10362 1 - 0.0000 -
3531.30/3542.67 c 3543 32885 10359 1 - 0.0000 -
3536.48/3547.88 c 3548 33076 10360 1 - 0.0000 -
3541.77/3553.13 c 3553 33402 10363 1 - 0.0000 -
3546.96/3558.32 c 3558 33712 10371 1 - 0.0000 -
3552.04/3563.44 c 3563 34146 10353 1 - 0.0000 -
3557.22/3568.60 c 3569 34470 10354 1 - 0.0000 -
3562.40/3573.81 c 3574 34995 10366 1 - 0.0000 -
3567.49/3578.93 c 3579 35498 10363 1 - 0.0000 -
3572.59/3584.03 c 3584 36054 10382 1 - 0.0000 -
3577.57/3589.07 c 3589 36635 10376 1 - 0.0000 -
3582.74/3594.26 c 3594 37290 10362 1 - 0.0000 -
3586.55/3598.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.55/3598.04 c Total Time : 3598.0500
3586.55/3598.04 c solving : 3598.0500
3586.55/3598.04 c presolving : 0.2807 (included in solving)
3586.55/3598.04 c B&B Tree :
3586.55/3598.04 c nodes (total) : 1
3586.55/3598.04 c Solution :
3586.55/3598.04 c Solutions found : 0
3586.55/3598.04 c Primal Bound : -
3586.55/3598.04 c Dual Bound : +0.00000000000000e+00
3586.55/3598.04 c Gap : -
3586.55/3598.07 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 (53987 MiB free)
memory of node 1: 64473 MiB (59000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464654-1722386244/watcher-4464654-1722386244 -o /tmp/evaluation-result-4464654-1722386244/solver-4464654-1722386244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28655 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464654-1722386244.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=33470, runsolver pid=33467
[startup+0.100097 s]*
/proc/loadavg: 4.14 4.12 4.13 6/246 33471
/proc/meminfo: memFree=115666128/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=54672 memory=43728 CPUtime=0.1 cores=0,2
/proc/33470/stat : 33470 (fscip) R 33467 33470 28645 0 -1 4194304 9850 0 0 0 9 1 0 0 20 0 1 0 5222003 55984128 10932 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 13668 10932 2726 3035 0 10064 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54672 KiB
Current children cumulated memory: 43728 KiB
[startup+0.212745 s]*
/proc/loadavg: 4.14 4.12 4.13 5/246 33471
/proc/meminfo: memFree=115661932/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=59188 memory=48536 CPUtime=0.21 cores=0,2
/proc/33470/stat : 33470 (fscip) R 33467 33470 28645 0 -1 4194304 10999 0 0 0 20 1 0 0 20 0 1 0 5222003 60608512 12134 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 14797 12134 2742 3035 0 11193 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59188 KiB
Current children cumulated memory: 48536 KiB
[startup+0.312327 s]*
/proc/loadavg: 4.14 4.12 4.13 5/246 33471
/proc/meminfo: memFree=115658768/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=78256 memory=54544 CPUtime=0.32 cores=0,2
/proc/33470/stat : 33470 (fscip) R 33467 33470 28645 0 -1 4194304 12780 0 0 0 30 2 0 0 20 0 2 0 5222003 80134144 13636 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 19564 13636 2774 3035 0 15959 0
[pid=33470/tid=33472] ppid=33467 vsize=78256 memory=-6000919476984768876 CPUtime=0 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 5222035 80134144 13636 134679101440 4194304 16623229 140727157134224 0 0 0 2147221247 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 78256 KiB
Current children cumulated memory: 54544 KiB
[startup+0.7012 s]
/proc/loadavg: 4.13 4.12 4.13 5/248 33473
/proc/meminfo: memFree=115621192/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=153656 memory=89424 CPUtime=0.66 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 23307 0 0 0 61 5 0 0 20 0 3 0 5222003 157343744 22356 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 38414 22356 2790 3035 0 27070 0
[pid=33470/tid=33472] ppid=33467 vsize=153656 memory=16076 CPUtime=0.32 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 8225 0 0 0 30 2 0 0 20 0 3 0 5222035 157343744 22356 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=153656 memory=257 CPUtime=0 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5222040 157343744 22356 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 153656 KiB
Current children cumulated memory: 89424 KiB
[startup+1.50031 s]
/proc/loadavg: 4.13 4.12 4.13 6/248 33473
/proc/meminfo: memFree=115598448/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=153656 memory=112876 CPUtime=1.45 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 32036 0 0 0 138 7 0 0 20 0 3 0 5222003 157343744 28219 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 38414 28219 2950 3035 0 32818 0
[pid=33470/tid=33472] ppid=33467 vsize=153656 memory=257 CPUtime=1.11 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 16954 0 0 0 107 4 0 0 20 0 3 0 5222035 157343744 28219 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=153656 memory=0 CPUtime=0 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5222040 157343744 28219 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 153656 KiB
Current children cumulated memory: 112876 KiB
[startup+3.11184 s]
/proc/loadavg: 4.13 4.12 4.13 6/248 33473
/proc/meminfo: memFree=115564608/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=219192 memory=144928 CPUtime=3.06 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 45356 0 0 0 296 10 0 0 20 0 3 0 5222003 224452608 36232 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 54798 36232 2966 3035 0 42419 0
[pid=33470/tid=33472] ppid=33467 vsize=219192 memory=0 CPUtime=2.72 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 30271 0 0 0 265 7 0 0 20 0 3 0 5222035 224452608 36232 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=219192 memory=0 CPUtime=0 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5222040 224452608 36232 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 219192 KiB
Current children cumulated memory: 144928 KiB
[startup+6.30027 s]
/proc/loadavg: 4.12 4.12 4.13 7/248 33474
/proc/meminfo: memFree=115559568/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=219192 memory=144960 CPUtime=6.24 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 47810 0 0 0 614 10 0 0 20 0 3 0 5222003 224452608 36240 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 54798 36240 2966 3035 0 42419 0
[pid=33470/tid=33472] ppid=33467 vsize=219192 memory=0 CPUtime=5.9 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 32725 0 0 0 583 7 0 0 20 0 3 0 5222035 224452608 36240 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=219192 memory=-5155627990208048005 CPUtime=0 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5222040 224452608 36240 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 219192 KiB
Current children cumulated memory: 144960 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.13 7/248 33474
/proc/meminfo: memFree=115555280/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=219192 memory=144968 CPUtime=12.61 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 74352 0 0 0 1250 11 0 0 20 0 3 0 5222003 224452608 36242 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 54798 36242 2966 3035 0 42419 0
[pid=33470/tid=33472] ppid=33467 vsize=219192 memory=-5155627990208048005 CPUtime=12.28 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 59254 0 0 0 1219 9 0 0 20 0 3 0 5222035 224452608 36242 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=219192 memory=144968 CPUtime=0 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 5222040 224452608 36242 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 219192 KiB
Current children cumulated memory: 144968 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.13 6/248 33478
/proc/meminfo: memFree=115549368/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=219192 memory=146044 CPUtime=25.37 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 99539 0 0 0 2525 12 0 0 20 0 3 0 5222003 224452608 36511 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 54798 36511 2966 3035 0 42419 0
[pid=33470/tid=33472] ppid=33467 vsize=219192 memory=146044 CPUtime=25.03 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 84431 0 0 0 2494 9 0 0 20 0 3 0 5222035 224452608 36511 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=219192 memory=5412 CPUtime=0 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5222040 224452608 36511 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 219192 KiB
Current children cumulated memory: 146044 KiB
[startup+51.1128 s]
/proc/loadavg: 4.11 4.12 4.13 6/248 33482
/proc/meminfo: memFree=115506640/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=219192 memory=168988 CPUtime=50.9 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 148078 0 0 0 5074 16 0 0 20 0 3 0 5222003 224452608 42247 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 54798 42247 2966 3035 0 48834 0
[pid=33470/tid=33472] ppid=33467 vsize=219192 memory=167844 CPUtime=50.56 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 132891 0 0 0 5043 13 0 0 20 0 3 0 5222035 224452608 42247 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=219192 memory=12160 CPUtime=0 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5222040 224452608 42247 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 219192 KiB
Current children cumulated memory: 168988 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.12 6/248 33490
/proc/meminfo: memFree=115476148/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=219192 memory=170528 CPUtime=101.94 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 165286 0 0 0 10177 17 0 0 20 0 3 0 5222003 224452608 42632 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 54798 42632 3014 3035 0 49098 0
[pid=33470/tid=33472] ppid=33467 vsize=219192 memory=170528 CPUtime=101.59 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 150051 0 0 0 10146 13 0 0 20 0 3 0 5222035 224452608 42632 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=219192 memory=170528 CPUtime=0 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 5222040 224452608 42632 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 219192 KiB
Current children cumulated memory: 170528 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.12 6/248 33501
/proc/meminfo: memFree=115440140/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=219192 memory=170528 CPUtime=161.75 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 169948 0 0 0 16158 17 0 0 20 0 3 0 5222003 224452608 42632 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 54798 42632 3014 3035 0 49098 0
[pid=33470/tid=33472] ppid=33467 vsize=219192 memory=170528 CPUtime=161.41 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 154706 0 0 0 16127 14 0 0 20 0 3 0 5222035 224452608 42632 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=219192 memory=5412 CPUtime=0 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 71 0 0 0 0 0 0 0 20 0 3 0 5222040 224452608 42632 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 219192 KiB
Current children cumulated memory: 170528 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.12 6/250 33515
/proc/meminfo: memFree=115408260/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=219192 memory=170528 CPUtime=221.54 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 189729 0 0 0 22136 18 0 0 20 0 3 0 5222003 224452608 42632 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 54798 42632 3014 3035 0 49098 0
[pid=33470/tid=33472] ppid=33467 vsize=219192 memory=12160 CPUtime=221.2 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 174417 0 0 0 22105 15 0 0 20 0 3 0 5222035 224452608 42632 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
################
# More data... #
################
/proc/33470/statm: 87566 76768 3334 3035 0 78944 0
[pid=33470/tid=33472] ppid=33467 vsize=350264 memory=12660 CPUtime=3390.9 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 569642 0 0 0 339029 61 0 0 20 0 3 0 5222035 358670336 76768 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=350264 memory=306516 CPUtime=0.04 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 312 0 0 0 1 3 0 0 20 0 3 0 5222040 358670336 76768 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3391.43 s
Current children cumulated vsize: 350264 KiB
Current children cumulated memory: 307072 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 2.05 3.00 2/226 35414
/proc/meminfo: memFree=117894648/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=350264 memory=313280 CPUtime=3451.25 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 598724 0 0 0 345049 76 0 0 20 0 3 0 5222003 358670336 78320 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 87566 78320 3334 3035 0 83722 0
[pid=33470/tid=33472] ppid=33467 vsize=350264 memory=12660 CPUtime=3450.72 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 582151 0 0 0 345008 64 0 0 20 0 3 0 5222035 358670336 78320 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=350264 memory=307192 CPUtime=0.04 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 314 0 0 0 1 3 0 0 20 0 3 0 5222040 358670336 78320 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3451.25 s
Current children cumulated vsize: 350264 KiB
Current children cumulated memory: 313280 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.88 2.88 2/222 35425
/proc/meminfo: memFree=117890652/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=350264 memory=316904 CPUtime=3511.06 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 605394 0 0 0 351028 78 0 0 20 0 3 0 5222003 358670336 79226 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 87566 79226 3334 3035 0 83722 0
[pid=33470/tid=33472] ppid=33467 vsize=350264 memory=-7379547681008476026 CPUtime=3510.52 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 588810 0 0 0 350986 66 0 0 20 0 3 0 5222035 358670336 79226 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=350264 memory=315144 CPUtime=0.04 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 316 0 0 0 1 3 0 0 20 0 3 0 5222040 358670336 79226 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3511.06 s
Current children cumulated vsize: 350264 KiB
Current children cumulated memory: 316904 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.74 2.77 2/222 35435
/proc/meminfo: memFree=117886204/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=350264 memory=320580 CPUtime=3570.89 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 611350 0 0 0 357008 81 0 0 20 0 3 0 5222003 358670336 80145 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 87566 80145 3334 3035 0 83722 0
[pid=33470/tid=33472] ppid=33467 vsize=350264 memory=319412 CPUtime=3570.34 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 594749 0 0 0 356966 68 0 0 20 0 3 0 5222035 358670336 80145 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=350264 memory=320388 CPUtime=0.05 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 5222040 358670336 80145 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 350264 KiB
Current children cumulated memory: 320580 KiB
[startup+3598.09 s]
# the end of solver process 33470 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.78 s, system=0.843871 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.11 1.74 2.77 2/222 35437
/proc/meminfo: memFree=117885916/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=350264 memory=320804 CPUtime=3572.59 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 612444 0 0 0 357178 81 0 0 20 0 3 0 5222003 358670336 80201 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 87566 80201 3334 3035 0 83722 0
[pid=33470/tid=33472] ppid=33467 vsize=350264 memory=-7379547681008476026 CPUtime=3572.05 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 595855 0 0 0 357136 69 0 0 20 0 3 0 5222035 358670336 80201 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=350264 memory=-4050210904893735827 CPUtime=0.05 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 5222040 358670336 80201 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 350264 KiB
Current children cumulated memory: 320804 KiB
[startup+3590.4 s]
/proc/loadavg: 1.10 1.72 2.76 2/222 35437
/proc/meminfo: memFree=117885612/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=350264 memory=321112 CPUtime=3578.95 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 614418 0 0 0 357814 81 0 0 20 0 3 0 5222003 358670336 80278 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 87566 80278 3334 3035 0 83722 0
[pid=33470/tid=33472] ppid=33467 vsize=350264 memory=320440 CPUtime=3578.41 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 597803 0 0 0 357772 69 0 0 20 0 3 0 5222035 358670336 80278 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=350264 memory=1804 CPUtime=0.05 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 5222040 358670336 80278 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3578.95 s
Current children cumulated vsize: 350264 KiB
Current children cumulated memory: 321112 KiB
[startup+3593.6 s]
/proc/loadavg: 1.09 1.71 2.75 2/222 35437
/proc/meminfo: memFree=117858916/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=415800 memory=347968 CPUtime=3582.14 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 621721 0 0 0 358132 82 0 0 20 0 3 0 5222003 425779200 86992 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 103950 86992 3334 3035 0 89575 0
[pid=33470/tid=33472] ppid=33467 vsize=415800 memory=321192 CPUtime=3581.6 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 605106 0 0 0 358090 70 0 0 20 0 3 0 5222035 425779200 86992 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=415800 memory=321064 CPUtime=0.05 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 5222040 425779200 86992 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3582.14 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 347968 KiB
[startup+3595.2 s]
/proc/loadavg: 1.09 1.71 2.75 3/222 35438
/proc/meminfo: memFree=117858616/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=415800 memory=347996 CPUtime=3583.74 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 621893 0 0 0 358292 82 0 0 20 0 3 0 5222003 425779200 86999 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 103950 86999 3334 3035 0 89575 0
[pid=33470/tid=33472] ppid=33467 vsize=415800 memory=321328 CPUtime=3583.2 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 605278 0 0 0 358250 70 0 0 20 0 3 0 5222035 425779200 86999 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=415800 memory=12160 CPUtime=0.05 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 5222040 425779200 86999 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3583.74 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 347996 KiB
[startup+3596.8 s]
/proc/loadavg: 1.09 1.71 2.75 2/222 35438
/proc/meminfo: memFree=117858564/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=415800 memory=348004 CPUtime=3585.34 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 622043 0 0 0 358451 83 0 0 20 0 3 0 5222003 425779200 87001 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 103950 87001 3334 3035 0 89575 0
[pid=33470/tid=33472] ppid=33467 vsize=415800 memory=320388 CPUtime=3584.8 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 605428 0 0 0 358409 71 0 0 20 0 3 0 5222035 425779200 87001 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=415800 memory=320748 CPUtime=0.05 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 5222040 425779200 87001 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3585.34 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 348004 KiB
[startup+3597.6 s]
/proc/loadavg: 1.17 1.72 2.75 2/222 35438
/proc/meminfo: memFree=117858580/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=415800 memory=348004 CPUtime=3586.14 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 622102 0 0 0 358531 83 0 0 20 0 3 0 5222003 425779200 87001 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 103950 87001 3334 3035 0 89575 0
[pid=33470/tid=33472] ppid=33467 vsize=415800 memory=12660 CPUtime=3585.6 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 605487 0 0 0 358489 71 0 0 20 0 3 0 5222035 425779200 87001 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=415800 memory=13080 CPUtime=0.05 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 5222040 425779200 87001 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 348004 KiB
[startup+3598 s]*
/proc/loadavg: 1.17 1.72 2.75 2/222 35438
/proc/meminfo: memFree=117858588/131655788 swapFree=131071996/131071996
[pid=33470] ppid=33467 vsize=415800 memory=348016 CPUtime=3586.55 cores=0,2
/proc/33470/stat : 33470 (fscip) S 33467 33470 28645 0 -1 1077936128 622245 0 0 0 358572 83 0 0 20 0 3 0 5222003 425779200 87004 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
/proc/33470/statm: 103950 87004 3334 3035 0 89575 0
[pid=33470/tid=33472] ppid=33467 vsize=415800 memory=-7379547681008476026 CPUtime=3586.01 cores=0,2
/proc/33470/task/33472/stat : 33472 (fscip) R 33467 33470 28645 0 -1 4194368 605647 0 0 0 358530 71 0 0 20 0 3 0 5222035 425779200 87004 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
[pid=33470/tid=33473] ppid=33467 vsize=415800 memory=-4050210904893735827 CPUtime=0.05 cores=0,2
/proc/33470/task/33473/stat : 33473 (fscip) S 33467 33470 28645 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 5222040 425779200 87004 134679101440 4194304 16623229 140727157134224 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36024320 140727157142550 140727157142666 140727157142666 140727157149680 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 348016 KiB
Child status: 0
Real time (s): 3598.09
CPU time (s): 3586.63
CPU user time (s): 3585.78
CPU system time (s): 0.843871
CPU usage (%): 99.6816
Max. virtual memory (cumulated for all children) (KiB): 415800
Max. memory (cumulated for all children) (KiB): 348016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.78
system time used= 0.843871
maximum resident set size= 348016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 623366
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= 7019
involuntary context switches= 25102
# summary of solver processes directly reported to runsolver:
# pid: 33470
# total CPU time (s): 3586.63
# total CPU user time (s): 3585.78
# total CPU system time (s): 0.843871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7026 second user time and 34.3275 second system time
The end
Begin job on nodeC009 at 2024-07-31 02:37:24
IDJOB=4464654
IDBENCH=162225
IDSOLVER=3092
FILE ID=nodeC009/4464654-1722386244
RUNJOBID= nodeC009-1722378594-28655
SLURM_JOB_ID= 8249839
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464654-1722386244/watcher-4464654-1722386244 -o /tmp/evaluation-result-4464654-1722386244/solver-4464654-1722386244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28655 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464654-1722386244.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3a6a9e178c68ea233cbdb43dd005ad2a
RANDOM SEED=2017193718
nodeC009.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 : 3492.023
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.99
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 : 3670.992
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.37
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.257
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.99
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.409
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.37
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 : 3663.236
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.99
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 : 3627.846
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.37
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.282
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.99
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.445
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 115700032 kB
MemAvailable: 127634900 kB
Buffers: 102592 kB
Cached: 12632940 kB
SwapCached: 0 kB
Active: 267584 kB
Inactive: 15175756 kB
Active(anon): 1496 kB
Inactive(anon): 2727636 kB
Active(file): 266088 kB
Inactive(file): 12448120 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28768 kB
Writeback: 4 kB
AnonPages: 2707832 kB
Mapped: 125008 kB
Shmem: 21320 kB
KReclaimable: 121716 kB
Slab: 203876 kB
SReclaimable: 121716 kB
SUnreclaim: 82160 kB
KernelStack: 3936 kB
PageTables: 14316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2754116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 862208 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: 269128 kB
DirectMap2M: 13266944 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC009 at 2024-07-31 03:37:22