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.09 c Default LC presolving (default).
0.00/0.09 c ** Before presolving: virtualMemUsedAtLc = 47243264, getVmSize() = 47243264, SCIPgetMemUsed() = 21331633, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13363524
0.00/0.09 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.41/0.44 c ** Estimated virtualMemUsedAtSolver = 39911614, getVmSize() = 70860800, SCIPgetMemUsed() = 25354337, SCIPgetMemTotal() = 46503897, SCIPgetMemExternEstim() = 13363524
0.41/0.44 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.41/0.44 c Original Problem :
0.41/0.44 c Problem name : instance-4464660-1722386328
0.41/0.44 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.41/0.44 c Constraints : 9472
0.41/0.44 c Objective sense : minimize
0.41/0.44 c Presolved Problem :
0.41/0.44 c Variables : 3496 (3496 binary, 0 integer, 0 implicit integer, 0 continuous)
0.41/0.44 c Constraints : 7936
0.41/0.44 c Constraints : Number
0.41/0.44 c and : 32
0.41/0.44 c xor : 2
0.41/0.44 c linear : 1403
0.41/0.44 c logicor : 6499
0.41/0.44 c ** Instance transfer method used: 0
0.41/0.46 c ** ParaScipInstance copy does not increase the number of variables. **
0.41/0.50 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.41/0.50 c Nodes Active
0.41/0.50 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
37.48/37.60 c 38 2 1 1 - 0.0000 -
44.87/45.07 c 45 12 11 1 - 0.0000 -
51.04/51.27 c 51 13 12 1 - 0.0000 -
57.94/58.11 c 58 14 13 1 - 0.0000 -
65.41/65.62 c 66 16 15 1 - 0.0000 -
311.06/311.85 c 312 17 16 1 - 0.0000 -
318.84/319.69 c 320 19 18 1 - 0.0000 -
325.12/325.95 c 326 22 21 1 - 0.0000 -
330.90/331.75 c 332 23 22 1 - 0.0000 -
336.69/337.57 c 338 24 23 1 - 0.0000 -
343.87/344.77 c 345 25 24 1 - 0.0000 -
350.05/350.95 c 351 28 27 1 - 0.0000 -
357.43/358.31 c 358 32 31 1 - 0.0000 -
362.41/363.32 c 363 34 33 1 - 0.0000 -
367.50/368.42 c 368 36 35 1 - 0.0000 -
375.18/376.17 c 376 48 47 1 - 0.0000 -
381.45/382.43 c 382 75 74 1 - 0.0000 -
389.92/390.90 c 391 78 77 1 - 0.0000 -
395.61/396.62 c 397 82 81 1 - 0.0000 -
403.19/404.22 c 404 88 87 1 - 0.0000 -
410.08/411.14 c 411 102 101 1 - 0.0000 -
417.06/418.14 c 418 180 179 1 - 0.0000 -
423.04/424.14 c 424 184 183 1 - 0.0000 -
430.30/431.48 c 431 200 199 1 - 0.0000 -
438.78/439.93 c 440 248 247 1 - 0.0000 -
444.47/445.63 c 446 268 267 1 - 0.0000 -
450.14/451.38 c 451 312 311 1 - 0.0000 -
458.83/460.06 c 460 316 315 1 - 0.0000 -
466.09/467.32 c 467 324 323 1 - 0.0000 -
474.67/476.01 c 476 332 331 1 - 0.0000 -
480.45/481.73 c 482 336 335 1 - 0.0000 -
486.03/487.31 c 487 376 375 1 - 0.0000 -
491.62/493.01 c 493 407 406 1 - 0.0000 -
497.40/498.74 c 499 416 415 1 - 0.0000 -
505.69/507.06 c 507 428 427 1 - 0.0000 -
511.86/513.25 c 513 440 439 1 - 0.0000 -
517.35/518.73 c 519 447 446 1 - 0.0000 -
522.94/524.34 c 524 462 461 1 - 0.0000 -
528.12/529.57 c 530 486 485 1 - 0.0000 -
534.31/535.75 c 536 502 501 1 - 0.0000 -
539.80/541.21 c 541 541 540 1 - 0.0000 -
550.68/552.17 c 552 547 546 1 - 0.0000 -
558.36/559.80 c 560 562 561 1 - 0.0000 -
563.34/564.82 c 565 586 585 1 - 0.0000 -
571.92/573.42 c 573 592 591 1 - 0.0000 -
577.22/578.71 c 579 601 600 1 - 0.0000 -
593.78/595.34 c 595 612 611 1 - 0.0000 -
601.96/603.50 c 604 647 646 1 - 0.0000 -
608.55/610.12 c 610 662 661 1 - 0.0000 -
613.73/615.34 c 615 738 737 1 - 0.0000 -
622.70/624.38 c 624 752 751 1 - 0.0000 -
628.41/630.04 c 630 775 774 1 - 0.0000 -
634.88/636.59 c 637 787 786 1 - 0.0000 -
639.96/641.61 c 642 810 809 1 - 0.0000 -
645.25/646.94 c 647 825 824 1 - 0.0000 -
650.45/652.15 c 652 846 845 1 - 0.0000 -
656.72/658.44 c 658 877 876 1 - 0.0000 -
664.50/666.28 c 666 902 901 1 - 0.0000 -
670.09/671.83 c 672 942 941 1 - 0.0000 -
675.47/677.27 c 677 965 964 1 - 0.0000 -
681.27/683.01 c 683 972 971 1 - 0.0000 -
687.05/688.84 c 689 994 993 1 - 0.0000 -
697.92/699.71 c 700 1017 1016 1 - 0.0000 -
703.01/704.86 c 705 1032 1031 1 - 0.0000 -
708.21/710.01 c 710 1050 0 1 - 0.0000 -
749.10/751.09 c 751 1051 1 1 - 0.0000 -
756.26/758.28 c 758 1075 25 1 - 0.0000 -
762.94/764.96 c 765 1078 28 1 - 0.0000 -
767.92/770.01 c 770 1082 32 1 - 0.0000 -
775.40/777.42 c 777 1088 38 1 - 0.0000 -
783.48/785.58 c 786 1109 59 1 - 0.0000 -
790.56/792.68 c 793 1128 76 1 - 0.0000 -
795.96/798.06 c 798 1147 95 1 - 0.0000 -
806.94/809.08 c 809 1175 123 1 - 0.0000 -
813.11/815.24 c 815 1181 129 1 - 0.0000 -
820.39/822.59 c 823 1201 149 1 - 0.0000 -
830.77/832.93 c 833 1211 159 1 - 0.0000 -
836.16/838.35 c 838 1257 205 1 - 0.0000 -
841.85/844.09 c 844 1287 235 1 - 0.0000 -
851.02/853.22 c 853 1338 286 1 - 0.0000 -
859.60/861.80 c 862 1364 312 1 - 0.0000 -
865.49/867.79 c 868 1411 359 1 - 0.0000 -
871.57/873.86 c 874 1449 397 1 - 0.0000 -
880.44/882.76 c 883 1505 453 1 - 0.0000 -
886.42/888.78 c 889 1557 505 1 - 0.0000 -
893.50/895.87 c 896 1561 509 1 - 0.0000 -
900.58/902.96 c 903 1591 539 1 - 0.0000 -
907.56/909.95 c 910 1609 557 1 - 0.0000 -
913.34/915.70 c 916 1648 596 1 - 0.0000 -
919.52/921.94 c 922 1657 605 1 - 0.0000 -
928.29/930.72 c 931 1717 665 1 - 0.0000 -
934.87/937.39 c 937 1738 686 1 - 0.0000 -
940.85/943.35 c 943 1801 749 1 - 0.0000 -
946.55/949.02 c 949 1877 825 1 - 0.0000 -
954.52/957.09 c 957 1891 839 1 - 0.0000 -
960.79/963.39 c 963 1926 874 1 - 0.0000 -
968.66/971.26 c 971 1955 903 1 - 0.0000 -
974.35/976.99 c 977 2014 962 1 - 0.0000 -
982.72/985.35 c 985 2041 987 1 - 0.0000 -
987.81/990.45 c 990 2093 1039 1 - 0.0000 -
997.68/1000.38 c 1000 2141 1087 1 - 0.0000 -
1002.97/1005.69 c 1006 2186 1132 1 - 0.0000 -
1008.46/1011.11 c 1011 2227 1173 1 - 0.0000 -
1014.34/1017.04 c 1017 2327 1273 1 - 0.0000 -
1021.32/1024.06 c 1024 2355 1299 1 - 0.0000 -
1027.40/1030.17 c 1030 2383 1327 1 - 0.0000 -
1037.06/1039.81 c 1040 2455 1399 1 - 0.0000 -
1043.64/1046.42 c 1046 2483 1427 1 - 0.0000 -
1052.32/1055.14 c 1055 2562 1506 1 - 0.0000 -
1058.30/1061.12 c 1061 2606 1550 1 - 0.0000 -
1065.47/1068.35 c 1068 2626 1570 1 - 0.0000 -
1070.65/1073.54 c 1074 2657 1601 1 - 0.0000 -
1076.63/1079.50 c 1080 2698 1642 1 - 0.0000 -
1087.89/1090.86 c 1091 2726 1670 1 - 0.0000 -
1097.96/1100.97 c 1101 2791 1735 1 - 0.0000 -
1103.75/1106.79 c 1107 2809 1753 1 - 0.0000 -
1110.04/1113.09 c 1113 2890 1834 1 - 0.0000 -
1115.91/1118.92 c 1119 2905 1849 1 - 0.0000 -
1122.59/1125.68 c 1126 2933 1877 1 - 0.0000 -
1127.87/1131.01 c 1131 3015 1959 1 - 0.0000 -
1133.45/1136.56 c 1137 3041 1985 1 - 0.0000 -
1140.94/1144.07 c 1144 3098 2042 1 - 0.0000 -
1148.21/1151.39 c 1151 3148 2092 1 - 0.0000 -
1156.49/1159.69 c 1160 3205 2149 1 - 0.0000 -
1161.98/1165.19 c 1165 3285 2229 1 - 0.0000 -
1167.54/1170.70 c 1171 3318 2262 1 - 0.0000 -
1173.53/1176.71 c 1177 3346 2290 1 - 0.0000 -
1181.60/1184.86 c 1185 3376 2320 1 - 0.0000 -
1187.29/1190.54 c 1191 3455 2399 1 - 0.0000 -
1192.67/1195.94 c 1196 3512 2456 1 - 0.0000 -
1198.66/1201.90 c 1202 3555 2499 1 - 0.0000 -
1206.03/1209.33 c 1209 3569 2513 1 - 0.0000 -
1214.82/1218.15 c 1218 3576 2520 1 - 0.0000 -
1220.48/1223.83 c 1224 3619 2563 1 - 0.0000 -
1225.68/1229.09 c 1229 3712 2656 1 - 0.0000 -
1232.94/1236.36 c 1236 3783 2727 1 - 0.0000 -
1238.33/1241.77 c 1242 3860 2804 1 - 0.0000 -
1245.21/1248.61 c 1249 3891 2835 1 - 0.0000 -
1251.19/1254.60 c 1255 3905 2849 1 - 0.0000 -
1259.46/1262.93 c 1263 3962 2906 1 - 0.0000 -
1266.24/1269.77 c 1270 4005 2949 1 - 0.0000 -
1272.03/1275.55 c 1276 4073 3017 1 - 0.0000 -
1278.41/1281.91 c 1282 4085 3029 1 - 0.0000 -
1283.60/1287.12 c 1287 4148 3092 1 - 0.0000 -
1289.27/1292.86 c 1293 4203 3147 1 - 0.0000 -
1297.56/1301.14 c 1301 4241 3185 1 - 0.0000 -
1303.83/1307.48 c 1307 4248 3192 1 - 0.0000 -
1310.21/1313.87 c 1314 4307 3251 1 - 0.0000 -
1319.68/1323.33 c 1323 4348 3292 1 - 0.0000 -
1325.16/1328.82 c 1329 4355 3299 1 - 0.0000 -
1332.24/1335.99 c 1336 4391 3335 1 - 0.0000 -
1338.22/1341.99 c 1342 4426 3370 1 - 0.0000 -
1343.60/1347.33 c 1347 4462 3406 1 - 0.0000 -
1348.99/1352.73 c 1353 4521 3465 1 - 0.0000 -
1356.96/1360.71 c 1361 4569 3513 1 - 0.0000 -
1362.44/1366.24 c 1366 4640 3584 1 - 0.0000 -
1368.42/1372.22 c 1372 4662 3606 1 - 0.0000 -
1373.71/1377.55 c 1378 4698 3642 1 - 0.0000 -
1379.09/1382.94 c 1383 4805 3749 1 - 0.0000 -
1384.58/1388.41 c 1388 4854 3798 1 - 0.0000 -
1395.44/1399.38 c 1399 4891 3835 1 - 0.0000 -
1402.02/1405.98 c 1406 4926 3870 1 - 0.0000 -
1407.30/1411.27 c 1411 4950 3894 1 - 0.0000 -
1413.58/1417.56 c 1418 4991 3935 1 - 0.0000 -
1422.66/1426.63 c 1427 5048 3992 1 - 0.0000 -
1428.15/1432.18 c 1432 5098 4042 1 - 0.0000 -
1435.03/1439.02 c 1439 5126 4070 1 - 0.0000 -
1440.20/1444.26 c 1444 5212 4156 1 - 0.0000 -
1445.89/1449.98 c 1450 5251 4195 1 - 0.0000 -
1452.27/1456.36 c 1456 5319 4263 1 - 0.0000 -
1457.65/1461.75 c 1462 5358 4302 1 - 0.0000 -
1463.06/1467.18 c 1467 5412 4356 1 - 0.0000 -
1470.12/1474.25 c 1474 5455 4399 1 - 0.0000 -
1476.21/1480.36 c 1480 5519 4463 1 - 0.0000 -
1482.09/1486.30 c 1486 5614 4558 1 - 0.0000 -
1489.07/1493.29 c 1493 5648 4592 1 - 0.0000 -
1495.15/1499.39 c 1499 5692 4636 1 - 0.0000 -
1506.13/1510.34 c 1510 5712 4656 1 - 0.0000 -
1513.51/1517.70 c 1518 5726 4670 1 - 0.0000 -
1518.81/1523.05 c 1523 5793 4737 1 - 0.0000 -
1526.58/1530.80 c 1531 5819 4763 1 - 0.0000 -
1535.16/1539.42 c 1539 5855 4799 1 - 0.0000 -
1540.64/1544.99 c 1545 5945 4887 1 - 0.0000 -
1548.12/1552.45 c 1552 6012 4954 1 - 0.0000 -
1554.50/1558.87 c 1559 6106 5048 1 - 0.0000 -
1559.80/1564.12 c 1564 6158 5100 1 - 0.0000 -
1568.97/1573.30 c 1573 6205 5147 1 - 0.0000 -
1574.06/1578.40 c 1578 6233 5175 1 - 0.0000 -
1579.15/1583.54 c 1584 6241 5183 1 - 0.0000 -
1584.44/1588.86 c 1589 6312 5252 1 - 0.0000 -
1589.53/1593.94 c 1594 6364 5304 1 - 0.0000 -
1595.22/1599.65 c 1600 6404 5344 1 - 0.0000 -
1600.50/1604.92 c 1605 6443 5383 1 - 0.0000 -
1606.60/1611.09 c 1611 6467 5407 1 - 0.0000 -
1615.16/1619.62 c 1620 6531 5471 1 - 0.0000 -
1620.57/1625.02 c 1625 6556 5496 1 - 0.0000 -
1629.14/1633.61 c 1634 6611 5551 1 - 0.0000 -
1635.53/1640.09 c 1640 6675 5615 1 - 0.0000 -
1640.91/1645.43 c 1645 6714 5654 1 - 0.0000 -
1646.79/1651.36 c 1651 6718 5658 1 - 0.0000 -
1654.27/1658.86 c 1659 6779 5719 1 - 0.0000 -
1661.47/1666.09 c 1666 6867 5807 1 - 0.0000 -
1666.64/1671.24 c 1671 6898 5838 1 - 0.0000 -
1672.45/1677.11 c 1677 6972 5912 1 - 0.0000 -
1678.12/1682.74 c 1683 7028 5968 1 - 0.0000 -
1684.11/1688.76 c 1689 7056 5996 1 - 0.0000 -
1690.10/1694.78 c 1695 7097 6037 1 - 0.0000 -
1698.58/1703.21 c 1703 7139 6079 1 - 0.0000 -
1705.86/1710.52 c 1711 7163 6103 1 - 0.0000 -
1713.45/1718.19 c 1718 7219 6159 1 - 0.0000 -
1718.53/1723.26 c 1723 7235 6175 1 - 0.0000 -
1723.92/1728.62 c 1729 7272 6212 1 - 0.0000 -
1730.50/1735.21 c 1735 7315 6255 1 - 0.0000 -
1739.18/1743.92 c 1744 7363 6303 1 - 0.0000 -
1744.38/1749.16 c 1749 7414 6354 1 - 0.0000 -
1750.26/1755.10 c 1755 7465 6405 1 - 0.0000 -
1756.54/1761.35 c 1761 7515 6455 1 - 0.0000 -
1762.23/1767.08 c 1767 7590 6530 1 - 0.0000 -
1771.00/1775.85 c 1776 7627 6567 1 - 0.0000 -
1776.20/1781.04 c 1781 7671 6609 1 - 0.0000 -
1781.57/1786.48 c 1786 7677 6615 1 - 0.0000 -
1790.05/1794.90 c 1795 7717 6655 1 - 0.0000 -
1796.63/1801.56 c 1802 7741 6679 1 - 0.0000 -
1802.51/1807.49 c 1807 7835 6773 1 - 0.0000 -
1807.89/1812.81 c 1813 7848 6786 1 - 0.0000 -
1818.07/1823.10 c 1823 7885 6823 1 - 0.0000 -
1824.34/1829.38 c 1829 7935 6871 1 - 0.0000 -
1830.33/1835.35 c 1835 7974 6910 1 - 0.0000 -
1839.30/1844.37 c 1844 8069 7005 1 - 0.0000 -
1844.68/1849.76 c 1850 8109 7045 1 - 0.0000 -
1851.76/1856.83 c 1857 8149 7085 1 - 0.0000 -
1859.64/1864.70 c 1865 8165 7101 1 - 0.0000 -
1865.12/1870.29 c 1870 8197 7133 1 - 0.0000 -
1870.50/1875.61 c 1876 8241 7176 1 - 0.0000 -
1877.38/1882.55 c 1883 8297 7232 1 - 0.0000 -
1882.97/1888.19 c 1888 8344 7279 1 - 0.0000 -
1890.54/1895.76 c 1896 8357 7292 1 - 0.0000 -
1897.93/1903.12 c 1903 8381 7316 1 - 0.0000 -
1904.41/1909.60 c 1910 8429 7364 1 - 0.0000 -
1909.90/1915.17 c 1915 8503 7438 1 - 0.0000 -
1915.89/1921.14 c 1921 8541 7476 1 - 0.0000 -
1921.66/1927.01 c 1927 8574 7509 1 - 0.0000 -
1928.05/1933.30 c 1933 8581 7516 1 - 0.0000 -
1934.04/1939.39 c 1939 8601 7536 1 - 0.0000 -
1940.12/1945.40 c 1945 8613 7548 1 - 0.0000 -
1945.21/1950.51 c 1951 8659 7594 1 - 0.0000 -
1952.49/1957.88 c 1958 8686 7621 1 - 0.0000 -
1958.68/1964.05 c 1964 8752 7687 1 - 0.0000 -
1966.66/1972.08 c 1972 8845 7780 1 - 0.0000 -
1976.74/1982.19 c 1982 8893 7828 1 - 0.0000 -
1982.41/1987.82 c 1988 8943 7878 1 - 0.0000 -
1988.20/1993.66 c 1994 8978 7912 1 - 0.0000 -
1993.48/1999.01 c 1999 9072 8006 1 - 0.0000 -
2001.57/2007.03 c 2007 9125 8059 1 - 0.0000 -
2007.26/2012.75 c 2013 9144 8078 1 - 0.0000 -
2015.14/2020.65 c 2021 9205 8139 1 - 0.0000 -
2020.33/2025.83 c 2026 9253 8187 1 - 0.0000 -
2025.81/2031.36 c 2031 9294 8228 1 - 0.0000 -
2031.61/2037.18 c 2037 9347 8281 1 - 0.0000 -
2037.38/2042.95 c 2043 9395 8329 1 - 0.0000 -
2042.97/2048.57 c 2049 9413 8347 1 - 0.0000 -
2048.26/2053.82 c 2054 9477 8411 1 - 0.0000 -
2053.24/2058.84 c 2059 9517 8451 1 - 0.0000 -
2061.92/2067.58 c 2068 9549 8483 1 - 0.0000 -
2067.81/2073.40 c 2073 9588 8522 1 - 0.0000 -
2075.40/2081.04 c 2081 9629 8563 1 - 0.0000 -
2083.97/2089.68 c 2090 9701 8635 1 - 0.0000 -
2091.95/2097.62 c 2098 9789 8723 1 - 0.0000 -
2100.03/2105.80 c 2106 9845 8779 1 - 0.0000 -
2106.52/2112.29 c 2112 9925 8859 1 - 0.0000 -
2111.91/2117.68 c 2118 9974 8907 1 - 0.0000 -
2118.09/2123.88 c 2124 10021 8954 1 - 0.0000 -
2123.98/2129.73 c 2130 10119 9052 1 - 0.0000 -
2130.76/2136.51 c 2137 10173 9106 1 - 0.0000 -
2135.85/2141.65 c 2142 10193 9126 1 - 0.0000 -
2141.14/2146.92 c 2147 10237 9170 1 - 0.0000 -
2149.02/2154.84 c 2155 10253 9186 1 - 0.0000 -
2158.69/2164.55 c 2165 10293 9226 1 - 0.0000 -
2164.29/2170.14 c 2170 10333 9266 1 - 0.0000 -
2170.06/2175.92 c 2176 10419 9352 1 - 0.0000 -
2175.85/2181.73 c 2182 10429 9362 1 - 0.0000 -
2181.43/2187.32 c 2187 10445 9378 1 - 0.0000 -
2187.62/2193.58 c 2194 10501 9434 1 - 0.0000 -
2194.61/2200.51 c 2201 10549 9482 1 - 0.0000 -
2199.70/2205.66 c 2206 10597 9530 1 - 0.0000 -
2205.48/2211.48 c 2211 10631 9564 1 - 0.0000 -
2213.87/2219.87 c 2220 10661 9594 1 - 0.0000 -
2220.25/2226.27 c 2226 10726 9659 1 - 0.0000 -
2225.74/2231.79 c 2232 10741 9674 1 - 0.0000 -
2233.03/2239.05 c 2239 10773 9706 1 - 0.0000 -
2238.20/2244.23 c 2244 10804 9737 1 - 0.0000 -
2244.00/2250.06 c 2250 10845 9778 1 - 0.0000 -
2249.78/2255.90 c 2256 10877 9810 1 - 0.0000 -
2254.87/2260.91 c 2261 10901 9834 1 - 0.0000 -
2266.34/2272.42 c 2272 10965 9898 1 - 0.0000 -
2275.52/2281.66 c 2282 10997 9930 1 - 0.0000 -
2282.91/2289.08 c 2289 11061 9994 1 - 0.0000 -
2289.99/2296.18 c 2296 11125 10058 1 - 0.0000 -
2295.27/2301.43 c 2301 11182 10115 1 - 0.0000 -
2300.57/2306.77 c 2307 11213 10146 1 - 0.0000 -
2306.25/2312.47 c 2312 11295 10228 1 - 0.0000 -
2311.54/2317.70 c 2318 11320 10253 1 - 0.0000 -
2316.84/2323.06 c 2323 11360 10293 1 - 0.0000 -
2322.11/2328.38 c 2328 11365 10298 1 - 0.0000 -
2330.99/2337.24 c 2337 11397 10330 1 - 0.0000 -
2336.48/2342.73 c 2343 11451 10384 1 - 0.0000 -
2341.57/2347.89 c 2348 11480 10413 1 - 0.0000 -
2348.45/2354.74 c 2355 11517 10450 1 - 0.0000 -
2353.85/2360.19 c 2360 11541 10474 1 - 0.0000 -
2362.12/2368.44 c 2368 11589 10522 1 - 0.0000 -
2367.51/2373.87 c 2374 11639 10572 1 - 0.0000 -
2377.08/2383.44 c 2383 11693 10626 1 - 0.0000 -
2624.81/2631.83 c 2632 11702 10633 1 - 0.0000 -
2630.70/2637.75 c 2638 11781 10712 1 - 0.0000 -
2636.99/2644.05 c 2644 11807 10738 1 - 0.0000 -
2642.97/2650.02 c 2650 11823 10754 1 - 0.0000 -
2647.96/2655.08 c 2655 11898 10829 1 - 0.0000 -
2654.93/2662.05 c 2662 11919 10850 1 - 0.0000 -
2659.91/2667.08 c 2667 11971 10902 1 - 0.0000 -
2665.28/2672.44 c 2672 11993 10924 1 - 0.0000 -
2674.97/2682.13 c 2682 12015 10946 1 - 0.0000 -
2680.25/2687.44 c 2687 12077 11008 1 - 0.0000 -
2688.42/2695.61 c 2696 12087 11018 1 - 0.0000 -
2697.29/2704.55 c 2705 12135 11066 1 - 0.0000 -
2702.38/2709.66 c 2710 12165 11096 1 - 0.0000 -
2710.76/2718.09 c 2718 12207 11138 1 - 0.0000 -
2716.53/2723.82 c 2724 12233 11164 1 - 0.0000 -
2721.62/2728.96 c 2729 12255 11186 1 - 0.0000 -
2729.59/2736.93 c 2737 12295 11226 1 - 0.0000 -
2737.57/2744.94 c 2745 12375 11306 1 - 0.0000 -
2742.85/2750.24 c 2750 12444 11375 1 - 0.0000 -
2747.94/2755.39 c 2755 12465 11396 1 - 0.0000 -
2753.52/2760.94 c 2761 12542 11473 1 - 0.0000 -
2758.71/2766.11 c 2766 12551 11482 1 - 0.0000 -
2764.89/2772.31 c 2772 12621 11552 1 - 0.0000 -
2771.17/2778.64 c 2779 12657 11588 1 - 0.0000 -
2777.95/2785.49 c 2785 12703 11634 1 - 0.0000 -
2784.83/2792.38 c 2792 12719 11650 1 - 0.0000 -
2789.82/2797.38 c 2797 12744 11674 1 - 0.0000 -
2798.39/2805.94 c 2806 12759 11689 1 - 0.0000 -
2804.77/2812.31 c 2812 12815 11745 1 - 0.0000 -
2811.85/2819.44 c 2819 12831 11761 1 - 0.0000 -
2816.93/2824.59 c 2825 12867 11797 1 - 0.0000 -
2822.31/2829.93 c 2830 12935 11864 1 - 0.0000 -
2827.99/2835.61 c 2836 12980 11909 1 - 0.0000 -
2836.57/2844.20 c 2844 13031 11960 1 - 0.0000 -
2843.36/2851.02 c 2851 13063 11990 1 - 0.0000 -
2850.64/2858.33 c 2858 13097 12024 1 - 0.0000 -
2856.72/2864.42 c 2864 13145 12072 1 - 0.0000 -
2862.21/2869.97 c 2870 13184 12111 1 - 0.0000 -
2867.41/2875.19 c 2875 13209 12136 1 - 0.0000 -
2878.87/2886.69 c 2887 13233 12160 1 - 0.0000 -
2883.95/2891.72 c 2892 13290 12217 1 - 0.0000 -
2889.35/2897.11 c 2897 13331 12258 1 - 0.0000 -
2894.83/2902.69 c 2903 13375 12302 1 - 0.0000 -
2900.71/2908.50 c 2908 13401 12328 1 - 0.0000 -
2907.10/2914.97 c 2915 13473 12400 1 - 0.0000 -
2913.38/2921.20 c 2921 13505 12432 1 - 0.0000 -
2921.17/2929.07 c 2929 13545 12472 1 - 0.0000 -
2927.05/2934.91 c 2935 13561 12488 1 - 0.0000 -
2932.04/2940.01 c 2940 13601 12528 1 - 0.0000 -
2937.71/2945.65 c 2946 13637 12564 1 - 0.0000 -
2942.90/2950.80 c 2951 13660 12587 1 - 0.0000 -
2948.10/2956.01 c 2956 13705 12632 1 - 0.0000 -
2953.88/2961.89 c 2962 13793 12720 1 - 0.0000 -
2960.46/2968.47 c 2968 13811 12735 1 - 0.0000 -
2966.45/2974.49 c 2974 13846 12770 1 - 0.0000 -
2972.43/2980.43 c 2980 13882 12806 1 - 0.0000 -
2978.02/2986.05 c 2986 13935 12859 1 - 0.0000 -
2984.00/2992.06 c 2992 13939 12863 1 - 0.0000 -
2992.47/3000.55 c 3001 13987 12911 1 - 0.0000 -
2998.56/3006.65 c 3007 14063 12987 1 - 0.0000 -
3004.44/3012.54 c 3013 14085 13009 1 - 0.0000 -
3010.33/3018.49 c 3018 14115 13039 1 - 0.0000 -
3016.21/3024.32 c 3024 14191 13115 1 - 0.0000 -
3022.30/3030.46 c 3030 14250 13174 1 - 0.0000 -
3028.00/3036.15 c 3036 14291 13215 1 - 0.0000 -
3033.47/3041.69 c 3042 14299 13223 1 - 0.0000 -
3038.87/3047.09 c 3047 14317 13241 1 - 0.0000 -
3044.85/3053.08 c 3053 14347 13271 1 - 0.0000 -
3050.85/3059.09 c 3059 14415 13339 1 - 0.0000 -
3055.94/3064.16 c 3064 14428 13352 1 - 0.0000 -
3062.51/3070.74 c 3071 14467 13391 1 - 0.0000 -
3067.50/3075.77 c 3076 14516 13440 1 - 0.0000 -
3074.08/3082.32 c 3082 14547 13471 1 - 0.0000 -
3082.66/3090.95 c 3091 14603 13527 1 - 0.0000 -
3089.35/3097.64 c 3098 14611 13535 1 - 0.0000 -
3095.84/3104.17 c 3104 14651 13575 1 - 0.0000 -
3103.21/3111.58 c 3112 14715 13639 1 - 0.0000 -
3111.60/3119.99 c 3120 14779 13703 1 - 0.0000 -
3118.78/3127.12 c 3127 14835 13759 1 - 0.0000 -
3123.77/3132.14 c 3132 14851 13775 1 - 0.0000 -
3129.05/3137.40 c 3137 14877 13801 1 - 0.0000 -
3134.53/3142.99 c 3143 14941 13865 1 - 0.0000 -
3141.73/3150.11 c 3150 14979 13903 1 - 0.0000 -
3147.11/3155.52 c 3156 15028 13952 1 - 0.0000 -
3155.70/3164.18 c 3164 15043 13967 1 - 0.0000 -
3162.47/3170.92 c 3171 15059 13983 1 - 0.0000 -
3169.26/3177.75 c 3178 15099 14023 1 - 0.0000 -
3177.74/3186.28 c 3186 15139 14063 1 - 0.0000 -
3183.54/3192.03 c 3192 15160 14084 1 - 0.0000 -
3190.62/3199.14 c 3199 15171 14095 1 - 0.0000 -
3197.29/3205.80 c 3206 15203 14127 1 - 0.0000 -
3204.49/3213.10 c 3213 15219 14143 1 - 0.0000 -
3210.27/3218.83 c 3219 15251 14175 1 - 0.0000 -
3215.26/3223.90 c 3224 15267 14191 1 - 0.0000 -
3221.46/3230.04 c 3230 15294 14217 1 - 0.0000 -
3226.74/3235.35 c 3235 15335 14256 1 - 0.0000 -
3232.32/3240.90 c 3241 15360 14281 1 - 0.0000 -
3238.11/3246.72 c 3247 15381 14302 1 - 0.0000 -
3246.79/3255.40 c 3255 15411 14332 1 - 0.0000 -
3251.98/3260.60 c 3261 15438 14359 1 - 0.0000 -
3258.86/3267.53 c 3268 15467 14388 1 - 0.0000 -
3265.05/3273.73 c 3274 15512 14433 1 - 0.0000 -
3270.35/3279.09 c 3279 15547 14468 1 - 0.0000 -
3276.92/3285.61 c 3286 15555 14476 1 - 0.0000 -
3285.60/3294.35 c 3294 15612 14531 1 - 0.0000 -
3291.48/3300.20 c 3300 15621 14540 1 - 0.0000 -
3299.07/3307.82 c 3308 15653 14572 1 - 0.0000 -
3304.85/3313.65 c 3314 15669 14588 1 - 0.0000 -
3317.12/3325.91 c 3326 15709 14628 1 - 0.0000 -
3324.91/3333.71 c 3334 15773 14692 1 - 0.0000 -
3331.30/3340.11 c 3340 15813 14732 1 - 0.0000 -
3337.38/3346.24 c 3346 15864 14783 1 - 0.0000 -
3342.87/3351.74 c 3352 15879 14798 1 - 0.0000 -
3348.76/3357.68 c 3358 15916 14835 1 - 0.0000 -
3355.54/3364.41 c 3364 15963 14881 1 - 0.0000 -
3368.02/3376.90 c 3377 15981 14899 1 - 0.0000 -
3373.50/3382.43 c 3382 16006 14924 1 - 0.0000 -
3378.89/3387.87 c 3388 16029 14947 1 - 0.0000 -
3385.58/3394.53 c 3395 16053 14971 1 - 0.0000 -
3391.18/3400.13 c 3400 16075 14993 1 - 0.0000 -
3396.65/3405.65 c 3406 16120 15038 1 - 0.0000 -
3402.34/3411.33 c 3411 16151 15069 1 - 0.0000 -
3408.04/3417.05 c 3417 16177 15095 1 - 0.0000 -
3413.51/3422.51 c 3423 16198 15116 1 - 0.0000 -
3419.80/3428.82 c 3429 16232 15149 1 - 0.0000 -
3429.48/3438.51 c 3439 16261 15178 1 - 0.0000 -
3435.86/3444.95 c 3445 16310 15227 1 - 0.0000 -
3443.75/3452.87 c 3453 16317 15234 1 - 0.0000 -
3450.33/3459.49 c 3459 16341 15258 1 - 0.0000 -
3456.22/3465.34 c 3465 16355 15272 1 - 0.0000 -
3463.31/3472.40 c 3472 16365 15282 1 - 0.0000 -
3469.00/3478.16 c 3478 16391 15308 1 - 0.0000 -
3474.68/3483.82 c 3484 16405 15322 1 - 0.0000 -
3480.87/3490.09 c 3490 16445 15362 1 - 0.0000 -
3487.05/3496.29 c 3496 16453 15370 1 - 0.0000 -
3494.34/3503.54 c 3504 16461 15378 1 - 0.0000 -
3500.73/3509.93 c 3510 16495 15412 1 - 0.0000 -
3506.02/3515.25 c 3515 16510 15427 1 - 0.0000 -
3511.51/3520.74 c 3521 16549 15466 1 - 0.0000 -
3517.99/3527.20 c 3527 16581 15498 1 - 0.0000 -
3523.18/3532.48 c 3532 16605 15522 1 - 0.0000 -
3529.96/3539.20 c 3539 16629 15546 1 - 0.0000 -
3535.55/3544.80 c 3545 16647 15564 1 - 0.0000 -
3542.24/3551.58 c 3552 16685 15602 1 - 0.0000 -
3549.02/3558.30 c 3558 16701 15618 1 - 0.0000 -
3554.31/3563.69 c 3564 16718 15635 1 - 0.0000 -
3560.30/3569.69 c 3570 16747 15664 1 - 0.0000 -
3567.18/3576.54 c 3577 16773 15690 1 - 0.0000 -
3573.07/3582.44 c 3582 16805 15722 1 - 0.0000 -
3583.25/3592.67 c 3593 16813 15730 1 - 0.0000 -
3588.54/3598.01 c 3598 16824 15741 0 - 0.0000 -
3588.65/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.65/3598.05 c Total Time : 3598.0500
3588.65/3598.05 c solving : 3598.0500
3588.65/3598.05 c presolving : 0.3507 (included in solving)
3588.65/3598.05 c B&B Tree :
3588.65/3598.05 c nodes (total) : 1
3588.65/3598.05 c Solution :
3588.65/3598.05 c Solutions found : 0
3588.65/3598.05 c Primal Bound : -
3588.65/3598.05 c Dual Bound : +0.00000000000000e+00
3588.65/3598.05 c Gap : -
3588.65/3598.08 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: 64059 MiB (63016 MiB free)
memory of node 1: 64510 MiB (50336 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464660-1722386328/watcher-4464660-1722386328 -o /tmp/evaluation-result-4464660-1722386328/solver-4464660-1722386328 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28871 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464660-1722386328.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=33467, runsolver pid=33464
[startup+0.100206 s]*
/proc/loadavg: 4.20 4.13 4.16 6/243 33468
/proc/meminfo: memFree=116046284/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=48500 memory=37460 CPUtime=0.1 cores=4,6
/proc/33467/stat : 33467 (fscip) R 33464 33467 28860 0 -1 4194304 6981 0 0 0 8 2 0 0 20 0 1 0 5229756 49664000 9365 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 12125 9365 2614 3035 0 8521 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48500 KiB
Current children cumulated memory: 37460 KiB
[startup+0.212279 s]*
/proc/loadavg: 4.20 4.13 4.16 5/243 33468
/proc/meminfo: memFree=116036360/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=58524 memory=47928 CPUtime=0.21 cores=4,6
/proc/33467/stat : 33467 (fscip) R 33464 33467 28860 0 -1 4194304 10875 0 0 0 18 3 0 0 20 0 1 0 5229756 59928576 11982 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 14631 11982 2742 3035 0 11027 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 58524 KiB
Current children cumulated memory: 47928 KiB
[startup+0.312845 s]*
/proc/loadavg: 4.20 4.13 4.16 5/243 33468
/proc/meminfo: memFree=116035256/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=59484 memory=48720 CPUtime=0.31 cores=4,6
/proc/33467/stat : 33467 (fscip) R 33464 33467 28860 0 -1 4194304 11097 0 0 0 28 3 0 0 20 0 1 0 5229756 60911616 12180 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 14871 12180 2742 3035 0 11267 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59484 KiB
Current children cumulated memory: 48720 KiB
[startup+0.701208 s]
/proc/loadavg: 4.20 4.13 4.16 5/245 33470
/proc/meminfo: memFree=116010540/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=154556 memory=90828 CPUtime=0.67 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 23683 0 0 0 60 7 0 0 20 0 3 0 5229756 158265344 22707 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 38639 22707 2790 3035 0 27480 0
[pid=33467/tid=33469] ppid=33464 vsize=154556 memory=38792 CPUtime=0.21 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 8382 0 0 0 18 3 0 0 20 0 3 0 5229801 158265344 22707 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=154556 memory=2369 CPUtime=0 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5229806 158265344 22707 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 154556 KiB
Current children cumulated memory: 90828 KiB
[startup+1.50034 s]
/proc/loadavg: 4.20 4.13 4.16 5/245 33470
/proc/meminfo: memFree=115975596/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=154556 memory=112960 CPUtime=1.46 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 31019 0 0 0 137 9 0 0 20 0 3 0 5229756 158265344 28240 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 38639 28240 2966 3035 0 32852 0
[pid=33467/tid=33469] ppid=33464 vsize=154556 memory=2369 CPUtime=1 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 15754 0 0 0 96 4 0 0 20 0 3 0 5229801 158265344 28240 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=154556 memory=0 CPUtime=0 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5229806 158265344 28240 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 154556 KiB
Current children cumulated memory: 112960 KiB
[startup+3.11263 s]
/proc/loadavg: 4.18 4.13 4.16 5/245 33470
/proc/meminfo: memFree=115944836/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=220092 memory=139544 CPUtime=3.07 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 44669 0 0 0 296 11 0 0 20 0 3 0 5229756 225374208 34886 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 55023 34886 2966 3035 0 41705 0
[pid=33467/tid=33469] ppid=33464 vsize=220092 memory=0 CPUtime=2.61 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 29362 0 0 0 254 7 0 0 20 0 3 0 5229801 225374208 34886 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=220092 memory=0 CPUtime=0 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5229806 225374208 34886 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 139544 KiB
[startup+6.3003 s]
/proc/loadavg: 4.18 4.13 4.16 5/245 33470
/proc/meminfo: memFree=115944724/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=220092 memory=139628 CPUtime=6.24 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 55126 0 0 0 613 11 0 0 20 0 3 0 5229756 225374208 34907 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 55023 34907 2966 3035 0 41705 0
[pid=33467/tid=33469] ppid=33464 vsize=220092 memory=136500 CPUtime=5.79 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 39816 0 0 0 572 7 0 0 20 0 3 0 5229801 225374208 34907 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=220092 memory=0 CPUtime=0 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5229806 225374208 34907 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 139628 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.13 4.15 5/245 33471
/proc/meminfo: memFree=115943300/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=220092 memory=140796 CPUtime=12.64 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 75829 0 0 0 1251 13 0 0 20 0 3 0 5229756 225374208 35199 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 55023 35199 2966 3035 0 41705 0
[pid=33467/tid=33469] ppid=33464 vsize=220092 memory=139624 CPUtime=12.17 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 60509 0 0 0 1209 8 0 0 20 0 3 0 5229801 225374208 35199 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=220092 memory=139624 CPUtime=0 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 5229806 225374208 35199 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 140796 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.15 5/245 33474
/proc/meminfo: memFree=115941924/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=220092 memory=142136 CPUtime=25.41 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 98916 0 0 0 2527 14 0 0 20 0 3 0 5229756 225374208 35534 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 55023 35534 2966 3035 0 41705 0
[pid=33467/tid=33469] ppid=33464 vsize=220092 memory=5448 CPUtime=24.94 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 83586 0 0 0 2485 9 0 0 20 0 3 0 5229801 225374208 35534 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=220092 memory=-5155631288742931333 CPUtime=0 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5229806 225374208 35534 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 142136 KiB
[startup+51.1127 s]
/proc/loadavg: 4.08 4.11 4.15 5/245 33478
/proc/meminfo: memFree=115912668/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=220092 memory=170708 CPUtime=50.96 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 137127 0 0 0 5079 17 0 0 20 0 3 0 5229756 225374208 42677 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 55023 42677 2966 3035 0 48881 0
[pid=33467/tid=33469] ppid=33464 vsize=220092 memory=170708 CPUtime=50.49 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 121716 0 0 0 5037 12 0 0 20 0 3 0 5229801 225374208 42677 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=220092 memory=170708 CPUtime=0 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 5229806 225374208 42677 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 170708 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/247 33491
/proc/meminfo: memFree=115902972/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=220092 memory=170900 CPUtime=102.03 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 157054 0 0 0 10185 18 0 0 20 0 3 0 5229756 225374208 42725 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 55023 42725 3014 3035 0 48881 0
[pid=33467/tid=33469] ppid=33464 vsize=220092 memory=170900 CPUtime=101.57 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 141587 0 0 0 10144 13 0 0 20 0 3 0 5229801 225374208 42725 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=220092 memory=170900 CPUtime=0 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 71 0 0 0 0 0 0 0 20 0 3 0 5229806 225374208 42725 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 170900 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/247 33501
/proc/meminfo: memFree=115902544/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=220092 memory=170900 CPUtime=161.9 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 166254 0 0 0 16171 19 0 0 20 0 3 0 5229756 225374208 42725 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 55023 42725 3014 3035 0 48881 0
[pid=33467/tid=33469] ppid=33464 vsize=220092 memory=170900 CPUtime=161.44 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 150773 0 0 0 16130 14 0 0 20 0 3 0 5229801 225374208 42725 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=220092 memory=170900 CPUtime=0 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 5229806 225374208 42725 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 170900 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/247 33513
/proc/meminfo: memFree=115901036/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=220092 memory=170900 CPUtime=221.77 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 170777 0 0 0 22158 19 0 0 20 0 3 0 5229756 225374208 42725 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 55023 42725 3014 3035 0 48881 0
[pid=33467/tid=33469] ppid=33464 vsize=220092 memory=5448 CPUtime=221.3 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 155289 0 0 0 22116 14 0 0 20 0 3 0 5229801 225374208 42725 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=220092 memory=16592 CPUtime=0 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 92 0 0 0 0 0 0 0 20 0 3 0 5229806 225374208 42725 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
################
# More data... #
################
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=11488 CPUtime=3392.72 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 609937 0 0 0 339212 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=299240 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 303 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.37 3.78 4/237 35472
/proc/meminfo: memFree=123116372/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=351164 memory=299240 CPUtime=3453.23 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 627095 0 0 0 345250 73 0 0 20 0 3 0 5229756 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=11488 CPUtime=3452.59 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 610235 0 0 0 345199 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=299240 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 309 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
[startup+3522.3 s]
/proc/loadavg: 3.06 3.31 3.73 4/237 35482
/proc/meminfo: memFree=123074428/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=351164 memory=299240 CPUtime=3513.1 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 627632 0 0 0 351236 74 0 0 20 0 3 0 5229756 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=11488 CPUtime=3512.45 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 610749 0 0 0 351185 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=11488 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 314 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
[startup+3582.3 s]
/proc/loadavg: 3.06 3.27 3.69 4/238 35494
/proc/meminfo: memFree=123049032/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=351164 memory=299240 CPUtime=3572.97 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 628089 0 0 0 357223 74 0 0 20 0 3 0 5229756 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=104 CPUtime=3572.32 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 611179 0 0 0 357172 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=11488 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 320 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
[startup+3598.08 s]
# the end of solver process 33467 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.98 s, system=0.746426 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.06 3.26 3.68 4/238 35494
/proc/meminfo: memFree=123046708/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=351164 memory=299240 CPUtime=3574.68 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 628089 0 0 0 357394 74 0 0 20 0 3 0 5229756 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=11776 CPUtime=3574.03 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 611179 0 0 0 357343 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=7656522447538719342 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 320 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3574.68 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
[startup+3590.4 s]
/proc/loadavg: 3.13 3.28 3.69 4/238 35495
/proc/meminfo: memFree=123042108/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=351164 memory=299240 CPUtime=3581.05 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 628089 0 0 0 358031 74 0 0 20 0 3 0 5229756 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=299240 CPUtime=3580.4 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 611179 0 0 0 357980 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=299240 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 320 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
[startup+3593.6 s]
/proc/loadavg: 3.13 3.28 3.69 4/238 35495
/proc/meminfo: memFree=123041728/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=351164 memory=299240 CPUtime=3584.25 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 628089 0 0 0 358351 74 0 0 20 0 3 0 5229756 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=299240 CPUtime=3583.6 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 611179 0 0 0 358300 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=299240 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 320 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3584.25 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
[startup+3595.2 s]
/proc/loadavg: 3.12 3.27 3.68 4/238 35495
/proc/meminfo: memFree=123040520/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=351164 memory=299240 CPUtime=3585.84 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 628089 0 0 0 358510 74 0 0 20 0 3 0 5229756 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=299240 CPUtime=3585.19 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 611179 0 0 0 358459 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=16700 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 320 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3585.84 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
[startup+3596.8 s]
/proc/loadavg: 3.12 3.27 3.68 4/238 35495
/proc/meminfo: memFree=123040156/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=351164 memory=299240 CPUtime=3587.44 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 628160 0 0 0 358670 74 0 0 20 0 3 0 5229756 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=104 CPUtime=3586.79 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 611248 0 0 0 358619 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=2220 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 322 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3587.44 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
[startup+3597.6 s]
/proc/loadavg: 3.12 3.27 3.68 4/238 35497
/proc/meminfo: memFree=123039148/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=351164 memory=299240 CPUtime=3588.24 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 628182 0 0 0 358750 74 0 0 20 0 3 0 5229756 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=5448 CPUtime=3587.59 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 611270 0 0 0 358699 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=2448 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 322 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3588.24 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
[startup+3598 s]*
/proc/loadavg: 3.12 3.27 3.68 4/238 35497
/proc/meminfo: memFree=123038784/131655788 swapFree=131071996/131071996
[pid=33467] ppid=33464 vsize=351164 memory=299240 CPUtime=3588.65 cores=4,6
/proc/33467/stat : 33467 (fscip) S 33464 33467 28860 0 -1 1077936128 628229 0 0 0 358791 74 0 0 20 0 3 0 5229756 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
/proc/33467/statm: 87791 74810 3030 3035 0 77098 0
[pid=33467/tid=33469] ppid=33464 vsize=351164 memory=-7379266206031765629 CPUtime=3588 cores=4,6
/proc/33467/task/33469/stat : 33469 (fscip) R 33464 33467 28860 0 -1 4194368 611315 0 0 0 358740 60 0 0 20 0 3 0 5229801 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
[pid=33467/tid=33470] ppid=33464 vsize=351164 memory=7656522447538719342 CPUtime=0.04 cores=4,6
/proc/33467/task/33470/stat : 33470 (fscip) S 33464 33467 28860 0 -1 1077936192 322 0 0 0 1 3 0 0 20 0 3 0 5229806 359591936 74810 134679101440 4194304 16623229 140730292650992 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 35028992 140730292659226 140730292659342 140730292659342 140730292666352 0
Current children cumulated CPU time: 3588.65 s
Current children cumulated vsize: 351164 KiB
Current children cumulated memory: 299240 KiB
Child status: 0
Real time (s): 3598.08
CPU time (s): 3588.73
CPU user time (s): 3587.98
CPU system time (s): 0.746426
CPU usage (%): 99.74
Max. virtual memory (cumulated for all children) (KiB): 351164
Max. memory (cumulated for all children) (KiB): 299240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.98
system time used= 0.746426
maximum resident set size= 299240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 628644
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= 6630
involuntary context switches= 1738
# summary of solver processes directly reported to runsolver:
# pid: 33467
# total CPU time (s): 3588.73
# total CPU user time (s): 3587.98
# total CPU system time (s): 0.746426
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7107 second user time and 34.33 second system time
The end
Begin job on nodeC010 at 2024-07-31 02:38:48
IDJOB=4464660
IDBENCH=162302
IDSOLVER=3092
FILE ID=nodeC010/4464660-1722386328
RUNJOBID= nodeC010-1722378594-28871
SLURM_JOB_ID= 8249840
Free space on /tmp= 723628 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size96-round23-2.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-4464660-1722386328/watcher-4464660-1722386328 -o /tmp/evaluation-result-4464660-1722386328/solver-4464660-1722386328 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28871 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464660-1722386328.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8b84d78b1363b4a3850ebb291b1422d
RANDOM SEED=1765878430
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3665.129
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.605
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.331
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.155
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2707.052
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3515.691
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1210.809
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.288
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 116073824 kB
MemAvailable: 119051860 kB
Buffers: 100352 kB
Cached: 3718316 kB
SwapCached: 0 kB
Active: 325632 kB
Inactive: 14795780 kB
Active(anon): 1960 kB
Inactive(anon): 11330284 kB
Active(file): 323672 kB
Inactive(file): 3465496 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28596 kB
Writeback: 0 kB
AnonPages: 11302748 kB
Mapped: 127612 kB
Shmem: 29504 kB
KReclaimable: 57796 kB
Slab: 133564 kB
SReclaimable: 57796 kB
SUnreclaim: 75768 kB
KernelStack: 3888 kB
PageTables: 31392 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 8873352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5109760 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: 146248 kB
DirectMap2M: 8146944 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 723688 MiB
End job on nodeC010 at 2024-07-31 03:38:47