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.09/0.20 c Default LC presolving (default).
0.09/0.20 c ** Before presolving: virtualMemUsedAtLc = 165323396, getVmSize() = 125075456, SCIPgetMemUsed() = 95054997, SCIPgetMemTotal() = 99384245, SCIPgetMemExternEstim() = 65939151
0.09/0.20 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
104.10/104.49 c ** Estimated virtualMemUsedAtSolver = 180701753, getVmSize() = 240713728, SCIPgetMemUsed() = 128751711, SCIPgetMemTotal() = 205113479, SCIPgetMemExternEstim() = 65939151
104.10/104.49 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
104.10/104.49 c Original Problem :
104.10/104.49 c Problem name : instance-4441550-1721293775
104.10/104.49 c Variables : 18069 (18069 binary, 0 integer, 0 implicit integer, 0 continuous)
104.10/104.49 c Constraints : 52475
104.10/104.49 c Objective sense : minimize
104.10/104.49 c Presolved Problem :
104.10/104.49 c Variables : 12821 (12821 binary, 0 integer, 0 implicit integer, 0 continuous)
104.10/104.49 c Constraints : 13919
104.10/104.49 c Constraints : Number
104.10/104.49 c knapsack : 920
104.10/104.49 c setppc : 903
104.10/104.49 c and : 12094
104.10/104.49 c logicor : 2
104.10/104.49 c ** Instance transfer method used: 0
104.20/104.53 c ** ParaScipInstance copy increased the number of variables. **
104.20/104.57 c LC is working with racing ramp-up and with rebuilding tree after racing.
104.20/104.57 c Nodes Active
104.20/104.57 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
190.22/190.89 c 191 2 1 1 - 0.0000 -
195.40/196.06 c 196 4 3 1 - 0.0000 -
201.99/202.65 c 203 7 6 1 - 0.0000 -
208.37/209.00 c 209 11 10 1 - 0.0000 -
215.73/216.40 c 216 19 18 1 - 0.0000 -
224.71/225.47 c 225 26 25 1 - 0.0000 -
229.70/230.48 c 230 47 33 1 - 0.0000 -
234.87/235.61 c 236 72 35 1 - 0.0000 -
241.65/242.44 c 242 75 38 1 - 0.0000 -
248.13/248.97 c 249 112 63 1 - 0.0000 -
253.72/254.56 c 255 133 70 1 - 0.0000 -
259.10/259.95 c 260 168 55 1 - 0.0000 -
264.88/265.79 c 266 220 52 1 - 0.0000 -
270.28/271.13 c 271 287 50 1 - 0.0000 -
275.65/276.57 c 277 349 53 1 - 0.0000 -
281.24/282.16 c 282 400 52 1 - 0.0000 -
287.12/288.10 c 288 458 51 1 - 0.0000 -
292.69/293.68 c 294 506 50 1 - 0.0000 -
298.47/299.46 c 299 563 48 1 - 0.0000 -
303.85/304.84 c 305 617 49 1 - 0.0000 -
309.33/310.31 c 310 674 43 1 - 0.0000 -
315.01/316.05 c 316 724 51 1 - 0.0000 -
320.89/321.93 c 322 769 43 1 - 0.0000 -
326.37/327.41 c 327 836 45 1 - 0.0000 -
331.96/333.03 c 333 887 40 1 - 0.0000 -
337.43/338.56 c 339 937 36 1 - 0.0000 -
343.41/344.54 c 345 982 40 1 - 0.0000 -
349.79/350.93 c 351 986 43 1 - 0.0000 -
355.37/356.59 c 357 1032 43 1 - 0.0000 -
361.15/362.30 c 362 1068 46 1 - 0.0000 -
440.53/441.97 c 442 1078 1 1 - 0.0000 -
447.00/448.48 c 448 1081 4 1 - 0.0000 -
452.99/454.49 c 454 1085 8 1 - 0.0000 -
458.97/460.48 c 460 1089 12 1 - 0.0000 -
464.16/465.69 c 466 1105 16 1 - 0.0000 -
470.84/472.31 c 472 1112 17 1 - 0.0000 -
477.33/478.84 c 479 1128 16 1 - 0.0000 -
491.30/492.88 c 493 1129 16 1 - 0.0000 -
497.67/499.25 c 499 1149 29 1 - 0.0000 -
504.96/506.54 c 507 1150 30 1 - 0.0000 -
510.14/511.77 c 512 1185 25 1 - 0.0000 -
515.43/517.03 c 517 1198 26 1 - 0.0000 -
520.81/522.44 c 522 1200 26 1 - 0.0000 -
526.51/528.19 c 528 1227 24 1 - 0.0000 -
532.09/533.73 c 534 1228 25 1 - 0.0000 -
537.38/539.06 c 539 1272 30 1 - 0.0000 -
550.64/552.35 c 552 1278 34 1 - 0.0000 -
556.43/558.17 c 558 1300 25 1 - 0.0000 -
561.91/563.61 c 564 1304 28 1 - 0.0000 -
567.00/568.75 c 569 1323 33 1 - 0.0000 -
572.68/574.46 c 574 1376 27 1 - 0.0000 -
580.16/581.97 c 582 1385 26 1 - 0.0000 -
585.55/587.32 c 587 1394 31 1 - 0.0000 -
596.02/597.88 c 598 1408 30 1 - 0.0000 -
602.51/604.34 c 604 1436 37 1 - 0.0000 -
608.20/610.01 c 610 1461 38 1 - 0.0000 -
614.07/615.94 c 616 1493 42 1 - 0.0000 -
619.65/621.59 c 622 1521 36 1 - 0.0000 -
624.74/626.62 c 627 1546 34 1 - 0.0000 -
630.33/632.21 c 632 1582 35 1 - 0.0000 -
636.31/638.23 c 638 1618 33 1 - 0.0000 -
641.39/643.30 c 643 1636 34 1 - 0.0000 -
647.19/649.12 c 649 1663 33 1 - 0.0000 -
655.26/657.26 c 657 1680 35 1 - 0.0000 -
661.15/663.11 c 663 1715 34 1 - 0.0000 -
667.04/669.01 c 669 1728 41 1 - 0.0000 -
673.02/675.05 c 675 1753 38 1 - 0.0000 -
679.00/681.06 c 681 1792 30 1 - 0.0000 -
685.08/687.10 c 687 1820 35 1 - 0.0000 -
690.76/692.85 c 693 1868 31 1 - 0.0000 -
696.24/698.34 c 698 1908 32 1 - 0.0000 -
702.63/704.75 c 705 1930 29 1 - 0.0000 -
708.22/710.34 c 710 1977 31 1 - 0.0000 -
714.20/716.38 c 716 1989 27 1 - 0.0000 -
721.08/723.21 c 723 2020 29 1 - 0.0000 -
727.17/729.32 c 729 2069 26 1 - 0.0000 -
733.25/735.41 c 735 2111 32 1 - 0.0000 -
739.43/741.64 c 742 2136 26 1 - 0.0000 -
748.20/750.48 c 750 2148 27 1 - 0.0000 -
755.09/757.38 c 757 2195 26 1 - 0.0000 -
760.77/763.00 c 763 2207 28 1 - 0.0000 -
837.39/839.85 c 840 2209 30 1 - 0.0000 -
842.58/845.07 c 845 2213 34 1 - 0.0000 -
847.76/850.24 c 850 2235 39 1 - 0.0000 -
853.25/855.72 c 856 2243 36 1 - 0.0000 -
866.62/869.13 c 869 2253 44 1 - 0.0000 -
872.00/874.53 c 875 2307 48 1 - 0.0000 -
878.88/881.47 c 881 2341 49 1 - 0.0000 -
884.57/887.12 c 887 2392 43 1 - 0.0000 -
891.04/893.65 c 894 2411 46 1 - 0.0000 -
896.62/899.27 c 899 2458 48 1 - 0.0000 -
903.80/906.44 c 906 2491 49 1 - 0.0000 -
909.29/911.92 c 912 2544 49 1 - 0.0000 -
914.77/917.41 c 917 2592 46 1 - 0.0000 -
919.96/922.66 c 923 2629 48 1 - 0.0000 -
925.95/928.61 c 929 2675 51 1 - 0.0000 -
931.44/934.17 c 934 2724 52 1 - 0.0000 -
937.32/940.03 c 940 2768 54 1 - 0.0000 -
942.91/945.62 c 946 2814 55 1 - 0.0000 -
948.19/950.95 c 951 2872 51 1 - 0.0000 -
953.47/956.27 c 956 2919 50 1 - 0.0000 -
959.05/961.81 c 962 2966 45 1 - 0.0000 -
965.24/968.03 c 968 3011 40 1 - 0.0000 -
971.91/974.78 c 975 3044 37 1 - 0.0000 -
978.20/981.04 c 981 3078 41 1 - 0.0000 -
983.28/986.14 c 986 3091 45 1 - 0.0000 -
988.97/991.86 c 992 3149 37 1 - 0.0000 -
994.35/997.21 c 997 3190 35 1 - 0.0000 -
1000.93/1003.81 c 1004 3199 35 1 - 0.0000 -
1006.91/1009.87 c 1010 3200 36 1 - 0.0000 -
1016.49/1019.43 c 1019 3206 42 1 - 0.0000 -
1023.27/1026.23 c 1026 3231 44 1 - 0.0000 -
1028.76/1031.78 c 1032 3262 45 1 - 0.0000 -
1034.05/1037.02 c 1037 3287 45 1 - 0.0000 -
1039.33/1042.38 c 1042 3331 40 1 - 0.0000 -
1045.21/1048.23 c 1048 3345 41 1 - 0.0000 -
1050.79/1053.83 c 1054 3368 42 1 - 0.0000 -
1056.77/1059.84 c 1060 3398 48 1 - 0.0000 -
1062.75/1065.87 c 1066 3446 41 1 - 0.0000 -
1069.04/1072.13 c 1072 3490 48 1 - 0.0000 -
1074.12/1077.27 c 1077 3533 42 1 - 0.0000 -
1079.70/1082.82 c 1083 3572 48 1 - 0.0000 -
1085.18/1088.33 c 1088 3620 40 1 - 0.0000 -
1091.16/1094.37 c 1094 3654 37 1 - 0.0000 -
1096.26/1099.45 c 1099 3675 36 1 - 0.0000 -
1102.14/1105.37 c 1105 3695 38 1 - 0.0000 -
1107.93/1111.17 c 1111 3737 41 1 - 0.0000 -
1114.11/1117.39 c 1117 3760 37 1 - 0.0000 -
1252.77/1256.30 c 1256 3763 40 1 - 0.0000 -
1258.26/1261.85 c 1262 3804 40 1 - 0.0000 -
1263.74/1267.39 c 1267 3824 39 1 - 0.0000 -
1268.93/1272.58 c 1273 3830 43 1 - 0.0000 -
1275.92/1279.53 c 1280 3858 40 1 - 0.0000 -
1281.41/1285.03 c 1285 3878 47 1 - 0.0000 -
1287.89/1291.59 c 1292 3916 46 1 - 0.0000 -
1293.77/1297.43 c 1297 3931 45 1 - 0.0000 -
1299.86/1303.54 c 1304 3963 48 1 - 0.0000 -
1305.54/1309.22 c 1309 3992 45 1 - 0.0000 -
1311.53/1315.21 c 1315 4022 50 1 - 0.0000 -
1317.22/1320.94 c 1321 4063 50 1 - 0.0000 -
1322.70/1326.48 c 1326 4078 51 1 - 0.0000 -
1328.29/1332.05 c 1332 4110 51 1 - 0.0000 -
1334.06/1337.84 c 1338 4147 49 1 - 0.0000 -
1339.54/1343.37 c 1343 4171 47 1 - 0.0000 -
1345.72/1349.60 c 1350 4208 47 1 - 0.0000 -
1351.21/1355.09 c 1355 4255 46 1 - 0.0000 -
1357.09/1360.99 c 1361 4297 45 1 - 0.0000 -
1363.96/1367.81 c 1368 4311 49 1 - 0.0000 -
1369.45/1373.35 c 1373 4350 47 1 - 0.0000 -
1374.84/1378.75 c 1379 4388 49 1 - 0.0000 -
1380.52/1384.46 c 1384 4431 46 1 - 0.0000 -
1386.31/1390.27 c 1390 4474 46 1 - 0.0000 -
1392.11/1396.00 c 1396 4512 44 1 - 0.0000 -
1397.28/1401.22 c 1401 4551 44 1 - 0.0000 -
1402.37/1406.36 c 1406 4567 43 1 - 0.0000 -
1407.75/1411.74 c 1412 4589 45 1 - 0.0000 -
1413.04/1417.01 c 1417 4606 47 1 - 0.0000 -
1418.42/1422.44 c 1422 4617 47 1 - 0.0000 -
1424.01/1428.04 c 1428 4639 44 1 - 0.0000 -
1430.49/1434.59 c 1435 4653 43 1 - 0.0000 -
1436.28/1440.34 c 1440 4693 45 1 - 0.0000 -
1441.36/1445.42 c 1445 4725 46 1 - 0.0000 -
1446.54/1450.60 c 1451 4739 45 1 - 0.0000 -
1451.83/1456.00 c 1456 4787 48 1 - 0.0000 -
1457.72/1461.85 c 1462 4831 51 1 - 0.0000 -
1464.10/1468.28 c 1468 4868 41 1 - 0.0000 -
1470.99/1475.10 c 1475 4871 42 1 - 0.0000 -
1478.56/1482.77 c 1483 4891 47 1 - 0.0000 -
1484.15/1488.32 c 1488 4921 57 1 - 0.0000 -
1489.53/1493.79 c 1494 4970 55 1 - 0.0000 -
1495.02/1499.26 c 1499 5014 51 1 - 0.0000 -
1500.40/1504.69 c 1505 5061 47 1 - 0.0000 -
1505.89/1510.16 c 1510 5106 42 1 - 0.0000 -
1511.07/1515.33 c 1515 5125 41 1 - 0.0000 -
1516.45/1520.72 c 1521 5139 46 1 - 0.0000 -
1532.61/1536.92 c 1537 5141 45 1 - 0.0000 -
1538.49/1542.81 c 1543 5162 45 1 - 0.0000 -
1543.98/1548.34 c 1548 5186 42 1 - 0.0000 -
1549.86/1554.27 c 1554 5199 46 1 - 0.0000 -
1556.25/1560.64 c 1561 5211 52 1 - 0.0000 -
1563.24/1567.66 c 1568 5231 58 1 - 0.0000 -
1568.72/1573.13 c 1573 5281 53 1 - 0.0000 -
1574.50/1578.92 c 1579 5312 50 1 - 0.0000 -
1579.89/1584.34 c 1584 5321 51 1 - 0.0000 -
1585.07/1589.56 c 1590 5359 46 1 - 0.0000 -
1591.15/1595.64 c 1596 5377 46 1 - 0.0000 -
1596.35/1600.83 c 1601 5404 42 1 - 0.0000 -
1601.82/1606.34 c 1606 5435 42 1 - 0.0000 -
1606.91/1611.42 c 1611 5440 44 1 - 0.0000 -
1613.89/1618.42 c 1618 5441 43 1 - 0.0000 -
1619.49/1624.05 c 1624 5466 48 1 - 0.0000 -
1625.26/1629.89 c 1630 5506 41 1 - 0.0000 -
1632.04/1636.62 c 1637 5528 45 1 - 0.0000 -
1637.72/1642.39 c 1642 5545 47 1 - 0.0000 -
1643.41/1648.02 c 1648 5567 47 1 - 0.0000 -
1650.09/1654.70 c 1655 5598 58 1 - 0.0000 -
1656.17/1660.84 c 1661 5618 51 1 - 0.0000 -
1661.27/1665.99 c 1666 5637 49 1 - 0.0000 -
1667.05/1671.78 c 1672 5673 47 1 - 0.0000 -
1673.34/1678.08 c 1678 5681 50 1 - 0.0000 -
1680.11/1684.81 c 1685 5711 44 1 - 0.0000 -
1685.70/1690.45 c 1690 5746 45 1 - 0.0000 -
1691.78/1696.51 c 1697 5781 40 1 - 0.0000 -
1697.27/1702.06 c 1702 5793 42 1 - 0.0000 -
1702.95/1707.76 c 1708 5811 39 1 - 0.0000 -
1708.83/1713.62 c 1714 5844 37 1 - 0.0000 -
1714.32/1719.13 c 1719 5859 37 1 - 0.0000 -
1720.30/1725.13 c 1725 5871 37 1 - 0.0000 -
1726.29/1731.13 c 1731 5895 38 1 - 0.0000 -
1731.97/1736.81 c 1737 5903 43 1 - 0.0000 -
1738.16/1743.03 c 1743 5935 40 1 - 0.0000 -
1743.83/1748.74 c 1749 5963 41 1 - 0.0000 -
1750.42/1755.39 c 1755 5988 43 1 - 0.0000 -
1755.91/1760.89 c 1761 5992 45 1 - 0.0000 -
1761.59/1766.55 c 1767 6010 42 1 - 0.0000 -
1769.67/1774.60 c 1775 6012 44 1 - 0.0000 -
1774.85/1779.82 c 1780 6025 51 1 - 0.0000 -
1780.04/1785.08 c 1785 6058 48 1 - 0.0000 -
1785.42/1790.49 c 1790 6089 52 1 - 0.0000 -
1790.91/1795.91 c 1796 6129 49 1 - 0.0000 -
1796.70/1801.72 c 1802 6148 49 1 - 0.0000 -
1802.28/1807.36 c 1807 6178 53 1 - 0.0000 -
1808.46/1813.54 c 1814 6211 43 1 - 0.0000 -
1813.95/1819.06 c 1819 6234 45 1 - 0.0000 -
1819.73/1824.80 c 1825 6265 44 1 - 0.0000 -
1826.61/1831.73 c 1832 6298 45 1 - 0.0000 -
1832.70/1837.81 c 1838 6317 42 1 - 0.0000 -
1837.99/1843.11 c 1843 6344 41 1 - 0.0000 -
1843.06/1848.21 c 1848 6361 42 1 - 0.0000 -
1848.55/1853.77 c 1854 6380 42 1 - 0.0000 -
1854.23/1859.41 c 1859 6396 40 1 - 0.0000 -
1859.82/1865.02 c 1865 6426 41 1 - 0.0000 -
1865.30/1870.52 c 1871 6453 41 1 - 0.0000 -
1871.09/1876.34 c 1876 6484 39 1 - 0.0000 -
1877.37/1882.65 c 1883 6512 40 1 - 0.0000 -
1883.55/1888.82 c 1889 6539 40 1 - 0.0000 -
1890.33/1895.60 c 1896 6560 39 1 - 0.0000 -
1896.21/1901.51 c 1902 6587 38 1 - 0.0000 -
1902.00/1907.34 c 1907 6611 39 1 - 0.0000 -
1907.98/1913.30 c 1913 6632 33 1 - 0.0000 -
1913.07/1918.49 c 1918 6642 33 1 - 0.0000 -
1918.46/1923.84 c 1924 6661 33 1 - 0.0000 -
1930.93/1936.34 c 1936 6673 32 1 - 0.0000 -
1936.31/1941.75 c 1942 6709 43 1 - 0.0000 -
1945.39/1950.86 c 1951 6728 40 1 - 0.0000 -
1950.47/1955.91 c 1956 6761 42 1 - 0.0000 -
1956.06/1961.52 c 1962 6820 37 1 - 0.0000 -
1961.14/1966.63 c 1967 6857 31 1 - 0.0000 -
1967.42/1972.94 c 1973 6864 33 1 - 0.0000 -
1979.40/1984.98 c 1985 6890 40 1 - 0.0000 -
1985.28/1990.81 c 1991 6910 42 1 - 0.0000 -
1990.57/1996.16 c 1996 6944 44 1 - 0.0000 -
1996.36/2001.99 c 2002 6999 36 1 - 0.0000 -
2001.84/2007.47 c 2007 7036 40 1 - 0.0000 -
2007.72/2013.33 c 2013 7076 40 1 - 0.0000 -
2013.42/2019.00 c 2019 7107 32 1 - 0.0000 -
2019.09/2024.71 c 2025 7148 36 1 - 0.0000 -
2024.28/2029.94 c 2030 7175 33 1 - 0.0000 -
2029.56/2035.29 c 2035 7234 33 1 - 0.0000 -
2034.74/2040.42 c 2040 7262 34 1 - 0.0000 -
2041.13/2046.80 c 2047 7289 38 1 - 0.0000 -
2046.32/2052.02 c 2052 7291 40 1 - 0.0000 -
2052.19/2057.93 c 2058 7330 40 1 - 0.0000 -
2057.67/2063.40 c 2063 7373 35 1 - 0.0000 -
2063.26/2069.07 c 2069 7412 33 1 - 0.0000 -
2068.74/2074.55 c 2075 7451 39 1 - 0.0000 -
2074.02/2079.80 c 2080 7491 31 1 - 0.0000 -
2079.31/2085.10 c 2085 7528 29 1 - 0.0000 -
2166.91/2172.96 c 2173 7531 32 1 - 0.0000 -
2172.39/2178.46 c 2178 7575 37 1 - 0.0000 -
2177.89/2183.97 c 2184 7614 40 1 - 0.0000 -
2183.57/2189.64 c 2190 7655 35 1 - 0.0000 -
2190.16/2196.22 c 2196 7698 42 1 - 0.0000 -
2195.64/2201.71 c 2202 7749 41 1 - 0.0000 -
2200.63/2206.79 c 2207 7769 46 1 - 0.0000 -
2206.10/2212.22 c 2212 7814 40 1 - 0.0000 -
2212.79/2218.94 c 2219 7841 42 1 - 0.0000 -
2218.18/2224.34 c 2224 7890 49 1 - 0.0000 -
2223.67/2229.82 c 2230 7939 44 1 - 0.0000 -
2229.35/2235.57 c 2236 7987 30 1 - 0.0000 -
2234.94/2241.14 c 2241 8022 37 1 - 0.0000 -
2240.22/2246.49 c 2246 8084 49 1 - 0.0000 -
2246.30/2252.51 c 2253 8111 42 1 - 0.0000 -
2251.98/2258.29 c 2258 8164 35 1 - 0.0000 -
2257.47/2263.76 c 2264 8205 44 1 - 0.0000 -
2263.15/2269.43 c 2269 8259 37 1 - 0.0000 -
2268.94/2275.28 c 2275 8311 36 1 - 0.0000 -
2274.02/2280.35 c 2280 8329 47 1 - 0.0000 -
2279.71/2286.00 c 2286 8375 47 1 - 0.0000 -
2284.90/2291.27 c 2291 8417 34 1 - 0.0000 -
2290.38/2296.74 c 2297 8465 39 1 - 0.0000 -
2296.37/2302.73 c 2303 8514 30 1 - 0.0000 -
2302.55/2308.97 c 2309 8546 42 1 - 0.0000 -
2310.63/2317.00 c 2317 8561 46 1 - 0.0000 -
2316.51/2322.98 c 2323 8594 55 1 - 0.0000 -
2321.89/2328.34 c 2328 8648 46 1 - 0.0000 -
2327.57/2334.03 c 2334 8687 42 1 - 0.0000 -
2333.16/2339.63 c 2340 8731 46 1 - 0.0000 -
2338.74/2345.20 c 2345 8777 45 1 - 0.0000 -
2343.93/2350.44 c 2350 8827 44 1 - 0.0000 -
2349.71/2356.29 c 2356 8878 40 1 - 0.0000 -
2355.50/2362.01 c 2362 8932 45 1 - 0.0000 -
2360.88/2367.48 c 2367 8993 44 1 - 0.0000 -
2366.66/2373.27 c 2373 9042 45 1 - 0.0000 -
2372.24/2378.85 c 2379 9104 37 1 - 0.0000 -
2377.72/2384.35 c 2384 9152 41 1 - 0.0000 -
2383.10/2389.71 c 2390 9202 34 1 - 0.0000 -
2389.29/2395.97 c 2396 9221 42 1 - 0.0000 -
2395.88/2402.58 c 2403 9241 51 1 - 0.0000 -
2402.05/2408.78 c 2409 9269 59 1 - 0.0000 -
2407.45/2414.19 c 2414 9324 58 1 - 0.0000 -
2412.63/2419.31 c 2419 9354 57 1 - 0.0000 -
2418.32/2425.02 c 2425 9402 41 1 - 0.0000 -
2423.80/2430.58 c 2431 9443 42 1 - 0.0000 -
2429.19/2435.93 c 2436 9481 44 1 - 0.0000 -
2434.87/2441.68 c 2442 9522 38 1 - 0.0000 -
2440.55/2447.37 c 2447 9546 38 1 - 0.0000 -
2445.84/2452.66 c 2453 9578 38 1 - 0.0000 -
2451.92/2458.71 c 2459 9613 34 1 - 0.0000 -
2457.90/2464.74 c 2465 9644 32 1 - 0.0000 -
2463.88/2470.70 c 2471 9667 37 1 - 0.0000 -
2469.47/2476.32 c 2476 9698 38 1 - 0.0000 -
2474.86/2481.74 c 2482 9734 36 1 - 0.0000 -
2481.34/2488.23 c 2488 9768 34 1 - 0.0000 -
2486.73/2493.63 c 2494 9791 31 1 - 0.0000 -
2493.50/2500.46 c 2500 9818 33 1 - 0.0000 -
2501.98/2508.91 c 2509 9821 36 1 - 0.0000 -
2511.96/2518.96 c 2519 9831 37 1 - 0.0000 -
2517.44/2524.46 c 2524 9847 36 1 - 0.0000 -
2522.53/2529.53 c 2530 9867 40 1 - 0.0000 -
2532.80/2539.86 c 2540 9881 46 1 - 0.0000 -
2538.00/2545.04 c 2545 9930 59 1 - 0.0000 -
2544.47/2551.58 c 2552 9941 50 1 - 0.0000 -
2550.55/2557.61 c 2558 9980 49 1 - 0.0000 -
2556.33/2563.45 c 2563 10018 47 1 - 0.0000 -
2561.72/2568.83 c 2569 10064 47 1 - 0.0000 -
2567.80/2574.91 c 2575 10099 41 1 - 0.0000 -
2573.68/2580.81 c 2581 10138 44 1 - 0.0000 -
2580.46/2587.62 c 2588 10161 48 1 - 0.0000 -
2586.24/2593.49 c 2593 10212 40 1 - 0.0000 -
2592.42/2599.64 c 2600 10241 39 1 - 0.0000 -
2597.91/2605.19 c 2605 10277 41 1 - 0.0000 -
2603.99/2611.22 c 2611 10305 39 1 - 0.0000 -
2609.87/2617.13 c 2617 10331 40 1 - 0.0000 -
2615.35/2622.61 c 2623 10351 42 1 - 0.0000 -
2620.53/2627.84 c 2628 10399 40 1 - 0.0000 -
2626.61/2633.98 c 2634 10418 36 1 - 0.0000 -
2632.20/2639.54 c 2640 10447 34 1 - 0.0000 -
2637.79/2645.13 c 2645 10481 40 1 - 0.0000 -
2643.57/2650.98 c 2651 10515 39 1 - 0.0000 -
2649.15/2656.52 c 2657 10568 38 1 - 0.0000 -
2654.64/2662.07 c 2662 10590 34 1 - 0.0000 -
2660.21/2667.67 c 2668 10616 32 1 - 0.0000 -
2665.90/2673.30 c 2673 10638 35 1 - 0.0000 -
2672.59/2680.05 c 2680 10672 41 1 - 0.0000 -
2678.27/2685.77 c 2686 10722 33 1 - 0.0000 -
2683.95/2691.43 c 2691 10775 37 1 - 0.0000 -
2689.94/2697.47 c 2697 10809 36 1 - 0.0000 -
2695.52/2703.00 c 2703 10847 34 1 - 0.0000 -
2700.81/2708.40 c 2708 10870 33 1 - 0.0000 -
2734.42/2742.02 c 2742 10901 38 1 - 0.0000 -
2740.00/2747.65 c 2748 10938 41 1 - 0.0000 -
2745.58/2753.27 c 2753 11000 45 1 - 0.0000 -
2750.67/2758.34 c 2758 11048 54 1 - 0.0000 -
2756.26/2763.91 c 2764 11108 41 1 - 0.0000 -
2761.64/2769.38 c 2769 11162 40 1 - 0.0000 -
2767.53/2775.25 c 2775 11213 32 1 - 0.0000 -
2773.61/2781.31 c 2781 11216 35 1 - 0.0000 -
2779.40/2787.12 c 2787 11268 43 1 - 0.0000 -
2784.38/2792.15 c 2792 11317 42 1 - 0.0000 -
2790.16/2797.98 c 2798 11368 36 1 - 0.0000 -
2795.94/2803.72 c 2804 11412 38 1 - 0.0000 -
2801.54/2809.36 c 2809 11452 41 1 - 0.0000 -
2807.22/2815.07 c 2815 11497 40 1 - 0.0000 -
2812.50/2820.39 c 2820 11542 33 1 - 0.0000 -
2818.38/2826.29 c 2826 11570 34 1 - 0.0000 -
2827.37/2835.21 c 2835 11601 37 1 - 0.0000 -
2832.85/2840.71 c 2841 11663 45 1 - 0.0000 -
2838.33/2846.28 c 2846 11716 34 1 - 0.0000 -
2843.92/2851.89 c 2852 11746 38 1 - 0.0000 -
2849.71/2857.62 c 2858 11788 35 1 - 0.0000 -
2855.39/2863.36 c 2863 11826 35 1 - 0.0000 -
2860.98/2868.96 c 2869 11865 37 1 - 0.0000 -
2866.16/2874.19 c 2874 11899 36 1 - 0.0000 -
2872.16/2880.18 c 2880 11934 32 1 - 0.0000 -
2878.14/2886.16 c 2886 11958 38 1 - 0.0000 -
2886.81/2894.82 c 2895 11961 40 1 - 0.0000 -
2893.19/2901.25 c 2901 11971 44 1 - 0.0000 -
2898.47/2906.51 c 2907 12008 41 1 - 0.0000 -
2907.06/2915.18 c 2915 12011 44 1 - 0.0000 -
2913.05/2921.12 c 2921 12048 40 1 - 0.0000 -
2919.03/2927.13 c 2927 12069 40 1 - 0.0000 -
2924.81/2932.94 c 2933 12071 42 1 - 0.0000 -
2930.99/2939.13 c 2939 12081 49 1 - 0.0000 -
2936.38/2944.57 c 2945 12119 45 1 - 0.0000 -
2941.56/2949.79 c 2950 12143 44 1 - 0.0000 -
2947.25/2955.41 c 2955 12177 54 1 - 0.0000 -
2952.53/2960.75 c 2961 12240 39 1 - 0.0000 -
2958.12/2966.37 c 2966 12279 43 1 - 0.0000 -
2964.60/2972.81 c 2973 12342 38 1 - 0.0000 -
2969.79/2978.08 c 2978 12371 53 1 - 0.0000 -
2982.46/2990.76 c 2991 12392 43 1 - 0.0000 -
2988.04/2996.38 c 2996 12418 41 1 - 0.0000 -
2993.73/3002.00 c 3002 12453 34 1 - 0.0000 -
3000.31/3008.64 c 3009 12494 31 1 - 0.0000 -
3006.49/3014.88 c 3015 12520 32 1 - 0.0000 -
3012.28/3020.67 c 3021 12565 33 1 - 0.0000 -
3018.16/3026.50 c 3027 12593 38 1 - 0.0000 -
3023.65/3032.04 c 3032 12640 38 1 - 0.0000 -
3029.03/3037.48 c 3037 12692 38 1 - 0.0000 -
3034.72/3043.15 c 3043 12734 33 1 - 0.0000 -
3040.30/3048.79 c 3049 12767 38 1 - 0.0000 -
3046.19/3054.64 c 3055 12795 31 1 - 0.0000 -
3051.68/3060.10 c 3060 12804 38 1 - 0.0000 -
3056.96/3065.50 c 3066 12835 44 1 - 0.0000 -
3062.55/3071.10 c 3071 12872 37 1 - 0.0000 -
3068.02/3076.52 c 3077 12926 31 1 - 0.0000 -
3073.21/3081.74 c 3082 12985 33 1 - 0.0000 -
3079.00/3087.60 c 3088 13024 34 1 - 0.0000 -
3084.98/3093.56 c 3094 13049 36 1 - 0.0000 -
3090.47/3099.06 c 3099 13106 36 1 - 0.0000 -
3095.55/3104.17 c 3104 13138 40 1 - 0.0000 -
3100.84/3109.44 c 3109 13196 33 1 - 0.0000 -
3105.92/3114.53 c 3115 13219 27 1 - 0.0000 -
3111.70/3120.33 c 3120 13228 30 1 - 0.0000 -
3116.99/3125.61 c 3126 13231 33 1 - 0.0000 -
3122.57/3131.28 c 3131 13248 34 1 - 0.0000 -
3128.46/3137.12 c 3137 13306 34 1 - 0.0000 -
3133.45/3142.16 c 3142 13329 39 1 - 0.0000 -
3139.23/3147.92 c 3148 13363 43 1 - 0.0000 -
3145.21/3153.94 c 3154 13411 36 1 - 0.0000 -
3166.85/3175.70 c 3176 13458 38 1 - 0.0000 -
3172.73/3181.51 c 3182 13480 32 1 - 0.0000 -
3178.12/3186.93 c 3187 13498 36 1 - 0.0000 -
3183.70/3192.53 c 3193 13533 35 1 - 0.0000 -
3189.08/3197.95 c 3198 13556 36 1 - 0.0000 -
3194.77/3203.67 c 3204 13586 32 1 - 0.0000 -
3200.85/3209.72 c 3210 13600 39 1 - 0.0000 -
3206.53/3215.46 c 3215 13604 39 1 - 0.0000 -
3212.02/3220.98 c 3221 13638 38 1 - 0.0000 -
3217.50/3226.41 c 3226 13657 36 1 - 0.0000 -
3223.48/3232.48 c 3232 13680 38 1 - 0.0000 -
3229.07/3238.05 c 3238 13700 38 1 - 0.0000 -
3235.24/3244.26 c 3244 13715 35 1 - 0.0000 -
3241.43/3250.45 c 3250 13747 37 1 - 0.0000 -
3246.41/3255.47 c 3255 13762 44 1 - 0.0000 -
3252.20/3261.23 c 3261 13794 37 1 - 0.0000 -
3257.79/3266.88 c 3267 13819 32 1 - 0.0000 -
3263.57/3272.62 c 3273 13831 37 1 - 0.0000 -
3269.85/3278.95 c 3279 13851 38 1 - 0.0000 -
3275.33/3284.46 c 3284 13910 39 1 - 0.0000 -
3280.92/3290.03 c 3290 13951 36 1 - 0.0000 -
3287.80/3296.90 c 3297 14011 30 1 - 0.0000 -
3293.08/3302.22 c 3302 14035 32 1 - 0.0000 -
3298.76/3307.91 c 3308 14085 35 1 - 0.0000 -
3304.65/3313.82 c 3314 14132 34 1 - 0.0000 -
3310.23/3319.41 c 3319 14174 38 1 - 0.0000 -
3316.11/3325.31 c 3325 14211 33 1 - 0.0000 -
3322.19/3331.47 c 3331 14249 31 1 - 0.0000 -
3327.47/3336.78 c 3337 14302 31 1 - 0.0000 -
3333.16/3342.46 c 3342 14352 31 1 - 0.0000 -
3338.85/3348.13 c 3348 14390 32 1 - 0.0000 -
3343.93/3353.20 c 3353 14424 26 1 - 0.0000 -
3348.91/3358.23 c 3358 14452 28 1 - 0.0000 -
3354.39/3363.74 c 3364 14472 26 1 - 0.0000 -
3359.79/3369.14 c 3369 14481 32 1 - 0.0000 -
3365.17/3374.56 c 3375 14521 38 1 - 0.0000 -
3371.15/3380.53 c 3381 14566 35 1 - 0.0000 -
3376.44/3385.87 c 3386 14587 40 1 - 0.0000 -
3381.63/3391.03 c 3391 14620 30 1 - 0.0000 -
3387.11/3396.53 c 3397 14658 35 1 - 0.0000 -
3392.90/3402.34 c 3402 14699 33 1 - 0.0000 -
3398.78/3408.28 c 3408 14735 32 1 - 0.0000 -
3404.06/3413.52 c 3414 14776 33 1 - 0.0000 -
3409.95/3419.40 c 3419 14821 31 1 - 0.0000 -
3415.73/3425.23 c 3425 14858 28 1 - 0.0000 -
3421.53/3431.03 c 3431 14867 31 1 - 0.0000 -
3427.01/3436.54 c 3437 14895 30 1 - 0.0000 -
3432.09/3441.68 c 3442 14908 30 1 - 0.0000 -
3437.18/3446.74 c 3447 14920 28 1 - 0.0000 -
3443.16/3452.74 c 3453 14944 33 1 - 0.0000 -
3449.35/3458.91 c 3459 14973 33 1 - 0.0000 -
3455.03/3464.64 c 3465 15002 33 1 - 0.0000 -
3461.11/3470.71 c 3471 15039 35 1 - 0.0000 -
3466.80/3476.46 c 3476 15069 34 1 - 0.0000 -
3473.88/3483.51 c 3484 15093 41 1 - 0.0000 -
3479.77/3489.45 c 3489 15146 37 1 - 0.0000 -
3485.85/3495.57 c 3496 15198 35 1 - 0.0000 -
3491.44/3501.19 c 3501 15242 37 1 - 0.0000 -
3497.51/3507.22 c 3507 15304 30 1 - 0.0000 -
3504.20/3513.99 c 3514 15321 34 1 - 0.0000 -
3509.48/3519.23 c 3519 15359 35 1 - 0.0000 -
3514.97/3524.76 c 3525 15386 30 1 - 0.0000 -
3520.46/3530.27 c 3530 15412 32 1 - 0.0000 -
3525.45/3535.29 c 3535 15454 27 1 - 0.0000 -
3531.73/3541.53 c 3542 15485 28 1 - 0.0000 -
3537.11/3546.98 c 3547 15508 29 1 - 0.0000 -
3571.53/3581.43 c 3581 15511 29 1 - 0.0000 -
3577.12/3587.04 c 3587 15569 31 1 - 0.0000 -
3583.00/3592.92 c 3593 15611 33 1 - 0.0000 -
3588.19/3598.13 c 3598 15657 29 1 - 0.0000 -
3590.18/3600.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.18/3600.18 c Total Time : 3600.1800
3590.18/3600.18 c solving : 3600.1800
3590.18/3600.18 c presolving : 104.2961 (included in solving)
3590.18/3600.18 c B&B Tree :
3590.18/3600.18 c nodes (total) : 1
3590.18/3600.18 c Solution :
3590.18/3600.18 c Solutions found : 0
3590.18/3600.18 c Primal Bound : -
3590.18/3600.18 c Dual Bound : +0.00000000000000e+00
3590.18/3600.18 c Gap : -
3590.28/3600.29 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 (59625 MiB free)
memory of node 1: 64473 MiB (62594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441550-1721293775/watcher-4441550-1721293775 -o /tmp/evaluation-result-4441550-1721293775/solver-4441550-1721293775 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954240 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4441550-1721293775.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=954352, runsolver pid=954349
[startup+0.10029 s]*
/proc/loadavg: 1.98 1.29 1.23 5/259 954353
/proc/meminfo: memFree=125089592/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=63688 memory=51776 CPUtime=0.09 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 10887 0 0 0 8 1 0 0 20 0 1 0 181543661 65216512 12944 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 15922 12944 2318 3032 0 12322 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63688 KiB
Current children cumulated memory: 51776 KiB
[startup+0.205574 s]*
/proc/loadavg: 1.98 1.29 1.23 6/259 954353
/proc/meminfo: memFree=125004160/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=127896 memory=114844 CPUtime=0.2 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 26444 0 0 0 17 3 0 0 20 0 1 0 181543661 130965504 28711 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 31974 28711 2590 3032 0 28374 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127896 KiB
Current children cumulated memory: 114844 KiB
[startup+0.305646 s]*
/proc/loadavg: 1.98 1.29 1.23 5/259 954353
/proc/meminfo: memFree=124987916/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=149308 memory=128812 CPUtime=0.3 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 29967 0 0 0 27 3 0 0 20 0 1 0 181543661 152891392 32203 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 37327 32203 2622 3032 0 33727 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 149308 KiB
Current children cumulated memory: 128812 KiB
[startup+0.700236 s]
/proc/loadavg: 1.98 1.29 1.23 5/259 954353
/proc/meminfo: memFree=124953556/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=170788 memory=156744 CPUtime=0.68 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 38782 0 0 0 64 4 0 0 20 0 1 0 181543661 174886912 39186 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 42697 39186 2654 3032 0 39097 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 170788 KiB
Current children cumulated memory: 156744 KiB
[startup+1.50024 s]
/proc/loadavg: 1.98 1.29 1.23 5/259 954353
/proc/meminfo: memFree=124905412/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=170788 memory=156744 CPUtime=1.48 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 38782 0 0 0 144 4 0 0 20 0 1 0 181543661 174886912 39186 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 42697 39186 2654 3032 0 39097 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 170788 KiB
Current children cumulated memory: 156744 KiB
[startup+3.10557 s]
/proc/loadavg: 2.22 1.35 1.25 5/259 954353
/proc/meminfo: memFree=124846688/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=170788 memory=156744 CPUtime=3.08 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 38783 0 0 0 304 4 0 0 20 0 1 0 181543661 174886912 39186 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 42697 39186 2654 3032 0 39097 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 170788 KiB
Current children cumulated memory: 156744 KiB
[startup+6.30023 s]
/proc/loadavg: 2.22 1.35 1.25 5/259 954353
/proc/meminfo: memFree=124214392/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=199852 memory=185804 CPUtime=6.27 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 52693 0 0 0 620 7 0 0 20 0 1 0 181543661 204648448 46451 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 49963 46451 2750 3032 0 46363 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 199852 KiB
Current children cumulated memory: 185804 KiB
[startup+12.7002 s]
/proc/loadavg: 2.50 1.44 1.28 5/259 954355
/proc/meminfo: memFree=124211320/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=201836 memory=188084 CPUtime=12.65 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 53243 0 0 0 1258 7 0 0 20 0 1 0 181543661 206680064 47021 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 50459 47021 2750 3032 0 46859 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 201836 KiB
Current children cumulated memory: 188084 KiB
[startup+25.5003 s]
/proc/loadavg: 2.88 1.56 1.32 5/263 954362
/proc/meminfo: memFree=123185552/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=201984 memory=188084 CPUtime=25.42 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 53265 0 0 0 2535 7 0 0 20 0 1 0 181543661 206831616 47021 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 50496 47021 2750 3032 0 46896 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 201984 KiB
Current children cumulated memory: 188084 KiB
[startup+51.1057 s]
/proc/loadavg: 3.35 1.77 1.40 5/263 954367
/proc/meminfo: memFree=123050160/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=204244 memory=190436 CPUtime=50.95 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 53826 0 0 0 5088 7 0 0 20 0 1 0 181543661 209145856 47609 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 51061 47609 2750 3032 0 47461 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 204244 KiB
Current children cumulated memory: 190436 KiB
[startup+102.3 s]
/proc/loadavg: 3.81 2.17 1.55 5/263 954375
/proc/meminfo: memFree=122686376/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=206472 memory=192540 CPUtime=102.01 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 54392 0 0 0 10194 7 0 0 20 0 1 0 181543661 211427328 48135 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 51618 48135 2750 3032 0 48018 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 206472 KiB
Current children cumulated memory: 192540 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.52 1.72 5/264 954388
/proc/meminfo: memFree=121548212/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=650816 memory=537092 CPUtime=161.82 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 281657 0 0 0 16153 29 0 0 20 0 3 0 181543661 666435584 134273 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 162704 134273 2942 3032 0 147183 0
[pid=954352/tid=954376] ppid=954349 vsize=650816 memory=522000 CPUtime=57.57 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 218306 0 0 0 5737 20 0 0 20 0 3 0 181554111 666435584 134273 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=650816 memory=12420 CPUtime=0 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 181554119 666435584 134273 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 650816 KiB
Current children cumulated memory: 537092 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.82 1.87 5/264 954401
/proc/meminfo: memFree=121474192/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=716352 memory=607016 CPUtime=221.62 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 394467 0 0 0 22125 37 0 0 20 0 3 0 181543661 733544448 151754 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 179088 151754 2990 3032 0 165375 0
[pid=954352/tid=954376] ppid=954349 vsize=716352 memory=11664 CPUtime=117.37 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 331048 0 0 0 11708 29 0 0 20 0 3 0 181554111 733544448 151754 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=716352 memory=606364 CPUtime=0 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 181554119 733544448 151754 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 716352 KiB
Current children cumulated memory: 607016 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.05 2.01 5/262 954411
/proc/meminfo: memFree=121429864/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=782452 memory=645044 CPUtime=281.43 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 476801 0 0 0 28099 44 0 0 20 0 3 0 181543661 801230848 161261 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 195613 161261 2990 3032 0 176034 0
[pid=954352/tid=954376] ppid=954349 vsize=782452 memory=642936 CPUtime=177.17 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 413353 0 0 0 17682 35 0 0 20 0 3 0 181554111 801230848 161261 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=782452 memory=43436 CPUtime=0 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 181554119 801230848 161261 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 782452 KiB
Current children cumulated memory: 645044 KiB
[startup+342.3 s]
/proc/loadavg: 4.31 3.29 2.16 5/262 954423
/proc/meminfo: memFree=120767420/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=782452 memory=645636 CPUtime=341.22 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 522761 0 0 0 34074 48 0 0 20 0 3 0 181543661 801230848 161409 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 195613 161409 2990 3032 0 185175 0
[pid=954352/tid=954376] ppid=954349 vsize=782452 memory=43436 CPUtime=236.96 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 459288 0 0 0 23657 39 0 0 20 0 3 0 181554111 801230848 161409 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=782452 memory=645432 CPUtime=0 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 181554119 801230848 161409 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 782452 KiB
Current children cumulated memory: 645636 KiB
################
# More data... #
################
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1031272 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/263 956182
/proc/meminfo: memFree=119121784/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=1315320 memory=1043352 CPUtime=3452.74 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 2777646 0 0 0 345029 245 0 0 20 0 3 0 181543661 1346887680 260838 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 328830 260838 2990 3032 0 313445 0
[pid=954352/tid=954376] ppid=954349 vsize=1315320 memory=1006068 CPUtime=3348.32 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 2712869 0 0 0 334602 230 0 0 20 0 3 0 181554111 1346887680 260838 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=1315320 memory=11664 CPUtime=0.03 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 242 0 0 0 1 2 0 0 20 0 3 0 181554119 1346887680 260838 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1043352 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.08 5/263 956193
/proc/meminfo: memFree=119115248/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=1315320 memory=1045936 CPUtime=3512.57 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 2797507 0 0 0 351010 247 0 0 20 0 3 0 181543661 1346887680 261484 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 328830 261484 2990 3032 0 314129 0
[pid=954352/tid=954376] ppid=954349 vsize=1315320 memory=1044720 CPUtime=3408.16 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 2732707 0 0 0 340583 233 0 0 20 0 3 0 181554111 1346887680 261484 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=1315320 memory=1045644 CPUtime=0.03 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 244 0 0 0 1 2 0 0 20 0 3 0 181554119 1346887680 261484 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1045936 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/262 956203
/proc/meminfo: memFree=119109140/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=1315320 memory=1048756 CPUtime=3572.44 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 2836896 0 0 0 356994 250 0 0 20 0 3 0 181543661 1346887680 262189 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 328830 262189 2990 3032 0 314730 0
[pid=954352/tid=954376] ppid=954349 vsize=1315320 memory=2248 CPUtime=3468.01 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 2772064 0 0 0 346566 235 0 0 20 0 3 0 181554111 1346887680 262189 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=1315320 memory=11664 CPUtime=0.03 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 250 0 0 0 1 2 0 0 20 0 3 0 181554119 1346887680 262189 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1048756 KiB
[startup+3600.33 s]
# the end of solver process 954352 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.84 s, system=2.57043 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.08 5/260 956297
/proc/meminfo: memFree=123493852/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=1315320 memory=1048756 CPUtime=3574.13 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 2837903 0 0 0 357163 250 0 0 20 0 3 0 181543661 1346887680 262189 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 328830 262189 2990 3032 0 314730 0
[pid=954352/tid=954376] ppid=954349 vsize=1315320 memory=-9030957941847794364 CPUtime=3469.71 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 2773069 0 0 0 346736 235 0 0 20 0 3 0 181554111 1346887680 262189 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=1315320 memory=1540 CPUtime=0.03 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 250 0 0 0 1 2 0 0 20 0 3 0 181554119 1346887680 262189 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 3574.13 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1048756 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.08 5/262 956301
/proc/meminfo: memFree=123283252/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=1315320 memory=1048760 CPUtime=3580.51 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 2839362 0 0 0 357801 250 0 0 20 0 3 0 181543661 1346887680 262190 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 328830 262190 2990 3032 0 314730 0
[pid=954352/tid=954376] ppid=954349 vsize=1315320 memory=11664 CPUtime=3476.08 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 2774528 0 0 0 347373 235 0 0 20 0 3 0 181554111 1346887680 262190 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=1315320 memory=1048756 CPUtime=0.03 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 250 0 0 0 1 2 0 0 20 0 3 0 181554119 1346887680 262190 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 3580.51 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1048760 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.08 5/262 956349
/proc/meminfo: memFree=127283068/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=1315320 memory=1049436 CPUtime=3586.89 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 2846312 0 0 0 358438 251 0 0 20 0 3 0 181543661 1346887680 262359 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 328830 262359 2990 3032 0 314930 0
[pid=954352/tid=954376] ppid=954349 vsize=1315320 memory=1048756 CPUtime=3482.46 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 2781478 0 0 0 348010 236 0 0 20 0 3 0 181554111 1346887680 262359 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=1315320 memory=1048756 CPUtime=0.03 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 250 0 0 0 1 2 0 0 20 0 3 0 181554119 1346887680 262359 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1049436 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.12 4.08 5/262 956349
/proc/meminfo: memFree=127281948/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=1315320 memory=1049800 CPUtime=3588.48 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 2846581 0 0 0 358597 251 0 0 20 0 3 0 181543661 1346887680 262450 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 328830 262450 2990 3032 0 314930 0
[pid=954352/tid=954376] ppid=954349 vsize=1315320 memory=6720669843785531243 CPUtime=3484.06 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 2781747 0 0 0 348170 236 0 0 20 0 3 0 181554111 1346887680 262450 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=1315320 memory=1676315 CPUtime=0.03 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 250 0 0 0 1 2 0 0 20 0 3 0 181554119 1346887680 262450 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 3588.48 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1049800 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.12 4.08 5/262 956349
/proc/meminfo: memFree=127280220/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=1315320 memory=1050412 CPUtime=3589.28 cores=5,7
/proc/954352/stat : 954352 (fscip) S 954349 954352 954227 0 -1 1077936128 2846772 0 0 0 358677 251 0 0 20 0 3 0 181543661 1346887680 262603 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 328830 262603 2990 3032 0 315115 0
[pid=954352/tid=954376] ppid=954349 vsize=1315320 memory=2700 CPUtime=3484.85 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 2781938 0 0 0 348249 236 0 0 20 0 3 0 181554111 1346887680 262603 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=1315320 memory=26000 CPUtime=0.03 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 250 0 0 0 1 2 0 0 20 0 3 0 181554119 1346887680 262603 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 3589.28 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1050412 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.12 4.08 5/262 956351
/proc/meminfo: memFree=127279736/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=1315320 memory=1050412 CPUtime=3590.08 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 1077936128 2846840 0 0 0 358757 251 0 0 20 0 3 0 181543661 1346887680 262603 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 328830 262603 2990 3032 0 315115 0
[pid=954352/tid=954376] ppid=954349 vsize=1315320 memory=-6442230394554334057 CPUtime=3485.66 cores=5,7
/proc/954352/task/954376/stat : 954376 (fscip) R 954349 954352 954227 0 -1 4194368 2782007 0 0 0 348330 236 0 0 20 0 3 0 181554111 1346887680 262603 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
[pid=954352/tid=954377] ppid=954349 vsize=1315320 memory=40280 CPUtime=0.03 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 250 0 0 0 1 2 0 0 20 0 3 0 181554119 1346887680 262603 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 3590.08 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1050412 KiB
[startup+3600.2 s]
/proc/loadavg: 4.11 4.12 4.08 5/262 956351
/proc/meminfo: memFree=127279736/131524600 swapFree=131071996/131071996
[pid=954352] ppid=954349 vsize=1075808 memory=869624 CPUtime=3590.28 cores=5,7
/proc/954352/stat : 954352 (fscip) R 954349 954352 954227 0 -1 4194304 2872360 0 0 0 358775 253 0 0 20 0 2 0 181543661 1101627392 217406 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
/proc/954352/statm: 268952 217406 2990 3032 0 264199 0
[pid=954352/tid=954377] ppid=954349 vsize=1075808 memory=19524 CPUtime=0.03 cores=5,7
/proc/954352/task/954377/stat : 954377 (fscip) S 954349 954352 954227 0 -1 1077936192 250 0 0 0 1 2 0 0 20 0 2 0 181554119 1101627392 217406 134679101440 4194304 16613245 140722034941216 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29339648 140722034942996 140722034943112 140722034943112 140722034950128 0
Current children cumulated CPU time: 3590.28 s
Current children cumulated vsize: 1075808 KiB
Current children cumulated memory: 869624 KiB
[startup+3600.31 s]*
/proc/loadavg: 4.11 4.12 4.08 5/261 956351
/proc/meminfo: memFree=127902196/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3600.33
CPU time (s): 3590.41
CPU user time (s): 3587.84
CPU system time (s): 2.57043
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 1315320
Max. memory (cumulated for all children) (KiB): 1050412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.84
system time used= 2.57043
maximum resident set size= 1050412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2892288
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= 7896
involuntary context switches= 3498
# summary of solver processes directly reported to runsolver:
# pid: 954352
# total CPU time (s): 3590.41
# total CPU user time (s): 3587.84
# total CPU system time (s): 2.57043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22333 second user time and 16.5386 second system time
The end
Begin job on nodeC026 at 2024-07-18 11:09:48
IDJOB=4441550
IDBENCH=147717
IDSOLVER=3064
FILE ID=nodeC026/4441550-1721293775
RUNJOBID= nodeC026-1721293769-954240
SLURM_JOB_ID= 7542600
Free space on /tmp= 889968 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.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-4441550-1721293775/watcher-4441550-1721293775 -o /tmp/evaluation-result-4441550-1721293775/solver-4441550-1721293775 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954240 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4441550-1721293775.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= da1da2eec32162aae55ea03b18b534d2
RANDOM SEED=2019029349
nodeC026.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 : 3669.824
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.74
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 : 3671.081
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.45
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 : 3600.069
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.74
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 : 3600.101
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.45
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 : 3600.137
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.74
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 : 3672.630
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.45
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 : 3669.813
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.74
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 : 3665.136
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.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125158728 kB
MemAvailable: 125844096 kB
Buffers: 498400 kB
Cached: 1023900 kB
SwapCached: 0 kB
Active: 1012544 kB
Inactive: 4734196 kB
Active(anon): 1556 kB
Inactive(anon): 4260596 kB
Active(file): 1010988 kB
Inactive(file): 473600 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 147436 kB
Writeback: 8 kB
AnonPages: 4221400 kB
Mapped: 138928 kB
Shmem: 37720 kB
KReclaimable: 81208 kB
Slab: 192144 kB
SReclaimable: 81208 kB
SUnreclaim: 110936 kB
KernelStack: 4140 kB
PageTables: 17928 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3941208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 571392 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: 260820 kB
DirectMap2M: 27824128 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC026 at 2024-07-18 12:09:48