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 = 46358528, getVmSize() = 46358528, SCIPgetMemUsed() = 20043353, SCIPgetMemTotal() = 24093393, SCIPgetMemExternEstim() = 12409514
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.17 c ** Estimated virtualMemUsedAtSolver = 37852501, getVmSize() = 67198976, SCIPgetMemUsed() = 23106524, SCIPgetMemTotal() = 42993108, SCIPgetMemExternEstim() = 12409514
0.10/0.17 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.17 c Original Problem :
0.10/0.17 c Problem name : instance-4464650-1722386293
0.10/0.17 c Variables : 4128 (4128 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.17 c Constraints : 8704
0.10/0.17 c Objective sense : minimize
0.10/0.17 c Presolved Problem :
0.10/0.17 c Variables : 3218 (3218 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.17 c Constraints : 7029
0.10/0.17 c Constraints : Number
0.10/0.17 c and : 32
0.10/0.17 c linear : 1257
0.10/0.17 c logicor : 5740
0.10/0.17 c ** Instance transfer method used: 0
0.10/0.19 c ** ParaScipInstance copy does not increase the number of variables. **
0.19/0.21 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.19/0.21 c Nodes Active
0.19/0.21 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
30.60/30.72 c 31 2 1 1 - 0.0000 -
38.58/38.75 c 39 16 15 1 - 0.0000 -
43.68/43.87 c 44 20 19 1 - 0.0000 -
50.36/50.56 c 51 24 23 1 - 0.0000 -
211.00/211.58 c 212 26 25 1 - 0.0000 -
218.79/219.33 c 219 30 29 1 - 0.0000 -
230.16/230.78 c 231 36 35 1 - 0.0000 -
236.94/237.56 c 238 40 39 1 - 0.0000 -
243.53/244.10 c 244 44 43 1 - 0.0000 -
250.72/251.35 c 251 48 47 1 - 0.0000 -
258.50/259.10 c 259 52 51 1 - 0.0000 -
264.39/265.05 c 265 56 55 1 - 0.0000 -
270.27/270.99 c 271 72 71 1 - 0.0000 -
275.36/276.02 c 276 93 92 1 - 0.0000 -
281.14/281.89 c 282 96 95 1 - 0.0000 -
290.42/291.14 c 291 116 115 1 - 0.0000 -
299.70/300.41 c 300 139 138 1 - 0.0000 -
306.99/307.73 c 308 146 145 1 - 0.0000 -
314.38/315.14 c 315 155 154 1 - 0.0000 -
319.55/320.31 c 320 190 189 1 - 0.0000 -
324.64/325.43 c 325 204 203 1 - 0.0000 -
336.22/337.08 c 337 215 214 1 - 0.0000 -
342.21/343.02 c 343 239 238 1 - 0.0000 -
348.20/349.03 c 349 256 255 1 - 0.0000 -
354.98/355.85 c 356 265 264 1 - 0.0000 -
364.76/365.64 c 366 275 274 1 - 0.0000 -
372.74/373.69 c 374 282 281 1 - 0.0000 -
378.82/379.70 c 380 302 301 1 - 0.0000 -
384.21/385.14 c 385 312 311 1 - 0.0000 -
390.89/391.80 c 392 322 321 1 - 0.0000 -
397.48/398.41 c 398 328 327 1 - 0.0000 -
403.18/404.12 c 404 350 349 1 - 0.0000 -
408.46/409.46 c 409 368 367 1 - 0.0000 -
414.24/415.24 c 415 388 387 1 - 0.0000 -
420.13/421.14 c 421 392 391 1 - 0.0000 -
426.71/427.70 c 428 432 431 1 - 0.0000 -
432.50/433.56 c 434 449 448 1 - 0.0000 -
441.09/442.17 c 442 472 471 1 - 0.0000 -
446.57/447.66 c 448 497 496 1 - 0.0000 -
452.55/453.65 c 454 508 507 1 - 0.0000 -
457.64/458.70 c 459 540 539 1 - 0.0000 -
463.43/464.56 c 465 555 552 1 - 0.0000 -
469.62/470.75 c 471 590 587 1 - 0.0000 -
475.30/476.49 c 476 691 686 1 - 0.0000 -
484.38/485.50 c 486 698 693 1 - 0.0000 -
491.87/493.06 c 493 712 707 1 - 0.0000 -
497.45/498.65 c 499 732 727 1 - 0.0000 -
503.14/504.34 c 504 761 756 1 - 0.0000 -
508.93/510.11 c 510 808 803 1 - 0.0000 -
513.92/515.12 c 515 820 815 1 - 0.0000 -
519.50/520.79 c 521 896 891 1 - 0.0000 -
525.89/527.10 c 527 912 907 1 - 0.0000 -
531.67/532.90 c 533 979 974 1 - 0.0000 -
539.16/540.48 c 540 985 980 1 - 0.0000 -
544.94/546.25 c 546 1014 1009 1 - 0.0000 -
551.73/553.03 c 553 1041 1036 1 - 0.0000 -
557.32/558.65 c 559 1045 1040 1 - 0.0000 -
563.20/564.50 c 564 1055 1050 1 - 0.0000 -
568.29/569.61 c 570 1103 1098 1 - 0.0000 -
573.68/575.07 c 575 1130 1125 1 - 0.0000 -
581.26/582.64 c 583 1162 1155 1 - 0.0000 -
589.54/590.91 c 591 1255 1248 1 - 0.0000 -
597.42/598.82 c 599 1288 1281 1 - 0.0000 -
603.11/604.52 c 605 1304 1297 1 - 0.0000 -
609.89/611.31 c 611 1322 1315 1 - 0.0000 -
618.08/619.53 c 620 1492 1483 1 - 0.0000 -
624.16/625.62 c 626 1565 1554 1 - 0.0000 -
629.25/630.70 c 631 1676 1665 1 - 0.0000 -
635.73/637.25 c 637 1712 1701 1 - 0.0000 -
642.82/644.37 c 644 1784 1773 1 - 0.0000 -
648.70/650.26 c 650 1815 1804 1 - 0.0000 -
654.30/655.87 c 656 1842 1831 1 - 0.0000 -
660.59/662.19 c 662 1886 1871 1 - 0.0000 -
670.95/672.53 c 673 1928 1913 1 - 0.0000 -
677.45/679.01 c 679 1962 1945 1 - 0.0000 -
682.93/684.51 c 685 1984 1967 1 - 0.0000 -
687.92/689.52 c 690 2007 1988 1 - 0.0000 -
693.41/695.01 c 695 2099 2078 1 - 0.0000 -
698.89/700.51 c 701 2135 2114 1 - 0.0000 -
705.48/707.18 c 707 2154 2133 1 - 0.0000 -
711.56/713.21 c 713 2228 2207 1 - 0.0000 -
716.55/718.23 c 718 2248 2223 1 - 0.0000 -
721.84/723.54 c 724 2334 2303 1 - 0.0000 -
729.92/731.68 c 732 2356 2325 1 - 0.0000 -
735.70/737.44 c 737 2506 2473 1 - 0.0000 -
741.30/743.09 c 743 2550 2517 1 - 0.0000 -
747.48/749.24 c 749 2566 2533 1 - 0.0000 -
755.26/757.08 c 757 2582 2549 1 - 0.0000 -
760.95/762.78 c 763 2624 2591 1 - 0.0000 -
767.43/769.21 c 769 2650 2617 1 - 0.0000 -
774.32/776.13 c 776 2686 2651 1 - 0.0000 -
780.11/781.95 c 782 2777 2740 1 - 0.0000 -
785.69/787.56 c 788 2778 2741 1 - 0.0000 -
790.78/792.64 c 793 2814 2777 1 - 0.0000 -
796.06/797.93 c 798 2840 2803 1 - 0.0000 -
801.26/803.16 c 803 2890 2853 1 - 0.0000 -
807.24/809.11 c 809 2950 2911 1 - 0.0000 -
815.22/817.17 c 817 2986 2947 1 - 0.0000 -
820.51/822.49 c 822 3016 2975 1 - 0.0000 -
827.49/829.49 c 829 3065 3022 1 - 0.0000 -
833.08/835.06 c 835 3073 3030 1 - 0.0000 -
838.77/840.73 c 841 3136 3091 1 - 0.0000 -
844.96/846.92 c 847 3142 3097 1 - 0.0000 -
850.24/852.20 c 852 3152 3107 1 - 0.0000 -
856.13/858.12 c 858 3177 3132 1 - 0.0000 -
861.61/863.68 c 864 3211 3166 1 - 0.0000 -
867.61/869.60 c 870 3237 3192 1 - 0.0000 -
873.49/875.51 c 876 3293 3248 1 - 0.0000 -
879.28/881.39 c 881 3317 3272 1 - 0.0000 -
884.97/887.07 c 887 3373 3328 1 - 0.0000 -
892.15/894.25 c 894 3414 3369 1 - 0.0000 -
898.53/900.61 c 901 3432 3383 1 - 0.0000 -
903.72/905.84 c 906 3495 3446 1 - 0.0000 -
910.40/912.55 c 913 3528 3479 1 - 0.0000 -
917.79/919.97 c 920 3536 3487 1 - 0.0000 -
924.98/927.10 c 927 3572 3523 1 - 0.0000 -
931.06/933.21 c 933 3632 3583 1 - 0.0000 -
936.25/938.44 c 938 3679 3630 1 - 0.0000 -
941.64/943.84 c 944 3701 3650 1 - 0.0000 -
948.02/950.22 c 950 3759 3708 1 - 0.0000 -
953.61/955.82 c 956 3762 3711 1 - 0.0000 -
959.50/961.75 c 962 3779 3726 1 - 0.0000 -
965.38/967.67 c 968 3824 3763 1 - 0.0000 -
971.57/973.89 c 974 3858 3797 1 - 0.0000 -
976.76/979.05 c 979 3878 3817 1 - 0.0000 -
983.04/985.31 c 985 3931 3862 1 - 0.0000 -
989.42/991.79 c 992 3946 3877 1 - 0.0000 -
996.90/999.24 c 999 3976 3905 1 - 0.0000 -
1001.99/1004.39 c 1004 4045 3974 1 - 0.0000 -
1007.38/1009.79 c 1010 4048 3977 1 - 0.0000 -
1013.36/1015.70 c 1016 4077 4004 1 - 0.0000 -
1019.66/1022.02 c 1022 4113 4040 1 - 0.0000 -
1028.34/1030.77 c 1031 4126 4053 1 - 0.0000 -
1033.82/1036.22 c 1036 4150 4077 1 - 0.0000 -
1042.70/1045.12 c 1045 4187 4110 1 - 0.0000 -
1050.48/1052.92 c 1053 4212 4135 1 - 0.0000 -
1056.46/1058.93 c 1059 4241 4164 1 - 0.0000 -
1061.75/1064.28 c 1064 4266 4189 1 - 0.0000 -
1067.64/1070.18 c 1070 4316 4239 1 - 0.0000 -
1208.81/1211.66 c 1212 4324 4245 1 - 0.0000 -
1214.00/1216.81 c 1217 4363 4284 1 - 0.0000 -
1221.29/1224.15 c 1224 4432 4351 1 - 0.0000 -
1227.07/1229.91 c 1230 4471 4388 1 - 0.0000 -
1232.96/1235.87 c 1236 4478 4395 1 - 0.0000 -
1241.54/1244.45 c 1244 4512 4427 1 - 0.0000 -
1247.13/1250.06 c 1250 4529 4444 1 - 0.0000 -
1253.22/1256.19 c 1256 4592 4507 1 - 0.0000 -
1260.10/1263.10 c 1263 4604 4519 1 - 0.0000 -
1265.19/1268.16 c 1268 4671 4584 1 - 0.0000 -
1270.67/1273.68 c 1274 4702 4611 1 - 0.0000 -
1276.36/1279.36 c 1279 4742 4649 1 - 0.0000 -
1282.24/1285.29 c 1285 4776 4683 1 - 0.0000 -
1291.32/1294.36 c 1294 4804 4711 1 - 0.0000 -
1298.31/1301.32 c 1301 4874 4779 1 - 0.0000 -
1304.39/1307.43 c 1307 4891 4796 1 - 0.0000 -
1310.78/1313.84 c 1314 4923 4826 1 - 0.0000 -
1317.07/1320.13 c 1320 4957 4858 1 - 0.0000 -
1323.15/1326.23 c 1326 5021 4922 1 - 0.0000 -
1330.04/1333.15 c 1333 5038 4939 1 - 0.0000 -
1341.11/1344.21 c 1344 5098 4999 1 - 0.0000 -
1347.69/1350.85 c 1351 5126 5027 1 - 0.0000 -
1355.77/1358.90 c 1359 5214 5113 1 - 0.0000 -
1361.66/1364.84 c 1365 5241 5140 1 - 0.0000 -
1366.75/1369.94 c 1370 5280 5179 1 - 0.0000 -
1371.94/1375.16 c 1375 5291 5190 1 - 0.0000 -
1381.61/1384.84 c 1385 5318 5217 1 - 0.0000 -
1388.90/1392.18 c 1392 5330 5229 1 - 0.0000 -
1394.58/1397.88 c 1398 5380 5279 1 - 0.0000 -
1401.17/1404.40 c 1404 5394 5293 1 - 0.0000 -
1406.16/1409.48 c 1409 5446 5343 1 - 0.0000 -
1412.44/1415.76 c 1416 5458 5355 1 - 0.0000 -
1418.73/1422.01 c 1422 5545 5442 1 - 0.0000 -
1423.91/1427.27 c 1427 5569 5466 1 - 0.0000 -
1430.59/1433.92 c 1434 5613 5510 1 - 0.0000 -
1435.98/1439.36 c 1439 5618 5515 1 - 0.0000 -
1442.76/1446.15 c 1446 5683 5580 1 - 0.0000 -
1448.74/1452.13 c 1452 5714 5609 1 - 0.0000 -
1454.92/1458.31 c 1458 5737 5632 1 - 0.0000 -
1463.49/1466.95 c 1467 5769 5664 1 - 0.0000 -
1469.07/1472.54 c 1473 5779 5674 1 - 0.0000 -
1475.06/1478.56 c 1479 5829 5722 1 - 0.0000 -
1480.04/1483.59 c 1484 5874 5767 1 - 0.0000 -
1485.33/1488.80 c 1489 5899 5792 1 - 0.0000 -
1491.81/1495.35 c 1495 5949 5836 1 - 0.0000 -
1499.38/1502.93 c 1503 5964 5851 1 - 0.0000 -
1504.57/1508.18 c 1508 5994 5881 1 - 0.0000 -
1510.05/1513.62 c 1514 6019 5906 1 - 0.0000 -
1515.83/1519.42 c 1519 6063 5950 1 - 0.0000 -
1521.31/1524.91 c 1525 6093 5980 1 - 0.0000 -
1527.19/1530.88 c 1531 6114 6001 1 - 0.0000 -
1533.17/1536.86 c 1537 6155 6042 1 - 0.0000 -
1540.55/1544.26 c 1544 6174 6061 1 - 0.0000 -
1550.43/1554.18 c 1554 6214 6101 1 - 0.0000 -
1556.20/1559.91 c 1560 6232 6119 1 - 0.0000 -
1561.19/1564.95 c 1565 6286 6173 1 - 0.0000 -
1566.17/1569.99 c 1570 6301 6188 1 - 0.0000 -
1571.45/1575.21 c 1575 6352 6239 1 - 0.0000 -
1578.83/1582.66 c 1583 6389 6276 1 - 0.0000 -
1585.41/1589.22 c 1589 6429 6316 1 - 0.0000 -
1591.79/1595.60 c 1596 6450 6337 1 - 0.0000 -
1597.87/1601.74 c 1602 6464 6351 1 - 0.0000 -
1604.05/1607.92 c 1608 6494 6381 1 - 0.0000 -
1611.23/1615.19 c 1615 6549 6436 1 - 0.0000 -
1617.11/1621.09 c 1621 6592 6479 1 - 0.0000 -
1626.19/1630.16 c 1630 6609 6496 1 - 0.0000 -
1631.26/1635.21 c 1635 6630 6517 1 - 0.0000 -
1637.94/1641.96 c 1642 6639 6526 1 - 0.0000 -
1643.23/1647.21 c 1647 6686 6571 1 - 0.0000 -
1649.41/1653.49 c 1653 6735 6618 1 - 0.0000 -
1655.79/1659.87 c 1660 6760 6641 1 - 0.0000 -
1661.98/1666.07 c 1666 6805 6686 1 - 0.0000 -
1667.36/1671.49 c 1671 6840 6721 1 - 0.0000 -
1673.34/1677.43 c 1677 6898 6779 1 - 0.0000 -
1679.62/1683.77 c 1684 6940 6821 1 - 0.0000 -
1684.80/1688.93 c 1689 6978 6859 1 - 0.0000 -
1690.09/1694.26 c 1694 6992 6873 1 - 0.0000 -
1696.77/1700.94 c 1701 7029 6910 1 - 0.0000 -
1702.25/1706.46 c 1706 7083 6964 1 - 0.0000 -
1708.13/1712.34 c 1712 7110 6991 1 - 0.0000 -
1713.61/1717.82 c 1718 7125 7006 1 - 0.0000 -
1719.00/1723.25 c 1723 7180 7061 1 - 0.0000 -
1726.88/1731.17 c 1731 7220 7101 1 - 0.0000 -
1734.15/1738.40 c 1738 7230 7111 1 - 0.0000 -
1740.33/1744.69 c 1745 7260 7141 1 - 0.0000 -
1747.91/1752.24 c 1752 7300 7181 1 - 0.0000 -
1754.49/1758.83 c 1759 7345 7226 1 - 0.0000 -
1760.97/1765.38 c 1765 7365 7246 1 - 0.0000 -
1766.15/1770.59 c 1771 7390 7271 1 - 0.0000 -
1774.73/1779.14 c 1779 7420 7301 1 - 0.0000 -
1783.49/1787.95 c 1788 7440 7321 1 - 0.0000 -
1789.77/1794.20 c 1794 7500 7381 1 - 0.0000 -
1794.76/1799.29 c 1799 7515 7396 1 - 0.0000 -
1801.34/1805.81 c 1806 7525 7406 1 - 0.0000 -
1807.02/1811.52 c 1812 7542 7423 1 - 0.0000 -
1812.20/1816.72 c 1817 7577 7458 1 - 0.0000 -
1817.68/1822.22 c 1822 7602 7483 1 - 0.0000 -
1824.26/1828.81 c 1829 7635 7516 1 - 0.0000 -
1829.46/1834.08 c 1834 7663 7544 1 - 0.0000 -
1837.03/1841.63 c 1842 7675 7556 1 - 0.0000 -
1843.01/1847.66 c 1848 7708 7589 1 - 0.0000 -
1848.40/1853.09 c 1853 7753 7634 1 - 0.0000 -
1856.48/1861.14 c 1861 7760 7641 1 - 0.0000 -
1863.65/1868.33 c 1868 7805 7686 1 - 0.0000 -
1874.42/1879.18 c 1879 7840 7721 1 - 0.0000 -
1880.10/1884.86 c 1885 7891 7770 1 - 0.0000 -
1886.28/1891.07 c 1891 7905 7784 1 - 0.0000 -
1894.65/1899.44 c 1899 7917 7796 1 - 0.0000 -
1899.64/1904.47 c 1904 7982 7861 1 - 0.0000 -
1905.52/1910.40 c 1910 8009 7888 1 - 0.0000 -
1910.70/1915.50 c 1916 8037 7916 1 - 0.0000 -
1916.78/1921.68 c 1922 8068 7947 1 - 0.0000 -
1922.27/1927.16 c 1927 8114 7993 1 - 0.0000 -
1928.25/1933.17 c 1933 8160 8039 1 - 0.0000 -
1935.42/1940.38 c 1940 8202 8081 1 - 0.0000 -
1940.61/1945.58 c 1946 8227 8106 1 - 0.0000 -
1947.29/1952.25 c 1952 8275 8154 1 - 0.0000 -
1953.27/1958.29 c 1958 8300 8179 1 - 0.0000 -
1962.14/1967.18 c 1967 8327 8206 1 - 0.0000 -
1967.92/1972.93 c 1973 8342 8221 1 - 0.0000 -
1973.30/1978.30 c 1978 8376 8255 1 - 0.0000 -
1979.99/1985.02 c 1985 8402 8281 1 - 0.0000 -
1986.16/1991.28 c 1991 8448 8327 1 - 0.0000 -
1993.34/1998.41 c 1998 8492 8371 1 - 0.0000 -
1998.62/2003.76 c 2004 8515 8394 1 - 0.0000 -
2004.50/2009.69 c 2010 8550 8429 1 - 0.0000 -
2009.89/2015.01 c 2015 8562 8441 1 - 0.0000 -
2014.88/2020.02 c 2020 8577 8456 1 - 0.0000 -
2020.86/2026.01 c 2026 8613 8492 1 - 0.0000 -
2029.52/2034.73 c 2035 8652 8531 1 - 0.0000 -
2035.31/2040.52 c 2041 8686 8565 1 - 0.0000 -
2040.59/2045.86 c 2046 8727 8606 1 - 0.0000 -
2046.88/2052.12 c 2052 8777 8656 1 - 0.0000 -
2051.96/2057.20 c 2057 8782 8661 1 - 0.0000 -
2056.95/2062.27 c 2062 8807 8686 1 - 0.0000 -
2063.13/2068.46 c 2068 8860 8739 1 - 0.0000 -
2069.01/2074.33 c 2074 8900 8779 1 - 0.0000 -
2074.99/2080.37 c 2080 8929 8808 1 - 0.0000 -
2084.76/2090.19 c 2090 8982 8861 1 - 0.0000 -
2090.24/2095.62 c 2096 8992 8871 1 - 0.0000 -
2097.02/2102.47 c 2102 9048 8925 1 - 0.0000 -
2104.49/2109.95 c 2110 9088 8965 1 - 0.0000 -
2111.07/2116.51 c 2117 9151 9028 1 - 0.0000 -
2116.16/2121.63 c 2122 9158 9035 1 - 0.0000 -
2123.43/2128.96 c 2129 9173 9050 1 - 0.0000 -
2129.52/2135.02 c 2135 9207 9084 1 - 0.0000 -
2137.69/2143.20 c 2143 9258 9135 1 - 0.0000 -
2143.57/2149.19 c 2149 9294 9171 1 - 0.0000 -
2154.05/2159.69 c 2160 9318 9195 1 - 0.0000 -
2162.92/2168.57 c 2169 9333 9210 1 - 0.0000 -
2169.30/2174.93 c 2175 9358 9235 1 - 0.0000 -
2174.48/2180.13 c 2180 9419 9296 1 - 0.0000 -
2180.06/2185.70 c 2186 9458 9335 1 - 0.0000 -
2186.45/2192.15 c 2192 9491 9368 1 - 0.0000 -
2194.42/2200.12 c 2200 9503 9380 1 - 0.0000 -
2199.70/2205.49 c 2205 9523 9400 1 - 0.0000 -
2204.98/2210.72 c 2211 9554 9431 1 - 0.0000 -
2210.76/2216.50 c 2216 9593 9470 1 - 0.0000 -
2217.74/2223.58 c 2224 9628 9505 1 - 0.0000 -
2224.02/2229.80 c 2230 9659 9536 1 - 0.0000 -
2231.41/2237.23 c 2237 9703 9580 1 - 0.0000 -
2236.59/2242.49 c 2242 9728 9605 1 - 0.0000 -
2242.57/2248.49 c 2248 9761 9638 1 - 0.0000 -
2248.55/2254.40 c 2254 9790 9667 1 - 0.0000 -
2254.04/2259.96 c 2260 9804 9681 1 - 0.0000 -
2259.62/2265.52 c 2266 9853 9730 1 - 0.0000 -
2265.50/2271.49 c 2271 9923 9800 1 - 0.0000 -
2271.58/2277.59 c 2278 9954 9831 1 - 0.0000 -
2277.17/2283.17 c 2283 10018 9895 1 - 0.0000 -
2284.24/2290.25 c 2290 10023 9900 1 - 0.0000 -
2290.22/2296.29 c 2296 10033 9910 1 - 0.0000 -
2296.01/2302.08 c 2302 10068 9945 1 - 0.0000 -
2302.68/2308.77 c 2309 10113 9990 1 - 0.0000 -
2307.77/2313.88 c 2314 10158 10035 1 - 0.0000 -
2313.75/2319.84 c 2320 10171 10048 1 - 0.0000 -
2318.94/2325.03 c 2325 10211 10088 1 - 0.0000 -
2324.41/2330.50 c 2330 10252 10129 1 - 0.0000 -
2329.70/2335.81 c 2336 10275 10152 1 - 0.0000 -
2336.88/2343.08 c 2343 10303 10180 1 - 0.0000 -
2344.65/2350.85 c 2351 10369 10244 1 - 0.0000 -
2351.84/2358.07 c 2358 10404 10279 1 - 0.0000 -
2358.71/2364.92 c 2365 10432 10307 1 - 0.0000 -
2365.00/2371.22 c 2371 10473 10348 1 - 0.0000 -
2370.28/2376.51 c 2376 10496 10371 1 - 0.0000 -
2376.46/2382.72 c 2383 10529 10404 1 - 0.0000 -
2382.84/2389.17 c 2389 10556 10431 1 - 0.0000 -
2388.62/2394.91 c 2395 10595 10470 1 - 0.0000 -
2394.40/2400.79 c 2401 10599 10474 1 - 0.0000 -
2404.27/2410.62 c 2411 10609 10484 1 - 0.0000 -
2412.05/2418.48 c 2418 10659 10534 1 - 0.0000 -
2417.34/2423.74 c 2424 10680 10555 1 - 0.0000 -
2423.02/2429.42 c 2429 10720 10595 1 - 0.0000 -
2428.91/2435.38 c 2435 10777 10652 1 - 0.0000 -
2435.00/2441.46 c 2441 10804 10679 1 - 0.0000 -
2440.38/2446.80 c 2447 10829 10704 1 - 0.0000 -
2448.26/2454.78 c 2455 10884 10759 1 - 0.0000 -
2455.55/2462.08 c 2462 10894 10769 1 - 0.0000 -
2461.43/2467.90 c 2468 10942 10817 1 - 0.0000 -
2470.81/2477.35 c 2477 10959 10834 1 - 0.0000 -
2475.90/2482.48 c 2482 10993 10868 1 - 0.0000 -
2481.78/2488.36 c 2488 11030 10905 1 - 0.0000 -
2487.17/2493.73 c 2494 11073 10946 1 - 0.0000 -
2493.55/2500.12 c 2500 11119 10992 1 - 0.0000 -
2499.05/2505.68 c 2506 11139 11012 1 - 0.0000 -
2507.73/2514.34 c 2514 11159 11032 1 - 0.0000 -
2514.11/2520.73 c 2521 11208 11081 1 - 0.0000 -
2519.70/2526.35 c 2526 11220 11093 1 - 0.0000 -
2525.78/2532.47 c 2532 11259 11132 1 - 0.0000 -
2530.87/2537.57 c 2538 11304 11177 1 - 0.0000 -
2536.15/2542.80 c 2543 11324 11197 1 - 0.0000 -
2544.45/2551.12 c 2551 11374 11247 1 - 0.0000 -
2549.83/2556.59 c 2557 11394 11267 1 - 0.0000 -
2556.91/2563.63 c 2564 11429 11302 1 - 0.0000 -
2563.70/2570.47 c 2570 11474 11347 1 - 0.0000 -
2568.69/2575.49 c 2575 11506 11379 1 - 0.0000 -
2576.07/2582.81 c 2583 11544 11417 1 - 0.0000 -
2581.46/2588.28 c 2588 11558 11431 1 - 0.0000 -
2589.44/2596.23 c 2596 11604 11477 1 - 0.0000 -
2596.92/2603.70 c 2604 11629 11502 1 - 0.0000 -
2602.40/2609.25 c 2609 11649 11522 1 - 0.0000 -
2607.49/2614.31 c 2614 11669 11542 1 - 0.0000 -
2612.58/2619.48 c 2619 11747 11618 1 - 0.0000 -
2617.67/2624.55 c 2625 11788 11659 1 - 0.0000 -
2622.85/2629.76 c 2630 11815 11684 1 - 0.0000 -
2628.04/2634.94 c 2635 11829 11698 1 - 0.0000 -
2634.33/2641.24 c 2641 11854 11723 1 - 0.0000 -
2642.51/2649.45 c 2649 11914 11783 1 - 0.0000 -
2647.70/2654.69 c 2655 11924 11793 1 - 0.0000 -
2653.48/2660.49 c 2660 11950 11819 1 - 0.0000 -
2659.78/2666.78 c 2667 11998 11867 1 - 0.0000 -
2664.96/2671.99 c 2672 12029 11898 1 - 0.0000 -
2670.85/2677.88 c 2678 12044 11913 1 - 0.0000 -
2678.04/2685.01 c 2685 12054 11923 1 - 0.0000 -
2686.41/2693.42 c 2693 12069 11938 1 - 0.0000 -
2691.90/2698.94 c 2699 12084 11953 1 - 0.0000 -
2697.29/2704.31 c 2704 12138 12007 1 - 0.0000 -
2703.87/2710.94 c 2711 12167 12036 1 - 0.0000 -
2709.26/2716.37 c 2716 12185 12054 1 - 0.0000 -
2716.44/2723.52 c 2724 12219 12088 1 - 0.0000 -
2721.93/2729.00 c 2729 12235 12104 1 - 0.0000 -
2727.81/2734.90 c 2735 12293 12162 1 - 0.0000 -
2733.39/2740.55 c 2741 12325 12194 1 - 0.0000 -
2739.58/2746.75 c 2747 12350 12217 1 - 0.0000 -
2746.17/2753.34 c 2753 12375 12242 1 - 0.0000 -
2753.45/2760.64 c 2761 12420 12287 1 - 0.0000 -
2760.83/2768.00 c 2768 12475 12342 1 - 0.0000 -
2765.82/2773.04 c 2773 12534 12401 1 - 0.0000 -
2772.40/2779.69 c 2780 12575 12442 1 - 0.0000 -
2777.89/2785.13 c 2785 12609 12476 1 - 0.0000 -
2786.28/2793.58 c 2794 12625 12492 1 - 0.0000 -
2792.26/2799.53 c 2800 12655 12522 1 - 0.0000 -
2797.55/2804.83 c 2805 12705 12572 1 - 0.0000 -
2805.23/2812.55 c 2813 12745 12612 1 - 0.0000 -
2812.72/2820.03 c 2820 12795 12662 1 - 0.0000 -
2818.70/2826.10 c 2826 12806 12673 1 - 0.0000 -
2826.68/2834.06 c 2834 12840 12707 1 - 0.0000 -
2833.16/2840.50 c 2840 12875 12742 1 - 0.0000 -
2839.45/2846.88 c 2847 12918 12785 1 - 0.0000 -
2845.33/2852.76 c 2853 12950 12817 1 - 0.0000 -
2851.32/2858.74 c 2859 12997 12862 1 - 0.0000 -
2857.71/2865.18 c 2865 13030 12895 1 - 0.0000 -
2863.29/2870.72 c 2871 13045 12910 1 - 0.0000 -
2869.48/2876.90 c 2877 13075 12940 1 - 0.0000 -
2875.16/2882.69 c 2883 13125 12990 1 - 0.0000 -
2883.04/2890.57 c 2891 13140 13005 1 - 0.0000 -
2888.33/2895.80 c 2896 13150 13015 1 - 0.0000 -
2895.22/2902.74 c 2903 13170 13035 1 - 0.0000 -
2901.01/2908.51 c 2909 13198 13063 1 - 0.0000 -
2906.79/2914.33 c 2914 13223 13088 1 - 0.0000 -
2915.07/2922.63 c 2923 13245 13110 1 - 0.0000 -
2920.26/2927.83 c 2928 13280 13145 1 - 0.0000 -
2925.65/2933.27 c 2933 13354 13219 1 - 0.0000 -
2932.03/2939.66 c 2940 13391 13256 1 - 0.0000 -
2938.42/2946.09 c 2946 13450 13315 1 - 0.0000 -
2944.20/2951.82 c 2952 13474 13337 1 - 0.0000 -
2949.99/2957.67 c 2958 13495 13358 1 - 0.0000 -
2956.38/2964.06 c 2964 13506 13369 1 - 0.0000 -
2961.86/2969.51 c 2970 13540 13403 1 - 0.0000 -
2967.05/2974.76 c 2975 13576 13437 1 - 0.0000 -
2977.13/2984.81 c 2985 13622 13483 1 - 0.0000 -
2982.92/2990.62 c 2991 13652 13513 1 - 0.0000 -
2992.40/3000.17 c 3000 13672 13533 1 - 0.0000 -
2999.58/3007.33 c 3007 13692 13553 1 - 0.0000 -
3005.27/3013.05 c 3013 13761 13622 1 - 0.0000 -
3010.95/3018.70 c 3019 13802 13663 1 - 0.0000 -
3016.14/3023.95 c 3024 13837 13698 1 - 0.0000 -
3021.82/3029.67 c 3030 13847 13708 1 - 0.0000 -
3027.61/3035.44 c 3035 13882 13743 1 - 0.0000 -
3225.70/3233.96 c 3234 13942 13803 1 - 0.0000 -
3231.99/3240.20 c 3240 13991 13852 1 - 0.0000 -
3236.98/3245.24 c 3245 13997 13858 1 - 0.0000 -
3242.37/3250.63 c 3251 14007 13868 1 - 0.0000 -
3248.76/3257.07 c 3257 14078 13939 1 - 0.0000 -
3257.55/3265.89 c 3266 14102 13963 1 - 0.0000 -
3262.74/3271.08 c 3271 14162 14023 1 - 0.0000 -
3269.22/3277.53 c 3278 14192 14053 1 - 0.0000 -
3275.91/3284.23 c 3284 14207 14068 1 - 0.0000 -
3281.70/3290.10 c 3290 14248 14109 1 - 0.0000 -
3290.28/3298.65 c 3299 14282 14143 1 - 0.0000 -
3296.96/3305.37 c 3305 14292 14153 1 - 0.0000 -
3302.76/3311.11 c 3311 14315 14176 1 - 0.0000 -
3308.24/3316.65 c 3317 14337 14198 1 - 0.0000 -
3313.43/3321.84 c 3322 14391 14252 1 - 0.0000 -
3322.01/3330.46 c 3330 14432 14293 1 - 0.0000 -
3327.10/3335.56 c 3336 14466 14327 1 - 0.0000 -
3335.38/3343.84 c 3344 14507 14368 1 - 0.0000 -
3341.97/3350.42 c 3350 14532 14393 1 - 0.0000 -
3347.66/3356.16 c 3356 14545 14406 1 - 0.0000 -
3353.55/3362.01 c 3362 14570 14431 1 - 0.0000 -
3364.12/3372.67 c 3373 14602 14463 1 - 0.0000 -
3369.91/3378.45 c 3378 14656 14517 1 - 0.0000 -
3374.90/3383.45 c 3383 14694 14551 1 - 0.0000 -
3381.28/3389.83 c 3390 14754 14611 1 - 0.0000 -
3388.47/3397.04 c 3397 14778 14635 1 - 0.0000 -
3395.95/3404.56 c 3405 14808 14665 1 - 0.0000 -
3401.84/3410.42 c 3410 14858 14715 1 - 0.0000 -
3407.23/3415.85 c 3416 14878 14735 1 - 0.0000 -
3414.21/3422.83 c 3423 14903 14760 1 - 0.0000 -
3419.51/3428.12 c 3428 14940 14795 1 - 0.0000 -
3424.69/3433.34 c 3433 14966 14821 1 - 0.0000 -
3433.27/3441.99 c 3442 14994 14849 1 - 0.0000 -
3439.26/3447.95 c 3448 15059 14914 1 - 0.0000 -
3444.55/3453.28 c 3453 15064 14919 1 - 0.0000 -
3449.84/3458.55 c 3459 15120 14975 1 - 0.0000 -
3455.13/3463.85 c 3464 15151 15006 1 - 0.0000 -
3460.62/3469.32 c 3469 15202 15055 1 - 0.0000 -
3469.90/3478.68 c 3479 15209 15062 1 - 0.0000 -
3476.98/3485.76 c 3486 15234 15087 1 - 0.0000 -
3483.67/3492.49 c 3492 15279 15132 1 - 0.0000 -
3489.36/3498.11 c 3498 15314 15167 1 - 0.0000 -
3495.35/3504.14 c 3504 15396 15249 1 - 0.0000 -
3501.43/3510.22 c 3510 15442 15295 1 - 0.0000 -
3508.23/3517.06 c 3517 15474 15327 1 - 0.0000 -
3513.41/3522.21 c 3522 15511 15364 1 - 0.0000 -
3519.20/3528.09 c 3528 15534 15387 1 - 0.0000 -
3525.99/3534.85 c 3535 15559 15412 1 - 0.0000 -
3533.67/3542.59 c 3543 15585 15436 1 - 0.0000 -
3541.65/3550.56 c 3551 15610 15461 1 - 0.0000 -
3550.33/3559.27 c 3559 15687 15536 1 - 0.0000 -
3555.82/3564.76 c 3565 15722 15571 1 - 0.0000 -
3560.91/3569.88 c 3570 15737 15586 1 - 0.0000 -
3568.89/3577.89 c 3578 15802 15651 1 - 0.0000 -
3574.28/3583.25 c 3583 15833 15682 1 - 0.0000 -
3579.77/3588.71 c 3589 15857 15706 1 - 0.0000 -
3584.86/3593.86 c 3594 15903 15752 1 - 0.0000 -
3589.05/3598.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.05/3598.04 c Total Time : 3598.0400
3589.05/3598.04 c solving : 3598.0400
3589.05/3598.04 c presolving : 0.1435 (included in solving)
3589.05/3598.04 c B&B Tree :
3589.05/3598.04 c nodes (total) : 1
3589.05/3598.04 c Solution :
3589.05/3598.04 c Solutions found : 0
3589.05/3598.04 c Primal Bound : -
3589.05/3598.04 c Dual Bound : +0.00000000000000e+00
3589.05/3598.04 c Gap : -
3589.05/3598.05 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 (55359 MiB free)
memory of node 1: 64473 MiB (62264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464650-1722386293/watcher-4464650-1722386293 -o /tmp/evaluation-result-4464650-1722386293/solver-4464650-1722386293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30073 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464650-1722386293.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=35049, runsolver pid=35046
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.15 4.13 4.11 5/260 35050
/proc/meminfo: memFree=120414396/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=54332 memory=43500 CPUtime=0.1 cores=5,7
/proc/35049/stat : 35049 (fscip) R 35046 35049 30060 0 -1 4194304 9633 0 0 0 9 1 0 0 20 0 1 0 5233905 55635968 10875 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 13583 10875 2726 3035 0 9979 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54332 KiB
Current children cumulated memory: 43500 KiB
[startup+0.205879 s]*
/proc/loadavg: 4.15 4.13 4.11 5/261 35051
/proc/meminfo: memFree=120393624/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=142660 memory=62976 CPUtime=0.19 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 16499 0 0 0 18 1 0 0 20 0 2 0 5233905 146083840 15744 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 35665 15744 2774 3035 0 18028 0
[pid=35049/tid=35051] ppid=35046 vsize=142660 memory=8505393642823811203 CPUtime=0 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 2285 0 0 0 0 0 0 0 20 0 2 0 5233923 146083840 15744 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 142660 KiB
Current children cumulated memory: 62976 KiB
[startup+0.305895 s]*
/proc/loadavg: 4.15 4.13 4.11 5/262 35053
/proc/meminfo: memFree=120371668/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=153940 memory=84928 CPUtime=0.29 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 21960 0 0 0 27 2 0 0 20 0 3 0 5233905 157634560 21232 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 38485 21232 2790 3035 0 25862 0
[pid=35049/tid=35051] ppid=35046 vsize=153940 memory=-5155629098376588165 CPUtime=0.1 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 7743 0 0 0 9 1 0 0 20 0 3 0 5233923 157634560 21232 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=153940 memory=0 CPUtime=0 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5233926 157634560 21232 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 153940 KiB
Current children cumulated memory: 84928 KiB
[startup+0.700241 s]
/proc/loadavg: 4.15 4.13 4.11 5/262 35053
/proc/meminfo: memFree=120350780/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=223588 memory=141428 CPUtime=0.67 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 35982 0 0 0 63 4 0 0 20 0 3 0 5233905 228954112 35357 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 55897 35357 2966 3035 0 40528 0
[pid=35049/tid=35051] ppid=35046 vsize=223588 memory=13328 CPUtime=0.49 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 21765 0 0 0 46 3 0 0 20 0 3 0 5233923 228954112 35357 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=223588 memory=0 CPUtime=0 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5233926 228954112 35357 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 223588 KiB
Current children cumulated memory: 141428 KiB
[startup+1.50021 s]
/proc/loadavg: 4.15 4.13 4.11 5/262 35053
/proc/meminfo: memFree=120320644/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=220504 memory=136240 CPUtime=1.48 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 41448 0 0 0 143 5 0 0 20 0 3 0 5233905 225796096 34060 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 55126 34060 2966 3035 0 39757 0
[pid=35049/tid=35051] ppid=35046 vsize=220504 memory=0 CPUtime=1.28 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 27225 0 0 0 125 3 0 0 20 0 3 0 5233923 225796096 34060 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=220504 memory=0 CPUtime=0 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5233926 225796096 34060 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 220504 KiB
Current children cumulated memory: 136240 KiB
[startup+3.10536 s]
/proc/loadavg: 4.14 4.13 4.11 5/262 35053
/proc/meminfo: memFree=120319768/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=220504 memory=136260 CPUtime=3.08 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 44841 0 0 0 303 5 0 0 20 0 3 0 5233905 225796096 34065 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 55126 34065 2966 3035 0 39757 0
[pid=35049/tid=35051] ppid=35046 vsize=220504 memory=13328 CPUtime=2.88 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 30618 0 0 0 285 3 0 0 20 0 3 0 5233923 225796096 34065 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=220504 memory=-5155629098376588165 CPUtime=0 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5233926 225796096 34065 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 220504 KiB
Current children cumulated memory: 136260 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.13 4.11 5/262 35053
/proc/meminfo: memFree=120318592/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=220504 memory=136260 CPUtime=6.27 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 61715 0 0 0 621 6 0 0 20 0 3 0 5233905 225796096 34065 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 55126 34065 2966 3035 0 39757 0
[pid=35049/tid=35051] ppid=35046 vsize=220504 memory=-5155629098376588165 CPUtime=6.07 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 47488 0 0 0 603 4 0 0 20 0 3 0 5233923 225796096 34065 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=220504 memory=136260 CPUtime=0 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 5233926 225796096 34065 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 220504 KiB
Current children cumulated memory: 136260 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.14 4.11 5/262 35055
/proc/meminfo: memFree=120313364/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=220504 memory=136396 CPUtime=12.65 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 74864 0 0 0 1259 6 0 0 20 0 3 0 5233905 225796096 34099 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 55126 34099 2966 3035 0 39757 0
[pid=35049/tid=35051] ppid=35046 vsize=220504 memory=-5155629098376588165 CPUtime=12.45 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 60630 0 0 0 1241 4 0 0 20 0 3 0 5233923 225796096 34099 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=220504 memory=136392 CPUtime=0 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5233926 225796096 34099 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 220504 KiB
Current children cumulated memory: 136396 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.11 5/262 35056
/proc/meminfo: memFree=120301908/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=220504 memory=137004 CPUtime=25.42 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 106934 0 0 0 2534 8 0 0 20 0 3 0 5233905 225796096 34251 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 55126 34251 2966 3035 0 42714 0
[pid=35049/tid=35051] ppid=35046 vsize=220504 memory=136444 CPUtime=25.22 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 92689 0 0 0 2516 6 0 0 20 0 3 0 5233923 225796096 34251 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=220504 memory=136504 CPUtime=0 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5233926 225796096 34251 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 220504 KiB
Current children cumulated memory: 137004 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.14 4.11 5/262 35061
/proc/meminfo: memFree=120253876/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=220504 memory=156124 CPUtime=50.96 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 134063 0 0 0 5086 10 0 0 20 0 3 0 5233905 225796096 39031 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 55126 39031 3014 3035 0 45683 0
[pid=35049/tid=35051] ppid=35046 vsize=220504 memory=136444 CPUtime=50.77 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 119709 0 0 0 5069 8 0 0 20 0 3 0 5233923 225796096 39031 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=220504 memory=156124 CPUtime=0 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 5233926 225796096 39031 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 220504 KiB
Current children cumulated memory: 156124 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/262 35069
/proc/meminfo: memFree=120194576/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=220504 memory=156124 CPUtime=102.04 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 147349 0 0 0 10193 11 0 0 20 0 3 0 5233905 225796096 39031 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 55126 39031 3014 3035 0 45683 0
[pid=35049/tid=35051] ppid=35046 vsize=220504 memory=156124 CPUtime=101.85 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 132976 0 0 0 10176 9 0 0 20 0 3 0 5233923 225796096 39031 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=220504 memory=12852 CPUtime=0 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5233926 225796096 39031 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 220504 KiB
Current children cumulated memory: 156124 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 35085
/proc/meminfo: memFree=120148228/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=220504 memory=156124 CPUtime=161.91 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 155864 0 0 0 16179 12 0 0 20 0 3 0 5233905 225796096 39031 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 55126 39031 3014 3035 0 45683 0
[pid=35049/tid=35051] ppid=35046 vsize=220504 memory=156124 CPUtime=161.72 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 141479 0 0 0 16162 10 0 0 20 0 3 0 5233923 225796096 39031 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=220504 memory=11592 CPUtime=0 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 71 0 0 0 0 0 0 0 20 0 3 0 5233926 225796096 39031 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 220504 KiB
Current children cumulated memory: 156124 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/265 35095
/proc/meminfo: memFree=120085980/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=220504 memory=156124 CPUtime=221.78 cores=5,7
################
# More data... #
################
/proc/35049/statm: 71510 55061 3030 3035 0 57401 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=220080 CPUtime=3393.45 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 465958 0 0 0 339299 46 0 0 20 0 3 0 5233923 292904960 55061 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=2337 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 292 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 55061 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3393.76 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 220244 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 2.15 3.22 2/237 36977
/proc/meminfo: memFree=121607700/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=286040 memory=220648 CPUtime=3453.63 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 483025 0 0 0 345311 52 0 0 20 0 3 0 5233905 292904960 55162 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 71510 55162 3030 3035 0 57509 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=11592 CPUtime=3453.32 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 467156 0 0 0 345286 46 0 0 20 0 3 0 5233923 292904960 55162 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=220648 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 294 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 55162 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 220648 KiB
[startup+3522.3 s]
/proc/loadavg: 1.17 1.97 3.09 2/237 36988
/proc/meminfo: memFree=121606252/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=286040 memory=221888 CPUtime=3513.51 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 484507 0 0 0 351298 53 0 0 20 0 3 0 5233905 292904960 55472 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 71510 55472 3030 3035 0 57903 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=13328 CPUtime=3513.19 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 468614 0 0 0 351273 46 0 0 20 0 3 0 5233923 292904960 55472 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=11592 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 296 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 55472 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3513.51 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 221888 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.81 2.96 2/237 36999
/proc/meminfo: memFree=121603844/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=286040 memory=223816 CPUtime=3573.38 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 486132 0 0 0 357285 53 0 0 20 0 3 0 5233905 292904960 55954 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 71510 55954 3030 3035 0 58377 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=11592 CPUtime=3573.07 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 470214 0 0 0 357260 47 0 0 20 0 3 0 5233923 292904960 55954 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=11592 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 301 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 55954 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 223816 KiB
[startup+3598.06 s]
# the end of solver process 35049 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.58 s, system=0.542574 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.11 1.79 2.95 2/237 36999
/proc/meminfo: memFree=121603816/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=286040 memory=224060 CPUtime=3575.08 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 486149 0 0 0 357455 53 0 0 20 0 3 0 5233905 292904960 56015 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 71510 56015 3030 3035 0 58377 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=27932 CPUtime=3574.77 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 470231 0 0 0 357430 47 0 0 20 0 3 0 5233923 292904960 56015 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=32784 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 301 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 56015 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3575.08 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 224060 KiB
[startup+3590.4 s]
/proc/loadavg: 1.10 1.78 2.94 2/237 36999
/proc/meminfo: memFree=121603788/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=286040 memory=224060 CPUtime=3581.47 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 486166 0 0 0 358094 53 0 0 20 0 3 0 5233905 292904960 56015 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 71510 56015 3030 3035 0 58377 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=223816 CPUtime=3581.15 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 470248 0 0 0 358068 47 0 0 20 0 3 0 5233923 292904960 56015 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=224060 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 301 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 56015 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3581.47 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 224060 KiB
[startup+3593.6 s]
/proc/loadavg: 1.10 1.77 2.93 2/237 37001
/proc/meminfo: memFree=121603660/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=286040 memory=224060 CPUtime=3584.66 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 486177 0 0 0 358413 53 0 0 20 0 3 0 5233905 292904960 56015 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 71510 56015 3030 3035 0 58377 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=224060 CPUtime=3584.35 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 470259 0 0 0 358388 47 0 0 20 0 3 0 5233923 292904960 56015 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=224060 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 301 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 56015 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3584.66 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 224060 KiB
[startup+3595.2 s]
/proc/loadavg: 1.10 1.77 2.93 2/237 37001
/proc/meminfo: memFree=121603268/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=286040 memory=224492 CPUtime=3586.26 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 486288 0 0 0 358573 53 0 0 20 0 3 0 5233905 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 71510 56123 3030 3035 0 58568 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=11592 CPUtime=3585.94 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 470370 0 0 0 358547 47 0 0 20 0 3 0 5233923 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=224060 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 301 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 224492 KiB
[startup+3596.8 s]
/proc/loadavg: 1.10 1.77 2.93 2/237 37001
/proc/meminfo: memFree=121603236/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=286040 memory=224492 CPUtime=3587.85 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 486288 0 0 0 358732 53 0 0 20 0 3 0 5233905 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 71510 56123 3030 3035 0 58568 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=223180 CPUtime=3587.54 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 470370 0 0 0 358707 47 0 0 20 0 3 0 5233923 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=7367171673333271150 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 301 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3587.85 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 224492 KiB
[startup+3597.6 s]
/proc/loadavg: 1.10 1.77 2.93 2/237 37001
/proc/meminfo: memFree=121603276/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=286040 memory=224492 CPUtime=3588.65 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 486288 0 0 0 358812 53 0 0 20 0 3 0 5233905 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 71510 56123 3030 3035 0 58568 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=12852 CPUtime=3588.34 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 470370 0 0 0 358787 47 0 0 20 0 3 0 5233923 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=13328 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 301 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3588.65 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 224492 KiB
[startup+3598 s]*
/proc/loadavg: 1.09 1.75 2.92 2/237 37001
/proc/meminfo: memFree=121603228/131524600 swapFree=131071996/131071996
[pid=35049] ppid=35046 vsize=286040 memory=224492 CPUtime=3589.05 cores=5,7
/proc/35049/stat : 35049 (fscip) S 35046 35049 30060 0 -1 1077936128 486288 0 0 0 358852 53 0 0 20 0 3 0 5233905 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
/proc/35049/statm: 71510 56123 3030 3035 0 58568 0
[pid=35049/tid=35051] ppid=35046 vsize=286040 memory=-7667215107206766716 CPUtime=3588.74 cores=5,7
/proc/35049/task/35051/stat : 35051 (fscip) R 35046 35049 30060 0 -1 4194368 470370 0 0 0 358827 47 0 0 20 0 3 0 5233923 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
[pid=35049/tid=35052] ppid=35046 vsize=286040 memory=7367171673333271150 CPUtime=0.02 cores=5,7
/proc/35049/task/35052/stat : 35052 (fscip) S 35046 35049 30060 0 -1 1077936192 301 0 0 0 1 1 0 0 20 0 3 0 5233926 292904960 56123 134679101440 4194304 16623229 140725194460000 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36343808 140725194466326 140725194466442 140725194466442 140725194473456 0
Current children cumulated CPU time: 3589.05 s
Current children cumulated vsize: 286040 KiB
Current children cumulated memory: 224492 KiB
Child status: 0
Real time (s): 3598.06
CPU time (s): 3589.12
CPU user time (s): 3588.58
CPU system time (s): 0.542574
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 286040
Max. memory (cumulated for all children) (KiB): 224492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.58
system time used= 0.542574
maximum resident set size= 224548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487760
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= 6725
involuntary context switches= 1769
# summary of solver processes directly reported to runsolver:
# pid: 35049
# total CPU time (s): 3589.12
# total CPU user time (s): 3588.58
# total CPU system time (s): 0.542574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91563 second user time and 15.5563 second system time
The end
Begin job on nodeC035 at 2024-07-31 02:38:13
IDJOB=4464650
IDBENCH=162279
IDSOLVER=3092
FILE ID=nodeC035/4464650-1722386293
RUNJOBID= nodeC035-1722378597-30073
SLURM_JOB_ID= 8249858
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round22-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-4464650-1722386293/watcher-4464650-1722386293 -o /tmp/evaluation-result-4464650-1722386293/solver-4464650-1722386293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30073 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464650-1722386293.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2d93360d2b62765c062d6e400c743a07
RANDOM SEED=1025625710
nodeC035.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 : 3667.552
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 : 7000.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.713
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.92
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.846
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 : 7000.79
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 : 3602.142
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.92
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.569
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 : 7000.79
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 : 3667.221
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.92
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 : 3600.780
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 : 7000.79
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 : 3673.836
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.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120446648 kB
MemAvailable: 128488848 kB
Buffers: 98356 kB
Cached: 8738788 kB
SwapCached: 0 kB
Active: 269820 kB
Inactive: 10240508 kB
Active(anon): 1552 kB
Inactive(anon): 1693268 kB
Active(file): 268268 kB
Inactive(file): 8547240 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28656 kB
Writeback: 28 kB
AnonPages: 1669676 kB
Mapped: 124056 kB
Shmem: 21336 kB
KReclaimable: 133028 kB
Slab: 223544 kB
SReclaimable: 133028 kB
SUnreclaim: 90516 kB
KernelStack: 4128 kB
PageTables: 12668 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1649968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10144 kB
HardwareCorrupted: 0 kB
AnonHugePages: 288768 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: 254676 kB
DirectMap2M: 7907328 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 890048 MiB
End job on nodeC035 at 2024-07-31 03:38:11