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.09 c Default LC presolving (default).
0.00/0.09 c ** Before presolving: virtualMemUsedAtLc = 47243264, getVmSize() = 47243264, SCIPgetMemUsed() = 21345585, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13378372
0.00/0.09 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.68/0.74 c ** Estimated virtualMemUsedAtSolver = 39806320, getVmSize() = 70676480, SCIPgetMemUsed() = 25392357, SCIPgetMemTotal() = 46331109, SCIPgetMemExternEstim() = 13378372
0.68/0.74 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.68/0.74 c Original Problem :
0.68/0.74 c Problem name : instance-4464648-1722386371
0.68/0.74 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.74 c Constraints : 9488
0.68/0.74 c Objective sense : minimize
0.68/0.74 c Presolved Problem :
0.68/0.74 c Variables : 3418 (3418 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.74 c Constraints : 7848
0.68/0.74 c Constraints : Number
0.68/0.74 c and : 32
0.68/0.74 c linear : 1363
0.68/0.74 c logicor : 6453
0.68/0.74 c ** Instance transfer method used: 0
0.68/0.76 c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.80 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.80 c Nodes Active
0.79/0.80 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
40.68/40.84 c 41 2 1 1 - 0.0000 -
51.76/51.95 c 52 27 26 1 - 0.0000 -
61.53/61.73 c 62 33 32 1 - 0.0000 -
66.62/66.89 c 67 36 35 1 - 0.0000 -
296.79/297.59 c 298 42 41 1 - 0.0000 -
304.47/305.20 c 305 48 47 1 - 0.0000 -
310.85/311.69 c 312 55 54 1 - 0.0000 -
317.36/318.17 c 318 58 57 1 - 0.0000 -
323.03/323.88 c 324 62 61 1 - 0.0000 -
330.61/331.41 c 331 68 67 1 - 0.0000 -
339.30/340.19 c 340 75 74 1 - 0.0000 -
349.18/350.10 c 350 82 81 1 - 0.0000 -
354.45/355.34 c 355 88 87 1 - 0.0000 -
362.33/363.27 c 363 98 97 1 - 0.0000 -
373.13/374.03 c 374 118 117 1 - 0.0000 -
380.59/381.54 c 382 125 124 1 - 0.0000 -
388.87/389.84 c 390 168 167 1 - 0.0000 -
394.46/395.44 c 395 174 173 1 - 0.0000 -
400.74/401.76 c 402 178 177 1 - 0.0000 -
409.13/410.16 c 410 182 181 1 - 0.0000 -
418.11/419.16 c 419 215 214 1 - 0.0000 -
424.18/425.26 c 425 221 220 1 - 0.0000 -
430.07/431.13 c 431 290 289 1 - 0.0000 -
435.44/436.51 c 437 298 297 1 - 0.0000 -
440.73/441.81 c 442 302 301 1 - 0.0000 -
447.02/448.16 c 448 330 329 1 - 0.0000 -
452.58/453.72 c 454 342 341 1 - 0.0000 -
457.58/458.73 c 459 350 349 1 - 0.0000 -
464.65/465.81 c 466 366 365 1 - 0.0000 -
472.03/473.27 c 473 398 397 1 - 0.0000 -
477.32/478.59 c 479 422 421 1 - 0.0000 -
483.81/485.07 c 485 442 441 1 - 0.0000 -
490.97/492.23 c 492 466 465 1 - 0.0000 -
497.65/498.97 c 499 490 489 1 - 0.0000 -
504.03/505.39 c 505 546 545 1 - 0.0000 -
513.20/514.51 c 515 550 549 1 - 0.0000 -
518.39/519.78 c 520 575 574 1 - 0.0000 -
526.96/528.37 c 528 582 581 1 - 0.0000 -
533.44/534.86 c 535 599 598 1 - 0.0000 -
538.82/540.22 c 540 611 610 1 - 0.0000 -
543.90/545.39 c 545 618 617 1 - 0.0000 -
551.28/552.70 c 553 653 652 1 - 0.0000 -
557.47/558.98 c 559 688 687 1 - 0.0000 -
567.34/568.85 c 569 700 699 1 - 0.0000 -
576.91/578.43 c 578 710 709 1 - 0.0000 -
584.69/586.25 c 586 727 726 1 - 0.0000 -
590.28/591.87 c 592 735 734 1 - 0.0000 -
595.47/597.01 c 597 776 775 1 - 0.0000 -
601.84/603.49 c 603 803 802 1 - 0.0000 -
607.02/608.62 c 609 818 817 1 - 0.0000 -
616.00/617.69 c 618 828 827 1 - 0.0000 -
621.09/622.70 c 623 833 832 1 - 0.0000 -
626.08/627.75 c 628 854 853 1 - 0.0000 -
631.27/632.90 c 633 883 882 1 - 0.0000 -
637.95/639.63 c 640 893 892 1 - 0.0000 -
646.53/648.21 c 648 923 922 1 - 0.0000 -
656.41/658.15 c 658 933 932 1 - 0.0000 -
662.19/663.94 c 664 948 947 1 - 0.0000 -
672.16/673.96 c 674 978 977 1 - 0.0000 -
679.55/681.32 c 681 988 987 1 - 0.0000 -
687.03/688.81 c 689 1013 1012 1 - 0.0000 -
692.22/694.10 c 694 1028 1027 1 - 0.0000 -
698.31/700.13 c 700 1050 0 1 - 0.0000 -
746.57/748.51 c 749 1051 1 1 - 0.0000 -
754.15/756.12 c 756 1074 24 1 - 0.0000 -
766.30/768.34 c 768 1081 31 1 - 0.0000 -
772.68/774.77 c 775 1084 34 1 - 0.0000 -
778.67/780.76 c 781 1087 37 1 - 0.0000 -
784.16/786.20 c 786 1094 44 1 - 0.0000 -
791.73/793.80 c 794 1141 91 1 - 0.0000 -
797.92/800.02 c 800 1195 145 1 - 0.0000 -
803.29/805.47 c 805 1255 205 1 - 0.0000 -
809.98/812.14 c 812 1266 216 1 - 0.0000 -
817.05/819.29 c 819 1271 221 1 - 0.0000 -
822.43/824.63 c 825 1281 231 1 - 0.0000 -
828.93/831.11 c 831 1301 251 1 - 0.0000 -
834.10/836.37 c 836 1342 292 1 - 0.0000 -
840.38/842.67 c 843 1351 301 1 - 0.0000 -
845.56/847.84 c 848 1358 308 1 - 0.0000 -
854.24/856.53 c 857 1363 313 1 - 0.0000 -
860.74/863.07 c 863 1394 344 1 - 0.0000 -
866.91/869.28 c 869 1418 368 1 - 0.0000 -
872.80/875.13 c 875 1435 385 1 - 0.0000 -
879.27/881.67 c 882 1483 433 1 - 0.0000 -
886.35/888.78 c 889 1513 463 1 - 0.0000 -
895.02/897.46 c 897 1578 528 1 - 0.0000 -
902.20/904.68 c 905 1611 561 1 - 0.0000 -
912.97/915.49 c 915 1624 574 1 - 0.0000 -
921.44/923.90 c 924 1655 605 1 - 0.0000 -
928.32/930.88 c 931 1702 652 1 - 0.0000 -
934.20/936.78 c 937 1708 658 1 - 0.0000 -
940.59/943.11 c 943 1734 684 1 - 0.0000 -
946.06/948.60 c 949 1756 706 1 - 0.0000 -
951.15/953.70 c 954 1803 753 1 - 0.0000 -
963.61/966.25 c 966 1821 771 1 - 0.0000 -
972.50/975.12 c 975 1887 837 1 - 0.0000 -
979.96/982.62 c 983 1945 893 1 - 0.0000 -
985.95/988.62 c 989 1963 909 1 - 0.0000 -
992.43/995.11 c 995 2078 1024 1 - 0.0000 -
998.31/1001.02 c 1001 2143 1089 1 - 0.0000 -
1004.39/1007.17 c 1007 2173 1119 1 - 0.0000 -
1010.16/1012.97 c 1013 2211 1157 1 - 0.0000 -
1015.85/1018.66 c 1019 2229 1175 1 - 0.0000 -
1022.14/1024.94 c 1025 2261 1207 1 - 0.0000 -
1029.81/1032.61 c 1033 2306 1252 1 - 0.0000 -
1034.80/1037.66 c 1038 2343 1289 1 - 0.0000 -
1040.68/1043.55 c 1044 2376 1322 1 - 0.0000 -
1046.27/1049.15 c 1049 2408 1354 1 - 0.0000 -
1051.44/1054.37 c 1054 2415 1361 1 - 0.0000 -
1056.63/1059.57 c 1060 2443 1389 1 - 0.0000 -
1063.81/1066.76 c 1067 2480 1421 1 - 0.0000 -
1068.99/1071.98 c 1072 2503 1444 1 - 0.0000 -
1075.37/1078.31 c 1078 2506 1447 1 - 0.0000 -
1082.75/1085.74 c 1086 2542 1483 1 - 0.0000 -
1088.43/1091.44 c 1091 2585 1526 1 - 0.0000 -
1093.81/1096.82 c 1097 2606 1547 1 - 0.0000 -
1099.39/1102.41 c 1102 2636 1577 1 - 0.0000 -
1104.88/1107.99 c 1108 2679 1620 1 - 0.0000 -
1112.55/1115.64 c 1116 2718 1659 1 - 0.0000 -
1118.14/1121.24 c 1121 2736 1677 1 - 0.0000 -
1123.22/1126.32 c 1126 2763 1704 1 - 0.0000 -
1128.50/1131.64 c 1132 2791 1732 1 - 0.0000 -
1133.59/1136.75 c 1137 2819 1760 1 - 0.0000 -
1138.77/1141.93 c 1142 2845 1786 1 - 0.0000 -
1145.86/1149.07 c 1149 2872 1813 1 - 0.0000 -
1151.33/1154.52 c 1155 2903 1844 1 - 0.0000 -
1156.33/1159.55 c 1160 2929 1868 1 - 0.0000 -
1163.92/1167.17 c 1167 2966 1905 1 - 0.0000 -
1169.91/1173.17 c 1173 2984 1923 1 - 0.0000 -
1174.98/1178.26 c 1178 3010 1949 1 - 0.0000 -
1180.88/1184.15 c 1184 3034 1973 1 - 0.0000 -
1186.87/1190.17 c 1190 3058 1995 1 - 0.0000 -
1192.54/1195.81 c 1196 3086 2023 1 - 0.0000 -
1199.52/1202.88 c 1203 3131 2068 1 - 0.0000 -
1205.91/1209.26 c 1209 3160 2097 1 - 0.0000 -
1215.09/1218.48 c 1218 3192 2129 1 - 0.0000 -
1220.57/1223.92 c 1224 3216 2153 1 - 0.0000 -
1227.25/1230.65 c 1231 3229 2166 1 - 0.0000 -
1233.94/1237.34 c 1237 3265 2202 1 - 0.0000 -
1239.33/1242.77 c 1243 3296 2233 1 - 0.0000 -
1245.51/1248.92 c 1249 3333 2270 1 - 0.0000 -
1253.19/1256.67 c 1257 3355 2292 1 - 0.0000 -
1258.88/1262.33 c 1262 3378 2315 1 - 0.0000 -
1266.16/1269.61 c 1270 3409 2346 1 - 0.0000 -
1271.66/1275.13 c 1275 3432 2369 1 - 0.0000 -
1281.13/1284.61 c 1285 3485 2422 1 - 0.0000 -
1286.82/1290.30 c 1290 3521 2458 1 - 0.0000 -
1292.01/1295.52 c 1296 3551 2488 1 - 0.0000 -
1298.50/1302.03 c 1302 3577 2512 1 - 0.0000 -
1304.18/1307.79 c 1308 3601 2536 1 - 0.0000 -
1310.17/1313.73 c 1314 3626 2561 1 - 0.0000 -
1315.65/1319.24 c 1319 3644 2579 1 - 0.0000 -
1321.44/1325.07 c 1325 3649 2584 1 - 0.0000 -
1326.82/1330.49 c 1330 3677 2612 1 - 0.0000 -
1332.70/1336.36 c 1336 3708 2643 1 - 0.0000 -
1338.77/1342.45 c 1342 3735 2670 1 - 0.0000 -
1344.47/1348.17 c 1348 3765 2700 1 - 0.0000 -
1350.25/1353.94 c 1354 3791 2726 1 - 0.0000 -
1358.53/1362.29 c 1362 3811 2746 1 - 0.0000 -
1364.51/1368.23 c 1368 3829 2764 1 - 0.0000 -
1370.20/1373.96 c 1374 3857 2792 1 - 0.0000 -
1376.08/1379.83 c 1380 3865 2800 1 - 0.0000 -
1381.38/1385.15 c 1385 3883 2818 1 - 0.0000 -
1387.87/1391.62 c 1392 3917 2852 1 - 0.0000 -
1393.05/1396.88 c 1397 3939 2874 1 - 0.0000 -
1399.14/1403.01 c 1403 3971 2904 1 - 0.0000 -
1405.72/1409.58 c 1410 3992 2925 1 - 0.0000 -
1413.70/1417.57 c 1418 4011 2944 1 - 0.0000 -
1419.20/1423.06 c 1423 4036 2969 1 - 0.0000 -
1424.77/1428.62 c 1429 4047 2980 1 - 0.0000 -
1430.66/1434.52 c 1435 4065 2998 1 - 0.0000 -
1436.34/1440.27 c 1440 4083 3016 1 - 0.0000 -
1441.63/1445.57 c 1446 4108 3041 1 - 0.0000 -
1448.91/1452.86 c 1453 4152 3085 1 - 0.0000 -
1456.10/1460.02 c 1460 4181 3114 1 - 0.0000 -
1461.68/1465.61 c 1466 4224 3157 1 - 0.0000 -
1467.26/1471.24 c 1471 4256 3189 1 - 0.0000 -
1473.35/1477.33 c 1477 4293 3224 1 - 0.0000 -
1479.23/1483.28 c 1483 4324 3255 1 - 0.0000 -
1488.13/1492.17 c 1492 4361 3292 1 - 0.0000 -
1496.79/1500.81 c 1501 4402 3329 1 - 0.0000 -
1505.09/1509.14 c 1509 4422 3349 1 - 0.0000 -
1512.66/1516.74 c 1517 4462 3389 1 - 0.0000 -
1518.95/1523.05 c 1523 4503 3428 1 - 0.0000 -
1525.13/1529.24 c 1529 4543 3468 1 - 0.0000 -
1531.51/1535.61 c 1536 4583 3508 1 - 0.0000 -
1537.70/1541.82 c 1542 4614 3539 1 - 0.0000 -
1544.08/1548.26 c 1548 4643 3568 1 - 0.0000 -
1549.16/1553.33 c 1553 4673 3598 1 - 0.0000 -
1555.15/1559.31 c 1559 4694 3619 1 - 0.0000 -
1560.73/1564.92 c 1565 4717 3642 1 - 0.0000 -
1566.22/1570.45 c 1570 4743 3668 1 - 0.0000 -
1572.01/1576.28 c 1576 4772 3697 1 - 0.0000 -
1577.29/1581.57 c 1582 4790 3715 1 - 0.0000 -
1583.39/1587.65 c 1588 4823 3748 1 - 0.0000 -
1590.27/1594.56 c 1595 4864 3787 1 - 0.0000 -
1595.45/1599.70 c 1600 4889 3812 1 - 0.0000 -
1601.34/1605.67 c 1606 4921 3844 1 - 0.0000 -
1613.20/1617.50 c 1618 4944 3867 1 - 0.0000 -
1618.58/1622.96 c 1623 4967 3884 1 - 0.0000 -
1624.47/1628.80 c 1629 4987 3904 1 - 0.0000 -
1629.55/1633.93 c 1634 5017 3930 1 - 0.0000 -
1636.64/1641.05 c 1641 5072 3981 1 - 0.0000 -
1642.51/1646.91 c 1647 5099 4008 1 - 0.0000 -
1647.70/1652.17 c 1652 5117 4026 1 - 0.0000 -
1653.87/1658.38 c 1658 5152 4061 1 - 0.0000 -
1660.16/1664.67 c 1665 5172 4081 1 - 0.0000 -
1666.05/1670.58 c 1671 5205 4114 1 - 0.0000 -
1672.64/1677.16 c 1677 5243 4152 1 - 0.0000 -
1680.11/1684.67 c 1685 5272 4181 1 - 0.0000 -
1685.30/1689.87 c 1690 5292 4201 1 - 0.0000 -
1690.38/1695.01 c 1695 5320 4229 1 - 0.0000 -
1695.96/1700.53 c 1701 5345 4254 1 - 0.0000 -
1703.34/1707.98 c 1708 5372 4281 1 - 0.0000 -
1708.73/1713.37 c 1713 5392 4301 1 - 0.0000 -
1714.31/1718.94 c 1719 5412 4321 1 - 0.0000 -
1720.41/1725.04 c 1725 5432 4341 1 - 0.0000 -
1726.08/1730.75 c 1731 5459 4368 1 - 0.0000 -
1731.17/1735.85 c 1736 5485 4392 1 - 0.0000 -
1736.85/1741.54 c 1742 5508 4415 1 - 0.0000 -
1742.63/1747.32 c 1747 5536 4443 1 - 0.0000 -
1749.12/1753.82 c 1754 5575 4478 1 - 0.0000 -
1755.20/1759.93 c 1760 5615 4518 1 - 0.0000 -
1761.18/1765.92 c 1766 5635 4538 1 - 0.0000 -
1766.66/1771.48 c 1771 5667 4570 1 - 0.0000 -
1774.44/1779.28 c 1779 5675 4578 1 - 0.0000 -
1780.42/1785.22 c 1785 5701 4604 1 - 0.0000 -
1786.70/1791.57 c 1792 5728 4629 1 - 0.0000 -
1792.58/1797.44 c 1797 5756 4657 1 - 0.0000 -
1797.67/1802.56 c 1803 5811 4712 1 - 0.0000 -
1804.05/1808.99 c 1809 5836 4737 1 - 0.0000 -
1809.83/1814.70 c 1815 5890 4791 1 - 0.0000 -
1815.01/1819.90 c 1820 5917 4816 1 - 0.0000 -
1820.11/1825.04 c 1825 5945 4844 1 - 0.0000 -
1825.48/1830.42 c 1830 5961 4860 1 - 0.0000 -
1831.56/1836.52 c 1837 6002 4901 1 - 0.0000 -
1836.74/1841.73 c 1842 6028 4927 1 - 0.0000 -
1842.43/1847.40 c 1847 6057 4956 1 - 0.0000 -
1850.50/1855.51 c 1856 6117 5016 1 - 0.0000 -
1855.99/1861.05 c 1861 6147 5046 1 - 0.0000 -
1861.08/1866.16 c 1866 6173 5072 1 - 0.0000 -
1867.85/1872.91 c 1873 6197 5096 1 - 0.0000 -
1873.05/1878.19 c 1878 6218 5115 1 - 0.0000 -
1879.82/1884.95 c 1885 6241 5134 1 - 0.0000 -
1885.70/1890.83 c 1891 6266 5159 1 - 0.0000 -
1891.58/1896.79 c 1897 6288 5181 1 - 0.0000 -
1897.16/1902.38 c 1902 6301 5194 1 - 0.0000 -
1902.24/1907.45 c 1907 6321 5214 1 - 0.0000 -
1908.03/1913.22 c 1913 6359 5250 1 - 0.0000 -
1913.42/1918.61 c 1919 6392 5283 1 - 0.0000 -
1918.40/1923.66 c 1924 6439 5328 1 - 0.0000 -
1924.59/1929.80 c 1930 6491 5378 1 - 0.0000 -
1930.67/1936.01 c 1936 6524 5411 1 - 0.0000 -
1936.06/1941.38 c 1941 6544 5431 1 - 0.0000 -
1941.94/1947.21 c 1947 6573 5458 1 - 0.0000 -
1950.42/1955.77 c 1956 6585 5470 1 - 0.0000 -
1955.51/1960.82 c 1961 6606 5489 1 - 0.0000 -
1961.00/1966.34 c 1966 6631 5512 1 - 0.0000 -
1966.49/1971.89 c 1972 6647 5528 1 - 0.0000 -
1973.18/1978.52 c 1979 6687 5568 1 - 0.0000 -
1982.45/1987.84 c 1988 6727 5608 1 - 0.0000 -
1988.04/1993.40 c 1993 6753 5634 1 - 0.0000 -
1993.33/1998.73 c 1999 6788 5667 1 - 0.0000 -
1999.01/2004.43 c 2004 6818 5695 1 - 0.0000 -
2004.61/2010.10 c 2010 6844 5721 1 - 0.0000 -
2010.48/2015.91 c 2016 6871 5746 1 - 0.0000 -
2016.17/2021.65 c 2022 6907 5782 1 - 0.0000 -
2021.26/2026.71 c 2027 6931 5806 1 - 0.0000 -
2026.56/2032.03 c 2032 6951 5826 1 - 0.0000 -
2032.13/2037.65 c 2038 6980 5855 1 - 0.0000 -
2038.82/2044.39 c 2044 7031 5906 1 - 0.0000 -
2045.51/2051.10 c 2051 7071 5946 1 - 0.0000 -
2051.60/2057.14 c 2057 7134 6009 1 - 0.0000 -
2057.48/2063.03 c 2063 7162 6037 1 - 0.0000 -
2063.35/2068.91 c 2069 7171 6046 1 - 0.0000 -
2068.64/2074.21 c 2074 7191 6066 1 - 0.0000 -
2073.73/2079.31 c 2079 7216 6091 1 - 0.0000 -
2078.82/2084.43 c 2084 7251 6126 1 - 0.0000 -
2084.41/2090.11 c 2090 7271 6146 1 - 0.0000 -
2089.69/2095.36 c 2095 7291 6166 1 - 0.0000 -
2095.28/2100.98 c 2101 7326 6199 1 - 0.0000 -
2100.47/2106.13 c 2106 7352 6225 1 - 0.0000 -
2106.47/2112.14 c 2112 7375 6248 1 - 0.0000 -
2112.94/2118.60 c 2119 7439 6312 1 - 0.0000 -
2118.44/2124.13 c 2124 7470 6343 1 - 0.0000 -
2123.81/2129.56 c 2130 7492 6365 1 - 0.0000 -
2129.80/2135.53 c 2136 7544 6417 1 - 0.0000 -
2282.25/2288.30 c 2288 7572 6445 1 - 0.0000 -
2292.82/2298.90 c 2299 7592 6465 1 - 0.0000 -
2301.02/2307.12 c 2307 7612 6485 1 - 0.0000 -
2306.49/2312.63 c 2313 7640 6511 1 - 0.0000 -
2316.07/2322.25 c 2322 7673 6544 1 - 0.0000 -
2321.46/2327.69 c 2328 7696 6567 1 - 0.0000 -
2328.24/2334.40 c 2334 7733 6604 1 - 0.0000 -
2335.12/2341.36 c 2341 7773 6644 1 - 0.0000 -
2341.70/2347.95 c 2348 7813 6684 1 - 0.0000 -
2347.89/2354.14 c 2354 7853 6724 1 - 0.0000 -
2352.87/2359.17 c 2359 7873 6744 1 - 0.0000 -
2358.44/2364.72 c 2365 7893 6764 1 - 0.0000 -
2364.52/2370.82 c 2371 7913 6784 1 - 0.0000 -
2369.61/2375.94 c 2376 7945 6816 1 - 0.0000 -
2376.29/2382.66 c 2383 7973 6844 1 - 0.0000 -
2381.78/2388.16 c 2388 8003 6874 1 - 0.0000 -
2387.25/2393.62 c 2394 8033 6904 1 - 0.0000 -
2392.93/2399.33 c 2399 8053 6924 1 - 0.0000 -
2399.73/2406.15 c 2406 8093 6964 1 - 0.0000 -
2404.90/2411.36 c 2411 8137 7008 1 - 0.0000 -
2410.78/2417.20 c 2417 8167 7038 1 - 0.0000 -
2415.97/2422.40 c 2422 8188 7057 1 - 0.0000 -
2423.44/2429.92 c 2430 8214 7083 1 - 0.0000 -
2429.42/2435.91 c 2436 8234 7103 1 - 0.0000 -
2435.21/2441.71 c 2442 8268 7137 1 - 0.0000 -
2440.89/2447.48 c 2447 8274 7143 1 - 0.0000 -
2446.77/2453.34 c 2453 8294 7163 1 - 0.0000 -
2452.56/2459.17 c 2459 8324 7193 1 - 0.0000 -
2457.83/2464.47 c 2464 8334 7203 1 - 0.0000 -
2464.12/2470.73 c 2471 8374 7243 1 - 0.0000 -
2469.70/2476.35 c 2476 8400 7269 1 - 0.0000 -
2475.88/2482.54 c 2483 8434 7303 1 - 0.0000 -
2481.38/2488.09 c 2488 8463 7329 1 - 0.0000 -
2489.46/2496.12 c 2496 8495 7361 1 - 0.0000 -
2496.13/2502.88 c 2503 8515 7381 1 - 0.0000 -
2501.62/2508.31 c 2508 8541 7407 1 - 0.0000 -
2508.80/2515.51 c 2516 8575 7441 1 - 0.0000 -
2514.48/2521.28 c 2521 8595 7461 1 - 0.0000 -
2520.56/2527.32 c 2527 8629 7495 1 - 0.0000 -
2527.04/2533.90 c 2534 8655 7521 1 - 0.0000 -
2532.72/2539.55 c 2540 8683 7549 1 - 0.0000 -
2537.81/2544.64 c 2545 8695 7561 1 - 0.0000 -
2542.79/2549.67 c 2550 8719 7585 1 - 0.0000 -
2548.29/2555.19 c 2555 8780 7646 1 - 0.0000 -
2554.96/2561.84 c 2562 8835 7701 1 - 0.0000 -
2561.15/2568.04 c 2568 8876 7740 1 - 0.0000 -
2568.13/2575.06 c 2575 8896 7760 1 - 0.0000 -
2573.30/2580.22 c 2580 8916 7780 1 - 0.0000 -
2578.88/2585.89 c 2586 8956 7820 1 - 0.0000 -
2585.36/2592.38 c 2592 8996 7860 1 - 0.0000 -
2590.75/2597.72 c 2598 9037 7898 1 - 0.0000 -
2598.04/2605.08 c 2605 9051 7912 1 - 0.0000 -
2603.71/2610.76 c 2611 9082 7943 1 - 0.0000 -
2609.69/2616.73 c 2617 9103 7964 1 - 0.0000 -
2615.37/2622.46 c 2622 9133 7994 1 - 0.0000 -
2621.25/2628.31 c 2628 9165 8026 1 - 0.0000 -
2628.13/2635.23 c 2635 9199 8060 1 - 0.0000 -
2633.71/2640.85 c 2641 9229 8090 1 - 0.0000 -
2639.01/2646.15 c 2646 9243 8104 1 - 0.0000 -
2647.07/2654.21 c 2654 9288 8147 1 - 0.0000 -
2652.45/2659.68 c 2660 9319 8178 1 - 0.0000 -
2658.43/2665.63 c 2666 9350 8209 1 - 0.0000 -
2663.52/2670.73 c 2671 9382 8241 1 - 0.0000 -
2669.10/2676.30 c 2676 9443 8302 1 - 0.0000 -
2674.68/2681.90 c 2682 9466 8323 1 - 0.0000 -
2680.17/2687.43 c 2687 9509 8366 1 - 0.0000 -
2685.77/2693.10 c 2693 9533 8390 1 - 0.0000 -
2693.43/2700.72 c 2701 9555 8412 1 - 0.0000 -
2701.31/2708.66 c 2709 9577 8434 1 - 0.0000 -
2706.59/2713.98 c 2714 9599 8456 1 - 0.0000 -
2711.69/2719.09 c 2719 9622 8477 1 - 0.0000 -
2718.66/2726.02 c 2726 9644 8499 1 - 0.0000 -
2727.23/2734.65 c 2735 9688 8543 1 - 0.0000 -
2736.71/2744.15 c 2744 9711 8566 1 - 0.0000 -
2742.28/2749.70 c 2750 9733 8588 1 - 0.0000 -
2747.76/2755.24 c 2755 9777 8632 1 - 0.0000 -
2753.34/2760.89 c 2761 9810 8665 1 - 0.0000 -
2759.02/2766.59 c 2767 9867 8720 1 - 0.0000 -
2765.20/2772.72 c 2773 9909 8760 1 - 0.0000 -
2771.39/2778.92 c 2779 9931 8782 1 - 0.0000 -
2776.77/2784.36 c 2784 9953 8804 1 - 0.0000 -
2782.36/2790.01 c 2790 9975 8826 1 - 0.0000 -
2789.73/2797.33 c 2797 9998 8847 1 - 0.0000 -
2795.02/2802.60 c 2803 10021 8870 1 - 0.0000 -
2800.70/2808.31 c 2808 10061 8910 1 - 0.0000 -
2806.49/2814.20 c 2814 10085 8932 1 - 0.0000 -
2812.47/2820.13 c 2820 10141 8982 1 - 0.0000 -
2817.75/2825.49 c 2825 10185 9026 1 - 0.0000 -
2824.02/2831.77 c 2832 10223 9064 1 - 0.0000 -
2830.60/2838.40 c 2838 10245 9086 1 - 0.0000 -
2836.30/2844.03 c 2844 10279 9118 1 - 0.0000 -
2842.07/2849.85 c 2850 10307 9146 1 - 0.0000 -
2852.44/2860.29 c 2860 10335 9174 1 - 0.0000 -
2858.34/2866.17 c 2866 10357 9196 1 - 0.0000 -
2864.11/2871.97 c 2872 10385 9224 1 - 0.0000 -
2869.69/2877.56 c 2878 10410 9249 1 - 0.0000 -
2877.36/2885.25 c 2885 10423 9262 1 - 0.0000 -
2885.15/2893.01 c 2893 10445 9284 1 - 0.0000 -
2890.92/2898.80 c 2899 10487 9326 1 - 0.0000 -
2896.60/2904.52 c 2905 10511 9350 1 - 0.0000 -
2902.39/2910.36 c 2910 10533 9372 1 - 0.0000 -
2907.57/2915.53 c 2916 10575 9414 1 - 0.0000 -
2913.06/2921.06 c 2921 10603 9442 1 - 0.0000 -
2919.33/2927.30 c 2927 10637 9476 1 - 0.0000 -
2925.03/2933.08 c 2933 10663 9502 1 - 0.0000 -
2930.89/2938.95 c 2939 10699 9536 1 - 0.0000 -
2936.39/2944.48 c 2944 10716 9551 1 - 0.0000 -
2941.87/2949.93 c 2950 10742 9577 1 - 0.0000 -
2947.25/2955.36 c 2955 10760 9595 1 - 0.0000 -
2952.54/2960.64 c 2961 10777 9612 1 - 0.0000 -
2958.32/2966.49 c 2966 10805 9640 1 - 0.0000 -
2964.01/2972.17 c 2972 10844 9677 1 - 0.0000 -
2970.48/2978.62 c 2979 10878 9711 1 - 0.0000 -
2976.76/2984.93 c 2985 10911 9744 1 - 0.0000 -
2983.44/2991.69 c 2992 10956 9787 1 - 0.0000 -
2988.83/2997.04 c 2997 10990 9819 1 - 0.0000 -
2994.50/3002.79 c 3003 11012 9841 1 - 0.0000 -
3005.07/3013.34 c 3013 11045 9874 1 - 0.0000 -
3010.45/3018.72 c 3019 11074 9903 1 - 0.0000 -
3015.44/3023.76 c 3024 11096 9925 1 - 0.0000 -
3021.52/3029.81 c 3030 11111 9940 1 - 0.0000 -
3027.20/3035.51 c 3036 11136 9965 1 - 0.0000 -
3035.08/3043.40 c 3043 11177 10006 1 - 0.0000 -
3040.36/3048.76 c 3049 11211 10040 1 - 0.0000 -
3046.45/3054.85 c 3055 11243 10072 1 - 0.0000 -
3052.43/3060.84 c 3061 11265 10094 1 - 0.0000 -
3057.52/3065.97 c 3066 11306 10135 1 - 0.0000 -
3063.50/3072.01 c 3072 11321 10150 1 - 0.0000 -
3069.48/3077.98 c 3078 11342 10171 1 - 0.0000 -
3077.46/3085.99 c 3086 11375 10204 1 - 0.0000 -
3087.13/3095.63 c 3096 11397 10226 1 - 0.0000 -
3092.12/3100.68 c 3101 11421 10248 1 - 0.0000 -
3098.20/3106.71 c 3107 11446 10273 1 - 0.0000 -
3105.49/3114.06 c 3114 11488 10313 1 - 0.0000 -
3110.98/3119.50 c 3120 11511 10334 1 - 0.0000 -
3116.76/3125.33 c 3125 11533 10356 1 - 0.0000 -
3122.04/3130.68 c 3131 11570 10391 1 - 0.0000 -
3128.13/3136.77 c 3137 11600 10421 1 - 0.0000 -
3133.21/3141.87 c 3142 11612 10433 1 - 0.0000 -
3138.30/3146.96 c 3147 11626 10447 1 - 0.0000 -
3146.08/3154.77 c 3155 11667 10488 1 - 0.0000 -
3153.26/3161.99 c 3162 11689 10510 1 - 0.0000 -
3160.13/3168.82 c 3169 11711 10532 1 - 0.0000 -
3166.21/3174.98 c 3175 11756 10575 1 - 0.0000 -
3171.31/3180.09 c 3180 11780 10599 1 - 0.0000 -
3176.58/3185.32 c 3185 11801 10620 1 - 0.0000 -
3182.57/3191.37 c 3191 11835 10654 1 - 0.0000 -
3190.55/3199.34 c 3199 11869 10684 1 - 0.0000 -
3195.94/3204.70 c 3205 11902 10717 1 - 0.0000 -
3202.92/3211.76 c 3212 11913 10728 1 - 0.0000 -
3211.21/3220.08 c 3220 11935 10750 1 - 0.0000 -
3216.19/3225.09 c 3225 11957 10772 1 - 0.0000 -
3221.77/3230.69 c 3231 11990 10803 1 - 0.0000 -
3227.35/3236.24 c 3236 12025 10838 1 - 0.0000 -
3232.84/3241.79 c 3242 12047 10860 1 - 0.0000 -
3237.92/3246.84 c 3247 12077 10890 1 - 0.0000 -
3243.91/3252.85 c 3253 12104 10917 1 - 0.0000 -
3249.59/3258.51 c 3259 12127 10940 1 - 0.0000 -
3255.09/3264.03 c 3264 12149 10962 1 - 0.0000 -
3260.37/3269.39 c 3269 12176 10985 1 - 0.0000 -
3265.75/3274.71 c 3275 12215 11024 1 - 0.0000 -
3270.74/3279.74 c 3280 12237 11046 1 - 0.0000 -
3277.22/3286.24 c 3286 12272 11077 1 - 0.0000 -
3284.60/3293.60 c 3294 12317 11120 1 - 0.0000 -
3289.99/3299.05 c 3299 12360 11163 1 - 0.0000 -
3295.57/3304.60 c 3305 12372 11175 1 - 0.0000 -
3301.46/3310.58 c 3311 12383 11186 1 - 0.0000 -
3307.74/3316.86 c 3317 12416 11219 1 - 0.0000 -
3314.04/3323.12 c 3323 12440 11243 1 - 0.0000 -
3319.61/3328.72 c 3329 12464 11267 1 - 0.0000 -
3325.19/3334.35 c 3334 12482 11285 1 - 0.0000 -
3330.58/3339.79 c 3340 12516 11317 1 - 0.0000 -
3336.06/3345.29 c 3345 12544 11345 1 - 0.0000 -
3343.04/3352.28 c 3352 12583 11384 1 - 0.0000 -
3349.13/3358.39 c 3358 12605 11406 1 - 0.0000 -
3355.01/3364.20 c 3364 12627 11428 1 - 0.0000 -
3362.39/3371.60 c 3372 12673 11470 1 - 0.0000 -
3369.27/3378.50 c 3378 12717 11514 1 - 0.0000 -
3376.06/3385.33 c 3385 12739 11536 1 - 0.0000 -
3382.14/3391.45 c 3391 12774 11571 1 - 0.0000 -
3387.42/3396.78 c 3397 12793 11590 1 - 0.0000 -
3394.10/3403.43 c 3403 12805 11602 1 - 0.0000 -
3399.59/3408.91 c 3409 12830 11627 1 - 0.0000 -
3405.17/3414.59 c 3415 12849 11646 1 - 0.0000 -
3412.25/3421.64 c 3422 12893 11690 1 - 0.0000 -
3418.83/3428.21 c 3428 12915 11712 1 - 0.0000 -
3424.92/3434.40 c 3434 12937 11734 1 - 0.0000 -
3431.40/3440.81 c 3441 12973 11770 1 - 0.0000 -
3437.09/3446.56 c 3447 13015 11812 1 - 0.0000 -
3442.28/3451.76 c 3452 13034 11831 1 - 0.0000 -
3447.77/3457.21 c 3457 13058 11855 1 - 0.0000 -
3453.15/3462.69 c 3463 13069 11866 1 - 0.0000 -
3459.14/3468.63 c 3469 13103 11898 1 - 0.0000 -
3465.23/3474.70 c 3475 13130 11923 1 - 0.0000 -
3471.41/3480.95 c 3481 13170 11963 1 - 0.0000 -
3479.31/3488.84 c 3489 13203 11996 1 - 0.0000 -
3486.79/3496.36 c 3496 13226 12017 1 - 0.0000 -
3492.87/3502.42 c 3502 13259 12050 1 - 0.0000 -
3498.66/3508.20 c 3508 13293 12084 1 - 0.0000 -
3507.24/3516.87 c 3517 13315 12106 1 - 0.0000 -
3514.63/3524.27 c 3524 13337 12128 1 - 0.0000 -
3521.61/3531.27 c 3531 13381 12172 1 - 0.0000 -
3528.90/3538.55 c 3539 13425 12216 1 - 0.0000 -
3534.68/3544.38 c 3544 13457 12248 1 - 0.0000 -
3539.97/3549.65 c 3550 13510 12299 1 - 0.0000 -
3546.26/3555.90 c 3556 13545 12330 1 - 0.0000 -
3552.24/3561.90 c 3562 13575 12358 1 - 0.0000 -
3557.34/3567.08 c 3567 13596 12379 1 - 0.0000 -
3563.92/3573.64 c 3574 13606 12389 1 - 0.0000 -
3569.20/3578.97 c 3579 13638 12418 1 - 0.0000 -
3575.80/3585.52 c 3586 13644 12424 1 - 0.0000 -
3582.48/3592.20 c 3592 13666 12446 1 - 0.0000 -
3588.17/3597.93 c 3598 13696 12476 1 - 0.0000 -
3588.28/3598.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.28/3598.06 c Total Time : 3598.0400
3588.28/3598.06 c solving : 3598.0400
3588.28/3598.06 c presolving : 0.6438 (included in solving)
3588.28/3598.06 c B&B Tree :
3588.28/3598.06 c nodes (total) : 1
3588.28/3598.06 c Solution :
3588.28/3598.06 c Solutions found : 0
3588.28/3598.06 c Primal Bound : -
3588.28/3598.06 c Dual Bound : +0.00000000000000e+00
3588.28/3598.06 c Gap : -
3588.28/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: 64059 MiB (62529 MiB free)
memory of node 1: 64510 MiB (63567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464648-1722386371/watcher-4464648-1722386371 -o /tmp/evaluation-result-4464648-1722386371/solver-4464648-1722386371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28309 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464648-1722386371.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=32920, runsolver pid=32917
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.18 4.18 4.18 5/244 32921
/proc/meminfo: memFree=129096496/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=48500 memory=37076 CPUtime=0.1 cores=1,3
/proc/32920/stat : 32920 (fscip) R 32917 32920 28297 0 -1 4194304 6972 0 0 0 9 1 0 0 20 0 1 0 5007824 49664000 9269 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 12125 9269 2582 3035 0 8521 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48500 KiB
Current children cumulated memory: 37076 KiB
[startup+0.212479 s]*
/proc/loadavg: 4.18 4.18 4.18 5/244 32921
/proc/meminfo: memFree=129088152/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=56792 memory=45728 CPUtime=0.21 cores=1,3
/proc/32920/stat : 32920 (fscip) R 32917 32920 28297 0 -1 4194304 9848 0 0 0 19 2 0 0 20 0 1 0 5007824 58155008 11432 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 14198 11432 2678 3035 0 10594 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56792 KiB
Current children cumulated memory: 45728 KiB
[startup+0.312474 s]*
/proc/loadavg: 4.18 4.18 4.18 5/244 32921
/proc/meminfo: memFree=129087984/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=58256 memory=47276 CPUtime=0.31 cores=1,3
/proc/32920/stat : 32920 (fscip) R 32917 32920 28297 0 -1 4194304 10756 0 0 0 29 2 0 0 20 0 1 0 5007824 59654144 11819 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 14564 11819 2726 3035 0 10960 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 58256 KiB
Current children cumulated memory: 47276 KiB
[startup+0.700275 s]
/proc/loadavg: 4.18 4.18 4.18 5/244 32921
/proc/meminfo: memFree=129085320/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=59952 memory=49184 CPUtime=0.68 cores=1,3
/proc/32920/stat : 32920 (fscip) R 32917 32920 28297 0 -1 4194304 11196 0 0 0 66 2 0 0 20 0 1 0 5007824 61390848 12296 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 14988 12296 2742 3035 0 11384 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59952 KiB
Current children cumulated memory: 49184 KiB
[startup+1.50038 s]
/proc/loadavg: 4.18 4.18 4.18 5/246 32925
/proc/meminfo: memFree=129043264/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=154436 memory=111172 CPUtime=1.48 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 28589 0 0 0 142 6 0 0 20 0 3 0 5007824 158142464 27793 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 38609 27793 2950 3035 0 32446 0
[pid=32920/tid=32924] ppid=32917 vsize=154436 memory=0 CPUtime=0.72 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 13336 0 0 0 69 3 0 0 20 0 3 0 5007898 158142464 27793 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=154436 memory=11648 CPUtime=0 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5007904 158142464 27793 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 154436 KiB
Current children cumulated memory: 111172 KiB
[startup+3.11228 s]
/proc/loadavg: 4.17 4.18 4.18 5/246 32925
/proc/meminfo: memFree=128993332/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=219972 memory=141096 CPUtime=3.09 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 45563 0 0 0 301 8 0 0 20 0 3 0 5007824 225251328 35274 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 54993 35274 2966 3035 0 41451 0
[pid=32920/tid=32924] ppid=32917 vsize=219972 memory=-5155628011599063941 CPUtime=2.32 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 30304 0 0 0 228 4 0 0 20 0 3 0 5007898 225251328 35274 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=219972 memory=-5155628011599063941 CPUtime=0 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5007904 225251328 35274 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 219972 KiB
Current children cumulated memory: 141096 KiB
[startup+6.30032 s]
/proc/loadavg: 4.17 4.18 4.18 5/246 32925
/proc/meminfo: memFree=128993096/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=219972 memory=141240 CPUtime=6.27 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 56574 0 0 0 618 9 0 0 20 0 3 0 5007824 225251328 35310 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 54993 35310 2966 3035 0 41451 0
[pid=32920/tid=32924] ppid=32917 vsize=219972 memory=11648 CPUtime=5.5 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 41313 0 0 0 545 5 0 0 20 0 3 0 5007898 225251328 35310 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=219972 memory=141152 CPUtime=0 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5007904 225251328 35310 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 219972 KiB
Current children cumulated memory: 141240 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.17 4.18 5/246 32926
/proc/meminfo: memFree=128991760/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=219972 memory=141868 CPUtime=12.66 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 77299 0 0 0 1256 10 0 0 20 0 3 0 5007824 225251328 35467 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 54993 35467 2966 3035 0 41451 0
[pid=32920/tid=32924] ppid=32917 vsize=219972 memory=12800 CPUtime=11.89 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 62026 0 0 0 1183 6 0 0 20 0 3 0 5007898 225251328 35467 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=219972 memory=141036 CPUtime=0 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5007904 225251328 35467 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 219972 KiB
Current children cumulated memory: 141868 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.16 4.17 5/246 32928
/proc/meminfo: memFree=128988648/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=219972 memory=143468 CPUtime=25.42 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 100500 0 0 0 2531 11 0 0 20 0 3 0 5007824 225251328 35867 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 54993 35867 2966 3035 0 41451 0
[pid=32920/tid=32924] ppid=32917 vsize=219972 memory=141240 CPUtime=24.65 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 85219 0 0 0 2458 7 0 0 20 0 3 0 5007898 225251328 35867 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=219972 memory=73491 CPUtime=0 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5007904 225251328 35867 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 219972 KiB
Current children cumulated memory: 143468 KiB
[startup+51.1126 s]
/proc/loadavg: 4.14 4.17 4.17 5/249 32937
/proc/meminfo: memFree=128950840/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=219972 memory=167864 CPUtime=50.97 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 146546 0 0 0 5083 14 0 0 20 0 3 0 5007824 225251328 41966 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 54993 41966 2966 3035 0 48539 0
[pid=32920/tid=32924] ppid=32917 vsize=219972 memory=167864 CPUtime=50.2 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 131194 0 0 0 5010 10 0 0 20 0 3 0 5007898 225251328 41966 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=219972 memory=143628 CPUtime=0 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5007904 225251328 41966 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 219972 KiB
Current children cumulated memory: 167864 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/249 32946
/proc/meminfo: memFree=128933248/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=219972 memory=175752 CPUtime=102.04 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 178751 0 0 0 10187 17 0 0 20 0 3 0 5007824 225251328 43938 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 54993 43938 3014 3035 0 48926 0
[pid=32920/tid=32924] ppid=32917 vsize=219972 memory=175752 CPUtime=101.27 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 163353 0 0 0 10114 13 0 0 20 0 3 0 5007898 225251328 43938 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=219972 memory=175752 CPUtime=0 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5007904 225251328 43938 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 219972 KiB
Current children cumulated memory: 175752 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/249 32956
/proc/meminfo: memFree=128908876/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=219972 memory=175752 CPUtime=161.91 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 187863 0 0 0 16173 18 0 0 20 0 3 0 5007824 225251328 43938 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 54993 43938 3014 3035 0 48926 0
[pid=32920/tid=32924] ppid=32917 vsize=219972 memory=175752 CPUtime=161.14 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 172453 0 0 0 16100 14 0 0 20 0 3 0 5007898 225251328 43938 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=219972 memory=175752 CPUtime=0 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 5007904 225251328 43938 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 219972 KiB
Current children cumulated memory: 175752 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/249 32968
/proc/meminfo: memFree=128889620/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=219972 memory=175752 CPUtime=221.77 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 192439 0 0 0 22159 18 0 0 20 0 3 0 5007824 225251328 43938 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 54993 43938 3014 3035 0 48926 0
[pid=32920/tid=32924] ppid=32917 vsize=219972 memory=11648 CPUtime=221 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 177023 0 0 0 22086 14 0 0 20 0 3 0 5007898 225251328 43938 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=219972 memory=175752 CPUtime=0 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 5007904 225251328 43938 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 219972 KiB
Current children cumulated memory: 175752 KiB
################
# More data... #
################
/proc/32920/statm: 88231 70473 3030 3035 0 72919 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=280312 CPUtime=3392.04 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 364663 0 0 0 339162 42 0 0 20 0 3 0 5007898 361394176 70473 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=280964 CPUtime=0.04 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 259 0 0 0 1 3 0 0 20 0 3 0 5007904 361394176 70473 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 281892 KiB
[startup+3462.3 s]
/proc/loadavg: 1.76 2.52 3.37 2/219 34841
/proc/meminfo: memFree=129676568/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=352924 memory=283300 CPUtime=3452.85 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 382436 0 0 0 345230 55 0 0 20 0 3 0 5007824 361394176 70825 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 88231 70825 3030 3035 0 73262 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=280312 CPUtime=3451.89 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 365881 0 0 0 345147 42 0 0 20 0 3 0 5007898 361394176 70825 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=280964 CPUtime=0.05 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 261 0 0 0 1 4 0 0 20 0 3 0 5007904 361394176 70825 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 283300 KiB
[startup+3522.3 s]
/proc/loadavg: 1.39 2.27 3.23 2/219 34851
/proc/meminfo: memFree=129674844/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=352924 memory=284848 CPUtime=3512.73 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 383738 0 0 0 351217 56 0 0 20 0 3 0 5007824 361394176 71212 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 88231 71212 3030 3035 0 73586 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=11648 CPUtime=3511.76 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 367159 0 0 0 351133 43 0 0 20 0 3 0 5007898 361394176 71212 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=283332 CPUtime=0.05 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 266 0 0 0 1 4 0 0 20 0 3 0 5007904 361394176 71212 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 284848 KiB
[startup+3582.3 s]
/proc/loadavg: 1.20 2.05 3.09 2/219 34863
/proc/meminfo: memFree=129673536/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=352924 memory=285760 CPUtime=3572.6 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 384913 0 0 0 357204 56 0 0 20 0 3 0 5007824 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 88231 71440 3030 3035 0 73777 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=11648 CPUtime=3571.62 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 368315 0 0 0 357119 43 0 0 20 0 3 0 5007898 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=11768 CPUtime=0.05 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 268 0 0 0 1 4 0 0 20 0 3 0 5007904 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 285760 KiB
[startup+3598.08 s]
# the end of solver process 32920 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.78 s, system=0.575963 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.18 2.03 3.08 2/219 34863
/proc/meminfo: memFree=129673536/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=352924 memory=285760 CPUtime=3574.3 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 384913 0 0 0 357374 56 0 0 20 0 3 0 5007824 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 88231 71440 3030 3035 0 73777 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=-7019541185795547007 CPUtime=3573.33 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 368315 0 0 0 357290 43 0 0 20 0 3 0 5007898 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=-4050210904893800080 CPUtime=0.05 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 268 0 0 0 1 4 0 0 20 0 3 0 5007904 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3574.3 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 285760 KiB
[startup+3590.4 s]
/proc/loadavg: 1.17 2.01 3.07 2/219 34863
/proc/meminfo: memFree=129673564/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=352924 memory=285760 CPUtime=3580.69 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 384918 0 0 0 358012 57 0 0 20 0 3 0 5007824 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 88231 71440 3030 3035 0 73777 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=285760 CPUtime=3579.71 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 368320 0 0 0 357928 43 0 0 20 0 3 0 5007898 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=11648 CPUtime=0.05 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 268 0 0 0 1 4 0 0 20 0 3 0 5007904 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3580.69 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 285760 KiB
[startup+3593.6 s]
/proc/loadavg: 1.15 2.00 3.06 2/219 34864
/proc/meminfo: memFree=129673520/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=352924 memory=285760 CPUtime=3583.88 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 384921 0 0 0 358331 57 0 0 20 0 3 0 5007824 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 88231 71440 3030 3035 0 73777 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=15136 CPUtime=3582.9 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 368322 0 0 0 358247 43 0 0 20 0 3 0 5007898 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=285760 CPUtime=0.05 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 268 0 0 0 1 4 0 0 20 0 3 0 5007904 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3583.88 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 285760 KiB
[startup+3595.2 s]
/proc/loadavg: 1.15 2.00 3.06 2/219 34864
/proc/meminfo: memFree=129673536/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=352924 memory=285760 CPUtime=3585.48 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 384925 0 0 0 358491 57 0 0 20 0 3 0 5007824 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 88231 71440 3030 3035 0 73777 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=12800 CPUtime=3584.49 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 368326 0 0 0 358406 43 0 0 20 0 3 0 5007898 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=-7019541185795547007 CPUtime=0.05 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 268 0 0 0 1 4 0 0 20 0 3 0 5007904 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3585.48 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 285760 KiB
[startup+3596.8 s]
/proc/loadavg: 1.15 2.00 3.06 2/219 34864
/proc/meminfo: memFree=129673536/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=352924 memory=285760 CPUtime=3587.08 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 384930 0 0 0 358651 57 0 0 20 0 3 0 5007824 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 88231 71440 3030 3035 0 73777 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=12800 CPUtime=3586.09 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 368331 0 0 0 358566 43 0 0 20 0 3 0 5007898 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=285760 CPUtime=0.05 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 268 0 0 0 1 4 0 0 20 0 3 0 5007904 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 285760 KiB
[startup+3597.6 s]
/proc/loadavg: 1.15 2.00 3.06 2/219 34864
/proc/meminfo: memFree=129673536/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=352924 memory=285760 CPUtime=3587.87 cores=1,3
/proc/32920/stat : 32920 (fscip) S 32917 32920 28297 0 -1 1077936128 384931 0 0 0 358730 57 0 0 20 0 3 0 5007824 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 88231 71440 3030 3035 0 73777 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=11768 CPUtime=3586.89 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 368332 0 0 0 358646 43 0 0 20 0 3 0 5007898 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=12800 CPUtime=0.05 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 268 0 0 0 1 4 0 0 20 0 3 0 5007904 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 285760 KiB
[startup+3598 s]*
/proc/loadavg: 1.14 1.98 3.05 2/219 34864
/proc/meminfo: memFree=129673528/131655788 swapFree=131071472/131071996
[pid=32920] ppid=32917 vsize=352924 memory=285760 CPUtime=3588.28 cores=1,3
/proc/32920/stat : 32920 (fscip) R 32917 32920 28297 0 -1 1077936128 384932 0 0 0 358771 57 0 0 20 0 3 0 5007824 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
/proc/32920/statm: 88231 71440 3030 3035 0 73777 0
[pid=32920/tid=32924] ppid=32917 vsize=352924 memory=-7019541185795547007 CPUtime=3587.3 cores=1,3
/proc/32920/task/32924/stat : 32924 (fscip) R 32917 32920 28297 0 -1 4194368 368333 0 0 0 358687 43 0 0 20 0 3 0 5007898 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
[pid=32920/tid=32925] ppid=32917 vsize=352924 memory=-4050210904893800080 CPUtime=0.05 cores=1,3
/proc/32920/task/32925/stat : 32925 (fscip) S 32917 32920 28297 0 -1 1077936192 268 0 0 0 1 4 0 0 20 0 3 0 5007904 361394176 71440 134679101440 4194304 16623229 140728130102880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53989376 140728130106394 140728130106510 140728130106510 140728130113520 0
Current children cumulated CPU time: 3588.28 s
Current children cumulated vsize: 352924 KiB
Current children cumulated memory: 285760 KiB
Child status: 0
Real time (s): 3598.08
CPU time (s): 3588.36
CPU user time (s): 3587.78
CPU system time (s): 0.575963
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 352924
Max. memory (cumulated for all children) (KiB): 285760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.78
system time used= 0.575963
maximum resident set size= 285760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385468
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= 7109
involuntary context switches= 1756
# summary of solver processes directly reported to runsolver:
# pid: 32920
# total CPU time (s): 3588.36
# total CPU user time (s): 3587.78
# total CPU system time (s): 0.575963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6716 second user time and 33.7344 second system time
The end
Begin job on nodeC008 at 2024-07-31 02:39:31
IDJOB=4464648
IDBENCH=162315
IDSOLVER=3092
FILE ID=nodeC008/4464648-1722386371
RUNJOBID= nodeC008-1722378594-28309
SLURM_JOB_ID= 8249838
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round23-8.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-4464648-1722386371/watcher-4464648-1722386371 -o /tmp/evaluation-result-4464648-1722386371/solver-4464648-1722386371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28309 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464648-1722386371.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 17b9f2f8b02d6ae535b4cdc282411634
RANDOM SEED=292526229
nodeC008.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 : 3637.019
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 : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.373
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.27
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.389
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 : 6984.63
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 : 1796.050
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.27
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 : 3497.969
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 : 6984.63
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.844
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.27
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.600
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 : 6984.63
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.492
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129123948 kB
MemAvailable: 129361296 kB
Buffers: 92328 kB
Cached: 984344 kB
SwapCached: 72 kB
Active: 256124 kB
Inactive: 1852496 kB
Active(anon): 1480 kB
Inactive(anon): 1051568 kB
Active(file): 254644 kB
Inactive(file): 800928 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 28528 kB
Writeback: 12 kB
AnonPages: 1031916 kB
Mapped: 125588 kB
Shmem: 21104 kB
KReclaimable: 43612 kB
Slab: 119108 kB
SReclaimable: 43612 kB
SUnreclaim: 75496 kB
KernelStack: 3888 kB
PageTables: 11292 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 851764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 182272 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: 146248 kB
DirectMap2M: 10244096 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC008 at 2024-07-31 03:39:29