0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 44335104, getVmSize() = 44335104, SCIPgetMemUsed() = 18763953, SCIPgetMemTotal() = 22058905, SCIPgetMemExternEstim() = 11455504
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.26 c ** Estimated virtualMemUsedAtSolver = 35850922, getVmSize() = 63217664, SCIPgetMemUsed() = 21916941, SCIPgetMemTotal() = 39175661, SCIPgetMemExternEstim() = 11455504
0.20/0.26 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.26 c Original Problem :
0.20/0.26 c Problem name : instance-4450750-1721419285
0.20/0.26 c Variables : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.26 c Constraints : 7936
0.20/0.26 c Objective sense : minimize
0.20/0.26 c Presolved Problem :
0.20/0.26 c Variables : 2929 (2929 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.26 c Constraints : 6096
0.20/0.26 c Constraints : Number
0.20/0.26 c and : 32
0.20/0.26 c xor : 1
0.20/0.26 c linear : 1135
0.20/0.26 c logicor : 4928
0.20/0.26 c ** Instance transfer method used: 0
0.20/0.27 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.28 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.28 c Nodes Active
0.20/0.28 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
34.69/34.84 c 35 2 1 1 - 0.0000 -
43.66/43.81 c 44 25 24 1 - 0.0000 -
48.85/49.07 c 49 30 29 1 - 0.0000 -
57.03/57.25 c 57 35 34 1 - 0.0000 -
181.13/181.61 c 182 38 37 1 - 0.0000 -
187.41/187.94 c 188 48 47 1 - 0.0000 -
195.79/196.32 c 196 55 54 1 - 0.0000 -
202.67/203.20 c 203 62 61 1 - 0.0000 -
208.76/209.35 c 209 68 67 1 - 0.0000 -
220.13/220.70 c 221 78 77 1 - 0.0000 -
228.01/228.63 c 229 92 91 1 - 0.0000 -
234.69/235.39 c 235 98 97 1 - 0.0000 -
243.37/244.02 c 244 112 111 1 - 0.0000 -
248.95/249.70 c 250 129 128 1 - 0.0000 -
255.04/255.72 c 256 132 131 1 - 0.0000 -
260.33/261.04 c 261 142 141 1 - 0.0000 -
267.91/268.64 c 269 165 164 1 - 0.0000 -
275.29/276.03 c 276 178 177 1 - 0.0000 -
282.77/283.53 c 284 188 187 1 - 0.0000 -
288.27/289.07 c 289 205 204 1 - 0.0000 -
295.54/296.30 c 296 215 214 1 - 0.0000 -
303.93/304.73 c 305 225 224 1 - 0.0000 -
310.62/311.40 c 311 238 237 1 - 0.0000 -
315.91/316.74 c 317 274 273 1 - 0.0000 -
320.99/321.87 c 322 295 294 1 - 0.0000 -
327.68/328.55 c 329 336 335 1 - 0.0000 -
337.36/338.25 c 338 356 355 1 - 0.0000 -
342.54/343.42 c 343 377 376 1 - 0.0000 -
348.93/349.81 c 350 400 399 1 - 0.0000 -
354.82/355.76 c 356 430 429 1 - 0.0000 -
360.40/361.35 c 361 444 443 1 - 0.0000 -
366.59/367.50 c 368 452 451 1 - 0.0000 -
371.58/372.53 c 373 456 455 1 - 0.0000 -
377.46/378.43 c 378 464 463 1 - 0.0000 -
383.05/384.00 c 384 468 467 1 - 0.0000 -
390.13/391.11 c 391 488 487 1 - 0.0000 -
396.12/397.13 c 397 508 507 1 - 0.0000 -
401.60/402.66 c 403 525 524 1 - 0.0000 -
407.19/408.29 c 408 542 541 1 - 0.0000 -
412.78/413.87 c 414 552 551 1 - 0.0000 -
417.97/419.02 c 419 568 567 1 - 0.0000 -
423.55/424.69 c 425 577 576 1 - 0.0000 -
432.23/433.37 c 433 588 587 1 - 0.0000 -
439.22/440.35 c 440 600 599 1 - 0.0000 -
444.31/445.47 c 445 619 618 1 - 0.0000 -
452.89/454.01 c 454 644 643 1 - 0.0000 -
459.67/460.84 c 461 664 663 1 - 0.0000 -
464.76/465.92 c 466 676 675 1 - 0.0000 -
471.54/472.78 c 473 684 683 1 - 0.0000 -
476.94/478.13 c 478 708 705 1 - 0.0000 -
483.92/485.18 c 485 728 725 1 - 0.0000 -
492.19/493.45 c 493 736 733 1 - 0.0000 -
498.98/500.27 c 500 744 741 1 - 0.0000 -
504.77/506.00 c 506 762 759 1 - 0.0000 -
510.85/512.16 c 512 781 778 1 - 0.0000 -
515.94/517.21 c 517 793 790 1 - 0.0000 -
521.83/523.16 c 523 800 797 1 - 0.0000 -
527.22/528.52 c 529 825 822 1 - 0.0000 -
532.40/533.73 c 534 843 840 1 - 0.0000 -
540.88/542.21 c 542 860 857 1 - 0.0000 -
547.27/548.64 c 549 924 921 1 - 0.0000 -
553.45/554.88 c 555 954 951 1 - 0.0000 -
559.64/561.01 c 561 964 961 1 - 0.0000 -
565.52/566.91 c 567 995 992 1 - 0.0000 -
571.01/572.41 c 572 1003 1000 1 - 0.0000 -
577.90/579.38 c 579 1012 1009 1 - 0.0000 -
584.28/585.70 c 586 1036 1033 1 - 0.0000 -
589.47/590.91 c 591 1048 1045 1 - 0.0000 -
597.45/598.94 c 599 1068 1065 1 - 0.0000 -
602.84/604.30 c 604 1082 1079 1 - 0.0000 -
608.72/610.25 c 610 1099 1096 1 - 0.0000 -
617.30/618.84 c 619 1116 1113 1 - 0.0000 -
625.09/626.69 c 627 1132 1129 1 - 0.0000 -
631.07/632.66 c 633 1156 1153 1 - 0.0000 -
637.36/638.90 c 639 1168 1165 1 - 0.0000 -
644.75/646.35 c 646 1182 1175 1 - 0.0000 -
650.23/651.81 c 652 1210 1203 1 - 0.0000 -
656.53/658.10 c 658 1248 1241 1 - 0.0000 -
664.60/666.22 c 666 1258 1251 1 - 0.0000 -
671.29/672.92 c 673 1270 1263 1 - 0.0000 -
679.17/680.81 c 681 1282 1275 1 - 0.0000 -
684.65/686.34 c 686 1302 1295 1 - 0.0000 -
689.74/691.45 c 691 1321 1310 1 - 0.0000 -
695.13/696.83 c 697 1322 1311 1 - 0.0000 -
702.21/703.98 c 704 1362 1351 1 - 0.0000 -
709.90/711.65 c 712 1374 1363 1 - 0.0000 -
715.68/717.45 c 717 1386 1375 1 - 0.0000 -
721.67/723.43 c 723 1424 1411 1 - 0.0000 -
729.55/731.33 c 731 1444 1431 1 - 0.0000 -
736.34/738.17 c 738 1456 1441 1 - 0.0000 -
743.02/744.87 c 745 1476 1461 1 - 0.0000 -
749.11/750.92 c 751 1485 1464 1 - 0.0000 -
754.20/756.02 c 756 1506 1483 1 - 0.0000 -
761.18/763.00 c 763 1546 1515 1 - 0.0000 -
767.17/769.08 c 769 1550 1519 1 - 0.0000 -
773.95/775.87 c 776 1572 1539 1 - 0.0000 -
779.74/781.68 c 782 1596 1561 1 - 0.0000 -
785.02/786.96 c 787 1622 1587 1 - 0.0000 -
790.91/792.81 c 793 1642 1607 1 - 0.0000 -
797.30/799.26 c 799 1661 1626 1 - 0.0000 -
803.79/805.71 c 806 1680 1645 1 - 0.0000 -
811.46/813.48 c 813 1695 1660 1 - 0.0000 -
816.95/818.96 c 819 1731 1696 1 - 0.0000 -
822.44/824.44 c 824 1749 1714 1 - 0.0000 -
827.43/829.49 c 829 1769 1734 1 - 0.0000 -
833.02/835.02 c 835 1784 1749 1 - 0.0000 -
839.60/841.67 c 842 1795 1760 1 - 0.0000 -
847.19/849.29 c 849 1815 1780 1 - 0.0000 -
852.48/854.51 c 855 1823 1788 1 - 0.0000 -
1035.10/1037.62 c 1038 1830 1795 1 - 0.0000 -
1040.59/1043.17 c 1043 1846 1811 1 - 0.0000 -
1046.67/1049.25 c 1049 1874 1839 1 - 0.0000 -
1053.05/1055.66 c 1056 1899 1862 1 - 0.0000 -
1058.44/1061.02 c 1061 1919 1878 1 - 0.0000 -
1064.61/1067.26 c 1067 1959 1918 1 - 0.0000 -
1070.60/1073.21 c 1073 1982 1941 1 - 0.0000 -
1077.78/1080.49 c 1080 2003 1962 1 - 0.0000 -
1083.76/1086.44 c 1086 2029 1988 1 - 0.0000 -
1089.45/1092.12 c 1092 2048 2007 1 - 0.0000 -
1094.93/1097.69 c 1098 2053 2012 1 - 0.0000 -
1103.90/1106.68 c 1107 2093 2052 1 - 0.0000 -
1109.68/1112.41 c 1112 2121 2080 1 - 0.0000 -
1114.77/1117.55 c 1118 2128 2087 1 - 0.0000 -
1122.35/1125.12 c 1125 2153 2112 1 - 0.0000 -
1128.73/1131.51 c 1132 2178 2137 1 - 0.0000 -
1133.81/1136.60 c 1137 2200 2157 1 - 0.0000 -
1139.10/1141.93 c 1142 2219 2176 1 - 0.0000 -
1144.09/1146.96 c 1147 2236 2193 1 - 0.0000 -
1149.18/1152.07 c 1152 2248 2205 1 - 0.0000 -
1157.45/1160.36 c 1160 2288 2241 1 - 0.0000 -
1163.23/1166.13 c 1166 2338 2291 1 - 0.0000 -
1169.51/1172.46 c 1172 2364 2317 1 - 0.0000 -
1176.19/1179.14 c 1179 2403 2352 1 - 0.0000 -
1182.07/1185.02 c 1185 2643 2588 1 - 0.0000 -
1187.85/1190.81 c 1191 3015 2820 1 - 0.0000 -
1195.43/1198.44 c 1198 3092 2866 1 - 0.0000 -
1200.51/1203.54 c 1204 3235 2952 1 - 0.0000 -
1205.60/1208.69 c 1209 3574 3005 1 - 0.0000 -
1210.78/1213.89 c 1214 3993 2999 1 - 0.0000 -
1216.08/1219.19 c 1219 4385 2999 1 - 0.0000 -
1221.15/1224.26 c 1224 4765 2988 1 - 0.0000 -
1226.34/1229.41 c 1229 5157 2994 1 - 0.0000 -
1231.42/1234.51 c 1235 5657 2991 1 - 0.0000 -
1236.40/1239.56 c 1240 6047 3006 1 - 0.0000 -
1241.59/1244.70 c 1245 6449 3004 1 - 0.0000 -
1246.68/1249.81 c 1250 6880 3004 1 - 0.0000 -
1251.87/1255.02 c 1255 7360 3013 1 - 0.0000 -
1256.95/1260.12 c 1260 7798 3005 1 - 0.0000 -
1262.13/1265.33 c 1265 8309 3008 1 - 0.0000 -
1267.21/1270.45 c 1270 8802 2999 1 - 0.0000 -
1272.29/1275.55 c 1276 9288 3009 1 - 0.0000 -
1277.38/1280.60 c 1281 9638 3024 1 - 0.0000 -
1282.56/1285.80 c 1286 10049 3025 1 - 0.0000 -
1287.64/1290.95 c 1291 10494 3020 1 - 0.0000 -
1292.74/1296.05 c 1296 11060 3023 1 - 0.0000 -
1297.82/1301.15 c 1301 11502 3026 1 - 0.0000 -
1302.89/1306.21 c 1306 12035 3020 1 - 0.0000 -
1308.28/1311.62 c 1312 12403 3058 1 - 0.0000 -
1313.26/1316.69 c 1317 12652 3058 1 - 0.0000 -
1318.45/1321.85 c 1322 12972 3057 1 - 0.0000 -
1323.74/1327.12 c 1327 13172 3061 1 - 0.0000 -
1328.82/1332.26 c 1332 13644 3110 1 - 0.0000 -
1333.90/1337.34 c 1337 14056 3120 1 - 0.0000 -
1338.98/1342.43 c 1342 14430 3145 1 - 0.0000 -
1344.07/1347.53 c 1348 14825 3175 1 - 0.0000 -
1349.16/1352.67 c 1353 15175 3172 1 - 0.0000 -
1354.24/1357.79 c 1358 15568 3184 1 - 0.0000 -
1359.42/1362.98 c 1363 15968 3205 1 - 0.0000 -
1364.51/1368.07 c 1368 16304 3196 1 - 0.0000 -
1369.59/1373.18 c 1373 16668 3205 1 - 0.0000 -
1374.77/1378.38 c 1378 16937 3243 1 - 0.0000 -
1380.06/1383.64 c 1384 17314 3298 1 - 0.0000 -
1385.24/1388.89 c 1389 17709 3304 1 - 0.0000 -
1390.43/1394.08 c 1394 18001 3336 1 - 0.0000 -
1396.01/1399.63 c 1400 18333 3334 1 - 0.0000 -
1401.29/1404.94 c 1405 18856 3347 1 - 0.0000 -
1406.58/1410.24 c 1410 19153 3343 1 - 0.0000 -
1411.67/1415.33 c 1415 19583 3337 1 - 0.0000 -
1416.76/1420.42 c 1420 19998 3333 1 - 0.0000 -
1421.84/1425.56 c 1426 20353 3337 1 - 0.0000 -
1427.04/1430.70 c 1431 20760 3341 1 - 0.0000 -
1432.22/1435.99 c 1436 21091 3346 1 - 0.0000 -
1437.42/1441.18 c 1441 21362 3348 1 - 0.0000 -
1442.59/1446.30 c 1446 21870 3339 1 - 0.0000 -
1447.68/1451.41 c 1451 22238 3337 1 - 0.0000 -
1452.67/1456.48 c 1456 22603 3329 1 - 0.0000 -
1457.76/1461.57 c 1462 22911 3310 1 - 0.0000 -
1462.95/1466.72 c 1467 23253 3300 1 - 0.0000 -
1468.13/1471.96 c 1472 23560 3303 1 - 0.0000 -
1473.22/1477.05 c 1477 23811 3301 1 - 0.0000 -
1478.31/1482.12 c 1482 24110 3297 1 - 0.0000 -
1483.49/1487.33 c 1487 24535 3267 1 - 0.0000 -
1488.58/1492.45 c 1492 24932 3268 1 - 0.0000 -
1493.97/1497.87 c 1498 25275 3285 1 - 0.0000 -
1499.26/1503.18 c 1503 25556 3319 1 - 0.0000 -
1504.34/1508.26 c 1508 25822 3355 1 - 0.0000 -
1509.74/1513.69 c 1514 26191 3358 1 - 0.0000 -
1514.92/1518.84 c 1519 26463 3362 1 - 0.0000 -
1520.11/1524.01 c 1524 26784 3383 1 - 0.0000 -
1525.39/1529.35 c 1529 27074 3382 1 - 0.0000 -
1530.48/1534.43 c 1534 27288 3391 1 - 0.0000 -
1535.67/1539.64 c 1540 27567 3400 1 - 0.0000 -
1540.76/1544.73 c 1545 27776 3419 1 - 0.0000 -
1545.84/1549.88 c 1550 28228 3445 1 - 0.0000 -
1551.24/1555.24 c 1555 28473 3438 1 - 0.0000 -
1556.42/1560.47 c 1560 28833 3464 1 - 0.0000 -
1561.61/1565.62 c 1566 29179 3462 1 - 0.0000 -
1566.80/1570.86 c 1571 29574 3446 1 - 0.0000 -
1572.18/1576.27 c 1576 29862 3466 1 - 0.0000 -
1577.47/1581.54 c 1582 30109 3475 1 - 0.0000 -
1582.75/1586.86 c 1587 30367 3474 1 - 0.0000 -
1588.04/1592.13 c 1592 30629 3484 1 - 0.0000 -
1593.03/1597.18 c 1597 30942 3498 1 - 0.0000 -
1598.12/1602.27 c 1602 31325 3489 1 - 0.0000 -
1603.41/1607.52 c 1608 31598 3491 1 - 0.0000 -
1608.59/1612.70 c 1613 32057 3515 1 - 0.0000 -
1613.57/1617.76 c 1618 32767 3517 1 - 0.0000 -
1618.67/1622.84 c 1623 33262 3516 1 - 0.0000 -
1623.76/1627.95 c 1628 33864 3516 1 - 0.0000 -
1628.85/1633.06 c 1633 34411 3508 1 - 0.0000 -
1633.93/1638.14 c 1638 34969 3521 1 - 0.0000 -
1639.01/1643.23 c 1643 35426 3504 1 - 0.0000 -
1644.30/1648.55 c 1649 35794 3502 1 - 0.0000 -
1649.48/1653.77 c 1654 36317 3506 1 - 0.0000 -
1654.88/1659.11 c 1659 36561 3511 1 - 0.0000 -
1660.07/1664.38 c 1664 36838 3521 1 - 0.0000 -
1665.25/1669.56 c 1670 37183 3541 1 - 0.0000 -
1670.34/1674.63 c 1675 37729 3540 1 - 0.0000 -
1675.52/1679.85 c 1680 38101 3550 1 - 0.0000 -
1680.72/1685.00 c 1685 38463 3540 1 - 0.0000 -
1686.00/1690.32 c 1690 38716 3546 1 - 0.0000 -
1691.19/1695.59 c 1696 39140 3564 1 - 0.0000 -
1696.57/1700.95 c 1701 39463 3548 1 - 0.0000 -
1701.67/1706.08 c 1706 39699 3536 1 - 0.0000 -
1707.15/1711.54 c 1712 40076 3591 1 - 0.0000 -
1712.23/1716.69 c 1717 40447 3612 1 - 0.0000 -
1717.62/1722.03 c 1722 40791 3618 1 - 0.0000 -
1722.91/1727.35 c 1727 41132 3632 1 - 0.0000 -
1728.09/1732.56 c 1733 41462 3625 1 - 0.0000 -
1733.29/1737.71 c 1738 41676 3609 1 - 0.0000 -
1738.47/1742.91 c 1743 42048 3615 1 - 0.0000 -
1743.66/1748.12 c 1748 42364 3615 1 - 0.0000 -
1748.74/1753.28 c 1753 42716 3644 1 - 0.0000 -
1754.13/1758.67 c 1759 43125 3655 1 - 0.0000 -
1759.51/1764.00 c 1764 43563 3639 1 - 0.0000 -
1764.79/1769.37 c 1769 43866 3636 1 - 0.0000 -
1770.18/1774.70 c 1775 44323 3644 1 - 0.0000 -
1775.97/1780.55 c 1781 44679 3645 1 - 0.0000 -
1781.05/1785.62 c 1786 45086 3655 1 - 0.0000 -
1786.25/1790.88 c 1791 45399 3658 1 - 0.0000 -
1791.44/1796.07 c 1796 45868 3649 1 - 0.0000 -
1796.62/1801.25 c 1801 46293 3642 1 - 0.0000 -
1801.71/1806.39 c 1806 46877 3635 1 - 0.0000 -
1806.89/1811.51 c 1812 47322 3676 1 - 0.0000 -
1811.98/1816.67 c 1817 47668 3681 1 - 0.0000 -
1817.17/1821.82 c 1822 47851 3674 1 - 0.0000 -
1822.26/1826.94 c 1827 48221 3672 1 - 0.0000 -
1827.45/1832.14 c 1832 48732 3654 1 - 0.0000 -
1832.74/1837.48 c 1837 49184 3644 1 - 0.0000 -
1838.02/1842.80 c 1843 49472 3641 1 - 0.0000 -
1843.41/1848.11 c 1848 49772 3639 1 - 0.0000 -
1848.69/1853.42 c 1853 50027 3637 1 - 0.0000 -
1853.88/1858.67 c 1859 50297 3634 1 - 0.0000 -
1859.27/1864.03 c 1864 50483 3636 1 - 0.0000 -
1864.26/1869.10 c 1869 50835 3639 1 - 0.0000 -
1869.44/1874.25 c 1874 51233 3631 1 - 0.0000 -
1874.63/1879.43 c 1879 51533 3637 1 - 0.0000 -
1879.72/1884.54 c 1885 51929 3632 1 - 0.0000 -
1884.90/1889.70 c 1890 52358 3622 1 - 0.0000 -
1890.09/1894.90 c 1895 52685 3617 1 - 0.0000 -
1895.18/1900.03 c 1900 53116 3617 1 - 0.0000 -
1900.17/1905.08 c 1905 53478 3597 1 - 0.0000 -
1905.26/1910.18 c 1910 53877 3603 1 - 0.0000 -
1910.45/1915.39 c 1915 54247 3619 1 - 0.0000 -
1915.63/1920.55 c 1921 54534 3607 1 - 0.0000 -
1920.82/1925.74 c 1926 54964 3594 1 - 0.0000 -
1926.21/1931.16 c 1931 55283 3596 1 - 0.0000 -
1931.39/1936.34 c 1936 55649 3589 1 - 0.0000 -
1936.78/1941.75 c 1942 55889 3597 1 - 0.0000 -
1942.07/1947.07 c 1947 56287 3621 1 - 0.0000 -
1947.16/1952.17 c 1952 56656 3630 1 - 0.0000 -
1952.44/1957.45 c 1957 56951 3621 1 - 0.0000 -
1957.92/1962.92 c 1963 57259 3605 1 - 0.0000 -
1963.12/1968.19 c 1968 57862 3648 1 - 0.0000 -
1968.31/1973.34 c 1973 58450 3629 1 - 0.0000 -
1973.49/1978.50 c 1978 58893 3614 1 - 0.0000 -
1978.48/1983.58 c 1984 59329 3594 1 - 0.0000 -
1983.57/1988.67 c 1989 59597 3587 1 - 0.0000 -
1988.96/1994.02 c 1994 59853 3594 1 - 0.0000 -
1994.05/1999.19 c 1999 60082 3587 1 - 0.0000 -
1999.33/2004.49 c 2004 60476 3588 1 - 0.0000 -
2004.61/2009.77 c 2010 60706 3586 1 - 0.0000 -
2009.80/2014.99 c 2015 61040 3589 1 - 0.0000 -
2015.19/2020.35 c 2020 61392 3628 1 - 0.0000 -
2020.17/2025.39 c 2025 62098 3639 1 - 0.0000 -
2025.36/2030.51 c 2031 62728 3627 1 - 0.0000 -
2030.45/2035.60 c 2036 63154 3627 1 - 0.0000 -
2035.54/2040.78 c 2041 63623 3610 1 - 0.0000 -
2040.63/2045.87 c 2046 64114 3607 1 - 0.0000 -
2046.01/2051.28 c 2051 64546 3610 1 - 0.0000 -
2051.20/2056.49 c 2056 64926 3605 1 - 0.0000 -
2056.29/2061.58 c 2062 65263 3597 1 - 0.0000 -
2061.48/2066.75 c 2067 65617 3613 1 - 0.0000 -
2066.66/2071.93 c 2072 66103 3614 1 - 0.0000 -
2071.95/2077.24 c 2077 66535 3599 1 - 0.0000 -
2077.03/2082.39 c 2082 67007 3579 1 - 0.0000 -
2082.22/2087.59 c 2088 67339 3549 1 - 0.0000 -
2087.51/2092.85 c 2093 67646 3538 1 - 0.0000 -
2092.70/2098.10 c 2098 67917 3521 1 - 0.0000 -
2097.88/2103.26 c 2103 68236 3522 1 - 0.0000 -
2103.28/2108.60 c 2109 68689 3528 1 - 0.0000 -
2108.46/2113.81 c 2114 68982 3495 1 - 0.0000 -
2113.55/2118.96 c 2119 69454 3532 1 - 0.0000 -
2118.64/2124.03 c 2124 69912 3562 1 - 0.0000 -
2123.73/2129.15 c 2129 70322 3561 1 - 0.0000 -
2128.72/2134.19 c 2134 70750 3568 1 - 0.0000 -
2133.90/2139.32 c 2139 71154 3567 1 - 0.0000 -
2139.19/2144.66 c 2145 71647 3575 1 - 0.0000 -
2144.47/2149.96 c 2150 71969 3563 1 - 0.0000 -
2149.56/2155.06 c 2155 72476 3578 1 - 0.0000 -
2154.85/2160.33 c 2160 72958 3559 1 - 0.0000 -
2159.94/2165.41 c 2165 73349 3559 1 - 0.0000 -
2165.02/2170.55 c 2171 73736 3561 1 - 0.0000 -
2170.31/2175.80 c 2176 73993 3549 1 - 0.0000 -
2175.30/2180.86 c 2181 74412 3555 1 - 0.0000 -
2180.59/2186.19 c 2186 74725 3536 1 - 0.0000 -
2185.87/2191.41 c 2191 75055 3516 1 - 0.0000 -
2191.36/2196.92 c 2197 75432 3497 1 - 0.0000 -
2196.84/2202.43 c 2202 75811 3462 1 - 0.0000 -
2201.94/2207.58 c 2208 76159 3475 1 - 0.0000 -
2207.13/2212.75 c 2213 76546 3473 1 - 0.0000 -
2212.42/2218.04 c 2218 76974 3504 1 - 0.0000 -
2217.50/2223.15 c 2223 77314 3487 1 - 0.0000 -
2222.89/2228.54 c 2229 77644 3492 1 - 0.0000 -
2228.17/2233.86 c 2234 78210 3474 1 - 0.0000 -
2233.56/2239.24 c 2239 78579 3468 1 - 0.0000 -
2239.04/2244.77 c 2245 78933 3456 1 - 0.0000 -
2244.13/2249.86 c 2250 79352 3459 1 - 0.0000 -
2249.32/2255.07 c 2255 79715 3448 1 - 0.0000 -
2254.70/2260.40 c 2260 80005 3435 1 - 0.0000 -
2259.79/2265.59 c 2266 80361 3431 1 - 0.0000 -
2265.09/2270.83 c 2271 80706 3425 1 - 0.0000 -
2270.38/2276.14 c 2276 81056 3400 1 - 0.0000 -
2275.76/2281.52 c 2282 81390 3417 1 - 0.0000 -
2281.05/2286.88 c 2287 81730 3414 1 - 0.0000 -
2286.24/2292.04 c 2292 81989 3411 1 - 0.0000 -
2291.32/2297.17 c 2297 82389 3407 1 - 0.0000 -
2296.70/2302.56 c 2303 82834 3422 1 - 0.0000 -
2301.89/2307.70 c 2308 83152 3422 1 - 0.0000 -
2307.18/2313.02 c 2313 83568 3431 1 - 0.0000 -
2312.37/2318.29 c 2318 83850 3408 1 - 0.0000 -
2317.45/2323.38 c 2323 84278 3413 1 - 0.0000 -
2322.74/2328.61 c 2329 84661 3401 1 - 0.0000 -
2328.02/2333.96 c 2334 84979 3393 1 - 0.0000 -
2333.12/2339.03 c 2339 85348 3381 1 - 0.0000 -
2338.40/2344.33 c 2344 85628 3382 1 - 0.0000 -
2343.69/2349.67 c 2350 85964 3375 1 - 0.0000 -
2348.88/2354.82 c 2355 86293 3360 1 - 0.0000 -
2354.17/2360.15 c 2360 86708 3354 1 - 0.0000 -
2359.45/2365.43 c 2365 87012 3351 1 - 0.0000 -
2364.54/2370.52 c 2371 87441 3367 1 - 0.0000 -
2369.63/2375.60 c 2376 87829 3354 1 - 0.0000 -
2374.81/2380.83 c 2381 88297 3361 1 - 0.0000 -
2380.20/2386.24 c 2386 88616 3363 1 - 0.0000 -
2385.39/2391.48 c 2391 88961 3365 1 - 0.0000 -
2390.58/2396.61 c 2397 89267 3363 1 - 0.0000 -
2395.67/2401.73 c 2402 89678 3361 1 - 0.0000 -
2400.86/2406.93 c 2407 90034 3361 1 - 0.0000 -
2405.95/2412.06 c 2412 90403 3334 1 - 0.0000 -
2411.23/2417.32 c 2417 90657 3315 1 - 0.0000 -
2416.42/2422.57 c 2423 90984 3304 1 - 0.0000 -
2421.50/2427.69 c 2428 91299 3298 1 - 0.0000 -
2426.59/2432.78 c 2433 91564 3320 1 - 0.0000 -
2431.98/2438.12 c 2438 91834 3327 1 - 0.0000 -
2437.27/2443.41 c 2443 92205 3348 1 - 0.0000 -
2442.45/2448.67 c 2449 92460 3364 1 - 0.0000 -
2447.65/2453.87 c 2454 92792 3360 1 - 0.0000 -
2452.94/2459.17 c 2459 93067 3373 1 - 0.0000 -
2458.12/2464.37 c 2464 93506 3378 1 - 0.0000 -
2463.31/2469.57 c 2470 93910 3381 1 - 0.0000 -
2468.80/2475.05 c 2475 94339 3387 1 - 0.0000 -
2473.98/2480.24 c 2480 94731 3465 1 - 0.0000 -
2479.07/2485.37 c 2485 95178 3468 1 - 0.0000 -
2484.66/2490.91 c 2491 95533 3469 1 - 0.0000 -
2489.95/2496.20 c 2496 95945 3466 1 - 0.0000 -
2495.44/2501.79 c 2502 96233 3492 1 - 0.0000 -
2500.62/2506.90 c 2507 96697 3492 1 - 0.0000 -
2505.81/2512.15 c 2512 97045 3496 1 - 0.0000 -
2510.90/2517.26 c 2517 97435 3508 1 - 0.0000 -
2516.08/2522.44 c 2522 97777 3499 1 - 0.0000 -
2521.38/2527.71 c 2528 98101 3521 1 - 0.0000 -
2526.46/2532.80 c 2533 98434 3529 1 - 0.0000 -
2531.55/2537.98 c 2538 98665 3517 1 - 0.0000 -
2536.74/2543.13 c 2543 99067 3527 1 - 0.0000 -
2542.33/2548.71 c 2549 99389 3518 1 - 0.0000 -
2547.51/2553.91 c 2554 99683 3497 1 - 0.0000 -
2552.61/2559.08 c 2559 100052 3503 1 - 0.0000 -
2557.79/2564.28 c 2564 100395 3495 1 - 0.0000 -
2563.17/2569.70 c 2570 100789 3486 1 - 0.0000 -
2568.47/2574.93 c 2575 101108 3487 1 - 0.0000 -
2573.96/2580.49 c 2580 101377 3483 1 - 0.0000 -
2579.55/2586.05 c 2586 101690 3486 1 - 0.0000 -
2584.73/2591.24 c 2591 101908 3492 1 - 0.0000 -
2589.92/2596.41 c 2596 102191 3492 1 - 0.0000 -
2595.01/2601.57 c 2602 102599 3503 1 - 0.0000 -
2600.19/2606.74 c 2607 102987 3500 1 - 0.0000 -
2605.49/2612.05 c 2612 103352 3491 1 - 0.0000 -
2610.57/2617.14 c 2617 103665 3488 1 - 0.0000 -
2615.76/2622.33 c 2622 103984 3496 1 - 0.0000 -
2620.84/2627.48 c 2627 104287 3496 1 - 0.0000 -
2626.13/2632.75 c 2633 104711 3486 1 - 0.0000 -
2631.42/2638.03 c 2638 105011 3480 1 - 0.0000 -
2636.61/2643.23 c 2643 105439 3495 1 - 0.0000 -
2641.70/2648.31 c 2648 105815 3472 1 - 0.0000 -
2647.39/2654.07 c 2654 106195 3470 1 - 0.0000 -
2652.48/2659.17 c 2659 106523 3460 1 - 0.0000 -
2657.66/2664.30 c 2664 106914 3466 1 - 0.0000 -
2662.85/2669.52 c 2670 107376 3443 1 - 0.0000 -
2668.04/2674.70 c 2675 107797 3446 1 - 0.0000 -
2673.23/2679.96 c 2680 108268 3441 1 - 0.0000 -
2678.81/2685.57 c 2686 108585 3426 1 - 0.0000 -
2684.19/2690.95 c 2691 108989 3464 1 - 0.0000 -
2689.39/2696.14 c 2696 109425 3470 1 - 0.0000 -
2694.57/2701.37 c 2701 109896 3478 1 - 0.0000 -
2699.86/2706.60 c 2707 110312 3463 1 - 0.0000 -
2704.94/2711.75 c 2712 110674 3465 1 - 0.0000 -
2710.03/2716.83 c 2717 111048 3450 1 - 0.0000 -
2715.11/2721.91 c 2722 111505 3461 1 - 0.0000 -
2720.51/2727.34 c 2727 111794 3462 1 - 0.0000 -
2725.89/2732.75 c 2733 112017 3457 1 - 0.0000 -
2731.28/2738.11 c 2738 112395 3458 1 - 0.0000 -
2736.27/2743.19 c 2743 112745 3433 1 - 0.0000 -
2741.85/2748.79 c 2749 113088 3423 1 - 0.0000 -
2747.24/2754.11 c 2754 113419 3414 1 - 0.0000 -
2752.42/2759.35 c 2759 113760 3406 1 - 0.0000 -
2757.61/2764.50 c 2765 114098 3400 1 - 0.0000 -
2762.70/2769.66 c 2770 114435 3391 1 - 0.0000 -
2767.89/2774.83 c 2775 114706 3379 1 - 0.0000 -
2773.08/2780.06 c 2780 114913 3382 1 - 0.0000 -
2778.36/2785.30 c 2785 115209 3377 1 - 0.0000 -
2783.44/2790.40 c 2790 115533 3358 1 - 0.0000 -
2788.83/2795.88 c 2796 115851 3344 1 - 0.0000 -
2794.02/2801.09 c 2801 116206 3351 1 - 0.0000 -
2799.20/2806.25 c 2806 116660 3359 1 - 0.0000 -
2804.59/2811.68 c 2812 116911 3344 1 - 0.0000 -
2809.87/2816.94 c 2817 117239 3354 1 - 0.0000 -
2815.07/2822.13 c 2822 117537 3342 1 - 0.0000 -
2820.44/2827.55 c 2828 117794 3355 1 - 0.0000 -
2825.64/2832.76 c 2833 118035 3347 1 - 0.0000 -
2830.93/2838.07 c 2838 118317 3341 1 - 0.0000 -
2836.31/2843.48 c 2843 118637 3343 1 - 0.0000 -
2841.59/2848.71 c 2849 118873 3333 1 - 0.0000 -
2846.68/2853.80 c 2854 119242 3340 1 - 0.0000 -
2851.97/2859.14 c 2859 119513 3321 1 - 0.0000 -
2857.15/2864.36 c 2864 119638 3326 1 - 0.0000 -
2862.34/2869.57 c 2870 119888 3306 1 - 0.0000 -
2867.63/2874.81 c 2875 120098 3284 1 - 0.0000 -
2873.21/2880.42 c 2880 120347 3286 1 - 0.0000 -
2878.30/2885.56 c 2886 120559 3278 1 - 0.0000 -
2883.58/2890.80 c 2891 120749 3294 1 - 0.0000 -
2888.79/2896.09 c 2896 121048 3292 1 - 0.0000 -
2893.97/2901.20 c 2901 121384 3275 1 - 0.0000 -
2899.15/2906.43 c 2906 121777 3289 1 - 0.0000 -
2904.34/2911.62 c 2912 122074 3280 1 - 0.0000 -
2909.42/2916.70 c 2917 122502 3287 1 - 0.0000 -
2914.51/2921.81 c 2922 122838 3274 1 - 0.0000 -
2919.70/2927.07 c 2927 123320 3282 1 - 0.0000 -
2924.79/2932.17 c 2932 123701 3285 1 - 0.0000 -
2929.87/2937.23 c 2937 124204 3282 1 - 0.0000 -
2934.96/2942.32 c 2942 124861 3279 1 - 0.0000 -
2940.16/2947.57 c 2948 125328 3281 1 - 0.0000 -
2945.34/2952.70 c 2953 125726 3268 1 - 0.0000 -
2950.53/2957.93 c 2958 126083 3282 1 - 0.0000 -
2955.82/2963.26 c 2963 126449 3269 1 - 0.0000 -
2961.01/2968.46 c 2968 126777 3284 1 - 0.0000 -
2966.60/2974.01 c 2974 127003 3317 1 - 0.0000 -
2972.18/2979.62 c 2980 127135 3327 1 - 0.0000 -
2977.57/2985.07 c 2985 127338 3364 1 - 0.0000 -
2983.15/2990.64 c 2991 127536 3390 1 - 0.0000 -
2988.54/2996.09 c 2996 127809 3410 1 - 0.0000 -
2993.82/3001.36 c 3001 128123 3436 1 - 0.0000 -
2999.02/3006.58 c 3007 128432 3447 1 - 0.0000 -
3004.20/3011.72 c 3012 128779 3429 1 - 0.0000 -
3009.39/3016.98 c 3017 129060 3421 1 - 0.0000 -
3014.68/3022.21 c 3022 129306 3405 1 - 0.0000 -
3019.86/3027.48 c 3027 129580 3399 1 - 0.0000 -
3025.04/3032.60 c 3033 129943 3396 1 - 0.0000 -
3030.23/3037.83 c 3038 130343 3416 1 - 0.0000 -
3035.31/3042.99 c 3043 130697 3433 1 - 0.0000 -
3040.60/3048.22 c 3048 131001 3452 1 - 0.0000 -
3045.69/3053.38 c 3053 131396 3461 1 - 0.0000 -
3050.78/3058.44 c 3058 131821 3466 1 - 0.0000 -
3055.97/3063.65 c 3064 132177 3455 1 - 0.0000 -
3061.15/3068.86 c 3069 132373 3427 1 - 0.0000 -
3066.53/3074.21 c 3074 132750 3424 1 - 0.0000 -
3071.62/3079.37 c 3079 133141 3429 1 - 0.0000 -
3077.20/3084.90 c 3085 133507 3407 1 - 0.0000 -
3082.29/3090.05 c 3090 133866 3414 1 - 0.0000 -
3087.39/3095.17 c 3095 134224 3421 1 - 0.0000 -
3092.57/3100.37 c 3100 134516 3438 1 - 0.0000 -
3097.96/3105.77 c 3106 134768 3438 1 - 0.0000 -
3103.25/3111.06 c 3111 135011 3433 1 - 0.0000 -
3108.53/3116.39 c 3116 135295 3441 1 - 0.0000 -
3113.92/3121.72 c 3122 135555 3434 1 - 0.0000 -
3119.21/3127.01 c 3127 135756 3421 1 - 0.0000 -
3124.39/3132.26 c 3132 136073 3456 1 - 0.0000 -
3129.68/3137.54 c 3138 136601 3480 1 - 0.0000 -
3134.97/3142.88 c 3143 137011 3477 1 - 0.0000 -
3140.27/3148.16 c 3148 137379 3465 1 - 0.0000 -
3145.45/3153.34 c 3153 137705 3473 1 - 0.0000 -
3150.64/3158.54 c 3159 138056 3463 1 - 0.0000 -
3155.82/3163.78 c 3164 138499 3449 1 - 0.0000 -
3161.01/3168.92 c 3169 138850 3452 1 - 0.0000 -
3166.10/3174.05 c 3174 139210 3436 1 - 0.0000 -
3171.29/3179.27 c 3179 139548 3439 1 - 0.0000 -
3176.48/3184.42 c 3184 140028 3469 1 - 0.0000 -
3181.56/3189.57 c 3190 140496 3455 1 - 0.0000 -
3186.75/3194.72 c 3195 140957 3459 1 - 0.0000 -
3191.84/3199.86 c 3200 141286 3468 1 - 0.0000 -
3196.92/3204.96 c 3205 141660 3471 1 - 0.0000 -
3202.01/3210.07 c 3210 142067 3445 1 - 0.0000 -
3207.30/3215.31 c 3215 142431 3441 1 - 0.0000 -
3212.49/3220.50 c 3220 142738 3423 1 - 0.0000 -
3217.68/3225.70 c 3226 143010 3414 1 - 0.0000 -
3222.77/3230.87 c 3231 143278 3390 1 - 0.0000 -
3227.96/3236.02 c 3236 143561 3380 1 - 0.0000 -
3233.14/3241.26 c 3241 143902 3375 1 - 0.0000 -
3238.43/3246.51 c 3247 144179 3351 1 - 0.0000 -
3243.51/3251.61 c 3252 144390 3327 1 - 0.0000 -
3248.70/3256.88 c 3257 144682 3316 1 - 0.0000 -
3254.09/3262.23 c 3262 144962 3284 1 - 0.0000 -
3259.47/3267.61 c 3268 145245 3267 1 - 0.0000 -
3264.66/3272.87 c 3273 145544 3315 1 - 0.0000 -
3269.86/3278.02 c 3278 145802 3325 1 - 0.0000 -
3274.85/3283.08 c 3283 146183 3355 1 - 0.0000 -
3280.03/3288.27 c 3288 146619 3414 1 - 0.0000 -
3285.12/3293.35 c 3293 146917 3410 1 - 0.0000 -
3290.31/3298.50 c 3299 147253 3447 1 - 0.0000 -
3295.50/3303.73 c 3304 147558 3470 1 - 0.0000 -
3300.58/3308.88 c 3309 147970 3494 1 - 0.0000 -
3305.67/3313.99 c 3314 148459 3548 1 - 0.0000 -
3310.86/3319.13 c 3319 148996 3619 1 - 0.0000 -
3316.04/3324.34 c 3324 149415 3659 1 - 0.0000 -
3321.33/3329.63 c 3330 149833 3711 1 - 0.0000 -
3326.62/3334.92 c 3335 150102 3720 1 - 0.0000 -
3331.71/3340.01 c 3340 150437 3749 1 - 0.0000 -
3336.70/3345.10 c 3345 150744 3771 1 - 0.0000 -
3341.89/3350.24 c 3350 151156 3762 1 - 0.0000 -
3347.07/3355.42 c 3355 151508 3758 1 - 0.0000 -
3352.16/3360.54 c 3361 151874 3760 1 - 0.0000 -
3357.25/3365.69 c 3366 152158 3788 1 - 0.0000 -
3362.33/3370.77 c 3371 152596 3811 1 - 0.0000 -
3367.62/3376.00 c 3376 153132 3825 1 - 0.0000 -
3372.71/3381.11 c 3381 153702 3822 1 - 0.0000 -
3377.79/3386.22 c 3386 154289 3822 1 - 0.0000 -
3382.88/3391.39 c 3391 154777 3831 1 - 0.0000 -
3388.26/3396.71 c 3397 155059 3827 1 - 0.0000 -
3393.35/3401.85 c 3402 155325 3845 1 - 0.0000 -
3398.43/3406.94 c 3407 155656 3835 1 - 0.0000 -
3403.93/3412.44 c 3412 156081 3894 1 - 0.0000 -
3409.01/3417.58 c 3418 156470 3959 1 - 0.0000 -
3414.40/3422.95 c 3423 157079 3966 1 - 0.0000 -
3419.59/3428.14 c 3428 157484 3977 1 - 0.0000 -
3424.87/3433.40 c 3433 157909 3970 1 - 0.0000 -
3430.05/3438.66 c 3439 158296 3992 1 - 0.0000 -
3435.34/3443.91 c 3444 158647 4010 1 - 0.0000 -
3440.53/3449.12 c 3449 158916 4027 1 - 0.0000 -
3445.61/3454.21 c 3454 159261 4077 1 - 0.0000 -
3450.70/3459.35 c 3459 159673 4088 1 - 0.0000 -
3456.08/3464.71 c 3465 159961 4101 1 - 0.0000 -
3461.27/3469.96 c 3470 160316 4107 1 - 0.0000 -
3466.36/3475.06 c 3475 160633 4098 1 - 0.0000 -
3471.65/3480.33 c 3480 160923 4104 1 - 0.0000 -
3476.94/3485.66 c 3486 161196 4100 1 - 0.0000 -
3482.12/3490.87 c 3491 161616 4086 1 - 0.0000 -
3487.41/3496.13 c 3496 161889 4094 1 - 0.0000 -
3492.59/3501.39 c 3501 162231 4094 1 - 0.0000 -
3497.88/3506.67 c 3507 162476 4077 1 - 0.0000 -
3502.97/3511.74 c 3512 162855 4062 1 - 0.0000 -
3508.36/3517.10 c 3517 163130 4063 1 - 0.0000 -
3513.44/3522.24 c 3522 163617 4052 1 - 0.0000 -
3518.53/3527.36 c 3527 163961 4109 1 - 0.0000 -
3523.91/3532.70 c 3533 164300 4114 1 - 0.0000 -
3529.10/3537.92 c 3538 164717 4080 1 - 0.0000 -
3534.29/3543.12 c 3543 165052 4077 1 - 0.0000 -
3539.48/3548.32 c 3548 165474 4070 1 - 0.0000 -
3544.67/3553.57 c 3554 165851 4075 1 - 0.0000 -
3549.86/3558.77 c 3559 166356 4078 1 - 0.0000 -
3554.95/3563.88 c 3564 166876 4076 1 - 0.0000 -
3560.14/3569.07 c 3569 167238 4071 1 - 0.0000 -
3565.42/3574.38 c 3574 167498 4064 1 - 0.0000 -
3570.81/3579.74 c 3580 167851 4088 1 - 0.0000 -
3575.90/3584.84 c 3585 168236 4080 1 - 0.0000 -
3581.19/3590.11 c 3590 168605 4094 1 - 0.0000 -
3586.58/3595.51 c 3596 168851 4082 1 - 0.0000 -
3591.07/3600.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.07/3600.04 c Total Time : 3600.0500
3591.07/3600.04 c solving : 3600.0500
3591.07/3600.04 c presolving : 0.2267 (included in solving)
3591.07/3600.04 c B&B Tree :
3591.07/3600.04 c nodes (total) : 1
3591.07/3600.04 c Solution :
3591.07/3600.04 c Solutions found : 0
3591.07/3600.04 c Primal Bound : -
3591.07/3600.04 c Dual Bound : +0.00000000000000e+00
3591.07/3600.04 c Gap : -
3591.07/3600.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: 63931 MiB (60496 MiB free)
memory of node 1: 64510 MiB (60949 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450750-1721419285/watcher-4450750-1721419285 -o /tmp/evaluation-result-4450750-1721419285/solver-4450750-1721419285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040499 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450750-1721419285.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1045765, runsolver pid=1045762
[startup+0.100962 s]*
/proc/loadavg: 4.14 4.12 4.09 5/263 1045766
/proc/meminfo: memFree=124329976/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=52208 memory=41376 CPUtime=0.09 cores=4,6
/proc/1045765/stat : 1045765 (fscip) R 1045762 1045765 1040488 0 -1 4194304 8842 0 0 0 8 1 0 0 20 0 1 0 194098182 53460992 10344 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 13052 10344 2702 3032 0 9452 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52208 KiB
Current children cumulated memory: 41376 KiB
[startup+0.205717 s]*
/proc/loadavg: 4.14 4.12 4.09 5/263 1045766
/proc/meminfo: memFree=124328200/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=54020 memory=43020 CPUtime=0.2 cores=4,6
/proc/1045765/stat : 1045765 (fscip) R 1045762 1045765 1040488 0 -1 4194304 9248 0 0 0 19 1 0 0 20 0 1 0 194098182 55316480 10755 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 13505 10755 2718 3032 0 9905 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54020 KiB
Current children cumulated memory: 43020 KiB
[startup+0.305945 s]*
/proc/loadavg: 4.14 4.12 4.09 5/265 1045768
/proc/meminfo: memFree=124301488/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=151044 memory=69348 CPUtime=0.29 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 17399 0 0 0 27 2 0 0 20 0 3 0 194098182 154669056 17337 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 37761 17337 2782 3032 0 21915 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=151044 memory=-7664417297358217083 CPUtime=0.02 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 4773 0 0 0 2 0 0 0 20 0 3 0 194098208 154669056 17337 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=151044 memory=0 CPUtime=0 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194098210 154669056 17337 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 151044 KiB
Current children cumulated memory: 69348 KiB
[startup+0.700249 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 1045768
/proc/meminfo: memFree=124294096/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=154120 memory=101556 CPUtime=0.67 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 25297 0 0 0 63 4 0 0 20 0 3 0 194098182 157818880 25323 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 38530 25323 2942 3032 0 29946 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=154120 memory=5492 CPUtime=0.4 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 12682 0 0 0 38 2 0 0 20 0 3 0 194098208 157818880 25389 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=154120 memory=417 CPUtime=0 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194098210 157818880 25389 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 154120 KiB
Current children cumulated memory: 101556 KiB
[startup+1.50025 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 1045768
/proc/meminfo: memFree=124258976/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=154120 memory=112512 CPUtime=1.47 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 31173 0 0 0 142 5 0 0 20 0 3 0 194098182 157818880 28128 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 38530 28128 2942 3032 0 33056 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=154120 memory=417 CPUtime=1.19 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 18548 0 0 0 117 2 0 0 20 0 3 0 194098208 157818880 28128 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=154120 memory=0 CPUtime=0 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194098210 157818880 28128 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 154120 KiB
Current children cumulated memory: 112512 KiB
[startup+3.10556 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 1045768
/proc/meminfo: memFree=124258920/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=154120 memory=112560 CPUtime=3.07 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 37580 0 0 0 302 5 0 0 20 0 3 0 194098182 157818880 28140 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 38530 28140 2942 3032 0 33056 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=154120 memory=-7664417297358217083 CPUtime=2.8 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 24952 0 0 0 277 3 0 0 20 0 3 0 194098208 157818880 28140 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=154120 memory=0 CPUtime=0 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 194098210 157818880 28140 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 154120 KiB
Current children cumulated memory: 112560 KiB
[startup+6.30023 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 1045768
/proc/meminfo: memFree=124258116/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=154120 memory=113372 CPUtime=6.25 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 45284 0 0 0 620 5 0 0 20 0 3 0 194098182 157818880 28343 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 38530 28343 2942 3032 0 33056 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=154120 memory=12340 CPUtime=5.98 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 32654 0 0 0 595 3 0 0 20 0 3 0 194098208 157818880 28343 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=154120 memory=12340 CPUtime=0 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 194098210 157818880 28343 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 154120 KiB
Current children cumulated memory: 113372 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 1045769
/proc/meminfo: memFree=124256356/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=154120 memory=114324 CPUtime=12.64 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 63725 0 0 0 1258 6 0 0 20 0 3 0 194098182 157818880 28581 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 38530 28581 2942 3032 0 33417 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=154120 memory=113372 CPUtime=12.37 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 51086 0 0 0 1233 4 0 0 20 0 3 0 194098208 157818880 28581 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=154120 memory=-7664417297358217083 CPUtime=0 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 194098210 157818880 28581 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 154120 KiB
Current children cumulated memory: 114324 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 1045771
/proc/meminfo: memFree=124252288/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=155952 memory=116888 CPUtime=25.4 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 82764 0 0 0 2533 7 0 0 20 0 3 0 194098182 159694848 29222 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 38988 29222 2942 3032 0 34674 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=155952 memory=12340 CPUtime=25.13 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 70116 0 0 0 2508 5 0 0 20 0 3 0 194098208 159694848 29222 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=155952 memory=12340 CPUtime=0 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 194098210 159694848 29222 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 155952 KiB
Current children cumulated memory: 116888 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 1045776
/proc/meminfo: memFree=124217464/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=221488 memory=141596 CPUtime=50.95 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 123574 0 0 0 5084 11 0 0 20 0 3 0 194098182 226803712 35399 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 55372 35399 2990 3032 0 41424 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=221488 memory=7595155163701531728 CPUtime=50.67 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 110838 0 0 0 5059 8 0 0 20 0 3 0 194098208 226803712 35399 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=221488 memory=12340 CPUtime=0 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 194098210 226803712 35399 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 221488 KiB
Current children cumulated memory: 141596 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 1045785
/proc/meminfo: memFree=124213568/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=221488 memory=141804 CPUtime=102.02 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 136126 0 0 0 10191 11 0 0 20 0 3 0 194098182 226803712 35451 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 55372 35451 2990 3032 0 41424 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=221488 memory=141804 CPUtime=101.75 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 123371 0 0 0 10166 9 0 0 20 0 3 0 194098208 226803712 35451 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=221488 memory=141804 CPUtime=0 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 194098210 226803712 35451 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 221488 KiB
Current children cumulated memory: 141804 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/263 1045797
/proc/meminfo: memFree=124209656/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=221488 memory=145080 CPUtime=161.88 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 143781 0 0 0 16176 12 0 0 20 0 3 0 194098182 226803712 36270 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 55372 36270 2990 3032 0 41424 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=221488 memory=12340 CPUtime=161.6 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 131014 0 0 0 16151 9 0 0 20 0 3 0 194098208 226803712 36270 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=221488 memory=143180 CPUtime=0 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 194098210 226803712 36270 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 221488 KiB
Current children cumulated memory: 145080 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 1045807
/proc/meminfo: memFree=124198312/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=221488 memory=155816 CPUtime=221.72 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 146638 0 0 0 22160 12 0 0 20 0 3 0 194098182 226803712 38954 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 55372 38954 2990 3032 0 41424 0
################
# More data... #
################
/proc/1045765/statm: 88140 67423 3310 3032 0 69468 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=269692 CPUtime=3393.39 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 272427 0 0 0 339275 64 0 0 20 0 3 0 194098208 361021440 67423 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=269692 CPUtime=0.02 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 198 0 0 0 0 2 0 0 20 0 3 0 194098210 361021440 67423 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 269692 KiB
[startup+3462.3 s]
/proc/loadavg: 2.08 2.14 2.62 3/247 1047668
/proc/meminfo: memFree=124769196/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=352560 memory=269692 CPUtime=3453.69 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 286618 0 0 0 345295 74 0 0 20 0 3 0 194098182 361021440 67423 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 88140 67423 3310 3032 0 69468 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=49592 CPUtime=3453.24 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 272980 0 0 0 345259 65 0 0 20 0 3 0 194098208 361021440 67423 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=269692 CPUtime=0.02 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 200 0 0 0 0 2 0 0 20 0 3 0 194098210 361021440 67423 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3453.69 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 269692 KiB
[startup+3522.3 s]
/proc/loadavg: 2.23 2.17 2.60 3/247 1047679
/proc/meminfo: memFree=124768896/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=352560 memory=269692 CPUtime=3513.54 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 287291 0 0 0 351279 75 0 0 20 0 3 0 194098182 361021440 67423 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 88140 67423 3310 3032 0 69468 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=269692 CPUtime=3513.07 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 273636 0 0 0 351242 65 0 0 20 0 3 0 194098208 361021440 67423 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=269692 CPUtime=0.02 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 202 0 0 0 0 2 0 0 20 0 3 0 194098210 361021440 67423 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3513.54 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 269692 KiB
[startup+3582.3 s]
/proc/loadavg: 2.23 2.19 2.58 3/247 1047705
/proc/meminfo: memFree=124767172/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=352560 memory=270728 CPUtime=3573.4 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 288190 0 0 0 357264 76 0 0 20 0 3 0 194098182 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 88140 67682 3310 3032 0 69863 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=12312 CPUtime=3572.94 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 274518 0 0 0 357227 67 0 0 20 0 3 0 194098208 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=-6879947469380161127 CPUtime=0.03 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 194098210 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 270728 KiB
[startup+3600.07 s]
# the end of solver process 1045765 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.36 s, system=0.776105 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.21 2.19 2.58 3/247 1047705
/proc/meminfo: memFree=124767164/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=352560 memory=270728 CPUtime=3575.1 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 288192 0 0 0 357434 76 0 0 20 0 3 0 194098182 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 88140 67682 3310 3032 0 69863 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=7976406965554101975 CPUtime=3574.64 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 274520 0 0 0 357397 67 0 0 20 0 3 0 194098208 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=6235867413408483731 CPUtime=0.03 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 194098210 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3575.1 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 270728 KiB
[startup+3590.4 s]
/proc/loadavg: 2.19 2.18 2.58 3/247 1047706
/proc/meminfo: memFree=124767164/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=352560 memory=270728 CPUtime=3581.48 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 288215 0 0 0 358072 76 0 0 20 0 3 0 194098182 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 88140 67682 3310 3032 0 69863 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=12340 CPUtime=3581.02 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 274543 0 0 0 358035 67 0 0 20 0 3 0 194098208 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=270728 CPUtime=0.03 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 194098210 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3581.48 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 270728 KiB
[startup+3596.8 s]
/proc/loadavg: 2.18 2.18 2.57 3/247 1047706
/proc/meminfo: memFree=124767172/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=352560 memory=270728 CPUtime=3587.87 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 288222 0 0 0 358710 77 0 0 20 0 3 0 194098182 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 88140 67682 3310 3032 0 69863 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=49592 CPUtime=3587.4 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 274549 0 0 0 358673 67 0 0 20 0 3 0 194098208 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=270728 CPUtime=0.03 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 194098210 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 270728 KiB
[startup+3598.4 s]
/proc/loadavg: 2.24 2.20 2.58 3/247 1047706
/proc/meminfo: memFree=124767200/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=352560 memory=270728 CPUtime=3589.47 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 288222 0 0 0 358870 77 0 0 20 0 3 0 194098182 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 88140 67682 3310 3032 0 69863 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=270728 CPUtime=3589 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 274549 0 0 0 358833 67 0 0 20 0 3 0 194098208 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=270728 CPUtime=0.03 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 194098210 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3589.47 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 270728 KiB
[startup+3599.2 s]
/proc/loadavg: 2.24 2.20 2.58 3/247 1047708
/proc/meminfo: memFree=124767200/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=352560 memory=270728 CPUtime=3590.27 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 288222 0 0 0 358950 77 0 0 20 0 3 0 194098182 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 88140 67682 3310 3032 0 69863 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=-6879947469380161127 CPUtime=3589.8 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 274549 0 0 0 358913 67 0 0 20 0 3 0 194098208 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=49592 CPUtime=0.03 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 194098210 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3590.27 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 270728 KiB
[startup+3599.6 s]
/proc/loadavg: 2.24 2.20 2.58 3/247 1047708
/proc/meminfo: memFree=124767200/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=352560 memory=270728 CPUtime=3590.67 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 288222 0 0 0 358990 77 0 0 20 0 3 0 194098182 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 88140 67682 3310 3032 0 69863 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=5568 CPUtime=3590.2 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 274549 0 0 0 358953 67 0 0 20 0 3 0 194098208 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=1816 CPUtime=0.03 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 194098210 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3590.67 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 270728 KiB
[startup+3600 s]*
/proc/loadavg: 2.24 2.20 2.58 3/247 1047708
/proc/meminfo: memFree=124767200/131524600 swapFree=131071996/131071996
[pid=1045765] ppid=1045762 vsize=352560 memory=270728 CPUtime=3591.07 cores=4,6
/proc/1045765/stat : 1045765 (fscip) S 1045762 1045765 1040488 0 -1 1077936128 288225 0 0 0 359030 77 0 0 20 0 3 0 194098182 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
/proc/1045765/statm: 88140 67682 3310 3032 0 69863 0
[pid=1045765/tid=1045767] ppid=1045762 vsize=352560 memory=-6807889875275189607 CPUtime=3590.6 cores=4,6
/proc/1045765/task/1045767/stat : 1045767 (fscip) R 1045762 1045765 1040488 0 -1 4194368 274550 0 0 0 358993 67 0 0 20 0 3 0 194098208 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
[pid=1045765/tid=1045768] ppid=1045762 vsize=352560 memory=-9187040381884201154 CPUtime=0.03 cores=4,6
/proc/1045765/task/1045768/stat : 1045768 (fscip) S 1045762 1045765 1040488 0 -1 1077936192 204 0 0 0 1 2 0 0 20 0 3 0 194098210 361021440 67682 134679101440 4194304 16613245 140730034901504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56086528 140730034910227 140730034910343 140730034910343 140730034917360 0
Current children cumulated CPU time: 3591.07 s
Current children cumulated vsize: 352560 KiB
Current children cumulated memory: 270728 KiB
Child status: 0
Real time (s): 3600.07
CPU time (s): 3591.14
CPU user time (s): 3590.36
CPU system time (s): 0.776105
CPU usage (%): 99.752
Max. virtual memory (cumulated for all children) (KiB): 352560
Max. memory (cumulated for all children) (KiB): 270728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.36
system time used= 0.776105
maximum resident set size= 270728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288507
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= 9102
involuntary context switches= 1103
# summary of solver processes directly reported to runsolver:
# pid: 1045765
# total CPU time (s): 3591.14
# total CPU user time (s): 3590.36
# total CPU system time (s): 0.776105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67234 second user time and 16.5026 second system time
The end
Begin job on nodeC033 at 2024-07-19 22:01:37
IDJOB=4450750
IDBENCH=162227
IDSOLVER=3064
FILE ID=nodeC033/4450750-1721419285
RUNJOBID= nodeC033-1721410598-1040499
SLURM_JOB_ID= 7545470
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4450750-1721419285/watcher-4450750-1721419285 -o /tmp/evaluation-result-4450750-1721419285/solver-4450750-1721419285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040499 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450750-1721419285.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24b841e180e6c10fba8d79de5f0eab8c
RANDOM SEED=1735460371
nodeC033.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 : 3663.810
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.50
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 : 3691.390
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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.078
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.50
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.091
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 : 7006.25
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 : 3671.698
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.50
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 : 3691.457
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 : 7006.25
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 : 3652.834
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.50
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 : 3599.915
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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124361120 kB
MemAvailable: 128798772 kB
Buffers: 577836 kB
Cached: 4651944 kB
SwapCached: 0 kB
Active: 1038348 kB
Inactive: 5394844 kB
Active(anon): 1556 kB
Inactive(anon): 1247796 kB
Active(file): 1036792 kB
Inactive(file): 4147048 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28620 kB
Writeback: 0 kB
AnonPages: 1200764 kB
Mapped: 144776 kB
Shmem: 45908 kB
KReclaimable: 186920 kB
Slab: 310364 kB
SReclaimable: 186920 kB
SUnreclaim: 123444 kB
KernelStack: 4224 kB
PageTables: 11620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1025704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1001472 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC033 at 2024-07-19 23:01:37