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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 44351488, getVmSize() = 44351488, SCIPgetMemUsed() = 18764033, SCIPgetMemTotal() = 22058905, SCIPgetMemExternEstim() = 11455504
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.19/0.25 c ** Estimated virtualMemUsedAtSolver = 35861845, getVmSize() = 63234048, SCIPgetMemUsed() = 21917021, SCIPgetMemTotal() = 39175661, SCIPgetMemExternEstim() = 11455504
0.19/0.25 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.19/0.25 c Original Problem :
0.19/0.25 c Problem name : instance-4464655-1722386249
0.19/0.25 c Variables : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.25 c Constraints : 7936
0.19/0.25 c Objective sense : minimize
0.19/0.25 c Presolved Problem :
0.19/0.25 c Variables : 2929 (2929 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.25 c Constraints : 6096
0.19/0.25 c Constraints : Number
0.19/0.25 c and : 32
0.19/0.25 c xor : 1
0.19/0.29 c linear : 1135
0.19/0.29 c logicor : 4928
0.19/0.29 c ** Instance transfer method used: 0
0.19/0.29 c ** ParaScipInstance copy does not increase the number of variables. **
0.19/0.29 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.19/0.29 c Nodes Active
0.19/0.29 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
34.36/34.50 c 34 2 1 1 - 0.0000 -
43.13/43.35 c 43 25 24 1 - 0.0000 -
48.31/48.56 c 49 31 30 1 - 0.0000 -
56.38/56.60 c 57 35 34 1 - 0.0000 -
178.68/179.38 c 179 38 37 1 - 0.0000 -
185.07/185.71 c 186 48 47 1 - 0.0000 -
193.35/194.06 c 194 55 54 1 - 0.0000 -
200.22/200.92 c 201 62 61 1 - 0.0000 -
206.30/207.05 c 207 68 67 1 - 0.0000 -
217.57/218.37 c 218 78 77 1 - 0.0000 -
225.54/226.31 c 226 92 91 1 - 0.0000 -
232.22/233.06 c 233 98 97 1 - 0.0000 -
237.30/238.17 c 238 107 106 1 - 0.0000 -
245.37/246.27 c 246 128 127 1 - 0.0000 -
252.45/253.36 c 253 132 131 1 - 0.0000 -
257.73/258.66 c 259 142 141 1 - 0.0000 -
265.41/266.32 c 266 165 164 1 - 0.0000 -
272.78/273.77 c 274 178 177 1 - 0.0000 -
280.36/281.34 c 281 188 187 1 - 0.0000 -
285.94/286.93 c 287 205 204 1 - 0.0000 -
293.21/294.21 c 294 215 214 1 - 0.0000 -
301.59/302.68 c 303 225 224 1 - 0.0000 -
308.27/309.39 c 309 238 237 1 - 0.0000 -
313.75/314.82 c 315 274 273 1 - 0.0000 -
318.83/319.92 c 320 294 293 1 - 0.0000 -
325.61/326.74 c 327 336 335 1 - 0.0000 -
335.28/336.49 c 336 356 355 1 - 0.0000 -
340.56/341.71 c 342 377 376 1 - 0.0000 -
346.95/348.19 c 348 400 399 1 - 0.0000 -
352.22/353.40 c 353 429 428 1 - 0.0000 -
358.60/359.86 c 360 444 443 1 - 0.0000 -
364.78/366.04 c 366 452 451 1 - 0.0000 -
369.77/371.09 c 371 456 455 1 - 0.0000 -
375.74/377.05 c 377 464 463 1 - 0.0000 -
381.32/382.66 c 383 468 467 1 - 0.0000 -
388.50/389.83 c 390 488 487 1 - 0.0000 -
394.48/395.89 c 396 508 507 1 - 0.0000 -
400.06/401.46 c 401 525 524 1 - 0.0000 -
405.74/407.14 c 407 542 541 1 - 0.0000 -
411.32/412.75 c 413 552 551 1 - 0.0000 -
416.50/417.94 c 418 568 567 1 - 0.0000 -
422.18/423.64 c 424 577 576 1 - 0.0000 -
430.86/432.37 c 432 588 587 1 - 0.0000 -
437.84/439.39 c 439 600 599 1 - 0.0000 -
443.02/444.53 c 445 619 618 1 - 0.0000 -
448.00/449.58 c 450 636 635 1 - 0.0000 -
453.08/454.60 c 455 650 649 1 - 0.0000 -
458.36/459.98 c 460 664 663 1 - 0.0000 -
463.45/465.08 c 465 676 675 1 - 0.0000 -
470.32/471.97 c 472 684 683 1 - 0.0000 -
475.70/477.36 c 477 708 705 1 - 0.0000 -
482.78/484.45 c 484 728 725 1 - 0.0000 -
491.05/492.74 c 493 736 733 1 - 0.0000 -
497.82/499.59 c 500 744 741 1 - 0.0000 -
503.60/505.30 c 505 762 759 1 - 0.0000 -
509.68/511.44 c 511 781 778 1 - 0.0000 -
514.67/516.49 c 516 793 790 1 - 0.0000 -
520.65/522.43 c 522 800 797 1 - 0.0000 -
525.93/527.78 c 528 825 822 1 - 0.0000 -
531.11/532.99 c 533 843 840 1 - 0.0000 -
539.58/541.44 c 541 860 857 1 - 0.0000 -
545.96/547.87 c 548 924 921 1 - 0.0000 -
552.25/554.11 c 554 954 951 1 - 0.0000 -
558.32/560.22 c 560 964 961 1 - 0.0000 -
564.21/566.12 c 566 995 992 1 - 0.0000 -
569.58/571.58 c 572 1003 1000 1 - 0.0000 -
576.56/578.53 c 579 1012 1009 1 - 0.0000 -
582.85/584.86 c 585 1036 1033 1 - 0.0000 -
588.04/590.06 c 590 1048 1045 1 - 0.0000 -
596.01/598.08 c 598 1068 1065 1 - 0.0000 -
601.39/603.44 c 603 1082 1079 1 - 0.0000 -
607.27/609.38 c 609 1099 1096 1 - 0.0000 -
615.84/617.95 c 618 1116 1113 1 - 0.0000 -
623.71/625.80 c 626 1132 1129 1 - 0.0000 -
629.59/631.78 c 632 1156 1153 1 - 0.0000 -
635.87/638.01 c 638 1168 1165 1 - 0.0000 -
643.24/645.46 c 645 1182 1175 1 - 0.0000 -
648.72/650.92 c 651 1210 1203 1 - 0.0000 -
655.00/657.21 c 657 1248 1241 1 - 0.0000 -
663.08/665.32 c 665 1258 1251 1 - 0.0000 -
669.76/672.01 c 672 1270 1263 1 - 0.0000 -
677.53/679.88 c 680 1282 1275 1 - 0.0000 -
683.01/685.39 c 685 1302 1295 1 - 0.0000 -
688.09/690.49 c 690 1321 1310 1 - 0.0000 -
693.48/695.88 c 696 1322 1311 1 - 0.0000 -
700.66/703.02 c 703 1362 1351 1 - 0.0000 -
708.22/710.67 c 711 1374 1363 1 - 0.0000 -
714.01/716.46 c 716 1386 1375 1 - 0.0000 -
719.98/722.42 c 722 1424 1411 1 - 0.0000 -
727.86/730.31 c 730 1444 1431 1 - 0.0000 -
734.65/737.15 c 737 1456 1441 1 - 0.0000 -
741.32/743.86 c 744 1476 1461 1 - 0.0000 -
747.40/749.91 c 750 1485 1464 1 - 0.0000 -
752.49/755.02 c 755 1506 1483 1 - 0.0000 -
759.46/762.00 c 762 1546 1515 1 - 0.0000 -
765.44/768.06 c 768 1550 1519 1 - 0.0000 -
772.21/774.84 c 775 1572 1539 1 - 0.0000 -
777.99/780.65 c 781 1596 1561 1 - 0.0000 -
783.27/785.93 c 786 1622 1587 1 - 0.0000 -
789.06/791.76 c 792 1642 1607 1 - 0.0000 -
795.53/798.20 c 798 1661 1626 1 - 0.0000 -
801.91/804.66 c 805 1680 1645 1 - 0.0000 -
809.69/812.45 c 812 1695 1660 1 - 0.0000 -
815.17/817.95 c 818 1731 1696 1 - 0.0000 -
820.65/823.45 c 823 1749 1714 1 - 0.0000 -
825.73/828.52 c 829 1769 1734 1 - 0.0000 -
831.22/834.06 c 834 1784 1749 1 - 0.0000 -
837.89/840.70 c 841 1795 1760 1 - 0.0000 -
845.46/848.32 c 848 1815 1780 1 - 0.0000 -
850.65/853.54 c 854 1823 1788 1 - 0.0000 -
1032.49/1036.02 c 1036 1830 1795 1 - 0.0000 -
1037.96/1041.58 c 1042 1846 1811 1 - 0.0000 -
1044.04/1047.65 c 1048 1874 1839 1 - 0.0000 -
1050.42/1054.06 c 1054 1899 1862 1 - 0.0000 -
1055.80/1059.42 c 1059 1919 1878 1 - 0.0000 -
1061.97/1065.66 c 1066 1959 1918 1 - 0.0000 -
1067.85/1071.59 c 1072 1982 1941 1 - 0.0000 -
1072.93/1076.60 c 1077 1998 1957 1 - 0.0000 -
1078.32/1082.05 c 1082 2019 1978 1 - 0.0000 -
1083.30/1087.10 c 1087 2033 1992 1 - 0.0000 -
1092.26/1096.04 c 1096 2053 2012 1 - 0.0000 -
1101.13/1104.99 c 1105 2093 2052 1 - 0.0000 -
1106.90/1110.74 c 1111 2121 2080 1 - 0.0000 -
1111.98/1115.86 c 1116 2128 2087 1 - 0.0000 -
1119.45/1123.38 c 1123 2153 2112 1 - 0.0000 -
1125.83/1129.76 c 1130 2178 2137 1 - 0.0000 -
1130.91/1134.80 c 1135 2200 2157 1 - 0.0000 -
1136.09/1140.08 c 1140 2219 2176 1 - 0.0000 -
1141.07/1145.10 c 1145 2236 2193 1 - 0.0000 -
1146.15/1150.17 c 1150 2248 2205 1 - 0.0000 -
1154.42/1158.40 c 1158 2288 2241 1 - 0.0000 -
1160.00/1164.09 c 1164 2338 2291 1 - 0.0000 -
1166.27/1170.32 c 1170 2364 2317 1 - 0.0000 -
1172.85/1176.91 c 1177 2403 2352 1 - 0.0000 -
1178.53/1182.63 c 1183 2643 2588 1 - 0.0000 -
1184.11/1188.27 c 1188 3015 2820 1 - 0.0000 -
1191.57/1195.77 c 1196 3092 2866 1 - 0.0000 -
1197.65/1201.82 c 1202 3285 2977 1 - 0.0000 -
1202.74/1206.96 c 1207 3701 2998 1 - 0.0000 -
1207.92/1212.16 c 1212 4078 3003 1 - 0.0000 -
1212.99/1217.29 c 1217 4464 2995 1 - 0.0000 -
1218.17/1222.42 c 1222 4862 2991 1 - 0.0000 -
1223.26/1227.56 c 1228 5307 2996 1 - 0.0000 -
1228.43/1232.77 c 1233 5766 2992 1 - 0.0000 -
1233.51/1237.87 c 1238 6239 3006 1 - 0.0000 -
1238.69/1243.03 c 1243 6635 3007 1 - 0.0000 -
1243.78/1248.16 c 1248 7129 3006 1 - 0.0000 -
1248.85/1253.22 c 1253 7592 3002 1 - 0.0000 -
1254.03/1258.42 c 1258 8015 3008 1 - 0.0000 -
1259.21/1263.61 c 1264 8488 3009 1 - 0.0000 -
1264.59/1269.05 c 1269 9069 3004 1 - 0.0000 -
1269.67/1274.13 c 1274 9481 3016 1 - 0.0000 -
1274.85/1279.34 c 1279 9882 3020 1 - 0.0000 -
1280.03/1284.53 c 1285 10373 3013 1 - 0.0000 -
1285.11/1289.61 c 1290 10864 3025 1 - 0.0000 -
1290.18/1294.74 c 1295 11357 3026 1 - 0.0000 -
1295.26/1299.84 c 1300 11962 3024 1 - 0.0000 -
1300.64/1305.26 c 1305 12354 3057 1 - 0.0000 -
1305.83/1310.44 c 1310 12608 3065 1 - 0.0000 -
1311.20/1315.85 c 1316 12945 3049 1 - 0.0000 -
1316.49/1321.19 c 1321 13144 3063 1 - 0.0000 -
1321.56/1326.26 c 1326 13591 3112 1 - 0.0000 -
1326.64/1331.34 c 1331 14032 3122 1 - 0.0000 -
1331.72/1336.44 c 1336 14410 3141 1 - 0.0000 -
1336.89/1341.68 c 1342 14826 3174 1 - 0.0000 -
1341.98/1346.75 c 1347 15187 3173 1 - 0.0000 -
1347.06/1351.90 c 1352 15601 3193 1 - 0.0000 -
1352.13/1356.97 c 1357 15990 3197 1 - 0.0000 -
1357.41/1362.25 c 1362 16343 3188 1 - 0.0000 -
1362.59/1367.41 c 1367 16724 3225 1 - 0.0000 -
1367.77/1372.66 c 1373 16979 3240 1 - 0.0000 -
1373.05/1377.98 c 1378 17387 3294 1 - 0.0000 -
1378.33/1383.22 c 1383 17787 3318 1 - 0.0000 -
1383.51/1388.43 c 1388 18081 3345 1 - 0.0000 -
1388.69/1393.65 c 1394 18497 3345 1 - 0.0000 -
1393.88/1398.87 c 1399 18902 3346 1 - 0.0000 -
1399.06/1404.10 c 1404 19236 3356 1 - 0.0000 -
1404.33/1409.39 c 1409 19679 3333 1 - 0.0000 -
1409.51/1414.50 c 1414 20128 3329 1 - 0.0000 -
1414.79/1419.87 c 1420 20497 3343 1 - 0.0000 -
1420.08/1425.11 c 1425 20909 3347 1 - 0.0000 -
1425.25/1430.32 c 1430 21192 3338 1 - 0.0000 -
1430.33/1435.41 c 1435 21526 3369 1 - 0.0000 -
1435.51/1440.65 c 1441 22050 3337 1 - 0.0000 -
1440.69/1445.87 c 1446 22410 3342 1 - 0.0000 -
1445.97/1451.17 c 1451 22795 3313 1 - 0.0000 -
1451.15/1456.39 c 1456 23129 3314 1 - 0.0000 -
1456.62/1461.87 c 1462 23482 3301 1 - 0.0000 -
1462.00/1467.23 c 1467 23756 3298 1 - 0.0000 -
1467.28/1472.50 c 1472 24042 3304 1 - 0.0000 -
1472.37/1477.64 c 1478 24463 3287 1 - 0.0000 -
1477.56/1482.83 c 1483 24841 3263 1 - 0.0000 -
1482.64/1487.98 c 1488 25215 3276 1 - 0.0000 -
1487.83/1493.14 c 1493 25502 3297 1 - 0.0000 -
1493.00/1498.31 c 1498 25786 3346 1 - 0.0000 -
1498.08/1503.42 c 1503 26085 3357 1 - 0.0000 -
1503.36/1508.74 c 1509 26411 3362 1 - 0.0000 -
1508.54/1513.96 c 1514 26726 3387 1 - 0.0000 -
1513.73/1519.17 c 1519 27028 3386 1 - 0.0000 -
1519.21/1524.64 c 1525 27281 3391 1 - 0.0000 -
1524.49/1529.93 c 1530 27567 3400 1 - 0.0000 -
1529.68/1535.11 c 1535 27787 3419 1 - 0.0000 -
1534.76/1540.25 c 1540 28233 3442 1 - 0.0000 -
1539.84/1545.38 c 1545 28487 3438 1 - 0.0000 -
1545.02/1550.50 c 1550 28841 3464 1 - 0.0000 -
1550.10/1555.66 c 1556 29194 3459 1 - 0.0000 -
1555.38/1560.93 c 1561 29593 3445 1 - 0.0000 -
1561.06/1566.64 c 1567 29876 3466 1 - 0.0000 -
1566.25/1571.87 c 1572 30143 3470 1 - 0.0000 -
1571.43/1577.04 c 1577 30411 3474 1 - 0.0000 -
1576.61/1582.27 c 1582 30668 3493 1 - 0.0000 -
1581.79/1587.47 c 1587 30996 3494 1 - 0.0000 -
1586.87/1592.55 c 1593 31368 3490 1 - 0.0000 -
1591.95/1597.67 c 1598 31648 3495 1 - 0.0000 -
1597.14/1602.84 c 1603 32270 3514 1 - 0.0000 -
1602.22/1607.90 c 1608 32912 3518 1 - 0.0000 -
1607.31/1613.08 c 1613 33406 3515 1 - 0.0000 -
1612.49/1618.23 c 1618 34006 3510 1 - 0.0000 -
1617.57/1623.34 c 1623 34648 3496 1 - 0.0000 -
1622.65/1628.48 c 1628 35135 3496 1 - 0.0000 -
1628.13/1633.90 c 1634 35664 3499 1 - 0.0000 -
1633.51/1639.33 c 1639 36045 3506 1 - 0.0000 -
1638.79/1644.60 c 1645 36440 3508 1 - 0.0000 -
1644.08/1649.94 c 1650 36722 3510 1 - 0.0000 -
1649.36/1655.28 c 1655 37049 3546 1 - 0.0000 -
1654.64/1660.51 c 1661 37557 3545 1 - 0.0000 -
1659.62/1665.59 c 1666 37978 3545 1 - 0.0000 -
1664.80/1670.76 c 1671 38368 3544 1 - 0.0000 -
1670.58/1676.56 c 1677 38629 3546 1 - 0.0000 -
1675.96/1681.93 c 1682 39069 3575 1 - 0.0000 -
1681.05/1687.10 c 1687 39399 3552 1 - 0.0000 -
1686.23/1692.20 c 1692 39633 3539 1 - 0.0000 -
1691.41/1697.46 c 1697 40032 3579 1 - 0.0000 -
1696.59/1702.68 c 1703 40372 3620 1 - 0.0000 -
1701.87/1707.91 c 1708 40730 3618 1 - 0.0000 -
1707.06/1713.12 c 1713 41038 3621 1 - 0.0000 -
1712.24/1718.31 c 1718 41420 3626 1 - 0.0000 -
1717.42/1723.59 c 1724 41641 3606 1 - 0.0000 -
1722.70/1728.88 c 1729 42025 3616 1 - 0.0000 -
1727.99/1734.19 c 1734 42333 3612 1 - 0.0000 -
1733.26/1739.44 c 1739 42703 3646 1 - 0.0000 -
1738.34/1744.56 c 1745 43096 3653 1 - 0.0000 -
1743.63/1749.84 c 1750 43546 3640 1 - 0.0000 -
1748.82/1755.03 c 1755 43851 3639 1 - 0.0000 -
1754.00/1760.29 c 1760 44280 3649 1 - 0.0000 -
1759.27/1765.57 c 1766 44598 3648 1 - 0.0000 -
1764.35/1770.65 c 1771 45011 3654 1 - 0.0000 -
1769.75/1776.01 c 1776 45354 3658 1 - 0.0000 -
1774.92/1781.29 c 1781 45850 3651 1 - 0.0000 -
1780.10/1786.49 c 1786 46238 3642 1 - 0.0000 -
1785.28/1791.67 c 1792 46831 3638 1 - 0.0000 -
1790.36/1796.75 c 1797 47291 3679 1 - 0.0000 -
1795.76/1802.11 c 1802 47669 3680 1 - 0.0000 -
1801.13/1807.54 c 1808 47888 3675 1 - 0.0000 -
1806.51/1812.96 c 1813 48323 3671 1 - 0.0000 -
1811.60/1818.09 c 1818 48810 3651 1 - 0.0000 -
1817.17/1823.65 c 1824 49253 3635 1 - 0.0000 -
1822.45/1828.99 c 1829 49543 3646 1 - 0.0000 -
1827.65/1834.19 c 1834 49832 3645 1 - 0.0000 -
1832.92/1839.40 c 1839 50093 3642 1 - 0.0000 -
1838.30/1844.83 c 1845 50347 3634 1 - 0.0000 -
1843.49/1850.05 c 1850 50601 3632 1 - 0.0000 -
1848.87/1855.42 c 1855 50949 3643 1 - 0.0000 -
1854.14/1860.78 c 1861 51345 3623 1 - 0.0000 -
1859.33/1865.91 c 1866 51717 3632 1 - 0.0000 -
1864.42/1871.03 c 1871 52184 3619 1 - 0.0000 -
1869.80/1876.41 c 1876 52522 3613 1 - 0.0000 -
1874.88/1881.55 c 1882 52852 3602 1 - 0.0000 -
1879.96/1886.68 c 1887 53360 3601 1 - 0.0000 -
1885.14/1891.87 c 1892 53653 3608 1 - 0.0000 -
1890.33/1897.02 c 1897 54131 3615 1 - 0.0000 -
1895.51/1902.20 c 1902 54397 3622 1 - 0.0000 -
1900.79/1907.57 c 1908 54878 3605 1 - 0.0000 -
1906.07/1912.86 c 1913 55157 3590 1 - 0.0000 -
1911.26/1918.06 c 1918 55523 3599 1 - 0.0000 -
1916.63/1923.46 c 1923 55843 3603 1 - 0.0000 -
1922.01/1928.80 c 1929 56203 3622 1 - 0.0000 -
1927.10/1933.97 c 1934 56541 3623 1 - 0.0000 -
1932.18/1939.10 c 1939 56882 3622 1 - 0.0000 -
1937.37/1944.22 c 1944 57203 3616 1 - 0.0000 -
1942.45/1949.36 c 1949 57694 3633 1 - 0.0000 -
1947.53/1954.46 c 1954 58297 3641 1 - 0.0000 -
1952.61/1959.54 c 1960 58768 3626 1 - 0.0000 -
1957.69/1964.64 c 1965 59218 3602 1 - 0.0000 -
1962.87/1969.87 c 1970 59536 3589 1 - 0.0000 -
1967.95/1974.95 c 1975 59786 3594 1 - 0.0000 -
1973.05/1980.09 c 1980 60001 3592 1 - 0.0000 -
1978.42/1985.45 c 1985 60395 3592 1 - 0.0000 -
1984.11/1991.11 c 1991 60644 3581 1 - 0.0000 -
1989.18/1996.25 c 1996 61010 3584 1 - 0.0000 -
1994.26/2001.37 c 2001 61319 3622 1 - 0.0000 -
1999.35/2006.42 c 2006 61997 3632 1 - 0.0000 -
2004.43/2011.58 c 2012 62691 3628 1 - 0.0000 -
2009.61/2016.76 c 2017 63143 3625 1 - 0.0000 -
2014.79/2021.91 c 2022 63619 3614 1 - 0.0000 -
2019.88/2027.09 c 2027 64121 3606 1 - 0.0000 -
2025.15/2032.31 c 2032 64547 3611 1 - 0.0000 -
2030.34/2037.55 c 2038 64942 3604 1 - 0.0000 -
2035.72/2042.99 c 2043 65320 3594 1 - 0.0000 -
2040.91/2048.11 c 2048 65678 3612 1 - 0.0000 -
2045.89/2053.18 c 2053 66149 3627 1 - 0.0000 -
2051.06/2058.38 c 2058 66606 3602 1 - 0.0000 -
2056.25/2063.58 c 2064 67051 3579 1 - 0.0000 -
2061.73/2069.00 c 2069 67392 3557 1 - 0.0000 -
2066.81/2074.15 c 2074 67712 3534 1 - 0.0000 -
2072.10/2079.48 c 2079 67971 3516 1 - 0.0000 -
2077.18/2084.54 c 2085 68340 3509 1 - 0.0000 -
2082.26/2089.64 c 2090 68773 3521 1 - 0.0000 -
2087.34/2094.77 c 2095 69133 3528 1 - 0.0000 -
2092.82/2100.22 c 2100 69543 3539 1 - 0.0000 -
2098.00/2105.44 c 2105 70040 3559 1 - 0.0000 -
2103.18/2110.65 c 2111 70499 3569 1 - 0.0000 -
2108.46/2115.91 c 2116 70928 3571 1 - 0.0000 -
2113.56/2121.06 c 2121 71391 3568 1 - 0.0000 -
2118.73/2126.26 c 2126 71788 3559 1 - 0.0000 -
2123.82/2131.34 c 2131 72154 3587 1 - 0.0000 -
2128.89/2136.46 c 2136 72681 3567 1 - 0.0000 -
2133.98/2141.56 c 2142 73159 3554 1 - 0.0000 -
2139.16/2146.76 c 2147 73539 3553 1 - 0.0000 -
2144.34/2151.94 c 2152 73872 3559 1 - 0.0000 -
2149.53/2157.20 c 2157 74220 3549 1 - 0.0000 -
2154.61/2162.29 c 2162 74561 3539 1 - 0.0000 -
2159.79/2167.40 c 2167 74905 3530 1 - 0.0000 -
2164.97/2172.68 c 2173 75257 3507 1 - 0.0000 -
2170.05/2177.76 c 2178 75632 3478 1 - 0.0000 -
2175.44/2183.19 c 2183 75927 3455 1 - 0.0000 -
2180.71/2188.40 c 2188 76372 3470 1 - 0.0000 -
2185.79/2193.56 c 2194 76810 3495 1 - 0.0000 -
2190.87/2198.68 c 2199 77140 3498 1 - 0.0000 -
2195.95/2203.76 c 2204 77474 3483 1 - 0.0000 -
2201.04/2208.82 c 2209 77975 3482 1 - 0.0000 -
2206.12/2213.99 c 2214 78331 3474 1 - 0.0000 -
2211.40/2219.28 c 2219 78725 3469 1 - 0.0000 -
2216.68/2224.52 c 2225 79100 3455 1 - 0.0000 -
2221.76/2229.69 c 2230 79529 3441 1 - 0.0000 -
2227.04/2234.93 c 2235 79832 3448 1 - 0.0000 -
2232.23/2240.15 c 2240 80155 3426 1 - 0.0000 -
2237.41/2245.31 c 2245 80547 3419 1 - 0.0000 -
2242.49/2250.48 c 2250 80922 3411 1 - 0.0000 -
2247.67/2255.63 c 2256 81246 3411 1 - 0.0000 -
2252.75/2260.77 c 2261 81518 3415 1 - 0.0000 -
2258.05/2266.05 c 2266 81870 3411 1 - 0.0000 -
2263.32/2271.35 c 2271 82202 3402 1 - 0.0000 -
2268.40/2276.43 c 2276 82631 3425 1 - 0.0000 -
2273.78/2281.87 c 2282 83002 3425 1 - 0.0000 -
2279.07/2287.11 c 2287 83393 3424 1 - 0.0000 -
2284.25/2292.30 c 2292 83746 3417 1 - 0.0000 -
2289.33/2297.43 c 2297 84083 3414 1 - 0.0000 -
2294.52/2302.65 c 2303 84516 3407 1 - 0.0000 -
2299.80/2307.98 c 2308 84873 3396 1 - 0.0000 -
2304.98/2313.17 c 2313 85208 3377 1 - 0.0000 -
2310.16/2318.34 c 2318 85512 3380 1 - 0.0000 -
2315.44/2323.62 c 2324 85867 3377 1 - 0.0000 -
2320.62/2328.84 c 2329 86206 3369 1 - 0.0000 -
2325.70/2333.91 c 2334 86551 3354 1 - 0.0000 -
2330.79/2339.10 c 2339 86917 3357 1 - 0.0000 -
2336.06/2344.33 c 2344 87348 3365 1 - 0.0000 -
2341.25/2349.55 c 2350 87765 3356 1 - 0.0000 -
2346.33/2354.66 c 2355 88208 3359 1 - 0.0000 -
2351.61/2359.92 c 2360 88562 3363 1 - 0.0000 -
2356.99/2365.33 c 2365 88895 3364 1 - 0.0000 -
2362.18/2370.52 c 2371 89226 3362 1 - 0.0000 -
2367.26/2375.63 c 2376 89580 3366 1 - 0.0000 -
2372.34/2380.79 c 2381 90001 3362 1 - 0.0000 -
2377.92/2386.38 c 2386 90371 3331 1 - 0.0000 -
2383.00/2391.49 c 2391 90651 3317 1 - 0.0000 -
2388.59/2397.05 c 2397 90983 3303 1 - 0.0000 -
2393.87/2402.30 c 2402 91315 3297 1 - 0.0000 -
2399.35/2407.83 c 2408 91595 3322 1 - 0.0000 -
2404.53/2413.05 c 2413 91885 3340 1 - 0.0000 -
2410.01/2418.53 c 2419 92255 3336 1 - 0.0000 -
2415.19/2423.72 c 2424 92511 3375 1 - 0.0000 -
2420.28/2428.85 c 2429 92818 3356 1 - 0.0000 -
2425.36/2433.95 c 2434 93109 3373 1 - 0.0000 -
2430.55/2439.17 c 2439 93569 3382 1 - 0.0000 -
2435.92/2444.58 c 2445 93998 3385 1 - 0.0000 -
2441.00/2449.67 c 2450 94386 3403 1 - 0.0000 -
2446.28/2454.92 c 2455 94786 3458 1 - 0.0000 -
2451.66/2460.33 c 2460 95229 3472 1 - 0.0000 -
2457.04/2465.77 c 2466 95616 3471 1 - 0.0000 -
2462.43/2471.15 c 2471 96009 3463 1 - 0.0000 -
2467.81/2476.56 c 2477 96347 3487 1 - 0.0000 -
2472.99/2481.78 c 2482 96765 3499 1 - 0.0000 -
2478.27/2487.01 c 2487 97159 3508 1 - 0.0000 -
2483.55/2492.37 c 2492 97475 3506 1 - 0.0000 -
2488.73/2497.59 c 2498 97855 3512 1 - 0.0000 -
2493.91/2502.70 c 2503 98232 3521 1 - 0.0000 -
2499.29/2508.14 c 2508 98494 3521 1 - 0.0000 -
2504.57/2513.49 c 2513 98879 3523 1 - 0.0000 -
2509.96/2518.89 c 2519 99203 3527 1 - 0.0000 -
2515.24/2524.10 c 2524 99502 3512 1 - 0.0000 -
2520.31/2529.28 c 2529 99775 3501 1 - 0.0000 -
2525.80/2534.70 c 2535 100220 3488 1 - 0.0000 -
2530.97/2539.99 c 2540 100560 3492 1 - 0.0000 -
2536.36/2545.39 c 2545 100906 3488 1 - 0.0000 -
2541.64/2550.62 c 2551 101201 3481 1 - 0.0000 -
2546.83/2555.83 c 2556 101486 3484 1 - 0.0000 -
2552.30/2561.32 c 2561 101776 3484 1 - 0.0000 -
2557.49/2566.50 c 2566 102043 3484 1 - 0.0000 -
2562.57/2571.64 c 2572 102357 3503 1 - 0.0000 -
2567.65/2576.76 c 2577 102748 3497 1 - 0.0000 -
2572.83/2581.92 c 2582 103216 3498 1 - 0.0000 -
2578.22/2587.37 c 2587 103529 3489 1 - 0.0000 -
2583.40/2592.55 c 2593 103826 3499 1 - 0.0000 -
2588.58/2597.75 c 2598 104167 3498 1 - 0.0000 -
2593.76/2602.97 c 2603 104451 3489 1 - 0.0000 -
2599.35/2608.51 c 2609 104898 3482 1 - 0.0000 -
2604.63/2613.86 c 2614 105274 3483 1 - 0.0000 -
2609.81/2619.06 c 2619 105662 3492 1 - 0.0000 -
2614.99/2624.22 c 2624 106108 3481 1 - 0.0000 -
2620.17/2629.46 c 2629 106457 3464 1 - 0.0000 -
2625.25/2634.53 c 2635 106718 3458 1 - 0.0000 -
2630.53/2639.85 c 2640 107185 3456 1 - 0.0000 -
2635.73/2645.07 c 2645 107635 3454 1 - 0.0000 -
2640.81/2650.13 c 2650 108158 3447 1 - 0.0000 -
2646.08/2655.43 c 2655 108514 3430 1 - 0.0000 -
2651.56/2660.95 c 2661 108793 3454 1 - 0.0000 -
2656.64/2666.05 c 2666 109273 3460 1 - 0.0000 -
2661.82/2671.21 c 2671 109700 3476 1 - 0.0000 -
2666.91/2676.37 c 2676 110162 3477 1 - 0.0000 -
2672.39/2681.80 c 2682 110554 3460 1 - 0.0000 -
2677.57/2687.08 c 2687 110951 3455 1 - 0.0000 -
2682.66/2692.19 c 2692 111392 3457 1 - 0.0000 -
2688.03/2697.53 c 2698 111750 3456 1 - 0.0000 -
2693.21/2702.79 c 2703 111922 3457 1 - 0.0000 -
2698.51/2708.03 c 2708 112226 3439 1 - 0.0000 -
2703.68/2713.23 c 2713 112662 3433 1 - 0.0000 -
2709.47/2719.01 c 2719 113059 3424 1 - 0.0000 -
2714.64/2724.25 c 2724 113359 3410 1 - 0.0000 -
2719.83/2729.46 c 2729 113689 3406 1 - 0.0000 -
2725.01/2734.63 c 2735 114032 3402 1 - 0.0000 -
2730.19/2739.81 c 2740 114348 3395 1 - 0.0000 -
2735.27/2744.95 c 2745 114654 3382 1 - 0.0000 -
2740.65/2750.34 c 2750 114882 3380 1 - 0.0000 -
2745.93/2755.67 c 2756 115160 3375 1 - 0.0000 -
2751.21/2760.91 c 2761 115503 3360 1 - 0.0000 -
2756.40/2766.20 c 2766 115820 3349 1 - 0.0000 -
2761.48/2771.26 c 2771 116189 3352 1 - 0.0000 -
2766.66/2776.48 c 2776 116623 3360 1 - 0.0000 -
2772.14/2781.99 c 2782 116904 3345 1 - 0.0000 -
2777.33/2787.17 c 2787 117206 3351 1 - 0.0000 -
2782.61/2792.40 c 2792 117519 3338 1 - 0.0000 -
2788.19/2798.03 c 2798 117794 3355 1 - 0.0000 -
2793.47/2803.36 c 2803 118039 3345 1 - 0.0000 -
2798.75/2808.65 c 2809 118322 3343 1 - 0.0000 -
2803.93/2813.82 c 2814 118637 3343 1 - 0.0000 -
2809.12/2819.03 c 2819 118873 3333 1 - 0.0000 -
2814.29/2824.29 c 2824 119265 3347 1 - 0.0000 -
2819.47/2829.43 c 2829 119518 3323 1 - 0.0000 -
2824.66/2834.65 c 2835 119642 3328 1 - 0.0000 -
2830.14/2840.13 c 2840 119897 3301 1 - 0.0000 -
2835.32/2845.33 c 2845 120112 3283 1 - 0.0000 -
2840.40/2850.46 c 2850 120347 3286 1 - 0.0000 -
2845.48/2855.57 c 2856 120559 3278 1 - 0.0000 -
2850.66/2860.78 c 2861 120749 3294 1 - 0.0000 -
2855.95/2866.06 c 2866 121054 3292 1 - 0.0000 -
2861.24/2871.38 c 2871 121407 3272 1 - 0.0000 -
2866.42/2876.52 c 2877 121798 3293 1 - 0.0000 -
2871.60/2881.77 c 2882 122119 3297 1 - 0.0000 -
2876.88/2887.05 c 2887 122506 3287 1 - 0.0000 -
2881.96/2892.12 c 2892 122894 3272 1 - 0.0000 -
2887.04/2897.26 c 2897 123378 3284 1 - 0.0000 -
2892.12/2902.38 c 2902 123750 3279 1 - 0.0000 -
2897.31/2907.55 c 2908 124341 3288 1 - 0.0000 -
2902.48/2912.73 c 2913 124935 3277 1 - 0.0000 -
2907.57/2917.86 c 2918 125386 3280 1 - 0.0000 -
2912.65/2922.96 c 2923 125793 3266 1 - 0.0000 -
2917.84/2928.16 c 2928 126118 3278 1 - 0.0000 -
2923.21/2933.50 c 2934 126494 3266 1 - 0.0000 -
2928.40/2938.78 c 2939 126865 3293 1 - 0.0000 -
2933.88/2944.22 c 2944 127017 3318 1 - 0.0000 -
2939.46/2949.80 c 2950 127183 3331 1 - 0.0000 -
2944.94/2955.32 c 2955 127371 3380 1 - 0.0000 -
2950.42/2960.86 c 2961 127596 3393 1 - 0.0000 -
2955.71/2966.13 c 2966 127878 3413 1 - 0.0000 -
2961.08/2971.55 c 2972 128219 3440 1 - 0.0000 -
2966.27/2976.79 c 2977 128535 3432 1 - 0.0000 -
2971.35/2981.89 c 2982 128858 3430 1 - 0.0000 -
2976.83/2987.34 c 2987 129151 3415 1 - 0.0000 -
2982.01/2992.56 c 2993 129392 3395 1 - 0.0000 -
2987.09/2997.67 c 2998 129686 3400 1 - 0.0000 -
2992.17/3002.76 c 3003 130045 3397 1 - 0.0000 -
2997.25/3007.86 c 3008 130472 3419 1 - 0.0000 -
3002.45/3013.03 c 3013 130773 3441 1 - 0.0000 -
3007.62/3018.26 c 3018 131086 3456 1 - 0.0000 -
3012.70/3023.32 c 3023 131556 3464 1 - 0.0000 -
3017.78/3028.48 c 3028 131943 3461 1 - 0.0000 -
3023.06/3033.71 c 3034 132253 3441 1 - 0.0000 -
3028.15/3038.84 c 3039 132475 3433 1 - 0.0000 -
3033.34/3044.04 c 3044 132874 3423 1 - 0.0000 -
3038.42/3049.12 c 3049 133260 3432 1 - 0.0000 -
3043.80/3054.56 c 3055 133611 3414 1 - 0.0000 -
3048.88/3059.66 c 3060 134015 3430 1 - 0.0000 -
3054.06/3064.86 c 3065 134365 3445 1 - 0.0000 -
3059.44/3070.21 c 3070 134652 3440 1 - 0.0000 -
3064.62/3075.46 c 3075 134880 3443 1 - 0.0000 -
3069.80/3080.67 c 3081 135154 3447 1 - 0.0000 -
3074.89/3085.74 c 3086 135373 3439 1 - 0.0000 -
3080.07/3090.96 c 3091 135618 3434 1 - 0.0000 -
3085.35/3096.24 c 3096 135834 3425 1 - 0.0000 -
3090.53/3101.41 c 3101 136234 3481 1 - 0.0000 -
3095.62/3106.55 c 3107 136706 3477 1 - 0.0000 -
3101.10/3112.10 c 3112 137091 3467 1 - 0.0000 -
3106.18/3117.19 c 3117 137523 3470 1 - 0.0000 -
3111.36/3122.36 c 3122 137844 3474 1 - 0.0000 -
3116.44/3127.46 c 3127 138158 3459 1 - 0.0000 -
3121.53/3132.53 c 3133 138599 3450 1 - 0.0000 -
3126.71/3137.74 c 3138 138988 3443 1 - 0.0000 -
3132.00/3143.07 c 3143 139327 3439 1 - 0.0000 -
3137.08/3148.14 c 3148 139691 3455 1 - 0.0000 -
3142.26/3153.33 c 3153 140247 3455 1 - 0.0000 -
3147.34/3158.45 c 3158 140671 3464 1 - 0.0000 -
3152.52/3163.63 c 3164 141105 3457 1 - 0.0000 -
3157.60/3168.71 c 3169 141485 3466 1 - 0.0000 -
3162.70/3173.84 c 3174 141909 3460 1 - 0.0000 -
3168.08/3179.23 c 3179 142287 3449 1 - 0.0000 -
3173.26/3184.44 c 3184 142659 3428 1 - 0.0000 -
3178.44/3189.69 c 3190 142958 3429 1 - 0.0000 -
3183.83/3195.01 c 3195 143247 3386 1 - 0.0000 -
3188.92/3200.16 c 3200 143532 3380 1 - 0.0000 -
3194.09/3205.32 c 3205 143888 3371 1 - 0.0000 -
3199.28/3210.55 c 3211 144171 3345 1 - 0.0000 -
3204.46/3215.70 c 3216 144393 3330 1 - 0.0000 -
3209.75/3221.09 c 3221 144712 3319 1 - 0.0000 -
3215.02/3226.35 c 3226 144993 3283 1 - 0.0000 -
3220.31/3231.63 c 3232 145286 3264 1 - 0.0000 -
3225.50/3236.88 c 3237 145597 3325 1 - 0.0000 -
3230.69/3242.08 c 3242 145875 3325 1 - 0.0000 -
3235.86/3247.22 c 3247 146305 3347 1 - 0.0000 -
3240.95/3252.34 c 3252 146695 3404 1 - 0.0000 -
3246.03/3257.45 c 3257 147039 3440 1 - 0.0000 -
3251.31/3262.75 c 3263 147346 3441 1 - 0.0000 -
3256.60/3268.01 c 3268 147768 3480 1 - 0.0000 -
3261.69/3273.14 c 3273 148281 3543 1 - 0.0000 -
3266.86/3278.38 c 3278 148767 3572 1 - 0.0000 -
3271.95/3283.43 c 3283 149268 3653 1 - 0.0000 -
3277.03/3288.54 c 3289 149740 3706 1 - 0.0000 -
3282.41/3293.95 c 3294 150050 3724 1 - 0.0000 -
3287.69/3299.25 c 3299 150380 3758 1 - 0.0000 -
3292.98/3304.57 c 3305 150730 3767 1 - 0.0000 -
3298.17/3309.76 c 3310 151146 3758 1 - 0.0000 -
3303.25/3314.85 c 3315 151510 3760 1 - 0.0000 -
3308.54/3320.17 c 3320 151890 3759 1 - 0.0000 -
3313.72/3325.31 c 3325 152206 3796 1 - 0.0000 -
3318.70/3330.39 c 3330 152656 3807 1 - 0.0000 -
3323.98/3335.60 c 3336 153279 3823 1 - 0.0000 -
3329.07/3340.71 c 3341 153822 3821 1 - 0.0000 -
3334.05/3345.78 c 3346 154471 3815 1 - 0.0000 -
3339.14/3350.89 c 3351 154898 3836 1 - 0.0000 -
3344.52/3356.29 c 3356 155170 3825 1 - 0.0000 -
3349.58/3361.39 c 3361 155488 3843 1 - 0.0000 -
3354.66/3366.49 c 3366 155880 3884 1 - 0.0000 -
3359.95/3371.74 c 3372 156285 3898 1 - 0.0000 -
3365.13/3376.95 c 3377 156716 4001 1 - 0.0000 -
3370.22/3382.07 c 3382 157319 3976 1 - 0.0000 -
3375.40/3387.28 c 3387 157732 3988 1 - 0.0000 -
3380.98/3392.82 c 3393 158190 3981 1 - 0.0000 -
3386.17/3398.00 c 3398 158576 3999 1 - 0.0000 -
3391.35/3403.23 c 3403 158854 4016 1 - 0.0000 -
3396.43/3408.33 c 3408 159231 4079 1 - 0.0000 -
3401.52/3413.46 c 3413 159620 4095 1 - 0.0000 -
3407.00/3418.93 c 3419 159956 4101 1 - 0.0000 -
3412.19/3424.18 c 3424 160319 4108 1 - 0.0000 -
3417.36/3429.37 c 3429 160637 4098 1 - 0.0000 -
3422.66/3434.68 c 3435 160969 4102 1 - 0.0000 -
3427.84/3439.80 c 3440 161215 4097 1 - 0.0000 -
3432.92/3444.94 c 3445 161648 4098 1 - 0.0000 -
3438.11/3450.14 c 3450 161985 4116 1 - 0.0000 -
3443.19/3455.25 c 3455 162306 4089 1 - 0.0000 -
3448.77/3460.80 c 3461 162571 4073 1 - 0.0000 -
3453.96/3466.06 c 3466 162949 4056 1 - 0.0000 -
3459.34/3471.42 c 3471 163302 4059 1 - 0.0000 -
3464.42/3476.51 c 3477 163755 4077 1 - 0.0000 -
3469.61/3481.71 c 3482 164107 4100 1 - 0.0000 -
3474.70/3486.82 c 3487 164516 4089 1 - 0.0000 -
3479.78/3491.96 c 3492 164875 4084 1 - 0.0000 -
3484.97/3497.18 c 3497 165258 4063 1 - 0.0000 -
3490.04/3502.26 c 3502 165684 4077 1 - 0.0000 -
3495.22/3507.45 c 3507 166162 4074 1 - 0.0000 -
3500.31/3512.55 c 3513 166722 4073 1 - 0.0000 -
3505.39/3517.66 c 3518 167163 4088 1 - 0.0000 -
3510.79/3523.07 c 3523 167432 4062 1 - 0.0000 -
3516.06/3528.37 c 3528 167739 4084 1 - 0.0000 -
3521.15/3533.44 c 3533 168153 4080 1 - 0.0000 -
3526.33/3538.69 c 3539 168580 4093 1 - 0.0000 -
3531.52/3543.86 c 3544 168810 4084 1 - 0.0000 -
3536.70/3549.07 c 3549 169124 4082 1 - 0.0000 -
3541.98/3554.39 c 3554 169442 4076 1 - 0.0000 -
3547.26/3559.65 c 3560 169728 4084 1 - 0.0000 -
3552.65/3565.09 c 3565 170035 4121 1 - 0.0000 -
3557.93/3570.36 c 3570 170459 4120 1 - 0.0000 -
3563.21/3575.65 c 3576 170870 4141 1 - 0.0000 -
3568.40/3580.81 c 3581 171217 4155 1 - 0.0000 -
3573.48/3585.95 c 3586 171517 4183 1 - 0.0000 -
3578.86/3591.35 c 3591 171805 4165 1 - 0.0000 -
3584.05/3596.54 c 3597 172132 4164 1 - 0.0000 -
3585.55/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.55/3598.05 c Total Time : 3598.0500
3585.55/3598.05 c solving : 3598.0500
3585.55/3598.05 c presolving : 0.2235 (included in solving)
3585.55/3598.05 c B&B Tree :
3585.55/3598.05 c nodes (total) : 1
3585.55/3598.05 c Solution :
3585.55/3598.05 c Solutions found : 0
3585.55/3598.05 c Primal Bound : -
3585.55/3598.05 c Dual Bound : +0.00000000000000e+00
3585.55/3598.05 c Gap : -
3585.55/3598.06 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 (61584 MiB free)
memory of node 1: 64473 MiB (62912 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464655-1722386249/watcher-4464655-1722386249 -o /tmp/evaluation-result-4464655-1722386249/solver-4464655-1722386249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28857 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464655-1722386249.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=33639, runsolver pid=33636
[startup+0.100302 s]*
/proc/loadavg: 4.08 4.10 4.09 5/261 33640
/proc/meminfo: memFree=127453956/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=52224 memory=41468 CPUtime=0.09 cores=0,2
/proc/33639/stat : 33639 (fscip) R 33636 33639 28847 0 -1 4194304 8846 0 0 0 8 1 0 0 20 0 1 0 5221915 53477376 10367 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 13056 10367 2726 3035 0 9452 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52224 KiB
Current children cumulated memory: 41468 KiB
[startup+0.206316 s]*
/proc/loadavg: 4.08 4.10 4.09 6/261 33640
/proc/meminfo: memFree=127452276/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=54036 memory=43112 CPUtime=0.19 cores=0,2
/proc/33639/stat : 33639 (fscip) R 33636 33639 28847 0 -1 4194304 9252 0 0 0 18 1 0 0 20 0 1 0 5221915 55332864 10778 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 13509 10778 2742 3035 0 9905 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54036 KiB
Current children cumulated memory: 43112 KiB
[startup+0.386299 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 33642
/proc/meminfo: memFree=127419464/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=153112 memory=75668 CPUtime=0.36 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 18969 0 0 0 34 2 0 0 20 0 3 0 5221915 156786688 18917 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 38278 18917 2790 3035 0 23445 0
[pid=33639/tid=33641] ppid=33636 vsize=153112 memory=-5155629102571023237 CPUtime=0.11 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 6340 0 0 0 11 0 0 0 20 0 3 0 5221940 156786688 18917 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=153112 memory=0 CPUtime=0 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5221943 156786688 18917 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 153112 KiB
Current children cumulated memory: 75668 KiB
[startup+0.700237 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 33642
/proc/meminfo: memFree=127411732/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=158236 memory=114044 CPUtime=0.67 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 28444 0 0 0 64 3 0 0 20 0 3 0 5221915 162033664 28511 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 39559 28511 2966 3035 0 33535 0
[pid=33639/tid=33641] ppid=33636 vsize=158236 memory=5472 CPUtime=0.41 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 15815 0 0 0 40 1 0 0 20 0 3 0 5221940 162033664 28511 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=158236 memory=417 CPUtime=0 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5221943 162033664 28511 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 158236 KiB
Current children cumulated memory: 114044 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 33643
/proc/meminfo: memFree=127382788/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=154136 memory=112648 CPUtime=1.47 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 31202 0 0 0 143 4 0 0 20 0 3 0 5221915 157835264 28162 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 38534 28162 2966 3035 0 33057 0
[pid=33639/tid=33641] ppid=33636 vsize=154136 memory=417 CPUtime=1.21 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 18573 0 0 0 119 2 0 0 20 0 3 0 5221940 157835264 28162 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=154136 memory=0 CPUtime=0 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5221943 157835264 28162 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 154136 KiB
Current children cumulated memory: 112648 KiB
[startup+3.10528 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 33643
/proc/meminfo: memFree=127382896/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=154136 memory=112656 CPUtime=3.07 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 37744 0 0 0 303 4 0 0 20 0 3 0 5221915 157835264 28164 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 38534 28164 2966 3035 0 33057 0
[pid=33639/tid=33641] ppid=33636 vsize=154136 memory=-5155629102571023237 CPUtime=2.81 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 25113 0 0 0 279 2 0 0 20 0 3 0 5221940 157835264 28164 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=154136 memory=0 CPUtime=0 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5221943 157835264 28164 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 154136 KiB
Current children cumulated memory: 112656 KiB
[startup+6.3002 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 33645
/proc/meminfo: memFree=127381508/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=154136 memory=112888 CPUtime=6.24 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 45152 0 0 0 620 4 0 0 20 0 3 0 5221915 157835264 28222 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 38534 28222 2966 3035 0 33057 0
[pid=33639/tid=33641] ppid=33636 vsize=154136 memory=11400 CPUtime=6 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 32519 0 0 0 597 3 0 0 20 0 3 0 5221940 157835264 28222 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=154136 memory=11400 CPUtime=0 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5221943 157835264 28222 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 154136 KiB
Current children cumulated memory: 112888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 33645
/proc/meminfo: memFree=127379552/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=154136 memory=115124 CPUtime=12.63 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 63613 0 0 0 1257 6 0 0 20 0 3 0 5221915 157835264 28781 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 38534 28781 2966 3035 0 33492 0
[pid=33639/tid=33641] ppid=33636 vsize=154136 memory=112888 CPUtime=12.37 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 50971 0 0 0 1233 4 0 0 20 0 3 0 5221940 157835264 28781 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=154136 memory=-5155629102571023237 CPUtime=0 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 5221943 157835264 28781 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 154136 KiB
Current children cumulated memory: 115124 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 33647
/proc/meminfo: memFree=127375716/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=155968 memory=117200 CPUtime=25.38 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 82766 0 0 0 2531 7 0 0 20 0 3 0 5221915 159711232 29300 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 38992 29300 2966 3035 0 34585 0
[pid=33639/tid=33641] ppid=33636 vsize=155968 memory=11400 CPUtime=25.12 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 70117 0 0 0 2507 5 0 0 20 0 3 0 5221940 159711232 29300 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=155968 memory=11400 CPUtime=0 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5221943 159711232 29300 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 155968 KiB
Current children cumulated memory: 117200 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 33653
/proc/meminfo: memFree=127338344/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=221504 memory=140916 CPUtime=50.91 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 122072 0 0 0 5080 11 0 0 20 0 3 0 5221915 226820096 35229 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 55376 35229 3014 3035 0 41424 0
[pid=33639/tid=33641] ppid=33636 vsize=221504 memory=140724 CPUtime=50.65 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 109340 0 0 0 5056 9 0 0 20 0 3 0 5221940 226820096 35229 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=221504 memory=115124 CPUtime=0 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5221943 226820096 35229 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 221504 KiB
Current children cumulated memory: 140916 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 33661
/proc/meminfo: memFree=127272864/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=221504 memory=140916 CPUtime=101.94 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 134952 0 0 0 10182 12 0 0 20 0 3 0 5221915 226820096 35229 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 55376 35229 3014 3035 0 41424 0
[pid=33639/tid=33641] ppid=33636 vsize=221504 memory=-7235432492932620413 CPUtime=101.68 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 122202 0 0 0 10158 10 0 0 20 0 3 0 5221940 226820096 35229 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=221504 memory=140916 CPUtime=0 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 5221943 226820096 35229 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 221504 KiB
Current children cumulated memory: 140916 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 33671
/proc/meminfo: memFree=127254400/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=221504 memory=140916 CPUtime=161.74 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 142803 0 0 0 16162 12 0 0 20 0 3 0 5221915 226820096 35229 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 55376 35229 3014 3035 0 41424 0
[pid=33639/tid=33641] ppid=33636 vsize=221504 memory=1940 CPUtime=161.48 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 130041 0 0 0 16138 10 0 0 20 0 3 0 5221940 226820096 35229 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=221504 memory=13872 CPUtime=0 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 5221943 226820096 35229 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 221504 KiB
Current children cumulated memory: 140916 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 33688
/proc/meminfo: memFree=127211276/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=221504 memory=140916 CPUtime=221.55 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 157187 0 0 0 22141 14 0 0 20 0 3 0 5221915 226820096 35229 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 55376 35229 3014 3035 0 41424 0
################
# More data... #
################
/proc/33639/statm: 88144 67271 3334 3035 0 69469 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=269084 CPUtime=3390.03 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 400961 0 0 0 338911 92 0 0 20 0 3 0 5221940 361037824 67271 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=269084 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 196 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67271 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3390.45 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 269084 KiB
[startup+3462.3 s]
/proc/loadavg: 2.15 2.81 3.52 3/247 35613
/proc/meminfo: memFree=127281000/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=352576 memory=269084 CPUtime=3450.27 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 415699 0 0 0 344926 101 0 0 20 0 3 0 5221915 361037824 67271 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 88144 67271 3334 3035 0 69469 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=269084 CPUtime=3449.84 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 402107 0 0 0 344891 93 0 0 20 0 3 0 5221940 361037824 67271 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=0 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 198 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67271 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3450.27 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 269084 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 2.69 3.43 3/245 35624
/proc/meminfo: memFree=127278480/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=352576 memory=270840 CPUtime=3510.08 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 419931 0 0 0 350905 103 0 0 20 0 3 0 5221915 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 88144 67710 3334 3035 0 69838 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=269084 CPUtime=3509.64 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 406323 0 0 0 350870 94 0 0 20 0 3 0 5221940 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=270840 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 200 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3510.08 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 270840 KiB
[startup+3582.3 s]
/proc/loadavg: 2.43 2.66 3.37 3/245 35634
/proc/meminfo: memFree=127277692/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=352576 memory=270840 CPUtime=3569.89 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 420693 0 0 0 356886 103 0 0 20 0 3 0 5221915 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 88144 67710 3334 3035 0 69838 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=270840 CPUtime=3569.46 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 407069 0 0 0 356851 95 0 0 20 0 3 0 5221940 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=270840 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 202 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3569.89 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 270840 KiB
[startup+3598.07 s]
# the end of solver process 33639 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.58 s, system=1.04508 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.48 2.66 3.37 3/245 35634
/proc/meminfo: memFree=127277692/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=352576 memory=270840 CPUtime=3571.59 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 420693 0 0 0 357056 103 0 0 20 0 3 0 5221915 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 88144 67710 3334 3035 0 69838 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=-7091317304856766072 CPUtime=3571.16 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 407069 0 0 0 357021 95 0 0 20 0 3 0 5221940 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=-5155633680935826750 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 202 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 270840 KiB
[startup+3590.4 s]
/proc/loadavg: 2.44 2.65 3.36 3/245 35635
/proc/meminfo: memFree=127277488/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=352576 memory=270840 CPUtime=3577.97 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 420713 0 0 0 357694 103 0 0 20 0 3 0 5221915 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 88144 67710 3334 3035 0 69838 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=-5155633680935826750 CPUtime=3577.53 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 407089 0 0 0 357658 95 0 0 20 0 3 0 5221940 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=270840 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 202 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3577.97 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 270840 KiB
[startup+3593.6 s]
/proc/loadavg: 2.40 2.64 3.35 4/245 35635
/proc/meminfo: memFree=127277588/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=352576 memory=270840 CPUtime=3581.16 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 420716 0 0 0 358013 103 0 0 20 0 3 0 5221915 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 88144 67710 3334 3035 0 69838 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=270840 CPUtime=3580.72 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 407092 0 0 0 357977 95 0 0 20 0 3 0 5221940 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=5520 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 202 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3581.16 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 270840 KiB
[startup+3595.2 s]
/proc/loadavg: 2.40 2.64 3.35 3/245 35635
/proc/meminfo: memFree=127277588/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=352576 memory=270840 CPUtime=3582.75 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 420716 0 0 0 358172 103 0 0 20 0 3 0 5221915 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 88144 67710 3334 3035 0 69838 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=12696 CPUtime=3582.32 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 407092 0 0 0 358137 95 0 0 20 0 3 0 5221940 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=270840 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 202 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3582.75 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 270840 KiB
[startup+3596.8 s]
/proc/loadavg: 2.40 2.64 3.35 3/245 35637
/proc/meminfo: memFree=127277496/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=352576 memory=270840 CPUtime=3584.35 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 420719 0 0 0 358332 103 0 0 20 0 3 0 5221915 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 88144 67710 3334 3035 0 69838 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=11400 CPUtime=3583.91 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 407094 0 0 0 358296 95 0 0 20 0 3 0 5221940 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=270840 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 202 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3584.35 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 270840 KiB
[startup+3597.6 s]
/proc/loadavg: 2.40 2.64 3.35 3/245 35637
/proc/meminfo: memFree=127277504/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=352576 memory=270840 CPUtime=3585.14 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 420721 0 0 0 358411 103 0 0 20 0 3 0 5221915 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 88144 67710 3334 3035 0 69838 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=12696 CPUtime=3584.71 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 407096 0 0 0 358376 95 0 0 20 0 3 0 5221940 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=13176 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 202 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3585.14 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 270840 KiB
[startup+3598 s]*
/proc/loadavg: 2.37 2.63 3.34 3/245 35637
/proc/meminfo: memFree=127277504/131524600 swapFree=131071216/131071996
[pid=33639] ppid=33636 vsize=352576 memory=270840 CPUtime=3585.55 cores=0,2
/proc/33639/stat : 33639 (fscip) S 33636 33639 28847 0 -1 1077936128 420721 0 0 0 358452 103 0 0 20 0 3 0 5221915 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
/proc/33639/statm: 88144 67710 3334 3035 0 69838 0
[pid=33639/tid=33641] ppid=33636 vsize=352576 memory=-7091317304856766072 CPUtime=3585.11 cores=0,2
/proc/33639/task/33641/stat : 33641 (fscip) R 33636 33639 28847 0 -1 4194368 407096 0 0 0 358416 95 0 0 20 0 3 0 5221940 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
[pid=33639/tid=33642] ppid=33636 vsize=352576 memory=-5155633680935826750 CPUtime=0.02 cores=0,2
/proc/33639/task/33642/stat : 33642 (fscip) S 33636 33639 28847 0 -1 1077936192 202 0 0 0 0 2 0 0 20 0 3 0 5221943 361037824 67710 134679101440 4194304 16623229 140722950350256 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53403648 140722950353942 140722950354058 140722950354058 140722950361072 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 270840 KiB
Child status: 0
Real time (s): 3598.07
CPU time (s): 3585.63
CPU user time (s): 3584.58
CPU system time (s): 1.04508
CPU usage (%): 99.6542
Max. virtual memory (cumulated for all children) (KiB): 352576
Max. memory (cumulated for all children) (KiB): 270840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.58
system time used= 1.04508
maximum resident set size= 270912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421228
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= 9110
involuntary context switches= 25133
# summary of solver processes directly reported to runsolver:
# pid: 33639
# total CPU time (s): 3585.63
# total CPU user time (s): 3584.58
# total CPU system time (s): 1.04508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.4581 second user time and 14.5412 second system time
The end
Begin job on nodeC017 at 2024-07-31 02:37:29
IDJOB=4464655
IDBENCH=162227
IDSOLVER=3092
FILE ID=nodeC017/4464655-1722386249
RUNJOBID= nodeC017-1722378594-28857
SLURM_JOB_ID= 8249830
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round21-1.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-4464655-1722386249/watcher-4464655-1722386249 -o /tmp/evaluation-result-4464655-1722386249/solver-4464655-1722386249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28857 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464655-1722386249.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24b841e180e6c10fba8d79de5f0eab8c
RANDOM SEED=1765878430
nodeC017.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 : 3672.043
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.82
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 : 3684.627
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.29
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 : 3661.710
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.82
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.303
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.29
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 : 3667.089
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.82
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 : 3684.660
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.29
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 : 3601.973
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.82
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 : 3600.208
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127485172 kB
MemAvailable: 128851792 kB
Buffers: 102268 kB
Cached: 2096264 kB
SwapCached: 52 kB
Active: 273012 kB
Inactive: 3287360 kB
Active(anon): 1488 kB
Inactive(anon): 1381160 kB
Active(file): 271524 kB
Inactive(file): 1906200 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28580 kB
Writeback: 0 kB
AnonPages: 1361192 kB
Mapped: 124264 kB
Shmem: 21136 kB
KReclaimable: 57440 kB
Slab: 138688 kB
SReclaimable: 57440 kB
SUnreclaim: 81248 kB
KernelStack: 4236 kB
PageTables: 12272 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1077028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 948224 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC017 at 2024-07-31 03:37:27