0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 47333376, getVmSize() = 47333376, SCIPgetMemUsed() = 21345505, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13378372
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.28/0.34 c ** Estimated virtualMemUsedAtSolver = 39806320, getVmSize() = 70656000, SCIPgetMemUsed() = 25392277, SCIPgetMemTotal() = 46331109, SCIPgetMemExternEstim() = 13378372
0.28/0.34 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.28/0.34 c Original Problem :
0.28/0.34 c Problem name : instance-4450930-1721422993
0.28/0.34 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.28/0.34 c Constraints : 9488
0.28/0.34 c Objective sense : minimize
0.28/0.34 c Presolved Problem :
0.28/0.34 c Variables : 3418 (3418 binary, 0 integer, 0 implicit integer, 0 continuous)
0.28/0.34 c Constraints : 7848
0.28/0.34 c Constraints : Number
0.28/0.34 c and : 32
0.28/0.34 c linear : 1363
0.28/0.34 c logicor : 6453
0.28/0.34 c ** Instance transfer method used: 0
0.28/0.36 c ** ParaScipInstance copy does not increase the number of variables. **
0.28/0.37 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.28/0.37 c Nodes Active
0.28/0.37 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
39.47/39.65 c 40 2 1 1 - 0.0000 -
50.55/50.74 c 51 27 26 1 - 0.0000 -
60.22/60.48 c 60 33 32 1 - 0.0000 -
65.41/65.62 c 66 36 35 1 - 0.0000 -
294.82/295.69 c 296 42 41 1 - 0.0000 -
302.40/303.26 c 303 48 47 1 - 0.0000 -
308.78/309.66 c 310 55 54 1 - 0.0000 -
315.17/316.10 c 316 58 57 1 - 0.0000 -
320.85/321.78 c 322 62 61 1 - 0.0000 -
328.33/329.27 c 329 68 67 1 - 0.0000 -
337.01/337.98 c 338 75 74 1 - 0.0000 -
346.89/347.80 c 348 82 81 1 - 0.0000 -
352.08/353.01 c 353 88 87 1 - 0.0000 -
359.85/360.86 c 361 98 97 1 - 0.0000 -
370.52/371.50 c 372 118 117 1 - 0.0000 -
377.90/378.96 c 379 125 124 1 - 0.0000 -
386.10/387.19 c 387 168 167 1 - 0.0000 -
391.68/392.74 c 393 174 173 1 - 0.0000 -
397.86/398.99 c 399 178 177 1 - 0.0000 -
406.24/407.32 c 407 182 181 1 - 0.0000 -
415.02/416.17 c 416 215 214 1 - 0.0000 -
421.10/422.23 c 422 221 220 1 - 0.0000 -
426.78/427.96 c 428 291 290 1 - 0.0000 -
432.07/433.27 c 433 298 297 1 - 0.0000 -
437.35/438.55 c 439 302 301 1 - 0.0000 -
443.64/444.82 c 445 330 329 1 - 0.0000 -
449.12/450.30 c 450 342 341 1 - 0.0000 -
455.81/457.00 c 457 358 357 1 - 0.0000 -
460.99/462.28 c 462 366 365 1 - 0.0000 -
468.37/469.68 c 470 398 397 1 - 0.0000 -
473.66/474.96 c 475 422 421 1 - 0.0000 -
480.04/481.36 c 481 442 441 1 - 0.0000 -
487.12/488.48 c 488 466 465 1 - 0.0000 -
493.81/495.13 c 495 490 489 1 - 0.0000 -
500.09/501.47 c 501 546 545 1 - 0.0000 -
509.17/510.52 c 511 550 549 1 - 0.0000 -
514.35/515.74 c 516 576 575 1 - 0.0000 -
522.83/524.26 c 524 582 581 1 - 0.0000 -
529.32/530.71 c 531 599 598 1 - 0.0000 -
534.62/536.01 c 536 611 610 1 - 0.0000 -
539.71/541.17 c 541 618 617 1 - 0.0000 -
546.98/548.46 c 548 653 652 1 - 0.0000 -
553.27/554.70 c 555 688 687 1 - 0.0000 -
563.04/564.57 c 565 700 699 1 - 0.0000 -
572.63/574.18 c 574 710 709 1 - 0.0000 -
580.41/581.98 c 582 727 726 1 - 0.0000 -
586.09/587.60 c 588 735 734 1 - 0.0000 -
591.18/592.73 c 593 776 775 1 - 0.0000 -
597.67/599.20 c 599 803 802 1 - 0.0000 -
602.76/604.37 c 604 818 817 1 - 0.0000 -
611.84/613.46 c 613 828 827 1 - 0.0000 -
616.82/618.47 c 618 833 832 1 - 0.0000 -
621.91/623.54 c 624 854 853 1 - 0.0000 -
627.10/628.72 c 629 883 882 1 - 0.0000 -
633.79/635.42 c 635 893 892 1 - 0.0000 -
642.27/643.99 c 644 923 922 1 - 0.0000 -
652.25/653.94 c 654 933 932 1 - 0.0000 -
658.04/659.71 c 660 948 947 1 - 0.0000 -
668.02/669.76 c 670 978 977 1 - 0.0000 -
675.41/677.13 c 677 988 987 1 - 0.0000 -
682.78/684.58 c 685 1013 1012 1 - 0.0000 -
688.07/689.86 c 690 1028 1027 1 - 0.0000 -
694.15/695.90 c 696 1050 0 1 - 0.0000 -
742.55/744.47 c 744 1051 1 1 - 0.0000 -
750.14/752.06 c 752 1074 24 1 - 0.0000 -
762.31/764.27 c 764 1081 31 1 - 0.0000 -
768.69/770.69 c 771 1084 34 1 - 0.0000 -
774.68/776.68 c 777 1087 37 1 - 0.0000 -
780.17/782.11 c 782 1094 44 1 - 0.0000 -
787.75/789.70 c 790 1141 91 1 - 0.0000 -
793.94/795.91 c 796 1195 145 1 - 0.0000 -
799.23/801.28 c 801 1254 204 1 - 0.0000 -
806.02/808.01 c 808 1266 216 1 - 0.0000 -
813.11/815.18 c 815 1271 221 1 - 0.0000 -
818.49/820.51 c 821 1281 231 1 - 0.0000 -
824.97/827.00 c 827 1301 251 1 - 0.0000 -
830.16/832.24 c 832 1342 292 1 - 0.0000 -
836.44/838.54 c 839 1351 301 1 - 0.0000 -
841.63/843.75 c 844 1358 308 1 - 0.0000 -
850.31/852.46 c 852 1363 313 1 - 0.0000 -
856.90/859.00 c 859 1394 344 1 - 0.0000 -
862.99/865.19 c 865 1418 368 1 - 0.0000 -
868.87/871.04 c 871 1435 385 1 - 0.0000 -
875.46/877.60 c 878 1483 433 1 - 0.0000 -
882.54/884.72 c 885 1513 463 1 - 0.0000 -
891.22/893.40 c 893 1578 528 1 - 0.0000 -
898.30/900.59 c 901 1611 561 1 - 0.0000 -
909.18/911.41 c 911 1624 574 1 - 0.0000 -
917.56/919.84 c 920 1655 605 1 - 0.0000 -
924.54/926.80 c 927 1702 652 1 - 0.0000 -
930.33/932.69 c 933 1708 658 1 - 0.0000 -
936.73/939.01 c 939 1734 684 1 - 0.0000 -
942.21/944.52 c 945 1756 706 1 - 0.0000 -
947.30/949.61 c 950 1803 753 1 - 0.0000 -
959.78/962.19 c 962 1821 771 1 - 0.0000 -
968.65/971.05 c 971 1887 837 1 - 0.0000 -
976.13/978.55 c 979 1945 893 1 - 0.0000 -
982.12/984.55 c 985 1963 909 1 - 0.0000 -
988.61/991.03 c 991 2078 1024 1 - 0.0000 -
994.49/996.93 c 997 2143 1089 1 - 0.0000 -
1000.58/1003.08 c 1003 2173 1119 1 - 0.0000 -
1006.36/1008.86 c 1009 2211 1157 1 - 0.0000 -
1012.05/1014.57 c 1015 2229 1175 1 - 0.0000 -
1018.34/1020.83 c 1021 2261 1207 1 - 0.0000 -
1025.92/1028.49 c 1028 2306 1252 1 - 0.0000 -
1031.01/1033.55 c 1034 2343 1289 1 - 0.0000 -
1036.89/1039.43 c 1039 2376 1322 1 - 0.0000 -
1042.49/1045.03 c 1045 2408 1354 1 - 0.0000 -
1047.67/1050.24 c 1050 2415 1361 1 - 0.0000 -
1052.86/1055.46 c 1055 2445 1391 1 - 0.0000 -
1060.04/1062.61 c 1063 2480 1421 1 - 0.0000 -
1065.22/1067.84 c 1068 2503 1444 1 - 0.0000 -
1071.60/1074.20 c 1074 2506 1447 1 - 0.0000 -
1078.98/1081.63 c 1082 2542 1483 1 - 0.0000 -
1084.66/1087.32 c 1087 2585 1526 1 - 0.0000 -
1089.95/1092.69 c 1093 2606 1547 1 - 0.0000 -
1095.53/1098.27 c 1098 2636 1577 1 - 0.0000 -
1101.11/1103.85 c 1104 2679 1620 1 - 0.0000 -
1106.30/1109.10 c 1109 2711 1652 1 - 0.0000 -
1114.28/1117.10 c 1117 2736 1677 1 - 0.0000 -
1119.45/1122.20 c 1122 2763 1704 1 - 0.0000 -
1124.74/1127.55 c 1128 2791 1732 1 - 0.0000 -
1129.83/1132.69 c 1133 2819 1760 1 - 0.0000 -
1135.01/1137.88 c 1138 2845 1786 1 - 0.0000 -
1142.19/1145.03 c 1145 2872 1813 1 - 0.0000 -
1147.67/1150.50 c 1151 2903 1844 1 - 0.0000 -
1152.66/1155.55 c 1156 2929 1868 1 - 0.0000 -
1160.24/1163.18 c 1163 2966 1905 1 - 0.0000 -
1166.31/1169.20 c 1169 2984 1923 1 - 0.0000 -
1171.31/1174.26 c 1174 3009 1948 1 - 0.0000 -
1177.19/1180.18 c 1180 3034 1973 1 - 0.0000 -
1183.27/1186.21 c 1186 3058 1995 1 - 0.0000 -
1188.85/1191.85 c 1192 3086 2023 1 - 0.0000 -
1195.93/1198.94 c 1199 3131 2068 1 - 0.0000 -
1202.31/1205.34 c 1205 3160 2097 1 - 0.0000 -
1211.48/1214.57 c 1215 3192 2129 1 - 0.0000 -
1216.96/1220.00 c 1220 3216 2153 1 - 0.0000 -
1223.65/1226.75 c 1227 3229 2166 1 - 0.0000 -
1230.32/1233.44 c 1233 3265 2202 1 - 0.0000 -
1235.71/1238.87 c 1239 3296 2233 1 - 0.0000 -
1241.89/1245.03 c 1245 3333 2270 1 - 0.0000 -
1249.56/1252.76 c 1253 3355 2292 1 - 0.0000 -
1255.24/1258.41 c 1258 3378 2315 1 - 0.0000 -
1262.42/1265.67 c 1266 3409 2346 1 - 0.0000 -
1268.01/1271.20 c 1271 3432 2369 1 - 0.0000 -
1277.39/1280.69 c 1281 3485 2422 1 - 0.0000 -
1283.08/1286.37 c 1286 3521 2458 1 - 0.0000 -
1288.26/1291.59 c 1292 3551 2488 1 - 0.0000 -
1294.85/1298.11 c 1298 3577 2512 1 - 0.0000 -
1300.63/1303.91 c 1304 3601 2536 1 - 0.0000 -
1306.51/1309.85 c 1310 3626 2561 1 - 0.0000 -
1311.99/1315.36 c 1315 3644 2579 1 - 0.0000 -
1317.87/1321.22 c 1321 3649 2584 1 - 0.0000 -
1323.26/1326.62 c 1327 3677 2612 1 - 0.0000 -
1329.04/1332.49 c 1332 3708 2643 1 - 0.0000 -
1335.12/1338.54 c 1339 3735 2670 1 - 0.0000 -
1340.80/1344.27 c 1344 3765 2700 1 - 0.0000 -
1346.59/1350.03 c 1350 3791 2726 1 - 0.0000 -
1354.96/1358.42 c 1358 3811 2746 1 - 0.0000 -
1360.84/1364.36 c 1364 3829 2764 1 - 0.0000 -
1366.63/1370.12 c 1370 3857 2792 1 - 0.0000 -
1372.40/1375.99 c 1376 3865 2800 1 - 0.0000 -
1377.79/1381.31 c 1381 3883 2818 1 - 0.0000 -
1384.17/1387.76 c 1388 3917 2852 1 - 0.0000 -
1389.46/1393.02 c 1393 3939 2874 1 - 0.0000 -
1395.55/1399.13 c 1399 3971 2904 1 - 0.0000 -
1402.12/1405.71 c 1406 3992 2925 1 - 0.0000 -
1410.10/1413.70 c 1414 4011 2944 1 - 0.0000 -
1415.58/1419.20 c 1419 4036 2969 1 - 0.0000 -
1421.07/1424.75 c 1425 4047 2980 1 - 0.0000 -
1426.95/1430.65 c 1431 4065 2998 1 - 0.0000 -
1432.73/1436.41 c 1436 4083 3016 1 - 0.0000 -
1438.01/1441.71 c 1442 4108 3041 1 - 0.0000 -
1445.29/1449.00 c 1449 4152 3085 1 - 0.0000 -
1452.38/1456.16 c 1456 4181 3114 1 - 0.0000 -
1457.95/1461.76 c 1462 4224 3157 1 - 0.0000 -
1463.54/1467.38 c 1467 4256 3189 1 - 0.0000 -
1469.62/1473.49 c 1473 4293 3224 1 - 0.0000 -
1475.62/1479.42 c 1479 4324 3255 1 - 0.0000 -
1480.61/1484.43 c 1484 4345 3276 1 - 0.0000 -
1487.09/1490.91 c 1491 4383 3310 1 - 0.0000 -
1493.08/1496.98 c 1497 4402 3329 1 - 0.0000 -
1501.46/1505.32 c 1505 4422 3349 1 - 0.0000 -
1506.44/1510.35 c 1510 4452 3379 1 - 0.0000 -
1511.83/1515.73 c 1516 4487 3412 1 - 0.0000 -
1517.42/1521.35 c 1521 4526 3451 1 - 0.0000 -
1522.60/1526.53 c 1527 4550 3475 1 - 0.0000 -
1527.89/1531.83 c 1532 4583 3508 1 - 0.0000 -
1534.07/1538.02 c 1538 4614 3539 1 - 0.0000 -
1540.55/1544.50 c 1544 4643 3568 1 - 0.0000 -
1545.53/1549.54 c 1550 4673 3598 1 - 0.0000 -
1551.51/1555.54 c 1556 4694 3619 1 - 0.0000 -
1557.10/1561.17 c 1561 4717 3642 1 - 0.0000 -
1562.58/1566.69 c 1567 4743 3668 1 - 0.0000 -
1568.47/1572.57 c 1573 4772 3697 1 - 0.0000 -
1573.75/1577.86 c 1578 4790 3715 1 - 0.0000 -
1579.83/1583.97 c 1584 4823 3748 1 - 0.0000 -
1586.71/1590.88 c 1591 4864 3787 1 - 0.0000 -
1591.90/1596.02 c 1596 4889 3812 1 - 0.0000 -
1597.88/1602.01 c 1602 4921 3844 1 - 0.0000 -
1609.74/1613.90 c 1614 4944 3867 1 - 0.0000 -
1615.12/1619.34 c 1619 4967 3884 1 - 0.0000 -
1620.91/1625.19 c 1625 4987 3904 1 - 0.0000 -
1626.09/1630.32 c 1630 5017 3930 1 - 0.0000 -
1633.17/1637.44 c 1637 5072 3981 1 - 0.0000 -
1639.05/1643.32 c 1643 5099 4008 1 - 0.0000 -
1644.33/1648.64 c 1649 5118 4027 1 - 0.0000 -
1650.42/1654.79 c 1655 5152 4061 1 - 0.0000 -
1656.80/1661.10 c 1661 5172 4081 1 - 0.0000 -
1662.58/1666.99 c 1667 5205 4114 1 - 0.0000 -
1669.16/1673.57 c 1674 5243 4152 1 - 0.0000 -
1676.65/1681.07 c 1681 5272 4181 1 - 0.0000 -
1681.93/1686.31 c 1686 5292 4201 1 - 0.0000 -
1687.01/1691.44 c 1691 5320 4229 1 - 0.0000 -
1692.49/1696.99 c 1697 5345 4254 1 - 0.0000 -
1699.97/1704.48 c 1704 5372 4281 1 - 0.0000 -
1705.35/1709.89 c 1710 5392 4301 1 - 0.0000 -
1710.94/1715.47 c 1715 5412 4321 1 - 0.0000 -
1717.02/1721.56 c 1722 5432 4341 1 - 0.0000 -
1722.80/1727.30 c 1727 5459 4368 1 - 0.0000 -
1727.89/1732.41 c 1732 5485 4392 1 - 0.0000 -
1733.57/1738.10 c 1738 5508 4415 1 - 0.0000 -
1739.25/1743.88 c 1744 5536 4443 1 - 0.0000 -
1745.73/1750.35 c 1750 5575 4478 1 - 0.0000 -
1751.81/1756.44 c 1756 5615 4518 1 - 0.0000 -
1757.79/1762.42 c 1762 5635 4538 1 - 0.0000 -
1763.28/1767.98 c 1768 5667 4570 1 - 0.0000 -
1771.05/1775.78 c 1776 5675 4578 1 - 0.0000 -
1776.93/1781.69 c 1782 5701 4604 1 - 0.0000 -
1783.32/1788.06 c 1788 5728 4629 1 - 0.0000 -
1789.20/1793.94 c 1794 5756 4657 1 - 0.0000 -
1794.28/1799.07 c 1799 5813 4714 1 - 0.0000 -
1800.66/1805.49 c 1805 5836 4737 1 - 0.0000 -
1805.84/1810.65 c 1811 5885 4786 1 - 0.0000 -
1811.53/1816.39 c 1816 5917 4816 1 - 0.0000 -
1816.72/1821.52 c 1822 5945 4844 1 - 0.0000 -
1822.00/1826.89 c 1827 5961 4860 1 - 0.0000 -
1828.08/1832.98 c 1833 6002 4901 1 - 0.0000 -
1833.37/1838.21 c 1838 6028 4927 1 - 0.0000 -
1839.05/1843.90 c 1844 6057 4956 1 - 0.0000 -
1847.02/1851.97 c 1852 6117 5016 1 - 0.0000 -
1852.61/1857.52 c 1858 6147 5046 1 - 0.0000 -
1857.69/1862.65 c 1863 6173 5072 1 - 0.0000 -
1864.47/1869.40 c 1869 6197 5096 1 - 0.0000 -
1869.66/1874.66 c 1875 6218 5115 1 - 0.0000 -
1876.44/1881.43 c 1881 6241 5134 1 - 0.0000 -
1882.32/1887.33 c 1887 6266 5159 1 - 0.0000 -
1888.20/1893.29 c 1893 6288 5181 1 - 0.0000 -
1893.78/1898.89 c 1899 6301 5194 1 - 0.0000 -
1898.87/1903.94 c 1904 6321 5214 1 - 0.0000 -
1904.65/1909.73 c 1910 6359 5250 1 - 0.0000 -
1910.04/1915.11 c 1915 6392 5283 1 - 0.0000 -
1915.03/1920.16 c 1920 6439 5328 1 - 0.0000 -
1921.20/1926.31 c 1926 6491 5378 1 - 0.0000 -
1927.38/1932.55 c 1933 6524 5411 1 - 0.0000 -
1932.76/1937.91 c 1938 6544 5431 1 - 0.0000 -
1938.55/1943.77 c 1944 6573 5458 1 - 0.0000 -
1947.12/1952.37 c 1952 6585 5470 1 - 0.0000 -
1952.20/1957.44 c 1957 6606 5489 1 - 0.0000 -
1957.69/1962.92 c 1963 6630 5511 1 - 0.0000 -
1963.27/1968.53 c 1969 6647 5528 1 - 0.0000 -
1969.86/1975.16 c 1975 6687 5568 1 - 0.0000 -
1979.13/1984.49 c 1984 6727 5608 1 - 0.0000 -
1984.72/1990.07 c 1990 6753 5634 1 - 0.0000 -
1990.09/1995.44 c 1995 6788 5667 1 - 0.0000 -
1995.78/2001.18 c 2001 6818 5695 1 - 0.0000 -
2001.46/2006.84 c 2007 6844 5721 1 - 0.0000 -
2007.24/2012.67 c 2013 6871 5746 1 - 0.0000 -
2013.02/2018.40 c 2018 6907 5782 1 - 0.0000 -
2018.01/2023.47 c 2023 6931 5806 1 - 0.0000 -
2023.39/2028.82 c 2029 6951 5826 1 - 0.0000 -
2028.97/2034.45 c 2034 6980 5855 1 - 0.0000 -
2035.66/2041.18 c 2041 7031 5906 1 - 0.0000 -
2042.43/2047.90 c 2048 7071 5946 1 - 0.0000 -
2048.41/2053.95 c 2054 7134 6009 1 - 0.0000 -
2054.29/2059.83 c 2060 7162 6037 1 - 0.0000 -
2060.18/2065.70 c 2066 7171 6046 1 - 0.0000 -
2065.47/2071.00 c 2071 7191 6066 1 - 0.0000 -
2070.56/2076.12 c 2076 7216 6091 1 - 0.0000 -
2075.64/2081.23 c 2081 7251 6126 1 - 0.0000 -
2081.32/2086.92 c 2087 7271 6146 1 - 0.0000 -
2086.51/2092.19 c 2092 7291 6166 1 - 0.0000 -
2092.19/2097.80 c 2098 7326 6199 1 - 0.0000 -
2097.27/2102.99 c 2103 7352 6225 1 - 0.0000 -
2103.25/2108.99 c 2109 7375 6248 1 - 0.0000 -
2109.73/2115.47 c 2115 7439 6312 1 - 0.0000 -
2115.32/2121.03 c 2121 7470 6343 1 - 0.0000 -
2120.70/2126.45 c 2126 7492 6365 1 - 0.0000 -
2126.68/2132.43 c 2132 7544 6417 1 - 0.0000 -
2278.94/2285.17 c 2285 7572 6445 1 - 0.0000 -
2289.50/2295.77 c 2296 7592 6465 1 - 0.0000 -
2297.78/2304.04 c 2304 7612 6485 1 - 0.0000 -
2303.26/2309.56 c 2310 7640 6511 1 - 0.0000 -
2312.93/2319.20 c 2319 7673 6544 1 - 0.0000 -
2318.31/2324.67 c 2325 7696 6567 1 - 0.0000 -
2325.10/2331.42 c 2331 7733 6604 1 - 0.0000 -
2332.08/2338.41 c 2338 7773 6644 1 - 0.0000 -
2338.66/2345.01 c 2345 7813 6684 1 - 0.0000 -
2344.84/2351.20 c 2351 7853 6724 1 - 0.0000 -
2349.83/2356.22 c 2356 7873 6744 1 - 0.0000 -
2355.31/2361.77 c 2362 7893 6764 1 - 0.0000 -
2361.40/2367.89 c 2368 7913 6784 1 - 0.0000 -
2366.59/2373.04 c 2373 7945 6816 1 - 0.0000 -
2373.26/2379.78 c 2380 7973 6844 1 - 0.0000 -
2378.85/2385.30 c 2385 8003 6874 1 - 0.0000 -
2384.24/2390.77 c 2391 8033 6904 1 - 0.0000 -
2390.03/2396.51 c 2397 8053 6924 1 - 0.0000 -
2396.81/2403.34 c 2403 8093 6964 1 - 0.0000 -
2401.99/2408.56 c 2409 8137 7008 1 - 0.0000 -
2407.88/2414.40 c 2414 8166 7037 1 - 0.0000 -
2413.06/2419.63 c 2420 8189 7058 1 - 0.0000 -
2420.55/2427.15 c 2427 8214 7083 1 - 0.0000 -
2426.54/2433.15 c 2433 8234 7103 1 - 0.0000 -
2432.32/2438.96 c 2439 8268 7137 1 - 0.0000 -
2438.10/2444.75 c 2445 8274 7143 1 - 0.0000 -
2443.98/2450.62 c 2451 8294 7163 1 - 0.0000 -
2449.77/2456.46 c 2456 8324 7193 1 - 0.0000 -
2455.05/2461.77 c 2462 8334 7203 1 - 0.0000 -
2461.34/2468.05 c 2468 8374 7243 1 - 0.0000 -
2466.92/2473.64 c 2474 8400 7269 1 - 0.0000 -
2473.11/2479.83 c 2480 8434 7303 1 - 0.0000 -
2478.60/2485.35 c 2485 8463 7329 1 - 0.0000 -
2486.58/2493.39 c 2493 8495 7361 1 - 0.0000 -
2493.37/2500.15 c 2500 8515 7381 1 - 0.0000 -
2498.75/2505.60 c 2506 8541 7407 1 - 0.0000 -
2506.03/2512.81 c 2513 8575 7441 1 - 0.0000 -
2511.71/2518.57 c 2519 8595 7461 1 - 0.0000 -
2517.00/2523.85 c 2524 8628 7494 1 - 0.0000 -
2524.28/2531.18 c 2531 8655 7521 1 - 0.0000 -
2529.96/2536.82 c 2537 8683 7549 1 - 0.0000 -
2535.04/2541.92 c 2542 8695 7561 1 - 0.0000 -
2540.03/2546.98 c 2547 8719 7585 1 - 0.0000 -
2545.62/2552.50 c 2553 8780 7646 1 - 0.0000 -
2552.21/2559.16 c 2559 8835 7701 1 - 0.0000 -
2558.39/2565.37 c 2565 8876 7740 1 - 0.0000 -
2565.37/2572.39 c 2572 8896 7760 1 - 0.0000 -
2570.56/2577.56 c 2578 8916 7780 1 - 0.0000 -
2576.25/2583.25 c 2583 8956 7820 1 - 0.0000 -
2582.73/2589.74 c 2590 8996 7860 1 - 0.0000 -
2588.61/2595.62 c 2596 9044 7905 1 - 0.0000 -
2595.39/2602.44 c 2602 9051 7912 1 - 0.0000 -
2601.08/2608.12 c 2608 9082 7943 1 - 0.0000 -
2606.97/2614.06 c 2614 9103 7964 1 - 0.0000 -
2612.65/2619.78 c 2620 9133 7994 1 - 0.0000 -
2618.53/2625.66 c 2626 9165 8026 1 - 0.0000 -
2625.41/2632.58 c 2633 9199 8060 1 - 0.0000 -
2631.11/2638.22 c 2638 9229 8090 1 - 0.0000 -
2636.39/2643.53 c 2644 9243 8104 1 - 0.0000 -
2644.37/2651.56 c 2652 9288 8147 1 - 0.0000 -
2649.86/2657.05 c 2657 9319 8178 1 - 0.0000 -
2655.84/2663.00 c 2663 9350 8209 1 - 0.0000 -
2660.93/2668.10 c 2668 9382 8241 1 - 0.0000 -
2666.41/2673.66 c 2674 9443 8302 1 - 0.0000 -
2672.00/2679.25 c 2679 9466 8323 1 - 0.0000 -
2677.49/2684.78 c 2685 9509 8366 1 - 0.0000 -
2683.17/2690.43 c 2690 9533 8390 1 - 0.0000 -
2690.76/2698.06 c 2698 9555 8412 1 - 0.0000 -
2698.74/2706.02 c 2706 9577 8434 1 - 0.0000 -
2704.02/2711.34 c 2711 9599 8456 1 - 0.0000 -
2709.11/2716.45 c 2716 9622 8477 1 - 0.0000 -
2716.00/2723.39 c 2723 9644 8499 1 - 0.0000 -
2724.68/2732.00 c 2732 9688 8543 1 - 0.0000 -
2734.06/2741.48 c 2741 9711 8566 1 - 0.0000 -
2739.65/2747.06 c 2747 9733 8588 1 - 0.0000 -
2745.23/2752.61 c 2753 9777 8632 1 - 0.0000 -
2750.82/2758.28 c 2758 9810 8665 1 - 0.0000 -
2756.51/2763.98 c 2764 9867 8720 1 - 0.0000 -
2762.70/2770.11 c 2770 9909 8760 1 - 0.0000 -
2768.88/2776.31 c 2776 9931 8782 1 - 0.0000 -
2774.26/2781.74 c 2782 9953 8804 1 - 0.0000 -
2779.85/2787.38 c 2787 9975 8826 1 - 0.0000 -
2787.13/2794.69 c 2795 9998 8847 1 - 0.0000 -
2792.42/2799.95 c 2800 10021 8870 1 - 0.0000 -
2798.21/2805.70 c 2806 10062 8911 1 - 0.0000 -
2803.99/2811.54 c 2812 10085 8932 1 - 0.0000 -
2809.88/2817.47 c 2817 10141 8982 1 - 0.0000 -
2815.27/2822.87 c 2823 10185 9026 1 - 0.0000 -
2821.56/2829.15 c 2829 10223 9064 1 - 0.0000 -
2828.24/2835.81 c 2836 10245 9086 1 - 0.0000 -
2833.83/2841.44 c 2841 10279 9118 1 - 0.0000 -
2839.62/2847.24 c 2847 10307 9146 1 - 0.0000 -
2849.99/2857.68 c 2858 10335 9174 1 - 0.0000 -
2855.88/2863.57 c 2864 10357 9196 1 - 0.0000 -
2861.67/2869.36 c 2869 10385 9224 1 - 0.0000 -
2867.25/2874.94 c 2875 10409 9248 1 - 0.0000 -
2874.93/2882.64 c 2883 10423 9262 1 - 0.0000 -
2882.71/2890.41 c 2890 10445 9284 1 - 0.0000 -
2888.41/2896.19 c 2896 10487 9326 1 - 0.0000 -
2894.09/2901.89 c 2902 10511 9350 1 - 0.0000 -
2899.97/2907.72 c 2908 10533 9372 1 - 0.0000 -
2905.16/2912.92 c 2913 10575 9414 1 - 0.0000 -
2910.65/2918.47 c 2918 10603 9442 1 - 0.0000 -
2916.93/2924.74 c 2925 10637 9476 1 - 0.0000 -
2922.73/2930.51 c 2931 10663 9502 1 - 0.0000 -
2928.51/2936.38 c 2936 10699 9536 1 - 0.0000 -
2934.10/2941.90 c 2942 10716 9551 1 - 0.0000 -
2939.49/2947.37 c 2947 10742 9577 1 - 0.0000 -
2944.97/2952.80 c 2953 10760 9595 1 - 0.0000 -
2950.17/2958.09 c 2958 10777 9612 1 - 0.0000 -
2956.05/2963.91 c 2964 10805 9640 1 - 0.0000 -
2961.63/2969.56 c 2970 10844 9677 1 - 0.0000 -
2968.12/2976.03 c 2976 10878 9711 1 - 0.0000 -
2974.40/2982.36 c 2982 10911 9744 1 - 0.0000 -
2981.19/2989.13 c 2989 10956 9787 1 - 0.0000 -
2986.48/2994.49 c 2994 10990 9819 1 - 0.0000 -
2992.27/3000.24 c 3000 11012 9841 1 - 0.0000 -
3002.74/3010.78 c 3011 11045 9874 1 - 0.0000 -
3008.14/3016.16 c 3016 11074 9903 1 - 0.0000 -
3013.22/3021.29 c 3021 11097 9926 1 - 0.0000 -
3019.20/3027.23 c 3027 11111 9940 1 - 0.0000 -
3024.89/3032.90 c 3033 11136 9965 1 - 0.0000 -
3032.67/3040.77 c 3041 11177 10006 1 - 0.0000 -
3038.07/3046.17 c 3046 11211 10040 1 - 0.0000 -
3044.15/3052.24 c 3052 11243 10072 1 - 0.0000 -
3050.13/3058.22 c 3058 11265 10094 1 - 0.0000 -
3055.22/3063.34 c 3063 11306 10135 1 - 0.0000 -
3061.21/3069.37 c 3069 11321 10150 1 - 0.0000 -
3067.19/3075.37 c 3075 11342 10171 1 - 0.0000 -
3075.17/3083.37 c 3083 11375 10204 1 - 0.0000 -
3084.85/3093.00 c 3093 11397 10226 1 - 0.0000 -
3090.84/3099.00 c 3099 11432 10259 1 - 0.0000 -
3096.83/3105.03 c 3105 11454 10281 1 - 0.0000 -
3103.11/3111.38 c 3111 11488 10313 1 - 0.0000 -
3108.50/3116.75 c 3117 11511 10334 1 - 0.0000 -
3114.28/3122.53 c 3123 11533 10356 1 - 0.0000 -
3119.57/3127.81 c 3128 11570 10391 1 - 0.0000 -
3125.56/3133.86 c 3134 11600 10421 1 - 0.0000 -
3130.54/3138.89 c 3139 11612 10433 1 - 0.0000 -
3135.63/3143.91 c 3144 11626 10447 1 - 0.0000 -
3143.32/3151.61 c 3152 11667 10488 1 - 0.0000 -
3150.40/3158.75 c 3159 11689 10510 1 - 0.0000 -
3157.08/3165.49 c 3165 11711 10532 1 - 0.0000 -
3163.17/3171.54 c 3172 11756 10575 1 - 0.0000 -
3168.16/3176.57 c 3177 11780 10599 1 - 0.0000 -
3173.34/3181.73 c 3182 11801 10620 1 - 0.0000 -
3179.24/3187.67 c 3188 11835 10654 1 - 0.0000 -
3187.12/3195.54 c 3196 11869 10684 1 - 0.0000 -
3192.41/3200.85 c 3201 11902 10717 1 - 0.0000 -
3199.39/3207.84 c 3208 11913 10728 1 - 0.0000 -
3207.58/3216.07 c 3216 11935 10750 1 - 0.0000 -
3214.05/3222.53 c 3223 11969 10782 1 - 0.0000 -
3219.44/3227.93 c 3228 11995 10808 1 - 0.0000 -
3224.53/3233.07 c 3233 12032 10845 1 - 0.0000 -
3229.91/3238.48 c 3238 12057 10870 1 - 0.0000 -
3235.30/3243.84 c 3244 12081 10894 1 - 0.0000 -
3240.89/3249.41 c 3249 12112 10925 1 - 0.0000 -
3248.66/3257.23 c 3257 12135 10948 1 - 0.0000 -
3255.14/3263.70 c 3264 12168 10981 1 - 0.0000 -
3261.32/3269.93 c 3270 12215 11024 1 - 0.0000 -
3267.51/3276.12 c 3276 12247 11056 1 - 0.0000 -
3272.69/3281.34 c 3281 12272 11077 1 - 0.0000 -
3279.96/3288.62 c 3289 12317 11120 1 - 0.0000 -
3288.44/3297.11 c 3297 12361 11164 1 - 0.0000 -
3296.62/3305.38 c 3305 12383 11186 1 - 0.0000 -
3302.90/3311.60 c 3312 12416 11219 1 - 0.0000 -
3308.98/3317.76 c 3318 12440 11243 1 - 0.0000 -
3314.47/3323.29 c 3323 12464 11267 1 - 0.0000 -
3320.05/3328.85 c 3329 12482 11285 1 - 0.0000 -
3325.43/3334.22 c 3334 12516 11317 1 - 0.0000 -
3330.81/3339.66 c 3340 12544 11345 1 - 0.0000 -
3337.69/3346.54 c 3347 12583 11384 1 - 0.0000 -
3343.77/3352.60 c 3353 12605 11406 1 - 0.0000 -
3349.46/3358.34 c 3358 12627 11428 1 - 0.0000 -
3356.73/3365.65 c 3366 12673 11470 1 - 0.0000 -
3363.51/3372.45 c 3372 12717 11514 1 - 0.0000 -
3370.29/3379.22 c 3379 12739 11536 1 - 0.0000 -
3376.27/3385.24 c 3385 12774 11571 1 - 0.0000 -
3381.56/3390.54 c 3391 12793 11590 1 - 0.0000 -
3388.15/3397.13 c 3397 12805 11602 1 - 0.0000 -
3393.53/3402.55 c 3403 12830 11627 1 - 0.0000 -
3399.12/3408.18 c 3408 12849 11646 1 - 0.0000 -
3406.10/3415.13 c 3415 12893 11690 1 - 0.0000 -
3412.57/3421.62 c 3422 12915 11712 1 - 0.0000 -
3418.65/3427.76 c 3428 12937 11734 1 - 0.0000 -
3425.23/3434.34 c 3434 12973 11770 1 - 0.0000 -
3431.11/3440.22 c 3440 13015 11812 1 - 0.0000 -
3436.40/3445.53 c 3446 13033 11830 1 - 0.0000 -
3441.98/3451.10 c 3451 13058 11855 1 - 0.0000 -
3447.46/3456.67 c 3457 13069 11866 1 - 0.0000 -
3453.54/3462.73 c 3463 13103 11898 1 - 0.0000 -
3458.53/3467.79 c 3468 13125 11918 1 - 0.0000 -
3464.82/3474.00 c 3474 13159 11952 1 - 0.0000 -
3474.09/3483.36 c 3483 13203 11996 1 - 0.0000 -
3481.78/3491.02 c 3491 13226 12017 1 - 0.0000 -
3487.96/3497.22 c 3497 13259 12050 1 - 0.0000 -
3493.85/3503.12 c 3503 13293 12084 1 - 0.0000 -
3502.62/3511.96 c 3512 13315 12106 1 - 0.0000 -
3510.21/3519.50 c 3520 13337 12128 1 - 0.0000 -
3517.29/3526.65 c 3527 13381 12172 1 - 0.0000 -
3524.68/3534.07 c 3534 13425 12216 1 - 0.0000 -
3530.36/3539.79 c 3540 13456 12247 1 - 0.0000 -
3536.05/3545.44 c 3545 13510 12299 1 - 0.0000 -
3541.04/3550.46 c 3550 13534 12319 1 - 0.0000 -
3546.73/3556.18 c 3556 13562 12345 1 - 0.0000 -
3552.51/3561.99 c 3562 13590 12373 1 - 0.0000 -
3560.39/3569.89 c 3570 13606 12389 1 - 0.0000 -
3565.88/3575.35 c 3575 13638 12418 1 - 0.0000 -
3572.57/3582.01 c 3582 13644 12424 1 - 0.0000 -
3579.35/3588.83 c 3589 13666 12446 1 - 0.0000 -
3585.23/3594.70 c 3595 13696 12476 1 - 0.0000 -
3590.42/3600.00 c 3600 13717 12497 0 - 0.0000 -
3590.53/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.53/3600.05 c Total Time : 3600.0600
3590.53/3600.05 c solving : 3600.0600
3590.53/3600.05 c presolving : 0.3042 (included in solving)
3590.53/3600.05 c B&B Tree :
3590.53/3600.05 c nodes (total) : 1
3590.53/3600.05 c Solution :
3590.53/3600.05 c Solutions found : 0
3590.53/3600.05 c Primal Bound : -
3590.53/3600.05 c Dual Bound : +0.00000000000000e+00
3590.53/3600.05 c Gap : -
3590.53/3600.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: 63968 MiB (62532 MiB free)
memory of node 1: 64473 MiB (62060 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450930-1721422993/watcher-4450930-1721422993 -o /tmp/evaluation-result-4450930-1721422993/solver-4450930-1721422993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028661 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450930-1721422993.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=1028708, runsolver pid=1028702
[startup+0.100589 s]*
/proc/loadavg: 3.84 4.04 4.07 6/262 1028727
/proc/meminfo: memFree=127448524/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=54824 memory=43748 CPUtime=0.1 cores=4,6
/proc/1028708/stat : 1028708 (fscip) R 1028702 1028708 1028650 0 -1 4194304 9895 0 0 0 9 1 0 0 20 0 1 0 194464226 56139776 10937 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 13706 10937 2702 3032 0 10106 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54824 KiB
Current children cumulated memory: 43748 KiB
[startup+0.216604 s]*
/proc/loadavg: 3.84 4.04 4.07 6/262 1028728
/proc/meminfo: memFree=127431124/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=59036 memory=48292 CPUtime=0.2 cores=4,6
/proc/1028708/stat : 1028708 (fscip) R 1028702 1028708 1028650 0 -1 4194304 10998 0 0 0 19 1 0 0 20 0 1 0 194464226 60452864 12073 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 14759 12073 2718 3032 0 11159 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59036 KiB
Current children cumulated memory: 48292 KiB
[startup+0.305588 s]*
/proc/loadavg: 3.84 4.04 4.07 6/264 1028730
/proc/meminfo: memFree=127393628/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=59932 memory=49084 CPUtime=0.28 cores=4,6
/proc/1028708/stat : 1028708 (fscip) R 1028702 1028708 1028650 0 -1 4194304 11190 0 0 0 27 1 0 0 20 0 1 0 194464226 61370368 12271 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 14983 12271 2718 3032 0 11383 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 59932 KiB
Current children cumulated memory: 49084 KiB
[startup+0.70022 s]
/proc/loadavg: 3.84 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127324012/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=154416 memory=111100 CPUtime=0.66 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 28588 0 0 0 62 4 0 0 20 0 3 0 194464226 158121984 27775 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 38604 27775 2926 3032 0 32428 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=154416 memory=39380 CPUtime=0.32 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 13344 0 0 0 31 1 0 0 20 0 3 0 194464261 158121984 27775 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=154416 memory=3472566934076739761 CPUtime=0 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464264 158121984 27775 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 154416 KiB
Current children cumulated memory: 111100 KiB
[startup+1.50022 s]
/proc/loadavg: 3.84 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127241600/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=219952 memory=141156 CPUtime=1.46 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 42854 0 0 0 141 5 0 0 20 0 3 0 194464226 225230848 35289 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 54988 35289 2942 3032 0 41443 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=219952 memory=3472566934076739761 CPUtime=1.11 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 27605 0 0 0 109 2 0 0 20 0 3 0 194464261 225230848 35289 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=219952 memory=0 CPUtime=0 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 194464264 225230848 35289 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 219952 KiB
Current children cumulated memory: 141156 KiB
[startup+3.10587 s]
/proc/loadavg: 3.85 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127227704/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=219952 memory=141196 CPUtime=3.06 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 46555 0 0 0 301 5 0 0 20 0 3 0 194464226 225230848 35299 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 54988 35299 2942 3032 0 41443 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=219952 memory=11648 CPUtime=2.71 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 31306 0 0 0 269 2 0 0 20 0 3 0 194464261 225230848 35299 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=219952 memory=0 CPUtime=0 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 194464264 225230848 35299 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 219952 KiB
Current children cumulated memory: 141196 KiB
[startup+6.30016 s]
/proc/loadavg: 3.85 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127215904/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=219952 memory=141204 CPUtime=6.25 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 58978 0 0 0 619 6 0 0 20 0 3 0 194464226 225230848 35301 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 54988 35301 2942 3032 0 41443 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=219952 memory=141196 CPUtime=5.9 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 43727 0 0 0 587 3 0 0 20 0 3 0 194464261 225230848 35301 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=219952 memory=141204 CPUtime=0 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 194464264 225230848 35301 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 219952 KiB
Current children cumulated memory: 141204 KiB
[startup+12.7002 s]
/proc/loadavg: 3.95 4.05 4.08 6/266 1028734
/proc/meminfo: memFree=127199688/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=219952 memory=141272 CPUtime=12.63 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 77300 0 0 0 1256 7 0 0 20 0 3 0 194464226 225230848 35318 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 54988 35318 2942 3032 0 41443 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=219952 memory=141272 CPUtime=12.29 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 62037 0 0 0 1225 4 0 0 20 0 3 0 194464261 225230848 35318 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=219952 memory=39380 CPUtime=0 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 194464264 225230848 35318 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 219952 KiB
Current children cumulated memory: 141272 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.07 4.08 6/264 1028735
/proc/meminfo: memFree=127173972/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=219952 memory=142756 CPUtime=25.41 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 102454 0 0 0 2532 9 0 0 20 0 3 0 194464226 225230848 35689 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 54988 35689 2942 3032 0 41443 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=219952 memory=11648 CPUtime=25.06 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 87170 0 0 0 2500 6 0 0 20 0 3 0 194464261 225230848 35689 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=219952 memory=164 CPUtime=0 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 194464264 225230848 35689 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 219952 KiB
Current children cumulated memory: 142756 KiB
[startup+51.1056 s]
/proc/loadavg: 4.02 4.06 4.08 6/264 1028740
/proc/meminfo: memFree=127082756/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=219952 memory=173284 CPUtime=50.95 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 151274 0 0 0 5082 13 0 0 20 0 3 0 194464226 225230848 43321 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 54988 43321 2942 3032 0 48524 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=219952 memory=171940 CPUtime=50.61 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 135916 0 0 0 5050 11 0 0 20 0 3 0 194464261 225230848 43321 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=219952 memory=171940 CPUtime=0 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 194464264 225230848 43321 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 219952 KiB
Current children cumulated memory: 173284 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.06 4.08 6/264 1028748
/proc/meminfo: memFree=126963084/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=219952 memory=175384 CPUtime=102.03 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 168158 0 0 0 10188 15 0 0 20 0 3 0 194464226 225230848 43846 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 54988 43846 2990 3032 0 48924 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=219952 memory=175384 CPUtime=101.68 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 152758 0 0 0 10156 12 0 0 20 0 3 0 194464261 225230848 43846 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=219952 memory=12952 CPUtime=0 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 194464264 225230848 43846 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 219952 KiB
Current children cumulated memory: 175384 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.08 4.08 6/263 1028759
/proc/meminfo: memFree=126821148/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=219952 memory=176404 CPUtime=161.87 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 177204 0 0 0 16172 15 0 0 20 0 3 0 194464226 225230848 44101 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 54988 44101 2990 3032 0 48924 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=219952 memory=175384 CPUtime=161.52 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 161791 0 0 0 16140 12 0 0 20 0 3 0 194464261 225230848 44101 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=219952 memory=11648 CPUtime=0 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 194464264 225230848 44101 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 219952 KiB
Current children cumulated memory: 176404 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.08 6/263 1028769
/proc/meminfo: memFree=126683416/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=219952 memory=179296 CPUtime=221.71 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 184483 0 0 0 22156 15 0 0 20 0 3 0 194464226 225230848 44824 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 54988 44824 2990 3032 0 48924 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=219952 memory=2280 CPUtime=221.36 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 169059 0 0 0 22124 12 0 0 20 0 3 0 194464261 225230848 44824 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=219952 memory=178160 CPUtime=0 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 194464264 225230848 44824 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
################
# More data... #
################
/proc/1028708/statm: 88377 69393 2990 3032 0 73127 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=5432 CPUtime=3392.85 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 271423 0 0 0 339239 46 0 0 20 0 3 0 194464261 361992192 69393 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=277448 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 270 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 69393 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 277572 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.11 6/264 1030555
/proc/meminfo: memFree=121817912/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=353508 memory=279176 CPUtime=3453.14 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 290333 0 0 0 345260 54 0 0 20 0 3 0 194464226 361992192 69794 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 88377 69794 2990 3032 0 73603 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=5432 CPUtime=3452.67 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 273789 0 0 0 345220 47 0 0 20 0 3 0 194464261 361992192 69794 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=11648 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 272 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 69794 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 279176 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.11 6/264 1030566
/proc/meminfo: memFree=121766468/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=353508 memory=280116 CPUtime=3513 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 292531 0 0 0 351245 55 0 0 20 0 3 0 194464226 361992192 70029 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 88377 70029 2990 3032 0 73823 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=46060 CPUtime=3512.52 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 275965 0 0 0 351205 47 0 0 20 0 3 0 194464261 361992192 70029 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=15996 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 274 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 70029 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 280116 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.11 6/263 1030576
/proc/meminfo: memFree=121707452/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=353508 memory=281044 CPUtime=3572.86 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 294635 0 0 0 357230 56 0 0 20 0 3 0 194464226 361992192 70261 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 88377 70261 2990 3032 0 73982 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=281044 CPUtime=3572.38 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 278045 0 0 0 357190 48 0 0 20 0 3 0 194464261 361992192 70261 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=11648 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 276 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 70261 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 281044 KiB
[startup+3600.08 s]
# the end of solver process 1028708 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.03 s, system=0.578626 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.11 6/263 1030576
/proc/meminfo: memFree=121706424/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=353508 memory=281044 CPUtime=3574.56 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 294646 0 0 0 357400 56 0 0 20 0 3 0 194464226 361992192 70261 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 88377 70261 2990 3032 0 73982 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=-6879105243540655716 CPUtime=3574.08 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 278056 0 0 0 357360 48 0 0 20 0 3 0 194464261 361992192 70261 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=1401629516542861370 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 276 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 70261 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3574.56 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 281044 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.10 6/263 1030577
/proc/meminfo: memFree=121699872/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=353508 memory=281044 CPUtime=3580.94 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 295441 0 0 0 358038 56 0 0 20 0 3 0 194464226 361992192 70261 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 88377 70261 2990 3032 0 73982 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=281044 CPUtime=3580.46 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 278851 0 0 0 357998 48 0 0 20 0 3 0 194464261 361992192 70261 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=281044 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 276 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 70261 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3580.94 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 281044 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.10 6/263 1030579
/proc/meminfo: memFree=121693804/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=353508 memory=281056 CPUtime=3587.33 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 296255 0 0 0 358677 56 0 0 20 0 3 0 194464226 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 88377 70264 2990 3032 0 73985 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=281044 CPUtime=3586.85 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 279647 0 0 0 358637 48 0 0 20 0 3 0 194464261 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=2280 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 278 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3587.33 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 281056 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.11 4.11 6/263 1030579
/proc/meminfo: memFree=121691752/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=353508 memory=281056 CPUtime=3588.92 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 296256 0 0 0 358836 56 0 0 20 0 3 0 194464226 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 88377 70264 2990 3032 0 73985 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=46060 CPUtime=3588.44 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 279648 0 0 0 358796 48 0 0 20 0 3 0 194464261 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=281056 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 278 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3588.92 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 281056 KiB
[startup+3599.2 s]
/proc/loadavg: 4.15 4.11 4.11 6/263 1030579
/proc/meminfo: memFree=121691108/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=353508 memory=281056 CPUtime=3589.72 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 296273 0 0 0 358916 56 0 0 20 0 3 0 194464226 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 88377 70264 2990 3032 0 73989 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=281056 CPUtime=3589.24 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 279665 0 0 0 358876 48 0 0 20 0 3 0 194464261 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=15996 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 278 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3589.72 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 281056 KiB
[startup+3599.6 s]
/proc/loadavg: 4.15 4.11 4.11 6/263 1030579
/proc/meminfo: memFree=121691108/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=353508 memory=281056 CPUtime=3590.12 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 296277 0 0 0 358956 56 0 0 20 0 3 0 194464226 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 88377 70264 2990 3032 0 73989 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=46060 CPUtime=3589.64 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 279669 0 0 0 358916 48 0 0 20 0 3 0 194464261 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=-6879105243423346276 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 278 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 70264 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3590.12 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 281056 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.11 4.11 6/263 1030579
/proc/meminfo: memFree=121690224/131524600 swapFree=131070704/131071996
[pid=1028708] ppid=1028702 vsize=353508 memory=281072 CPUtime=3590.53 cores=4,6
/proc/1028708/stat : 1028708 (fscip) S 1028702 1028708 1028650 0 -1 1077936128 296433 0 0 0 358997 56 0 0 20 0 3 0 194464226 361992192 70268 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
/proc/1028708/statm: 88377 70268 2990 3032 0 73989 0
[pid=1028708/tid=1028731] ppid=1028702 vsize=353508 memory=-6879105243540655716 CPUtime=3590.04 cores=4,6
/proc/1028708/task/1028731/stat : 1028731 (fscip) R 1028702 1028708 1028650 0 -1 4194368 279823 0 0 0 358956 48 0 0 20 0 3 0 194464261 361992192 70268 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
[pid=1028708/tid=1028732] ppid=1028702 vsize=353508 memory=1401629516542861370 CPUtime=0.02 cores=4,6
/proc/1028708/task/1028732/stat : 1028732 (fscip) S 1028702 1028708 1028650 0 -1 1077936192 278 0 0 0 1 1 0 0 20 0 3 0 194464264 361992192 70268 134679101440 4194304 16613245 140732039344752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25833472 140732039349267 140732039349383 140732039349383 140732039356400 0
Current children cumulated CPU time: 3590.53 s
Current children cumulated vsize: 353508 KiB
Current children cumulated memory: 281072 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3590.61
CPU user time (s): 3590.03
CPU system time (s): 0.578626
CPU usage (%): 99.7371
Max. virtual memory (cumulated for all children) (KiB): 353508
Max. memory (cumulated for all children) (KiB): 281072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.03
system time used= 0.578626
maximum resident set size= 281072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304008
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= 7049
involuntary context switches= 1993
# summary of solver processes directly reported to runsolver:
# pid: 1028708
# total CPU time (s): 3590.61
# total CPU user time (s): 3590.03
# total CPU system time (s): 0.578626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87407 second user time and 16.307 second system time
The end
Begin job on nodeC023 at 2024-07-19 23:03:25
IDJOB=4450930
IDBENCH=162315
IDSOLVER=3064
FILE ID=nodeC023/4450930-1721422993
RUNJOBID= nodeC023-1721423005-1028661
SLURM_JOB_ID= 7545608
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4450930-1721422993/watcher-4450930-1721422993 -o /tmp/evaluation-result-4450930-1721422993/solver-4450930-1721422993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028661 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450930-1721422993.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 17b9f2f8b02d6ae535b4cdc282411634
RANDOM SEED=403335192
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3657.697
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3633.154
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3609.951
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3709.378
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3614.753
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3724.088
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3751.125
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3631.600
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127585712 kB
MemAvailable: 129748668 kB
Buffers: 557372 kB
Cached: 2441896 kB
SwapCached: 80 kB
Active: 1182592 kB
Inactive: 2189100 kB
Active(anon): 1480 kB
Inactive(anon): 416668 kB
Active(file): 1181112 kB
Inactive(file): 1772432 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 113252 kB
Writeback: 0 kB
AnonPages: 372000 kB
Mapped: 105924 kB
Shmem: 45728 kB
KReclaimable: 98472 kB
Slab: 192208 kB
SReclaimable: 98472 kB
SUnreclaim: 93736 kB
KernelStack: 3888 kB
PageTables: 9484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 777432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC023 at 2024-07-20 00:03:25