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.51/0.56 c Default LC presolving (default).
0.51/0.57 c ** Before presolving: virtualMemUsedAtLc = 377347362, getVmSize() = 247488512, SCIPgetMemUsed() = 196293130, SCIPgetMemTotal() = 215015010, SCIPgetMemExternEstim() = 162332352
0.51/0.57 c ** set memory limit for presolving in LC to 8.79598e+12 for SCIP **
4.17/4.28 c ** Estimated virtualMemUsedAtSolver = 481269238, getVmSize() = 608989184, SCIPgetMemUsed() = 335382890, SCIPgetMemTotal() = 559571506, SCIPgetMemExternEstim() = 162332352
4.17/4.28 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
4.17/4.28 c Original Problem :
4.17/4.28 c Problem name : instance-4464460-1722382212
4.17/4.28 c Variables : 7085 (7085 binary, 0 integer, 0 implicit integer, 0 continuous)
4.17/4.28 c Constraints : 151483
4.17/4.28 c Objective sense : minimize
4.17/4.28 c Presolved Problem :
4.17/4.28 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
4.17/4.28 c Constraints : 136271
4.17/4.28 c Constraints : Number
4.17/4.28 c knapsack : 15582
4.17/4.28 c setppc : 26788
4.17/4.28 c linear : 2
4.17/4.28 c logicor : 93899
4.17/4.28 c ** Instance transfer method used: 0
4.48/4.50 c ** ParaScipInstance copy does not increase the number of variables. **
4.77/4.88 c LC is working with racing ramp-up and with rebuilding tree after racing.
4.77/4.88 c Nodes Active
4.77/4.88 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
198.83/199.51 c 200 2 1 1 - 0.0000 -
209.49/210.23 c 210 17 14 1 - 0.0000 -
224.94/225.79 c 226 29 24 1 - 0.0000 -
241.20/242.01 c 242 31 26 1 - 0.0000 -
258.33/259.24 c 259 33 28 1 - 0.0000 -
264.22/265.12 c 265 35 30 1 - 0.0000 -
273.78/274.77 c 275 38 33 1 - 0.0000 -
288.72/289.76 c 290 40 35 1 - 0.0000 -
293.91/294.94 c 295 53 43 1 - 0.0000 -
299.69/300.70 c 301 82 72 1 - 0.0000 -
306.17/307.22 c 307 92 80 1 - 0.0000 -
311.65/312.72 c 313 129 115 1 - 0.0000 -
317.43/318.56 c 319 228 190 1 - 0.0000 -
326.01/327.17 c 327 261 198 1 - 0.0000 -
331.28/332.42 c 332 400 219 1 - 0.0000 -
336.36/337.56 c 338 620 187 1 - 0.0000 -
342.63/343.81 c 344 753 120 1 - 0.0000 -
352.81/354.09 c 354 771 123 1 - 0.0000 -
357.90/359.12 c 359 776 124 1 - 0.0000 -
365.67/366.91 c 367 798 125 1 - 0.0000 -
374.34/375.69 c 376 805 129 1 - 0.0000 -
381.31/382.66 c 383 834 130 1 - 0.0000 -
394.68/396.08 c 396 837 133 1 - 0.0000 -
400.25/401.60 c 402 853 149 1 - 0.0000 -
405.53/406.93 c 407 861 153 1 - 0.0000 -
411.21/412.65 c 413 875 165 1 - 0.0000 -
417.90/419.35 c 419 889 170 1 - 0.0000 -
424.37/425.84 c 426 905 175 1 - 0.0000 -
431.05/432.53 c 433 934 196 1 - 0.0000 -
439.43/441.01 c 441 952 199 1 - 0.0000 -
445.00/446.57 c 447 956 201 1 - 0.0000 -
455.07/456.69 c 457 968 209 1 - 0.0000 -
468.12/469.79 c 470 984 219 1 - 0.0000 -
476.80/478.41 c 478 994 218 1 - 0.0000 -
491.37/493.01 c 493 1008 222 1 - 0.0000 -
501.12/502.83 c 503 1021 229 1 - 0.0000 -
507.00/508.77 c 509 1037 243 1 - 0.0000 -
512.78/514.53 c 515 1048 249 1 - 0.0000 -
520.06/521.89 c 522 1060 261 1 - 0.0000 -
527.53/529.31 c 529 1072 273 1 - 0.0000 -
535.42/537.26 c 537 1077 278 1 - 0.0000 -
543.49/545.31 c 545 1078 279 1 - 0.0000 -
548.47/550.38 c 550 1086 287 1 - 0.0000 -
556.45/558.39 c 558 1102 291 1 - 0.0000 -
562.73/564.70 c 565 1107 296 1 - 0.0000 -
568.22/570.16 c 570 1129 295 1 - 0.0000 -
575.98/577.92 c 578 1142 297 1 - 0.0000 -
582.08/584.03 c 584 1156 307 1 - 0.0000 -
595.82/597.87 c 598 1175 309 1 - 0.0000 -
601.80/603.81 c 604 1183 312 1 - 0.0000 -
609.18/611.29 c 611 1188 315 1 - 0.0000 -
615.16/617.29 c 617 1209 336 1 - 0.0000 -
622.05/624.17 c 624 1220 347 1 - 0.0000 -
627.52/629.68 c 630 1226 353 1 - 0.0000 -
634.50/636.63 c 637 1242 361 1 - 0.0000 -
643.27/645.43 c 645 1262 381 1 - 0.0000 -
649.65/651.87 c 652 1272 390 1 - 0.0000 -
659.41/661.62 c 662 1284 401 1 - 0.0000 -
665.50/667.74 c 668 1296 412 1 - 0.0000 -
670.68/672.91 c 673 1307 423 1 - 0.0000 -
677.16/679.40 c 679 1329 442 1 - 0.0000 -
682.44/684.74 c 685 1345 458 1 - 0.0000 -
689.02/691.36 c 691 1362 473 1 - 0.0000 -
696.09/698.40 c 698 1385 488 1 - 0.0000 -
703.97/706.32 c 706 1389 490 1 - 0.0000 -
709.76/712.16 c 712 1394 495 1 - 0.0000 -
715.74/718.19 c 718 1399 500 1 - 0.0000 -
721.41/723.83 c 724 1408 509 1 - 0.0000 -
726.50/728.94 c 729 1417 516 1 - 0.0000 -
734.47/736.96 c 737 1422 519 1 - 0.0000 -
741.06/743.58 c 744 1433 530 1 - 0.0000 -
749.23/751.76 c 752 1440 537 1 - 0.0000 -
756.90/759.43 c 759 1448 545 1 - 0.0000 -
762.09/764.64 c 765 1456 553 1 - 0.0000 -
770.86/773.40 c 773 1463 560 1 - 0.0000 -
777.04/779.66 c 780 1473 570 1 - 0.0000 -
782.82/785.42 c 785 1485 580 1 - 0.0000 -
788.60/791.28 c 791 1508 597 1 - 0.0000 -
794.18/796.89 c 797 1516 605 1 - 0.0000 -
808.24/810.98 c 811 1518 607 1 - 0.0000 -
817.71/820.49 c 820 1536 616 1 - 0.0000 -
824.09/826.83 c 827 1549 625 1 - 0.0000 -
832.38/835.13 c 835 1554 629 1 - 0.0000 -
839.84/842.69 c 843 1567 640 1 - 0.0000 -
846.41/849.20 c 849 1582 650 1 - 0.0000 -
854.59/857.44 c 857 1597 665 1 - 0.0000 -
870.64/873.55 c 874 1604 670 1 - 0.0000 -
876.23/879.14 c 879 1608 673 1 - 0.0000 -
882.12/885.05 c 885 1624 689 1 - 0.0000 -
887.10/890.09 c 890 1643 708 1 - 0.0000 -
893.97/896.94 c 897 1654 718 1 - 0.0000 -
899.75/902.74 c 903 1671 733 1 - 0.0000 -
904.83/907.80 c 908 1695 749 1 - 0.0000 -
912.12/915.13 c 915 1709 763 1 - 0.0000 -
918.69/921.72 c 922 1724 778 1 - 0.0000 -
924.67/927.71 c 928 1748 793 1 - 0.0000 -
930.65/933.74 c 934 1764 805 1 - 0.0000 -
937.42/940.51 c 941 1768 809 1 - 0.0000 -
943.30/946.42 c 946 1783 824 1 - 0.0000 -
953.47/956.61 c 957 1790 831 1 - 0.0000 -
960.86/964.06 c 964 1796 837 1 - 0.0000 -
966.43/969.68 c 970 1816 857 1 - 0.0000 -
971.93/975.15 c 975 1832 873 1 - 0.0000 -
978.00/981.28 c 981 1849 880 1 - 0.0000 -
983.28/986.57 c 987 1874 901 1 - 0.0000 -
990.34/993.62 c 994 1884 909 1 - 0.0000 -
1017.86/1021.21 c 1021 1890 915 1 - 0.0000 -
1022.84/1026.25 c 1026 1909 934 1 - 0.0000 -
1028.12/1031.54 c 1032 1974 991 1 - 0.0000 -
1034.71/1038.12 c 1038 2108 1002 1 - 0.0000 -
1040.37/1043.84 c 1044 2200 1007 1 - 0.0000 -
1045.46/1048.92 c 1049 2310 1021 1 - 0.0000 -
1052.84/1056.39 c 1056 2370 1029 1 - 0.0000 -
1058.63/1062.16 c 1062 2465 1036 1 - 0.0000 -
1065.09/1068.63 c 1069 2606 1050 1 - 0.0000 -
1070.58/1074.12 c 1074 2675 1050 1 - 0.0000 -
1076.26/1079.87 c 1080 2749 1055 1 - 0.0000 -
1081.55/1085.18 c 1085 2912 1049 1 - 0.0000 -
1088.81/1092.41 c 1092 3033 1045 1 - 0.0000 -
1093.99/1097.62 c 1098 3173 1043 1 - 0.0000 -
1099.27/1102.95 c 1103 3314 1049 1 - 0.0000 -
1104.47/1108.15 c 1108 3435 1059 1 - 0.0000 -
1109.63/1113.39 c 1113 3588 1030 1 - 0.0000 -
1221.86/1225.96 c 1226 3653 1 1 - 0.0000 -
1227.64/1231.73 c 1232 3693 41 1 - 0.0000 -
1233.72/1237.86 c 1238 3718 66 1 - 0.0000 -
1245.68/1249.82 c 1250 3741 89 1 - 0.0000 -
1252.87/1257.07 c 1257 3757 105 1 - 0.0000 -
1258.64/1262.80 c 1263 3760 108 1 - 0.0000 -
1265.83/1270.05 c 1270 3776 124 1 - 0.0000 -
1271.91/1276.13 c 1276 3778 126 1 - 0.0000 -
1277.48/1281.71 c 1282 3786 134 1 - 0.0000 -
1284.06/1288.38 c 1288 3801 149 1 - 0.0000 -
1290.14/1294.40 c 1294 3821 167 1 - 0.0000 -
1296.32/1300.66 c 1301 3882 220 1 - 0.0000 -
1303.10/1307.44 c 1307 3939 235 1 - 0.0000 -
1308.58/1312.96 c 1313 4049 254 1 - 0.0000 -
1314.77/1319.13 c 1319 4149 208 1 - 0.0000 -
1321.52/1326.01 c 1326 4214 251 1 - 0.0000 -
1326.72/1331.13 c 1331 4352 345 1 - 0.0000 -
1331.79/1336.23 c 1336 4502 487 1 - 0.0000 -
1336.87/1341.34 c 1341 4643 223 1 - 0.0000 -
1342.34/1346.81 c 1347 4765 259 1 - 0.0000 -
1347.65/1352.19 c 1352 4838 304 1 - 0.0000 -
1353.41/1357.97 c 1358 4933 379 1 - 0.0000 -
1358.60/1363.13 c 1363 5091 451 1 - 0.0000 -
1363.67/1368.28 c 1368 5186 352 1 - 0.0000 -
1369.47/1374.04 c 1374 5280 340 1 - 0.0000 -
1375.44/1380.09 c 1380 5437 373 1 - 0.0000 -
1381.11/1385.78 c 1386 5569 378 1 - 0.0000 -
1386.29/1390.90 c 1391 5723 296 1 - 0.0000 -
1391.39/1396.02 c 1396 5905 233 1 - 0.0000 -
1396.55/1401.27 c 1401 6067 262 1 - 0.0000 -
1401.73/1406.42 c 1406 6203 278 1 - 0.0000 -
1406.92/1411.63 c 1412 6369 246 1 - 0.0000 -
1412.19/1416.92 c 1417 6544 236 1 - 0.0000 -
1417.38/1422.13 c 1422 6718 238 1 - 0.0000 -
1422.45/1427.26 c 1427 6903 235 1 - 0.0000 -
1427.74/1432.53 c 1433 7031 261 1 - 0.0000 -
1432.91/1437.73 c 1438 7149 275 1 - 0.0000 -
1438.40/1443.22 c 1443 7219 317 1 - 0.0000 -
1443.97/1448.88 c 1449 7288 353 1 - 0.0000 -
1449.06/1453.97 c 1454 7323 381 1 - 0.0000 -
1454.25/1459.14 c 1459 7410 425 1 - 0.0000 -
1460.02/1465.01 c 1465 7510 458 1 - 0.0000 -
1467.69/1472.60 c 1473 7598 501 1 - 0.0000 -
1472.67/1477.64 c 1478 7642 537 1 - 0.0000 -
1478.07/1483.02 c 1483 7721 553 1 - 0.0000 -
1484.04/1489.03 c 1489 7775 554 1 - 0.0000 -
1489.61/1494.64 c 1495 7882 593 1 - 0.0000 -
1495.10/1500.15 c 1500 7998 670 1 - 0.0000 -
1500.26/1505.32 c 1505 8169 711 1 - 0.0000 -
1505.84/1510.90 c 1511 8305 807 1 - 0.0000 -
1510.92/1516.04 c 1516 8474 895 1 - 0.0000 -
1516.09/1521.23 c 1521 8698 911 1 - 0.0000 -
1521.18/1526.39 c 1526 8878 747 1 - 0.0000 -
1526.35/1531.57 c 1532 9053 768 1 - 0.0000 -
1531.44/1536.68 c 1537 9213 610 1 - 0.0000 -
1536.61/1541.82 c 1542 9385 577 1 - 0.0000 -
1542.49/1547.75 c 1548 9475 604 1 - 0.0000 -
1548.67/1553.96 c 1554 9528 613 1 - 0.0000 -
1554.15/1559.46 c 1559 9602 604 1 - 0.0000 -
1559.63/1565.01 c 1565 9697 618 1 - 0.0000 -
1564.90/1570.21 c 1570 9824 592 1 - 0.0000 -
1570.58/1575.96 c 1576 9906 596 1 - 0.0000 -
1575.96/1581.35 c 1581 10059 602 1 - 0.0000 -
1581.34/1586.71 c 1587 10190 608 1 - 0.0000 -
1586.64/1592.09 c 1592 10284 599 1 - 0.0000 -
1591.90/1597.30 c 1597 10385 582 1 - 0.0000 -
1597.28/1602.79 c 1603 10496 591 1 - 0.0000 -
1602.46/1607.91 c 1608 10586 609 1 - 0.0000 -
1607.95/1613.44 c 1613 10693 604 1 - 0.0000 -
1613.02/1618.57 c 1619 10804 611 1 - 0.0000 -
1618.52/1624.01 c 1624 10877 658 1 - 0.0000 -
1625.19/1630.76 c 1631 10935 690 1 - 0.0000 -
1630.36/1635.99 c 1636 11024 714 1 - 0.0000 -
1637.34/1643.01 c 1643 11091 750 1 - 0.0000 -
1642.73/1648.38 c 1648 11113 770 1 - 0.0000 -
1650.30/1655.96 c 1656 11197 822 1 - 0.0000 -
1655.88/1661.59 c 1662 11286 858 1 - 0.0000 -
1661.26/1666.98 c 1667 11354 849 1 - 0.0000 -
1666.35/1672.08 c 1672 11464 878 1 - 0.0000 -
1672.21/1677.97 c 1678 11522 901 1 - 0.0000 -
1677.59/1683.39 c 1683 11632 923 1 - 0.0000 -
1683.08/1688.83 c 1689 11722 952 1 - 0.0000 -
1688.27/1694.06 c 1694 11817 971 1 - 0.0000 -
1693.54/1699.32 c 1699 11916 993 1 - 0.0000 -
1698.82/1704.68 c 1705 12016 998 1 - 0.0000 -
1704.11/1709.99 c 1710 12146 1009 1 - 0.0000 -
1709.48/1715.31 c 1715 12239 1016 1 - 0.0000 -
1714.76/1720.67 c 1721 12369 1018 1 - 0.0000 -
1720.04/1725.97 c 1726 12486 1024 1 - 0.0000 -
1725.63/1731.53 c 1732 12597 1030 1 - 0.0000 -
1731.00/1736.98 c 1737 12725 990 1 - 0.0000 -
1736.09/1742.08 c 1742 12818 1035 1 - 0.0000 -
1741.26/1747.29 c 1747 12922 1040 1 - 0.0000 -
1746.45/1752.40 c 1752 13043 1108 1 - 0.0000 -
1751.53/1757.51 c 1758 13179 1064 1 - 0.0000 -
1757.40/1763.43 c 1763 13292 1080 1 - 0.0000 -
1762.48/1768.56 c 1769 13420 1143 1 - 0.0000 -
1767.67/1773.76 c 1774 13560 1178 1 - 0.0000 -
1772.85/1778.93 c 1779 13690 1195 1 - 0.0000 -
1778.13/1784.23 c 1784 13797 1205 1 - 0.0000 -
1784.02/1790.11 c 1790 13926 1205 1 - 0.0000 -
1789.38/1795.54 c 1796 14070 1210 1 - 0.0000 -
1794.77/1800.92 c 1801 14137 1245 1 - 0.0000 -
1800.05/1806.24 c 1806 14242 1272 1 - 0.0000 -
1805.13/1811.34 c 1811 14392 1307 1 - 0.0000 -
1810.21/1816.49 c 1816 14515 1300 1 - 0.0000 -
1815.39/1821.68 c 1822 14630 1345 1 - 0.0000 -
1821.17/1827.42 c 1827 14751 1365 1 - 0.0000 -
1826.35/1832.68 c 1833 14859 1340 1 - 0.0000 -
1831.63/1837.98 c 1838 14959 1373 1 - 0.0000 -
1837.40/1843.79 c 1844 15076 1366 1 - 0.0000 -
1843.09/1849.45 c 1849 15187 1368 1 - 0.0000 -
1848.37/1854.72 c 1855 15337 1382 1 - 0.0000 -
1853.55/1859.98 c 1860 15493 1399 1 - 0.0000 -
1858.74/1865.17 c 1865 15600 1418 1 - 0.0000 -
1864.01/1870.45 c 1870 15723 1419 1 - 0.0000 -
1869.39/1875.84 c 1876 15824 1450 1 - 0.0000 -
1874.47/1880.97 c 1881 15898 1463 1 - 0.0000 -
1881.35/1887.85 c 1888 15951 1458 1 - 0.0000 -
1886.64/1893.11 c 1893 16034 1449 1 - 0.0000 -
1892.01/1898.50 c 1898 16137 1489 1 - 0.0000 -
1897.29/1903.81 c 1904 16229 1525 1 - 0.0000 -
1902.87/1909.44 c 1909 16325 1543 1 - 0.0000 -
1908.05/1914.64 c 1915 16432 1561 1 - 0.0000 -
1913.45/1920.04 c 1920 16529 1569 1 - 0.0000 -
1918.81/1925.43 c 1925 16612 1574 1 - 0.0000 -
1924.29/1931.01 c 1931 16719 1592 1 - 0.0000 -
1929.66/1936.38 c 1936 16816 1595 1 - 0.0000 -
1935.15/1941.81 c 1942 16911 1601 1 - 0.0000 -
1940.34/1947.08 c 1947 17029 1583 1 - 0.0000 -
1946.32/1953.07 c 1953 17120 1547 1 - 0.0000 -
1953.98/1960.77 c 1961 17139 1564 1 - 0.0000 -
1959.27/1966.05 c 1966 17175 1594 1 - 0.0000 -
1964.45/1971.26 c 1971 17227 1625 1 - 0.0000 -
1969.62/1976.49 c 1976 17314 1683 1 - 0.0000 -
1975.71/1982.56 c 1983 17381 1714 1 - 0.0000 -
1980.89/1987.75 c 1988 17462 1741 1 - 0.0000 -
1986.06/1992.99 c 1993 17561 1782 1 - 0.0000 -
1991.85/1998.73 c 1999 17675 1811 1 - 0.0000 -
1997.14/2004.02 c 2004 17768 1826 1 - 0.0000 -
2002.31/2009.27 c 2009 17861 1832 1 - 0.0000 -
2008.48/2015.48 c 2015 17963 1885 1 - 0.0000 -
2013.77/2020.74 c 2021 18040 1910 1 - 0.0000 -
2019.24/2026.25 c 2026 18134 1918 1 - 0.0000 -
2024.63/2031.61 c 2032 18209 1892 1 - 0.0000 -
2030.13/2037.13 c 2037 18316 1914 1 - 0.0000 -
2035.59/2042.63 c 2043 18409 1924 1 - 0.0000 -
2042.77/2049.85 c 2050 18457 1927 1 - 0.0000 -
2048.84/2055.95 c 2056 18477 1930 1 - 0.0000 -
2054.73/2061.80 c 2062 18521 1952 1 - 0.0000 -
2061.41/2068.58 c 2069 18523 1954 1 - 0.0000 -
2067.00/2074.12 c 2074 18527 1958 1 - 0.0000 -
2074.46/2081.62 c 2082 18539 1970 1 - 0.0000 -
2082.34/2089.50 c 2090 18540 1971 1 - 0.0000 -
2091.82/2099.01 c 2099 18556 1987 1 - 0.0000 -
2097.58/2104.87 c 2105 18573 2001 1 - 0.0000 -
2102.96/2110.22 c 2110 18710 2012 1 - 0.0000 -
2108.65/2115.90 c 2116 18807 2054 1 - 0.0000 -
2113.93/2121.23 c 2121 18935 1988 1 - 0.0000 -
2122.10/2129.45 c 2129 18978 1998 1 - 0.0000 -
2127.48/2134.81 c 2135 19012 2016 1 - 0.0000 -
2134.76/2142.19 c 2142 19030 2016 1 - 0.0000 -
2140.93/2148.34 c 2148 19063 2040 1 - 0.0000 -
2146.12/2153.51 c 2154 19164 2052 1 - 0.0000 -
2151.80/2159.21 c 2159 19222 2077 1 - 0.0000 -
2158.08/2165.52 c 2166 19242 2089 1 - 0.0000 -
2164.06/2171.58 c 2172 19256 2103 1 - 0.0000 -
2169.65/2177.17 c 2177 19290 2130 1 - 0.0000 -
2175.22/2182.74 c 2183 19360 2157 1 - 0.0000 -
2182.69/2190.24 c 2190 19433 2192 1 - 0.0000 -
2187.88/2195.48 c 2195 19570 2176 1 - 0.0000 -
2193.06/2200.63 c 2201 19635 2172 1 - 0.0000 -
2202.82/2210.43 c 2210 19649 2182 1 - 0.0000 -
2208.00/2215.64 c 2216 19787 2238 1 - 0.0000 -
2213.88/2221.58 c 2222 19875 2275 1 - 0.0000 -
2219.97/2227.62 c 2228 19901 2288 1 - 0.0000 -
2225.05/2232.72 c 2233 20037 2372 1 - 0.0000 -
2230.13/2237.86 c 2238 20226 2393 1 - 0.0000 -
2235.21/2242.99 c 2243 20407 2441 1 - 0.0000 -
2240.30/2248.08 c 2248 20575 2523 1 - 0.0000 -
2245.47/2253.29 c 2253 20755 2564 1 - 0.0000 -
2250.66/2258.44 c 2258 20934 2575 1 - 0.0000 -
2255.74/2263.53 c 2264 21135 2542 1 - 0.0000 -
2261.01/2268.88 c 2269 21302 2590 1 - 0.0000 -
2266.21/2274.04 c 2274 21497 2560 1 - 0.0000 -
2271.28/2279.16 c 2279 21699 2562 1 - 0.0000 -
2276.35/2284.29 c 2284 21874 2490 1 - 0.0000 -
2281.52/2289.40 c 2289 22050 2502 1 - 0.0000 -
2287.30/2295.23 c 2295 22213 2521 1 - 0.0000 -
2292.37/2300.39 c 2300 22384 2537 1 - 0.0000 -
2297.45/2305.49 c 2306 22553 2565 1 - 0.0000 -
2302.63/2310.62 c 2311 22700 2447 1 - 0.0000 -
2307.71/2315.77 c 2316 22814 2540 1 - 0.0000 -
2312.89/2320.96 c 2321 22912 2621 1 - 0.0000 -
2318.26/2326.35 c 2326 23061 2378 1 - 0.0000 -
2323.54/2331.65 c 2332 23174 2473 1 - 0.0000 -
2329.12/2337.21 c 2337 23307 2553 1 - 0.0000 -
2334.49/2342.61 c 2343 23399 2641 1 - 0.0000 -
2339.56/2347.76 c 2348 23510 2734 1 - 0.0000 -
2344.75/2352.93 c 2353 23637 2841 1 - 0.0000 -
2349.93/2358.17 c 2358 23752 2945 1 - 0.0000 -
2355.00/2363.27 c 2363 23893 3032 1 - 0.0000 -
2360.17/2368.42 c 2368 24066 3100 1 - 0.0000 -
2365.45/2373.75 c 2374 24209 3160 1 - 0.0000 -
2370.63/2378.99 c 2379 24352 3221 1 - 0.0000 -
2375.82/2384.11 c 2384 24512 3268 1 - 0.0000 -
2380.88/2389.23 c 2389 24670 3320 1 - 0.0000 -
2385.95/2394.35 c 2394 24812 3305 1 - 0.0000 -
2391.03/2399.49 c 2400 24981 3275 1 - 0.0000 -
2398.80/2407.22 c 2407 25096 2220 1 - 0.0000 -
2403.98/2412.46 c 2412 25139 2243 1 - 0.0000 -
2410.07/2418.54 c 2419 25166 2255 1 - 0.0000 -
2416.14/2424.69 c 2425 25211 2266 1 - 0.0000 -
2422.62/2431.18 c 2431 25321 2268 1 - 0.0000 -
2427.99/2436.53 c 2437 25412 2269 1 - 0.0000 -
2433.06/2441.62 c 2442 25489 2285 1 - 0.0000 -
2438.75/2447.30 c 2447 25550 2299 1 - 0.0000 -
2444.12/2452.73 c 2453 25641 2314 1 - 0.0000 -
2449.89/2458.54 c 2459 25728 2330 1 - 0.0000 -
2455.57/2464.25 c 2464 25866 2361 1 - 0.0000 -
2462.15/2470.84 c 2471 25924 2378 1 - 0.0000 -
2467.34/2476.10 c 2476 26069 2424 1 - 0.0000 -
2473.31/2482.02 c 2482 26195 2427 1 - 0.0000 -
2478.58/2487.33 c 2487 26302 2447 1 - 0.0000 -
2484.05/2492.81 c 2493 26453 2410 1 - 0.0000 -
2489.93/2498.76 c 2499 26527 2405 1 - 0.0000 -
2497.50/2506.38 c 2506 26613 2426 1 - 0.0000 -
2502.68/2511.52 c 2512 26761 2439 1 - 0.0000 -
2507.76/2516.68 c 2517 26899 2434 1 - 0.0000 -
2512.94/2521.85 c 2522 27045 2413 1 - 0.0000 -
2518.32/2527.20 c 2527 27150 2377 1 - 0.0000 -
2523.50/2532.47 c 2532 27276 2255 1 - 0.0000 -
2528.58/2537.57 c 2538 27367 2310 1 - 0.0000 -
2534.66/2543.62 c 2544 27444 2356 1 - 0.0000 -
2539.85/2548.84 c 2549 27542 2410 1 - 0.0000 -
2545.42/2554.45 c 2554 27660 2442 1 - 0.0000 -
2551.30/2560.37 c 2560 27809 2438 1 - 0.0000 -
2556.48/2565.50 c 2566 27890 2447 1 - 0.0000 -
2562.76/2571.86 c 2572 27976 2517 1 - 0.0000 -
2568.33/2577.41 c 2577 28095 2516 1 - 0.0000 -
2574.93/2584.02 c 2584 28198 2555 1 - 0.0000 -
2581.00/2590.11 c 2590 28241 2562 1 - 0.0000 -
2586.27/2595.42 c 2595 28285 2580 1 - 0.0000 -
2591.25/2600.46 c 2600 28352 2563 1 - 0.0000 -
2597.34/2606.54 c 2607 28502 2537 1 - 0.0000 -
2603.21/2612.43 c 2612 28657 2540 1 - 0.0000 -
2608.69/2617.92 c 2618 28795 2522 1 - 0.0000 -
2613.88/2623.16 c 2623 29010 2361 1 - 0.0000 -
2619.94/2629.29 c 2629 29067 2388 1 - 0.0000 -
2625.74/2635.09 c 2635 29146 2404 1 - 0.0000 -
2631.71/2641.04 c 2641 29266 2431 1 - 0.0000 -
2637.39/2646.77 c 2647 29308 2436 1 - 0.0000 -
2642.86/2652.27 c 2652 29440 2447 1 - 0.0000 -
2647.94/2657.38 c 2657 29565 2495 1 - 0.0000 -
2653.12/2662.54 c 2663 29683 2538 1 - 0.0000 -
2659.11/2668.50 c 2668 29769 2570 1 - 0.0000 -
2664.19/2673.61 c 2674 29900 2605 1 - 0.0000 -
2670.16/2679.69 c 2680 30042 2575 1 - 0.0000 -
2676.14/2685.68 c 2686 30161 2607 1 - 0.0000 -
2681.42/2690.99 c 2691 30283 2633 1 - 0.0000 -
2687.69/2697.24 c 2697 30415 2667 1 - 0.0000 -
2693.38/2702.90 c 2703 30499 2658 1 - 0.0000 -
2698.96/2708.57 c 2709 30625 2711 1 - 0.0000 -
2704.23/2713.86 c 2714 30769 2717 1 - 0.0000 -
2709.43/2719.09 c 2719 30892 2717 1 - 0.0000 -
2714.70/2724.30 c 2724 30991 2727 1 - 0.0000 -
2719.88/2729.53 c 2730 31129 2717 1 - 0.0000 -
2724.96/2734.63 c 2735 31298 2657 1 - 0.0000 -
2730.14/2739.84 c 2740 31414 2521 1 - 0.0000 -
2735.72/2745.41 c 2745 31562 2452 1 - 0.0000 -
2741.20/2750.97 c 2751 31587 2467 1 - 0.0000 -
2748.29/2758.05 c 2758 31692 2488 1 - 0.0000 -
2753.36/2763.15 c 2763 31853 2518 1 - 0.0000 -
2758.53/2768.33 c 2768 31975 2555 1 - 0.0000 -
2763.82/2773.61 c 2774 32105 2600 1 - 0.0000 -
2768.99/2778.87 c 2779 32234 2601 1 - 0.0000 -
2774.18/2784.07 c 2784 32363 2611 1 - 0.0000 -
2779.34/2789.29 c 2789 32498 2603 1 - 0.0000 -
2784.42/2794.39 c 2794 32647 2621 1 - 0.0000 -
2911.44/2921.74 c 2922 32669 2636 1 - 0.0000 -
2916.73/2927.07 c 2927 32791 2671 1 - 0.0000 -
2921.89/2932.23 c 2932 32919 2697 1 - 0.0000 -
2927.69/2938.07 c 2938 33072 2741 1 - 0.0000 -
2932.86/2943.21 c 2943 33199 2771 1 - 0.0000 -
2938.04/2948.43 c 2948 33338 2679 1 - 0.0000 -
2943.32/2953.73 c 2954 33444 2633 1 - 0.0000 -
2948.40/2958.81 c 2959 33486 2570 1 - 0.0000 -
2954.08/2964.52 c 2965 33512 2580 1 - 0.0000 -
2959.96/2970.49 c 2970 33544 2581 1 - 0.0000 -
2965.45/2975.99 c 2976 33576 2604 1 - 0.0000 -
2971.22/2981.75 c 2982 33624 2647 1 - 0.0000 -
2976.61/2987.13 c 2987 33751 2704 1 - 0.0000 -
2981.99/2992.57 c 2993 33913 2719 1 - 0.0000 -
2987.26/2997.81 c 2998 34064 2722 1 - 0.0000 -
2992.46/3003.01 c 3003 34236 2742 1 - 0.0000 -
2998.12/3008.72 c 3009 34376 2818 1 - 0.0000 -
3003.42/3014.06 c 3014 34548 2832 1 - 0.0000 -
3009.29/3019.99 c 3020 34687 2869 1 - 0.0000 -
3014.36/3025.10 c 3025 34863 2921 1 - 0.0000 -
3019.93/3030.66 c 3031 35057 2975 1 - 0.0000 -
3025.11/3035.80 c 3036 35273 3003 1 - 0.0000 -
3030.19/3040.92 c 3041 35479 3053 1 - 0.0000 -
3035.17/3045.98 c 3046 35714 3033 1 - 0.0000 -
3040.27/3051.08 c 3051 35947 3026 1 - 0.0000 -
3045.35/3056.16 c 3056 36171 3023 1 - 0.0000 -
3050.41/3061.29 c 3061 36393 3051 1 - 0.0000 -
3055.50/3066.36 c 3066 36620 3032 1 - 0.0000 -
3060.58/3071.48 c 3071 36821 3014 1 - 0.0000 -
3065.75/3076.60 c 3077 37037 2914 1 - 0.0000 -
3070.83/3081.72 c 3082 37241 2925 1 - 0.0000 -
3075.92/3086.83 c 3087 37466 2890 1 - 0.0000 -
3081.40/3092.38 c 3092 37634 2859 1 - 0.0000 -
3086.48/3097.49 c 3098 37814 2887 1 - 0.0000 -
3091.66/3102.62 c 3103 38032 2844 1 - 0.0000 -
3096.74/3107.78 c 3108 38200 2785 1 - 0.0000 -
3102.22/3113.25 c 3113 38343 2815 1 - 0.0000 -
3107.40/3118.46 c 3118 38516 2751 1 - 0.0000 -
3112.48/3123.59 c 3124 38668 2726 1 - 0.0000 -
3118.46/3129.55 c 3130 38828 2713 1 - 0.0000 -
3123.54/3134.69 c 3135 38957 2710 1 - 0.0000 -
3128.72/3139.89 c 3140 39112 2734 1 - 0.0000 -
3134.50/3145.65 c 3146 39266 2666 1 - 0.0000 -
3139.68/3150.88 c 3151 39353 2712 1 - 0.0000 -
3144.87/3156.08 c 3156 39477 2726 1 - 0.0000 -
3149.95/3161.15 c 3161 39632 2747 1 - 0.0000 -
3155.11/3166.38 c 3166 39726 2765 1 - 0.0000 -
3160.80/3172.07 c 3172 39798 2818 1 - 0.0000 -
3166.57/3177.89 c 3178 39844 2841 1 - 0.0000 -
3172.25/3183.56 c 3184 39913 2904 1 - 0.0000 -
3177.84/3189.16 c 3189 40014 2971 1 - 0.0000 -
3182.92/3194.29 c 3194 40188 3049 1 - 0.0000 -
3188.09/3199.45 c 3199 40386 3074 1 - 0.0000 -
3193.17/3204.56 c 3205 40578 3104 1 - 0.0000 -
3198.25/3209.66 c 3210 40786 3131 1 - 0.0000 -
3203.34/3214.74 c 3215 40990 3163 1 - 0.0000 -
3208.42/3219.88 c 3220 41190 3174 1 - 0.0000 -
3213.61/3225.03 c 3225 41400 3153 1 - 0.0000 -
3218.88/3230.30 c 3230 41576 2873 1 - 0.0000 -
3224.16/3235.64 c 3236 41694 2898 1 - 0.0000 -
3229.94/3241.49 c 3242 41753 2911 1 - 0.0000 -
3235.22/3246.78 c 3247 41853 2948 1 - 0.0000 -
3240.40/3251.97 c 3252 41967 2975 1 - 0.0000 -
3245.68/3257.24 c 3257 42096 2984 1 - 0.0000 -
3250.86/3262.43 c 3262 42208 3026 1 - 0.0000 -
3256.75/3268.36 c 3268 42380 3002 1 - 0.0000 -
3262.02/3273.61 c 3274 42503 3041 1 - 0.0000 -
3267.10/3278.79 c 3279 42645 3057 1 - 0.0000 -
3272.40/3284.09 c 3284 42795 3067 1 - 0.0000 -
3277.67/3289.39 c 3289 42885 3093 1 - 0.0000 -
3283.46/3295.13 c 3295 42983 3162 1 - 0.0000 -
3288.52/3300.27 c 3300 43155 3222 1 - 0.0000 -
3293.61/3305.35 c 3305 43299 3184 1 - 0.0000 -
3298.69/3310.46 c 3310 43494 3105 1 - 0.0000 -
3303.88/3315.65 c 3316 43662 3116 1 - 0.0000 -
3308.96/3320.77 c 3321 43841 3100 1 - 0.0000 -
3314.13/3325.90 c 3326 43979 3088 1 - 0.0000 -
3319.61/3331.46 c 3331 44104 3117 1 - 0.0000 -
3324.89/3336.70 c 3337 44288 3106 1 - 0.0000 -
3329.97/3341.85 c 3342 44469 3107 1 - 0.0000 -
3335.26/3347.19 c 3347 44642 3113 1 - 0.0000 -
3340.44/3352.35 c 3352 44774 3149 1 - 0.0000 -
3345.72/3357.61 c 3358 44919 3173 1 - 0.0000 -
3351.11/3363.09 c 3363 45080 3128 1 - 0.0000 -
3356.38/3368.34 c 3368 45197 3182 1 - 0.0000 -
3361.56/3373.50 c 3374 45303 3208 1 - 0.0000 -
3366.64/3378.67 c 3379 45422 3240 1 - 0.0000 -
3372.13/3384.15 c 3384 45546 3280 1 - 0.0000 -
3377.20/3389.28 c 3389 45693 3278 1 - 0.0000 -
3382.48/3394.57 c 3395 45800 3311 1 - 0.0000 -
3387.98/3400.08 c 3400 45912 3346 1 - 0.0000 -
3393.15/3405.29 c 3405 46094 3353 1 - 0.0000 -
3399.73/3411.82 c 3412 46134 3359 1 - 0.0000 -
3405.11/3417.24 c 3417 46218 3381 1 - 0.0000 -
3411.89/3424.04 c 3424 46323 3357 1 - 0.0000 -
3416.88/3429.05 c 3429 46342 3374 1 - 0.0000 -
3423.35/3435.53 c 3436 46355 3383 1 - 0.0000 -
3428.63/3440.84 c 3441 46466 3411 1 - 0.0000 -
3433.71/3445.95 c 3446 46582 3442 1 - 0.0000 -
3438.80/3451.03 c 3451 46663 3442 1 - 0.0000 -
3444.66/3457.01 c 3457 46680 3457 1 - 0.0000 -
3450.64/3462.96 c 3463 46738 3494 1 - 0.0000 -
3460.11/3472.41 c 3472 46762 3512 1 - 0.0000 -
3465.39/3477.77 c 3478 46796 3540 1 - 0.0000 -
3470.87/3483.26 c 3483 46845 3556 1 - 0.0000 -
3478.45/3490.87 c 3491 46918 3592 1 - 0.0000 -
3484.04/3496.45 c 3496 46957 3608 1 - 0.0000 -
3489.12/3501.59 c 3502 47027 3653 1 - 0.0000 -
3494.61/3507.06 c 3507 47108 3688 1 - 0.0000 -
3500.47/3512.93 c 3513 47199 3702 1 - 0.0000 -
3506.16/3518.60 c 3519 47318 3735 1 - 0.0000 -
3520.31/3532.83 c 3533 47399 3703 1 - 0.0000 -
3533.26/3545.86 c 3546 47416 3718 1 - 0.0000 -
3539.05/3551.68 c 3552 47475 3767 1 - 0.0000 -
3545.72/3558.34 c 3558 47537 3819 1 - 0.0000 -
3551.01/3563.65 c 3564 47636 3870 1 - 0.0000 -
3555.99/3568.66 c 3569 47683 3905 1 - 0.0000 -
3561.27/3573.93 c 3574 47778 3957 1 - 0.0000 -
3566.46/3579.19 c 3579 47914 4015 1 - 0.0000 -
3571.54/3584.29 c 3584 48075 4038 1 - 0.0000 -
3577.21/3589.90 c 3590 48193 4095 1 - 0.0000 -
3584.68/3597.44 c 3597 48273 4128 1 - 0.0000 -
3585.59/3598.39 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.59/3598.39 c Total Time : 3598.3900
3585.59/3598.39 c solving : 3598.3900
3585.59/3598.39 c presolving : 3.7102 (included in solving)
3585.59/3598.39 c B&B Tree :
3585.59/3598.39 c nodes (total) : 1
3585.59/3598.39 c Solution :
3585.59/3598.39 c Solutions found : 0
3585.59/3598.39 c Primal Bound : -
3585.59/3598.39 c Dual Bound : +0.00000000000000e+00
3585.59/3598.39 c Gap : -
3585.98/3598.73 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: 64059 MiB (62217 MiB free)
memory of node 1: 64510 MiB (56619 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464460-1722382212/watcher-4464460-1722382212 -o /tmp/evaluation-result-4464460-1722382212/solver-4464460-1722382212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29094 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464460-1722382212.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=31362, runsolver pid=31359
[startup+0.100065 s]*
/proc/loadavg: 4.08 4.12 4.07 5/252 31363
/proc/meminfo: memFree=121653752/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=60400 memory=48184 CPUtime=0.1 cores=0,2
/proc/31362/stat : 31362 (fscip) R 31359 31362 29084 0 -1 4194304 9946 0 0 0 9 1 0 0 20 0 1 0 4816795 61849600 12046 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 15100 12046 2347 3035 0 11496 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 60400 KiB
Current children cumulated memory: 48184 KiB
[startup+0.213148 s]*
/proc/loadavg: 4.08 4.12 4.07 5/252 31363
/proc/meminfo: memFree=121623904/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=87800 memory=75468 CPUtime=0.21 cores=0,2
/proc/31362/stat : 31362 (fscip) R 31359 31362 29084 0 -1 4194304 16767 0 0 0 19 2 0 0 20 0 1 0 4816795 89907200 18867 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 21950 18867 2347 3035 0 18346 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 87800 KiB
Current children cumulated memory: 75468 KiB
[startup+0.312862 s]*
/proc/loadavg: 4.08 4.12 4.07 5/252 31363
/proc/meminfo: memFree=121599908/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=110496 memory=100180 CPUtime=0.31 cores=0,2
/proc/31362/stat : 31362 (fscip) R 31359 31362 29084 0 -1 4194304 23459 0 0 0 28 3 0 0 20 0 1 0 4816795 113147904 25045 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 27624 25045 2539 3035 0 24020 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 110496 KiB
Current children cumulated memory: 100180 KiB
[startup+0.700343 s]
/proc/loadavg: 4.08 4.12 4.07 5/252 31363
/proc/meminfo: memFree=121501908/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=246512 memory=232072 CPUtime=0.69 cores=0,2
/proc/31362/stat : 31362 (fscip) R 31359 31362 29084 0 -1 4194304 56404 0 0 0 60 9 0 0 20 0 1 0 4816795 252428288 58018 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 61628 58018 2614 3035 0 58024 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 246512 KiB
Current children cumulated memory: 232072 KiB
[startup+1.50033 s]
/proc/loadavg: 4.08 4.12 4.07 5/252 31363
/proc/meminfo: memFree=121381328/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=361376 memory=345888 CPUtime=1.48 cores=0,2
/proc/31362/stat : 31362 (fscip) R 31359 31362 29084 0 -1 4194304 73627 0 0 0 135 13 0 0 20 0 1 0 4816795 370049024 86472 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 90344 86472 2678 3035 0 86740 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 361376 KiB
Current children cumulated memory: 345888 KiB
[startup+3.11315 s]
/proc/loadavg: 4.08 4.11 4.07 5/252 31364
/proc/meminfo: memFree=121357112/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=355056 memory=338456 CPUtime=3.1 cores=0,2
/proc/31362/stat : 31362 (fscip) R 31359 31362 29084 0 -1 4194304 90590 0 0 0 294 16 0 0 20 0 1 0 4816795 363577344 84614 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 88764 84614 2758 3035 0 85160 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 355056 KiB
Current children cumulated memory: 338456 KiB
[startup+6.30037 s]
/proc/loadavg: 4.08 4.11 4.07 5/254 31366
/proc/meminfo: memFree=120770912/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=985296 memory=916304 CPUtime=6.25 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 185538 0 0 0 586 39 0 0 20 0 3 0 4816795 1008943104 229076 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 246324 229076 2790 3035 0 241790 0
[pid=31362/tid=31365] ppid=31359 vsize=985296 memory=-5155625795496668037 CPUtime=1.76 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 62543 0 0 0 161 15 0 0 20 0 3 0 4817223 1008943104 229076 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=985296 memory=805320 CPUtime=0 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4817283 1008943104 229076 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 985296 KiB
Current children cumulated memory: 916304 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.11 4.07 5/254 31422
/proc/meminfo: memFree=120437444/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=1392464 memory=1255536 CPUtime=12.63 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 259350 0 0 0 1213 50 0 0 20 0 3 0 4816795 1425883136 313884 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 348116 313884 2950 3035 0 333623 0
[pid=31362/tid=31365] ppid=31359 vsize=1392464 memory=11352 CPUtime=8.14 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 136349 0 0 0 788 26 0 0 20 0 3 0 4817223 1425883136 313884 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=1392464 memory=1255536 CPUtime=0 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4817283 1425883136 313884 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1392464 KiB
Current children cumulated memory: 1255536 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.11 4.07 5/254 31425
/proc/meminfo: memFree=120412348/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=1392464 memory=1278560 CPUtime=25.39 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 296409 0 0 0 2486 53 0 0 20 0 3 0 4816795 1425883136 319640 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 348116 319640 2950 3035 0 339514 0
[pid=31362/tid=31365] ppid=31359 vsize=1392464 memory=1255536 CPUtime=20.9 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 173397 0 0 0 2061 29 0 0 20 0 3 0 4817223 1425883136 319640 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=1392464 memory=1255536 CPUtime=0 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4817283 1425883136 319640 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1392464 KiB
Current children cumulated memory: 1278560 KiB
[startup+51.1134 s]
/proc/loadavg: 4.10 4.11 4.07 5/252 31428
/proc/meminfo: memFree=120308120/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=1458000 memory=1288604 CPUtime=50.93 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 363822 0 0 0 5035 58 0 0 20 0 3 0 4816795 1492992000 322151 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 364500 322151 2950 3035 0 347646 0
[pid=31362/tid=31365] ppid=31359 vsize=1458000 memory=-5155625795496668037 CPUtime=46.44 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 240798 0 0 0 4610 34 0 0 20 0 3 0 4817223 1492992000 322151 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=1458000 memory=11352 CPUtime=0 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4817283 1492992000 322151 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1458000 KiB
Current children cumulated memory: 1288604 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/252 31437
/proc/meminfo: memFree=120262172/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=1523536 memory=1303392 CPUtime=101.94 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 444513 0 0 0 10130 64 0 0 20 0 3 0 4816795 1560100864 325848 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 380884 325848 2950 3035 0 360433 0
[pid=31362/tid=31365] ppid=31359 vsize=1523536 memory=11352 CPUtime=97.45 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 321475 0 0 0 9705 40 0 0 20 0 3 0 4817223 1560100864 325848 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=1523536 memory=16744 CPUtime=0 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 4817283 1560100864 325848 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1523536 KiB
Current children cumulated memory: 1303392 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/252 31448
/proc/meminfo: memFree=120242528/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=1523536 memory=1305552 CPUtime=161.75 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 501258 0 0 0 16107 68 0 0 20 0 3 0 4816795 1560100864 326388 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 380884 326388 2950 3035 0 367857 0
[pid=31362/tid=31365] ppid=31359 vsize=1523536 memory=1303392 CPUtime=157.26 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 378210 0 0 0 15682 44 0 0 20 0 3 0 4817223 1560100864 326388 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=1523536 memory=1305552 CPUtime=0 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 4817283 1560100864 326388 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1523536 KiB
Current children cumulated memory: 1305552 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/252 31459
/proc/meminfo: memFree=120069244/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=1728804 memory=1473816 CPUtime=221.55 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 595960 0 0 0 22077 78 0 0 20 0 3 0 4816795 1770295296 368454 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 432201 368454 2966 3035 0 418543 0
[pid=31362/tid=31365] ppid=31359 vsize=1728804 memory=1473776 CPUtime=217.06 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 472866 0 0 0 21652 54 0 0 20 0 3 0 4817223 1770295296 368454 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=1728804 memory=1473816 CPUtime=0 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 4817283 1770295296 368454 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1728804 KiB
Current children cumulated memory: 1473816 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/251 31470
/proc/meminfo: memFree=120010040/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=1794340 memory=1476480 CPUtime=281.35 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 633422 0 0 0 28055 80 0 0 20 0 3 0 4816795 1837404160 369120 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 448585 369120 3014 3035 0 430777 0
[pid=31362/tid=31365] ppid=31359 vsize=1794340 memory=32720 CPUtime=276.86 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 510277 0 0 0 27630 56 0 0 20 0 3 0 4817223 1837404160 369120 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
################
# More data... #
################
[pid=31362/tid=31366] ppid=31359 vsize=4745632 memory=33 CPUtime=0.05 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4817283 4859527168 605909 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 3330.47 s
Current children cumulated vsize: 4745632 KiB
Current children cumulated memory: 2423636 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.24 4.31 5/250 33053
/proc/meminfo: memFree=120297452/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=4745632 memory=2437944 CPUtime=3390.26 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 3325329 0 0 0 338567 459 0 0 20 0 3 0 4816795 4859527168 609486 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 1186408 609486 3014 3035 0 1152889 0
[pid=31362/tid=31365] ppid=31359 vsize=4745632 memory=33 CPUtime=3385.52 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 3197993 0 0 0 338129 423 0 0 20 0 3 0 4817223 4859527168 609486 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=4745632 memory=100 CPUtime=0.05 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 202 0 0 0 1 4 0 0 20 0 3 0 4817283 4859527168 609486 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 3390.26 s
Current children cumulated vsize: 4745632 KiB
Current children cumulated memory: 2437944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.21 4.29 5/249 33110
/proc/meminfo: memFree=121261960/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=4745632 memory=2447488 CPUtime=3450.05 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 3377279 0 0 0 344543 462 0 0 20 0 3 0 4816795 4859527168 611872 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 1186408 611872 3014 3035 0 1161871 0
[pid=31362/tid=31365] ppid=31359 vsize=4745632 memory=2443556 CPUtime=3445.31 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 3249920 0 0 0 344105 426 0 0 20 0 3 0 4817223 4859527168 611872 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=4745632 memory=2447456 CPUtime=0.06 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 202 0 0 0 2 4 0 0 20 0 3 0 4817283 4859527168 611872 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 3450.05 s
Current children cumulated vsize: 4745632 KiB
Current children cumulated memory: 2447488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.19 4.28 5/251 33123
/proc/meminfo: memFree=120845340/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=4745632 memory=2461812 CPUtime=3509.84 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 3440061 0 0 0 350517 467 0 0 20 0 3 0 4816795 4859527168 615453 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 1186408 615453 3014 3035 0 1161871 0
[pid=31362/tid=31365] ppid=31359 vsize=4745632 memory=2447456 CPUtime=3505.1 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 3312659 0 0 0 350079 431 0 0 20 0 3 0 4817223 4859527168 615453 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=4745632 memory=2461812 CPUtime=0.06 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 204 0 0 0 2 4 0 0 20 0 3 0 4817283 4859527168 615453 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 3509.84 s
Current children cumulated vsize: 4745632 KiB
Current children cumulated memory: 2461812 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.17 4.26 6/248 33325
/proc/meminfo: memFree=121502792/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=4745632 memory=2476280 CPUtime=3569.64 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 3499581 0 0 0 356492 472 0 0 20 0 3 0 4816795 4859527168 619070 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 1186408 619070 3014 3035 0 1161871 0
[pid=31362/tid=31365] ppid=31359 vsize=4745632 memory=11352 CPUtime=3564.89 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 3372150 0 0 0 356054 435 0 0 20 0 3 0 4817223 4859527168 619070 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=4745632 memory=2476280 CPUtime=0.06 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 206 0 0 0 2 4 0 0 20 0 3 0 4817283 4859527168 619070 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 3569.64 s
Current children cumulated vsize: 4745632 KiB
Current children cumulated memory: 2476280 KiB
[startup+3598.84 s]
# the end of solver process 31362 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.23 s, system=4.89184 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.16 4.26 5/251 33353
/proc/meminfo: memFree=121460532/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=4745632 memory=2476280 CPUtime=3571.35 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 3499836 0 0 0 356663 472 0 0 20 0 3 0 4816795 4859527168 619070 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 1186408 619070 3014 3035 0 1161871 0
[pid=31362/tid=31365] ppid=31359 vsize=4745632 memory=-6000919468428454252 CPUtime=3566.59 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 3372401 0 0 0 356224 435 0 0 20 0 3 0 4817223 4859527168 619070 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=4745632 memory=26952 CPUtime=0.06 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 206 0 0 0 2 4 0 0 20 0 3 0 4817283 4859527168 619070 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 4745632 KiB
Current children cumulated memory: 2476280 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.16 4.26 5/253 33355
/proc/meminfo: memFree=121386088/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=4745632 memory=2478324 CPUtime=3577.71 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 3502800 0 0 0 357299 472 0 0 20 0 3 0 4816795 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 1186408 619581 3014 3035 0 1161871 0
[pid=31362/tid=31365] ppid=31359 vsize=4745632 memory=2478324 CPUtime=3572.96 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 3375353 0 0 0 356860 436 0 0 20 0 3 0 4817223 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=4745632 memory=8100125708286322794 CPUtime=0.06 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 206 0 0 0 2 4 0 0 20 0 3 0 4817283 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 3577.71 s
Current children cumulated vsize: 4745632 KiB
Current children cumulated memory: 2478324 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.16 4.26 5/253 33356
/proc/meminfo: memFree=121385500/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=4745632 memory=2478324 CPUtime=3580.89 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 3503813 0 0 0 357617 472 0 0 20 0 3 0 4816795 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 1186408 619581 3014 3035 0 1161871 0
[pid=31362/tid=31365] ppid=31359 vsize=4745632 memory=5540 CPUtime=3576.15 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 3376365 0 0 0 357179 436 0 0 20 0 3 0 4817223 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=4745632 memory=11352 CPUtime=0.06 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 206 0 0 0 2 4 0 0 20 0 3 0 4817283 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 3580.89 s
Current children cumulated vsize: 4745632 KiB
Current children cumulated memory: 2478324 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.16 4.26 5/253 33356
/proc/meminfo: memFree=121385416/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=4745632 memory=2478324 CPUtime=3584.08 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 3504173 0 0 0 357936 472 0 0 20 0 3 0 4816795 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 1186408 619581 3014 3035 0 1161871 0
[pid=31362/tid=31365] ppid=31359 vsize=4745632 memory=-7452168224999824763 CPUtime=3579.34 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 3376725 0 0 0 357498 436 0 0 20 0 3 0 4817223 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=4745632 memory=2476280 CPUtime=0.06 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 206 0 0 0 2 4 0 0 20 0 3 0 4817283 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 3584.08 s
Current children cumulated vsize: 4745632 KiB
Current children cumulated memory: 2478324 KiB
[startup+3597.6 s]
/proc/loadavg: 4.08 4.16 4.26 5/253 33356
/proc/meminfo: memFree=121344564/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=4745632 memory=2478324 CPUtime=3584.88 cores=0,2
/proc/31362/stat : 31362 (fscip) S 31359 31362 29084 0 -1 1077936128 3504456 0 0 0 358016 472 0 0 20 0 3 0 4816795 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 1186408 619581 3014 3035 0 1161871 0
[pid=31362/tid=31365] ppid=31359 vsize=4745632 memory=16744 CPUtime=3580.14 cores=0,2
/proc/31362/task/31365/stat : 31365 (fscip) R 31359 31362 29084 0 -1 4194368 3377007 0 0 0 357578 436 0 0 20 0 3 0 4817223 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
[pid=31362/tid=31366] ppid=31359 vsize=4745632 memory=11352 CPUtime=0.06 cores=0,2
/proc/31362/task/31366/stat : 31366 (fscip) S 31359 31362 29084 0 -1 1077936192 206 0 0 0 2 4 0 0 20 0 3 0 4817283 4859527168 619581 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
Current children cumulated CPU time: 3584.88 s
Current children cumulated vsize: 4745632 KiB
Current children cumulated memory: 2478324 KiB
[startup+3598.41 s]
/proc/loadavg: 4.07 4.15 4.26 5/253 33356
/proc/meminfo: memFree=121338852/131655788 swapFree=131071996/131071996
[pid=31362] ppid=31359 vsize=3639712 memory=1983300 CPUtime=3585.68 cores=0,2
/proc/31362/stat : 31362 (fscip) R 31359 31362 29084 0 -1 4194304 3549524 0 0 0 358093 475 0 0 20 0 1 0 4816795 3727065088 495825 134679101440 4194304 16623229 140733669998048 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 40083456 140733669999638 140733669999754 140733669999754 140733670006768 0
/proc/31362/statm: 909928 495825 3014 3035 0 873078 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 3639712 KiB
Current children cumulated memory: 1983300 KiB
[startup+3598.8 s]*
/proc/loadavg: 4.07 4.15 4.26 7/251 33356
/proc/meminfo: memFree=123358804/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.84
CPU time (s): 3586.12
CPU user time (s): 3581.23
CPU system time (s): 4.89184
CPU usage (%): 99.6464
Max. virtual memory (cumulated for all children) (KiB): 4745632
Max. memory (cumulated for all children) (KiB): 2478324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.23
system time used= 4.89184
maximum resident set size= 2478328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3569607
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= 8497
involuntary context switches= 25080
# summary of solver processes directly reported to runsolver:
# pid: 31362
# total CPU time (s): 3586.12
# total CPU user time (s): 3581.23
# total CPU system time (s): 4.89184
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7784 second user time and 36.441 second system time
The end
Begin job on nodeC002 at 2024-07-31 01:30:12
IDJOB=4464460
IDBENCH=155596
IDSOLVER=3092
FILE ID=nodeC002/4464460-1722382212
RUNJOBID= nodeC002-1722378594-29094
SLURM_JOB_ID= 8249832
Free space on /tmp= 723680 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-33.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-4464460-1722382212/watcher-4464460-1722382212 -o /tmp/evaluation-result-4464460-1722382212/solver-4464460-1722382212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29094 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464460-1722382212.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 77ebcb4349d0c3a90733439946e4862a
RANDOM SEED=1367756045
nodeC002.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 : 3509.707
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.65
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 : 3626.620
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.23
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.198
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.65
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.350
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.23
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 : 3672.791
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.65
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 : 3667.730
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.23
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.366
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.65
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.333
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121689256 kB
MemAvailable: 126567164 kB
Buffers: 98964 kB
Cached: 5568468 kB
SwapCached: 0 kB
Active: 273608 kB
Inactive: 9137064 kB
Active(anon): 1908 kB
Inactive(anon): 3770880 kB
Active(file): 271700 kB
Inactive(file): 5366184 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 62936 kB
Writeback: 0 kB
AnonPages: 3741808 kB
Mapped: 128132 kB
Shmem: 29512 kB
KReclaimable: 160112 kB
Slab: 244532 kB
SReclaimable: 160112 kB
SUnreclaim: 84420 kB
KernelStack: 4048 kB
PageTables: 16752 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2172084 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6976 kB
HardwareCorrupted: 0 kB
AnonHugePages: 460800 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: 224072 kB
DirectMap2M: 19603456 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC002 at 2024-07-31 02:30:11