0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.08 c Default LC presolving (default).
0.00/0.08 c ** Before presolving: virtualMemUsedAtLc = 47009792, getVmSize() = 47009792, SCIPgetMemUsed() = 20007544, SCIPgetMemTotal() = 24954736, SCIPgetMemExternEstim() = 10741287
0.00/0.08 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
8.65/8.76 c ** Estimated virtualMemUsedAtSolver = 72873836, getVmSize() = 123166720, SCIPgetMemUsed() = 69408179, SCIPgetMemTotal() = 98569467, SCIPgetMemExternEstim() = 10741287
8.65/8.76 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
8.65/8.76 c Original Problem :
8.65/8.76 c Problem name : instance-4464476-1722385793
8.65/8.76 c Variables : 5508 (5508 binary, 0 integer, 0 implicit integer, 0 continuous)
8.65/8.76 c Constraints : 5672
8.65/8.76 c Objective sense : minimize
8.65/8.76 c Presolved Problem :
8.65/8.76 c Variables : 4773 (4773 binary, 0 integer, 0 implicit integer, 0 continuous)
8.65/8.76 c Constraints : 4920
8.65/8.76 c Constraints : Number
8.65/8.76 c knapsack : 1
8.65/8.76 c setppc : 1052
8.65/8.76 c orbitope : 3
8.65/8.76 c logicor : 3864
8.65/8.76 c ** Instance transfer method used: 0
8.65/8.77 c ** ParaScipInstance copy increased the number of variables. **
8.75/8.80 c LC is working with racing ramp-up and with rebuilding tree after racing.
8.75/8.80 c Nodes Active
8.75/8.80 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
96.11/96.48 c 96 2 1 1 - 0.0000 -
102.80/103.13 c 103 7 6 1 - 0.0000 -
108.37/108.78 c 109 13 12 1 - 0.0000 -
113.67/114.08 c 114 21 16 1 - 0.0000 -
118.94/119.34 c 119 34 15 1 - 0.0000 -
124.33/124.74 c 125 46 15 1 - 0.0000 -
130.31/130.80 c 131 59 16 1 - 0.0000 -
136.39/136.88 c 137 71 16 1 - 0.0000 -
142.47/142.91 c 143 82 17 1 - 0.0000 -
148.46/148.93 c 149 84 17 1 - 0.0000 -
155.03/155.57 c 156 111 20 1 - 0.0000 -
160.62/161.17 c 161 126 18 1 - 0.0000 -
166.39/166.93 c 167 139 19 1 - 0.0000 -
172.77/173.39 c 173 143 19 1 - 0.0000 -
177.85/178.40 c 178 144 20 1 - 0.0000 -
183.53/184.13 c 184 153 21 1 - 0.0000 -
190.40/191.09 c 191 163 21 1 - 0.0000 -
195.97/196.62 c 197 170 22 1 - 0.0000 -
201.55/202.21 c 202 181 25 1 - 0.0000 -
208.84/209.55 c 210 193 23 1 - 0.0000 -
214.02/214.74 c 215 196 22 1 - 0.0000 -
220.10/220.83 c 221 211 23 1 - 0.0000 -
226.87/227.62 c 228 226 24 1 - 0.0000 -
233.37/234.19 c 234 235 23 1 - 0.0000 -
239.13/239.92 c 240 250 22 1 - 0.0000 -
245.22/246.02 c 246 257 19 1 - 0.0000 -
250.99/251.86 c 252 264 20 1 - 0.0000 -
257.07/257.97 c 258 272 24 1 - 0.0000 -
262.35/263.27 c 263 277 23 1 - 0.0000 -
269.23/270.12 c 270 286 26 1 - 0.0000 -
274.41/275.34 c 275 291 25 1 - 0.0000 -
279.69/280.67 c 281 296 28 1 - 0.0000 -
284.86/285.86 c 286 314 26 1 - 0.0000 -
290.25/291.25 c 291 324 28 1 - 0.0000 -
296.04/297.06 c 297 332 28 1 - 0.0000 -
301.31/302.33 c 302 340 26 1 - 0.0000 -
307.10/308.19 c 308 349 29 1 - 0.0000 -
312.98/314.03 c 314 354 28 1 - 0.0000 -
317.97/319.05 c 319 368 30 1 - 0.0000 -
323.34/324.49 c 324 377 31 1 - 0.0000 -
330.71/331.81 c 332 392 26 1 - 0.0000 -
336.09/337.25 c 337 398 26 1 - 0.0000 -
341.18/342.36 c 342 406 28 1 - 0.0000 -
346.16/347.40 c 347 413 27 1 - 0.0000 -
351.44/352.69 c 353 416 26 1 - 0.0000 -
359.02/360.27 c 360 424 26 1 - 0.0000 -
365.39/366.60 c 367 438 26 1 - 0.0000 -
370.67/371.95 c 372 448 22 1 - 0.0000 -
377.14/378.41 c 378 456 22 1 - 0.0000 -
382.23/383.59 c 384 459 25 1 - 0.0000 -
387.61/388.93 c 389 462 26 1 - 0.0000 -
393.19/394.58 c 395 470 34 1 - 0.0000 -
399.06/400.43 c 400 481 31 1 - 0.0000 -
404.45/405.85 c 406 492 32 1 - 0.0000 -
411.32/412.71 c 413 499 31 1 - 0.0000 -
416.31/417.74 c 418 506 36 1 - 0.0000 -
422.38/423.84 c 424 520 36 1 - 0.0000 -
427.46/428.98 c 429 528 34 1 - 0.0000 -
432.94/434.47 c 434 537 33 1 - 0.0000 -
439.22/440.72 c 441 552 32 1 - 0.0000 -
447.29/448.81 c 449 556 34 1 - 0.0000 -
453.67/455.25 c 455 559 33 1 - 0.0000 -
458.66/460.29 c 460 563 37 1 - 0.0000 -
464.34/465.97 c 466 569 35 1 - 0.0000 -
470.12/471.76 c 472 579 37 1 - 0.0000 -
476.41/478.02 c 478 585 37 1 - 0.0000 -
481.98/483.67 c 484 590 40 1 - 0.0000 -
488.47/490.14 c 490 599 43 1 - 0.0000 -
494.74/496.49 c 496 614 42 1 - 0.0000 -
501.21/502.90 c 503 631 43 1 - 0.0000 -
507.49/509.24 c 509 642 44 1 - 0.0000 -
513.17/514.90 c 515 653 43 1 - 0.0000 -
519.05/520.81 c 521 664 44 1 - 0.0000 -
524.34/526.18 c 526 673 45 1 - 0.0000 -
529.70/531.59 c 532 687 45 1 - 0.0000 -
535.69/537.53 c 538 701 45 1 - 0.0000 -
541.07/542.93 c 543 711 47 1 - 0.0000 -
547.05/548.99 c 549 722 44 1 - 0.0000 -
552.92/554.83 c 555 732 42 1 - 0.0000 -
558.12/560.04 c 560 743 43 1 - 0.0000 -
563.58/565.52 c 566 749 41 1 - 0.0000 -
569.47/571.47 c 571 759 43 1 - 0.0000 -
575.45/577.46 c 577 775 47 1 - 0.0000 -
580.93/582.98 c 583 793 45 1 - 0.0000 -
586.41/588.40 c 588 811 45 1 - 0.0000 -
592.29/594.39 c 594 823 47 1 - 0.0000 -
598.47/600.51 c 601 844 46 1 - 0.0000 -
604.65/606.77 c 607 860 48 1 - 0.0000 -
610.83/612.94 c 613 884 46 1 - 0.0000 -
616.61/618.71 c 619 899 45 1 - 0.0000 -
621.59/623.79 c 624 914 44 1 - 0.0000 -
626.68/628.85 c 629 922 44 1 - 0.0000 -
633.26/635.49 c 635 931 45 1 - 0.0000 -
639.13/641.31 c 641 939 45 1 - 0.0000 -
644.61/646.82 c 647 948 46 1 - 0.0000 -
649.69/651.90 c 652 960 46 1 - 0.0000 -
654.89/657.17 c 657 972 46 1 - 0.0000 -
661.86/664.17 c 664 982 44 1 - 0.0000 -
668.43/670.73 c 671 994 48 1 - 0.0000 -
674.31/676.61 c 677 1012 48 1 - 0.0000 -
681.18/683.59 c 684 1020 50 1 - 0.0000 -
687.06/689.48 c 689 1031 49 1 - 0.0000 -
692.44/694.87 c 695 1038 50 1 - 0.0000 -
697.63/700.04 c 700 1043 49 1 - 0.0000 -
704.10/706.51 c 707 1052 48 1 - 0.0000 -
709.29/711.76 c 712 1063 49 1 - 0.0000 -
714.87/717.38 c 717 1076 48 1 - 0.0000 -
720.45/722.94 c 723 1085 49 1 - 0.0000 -
725.54/728.07 c 728 1094 48 1 - 0.0000 -
730.81/733.33 c 733 1102 48 1 - 0.0000 -
736.09/738.63 c 739 1108 48 1 - 0.0000 -
741.37/744.00 c 744 1125 47 1 - 0.0000 -
747.35/749.93 c 750 1138 50 1 - 0.0000 -
753.44/756.08 c 756 1148 48 1 - 0.0000 -
758.91/761.55 c 762 1162 48 1 - 0.0000 -
764.79/767.47 c 767 1170 48 1 - 0.0000 -
771.26/773.95 c 774 1185 47 1 - 0.0000 -
777.64/780.35 c 780 1194 48 1 - 0.0000 -
783.62/786.38 c 786 1209 47 1 - 0.0000 -
789.50/792.24 c 792 1219 47 1 - 0.0000 -
794.78/797.58 c 798 1224 46 1 - 0.0000 -
800.06/802.87 c 803 1235 43 1 - 0.0000 -
805.74/808.55 c 809 1249 43 1 - 0.0000 -
811.83/814.63 c 815 1260 40 1 - 0.0000 -
818.00/820.82 c 821 1266 38 1 - 0.0000 -
824.19/827.09 c 827 1273 39 1 - 0.0000 -
830.36/833.20 c 833 1280 40 1 - 0.0000 -
835.95/838.89 c 839 1292 44 1 - 0.0000 -
841.23/844.16 c 844 1302 42 1 - 0.0000 -
846.50/849.42 c 849 1313 43 1 - 0.0000 -
851.58/854.52 c 855 1323 43 1 - 0.0000 -
857.46/860.44 c 860 1335 43 1 - 0.0000 -
862.94/865.97 c 866 1343 43 1 - 0.0000 -
869.62/872.65 c 873 1350 0 1 - 0.0000 -
910.88/914.09 c 914 1350 0 1 - 0.0000 -
934.29/937.57 c 938 1351 1 1 - 0.0000 -
1081.20/1084.93 c 1085 1355 5 1 - 0.0000 -
1088.29/1092.07 c 1092 1361 11 1 - 0.0000 -
1093.66/1097.48 c 1097 1365 15 1 - 0.0000 -
1099.64/1103.43 c 1103 1372 16 1 - 0.0000 -
1115.38/1119.23 c 1119 1382 16 1 - 0.0000 -
1120.47/1124.32 c 1124 1393 19 1 - 0.0000 -
1125.75/1129.63 c 1130 1420 18 1 - 0.0000 -
1132.92/1136.88 c 1137 1430 15 1 - 0.0000 -
1139.00/1142.98 c 1143 1437 18 1 - 0.0000 -
1144.09/1148.03 c 1148 1443 18 1 - 0.0000 -
1150.66/1154.63 c 1155 1453 18 1 - 0.0000 -
1156.43/1160.49 c 1160 1465 18 1 - 0.0000 -
1163.81/1167.81 c 1168 1473 18 1 - 0.0000 -
1169.10/1173.17 c 1173 1483 18 1 - 0.0000 -
1174.57/1178.65 c 1179 1502 18 1 - 0.0000 -
1180.55/1184.62 c 1185 1508 18 1 - 0.0000 -
1185.95/1190.10 c 1190 1514 20 1 - 0.0000 -
1191.62/1195.74 c 1196 1521 19 1 - 0.0000 -
1196.91/1201.04 c 1201 1529 19 1 - 0.0000 -
1203.67/1207.80 c 1208 1542 20 1 - 0.0000 -
1208.65/1212.86 c 1213 1553 19 1 - 0.0000 -
1214.84/1219.09 c 1219 1559 19 1 - 0.0000 -
1220.92/1225.17 c 1225 1566 20 1 - 0.0000 -
1227.19/1231.42 c 1231 1577 23 1 - 0.0000 -
1233.27/1237.50 c 1238 1587 25 1 - 0.0000 -
1239.95/1244.25 c 1244 1600 24 1 - 0.0000 -
1245.02/1249.30 c 1249 1610 26 1 - 0.0000 -
1250.20/1254.52 c 1255 1620 24 1 - 0.0000 -
1255.69/1260.05 c 1260 1632 26 1 - 0.0000 -
1260.78/1265.19 c 1265 1641 25 1 - 0.0000 -
1267.84/1272.27 c 1272 1645 23 1 - 0.0000 -
1272.92/1277.35 c 1277 1655 21 1 - 0.0000 -
1279.10/1283.58 c 1284 1666 20 1 - 0.0000 -
1284.28/1288.75 c 1289 1673 21 1 - 0.0000 -
1289.76/1294.21 c 1294 1678 20 1 - 0.0000 -
1294.85/1299.30 c 1299 1689 21 1 - 0.0000 -
1299.83/1304.37 c 1304 1692 22 1 - 0.0000 -
1305.81/1310.39 c 1310 1694 24 1 - 0.0000 -
1358.03/1362.73 c 1363 1695 25 1 - 0.0000 -
1364.01/1368.74 c 1369 1708 28 1 - 0.0000 -
1369.89/1374.69 c 1375 1712 27 1 - 0.0000 -
1382.45/1387.22 c 1387 1715 30 1 - 0.0000 -
1388.13/1392.93 c 1393 1722 27 1 - 0.0000 -
1394.51/1399.34 c 1399 1726 29 1 - 0.0000 -
1400.48/1405.33 c 1405 1742 29 1 - 0.0000 -
1406.46/1411.37 c 1411 1752 28 1 - 0.0000 -
1411.55/1416.41 c 1416 1760 28 1 - 0.0000 -
1417.53/1422.41 c 1422 1770 32 1 - 0.0000 -
1423.40/1428.34 c 1428 1780 32 1 - 0.0000 -
1429.59/1434.55 c 1435 1788 30 1 - 0.0000 -
1435.47/1440.41 c 1440 1797 31 1 - 0.0000 -
1441.75/1446.70 c 1447 1805 29 1 - 0.0000 -
1447.22/1452.24 c 1452 1811 29 1 - 0.0000 -
1452.40/1457.43 c 1457 1819 31 1 - 0.0000 -
1457.89/1462.99 c 1463 1825 29 1 - 0.0000 -
1464.57/1469.66 c 1470 1832 28 1 - 0.0000 -
1469.75/1474.86 c 1475 1838 30 1 - 0.0000 -
1474.74/1479.86 c 1480 1845 29 1 - 0.0000 -
1479.83/1484.95 c 1485 1861 29 1 - 0.0000 -
1485.12/1490.25 c 1490 1869 29 1 - 0.0000 -
1490.59/1495.72 c 1496 1881 31 1 - 0.0000 -
1496.48/1501.60 c 1502 1894 30 1 - 0.0000 -
1502.16/1507.31 c 1507 1902 30 1 - 0.0000 -
1508.44/1513.62 c 1514 1911 29 1 - 0.0000 -
1513.94/1519.16 c 1519 1917 29 1 - 0.0000 -
1520.11/1525.37 c 1525 1926 32 1 - 0.0000 -
1525.40/1530.60 c 1531 1932 32 1 - 0.0000 -
1531.59/1536.84 c 1537 1948 30 1 - 0.0000 -
1538.17/1543.41 c 1543 1968 32 1 - 0.0000 -
1543.76/1549.07 c 1549 1977 29 1 - 0.0000 -
1549.64/1554.90 c 1555 1984 30 1 - 0.0000 -
1556.42/1561.72 c 1562 1995 29 1 - 0.0000 -
1561.51/1566.89 c 1567 2024 34 1 - 0.0000 -
1567.99/1573.38 c 1573 2044 38 1 - 0.0000 -
1573.58/1578.96 c 1579 2054 38 1 - 0.0000 -
1579.16/1584.52 c 1585 2066 38 1 - 0.0000 -
1584.95/1590.37 c 1590 2076 42 1 - 0.0000 -
1592.74/1598.11 c 1598 2092 42 1 - 0.0000 -
1598.42/1603.80 c 1604 2103 43 1 - 0.0000 -
1603.71/1609.19 c 1609 2116 42 1 - 0.0000 -
1608.79/1614.20 c 1614 2124 38 1 - 0.0000 -
1613.78/1619.24 c 1619 2129 33 1 - 0.0000 -
1619.37/1624.85 c 1625 2138 32 1 - 0.0000 -
1625.66/1631.19 c 1631 2147 33 1 - 0.0000 -
1631.33/1636.83 c 1637 2151 33 1 - 0.0000 -
1637.63/1643.18 c 1643 2158 30 1 - 0.0000 -
1643.51/1649.03 c 1649 2165 28 1 - 0.0000 -
1648.60/1654.14 c 1654 2170 29 1 - 0.0000 -
1654.48/1660.03 c 1660 2176 29 1 - 0.0000 -
1659.76/1665.39 c 1665 2186 31 1 - 0.0000 -
1666.45/1672.11 c 1672 2199 30 1 - 0.0000 -
1672.43/1678.03 c 1678 2219 30 1 - 0.0000 -
1678.00/1683.66 c 1684 2233 30 1 - 0.0000 -
1683.50/1689.13 c 1689 2243 28 1 - 0.0000 -
1688.57/1694.20 c 1694 2249 28 1 - 0.0000 -
1694.55/1700.25 c 1700 2263 28 1 - 0.0000 -
1700.93/1706.68 c 1707 2273 28 1 - 0.0000 -
1707.62/1713.33 c 1713 2285 28 1 - 0.0000 -
1713.32/1719.03 c 1719 2293 30 1 - 0.0000 -
1718.99/1724.73 c 1725 2301 30 1 - 0.0000 -
1724.18/1729.94 c 1730 2308 31 1 - 0.0000 -
1730.46/1736.28 c 1736 2324 29 1 - 0.0000 -
1736.36/1742.14 c 1742 2331 30 1 - 0.0000 -
1741.64/1747.41 c 1747 2337 32 1 - 0.0000 -
1747.12/1752.90 c 1753 2347 32 1 - 0.0000 -
1753.40/1759.25 c 1759 2356 33 1 - 0.0000 -
1759.50/1765.36 c 1765 2365 34 1 - 0.0000 -
1764.58/1770.46 c 1770 2376 35 1 - 0.0000 -
1770.47/1776.34 c 1776 2394 35 1 - 0.0000 -
1776.06/1781.92 c 1782 2403 34 1 - 0.0000 -
1781.44/1787.35 c 1787 2409 34 1 - 0.0000 -
1787.33/1793.20 c 1793 2417 34 1 - 0.0000 -
1792.72/1798.63 c 1799 2423 36 1 - 0.0000 -
1798.90/1804.81 c 1805 2431 34 1 - 0.0000 -
1804.89/1810.84 c 1811 2439 36 1 - 0.0000 -
1810.97/1816.96 c 1817 2448 35 1 - 0.0000 -
1816.86/1822.89 c 1823 2460 37 1 - 0.0000 -
1822.84/1828.81 c 1829 2469 36 1 - 0.0000 -
1828.43/1834.44 c 1834 2476 37 1 - 0.0000 -
1833.62/1839.63 c 1840 2485 36 1 - 0.0000 -
1839.12/1845.16 c 1845 2500 37 1 - 0.0000 -
1844.69/1850.76 c 1851 2509 38 1 - 0.0000 -
1850.58/1856.65 c 1857 2522 37 1 - 0.0000 -
1856.76/1862.87 c 1863 2528 33 1 - 0.0000 -
1862.34/1868.40 c 1868 2536 35 1 - 0.0000 -
1868.73/1874.87 c 1875 2546 35 1 - 0.0000 -
1874.51/1880.64 c 1881 2557 36 1 - 0.0000 -
1880.70/1886.81 c 1887 2565 34 1 - 0.0000 -
1885.79/1891.94 c 1892 2573 34 1 - 0.0000 -
1892.77/1898.99 c 1899 2583 34 1 - 0.0000 -
1898.36/1904.59 c 1905 2591 34 1 - 0.0000 -
1904.55/1910.77 c 1911 2599 34 1 - 0.0000 -
1909.74/1915.98 c 1916 2611 34 1 - 0.0000 -
1915.52/1921.74 c 1922 2621 34 1 - 0.0000 -
1922.20/1928.43 c 1928 2638 35 1 - 0.0000 -
1927.69/1933.99 c 1934 2645 32 1 - 0.0000 -
1932.98/1939.27 c 1939 2651 34 1 - 0.0000 -
1938.77/1945.01 c 1945 2659 32 1 - 0.0000 -
1944.15/1950.46 c 1950 2665 34 1 - 0.0000 -
1950.43/1956.77 c 1957 2676 33 1 - 0.0000 -
1956.72/1963.01 c 1963 2682 33 1 - 0.0000 -
1962.60/1968.96 c 1969 2692 35 1 - 0.0000 -
1967.89/1974.29 c 1974 2701 34 1 - 0.0000 -
1974.37/1980.77 c 1981 2710 33 1 - 0.0000 -
1979.77/1986.14 c 1986 2721 34 1 - 0.0000 -
1985.54/1991.97 c 1992 2732 35 1 - 0.0000 -
1990.83/1997.26 c 1997 2742 33 1 - 0.0000 -
1996.12/2002.56 c 2003 2749 32 1 - 0.0000 -
2003.00/2009.50 c 2010 2755 32 1 - 0.0000 -
2008.19/2014.66 c 2015 2759 32 1 - 0.0000 -
2013.69/2020.16 c 2020 2767 32 1 - 0.0000 -
2019.07/2025.55 c 2026 2775 34 1 - 0.0000 -
2024.76/2031.24 c 2031 2789 34 1 - 0.0000 -
2029.95/2036.47 c 2036 2807 36 1 - 0.0000 -
2035.03/2041.57 c 2042 2823 34 1 - 0.0000 -
2041.72/2048.29 c 2048 2830 33 1 - 0.0000 -
2048.20/2054.71 c 2055 2839 34 1 - 0.0000 -
2053.89/2060.40 c 2060 2850 35 1 - 0.0000 -
2059.08/2065.64 c 2066 2863 36 1 - 0.0000 -
2064.26/2070.86 c 2071 2872 35 1 - 0.0000 -
2071.05/2077.69 c 2078 2880 35 1 - 0.0000 -
2076.93/2083.58 c 2084 2888 35 1 - 0.0000 -
2083.32/2089.97 c 2090 2897 36 1 - 0.0000 -
2090.60/2097.25 c 2097 2905 36 1 - 0.0000 -
2096.08/2102.73 c 2103 2912 37 1 - 0.0000 -
2101.77/2108.47 c 2108 2920 37 1 - 0.0000 -
2107.26/2113.96 c 2114 2934 37 1 - 0.0000 -
2113.46/2120.17 c 2120 2943 36 1 - 0.0000 -
2118.73/2125.45 c 2125 2953 36 1 - 0.0000 -
2124.91/2131.64 c 2132 2957 32 1 - 0.0000 -
2131.31/2138.10 c 2138 2962 31 1 - 0.0000 -
2137.58/2144.30 c 2144 2970 33 1 - 0.0000 -
2143.87/2150.69 c 2151 2983 34 1 - 0.0000 -
2149.38/2156.14 c 2156 2992 35 1 - 0.0000 -
2154.37/2161.17 c 2161 3006 33 1 - 0.0000 -
2159.54/2166.38 c 2166 3015 32 1 - 0.0000 -
2165.53/2172.33 c 2172 3021 32 1 - 0.0000 -
2171.01/2177.86 c 2178 3027 34 1 - 0.0000 -
2176.00/2182.89 c 2183 3038 33 1 - 0.0000 -
2182.68/2189.60 c 2190 3046 33 1 - 0.0000 -
2187.87/2194.71 c 2195 3056 31 1 - 0.0000 -
2193.96/2200.88 c 2201 3068 31 1 - 0.0000 -
2199.54/2206.43 c 2206 3075 32 1 - 0.0000 -
2206.24/2213.18 c 2213 3089 30 1 - 0.0000 -
2212.01/2218.99 c 2219 3101 30 1 - 0.0000 -
2217.70/2224.67 c 2225 3110 31 1 - 0.0000 -
2223.98/2231.01 c 2231 3117 32 1 - 0.0000 -
2230.25/2237.27 c 2237 3128 31 1 - 0.0000 -
2236.83/2243.89 c 2244 3137 30 1 - 0.0000 -
2243.22/2250.23 c 2250 3142 29 1 - 0.0000 -
2249.50/2256.58 c 2257 3149 30 1 - 0.0000 -
2255.69/2262.75 c 2263 3156 31 1 - 0.0000 -
2260.88/2267.97 c 2268 3167 30 1 - 0.0000 -
2266.86/2273.99 c 2274 3179 32 1 - 0.0000 -
2272.35/2279.49 c 2279 3184 31 1 - 0.0000 -
2278.05/2285.17 c 2285 3190 31 1 - 0.0000 -
2284.03/2291.16 c 2291 3195 30 1 - 0.0000 -
2290.51/2297.68 c 2298 3203 30 1 - 0.0000 -
2296.59/2303.79 c 2304 3214 31 1 - 0.0000 -
2303.47/2310.67 c 2311 3224 33 1 - 0.0000 -
2309.07/2316.24 c 2316 3231 34 1 - 0.0000 -
2315.65/2322.88 c 2323 3244 33 1 - 0.0000 -
2321.64/2328.87 c 2329 3251 34 1 - 0.0000 -
2327.83/2335.10 c 2335 3263 34 1 - 0.0000 -
2333.71/2340.95 c 2341 3277 34 1 - 0.0000 -
2339.20/2346.45 c 2346 3284 35 1 - 0.0000 -
2344.79/2352.09 c 2352 3294 35 1 - 0.0000 -
2351.27/2358.59 c 2359 3303 34 1 - 0.0000 -
2357.35/2364.66 c 2365 3314 35 1 - 0.0000 -
2362.75/2370.05 c 2370 3322 35 1 - 0.0000 -
2368.32/2375.64 c 2376 3334 39 1 - 0.0000 -
2374.82/2382.18 c 2382 3343 36 1 - 0.0000 -
2380.00/2387.35 c 2387 3350 33 1 - 0.0000 -
2385.49/2392.87 c 2393 3361 34 1 - 0.0000 -
2391.48/2398.89 c 2399 3379 34 1 - 0.0000 -
2397.56/2404.95 c 2405 3394 33 1 - 0.0000 -
2402.66/2410.09 c 2410 3404 33 1 - 0.0000 -
2408.04/2415.46 c 2415 3416 33 1 - 0.0000 -
2413.53/2420.99 c 2421 3424 33 1 - 0.0000 -
2420.01/2427.44 c 2427 3434 35 1 - 0.0000 -
2425.50/2432.94 c 2433 3449 34 1 - 0.0000 -
2431.48/2438.95 c 2439 3464 33 1 - 0.0000 -
2437.68/2445.11 c 2445 3479 34 1 - 0.0000 -
2442.76/2450.23 c 2450 3490 33 1 - 0.0000 -
2447.84/2455.36 c 2455 3502 35 1 - 0.0000 -
2454.13/2461.65 c 2462 3510 37 1 - 0.0000 -
2460.12/2467.69 c 2468 3526 35 1 - 0.0000 -
2466.40/2474.01 c 2474 3536 33 1 - 0.0000 -
2472.78/2480.39 c 2480 3552 35 1 - 0.0000 -
2478.17/2485.78 c 2486 3561 34 1 - 0.0000 -
2485.15/2492.74 c 2493 3572 33 1 - 0.0000 -
2491.04/2498.60 c 2499 3581 32 1 - 0.0000 -
2496.53/2504.19 c 2504 3590 33 1 - 0.0000 -
2502.42/2510.07 c 2510 3612 35 1 - 0.0000 -
2508.29/2515.95 c 2516 3627 32 1 - 0.0000 -
2513.68/2521.30 c 2521 3640 35 1 - 0.0000 -
2518.77/2526.48 c 2526 3653 34 1 - 0.0000 -
2524.47/2532.12 c 2532 3665 32 1 - 0.0000 -
2531.04/2538.72 c 2539 3679 32 1 - 0.0000 -
2537.52/2545.23 c 2545 3694 33 1 - 0.0000 -
2542.71/2550.46 c 2550 3702 35 1 - 0.0000 -
2548.61/2556.37 c 2556 3714 33 1 - 0.0000 -
2554.09/2561.80 c 2562 3724 35 1 - 0.0000 -
2559.48/2567.21 c 2567 3733 34 1 - 0.0000 -
2565.38/2573.19 c 2573 3742 33 1 - 0.0000 -
2571.15/2578.90 c 2579 3749 36 1 - 0.0000 -
2576.14/2583.96 c 2584 3761 38 1 - 0.0000 -
2581.34/2589.18 c 2589 3774 37 1 - 0.0000 -
2587.22/2595.11 c 2595 3787 34 1 - 0.0000 -
2592.30/2600.12 c 2600 3793 34 1 - 0.0000 -
2598.97/2606.85 c 2607 3802 35 1 - 0.0000 -
2604.76/2612.61 c 2613 3809 32 1 - 0.0000 -
2610.04/2617.96 c 2618 3817 32 1 - 0.0000 -
2615.33/2623.24 c 2623 3823 32 1 - 0.0000 -
2620.52/2628.41 c 2628 3830 31 1 - 0.0000 -
2625.81/2633.80 c 2634 3838 33 1 - 0.0000 -
2631.69/2639.63 c 2640 3844 31 1 - 0.0000 -
2636.78/2644.70 c 2645 3851 32 1 - 0.0000 -
2643.07/2651.06 c 2651 3862 31 1 - 0.0000 -
2648.75/2656.74 c 2657 3869 32 1 - 0.0000 -
2654.24/2662.23 c 2662 3870 31 1 - 0.0000 -
2659.52/2667.57 c 2668 3875 32 1 - 0.0000 -
2666.02/2674.05 c 2674 3885 32 1 - 0.0000 -
2674.10/2682.17 c 2682 3893 32 1 - 0.0000 -
2679.38/2687.43 c 2687 3897 32 1 - 0.0000 -
2684.67/2692.73 c 2693 3905 34 1 - 0.0000 -
2691.35/2699.42 c 2699 3913 32 1 - 0.0000 -
2696.54/2704.68 c 2705 3919 32 1 - 0.0000 -
2703.12/2711.23 c 2711 3925 32 1 - 0.0000 -
2709.41/2717.54 c 2718 3938 33 1 - 0.0000 -
2714.70/2722.89 c 2723 3946 35 1 - 0.0000 -
2721.38/2729.57 c 2730 3952 31 1 - 0.0000 -
2727.27/2735.45 c 2735 3958 33 1 - 0.0000 -
2732.97/2741.12 c 2741 3968 35 1 - 0.0000 -
2738.34/2746.50 c 2746 3981 34 1 - 0.0000 -
2743.63/2751.89 c 2752 3987 34 1 - 0.0000 -
2749.51/2757.77 c 2758 3995 34 1 - 0.0000 -
2754.59/2762.89 c 2763 4003 34 1 - 0.0000 -
2759.79/2768.09 c 2768 4010 35 1 - 0.0000 -
2765.07/2773.38 c 2773 4021 36 1 - 0.0000 -
2770.76/2779.05 c 2779 4033 38 1 - 0.0000 -
2776.94/2785.22 c 2785 4049 38 1 - 0.0000 -
2783.32/2791.61 c 2792 4064 39 1 - 0.0000 -
2788.31/2796.64 c 2797 4076 37 1 - 0.0000 -
2793.81/2802.14 c 2802 4085 40 1 - 0.0000 -
2798.88/2807.28 c 2807 4098 39 1 - 0.0000 -
2804.27/2812.63 c 2813 4115 38 1 - 0.0000 -
2809.56/2817.97 c 2818 4128 39 1 - 0.0000 -
2815.14/2823.54 c 2824 4141 38 1 - 0.0000 -
2820.33/2828.71 c 2829 4157 38 1 - 0.0000 -
2826.02/2834.40 c 2834 4167 38 1 - 0.0000 -
2831.90/2840.33 c 2840 4182 37 1 - 0.0000 -
2836.99/2845.49 c 2846 4192 37 1 - 0.0000 -
2842.48/2850.97 c 2851 4204 37 1 - 0.0000 -
2848.36/2856.86 c 2857 4216 37 1 - 0.0000 -
2854.05/2862.56 c 2863 4229 36 1 - 0.0000 -
2859.44/2867.90 c 2868 4242 35 1 - 0.0000 -
2864.72/2873.26 c 2873 4255 36 1 - 0.0000 -
2870.01/2878.59 c 2879 4267 36 1 - 0.0000 -
2876.30/2884.89 c 2885 4288 37 1 - 0.0000 -
2882.28/2890.89 c 2891 4309 36 1 - 0.0000 -
2887.77/2896.30 c 2896 4318 38 1 - 0.0000 -
2893.85/2902.48 c 2902 4331 39 1 - 0.0000 -
2899.74/2908.32 c 2908 4345 37 1 - 0.0000 -
2904.73/2913.34 c 2913 4356 38 1 - 0.0000 -
2910.21/2918.84 c 2919 4368 38 1 - 0.0000 -
2915.60/2924.25 c 2924 4382 38 1 - 0.0000 -
2921.09/2929.76 c 2930 4398 40 1 - 0.0000 -
2926.87/2935.50 c 2936 4413 39 1 - 0.0000 -
2932.96/2941.68 c 2942 4427 37 1 - 0.0000 -
2938.95/2947.65 c 2948 4440 38 1 - 0.0000 -
2945.44/2954.19 c 2954 4456 38 1 - 0.0000 -
2951.13/2959.85 c 2960 4468 38 1 - 0.0000 -
2957.20/2965.97 c 2966 4482 38 1 - 0.0000 -
2964.19/2972.93 c 2973 4496 38 1 - 0.0000 -
2969.57/2978.33 c 2978 4514 38 1 - 0.0000 -
2975.76/2984.58 c 2985 4526 36 1 - 0.0000 -
2980.95/2989.75 c 2990 4534 38 1 - 0.0000 -
2987.24/2996.09 c 2996 4551 37 1 - 0.0000 -
2992.52/3001.37 c 3001 4560 38 1 - 0.0000 -
2998.22/3007.08 c 3007 4571 37 1 - 0.0000 -
3003.99/3012.83 c 3013 4582 38 1 - 0.0000 -
3009.57/3018.41 c 3018 4595 37 1 - 0.0000 -
3015.27/3024.12 c 3024 4604 36 1 - 0.0000 -
3021.74/3030.67 c 3031 4614 38 1 - 0.0000 -
3027.33/3036.28 c 3036 4627 35 1 - 0.0000 -
3033.51/3042.41 c 3042 4636 34 1 - 0.0000 -
3039.21/3048.12 c 3048 4645 35 1 - 0.0000 -
3044.39/3053.37 c 3053 4652 36 1 - 0.0000 -
3050.27/3059.24 c 3059 4664 36 1 - 0.0000 -
3056.26/3065.27 c 3065 4677 37 1 - 0.0000 -
3063.94/3072.91 c 3073 4688 36 1 - 0.0000 -
3069.04/3078.04 c 3078 4700 38 1 - 0.0000 -
3075.12/3084.18 c 3084 4709 37 1 - 0.0000 -
3081.11/3090.14 c 3090 4721 37 1 - 0.0000 -
3086.88/3095.97 c 3096 4733 37 1 - 0.0000 -
3092.87/3101.98 c 3102 4739 37 1 - 0.0000 -
3098.55/3107.65 c 3108 4752 38 1 - 0.0000 -
3105.05/3114.18 c 3114 4760 34 1 - 0.0000 -
3110.33/3119.45 c 3119 4768 34 1 - 0.0000 -
3116.31/3125.40 c 3125 4776 34 1 - 0.0000 -
3121.91/3131.05 c 3131 4784 34 1 - 0.0000 -
3127.89/3137.11 c 3137 4797 35 1 - 0.0000 -
3134.57/3143.73 c 3144 4807 35 1 - 0.0000 -
3140.35/3149.58 c 3150 4817 35 1 - 0.0000 -
3145.65/3154.83 c 3155 4829 35 1 - 0.0000 -
3151.23/3160.49 c 3160 4842 36 1 - 0.0000 -
3156.52/3165.72 c 3166 4854 34 1 - 0.0000 -
3163.10/3172.35 c 3172 4869 33 1 - 0.0000 -
3168.49/3177.77 c 3178 4880 34 1 - 0.0000 -
3174.08/3183.35 c 3183 4887 33 1 - 0.0000 -
3180.87/3190.19 c 3190 4893 35 1 - 0.0000 -
3186.76/3196.11 c 3196 4901 33 1 - 0.0000 -
3192.43/3201.79 c 3202 4908 38 1 - 0.0000 -
3198.02/3207.39 c 3207 4923 37 1 - 0.0000 -
3203.11/3212.47 c 3212 4933 37 1 - 0.0000 -
3208.19/3217.52 c 3218 4946 36 1 - 0.0000 -
3213.58/3223.01 c 3223 4959 37 1 - 0.0000 -
3219.46/3228.89 c 3229 4970 36 1 - 0.0000 -
3224.76/3234.13 c 3234 4980 38 1 - 0.0000 -
3230.74/3240.18 c 3240 4995 37 1 - 0.0000 -
3236.22/3245.69 c 3246 5004 38 1 - 0.0000 -
3242.10/3251.57 c 3252 5013 37 1 - 0.0000 -
3247.40/3256.84 c 3257 5023 37 1 - 0.0000 -
3252.60/3262.05 c 3262 5035 37 1 - 0.0000 -
3259.58/3269.05 c 3269 5044 38 1 - 0.0000 -
3265.16/3274.68 c 3275 5055 39 1 - 0.0000 -
3270.44/3279.91 c 3280 5068 40 1 - 0.0000 -
3276.23/3285.71 c 3286 5081 39 1 - 0.0000 -
3282.21/3291.74 c 3292 5090 40 1 - 0.0000 -
3287.61/3297.16 c 3297 5103 39 1 - 0.0000 -
3292.79/3302.30 c 3302 5111 39 1 - 0.0000 -
3298.59/3308.13 c 3308 5123 41 1 - 0.0000 -
3304.06/3313.63 c 3314 5136 42 1 - 0.0000 -
3310.34/3319.94 c 3320 5144 38 1 - 0.0000 -
3316.44/3326.04 c 3326 5155 39 1 - 0.0000 -
3321.61/3331.23 c 3331 5163 37 1 - 0.0000 -
3327.20/3336.85 c 3337 5170 38 1 - 0.0000 -
3332.79/3342.49 c 3342 5180 38 1 - 0.0000 -
3338.67/3348.32 c 3348 5193 39 1 - 0.0000 -
3344.16/3353.89 c 3354 5198 36 1 - 0.0000 -
3350.04/3359.77 c 3360 5207 37 1 - 0.0000 -
3355.13/3364.81 c 3365 5223 37 1 - 0.0000 -
3360.33/3370.02 c 3370 5233 37 1 - 0.0000 -
3366.41/3376.16 c 3376 5242 36 1 - 0.0000 -
3374.29/3384.01 c 3384 5254 36 1 - 0.0000 -
3381.17/3390.93 c 3391 5262 38 1 - 0.0000 -
3387.36/3397.14 c 3397 5272 38 1 - 0.0000 -
3392.64/3402.42 c 3402 5284 38 1 - 0.0000 -
3399.03/3408.87 c 3409 5295 37 1 - 0.0000 -
3404.42/3414.24 c 3414 5303 35 1 - 0.0000 -
3409.60/3419.45 c 3419 5315 35 1 - 0.0000 -
3415.39/3425.20 c 3425 5321 35 1 - 0.0000 -
3421.37/3431.27 c 3431 5334 36 1 - 0.0000 -
3427.17/3437.04 c 3437 5351 37 1 - 0.0000 -
3432.44/3442.37 c 3442 5360 34 1 - 0.0000 -
3438.43/3448.37 c 3448 5372 36 1 - 0.0000 -
3443.52/3453.49 c 3453 5384 36 1 - 0.0000 -
3448.90/3458.86 c 3459 5392 34 1 - 0.0000 -
3454.10/3464.06 c 3464 5404 34 1 - 0.0000 -
3459.19/3469.17 c 3469 5409 33 1 - 0.0000 -
3465.46/3475.49 c 3475 5414 34 1 - 0.0000 -
3471.25/3481.27 c 3481 5424 34 1 - 0.0000 -
3476.93/3486.90 c 3487 5437 33 1 - 0.0000 -
3482.92/3492.95 c 3493 5448 34 1 - 0.0000 -
3489.70/3499.72 c 3500 5456 34 1 - 0.0000 -
3495.00/3505.06 c 3505 5464 34 1 - 0.0000 -
3500.87/3510.98 c 3511 5470 34 1 - 0.0000 -
3506.15/3516.27 c 3516 5480 36 1 - 0.0000 -
3511.34/3521.45 c 3521 5484 32 1 - 0.0000 -
3516.43/3526.50 c 3527 5489 35 1 - 0.0000 -
3521.81/3531.91 c 3532 5502 34 1 - 0.0000 -
3528.09/3538.29 c 3538 5516 34 1 - 0.0000 -
3533.38/3543.52 c 3544 5524 36 1 - 0.0000 -
3539.17/3549.30 c 3549 5535 35 1 - 0.0000 -
3544.26/3554.47 c 3554 5553 35 1 - 0.0000 -
3550.35/3560.60 c 3561 5563 35 1 - 0.0000 -
3555.44/3565.67 c 3566 5574 36 1 - 0.0000 -
3561.32/3571.56 c 3572 5586 34 1 - 0.0000 -
3566.71/3576.98 c 3577 5596 34 1 - 0.0000 -
3572.99/3583.29 c 3583 5608 34 1 - 0.0000 -
3578.08/3588.32 c 3588 5615 35 1 - 0.0000 -
3583.97/3594.25 c 3594 5623 35 1 - 0.0000 -
3587.77/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.77/3598.05 c Total Time : 3598.0600
3587.77/3598.05 c solving : 3598.0600
3587.77/3598.05 c presolving : 8.6795 (included in solving)
3587.77/3598.05 c B&B Tree :
3587.77/3598.05 c nodes (total) : 1
3587.77/3598.05 c Solution :
3587.77/3598.05 c Solutions found : 0
3587.77/3598.05 c Primal Bound : -
3587.77/3598.05 c Dual Bound : +0.00000000000000e+00
3587.77/3598.05 c Gap : -
3587.77/3598.09 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61626 MiB free)
memory of node 1: 64473 MiB (61262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464476-1722385793/watcher-4464476-1722385793 -o /tmp/evaluation-result-4464476-1722385793/solver-4464476-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28234 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464476-1722385793.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=32471, runsolver pid=32468
[startup+0.100303 s]*
/proc/loadavg: 4.12 4.11 4.13 5/247 32472
/proc/meminfo: memFree=125810316/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=48740 memory=37408 CPUtime=0.09 cores=5,7
/proc/32471/stat : 32471 (fscip) R 32468 32471 28221 0 -1 4194304 7016 0 0 0 8 1 0 0 20 0 1 0 4950434 49909760 9352 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 12185 9352 2598 3035 0 8581 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48740 KiB
Current children cumulated memory: 37408 KiB
[startup+0.212266 s]*
/proc/loadavg: 4.12 4.11 4.13 5/247 32472
/proc/meminfo: memFree=125802980/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=55872 memory=44740 CPUtime=0.21 cores=5,7
/proc/32471/stat : 32471 (fscip) R 32468 32471 28221 0 -1 4194304 9600 0 0 0 19 2 0 0 20 0 1 0 4950434 57212928 11185 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 13968 11185 2662 3035 0 10364 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55872 KiB
Current children cumulated memory: 44740 KiB
[startup+0.312478 s]*
/proc/loadavg: 4.12 4.11 4.13 5/247 32472
/proc/meminfo: memFree=125800784/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=58620 memory=48036 CPUtime=0.31 cores=5,7
/proc/32471/stat : 32471 (fscip) R 32468 32471 28221 0 -1 4194304 10799 0 0 0 29 2 0 0 20 0 1 0 4950434 60026880 12009 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 14655 12009 2758 3035 0 11051 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 58620 KiB
Current children cumulated memory: 48036 KiB
[startup+0.700331 s]
/proc/loadavg: 4.12 4.11 4.13 5/247 32472
/proc/meminfo: memFree=125784384/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=79708 memory=65968 CPUtime=0.68 cores=5,7
/proc/32471/stat : 32471 (fscip) R 32468 32471 28221 0 -1 4194304 15365 0 0 0 65 3 0 0 20 0 1 0 4950434 81620992 16492 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 19927 16492 2774 3035 0 16323 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79708 KiB
Current children cumulated memory: 65968 KiB
[startup+1.50032 s]
/proc/loadavg: 4.11 4.11 4.13 5/247 32472
/proc/meminfo: memFree=125782368/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=79708 memory=65968 CPUtime=1.48 cores=5,7
/proc/32471/stat : 32471 (fscip) R 32468 32471 28221 0 -1 4194304 15365 0 0 0 145 3 0 0 20 0 1 0 4950434 81620992 16492 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 19927 16492 2774 3035 0 16323 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79708 KiB
Current children cumulated memory: 65968 KiB
[startup+3.11258 s]
/proc/loadavg: 4.11 4.11 4.13 5/238 32554
/proc/meminfo: memFree=126239184/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=79708 memory=66760 CPUtime=3.09 cores=5,7
/proc/32471/stat : 32471 (fscip) R 32468 32471 28221 0 -1 4194304 15566 0 0 0 306 3 0 0 20 0 1 0 4950434 81620992 16690 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 19927 16690 2774 3035 0 16323 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79708 KiB
Current children cumulated memory: 66760 KiB
[startup+6.30032 s]
/proc/loadavg: 4.10 4.11 4.13 5/246 32614
/proc/meminfo: memFree=125537308/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=80764 memory=67816 CPUtime=6.26 cores=5,7
/proc/32471/stat : 32471 (fscip) R 32468 32471 28221 0 -1 4194304 15817 0 0 0 623 3 0 0 20 0 1 0 4950434 82702336 16954 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 20191 16954 2774 3035 0 16587 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 80764 KiB
Current children cumulated memory: 67816 KiB
[startup+12.7004 s]
/proc/loadavg: 4.10 4.10 4.13 5/248 32616
/proc/meminfo: memFree=124962644/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=213440 memory=158752 CPUtime=12.63 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 46000 0 0 0 1255 8 0 0 20 0 3 0 4950434 218562560 39688 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 53360 39688 2950 3035 0 47888 0
[pid=32471/tid=32615] ppid=32468 vsize=213440 memory=157972 CPUtime=3.89 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 21301 0 0 0 386 3 0 0 20 0 3 0 4951310 218562560 39688 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=213440 memory=11392 CPUtime=0 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4951315 218562560 39688 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 213440 KiB
Current children cumulated memory: 158752 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.10 4.12 5/248 32619
/proc/meminfo: memFree=124955568/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=214988 memory=161220 CPUtime=25.4 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 60470 0 0 0 2531 9 0 0 20 0 3 0 4950434 220147712 40305 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 53747 40305 2966 3035 0 48559 0
[pid=32471/tid=32615] ppid=32468 vsize=214988 memory=161220 CPUtime=16.66 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 35748 0 0 0 1662 4 0 0 20 0 3 0 4951310 220147712 40305 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=214988 memory=11392 CPUtime=0 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4951315 220147712 40305 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 214988 KiB
Current children cumulated memory: 161220 KiB
[startup+51.1131 s]
/proc/loadavg: 4.10 4.10 4.12 5/250 32680
/proc/meminfo: memFree=124435716/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=284048 memory=224800 CPUtime=50.94 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 108725 0 0 0 5080 14 0 0 20 0 3 0 4950434 290865152 56200 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 71012 56200 2982 3035 0 64800 0
[pid=32471/tid=32615] ppid=32468 vsize=284048 memory=67816 CPUtime=42.21 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 83982 0 0 0 4212 9 0 0 20 0 3 0 4951310 290865152 56200 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=284048 memory=-5155626890696485765 CPUtime=0 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4951315 290865152 56200 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 284048 KiB
Current children cumulated memory: 224800 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.11 5/250 32688
/proc/meminfo: memFree=124430232/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=284048 memory=226112 CPUtime=101.99 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 150846 0 0 0 10183 16 0 0 20 0 3 0 4950434 290865152 56528 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 71012 56528 3030 3035 0 64800 0
[pid=32471/tid=32615] ppid=32468 vsize=284048 memory=11392 CPUtime=93.25 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 126056 0 0 0 9314 11 0 0 20 0 3 0 4951310 290865152 56528 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=284048 memory=225716 CPUtime=0 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 3 0 4951315 290865152 56528 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 284048 KiB
Current children cumulated memory: 226112 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/250 32700
/proc/meminfo: memFree=124409076/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=284180 memory=228952 CPUtime=161.81 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 194610 0 0 0 16161 20 0 0 20 0 3 0 4950434 291000320 57238 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 71045 57238 3030 3035 0 66299 0
[pid=32471/tid=32615] ppid=32468 vsize=284180 memory=228868 CPUtime=153.07 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 169762 0 0 0 15292 15 0 0 20 0 3 0 4951310 291000320 57238 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=284180 memory=2300 CPUtime=0 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 4951315 291000320 57238 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 284180 KiB
Current children cumulated memory: 228952 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.11 5/250 32710
/proc/meminfo: memFree=124408232/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=284180 memory=227720 CPUtime=221.59 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 216734 0 0 0 22137 22 0 0 20 0 3 0 4950434 291000320 56930 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 71045 56930 3030 3035 0 66299 0
[pid=32471/tid=32615] ppid=32468 vsize=284180 memory=227720 CPUtime=212.84 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 191862 0 0 0 21268 16 0 0 20 0 3 0 4951310 291000320 56930 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=284180 memory=227720 CPUtime=0 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 4951315 291000320 56930 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 284180 KiB
Current children cumulated memory: 227720 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/252 32722
/proc/meminfo: memFree=123077364/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=284180 memory=227804 CPUtime=281.38 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 250321 0 0 0 28113 25 0 0 20 0 3 0 4950434 291000320 56951 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 71045 56951 3030 3035 0 66857 0
[pid=32471/tid=32615] ppid=32468 vsize=284180 memory=227764 CPUtime=272.63 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 225401 0 0 0 27243 20 0 0 20 0 3 0 4951310 291000320 56951 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=284180 memory=227804 CPUtime=0 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 4951315 291000320 56951 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 284180 KiB
################
# More data... #
################
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=322820 CPUtime=3383.57 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 712045 0 0 0 338286 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=322820 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 288 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.16 5/252 34341
/proc/meminfo: memFree=122319368/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=411824 memory=322820 CPUtime=3452.39 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 738696 0 0 0 345153 86 0 0 20 0 3 0 4950434 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=322820 CPUtime=3443.41 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 712687 0 0 0 344270 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=12356 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 290 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.16 5/253 34352
/proc/meminfo: memFree=122310948/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=411824 memory=322820 CPUtime=3512.24 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 739245 0 0 0 351138 86 0 0 20 0 3 0 4950434 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=322820 CPUtime=3503.25 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 713213 0 0 0 350254 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=322820 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 297 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.15 5/253 34531
/proc/meminfo: memFree=122307900/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=411824 memory=322820 CPUtime=3572.09 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 739815 0 0 0 357122 87 0 0 20 0 3 0 4950434 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=1908 CPUtime=3563.1 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 713767 0 0 0 356239 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=11392 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 299 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
[startup+3598.1 s]
# the end of solver process 32471 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.98 s, system=0.874476 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.05 4.09 4.15 5/253 34533
/proc/meminfo: memFree=122307856/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=411824 memory=322820 CPUtime=3573.8 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 739817 0 0 0 357293 87 0 0 20 0 3 0 4950434 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=11452 CPUtime=3564.81 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 713769 0 0 0 356410 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=11428 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 299 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3573.8 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
[startup+3590.4 s]
/proc/loadavg: 4.04 4.09 4.15 5/253 34533
/proc/meminfo: memFree=122307816/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=411824 memory=322820 CPUtime=3580.17 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 740024 0 0 0 357930 87 0 0 20 0 3 0 4950434 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=322820 CPUtime=3571.18 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 713955 0 0 0 357047 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=11392 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 304 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3580.17 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
[startup+3593.6 s]
/proc/loadavg: 4.04 4.09 4.15 5/253 34533
/proc/meminfo: memFree=122307836/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=411824 memory=322820 CPUtime=3583.37 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 740026 0 0 0 358250 87 0 0 20 0 3 0 4950434 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=322820 CPUtime=3574.37 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 713957 0 0 0 357366 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=322820 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 304 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3583.37 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
[startup+3595.2 s]
/proc/loadavg: 4.04 4.09 4.15 5/253 34534
/proc/meminfo: memFree=122307536/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=411824 memory=322820 CPUtime=3584.96 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 740030 0 0 0 358409 87 0 0 20 0 3 0 4950434 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=38684 CPUtime=3575.97 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 713961 0 0 0 357526 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=104 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 304 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3584.96 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
[startup+3596.8 s]
/proc/loadavg: 4.04 4.09 4.15 5/253 34534
/proc/meminfo: memFree=122307560/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=411824 memory=322820 CPUtime=3586.56 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 740044 0 0 0 358569 87 0 0 20 0 3 0 4950434 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=322820 CPUtime=3577.56 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 713975 0 0 0 357685 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=322820 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 304 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.10 4.15 5/253 34534
/proc/meminfo: memFree=122307560/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=411824 memory=322820 CPUtime=3587.36 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 740044 0 0 0 358649 87 0 0 20 0 3 0 4950434 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=12880 CPUtime=3578.36 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 713975 0 0 0 357765 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=12356 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 304 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.10 4.15 5/253 34534
/proc/meminfo: memFree=122307560/131655788 swapFree=131071996/131071996
[pid=32471] ppid=32468 vsize=411824 memory=322820 CPUtime=3587.77 cores=5,7
/proc/32471/stat : 32471 (fscip) S 32468 32471 28221 0 -1 1077936128 740054 0 0 0 358690 87 0 0 20 0 3 0 4950434 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
/proc/32471/statm: 102956 80705 3334 3035 0 85849 0
[pid=32471/tid=32615] ppid=32468 vsize=411824 memory=7686721470247706567 CPUtime=3578.77 cores=5,7
/proc/32471/task/32615/stat : 32615 (fscip) R 32468 32471 28221 0 -1 4194368 713985 0 0 0 357806 71 0 0 20 0 3 0 4951310 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
[pid=32471/tid=32616] ppid=32468 vsize=411824 memory=11616 CPUtime=0.05 cores=5,7
/proc/32471/task/32616/stat : 32616 (fscip) S 32468 32471 28221 0 -1 1077936192 304 0 0 0 2 3 0 0 20 0 3 0 4951315 421707776 80705 134679101440 4194304 16623229 140722435952336 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27877376 140722435953686 140722435953802 140722435953802 140722435960816 0
Current children cumulated CPU time: 3587.77 s
Current children cumulated vsize: 411824 KiB
Current children cumulated memory: 322820 KiB
Child status: 0
Real time (s): 3598.1
CPU time (s): 3587.86
CPU user time (s): 3586.98
CPU system time (s): 0.874476
CPU usage (%): 99.7155
Max. virtual memory (cumulated for all children) (KiB): 411824
Max. memory (cumulated for all children) (KiB): 330844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.98
system time used= 0.874476
maximum resident set size= 331108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 740440
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= 7961
involuntary context switches= 1319
# summary of solver processes directly reported to runsolver:
# pid: 32471
# total CPU time (s): 3587.86
# total CPU user time (s): 3586.98
# total CPU system time (s): 0.874476
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1926 second user time and 35.1721 second system time
The end
Begin job on nodeC004 at 2024-07-31 02:29:53
IDJOB=4464476
IDBENCH=158357
IDSOLVER=3092
FILE ID=nodeC004/4464476-1722385793
RUNJOBID= nodeC004-1722378594-28234
SLURM_JOB_ID= 8249834
Free space on /tmp= 723680 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.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-4464476-1722385793/watcher-4464476-1722385793 -o /tmp/evaluation-result-4464476-1722385793/solver-4464476-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28234 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464476-1722385793.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=1367756045
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.194
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3667.595
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.277
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.300
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.215
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1907.760
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.454
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.237
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125838280 kB
MemAvailable: 126852268 kB
Buffers: 99400 kB
Cached: 1748976 kB
SwapCached: 0 kB
Active: 278248 kB
Inactive: 5099816 kB
Active(anon): 1432 kB
Inactive(anon): 3549608 kB
Active(file): 276816 kB
Inactive(file): 1550208 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28960 kB
Writeback: 0 kB
AnonPages: 3527664 kB
Mapped: 121976 kB
Shmem: 21320 kB
KReclaimable: 54328 kB
Slab: 130620 kB
SReclaimable: 54328 kB
SUnreclaim: 76292 kB
KernelStack: 3952 kB
PageTables: 16528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2062704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6944 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2842624 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: 172872 kB
DirectMap2M: 9168896 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC004 at 2024-07-31 03:29:52